Trace number 3710933

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)42 1800.66 1795.57

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_024_area_delay.opb
MD5SUM58f3055ef9bb388e237f57f2627386e0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark1.39579
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables3392
Total number of constraints9001
Number of constraints which are clauses9001
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 1642
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1642
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1642
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.07	c See www.sat4j.org for details.
0.02/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.02/0.07	c version 2.3.2.v20120418
0.02/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.07	c java.vm.version	19.1-b02
0.02/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.07	c sun.arch.data.model	64
0.02/0.07	c java.version		1.6.0_24
0.02/0.07	c os.name		Linux
0.02/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.07	c os.arch		amd64
0.02/0.07	c Free memory 		501472288
0.02/0.07	c Max memory 		7480803328
0.02/0.07	c Total memory 		504102912
0.02/0.07	c Number of processors 	8
0.11/0.10	c read org.sat4j.minisat.orders.VarOrderHeap
0.11/0.10	c configuring ORDERS
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=true
0.11/0.11	c Heuristics kept accross calls (keep the solver "hot")
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3710933-1338312572.opb
0.11/0.11	c reading problem ... 
0.54/0.34	c ... done. Wall clock time 0.235s.
0.54/0.34	c declared #vars     3392
0.54/0.34	c #constraints  9001
0.54/0.34	c constraints type 
0.54/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1758
0.54/0.34	c org.sat4j.minisat.constraints.cnf.UnitClause => 100
0.54/0.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7143
0.54/0.34	c 9001 constraints processed.
0.74/0.40	c SATISFIABLE
0.74/0.40	c OPTIMIZING...
0.74/0.40	c Got one! Elapsed wall clock time (in seconds):0.291
0.74/0.40	o 81
1.01/0.51	c Got one! Elapsed wall clock time (in seconds):0.399
1.01/0.51	o 59
1.01/0.52	c Got one! Elapsed wall clock time (in seconds):0.415
1.01/0.52	o 55
1.24/0.64	c Got one! Elapsed wall clock time (in seconds):0.529
1.24/0.64	o 54
1.24/0.66	c Got one! Elapsed wall clock time (in seconds):0.553
1.24/0.66	o 53
1.49/0.74	c Got one! Elapsed wall clock time (in seconds):0.637
1.49/0.74	o 52
1.60/0.84	c Got one! Elapsed wall clock time (in seconds):0.732
1.60/0.84	o 51
1.70/0.97	c Got one! Elapsed wall clock time (in seconds):0.866
1.70/0.97	o 50
1.70/0.98	c Got one! Elapsed wall clock time (in seconds):0.874
1.70/0.98	o 49
1.84/1.02	c Got one! Elapsed wall clock time (in seconds):0.917
1.84/1.02	o 48
2.94/2.16	c cleaning 3482 clauses out of 6971 with flag 5000/6971
4.30/3.42	c cleaning 4744 clauses out of 9489 with flag 11000/12971
5.70/4.87	c cleaning 5869 clauses out of 11746 with flag 18001/19972
5.91/5.06	c Got one! Elapsed wall clock time (in seconds):4.955
5.91/5.06	o 47
5.91/5.09	c Got one! Elapsed wall clock time (in seconds):4.989
5.91/5.09	o 46
7.02/6.14	c cleaning 5941 clauses out of 11894 with flag 5000/25989
7.26/6.32	c Got one! Elapsed wall clock time (in seconds):6.213
7.26/6.32	o 45
8.36/7.40	c cleaning 5901 clauses out of 11814 with flag 5000/31850
8.46/7.56	c Got one! Elapsed wall clock time (in seconds):7.459
8.46/7.56	o 44
9.46/8.57	c cleaning 5793 clauses out of 11597 with flag 5000/37534
10.78/9.84	c cleaning 5901 clauses out of 11805 with flag 11001/43535
12.27/11.34	c cleaning 6446 clauses out of 12903 with flag 18000/50534
13.98/13.00	c cleaning 7219 clauses out of 14457 with flag 26000/58534
15.98/15.02	c cleaning 8115 clauses out of 16240 with flag 35002/67536
17.89/16.99	c cleaning 9055 clauses out of 18123 with flag 45000/77534
20.10/19.13	c cleaning 10030 clauses out of 20069 with flag 56001/88535
22.41/21.48	c cleaning 11004 clauses out of 22038 with flag 68000/100534
25.01/24.09	c cleaning 12006 clauses out of 24036 with flag 81002/113536
25.51/24.58	c Got one! Elapsed wall clock time (in seconds):24.471
25.51/24.58	o 43
26.11/25.17	c cleaning 8636 clauses out of 17281 with flag 3000/118787
27.34/26.39	c cleaning 7315 clauses out of 14645 with flag 9000/124787
28.73/27.74	c cleaning 7163 clauses out of 14331 with flag 16001/131788
30.67/29.63	c cleaning 7573 clauses out of 15167 with flag 24000/139787
32.47/31.40	c cleaning 8276 clauses out of 16594 with flag 33000/148787
34.56/33.51	c cleaning 9148 clauses out of 18318 with flag 43000/158787
36.97/35.96	c cleaning 10078 clauses out of 20171 with flag 54001/169788
39.37/38.33	c cleaning 11030 clauses out of 22092 with flag 66000/181787
41.87/40.81	c cleaning 12024 clauses out of 24063 with flag 79001/194788
44.67/43.69	c cleaning 13006 clauses out of 26038 with flag 93000/208787
47.70/46.66	c cleaning 14005 clauses out of 28032 with flag 108000/223787
51.02/49.96	c cleaning 15001 clauses out of 30028 with flag 124001/239788
54.82/53.71	c cleaning 16002 clauses out of 32026 with flag 141000/256787
58.55/57.48	c cleaning 16996 clauses out of 34024 with flag 159000/274787
62.67/61.54	c cleaning 18009 clauses out of 36028 with flag 178000/293787
66.57/65.40	c cleaning 18986 clauses out of 38019 with flag 198000/313787
70.79/69.67	c cleaning 20011 clauses out of 40033 with flag 219000/334787
75.19/74.06	c cleaning 21006 clauses out of 42024 with flag 241002/356789
79.69/78.57	c cleaning 21987 clauses out of 44016 with flag 264000/379787
84.41/83.22	c cleaning 23006 clauses out of 46029 with flag 288000/403787
89.54/88.34	c cleaning 24007 clauses out of 48028 with flag 313005/428792
95.06/93.87	c cleaning 24993 clauses out of 50018 with flag 339002/454789
100.59/99.38	c cleaning 25998 clauses out of 52023 with flag 366000/481787
107.10/105.85	c cleaning 26996 clauses out of 54026 with flag 394001/509788
113.51/112.29	c cleaning 28004 clauses out of 56029 with flag 423000/538787
120.51/119.20	c cleaning 29004 clauses out of 58025 with flag 453000/568787
127.52/126.28	c cleaning 29998 clauses out of 60022 with flag 484001/599788
134.24/132.96	c cleaning 31004 clauses out of 62023 with flag 516000/631787
141.78/140.49	c cleaning 31988 clauses out of 64019 with flag 549000/664787
149.70/148.35	c cleaning 33005 clauses out of 66033 with flag 583002/698789
157.52/156.14	c cleaning 34008 clauses out of 68026 with flag 618000/733787
165.26/163.89	c cleaning 35002 clauses out of 70019 with flag 654001/769788
173.68/172.27	c cleaning 35998 clauses out of 72016 with flag 691000/806787
182.90/181.42	c cleaning 37005 clauses out of 74019 with flag 729001/844788
192.22/190.76	c cleaning 38003 clauses out of 76013 with flag 768000/883787
201.48/199.90	c cleaning 38998 clauses out of 78010 with flag 808000/923787
210.61/209.05	c cleaning 39999 clauses out of 80012 with flag 849000/964787
218.65/217.08	c cleaning 41000 clauses out of 82014 with flag 891001/1006788
228.36/226.77	c cleaning 41993 clauses out of 84013 with flag 934000/1049787
237.76/236.10	c cleaning 43005 clauses out of 86022 with flag 978002/1093789
246.67/245.07	c cleaning 43995 clauses out of 88016 with flag 1023001/1138788
256.10/254.42	c cleaning 45006 clauses out of 90022 with flag 1069002/1184789
267.03/265.36	c cleaning 45994 clauses out of 92014 with flag 1116000/1231787
278.44/276.77	c cleaning 47003 clauses out of 94020 with flag 1164000/1279787
290.55/288.88	c cleaning 48001 clauses out of 96018 with flag 1213001/1328788
300.26/298.50	c cleaning 49001 clauses out of 98017 with flag 1263001/1378788
310.80/309.04	c cleaning 50002 clauses out of 100018 with flag 1314003/1429790
320.25/318.44	c cleaning 50986 clauses out of 102013 with flag 1366000/1481787
331.25/329.44	c cleaning 52001 clauses out of 104027 with flag 1419000/1534787
343.47/341.61	c cleaning 52993 clauses out of 106026 with flag 1473000/1588787
355.79/353.98	c cleaning 54011 clauses out of 108033 with flag 1528000/1643787
368.81/366.93	c cleaning 54999 clauses out of 110022 with flag 1584000/1699787
382.64/380.78	c cleaning 56004 clauses out of 112024 with flag 1641001/1756788
387.97/386.04	c Got one! Elapsed wall clock time (in seconds):385.931
387.97/386.04	o 42
389.17/387.22	c cleaning 42487 clauses out of 85006 with flag 5000/1785774
390.60/388.67	c cleaning 24236 clauses out of 48519 with flag 11000/1791774
392.21/390.29	c cleaning 15625 clauses out of 31283 with flag 18000/1798774
394.11/392.15	c cleaning 11822 clauses out of 23660 with flag 26002/1806776
396.22/394.26	c cleaning 10412 clauses out of 20838 with flag 35002/1815776
398.63/396.67	c cleaning 10199 clauses out of 20424 with flag 45000/1825774
401.13/399.20	c cleaning 10592 clauses out of 21225 with flag 56000/1836774
404.03/402.00	c cleaning 11292 clauses out of 22633 with flag 68000/1848774
407.13/405.17	c cleaning 12163 clauses out of 24342 with flag 81001/1861775
410.64/408.64	c cleaning 13074 clauses out of 26178 with flag 95000/1875774
414.35/412.31	c cleaning 14042 clauses out of 28104 with flag 110000/1890774
418.15/416.18	c cleaning 15018 clauses out of 30062 with flag 126000/1906774
422.35/420.32	c cleaning 16011 clauses out of 32045 with flag 143001/1923775
426.66/424.62	c cleaning 17009 clauses out of 34035 with flag 161002/1941776
431.17/429.11	c cleaning 18003 clauses out of 36026 with flag 180002/1960776
435.98/434.00	c cleaning 18983 clauses out of 38021 with flag 200000/1980774
440.58/438.59	c cleaning 20005 clauses out of 40038 with flag 221000/2001774
445.20/443.14	c cleaning 21008 clauses out of 42033 with flag 243000/2023774
450.01/447.91	c cleaning 21998 clauses out of 44025 with flag 266000/2046774
454.73/452.60	c cleaning 23004 clauses out of 46027 with flag 290000/2070774
459.55/457.44	c cleaning 23995 clauses out of 48023 with flag 315000/2095774
465.28/463.14	c cleaning 25006 clauses out of 50028 with flag 341000/2121774
470.59/468.44	c cleaning 25995 clauses out of 52022 with flag 368000/2148774
476.21/474.08	c cleaning 26996 clauses out of 54027 with flag 396000/2176774
482.13/479.98	c cleaning 28001 clauses out of 56031 with flag 425000/2205774
488.74/486.55	c cleaning 28998 clauses out of 58031 with flag 455001/2235775
495.77/493.50	c cleaning 30003 clauses out of 60032 with flag 486000/2266774
502.39/500.13	c cleaning 31009 clauses out of 62030 with flag 518001/2298775
508.62/506.30	c cleaning 31999 clauses out of 64020 with flag 551000/2331774
515.03/512.79	c cleaning 32995 clauses out of 66021 with flag 585000/2365774
522.15/519.81	c cleaning 33993 clauses out of 68026 with flag 620000/2400774
529.37/527.03	c cleaning 34998 clauses out of 70033 with flag 656000/2436774
537.59/535.20	c cleaning 36012 clauses out of 72035 with flag 693000/2473774
546.00/543.64	c cleaning 37002 clauses out of 74024 with flag 731001/2511775
554.91/552.53	c cleaning 37991 clauses out of 76021 with flag 770000/2550774
563.93/561.51	c cleaning 39000 clauses out of 78030 with flag 810000/2590774
573.46/571.00	c cleaning 39989 clauses out of 80031 with flag 851001/2631775
582.69/580.21	c cleaning 41009 clauses out of 82042 with flag 893001/2673775
592.29/589.84	c cleaning 42007 clauses out of 84033 with flag 936001/2716775
602.40/599.93	c cleaning 42989 clauses out of 86025 with flag 980000/2760774
612.51/610.05	c cleaning 44009 clauses out of 88039 with flag 1025003/2805777
623.05/620.52	c cleaning 44999 clauses out of 90027 with flag 1071000/2851774
633.56/631.06	c cleaning 45995 clauses out of 92028 with flag 1118000/2898774
644.57/642.05	c cleaning 47001 clauses out of 94034 with flag 1166001/2946775
655.68/653.15	c cleaning 47992 clauses out of 96032 with flag 1215000/2995774
665.91/663.34	c cleaning 49007 clauses out of 98040 with flag 1265000/3045774
676.24/673.66	c cleaning 50010 clauses out of 100033 with flag 1316000/3096774
686.65/684.00	c cleaning 51000 clauses out of 102023 with flag 1368000/3148774
697.27/694.60	c cleaning 52005 clauses out of 104023 with flag 1421000/3201774
709.18/706.55	c cleaning 52996 clauses out of 106021 with flag 1475003/3255777
720.71/718.07	c cleaning 54005 clauses out of 108022 with flag 1530000/3310774
732.22/729.52	c cleaning 54992 clauses out of 110017 with flag 1586000/3366774
743.63/740.93	c cleaning 55996 clauses out of 112025 with flag 1643000/3423774
755.85/753.16	c cleaning 56997 clauses out of 114029 with flag 1701000/3481774
769.49/766.79	c cleaning 58012 clauses out of 116033 with flag 1760001/3540775
783.33/780.59	c cleaning 58993 clauses out of 118020 with flag 1820000/3600774
796.95/794.11	c cleaning 60002 clauses out of 120027 with flag 1881000/3661774
808.76/805.98	c cleaning 61003 clauses out of 122026 with flag 1943001/3723775
820.89/818.03	c cleaning 61993 clauses out of 124022 with flag 2006000/3786774
833.69/830.88	c cleaning 62997 clauses out of 126029 with flag 2070000/3850774
846.61/843.80	c cleaning 63983 clauses out of 128034 with flag 2135002/3915776
859.83/856.92	c cleaning 65001 clauses out of 130049 with flag 2201000/3981774
874.96/872.06	c cleaning 66020 clauses out of 132049 with flag 2268001/4048775
890.77/887.83	c cleaning 67002 clauses out of 134029 with flag 2336001/4116775
906.79/903.80	c cleaning 68005 clauses out of 136026 with flag 2405000/4185774
922.90/919.96	c cleaning 68997 clauses out of 138021 with flag 2475000/4255774
939.50/936.57	c cleaning 70002 clauses out of 140026 with flag 2546002/4326776
956.72/953.78	c cleaning 70994 clauses out of 142022 with flag 2618000/4398774
974.15/971.12	c cleaning 72001 clauses out of 144028 with flag 2691000/4471774
989.59/986.60	c cleaning 73004 clauses out of 146027 with flag 2765000/4545774
1004.81/1001.74	c cleaning 74006 clauses out of 148023 with flag 2840000/4620774
1022.53/1019.41	c cleaning 75001 clauses out of 150017 with flag 2916000/4696774
1040.45/1037.31	c cleaning 76001 clauses out of 152017 with flag 2993001/4773775
1056.38/1053.27	c cleaning 77005 clauses out of 154016 with flag 3071001/4851775
1071.90/1068.75	c cleaning 77989 clauses out of 156010 with flag 3150000/4930774
1089.96/1086.75	c cleaning 78991 clauses out of 158021 with flag 3230000/5010774
1107.97/1104.79	c cleaning 79996 clauses out of 160030 with flag 3311000/5091774
1126.59/1123.30	c cleaning 81012 clauses out of 162034 with flag 3393000/5173774
1144.03/1140.77	c cleaning 82002 clauses out of 164023 with flag 3476001/5256775
1162.34/1159.09	c cleaning 83004 clauses out of 166020 with flag 3560000/5340774
1179.89/1176.55	c cleaning 83985 clauses out of 168016 with flag 3645000/5425774
1199.11/1195.72	c cleaning 85005 clauses out of 170031 with flag 3731000/5511774
1220.14/1216.79	c cleaning 86000 clauses out of 172027 with flag 3818001/5598775
1242.27/1238.82	c cleaning 87000 clauses out of 174026 with flag 3906000/5686774
1265.64/1262.14	c cleaning 87993 clauses out of 176026 with flag 3995000/5775774
1287.38/1283.84	c cleaning 89009 clauses out of 178035 with flag 4085002/5865776
1310.20/1306.64	c cleaning 89994 clauses out of 180024 with flag 4176000/5956774
1330.35/1326.75	c cleaning 91008 clauses out of 182030 with flag 4268000/6048774
1351.49/1347.83	c cleaning 91999 clauses out of 184022 with flag 4361000/6141774
1376.21/1372.52	c cleaning 93000 clauses out of 186024 with flag 4455001/6235775
1402.64/1398.93	c cleaning 94001 clauses out of 188023 with flag 4550000/6330774
1426.57/1422.86	c cleaning 94984 clauses out of 190022 with flag 4646000/6426774
1451.01/1447.22	c cleaning 96005 clauses out of 192040 with flag 4743002/6523776
1475.26/1471.43	c cleaning 96993 clauses out of 194033 with flag 4841000/6621774
1500.89/1497.02	c cleaning 98007 clauses out of 196041 with flag 4940001/6720775
1523.14/1519.25	c cleaning 99014 clauses out of 198038 with flag 5040005/6820779
1543.92/1539.97	c cleaning 100004 clauses out of 200019 with flag 5141000/6921774
1566.93/1562.92	c cleaning 100978 clauses out of 202016 with flag 5243001/7023775
1591.27/1587.24	c cleaning 101996 clauses out of 204037 with flag 5346000/7126774
1612.51/1608.40	c cleaning 103007 clauses out of 206041 with flag 5450000/7230774
1632.54/1628.49	c cleaning 104007 clauses out of 208034 with flag 5555000/7335774
1653.58/1649.43	c cleaning 104980 clauses out of 210027 with flag 5661000/7441774
1678.62/1674.43	c cleaning 105997 clauses out of 212047 with flag 5768000/7548774
1703.67/1699.46	c cleaning 107006 clauses out of 214051 with flag 5876001/7656775
1728.02/1723.78	c cleaning 108005 clauses out of 216044 with flag 5985000/7765774
1755.46/1751.13	c cleaning 109016 clauses out of 218040 with flag 6095001/7875775
1784.91/1780.50	c cleaning 109989 clauses out of 220025 with flag 6206002/7986776
1800.05/1795.51	c starts		: 314
1800.05/1795.51	c conflicts		: 8052707
1800.05/1795.51	c decisions		: 20662889
1800.05/1795.51	c propagations		: 7910536137
1800.05/1795.51	c inspects		: 10688762493
1800.05/1795.51	c shortcuts		: 0
1800.05/1795.51	c learnt literals	: 0
1800.05/1795.51	c learnt binary clauses	: 0
1800.05/1795.51	c learnt ternary clauses	: 0
1800.05/1795.51	c learnt constraints	: 8052707
1800.05/1795.51	c ignored constraints	: 0
1800.05/1795.51	c root simplifications	: 314
1800.05/1795.51	c removed literals (reason simplification)	: 7172887
1800.05/1795.51	c reason swapping (by a shorter reason)	: 0
1800.05/1795.51	c Calls to reduceDB	: 174
1800.05/1795.51	c number of reductions to clauses (during analyze)	: 0
1800.05/1795.51	c number of learned constraints concerned by reduction	: 0
1800.05/1795.51	c number of learning phase by resolution	: 0
1800.05/1795.51	c number of learning phase by cutting planes	: 0
1800.05/1795.51	c speed (assignments/second)	: 4406591.712716415
1800.05/1795.51	c non guided choices	4595
1800.05/1795.54	c learnt constraints type 
1800.05/1795.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 176061
1800.05/1795.54	c constraints type 
1800.05/1795.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1758
1800.05/1795.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.05/1795.54	c org.sat4j.minisat.constraints.cnf.UnitClause => 100
1800.05/1795.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7143
1800.05/1795.54	c 9002 constraints processed.
1800.05/1795.54	s SATISFIABLE
1800.05/1795.55	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 x137 x138 -x139 x140 -x141 x142 x143 -x144 x145 x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 x1542 x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 x1782 x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 x2158 x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 x2205 x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 x2460 x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 x2738 x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 x2870 x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 x2997 x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 x3084 x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 x3107 x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 x3117 x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 x3254 x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 x3264 x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 x3305 x3306 x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 x3337 x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 x3347 x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 x3357 x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 x3371 x3372 -x3373 -x3374 -x3375 x3376 x3377 -x3378 -x3379 -x3380 -x3381 x3382 x3383 -x3384 -x3385 -x3386 -x3387 -x3388 x3389 x3390 x3391 x3392 
1800.05/1795.55	c objective function=42
1800.05/1795.55	c Total wall clock time (in seconds): 1795.447

Verifier Data 

OK	42

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3710933-1338312572/watcher-3710933-1338312572 -o /tmp/evaluation-result-3710933-1338312572/solver-3710933-1338312572 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710933-1338312572.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.87 1.95 1.89 3/194 5710
/proc/meminfo: memFree=29055220/32873648 swapFree=7116/7116
[pid=5710] ppid=5708 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/5710/stat : 5710 (java) S 5708 5710 5492 0 -1 4202496 1218 0 0 0 0 0 0 0 20 0 2 0 297384563 95129600 927 33554432000 1073741824 1073778376 140737364794112 140737364785248 219517321277 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5710/statm: 23528 927 703 9 0 16769 0
[pid=5710/tid=5711] ppid=5708 vsize=94112 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5711/stat : 5711 (java) R 5708 5710 5492 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 2 0 297384563 96370688 931 33554432000 1073741824 1073778376 140737364794112 140671896014376 219504799015 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.03716 s]
/proc/loadavg: 1.87 1.95 1.89 3/194 5710
/proc/meminfo: memFree=29055220/32873648 swapFree=7116/7116
[pid=5710] ppid=5708 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/5710/stat : 5710 (java) S 5708 5710 5492 0 -1 4202496 3037 0 1 0 2 0 0 0 20 0 13 0 297384563 9446973440 3733 33554432000 1073741824 1073778376 140737364794112 140737364785248 219517321277 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5710/statm: 2306390 3733 1702 9 0 2297091 0
[pid=5710/tid=5711] ppid=5708 vsize=9225560 CPUtime=0.01 cores=0,2,4,6
/proc/5710/task/5711/stat : 5711 (java) R 5708 5710 5492 0 -1 4202560 1856 0 1 0 1 0 0 0 20 0 13 0 297384563 9446973440 3735 33554432000 1073741824 1073778376 140737364794112 140671896015088 140671903783763 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100251 s]
/proc/loadavg: 1.87 1.95 1.89 3/194 5710
/proc/meminfo: memFree=29055220/32873648 swapFree=7116/7116
[pid=5710] ppid=5708 vsize=9558440 CPUtime=0.11 cores=0,2,4,6
/proc/5710/stat : 5710 (java) S 5708 5710 5492 0 -1 4202496 4391 0 1 0 10 1 0 0 20 0 18 0 297384563 9787842560 6108 33554432000 1073741824 1073778376 140737364794112 140737364785248 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5710/statm: 2389610 6108 2138 9 0 2380296 0
[pid=5710/tid=5711] ppid=5708 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/5710/task/5711/stat : 5711 (java) R 5708 5710 5492 0 -1 4202560 2487 0 1 0 8 0 0 0 20 0 18 0 297384563 9787842560 6108 33554432000 1073741824 1073778376 140737364794112 140671896017608 140671893890576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558440

[startup+0.3002 s]
/proc/loadavg: 1.87 1.95 1.89 3/194 5710
/proc/meminfo: memFree=29055220/32873648 swapFree=7116/7116
[pid=5710] ppid=5708 vsize=9558440 CPUtime=0.54 cores=0,2,4,6
/proc/5710/stat : 5710 (java) S 5708 5710 5492 0 -1 4202496 6278 0 1 0 52 2 0 0 20 0 18 0 297384563 9787842560 8994 33554432000 1073741824 1073778376 140737364794112 140737364785248 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5710/statm: 2389610 8994 2228 9 0 2380296 0
[pid=5710/tid=5711] ppid=5708 vsize=9558440 CPUtime=0.28 cores=0,2,4,6
/proc/5710/task/5711/stat : 5711 (java) R 5708 5710 5492 0 -1 4202560 2501 0 1 0 26 2 0 0 20 0 18 0 297384563 9787842560 8994 33554432000 1073741824 1073778376 140737364794112 140671896010728 140671738887670 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558440

[startup+0.700199 s]
/proc/loadavg: 1.87 1.95 1.89 3/194 5710
/proc/meminfo: memFree=29055220/32873648 swapFree=7116/7116
[pid=5710] ppid=5708 vsize=9625004 CPUtime=1.49 cores=0,2,4,6
/proc/5710/stat : 5710 (java) S 5708 5710 5492 0 -1 4202496 10101 0 1 0 146 3 0 0 20 0 19 0 297384563 9856004096 13863 33554432000 1073741824 1073778376 140737364794112 140737364785248 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5710/statm: 2406251 13863 2258 9 0 2396937 0
[pid=5710/tid=5711] ppid=5708 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/5710/task/5711/stat : 5711 (java) R 5708 5710 5492 0 -1 4202560 2518 0 1 0 66 2 0 0 20 0 19 0 297384563 9856004096 13863 33554432000 1073741824 1073778376 140737364794112 140671896019728 140671738978117 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9625004

[startup+1.50065 s]
/proc/loadavg: 1.87 1.95 1.89 3/213 5729
/proc/meminfo: memFree=29007244/32873648 swapFree=7116/7116
[pid=5710] ppid=5708 vsize=9625004 CPUtime=2.34 cores=0,2,4,6
/proc/5710/stat : 5710 (java) S 5708 5710 5492 0 -1 4202496 10106 0 1 0 231 3 0 0 20 0 19 0 297384563 9856004096 14378 33554432000 1073741824 1073778376 140737364794112 140737364785248 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5710/statm: 2406251 14378 2260 9 0 2396937 0
[pid=5710/tid=5711] ppid=5708 vsize=9625004 CPUtime=1.48 cores=0,2,4,6
/proc/5710/task/5711/stat : 5711 (java) R 5708 5710 5492 0 -1 4202560 2520 0 1 0 146 2 0 0 20 0 19 0 297384563 9856004096 14378 33554432000 1073741824 1073778376 140737364794112 140671896011200 140671739154910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5710/tid=5713] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5713/stat : 5713 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 14378 33554432000 1073741824 1073778376 140737364794112 140671857510696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5714] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5714/stat : 5714 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 14378 33554432000 1073741824 1073778376 140737364794112 140671738439848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5715] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5715/stat : 5715 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 14378 33554432000 1073741824 1073778376 140737364794112 140671737387560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5716] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5716/stat : 5716 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 14378 33554432000 1073741824 1073778376 140737364794112 140671736334760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5710/tid=5717] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5717/stat : 5717 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 14378 33554432000 1073741824 1073778376 140737364794112 140671735282472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5718] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5718/stat : 5718 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 14378 33554432000 1073741824 1073778376 140737364794112 140671734229672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5719] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5719/stat : 5719 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 14378 33554432000 1073741824 1073778376 140737364794112 140671733177384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5710/tid=5720] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5720/stat : 5720 (java) S 5708 5710 5492 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 14378 33554432000 1073741824 1073778376 140737364794112 140671732124584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5721] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5721/stat : 5721 (java) S 5708 5710 5492 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 297384565 9856004096 14378 33554432000 1073741824 1073778376 140737364794112 140671249795304 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5722] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5722/stat : 5722 (java) S 5708 5710 5492 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 297384565 9856004096 14378 33554432000 1073741824 1073778376 140737364794112 140671248741368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5723] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5723/stat : 5723 (java) S 5708 5710 5492 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 297384565 9856004096 14378 33554432000 1073741824 1073778376 140737364794112 140671247688968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5724] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5724/stat : 5724 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384567 9856004096 14378 33554432000 1073741824 1073778376 140737364794112 140671246637456 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5725] ppid=5708 vsize=9625004 CPUtime=0.38 cores=0,2,4,6
/proc/5710/task/5725/stat : 5725 (java) S 5708 5710 5492 0 -1 4202560 2526 0 0 0 38 0 0 0 20 0 19 0 297384567 9856004096 14378 33554432000 1073741824 1073778376 140737364794112 140671245585080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5726] ppid=5708 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/5710/task/5726/stat : 5726 (java) S 5708 5710 5492 0 -1 4202560 3859 0 0 0 44 0 0 0 20 0 19 0 297384567 9856004096 14378 33554432000 1073741824 1073778376 140737364794112 140671244532280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5727] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5727/stat : 5727 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384567 9856004096 14378 33554432000 1073741824 1073778376 140737364794112 140671243480184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5728] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5728/stat : 5728 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384567 9856004096 14378 33554432000 1073741824 1073778376 140737364794112 140671242427592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5729] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5729/stat : 5729 (java) S 5708 5710 5492 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 297384598 9856004096 14378 33554432000 1073741824 1073778376 140737364794112 140671241372584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 9625004

[startup+3.10064 s]
/proc/loadavg: 1.87 1.95 1.89 3/213 5729
/proc/meminfo: memFree=29004328/32873648 swapFree=7116/7116
[pid=5710] ppid=5708 vsize=9625004 CPUtime=4 cores=0,2,4,6
/proc/5710/stat : 5710 (java) S 5708 5710 5492 0 -1 4202496 10169 0 1 0 396 4 0 0 20 0 19 0 297384563 9856004096 17495 33554432000 1073741824 1073778376 140737364794112 140737364785248 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5710/statm: 2406251 17495 2286 9 0 2396937 0
[pid=5710/tid=5711] ppid=5708 vsize=9625004 CPUtime=3.06 cores=0,2,4,6
/proc/5710/task/5711/stat : 5711 (java) R 5708 5710 5492 0 -1 4202560 2525 0 1 0 304 2 0 0 20 0 19 0 297384563 9856004096 17495 33554432000 1073741824 1073778376 140737364794112 140671896019432 140671739212926 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5710/tid=5713] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5713/stat : 5713 (java) S 5708 5710 5492 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 17495 33554432000 1073741824 1073778376 140737364794112 140671857510696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5714] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5714/stat : 5714 (java) S 5708 5710 5492 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 17495 33554432000 1073741824 1073778376 140737364794112 140671738439848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5715] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5715/stat : 5715 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 17495 33554432000 1073741824 1073778376 140737364794112 140671737387560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5716] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5716/stat : 5716 (java) S 5708 5710 5492 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 17495 33554432000 1073741824 1073778376 140737364794112 140671736334760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5710/tid=5717] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5717/stat : 5717 (java) S 5708 5710 5492 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 17495 33554432000 1073741824 1073778376 140737364794112 140671735282472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5718] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5718/stat : 5718 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 17495 33554432000 1073741824 1073778376 140737364794112 140671734229672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5719] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5719/stat : 5719 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 17495 33554432000 1073741824 1073778376 140737364794112 140671733177384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5710/tid=5720] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5720/stat : 5720 (java) S 5708 5710 5492 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 17495 33554432000 1073741824 1073778376 140737364794112 140671732124584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5721] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5721/stat : 5721 (java) S 5708 5710 5492 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 297384565 9856004096 17495 33554432000 1073741824 1073778376 140737364794112 140671249795304 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5722] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5722/stat : 5722 (java) S 5708 5710 5492 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297384565 9856004096 17495 33554432000 1073741824 1073778376 140737364794112 140671248741368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5723] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5723/stat : 5723 (java) S 5708 5710 5492 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297384565 9856004096 17495 33554432000 1073741824 1073778376 140737364794112 140671247688968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5724] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5724/stat : 5724 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384567 9856004096 17495 33554432000 1073741824 1073778376 140737364794112 140671246637456 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5725] ppid=5708 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/5710/task/5725/stat : 5725 (java) S 5708 5710 5492 0 -1 4202560 2528 0 0 0 41 0 0 0 20 0 19 0 297384567 9856004096 17495 33554432000 1073741824 1073778376 140737364794112 140671245585080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5726] ppid=5708 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/5710/task/5726/stat : 5726 (java) S 5708 5710 5492 0 -1 4202560 3863 0 0 0 46 0 0 0 20 0 19 0 297384567 9856004096 17495 33554432000 1073741824 1073778376 140737364794112 140671244532280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5727] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5727/stat : 5727 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384567 9856004096 17495 33554432000 1073741824 1073778376 140737364794112 140671243480184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5728] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5728/stat : 5728 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384567 9856004096 17495 33554432000 1073741824 1073778376 140737364794112 140671242427592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5729] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5729/stat : 5729 (java) S 5708 5710 5492 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 297384598 9856004096 17495 33554432000 1073741824 1073778376 140737364794112 140671241372584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 9625004

[startup+6.30072 s]
/proc/loadavg: 1.88 1.95 1.89 3/213 5729
/proc/meminfo: memFree=28989264/32873648 swapFree=7116/7116
[pid=5710] ppid=5708 vsize=9625004 CPUtime=7.26 cores=0,2,4,6
/proc/5710/stat : 5710 (java) S 5708 5710 5492 0 -1 4202496 10234 0 1 0 722 4 0 0 20 0 19 0 297384563 9856004096 18457 33554432000 1073741824 1073778376 140737364794112 140737364785248 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5710/statm: 2406251 18457 2286 9 0 2396937 0
[pid=5710/tid=5711] ppid=5708 vsize=9625004 CPUtime=6.21 cores=0,2,4,6
/proc/5710/task/5711/stat : 5711 (java) R 5708 5710 5492 0 -1 4202560 2529 0 1 0 619 2 0 0 20 0 19 0 297384563 9856004096 18457 33554432000 1073741824 1073778376 140737364794112 140671896019208 140671739131091 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5710/tid=5713] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5713/stat : 5713 (java) S 5708 5710 5492 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 18457 33554432000 1073741824 1073778376 140737364794112 140671857510696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5714] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5714/stat : 5714 (java) S 5708 5710 5492 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 18457 33554432000 1073741824 1073778376 140737364794112 140671738439848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5715] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5715/stat : 5715 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 18457 33554432000 1073741824 1073778376 140737364794112 140671737387560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5716] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5716/stat : 5716 (java) S 5708 5710 5492 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 18457 33554432000 1073741824 1073778376 140737364794112 140671736334760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5710/tid=5717] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5717/stat : 5717 (java) S 5708 5710 5492 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 18457 33554432000 1073741824 1073778376 140737364794112 140671735282472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5718] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5718/stat : 5718 (java) S 5708 5710 5492 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 18457 33554432000 1073741824 1073778376 140737364794112 140671734229672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5719] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5719/stat : 5719 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 18457 33554432000 1073741824 1073778376 140737364794112 140671733177384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5710/tid=5720] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5720/stat : 5720 (java) S 5708 5710 5492 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297384564 9856004096 18457 33554432000 1073741824 1073778376 140737364794112 140671732124584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5721] ppid=5708 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/5710/task/5721/stat : 5721 (java) S 5708 5710 5492 0 -1 4202560 54 0 0 0 4 0 0 0 20 0 19 0 297384565 9856004096 18457 33554432000 1073741824 1073778376 140737364794112 140671249795304 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5722] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5722/stat : 5722 (java) S 5708 5710 5492 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297384565 9856004096 18457 33554432000 1073741824 1073778376 140737364794112 140671248741368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5723] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5723/stat : 5723 (java) S 5708 5710 5492 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297384565 9856004096 18457 33554432000 1073741824 1073778376 140737364794112 140671247688968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5724] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5724/stat : 5724 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384567 9856004096 18457 33554432000 1073741824 1073778376 140737364794112 140671246637456 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5725] ppid=5708 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/5710/task/5725/stat : 5725 (java) S 5708 5710 5492 0 -1 4202560 2528 0 0 0 41 0 0 0 20 0 19 0 297384567 9856004096 18457 33554432000 1073741824 1073778376 140737364794112 140671245585080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5726] ppid=5708 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/5710/task/5726/stat : 5726 (java) S 5708 5710 5492 0 -1 4202560 3887 0 0 0 50 2 0 0 20 0 19 0 297384567 9856004096 18457 33554432000 1073741824 1073778376 140737364794112 140671244532280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0

################
# More data... #
################

[pid=5710/tid=5718] ppid=5708 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/5710/task/5718/stat : 5718 (java) S 5708 5710 5492 0 -1 4202560 271 0 0 0 57 2 0 0 20 0 19 0 297384564 9856004096 44331 33554432000 1073741824 1073778376 140737364794112 140671734229672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5719] ppid=5708 vsize=9625004 CPUtime=0.57 cores=0,2,4,6
/proc/5710/task/5719/stat : 5719 (java) S 5708 5710 5492 0 -1 4202560 172 0 0 0 57 0 0 0 20 0 19 0 297384564 9856004096 44331 33554432000 1073741824 1073778376 140737364794112 140671733177384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5720] ppid=5708 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/5710/task/5720/stat : 5720 (java) S 5708 5710 5492 0 -1 4202560 97 0 0 0 56 2 0 0 20 0 19 0 297384564 9856004096 44331 33554432000 1073741824 1073778376 140737364794112 140671732124584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5721] ppid=5708 vsize=9625004 CPUtime=5.4 cores=0,2,4,6
/proc/5710/task/5721/stat : 5721 (java) S 5708 5710 5492 0 -1 4202560 175 0 0 0 537 3 0 0 20 0 19 0 297384565 9856004096 44331 33554432000 1073741824 1073778376 140737364794112 140671249795304 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5722] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5722/stat : 5722 (java) S 5708 5710 5492 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297384565 9856004096 44331 33554432000 1073741824 1073778376 140737364794112 140671248741368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5723] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5723/stat : 5723 (java) S 5708 5710 5492 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297384565 9856004096 44331 33554432000 1073741824 1073778376 140737364794112 140671247688968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5724] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5724/stat : 5724 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384567 9856004096 44331 33554432000 1073741824 1073778376 140737364794112 140671246637456 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5725] ppid=5708 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/5710/task/5725/stat : 5725 (java) S 5708 5710 5492 0 -1 4202560 2528 0 0 0 41 0 0 0 20 0 19 0 297384567 9856004096 44331 33554432000 1073741824 1073778376 140737364794112 140671245585080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5726] ppid=5708 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/5710/task/5726/stat : 5726 (java) S 5708 5710 5492 0 -1 4202560 3905 0 0 0 52 2 0 0 20 0 19 0 297384567 9856004096 44331 33554432000 1073741824 1073778376 140737364794112 140671244532280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5727] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5727/stat : 5727 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384567 9856004096 44331 33554432000 1073741824 1073778376 140737364794112 140671243480184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5728] ppid=5708 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/5710/task/5728/stat : 5728 (java) S 5708 5710 5492 0 -1 4202560 99 0 0 0 12 18 0 0 20 0 19 0 297384567 9856004096 44331 33554432000 1073741824 1073778376 140737364794112 140671242427592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5729] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5729/stat : 5729 (java) S 5708 5710 5492 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 297384598 9856004096 44331 33554432000 1073741824 1073778376 140737364794112 140671241372584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1726.61
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/213 5744
/proc/meminfo: memFree=28824276/32873648 swapFree=7116/7116
[pid=5710] ppid=5708 vsize=9625004 CPUtime=1786.85 cores=0,2,4,6
/proc/5710/stat : 5710 (java) S 5708 5710 5492 0 -1 4202496 12083 0 1 0 178650 35 0 0 20 0 19 0 297384563 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140737364785248 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5710/statm: 2406251 44369 2287 9 0 2396937 0
[pid=5710/tid=5711] ppid=5708 vsize=9625004 CPUtime=1775.18 cores=0,2,4,6
/proc/5710/task/5711/stat : 5711 (java) R 5708 5710 5492 0 -1 4202560 2702 0 1 0 177489 29 0 0 20 0 19 0 297384563 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671896019248 140671739212369 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5713] ppid=5708 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/5710/task/5713/stat : 5713 (java) S 5708 5710 5492 0 -1 4202560 271 0 0 0 63 2 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671857510696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5714] ppid=5708 vsize=9625004 CPUtime=0.57 cores=0,2,4,6
/proc/5710/task/5714/stat : 5714 (java) S 5708 5710 5492 0 -1 4202560 116 0 0 0 55 2 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671738439848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5710/tid=5715] ppid=5708 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/5710/task/5715/stat : 5715 (java) S 5708 5710 5492 0 -1 4202560 186 0 0 0 63 2 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671737387560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5710/tid=5716] ppid=5708 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/5710/task/5716/stat : 5716 (java) S 5708 5710 5492 0 -1 4202560 181 0 0 0 59 2 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671736334760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5717] ppid=5708 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/5710/task/5717/stat : 5717 (java) S 5708 5710 5492 0 -1 4202560 184 0 0 0 67 2 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671735282472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5718] ppid=5708 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/5710/task/5718/stat : 5718 (java) S 5708 5710 5492 0 -1 4202560 271 0 0 0 64 2 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671734229672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5719] ppid=5708 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/5710/task/5719/stat : 5719 (java) S 5708 5710 5492 0 -1 4202560 173 0 0 0 59 0 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671733177384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5720] ppid=5708 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/5710/task/5720/stat : 5720 (java) S 5708 5710 5492 0 -1 4202560 97 0 0 0 58 2 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671732124584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5721] ppid=5708 vsize=9625004 CPUtime=5.59 cores=0,2,4,6
/proc/5710/task/5721/stat : 5721 (java) S 5708 5710 5492 0 -1 4202560 179 0 0 0 556 3 0 0 20 0 19 0 297384565 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671249795304 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5722] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5722/stat : 5722 (java) S 5708 5710 5492 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297384565 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671248741368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5723] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5723/stat : 5723 (java) S 5708 5710 5492 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297384565 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671247688968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5724] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5724/stat : 5724 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384567 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671246637456 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5725] ppid=5708 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/5710/task/5725/stat : 5725 (java) S 5708 5710 5492 0 -1 4202560 2528 0 0 0 41 0 0 0 20 0 19 0 297384567 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671245585080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5726] ppid=5708 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/5710/task/5726/stat : 5726 (java) S 5708 5710 5492 0 -1 4202560 3905 0 0 0 52 2 0 0 20 0 19 0 297384567 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671244532280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5727] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5727/stat : 5727 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384567 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671243480184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5728] ppid=5708 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/5710/task/5728/stat : 5728 (java) S 5708 5710 5492 0 -1 4202560 103 0 0 0 12 19 0 0 20 0 19 0 297384567 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671242427592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5729] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5729/stat : 5729 (java) S 5708 5710 5492 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 297384598 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671241372584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1786.85
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.5 s]
/proc/loadavg: 1.85 1.97 1.95 2/189 5771
/proc/meminfo: memFree=28999536/32873648 swapFree=7116/7116
[pid=5710] ppid=5708 vsize=9625004 CPUtime=1800.05 cores=0,2,4,6
/proc/5710/stat : 5710 (java) S 5708 5710 5492 0 -1 4202496 12083 0 1 0 179970 35 0 0 20 0 19 0 297384563 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140737364785248 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5710/statm: 2406251 44369 2287 9 0 2396937 0
[pid=5710/tid=5711] ppid=5708 vsize=9625004 CPUtime=1788.39 cores=0,2,4,6
/proc/5710/task/5711/stat : 5711 (java) R 5708 5710 5492 0 -1 4202560 2702 0 1 0 178809 30 0 0 20 0 19 0 297384563 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671896019248 140671739057944 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5713] ppid=5708 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/5710/task/5713/stat : 5713 (java) S 5708 5710 5492 0 -1 4202560 271 0 0 0 63 2 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671857510696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5714] ppid=5708 vsize=9625004 CPUtime=0.57 cores=0,2,4,6
/proc/5710/task/5714/stat : 5714 (java) S 5708 5710 5492 0 -1 4202560 116 0 0 0 55 2 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671738439848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5710/tid=5715] ppid=5708 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/5710/task/5715/stat : 5715 (java) S 5708 5710 5492 0 -1 4202560 186 0 0 0 63 2 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671737387560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5710/tid=5716] ppid=5708 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/5710/task/5716/stat : 5716 (java) S 5708 5710 5492 0 -1 4202560 181 0 0 0 59 2 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671736334760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5717] ppid=5708 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/5710/task/5717/stat : 5717 (java) S 5708 5710 5492 0 -1 4202560 184 0 0 0 67 2 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671735282472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5718] ppid=5708 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/5710/task/5718/stat : 5718 (java) S 5708 5710 5492 0 -1 4202560 271 0 0 0 64 2 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671734229672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5719] ppid=5708 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/5710/task/5719/stat : 5719 (java) S 5708 5710 5492 0 -1 4202560 173 0 0 0 59 0 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671733177384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5720] ppid=5708 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/5710/task/5720/stat : 5720 (java) S 5708 5710 5492 0 -1 4202560 97 0 0 0 58 2 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671732124584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5721] ppid=5708 vsize=9625004 CPUtime=5.59 cores=0,2,4,6
/proc/5710/task/5721/stat : 5721 (java) S 5708 5710 5492 0 -1 4202560 179 0 0 0 556 3 0 0 20 0 19 0 297384565 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671249795304 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5722] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5722/stat : 5722 (java) S 5708 5710 5492 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297384565 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671248741368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5723] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5723/stat : 5723 (java) S 5708 5710 5492 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297384565 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671247688968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5724] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5724/stat : 5724 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384567 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671246637456 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5725] ppid=5708 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/5710/task/5725/stat : 5725 (java) S 5708 5710 5492 0 -1 4202560 2528 0 0 0 41 0 0 0 20 0 19 0 297384567 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671245585080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5726] ppid=5708 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/5710/task/5726/stat : 5726 (java) S 5708 5710 5492 0 -1 4202560 3905 0 0 0 52 2 0 0 20 0 19 0 297384567 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671244532280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5727] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5727/stat : 5727 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384567 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671243480184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5728] ppid=5708 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/5710/task/5728/stat : 5728 (java) S 5708 5710 5492 0 -1 4202560 103 0 0 0 12 19 0 0 20 0 19 0 297384567 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671242427592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5729] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5729/stat : 5729 (java) S 5708 5710 5492 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 297384598 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671241372584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625004

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1795.5 s]
/proc/loadavg: 1.85 1.97 1.95 2/189 5771
/proc/meminfo: memFree=28999536/32873648 swapFree=7116/7116
[pid=5710] ppid=5708 vsize=9625004 CPUtime=1800.05 cores=0,2,4,6
/proc/5710/stat : 5710 (java) S 5708 5710 5492 0 -1 4202496 12083 0 1 0 179970 35 0 0 20 0 19 0 297384563 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140737364785248 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5710/statm: 2406251 44369 2287 9 0 2396937 0
[pid=5710/tid=5711] ppid=5708 vsize=9625004 CPUtime=1788.39 cores=0,2,4,6
/proc/5710/task/5711/stat : 5711 (java) R 5708 5710 5492 0 -1 4202560 2702 0 1 0 178809 30 0 0 20 0 19 0 297384563 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671896019248 140671739057944 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5713] ppid=5708 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/5710/task/5713/stat : 5713 (java) S 5708 5710 5492 0 -1 4202560 271 0 0 0 63 2 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671857510696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5714] ppid=5708 vsize=9625004 CPUtime=0.57 cores=0,2,4,6
/proc/5710/task/5714/stat : 5714 (java) S 5708 5710 5492 0 -1 4202560 116 0 0 0 55 2 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671738439848 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5710/tid=5715] ppid=5708 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/5710/task/5715/stat : 5715 (java) S 5708 5710 5492 0 -1 4202560 186 0 0 0 63 2 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671737387560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5710/tid=5716] ppid=5708 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/5710/task/5716/stat : 5716 (java) S 5708 5710 5492 0 -1 4202560 181 0 0 0 59 2 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671736334760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5717] ppid=5708 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/5710/task/5717/stat : 5717 (java) S 5708 5710 5492 0 -1 4202560 184 0 0 0 67 2 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671735282472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5718] ppid=5708 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/5710/task/5718/stat : 5718 (java) S 5708 5710 5492 0 -1 4202560 271 0 0 0 64 2 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671734229672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5719] ppid=5708 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/5710/task/5719/stat : 5719 (java) S 5708 5710 5492 0 -1 4202560 173 0 0 0 59 0 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671733177384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5720] ppid=5708 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/5710/task/5720/stat : 5720 (java) S 5708 5710 5492 0 -1 4202560 97 0 0 0 58 2 0 0 20 0 19 0 297384564 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671732124584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5721] ppid=5708 vsize=9625004 CPUtime=5.59 cores=0,2,4,6
/proc/5710/task/5721/stat : 5721 (java) S 5708 5710 5492 0 -1 4202560 179 0 0 0 556 3 0 0 20 0 19 0 297384565 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671249795304 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5722] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5722/stat : 5722 (java) S 5708 5710 5492 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297384565 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671248741368 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5723] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5723/stat : 5723 (java) S 5708 5710 5492 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297384565 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671247688968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5724] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5724/stat : 5724 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384567 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671246637456 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5725] ppid=5708 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/5710/task/5725/stat : 5725 (java) S 5708 5710 5492 0 -1 4202560 2528 0 0 0 41 0 0 0 20 0 19 0 297384567 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671245585080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5726] ppid=5708 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/5710/task/5726/stat : 5726 (java) S 5708 5710 5492 0 -1 4202560 3905 0 0 0 52 2 0 0 20 0 19 0 297384567 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671244532280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5710/tid=5727] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5727/stat : 5727 (java) S 5708 5710 5492 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297384567 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671243480184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5710/tid=5728] ppid=5708 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/5710/task/5728/stat : 5728 (java) S 5708 5710 5492 0 -1 4202560 103 0 0 0 12 19 0 0 20 0 19 0 297384567 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671242427592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5710/tid=5729] ppid=5708 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/5710/task/5729/stat : 5729 (java) S 5708 5710 5492 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 297384598 9856004096 44369 33554432000 1073741824 1073778376 140737364794112 140671241372584 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625004

Child status: 143
Real time (s): 1795.57
CPU time (s): 1800.66
CPU user time (s): 1799.84
CPU system time (s): 0.822874
CPU usage (%): 100.283
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.822874
maximum resident set size= 177596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12116
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42717
involuntary context switches= 14033

runsolver used 6.05008 second user time and 13.213 second system time

The end

Launcher Data 

Begin job on node114 at 2012-05-29 19:29:32
IDJOB=3710933
IDBENCH=24987
IDSOLVER=2289
FILE ID=node114/3710933-1338312572
RUNJOBID= node114-1338310769-5508
PBS_JOBID= 14632114
Free space on /tmp= 70988 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_024_area_delay.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710933-1338312572/watcher-3710933-1338312572 -o /tmp/evaluation-result-3710933-1338312572/solver-3710933-1338312572 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710933-1338312572.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 58f3055ef9bb388e237f57f2627386e0
RANDOM SEED=2096491460

node114.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5451.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.242
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29055220 kB
Buffers:          865824 kB
Cached:          1885060 kB
SwapCached:         2300 kB
Active:          1554544 kB
Inactive:        1326808 kB
Active(anon):     116560 kB
Inactive(anon):     8436 kB
Active(file):    1437984 kB
Inactive(file):  1318372 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67103576 kB
Dirty:              3152 kB
Writeback:             0 kB
AnonPages:        127524 kB
Mapped:            19840 kB
Shmem:               104 kB
Slab:             801536 kB
SReclaimable:     245572 kB
SUnreclaim:       555964 kB
KernelStack:        1600 kB
PageTables:         4196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     696944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     96256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70988 MiB
End job on node114 at 2012-05-29 19:59:30