Trace number 3710186

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)58785 1800.54 1794.55

General information on the benchmark

Namenormalized-PB07/OPT-BIGINT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
MD5SUM3bc65171ee2bdd2ee7a63cc75f29f375
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark47342
Best CPU time to get the best result obtained on this benchmark86.2429
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1152
Total number of constraints1774
Number of constraints which are clauses1774
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 constraint39
Number of terms in the objective function 661
Biggest coefficient in the objective function 2133
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1049330
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2133
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1049330
Number of bits of the biggest sum of numbers21
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.11	c configuring ORDERS
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=true
0.10/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3710186-1338164087.opb
0.10/0.12	c reading problem ... 
0.26/0.25	c ... done. Wall clock time 0.129s.
0.26/0.25	c declared #vars     1152
0.26/0.25	c #constraints  1774
0.26/0.25	c constraints type 
0.26/0.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 506
0.26/0.25	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
0.26/0.25	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1263
0.26/0.25	c 1774 constraints processed.
0.26/0.26	c SATISFIABLE
0.26/0.26	c OPTIMIZING...
0.26/0.26	c Got one! Elapsed wall clock time (in seconds):0.146
0.26/0.26	o 62168
0.26/0.28	c Got one! Elapsed wall clock time (in seconds):0.162
0.26/0.28	o 62023
0.26/0.29	c Got one! Elapsed wall clock time (in seconds):0.175
0.26/0.29	o 58785
1.42/0.85	c cleaning 2498 clauses out of 5002 with flag 5000/5002
1.89/1.23	c cleaning 4248 clauses out of 8506 with flag 11002/11004
2.29/1.67	c cleaning 5623 clauses out of 11256 with flag 18000/18002
2.81/2.16	c cleaning 6816 clauses out of 13633 with flag 26000/26002
3.44/2.75	c cleaning 7903 clauses out of 15819 with flag 35002/35004
4.15/3.41	c cleaning 8953 clauses out of 17915 with flag 45001/45003
4.85/4.15	c cleaning 9976 clauses out of 19961 with flag 56000/56002
5.55/4.89	c cleaning 10988 clauses out of 21985 with flag 68000/68002
6.45/5.72	c cleaning 11993 clauses out of 23997 with flag 81000/81002
7.26/6.60	c cleaning 12994 clauses out of 26004 with flag 95000/95002
8.26/7.57	c cleaning 13999 clauses out of 28011 with flag 110001/110003
9.28/8.59	c cleaning 15001 clauses out of 30014 with flag 126003/126005
10.48/9.71	c cleaning 15998 clauses out of 32010 with flag 143000/143002
11.59/10.87	c cleaning 17001 clauses out of 34013 with flag 161001/161003
12.90/12.12	c cleaning 18000 clauses out of 36011 with flag 180000/180002
14.19/13.49	c cleaning 18998 clauses out of 38011 with flag 200000/200002
15.70/14.92	c cleaning 20000 clauses out of 40014 with flag 221001/221003
17.21/16.44	c cleaning 20983 clauses out of 42013 with flag 243000/243002
18.91/18.18	c cleaning 22012 clauses out of 44032 with flag 266002/266004
20.54/19.78	c cleaning 23003 clauses out of 46020 with flag 290002/290004
22.23/21.46	c cleaning 24000 clauses out of 48015 with flag 315000/315002
24.15/23.31	c cleaning 24991 clauses out of 50015 with flag 341000/341002
26.08/25.26	c cleaning 26002 clauses out of 52024 with flag 368000/368002
28.50/27.60	c cleaning 27007 clauses out of 54023 with flag 396001/396003
30.41/29.60	c cleaning 28000 clauses out of 56016 with flag 425001/425003
32.61/31.80	c cleaning 28998 clauses out of 58016 with flag 455001/455003
34.86/33.91	c cleaning 29998 clauses out of 60017 with flag 486000/486002
37.29/36.32	c cleaning 30999 clauses out of 62020 with flag 518001/518003
39.59/38.67	c cleaning 31996 clauses out of 64020 with flag 551000/551002
42.20/41.26	c cleaning 33005 clauses out of 66025 with flag 585001/585003
44.61/43.64	c cleaning 33996 clauses out of 68019 with flag 620000/620002
47.12/46.17	c cleaning 35001 clauses out of 70023 with flag 656000/656002
49.84/48.82	c cleaning 36000 clauses out of 72023 with flag 693001/693003
52.66/51.62	c cleaning 37006 clauses out of 74022 with flag 731000/731002
55.88/54.89	c cleaning 38000 clauses out of 76016 with flag 770000/770002
58.90/57.84	c cleaning 38996 clauses out of 78017 with flag 810001/810003
62.12/61.03	c cleaning 40002 clauses out of 80020 with flag 851000/851002
65.34/64.20	c cleaning 40998 clauses out of 82018 with flag 893000/893002
68.26/67.12	c cleaning 42004 clauses out of 84020 with flag 936000/936002
71.76/70.61	c cleaning 43004 clauses out of 86017 with flag 980001/980003
75.07/73.92	c cleaning 43996 clauses out of 88012 with flag 1025000/1025002
78.90/77.79	c cleaning 44996 clauses out of 90016 with flag 1071000/1071002
82.54/81.34	c cleaning 46006 clauses out of 92020 with flag 1118000/1118002
86.34/85.12	c cleaning 46997 clauses out of 94014 with flag 1166000/1166002
90.17/88.93	c cleaning 48003 clauses out of 96017 with flag 1215000/1215002
94.68/93.48	c cleaning 48999 clauses out of 98015 with flag 1265001/1265003
99.59/98.33	c cleaning 50000 clauses out of 100015 with flag 1316000/1316002
103.54/102.28	c cleaning 51001 clauses out of 102015 with flag 1368000/1368002
107.55/106.27	c cleaning 51998 clauses out of 104014 with flag 1421000/1421002
111.68/110.38	c cleaning 52997 clauses out of 106016 with flag 1475000/1475002
116.18/114.85	c cleaning 54003 clauses out of 108021 with flag 1530002/1530004
121.02/119.66	c cleaning 54993 clauses out of 110017 with flag 1586001/1586003
125.64/124.28	c cleaning 55991 clauses out of 112023 with flag 1643000/1643002
131.06/129.65	c cleaning 57005 clauses out of 114032 with flag 1701000/1701002
136.50/135.00	c cleaning 58003 clauses out of 116027 with flag 1760000/1760002
141.42/139.99	c cleaning 58998 clauses out of 118024 with flag 1820000/1820002
147.25/145.77	c cleaning 60004 clauses out of 120026 with flag 1881000/1881002
153.06/151.57	c cleaning 60999 clauses out of 122022 with flag 1943000/1943002
158.80/157.24	c cleaning 62006 clauses out of 124024 with flag 2006001/2006003
163.85/162.25	c cleaning 62993 clauses out of 126017 with flag 2070000/2070002
168.96/167.33	c cleaning 64004 clauses out of 128024 with flag 2135000/2135002
175.20/173.52	c cleaning 65000 clauses out of 130021 with flag 2201001/2201003
181.53/179.82	c cleaning 66001 clauses out of 132020 with flag 2268000/2268002
187.26/185.57	c cleaning 67002 clauses out of 134020 with flag 2336001/2336003
194.06/192.32	c cleaning 68000 clauses out of 136019 with flag 2405002/2405004
199.88/198.12	c cleaning 68991 clauses out of 138017 with flag 2475000/2475002
206.39/204.69	c cleaning 69993 clauses out of 140026 with flag 2546000/2546002
213.10/211.37	c cleaning 70986 clauses out of 142033 with flag 2618000/2618002
219.22/217.41	c cleaning 72014 clauses out of 144047 with flag 2691000/2691002
226.55/224.75	c cleaning 72994 clauses out of 146033 with flag 2765000/2765002
234.47/232.66	c cleaning 74009 clauses out of 148039 with flag 2840000/2840002
241.98/240.14	c cleaning 75004 clauses out of 150031 with flag 2916001/2916003
249.70/247.83	c cleaning 76010 clauses out of 152026 with flag 2993000/2993002
255.83/253.98	c cleaning 76985 clauses out of 154016 with flag 3071000/3071002
262.25/260.35	c cleaning 78006 clauses out of 156031 with flag 3150000/3150002
268.57/266.62	c cleaning 79000 clauses out of 158025 with flag 3230000/3230002
275.40/273.47	c cleaning 80004 clauses out of 160026 with flag 3311001/3311003
283.91/281.97	c cleaning 80990 clauses out of 162021 with flag 3393000/3393002
291.06/289.00	c cleaning 82004 clauses out of 164032 with flag 3476001/3476003
299.10/297.02	c cleaning 83005 clauses out of 166030 with flag 3560003/3560005
307.33/305.24	c cleaning 83996 clauses out of 168023 with flag 3645001/3645003
315.34/313.20	c cleaning 84998 clauses out of 170027 with flag 3731001/3731003
323.76/321.63	c cleaning 86005 clauses out of 172030 with flag 3818002/3818004
332.67/330.52	c cleaning 86987 clauses out of 174024 with flag 3906001/3906003
340.60/338.45	c cleaning 88014 clauses out of 176036 with flag 3995000/3995002
348.53/346.39	c cleaning 89002 clauses out of 178023 with flag 4085001/4085003
358.06/355.86	c cleaning 89995 clauses out of 180020 with flag 4176000/4176002
368.70/366.44	c cleaning 90996 clauses out of 182025 with flag 4268000/4268002
380.46/378.12	c cleaning 92007 clauses out of 184029 with flag 4361000/4361002
391.79/389.42	c cleaning 93003 clauses out of 186023 with flag 4455001/4455003
400.02/397.65	c cleaning 94001 clauses out of 188019 with flag 4550000/4550002
407.93/405.50	c cleaning 94993 clauses out of 190018 with flag 4646000/4646002
416.55/414.17	c cleaning 96002 clauses out of 192025 with flag 4743000/4743002
425.68/423.28	c cleaning 96995 clauses out of 194023 with flag 4841000/4841002
434.30/431.90	c cleaning 98007 clauses out of 196028 with flag 4940000/4940002
445.31/442.84	c cleaning 99001 clauses out of 198021 with flag 5040000/5040002
457.37/454.84	c cleaning 99997 clauses out of 200021 with flag 5141001/5141003
466.60/464.07	c cleaning 101007 clauses out of 202024 with flag 5243001/5243003
477.33/474.79	c cleaning 101991 clauses out of 204016 with flag 5346000/5346002
488.17/485.50	c cleaning 103000 clauses out of 206025 with flag 5450000/5450002
497.58/494.91	c cleaning 104002 clauses out of 208025 with flag 5555000/5555002
509.78/507.17	c cleaning 104993 clauses out of 210023 with flag 5661000/5661002
522.40/519.78	c cleaning 106008 clauses out of 212030 with flag 5768000/5768002
537.13/534.40	c cleaning 106997 clauses out of 214022 with flag 5876000/5876002
550.58/547.86	c cleaning 108003 clauses out of 216025 with flag 5985000/5985002
561.20/558.44	c cleaning 108999 clauses out of 218023 with flag 6095001/6095003
572.13/569.30	c cleaning 109996 clauses out of 220023 with flag 6206000/6206002
583.95/581.15	c cleaning 110998 clauses out of 222027 with flag 6318000/6318002
595.91/593.06	c cleaning 112006 clauses out of 224031 with flag 6431002/6431004
608.41/605.51	c cleaning 113008 clauses out of 226026 with flag 6545003/6545005
620.53/617.69	c cleaning 113993 clauses out of 228015 with flag 6660000/6660002
630.87/627.95	c cleaning 115004 clauses out of 230023 with flag 6776001/6776003
640.80/637.82	c cleaning 115988 clauses out of 232018 with flag 6893000/6893002
651.03/648.02	c cleaning 117006 clauses out of 234030 with flag 7011000/7011002
662.97/659.99	c cleaning 118004 clauses out of 236025 with flag 7130001/7130003
673.18/670.11	c cleaning 118999 clauses out of 238020 with flag 7250000/7250002
686.51/683.48	c cleaning 119996 clauses out of 240021 with flag 7371000/7371002
698.36/695.27	c cleaning 121004 clauses out of 242025 with flag 7493000/7493002
711.98/708.83	c cleaning 121995 clauses out of 244021 with flag 7616000/7616002
723.81/720.68	c cleaning 123005 clauses out of 246026 with flag 7740000/7740002
737.53/734.33	c cleaning 124001 clauses out of 248021 with flag 7865000/7865002
752.41/749.17	c cleaning 124995 clauses out of 250022 with flag 7991002/7991004
767.45/764.16	c cleaning 126003 clauses out of 252026 with flag 8118001/8118003
781.10/777.72	c cleaning 127002 clauses out of 254022 with flag 8246000/8246002
796.35/793.00	c cleaning 128002 clauses out of 256021 with flag 8375001/8375003
812.18/808.72	c cleaning 128998 clauses out of 258019 with flag 8505001/8505003
828.09/824.61	c cleaning 129997 clauses out of 260020 with flag 8636000/8636002
843.21/839.79	c cleaning 130989 clauses out of 262023 with flag 8768000/8768002
859.76/856.24	c cleaning 132005 clauses out of 264034 with flag 8901000/8901002
871.50/867.93	c cleaning 133001 clauses out of 266029 with flag 9035000/9035002
887.23/883.61	c cleaning 134007 clauses out of 268029 with flag 9170001/9170003
903.48/899.82	c cleaning 134996 clauses out of 270021 with flag 9306000/9306002
920.21/916.57	c cleaning 135999 clauses out of 272026 with flag 9443001/9443003
937.54/933.81	c cleaning 137001 clauses out of 274027 with flag 9581001/9581003
953.96/950.26	c cleaning 137995 clauses out of 276026 with flag 9720001/9720003
971.13/967.30	c cleaning 139003 clauses out of 278031 with flag 9860001/9860003
989.04/985.21	c cleaning 139996 clauses out of 280028 with flag 10001001/10001003
1003.60/999.79	c cleaning 141005 clauses out of 282031 with flag 10143000/10143002
1015.52/1011.65	c cleaning 142001 clauses out of 284026 with flag 10286000/10286002
1028.65/1024.74	c cleaning 142997 clauses out of 286025 with flag 10430000/10430002
1041.98/1038.09	c cleaning 144000 clauses out of 288028 with flag 10575000/10575002
1060.31/1056.37	c cleaning 145003 clauses out of 290028 with flag 10721000/10721002
1074.57/1070.50	c cleaning 146006 clauses out of 292026 with flag 10868001/10868003
1095.11/1091.08	c cleaning 146999 clauses out of 294021 with flag 11016002/11016004
1108.47/1104.36	c cleaning 148003 clauses out of 296020 with flag 11165000/11165002
1129.88/1125.74	c cleaning 148981 clauses out of 298017 with flag 11315000/11315002
1149.74/1145.54	c cleaning 149996 clauses out of 300036 with flag 11466000/11466002
1166.76/1162.57	c cleaning 151012 clauses out of 302041 with flag 11618001/11618003
1184.00/1179.78	c cleaning 151991 clauses out of 304028 with flag 11771000/11771002
1201.15/1196.84	c cleaning 152987 clauses out of 306037 with flag 11925000/11925002
1219.29/1214.91	c cleaning 154010 clauses out of 308051 with flag 12080001/12080003
1237.02/1232.64	c cleaning 155011 clauses out of 310041 with flag 12236001/12236003
1251.26/1246.83	c cleaning 156011 clauses out of 312030 with flag 12393001/12393003
1270.81/1266.31	c cleaning 156999 clauses out of 314018 with flag 12551000/12551002
1292.29/1287.74	c cleaning 157998 clauses out of 316019 with flag 12710000/12710002
1312.54/1307.91	c cleaning 159000 clauses out of 318023 with flag 12870002/12870004
1334.90/1330.28	c cleaning 160004 clauses out of 320021 with flag 13031000/13031002
1356.85/1352.14	c cleaning 160997 clauses out of 322017 with flag 13193000/13193002
1378.98/1374.29	c cleaning 162002 clauses out of 324021 with flag 13356001/13356003
1395.21/1390.48	c cleaning 162998 clauses out of 326020 with flag 13520002/13520004
1419.63/1414.89	c cleaning 164000 clauses out of 328023 with flag 13685003/13685005
1445.34/1440.50	c cleaning 164999 clauses out of 330020 with flag 13851000/13851002
1469.48/1464.61	c cleaning 165989 clauses out of 332021 with flag 14018000/14018002
1493.93/1489.06	c cleaning 166996 clauses out of 334032 with flag 14186000/14186002
1517.08/1512.14	c cleaning 168000 clauses out of 336036 with flag 14355000/14355002
1540.83/1535.87	c cleaning 169000 clauses out of 338037 with flag 14525001/14525003
1564.89/1559.82	c cleaning 169991 clauses out of 340036 with flag 14696000/14696002
1589.93/1584.85	c cleaning 171002 clauses out of 342046 with flag 14868001/14868003
1614.63/1609.59	c cleaning 172007 clauses out of 344045 with flag 15041002/15041004
1632.44/1627.37	c cleaning 173014 clauses out of 346039 with flag 15215003/15215005
1648.88/1643.78	c cleaning 173997 clauses out of 348022 with flag 15390000/15390002
1668.21/1663.05	c cleaning 175001 clauses out of 350025 with flag 15566000/15566002
1686.62/1681.41	c cleaning 176003 clauses out of 352025 with flag 15743001/15743003
1705.17/1699.93	c cleaning 176987 clauses out of 354021 with flag 15921000/15921002
1729.60/1724.39	c cleaning 178008 clauses out of 356034 with flag 16100000/16100002
1747.56/1742.29	c cleaning 179005 clauses out of 358026 with flag 16280000/16280002
1769.92/1764.50	c cleaning 179997 clauses out of 360023 with flag 16461002/16461004
1796.57/1791.15	c cleaning 181008 clauses out of 362025 with flag 16643001/16643003
1800.02/1794.51	c starts		: 351
1800.02/1794.51	c conflicts		: 16686412
1800.02/1794.51	c decisions		: 38349363
1800.02/1794.51	c propagations		: 5510195816
1800.02/1794.51	c inspects		: 12587302965
1800.02/1794.51	c shortcuts		: 0
1800.02/1794.51	c learnt literals	: 0
1800.02/1794.51	c learnt binary clauses	: 0
1800.02/1794.51	c learnt ternary clauses	: 0
1800.02/1794.51	c learnt constraints	: 16686414
1800.02/1794.51	c ignored constraints	: 0
1800.02/1794.51	c root simplifications	: 351
1800.02/1794.51	c removed literals (reason simplification)	: 4228316
1800.02/1794.51	c reason swapping (by a shorter reason)	: 0
1800.02/1794.51	c Calls to reduceDB	: 178
1800.02/1794.51	c number of reductions to clauses (during analyze)	: 0
1800.02/1794.51	c number of learned constraints concerned by reduction	: 0
1800.02/1794.51	c number of learning phase by resolution	: 0
1800.02/1794.51	c number of learning phase by cutting planes	: 0
1800.02/1794.51	c speed (assignments/second)	: 3071016.969688863
1800.02/1794.51	c non guided choices	2797
1800.02/1794.54	c learnt constraints type 
1800.02/1794.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 224758
1800.02/1794.54	c constraints type 
1800.02/1794.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 506
1800.02/1794.54	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
1800.02/1794.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1263
1800.02/1794.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.02/1794.54	c 1775 constraints processed.
1800.02/1794.54	s SATISFIABLE
1800.02/1794.54	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 
1800.02/1794.54	c objective function=58785
1800.02/1794.54	c Total wall clock time (in seconds): 1794.424

Verifier Data

OK	58785

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-3710186-1338164087/watcher-3710186-1338164087 -o /tmp/evaluation-result-3710186-1338164087/solver-3710186-1338164087 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710186-1338164087.opb 

running on 4 cores: 1,3,5,7

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.92 1.98 1.99 3/194 23573
/proc/meminfo: memFree=30966076/32873648 swapFree=7112/7112
[pid=23573] ppid=23571 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23573/stat : 23573 (java) D 23571 23573 21838 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 282534592 9515008 183 33554432000 1073741824 1073778376 140737262663008 140737262654040 242167398069 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/23573/statm: 2323 183 140 9 0 71 0

[startup+0.0970721 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 23573
/proc/meminfo: memFree=30966076/32873648 swapFree=7112/7112
[pid=23573] ppid=23571 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/23573/stat : 23573 (java) S 23571 23573 21838 0 -1 4202496 4274 0 1 0 8 1 0 0 20 0 18 0 282534592 9787842560 5479 33554432000 1073741824 1073778376 140735034870608 140735034861744 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23573/statm: 2389610 5479 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.100197 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 23573
/proc/meminfo: memFree=30966076/32873648 swapFree=7112/7112
[pid=23573] ppid=23571 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/23573/stat : 23573 (java) S 23571 23573 21838 0 -1 4202496 4289 0 1 0 9 1 0 0 20 0 18 0 282534592 9787842560 6005 33554432000 1073741824 1073778376 140735034870608 140735034861744 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23573/statm: 2389610 6005 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300157 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 23573
/proc/meminfo: memFree=30966076/32873648 swapFree=7112/7112
[pid=23573] ppid=23571 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/23573/stat : 23573 (java) S 23571 23573 21838 0 -1 4202496 6093 0 1 0 44 1 0 0 20 0 19 0 282534592 9856004096 8700 33554432000 1073741824 1073778376 140735034870608 140735034861744 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23573/statm: 2406251 8700 2233 9 0 2396937 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9625004

[startup+0.700126 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 23573
/proc/meminfo: memFree=30966076/32873648 swapFree=7112/7112
[pid=23573] ppid=23571 vsize=9625004 CPUtime=1.32 cores=1,3,5,7
/proc/23573/stat : 23573 (java) S 23571 23573 21838 0 -1 4202496 11080 0 1 0 130 2 0 0 20 0 19 0 282534592 9856004096 12120 33554432000 1073741824 1073778376 140735034870608 140735034861744 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23573/statm: 2406251 12120 2251 9 0 2396937 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 9625004

[startup+1.50053 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 23592
/proc/meminfo: memFree=30920044/32873648 swapFree=7112/7112
[pid=23573] ppid=23571 vsize=9625004 CPUtime=2.19 cores=1,3,5,7
/proc/23573/stat : 23573 (java) S 23571 23573 21838 0 -1 4202496 11147 0 1 0 217 2 0 0 20 0 19 0 282534592 9856004096 14220 33554432000 1073741824 1073778376 140735034870608 140735034861744 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23573/statm: 2406251 14220 2279 9 0 2396937 0
[pid=23573/tid=23575] ppid=23571 vsize=9625004 CPUtime=1.44 cores=1,3,5,7
/proc/23573/task/23575/stat : 23575 (java) R 23571 23573 21838 0 -1 4202560 2540 0 1 0 144 0 0 0 20 0 19 0 282534593 9856004096 14220 33554432000 1073741824 1073778376 140735034870608 139896251392520 139896094741824 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23576] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23576/stat : 23576 (java) S 23571 23573 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14220 33554432000 1073741824 1073778376 140735034870608 139896212883880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23577] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23577/stat : 23577 (java) S 23571 23573 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14220 33554432000 1073741824 1073778376 140735034870608 139896094190120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23578] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23578/stat : 23578 (java) S 23571 23573 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14220 33554432000 1073741824 1073778376 140735034870608 139896093137064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23573/tid=23579] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23579/stat : 23579 (java) S 23571 23573 21838 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14220 33554432000 1073741824 1073778376 140735034870608 139896092084520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23580] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23580/stat : 23580 (java) S 23571 23573 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14220 33554432000 1073741824 1073778376 140735034870608 139896091032488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23573/tid=23581] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23581/stat : 23581 (java) S 23571 23573 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14220 33554432000 1073741824 1073778376 140735034870608 139896089979944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23582] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23582/stat : 23582 (java) S 23571 23573 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14220 33554432000 1073741824 1073778376 140735034870608 139896088926888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23573/tid=23583] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23583/stat : 23583 (java) S 23571 23573 21838 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14220 33554432000 1073741824 1073778376 140735034870608 139896087874344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23584] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23584/stat : 23584 (java) S 23571 23573 21838 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 282534596 9856004096 14220 33554432000 1073741824 1073778376 140735034870608 139895605545320 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23585] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23585/stat : 23585 (java) S 23571 23573 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282534596 9856004096 14220 33554432000 1073741824 1073778376 140735034870608 139895604491640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23586] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23586/stat : 23586 (java) S 23571 23573 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282534596 9856004096 14220 33554432000 1073741824 1073778376 140735034870608 139895603438472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23587] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23587/stat : 23587 (java) S 23571 23573 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282534598 9856004096 14220 33554432000 1073741824 1073778376 140735034870608 139895602387216 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23588] ppid=23571 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/23573/task/23588/stat : 23588 (java) S 23571 23573 21838 0 -1 4202560 4762 0 0 0 33 0 0 0 20 0 19 0 282534598 9856004096 14220 33554432000 1073741824 1073778376 140735034870608 139895601335096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23589] ppid=23571 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/23573/task/23589/stat : 23589 (java) S 23571 23573 21838 0 -1 4202560 2590 0 0 0 34 0 0 0 20 0 19 0 282534598 9856004096 14220 33554432000 1073741824 1073778376 140735034870608 139895600282552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23590] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23590/stat : 23590 (java) S 23571 23573 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282534598 9856004096 14220 33554432000 1073741824 1073778376 140735034870608 139895599229688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23591] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23591/stat : 23591 (java) S 23571 23573 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282534598 9856004096 14220 33554432000 1073741824 1073778376 140735034870608 139895598177352 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23592] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23592/stat : 23592 (java) S 23571 23573 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282534618 9856004096 14220 33554432000 1073741824 1073778376 140735034870608 139895597122600 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9625004

[startup+3.10055 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 23592
/proc/meminfo: memFree=30915204/32873648 swapFree=7112/7112
[pid=23573] ppid=23571 vsize=9625004 CPUtime=3.85 cores=1,3,5,7
/proc/23573/stat : 23573 (java) S 23571 23573 21838 0 -1 4202496 11160 0 1 0 382 3 0 0 20 0 19 0 282534592 9856004096 14741 33554432000 1073741824 1073778376 140735034870608 140735034861744 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23573/statm: 2406251 14741 2279 9 0 2396937 0
[pid=23573/tid=23575] ppid=23571 vsize=9625004 CPUtime=3 cores=1,3,5,7
/proc/23573/task/23575/stat : 23575 (java) R 23571 23573 21838 0 -1 4202560 2541 0 1 0 300 0 0 0 20 0 19 0 282534593 9856004096 14741 33554432000 1073741824 1073778376 140735034870608 139896251392304 139896094741864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23576] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23576/stat : 23576 (java) S 23571 23573 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14741 33554432000 1073741824 1073778376 140735034870608 139896212883880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23577] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23577/stat : 23577 (java) S 23571 23573 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14741 33554432000 1073741824 1073778376 140735034870608 139896094190120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23578] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23578/stat : 23578 (java) S 23571 23573 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14741 33554432000 1073741824 1073778376 140735034870608 139896093137064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23579] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23579/stat : 23579 (java) S 23571 23573 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14741 33554432000 1073741824 1073778376 140735034870608 139896092084520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23580] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23580/stat : 23580 (java) S 23571 23573 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14741 33554432000 1073741824 1073778376 140735034870608 139896091032488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23573/tid=23581] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23581/stat : 23581 (java) S 23571 23573 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14741 33554432000 1073741824 1073778376 140735034870608 139896089979944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23582] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23582/stat : 23582 (java) S 23571 23573 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14741 33554432000 1073741824 1073778376 140735034870608 139896088926888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23573/tid=23583] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23583/stat : 23583 (java) S 23571 23573 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14741 33554432000 1073741824 1073778376 140735034870608 139896087874344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23584] ppid=23571 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/23573/task/23584/stat : 23584 (java) S 23571 23573 21838 0 -1 4202560 32 0 0 0 4 0 0 0 20 0 19 0 282534596 9856004096 14741 33554432000 1073741824 1073778376 140735034870608 139895605545320 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23585] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23585/stat : 23585 (java) S 23571 23573 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282534596 9856004096 14741 33554432000 1073741824 1073778376 140735034870608 139895604491640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23586] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23586/stat : 23586 (java) S 23571 23573 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282534596 9856004096 14741 33554432000 1073741824 1073778376 140735034870608 139895603438472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23587] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23587/stat : 23587 (java) S 23571 23573 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282534598 9856004096 14741 33554432000 1073741824 1073778376 140735034870608 139895602387216 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23588] ppid=23571 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/23573/task/23588/stat : 23588 (java) S 23571 23573 21838 0 -1 4202560 4765 0 0 0 38 0 0 0 20 0 19 0 282534598 9856004096 14741 33554432000 1073741824 1073778376 140735034870608 139895601335096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23589] ppid=23571 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/23573/task/23589/stat : 23589 (java) S 23571 23573 21838 0 -1 4202560 2590 0 0 0 34 0 0 0 20 0 19 0 282534598 9856004096 14741 33554432000 1073741824 1073778376 140735034870608 139895600282552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23590] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23590/stat : 23590 (java) S 23571 23573 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282534598 9856004096 14741 33554432000 1073741824 1073778376 140735034870608 139895599229688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23591] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23591/stat : 23591 (java) S 23571 23573 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282534598 9856004096 14741 33554432000 1073741824 1073778376 140735034870608 139895598177352 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23592] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23592/stat : 23592 (java) S 23571 23573 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282534618 9856004096 14741 33554432000 1073741824 1073778376 140735034870608 139895597122600 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 9625004

[startup+6.30066 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 23592
/proc/meminfo: memFree=30916516/32873648 swapFree=7112/7112
[pid=23573] ppid=23571 vsize=9625004 CPUtime=7.06 cores=1,3,5,7
/proc/23573/stat : 23573 (java) S 23571 23573 21838 0 -1 4202496 11170 0 1 0 703 3 0 0 20 0 19 0 282534592 9856004096 14127 33554432000 1073741824 1073778376 140735034870608 140735034861744 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23573/statm: 2406251 14127 2279 9 0 2396937 0
[pid=23573/tid=23575] ppid=23571 vsize=9625004 CPUtime=6.14 cores=1,3,5,7
/proc/23573/task/23575/stat : 23575 (java) R 23571 23573 21838 0 -1 4202560 2546 0 1 0 614 0 0 0 20 0 19 0 282534593 9856004096 14127 33554432000 1073741824 1073778376 140735034870608 139896251392304 139896094875030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23576] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23576/stat : 23576 (java) S 23571 23573 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14127 33554432000 1073741824 1073778376 140735034870608 139896212883880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23577] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23577/stat : 23577 (java) S 23571 23573 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14127 33554432000 1073741824 1073778376 140735034870608 139896094190120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23578] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23578/stat : 23578 (java) S 23571 23573 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14127 33554432000 1073741824 1073778376 140735034870608 139896093137064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23579] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23579/stat : 23579 (java) S 23571 23573 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14127 33554432000 1073741824 1073778376 140735034870608 139896092084520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23580] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23580/stat : 23580 (java) S 23571 23573 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14127 33554432000 1073741824 1073778376 140735034870608 139896091032488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23573/tid=23581] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23581/stat : 23581 (java) S 23571 23573 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14127 33554432000 1073741824 1073778376 140735034870608 139896089979944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23582] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23582/stat : 23582 (java) S 23571 23573 21838 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14127 33554432000 1073741824 1073778376 140735034870608 139896088926888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23573/tid=23583] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23583/stat : 23583 (java) S 23571 23573 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282534595 9856004096 14127 33554432000 1073741824 1073778376 140735034870608 139896087874344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23573/tid=23584] ppid=23571 vsize=9625004 CPUtime=0.09 cores=1,3,5,7
/proc/23573/task/23584/stat : 23584 (java) S 23571 23573 21838 0 -1 4202560 33 0 0 0 9 0 0 0 20 0 19 0 282534596 9856004096 14127 33554432000 1073741824 1073778376 140735034870608 139895605545320 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23585] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23585/stat : 23585 (java) S 23571 23573 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282534596 9856004096 14127 33554432000 1073741824 1073778376 140735034870608 139895604491640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23586] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23586/stat : 23586 (java) S 23571 23573 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282534596 9856004096 14127 33554432000 1073741824 1073778376 140735034870608 139895603438472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23587] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23587/stat : 23587 (java) S 23571 23573 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282534598 9856004096 14127 33554432000 1073741824 1073778376 140735034870608 139895602387216 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23588] ppid=23571 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/23573/task/23588/stat : 23588 (java) S 23571 23573 21838 0 -1 4202560 4765 0 0 0 38 0 0 0 20 0 19 0 282534598 9856004096 14127 33554432000 1073741824 1073778376 140735034870608 139895601335096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23589] ppid=23571 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/23573/task/23589/stat : 23589 (java) S 23571 23573 21838 0 -1 4202560 2590 0 0 0 34 0 0 0 20 0 19 0 282534598 9856004096 14127 33554432000 1073741824 1073778376 140735034870608 139895600282552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23590] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23590/stat : 23590 (java) S 23571 23573 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282534598 9856004096 14127 33554432000 1073741824 1073778376 140735034870608 139895599229688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23591] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23591/stat : 23591 (java) S 23571 23573 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282534598 9856004096 14127 33554432000 1073741824 1073778376 140735034870608 139895598177352 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23592] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23592/stat : 23592 (java) S 23571 23573 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282534618 9856004096 14127 33554432000 1073741824 1073778376 140735034870608 139895597122600 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=23573/tid=23581] ppid=23571 vsize=9625004 CPUtime=0.84 cores=1,3,5,7
/proc/23573/task/23581/stat : 23581 (java) S 23571 23573 21838 0 -1 4202560 269 0 0 0 82 2 0 0 20 0 19 0 282534595 9856004096 52828 33554432000 1073741824 1073778376 140735034870608 139896089979944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23582] ppid=23571 vsize=9625004 CPUtime=0.78 cores=1,3,5,7
/proc/23573/task/23582/stat : 23582 (java) S 23571 23573 21838 0 -1 4202560 266 0 0 0 78 0 0 0 20 0 19 0 282534595 9856004096 52828 33554432000 1073741824 1073778376 140735034870608 139896088926888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23573/tid=23583] ppid=23571 vsize=9625004 CPUtime=0.9 cores=1,3,5,7
/proc/23573/task/23583/stat : 23583 (java) S 23571 23573 21838 0 -1 4202560 343 0 0 0 88 2 0 0 20 0 19 0 282534595 9856004096 52828 33554432000 1073741824 1073778376 140735034870608 139896087874344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23584] ppid=23571 vsize=9625004 CPUtime=7.34 cores=1,3,5,7
/proc/23573/task/23584/stat : 23584 (java) S 23571 23573 21838 0 -1 4202560 181 0 0 0 731 3 0 0 20 0 19 0 282534596 9856004096 52828 33554432000 1073741824 1073778376 140735034870608 139895605545320 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23585] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23585/stat : 23585 (java) S 23571 23573 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282534596 9856004096 52828 33554432000 1073741824 1073778376 140735034870608 139895604491640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23586] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23586/stat : 23586 (java) S 23571 23573 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282534596 9856004096 52828 33554432000 1073741824 1073778376 140735034870608 139895603438472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23587] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23587/stat : 23587 (java) S 23571 23573 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282534598 9856004096 52828 33554432000 1073741824 1073778376 140735034870608 139895602387216 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23588] ppid=23571 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/23573/task/23588/stat : 23588 (java) S 23571 23573 21838 0 -1 4202560 4770 0 0 0 40 0 0 0 20 0 19 0 282534598 9856004096 52828 33554432000 1073741824 1073778376 140735034870608 139895601335096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23589] ppid=23571 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/23573/task/23589/stat : 23589 (java) S 23571 23573 21838 0 -1 4202560 2590 0 0 0 34 0 0 0 20 0 19 0 282534598 9856004096 52828 33554432000 1073741824 1073778376 140735034870608 139895600282552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23590] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23590/stat : 23590 (java) S 23571 23573 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282534598 9856004096 52828 33554432000 1073741824 1073778376 140735034870608 139895599229688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23591] ppid=23571 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/23573/task/23591/stat : 23591 (java) S 23571 23573 21838 0 -1 4202560 99 0 0 0 14 19 0 0 20 0 19 0 282534598 9856004096 52828 33554432000 1073741824 1073778376 140735034870608 139895598177352 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23592] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23592/stat : 23592 (java) S 23571 23573 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282534618 9856004096 52828 33554432000 1073741824 1073778376 140735034870608 139895597122600 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1727.6
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/213 23781
/proc/meminfo: memFree=30788088/32873648 swapFree=7112/7112
[pid=23573] ppid=23571 vsize=9625004 CPUtime=1787.77 cores=1,3,5,7
/proc/23573/stat : 23573 (java) S 23571 23573 21838 0 -1 4202496 14091 0 1 0 178742 35 0 0 20 0 19 0 282534592 9856004096 53852 33554432000 1073741824 1073778376 140735034870608 140735034861744 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23573/statm: 2406251 53852 2280 9 0 2396937 0
[pid=23573/tid=23575] ppid=23571 vsize=9625004 CPUtime=1772.48 cores=1,3,5,7
/proc/23573/task/23575/stat : 23575 (java) R 23571 23573 21838 0 -1 4202560 2734 0 1 0 177218 30 0 0 20 0 19 0 282534593 9856004096 53852 33554432000 1073741824 1073778376 140735034870608 139896251392304 139896094899120 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23576] ppid=23571 vsize=9625004 CPUtime=0.81 cores=1,3,5,7
/proc/23573/task/23576/stat : 23576 (java) S 23571 23573 21838 0 -1 4202560 345 0 0 0 81 0 0 0 20 0 19 0 282534595 9856004096 53852 33554432000 1073741824 1073778376 140735034870608 139896212883880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23577] ppid=23571 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/23573/task/23577/stat : 23577 (java) S 23571 23573 21838 0 -1 4202560 256 0 0 0 83 2 0 0 20 0 19 0 282534595 9856004096 53852 33554432000 1073741824 1073778376 140735034870608 139896094190120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23578] ppid=23571 vsize=9625004 CPUtime=0.82 cores=1,3,5,7
/proc/23573/task/23578/stat : 23578 (java) S 23571 23573 21838 0 -1 4202560 457 0 0 0 80 2 0 0 20 0 19 0 282534595 9856004096 53852 33554432000 1073741824 1073778376 140735034870608 139896093137064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23579] ppid=23571 vsize=9625004 CPUtime=0.9 cores=1,3,5,7
/proc/23573/task/23579/stat : 23579 (java) S 23571 23573 21838 0 -1 4202560 292 0 0 0 90 0 0 0 20 0 19 0 282534595 9856004096 53852 33554432000 1073741824 1073778376 140735034870608 139896092084520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23580] ppid=23571 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/23573/task/23580/stat : 23580 (java) S 23571 23573 21838 0 -1 4202560 292 0 0 0 80 0 0 0 20 0 19 0 282534595 9856004096 53852 33554432000 1073741824 1073778376 140735034870608 139896091032488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23581] ppid=23571 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/23573/task/23581/stat : 23581 (java) S 23571 23573 21838 0 -1 4202560 269 0 0 0 83 2 0 0 20 0 19 0 282534595 9856004096 53852 33554432000 1073741824 1073778376 140735034870608 139896089979944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23582] ppid=23571 vsize=9625004 CPUtime=0.81 cores=1,3,5,7
/proc/23573/task/23582/stat : 23582 (java) S 23571 23573 21838 0 -1 4202560 266 0 0 0 80 1 0 0 20 0 19 0 282534595 9856004096 53852 33554432000 1073741824 1073778376 140735034870608 139896088926888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23583] ppid=23571 vsize=9625004 CPUtime=0.95 cores=1,3,5,7
/proc/23573/task/23583/stat : 23583 (java) S 23571 23573 21838 0 -1 4202560 343 0 0 0 93 2 0 0 20 0 19 0 282534595 9856004096 53852 33554432000 1073741824 1073778376 140735034870608 139896087874344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23584] ppid=23571 vsize=9625004 CPUtime=7.58 cores=1,3,5,7
/proc/23573/task/23584/stat : 23584 (java) S 23571 23573 21838 0 -1 4202560 187 0 0 0 755 3 0 0 20 0 19 0 282534596 9856004096 53852 33554432000 1073741824 1073778376 140735034870608 139895605545320 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23585] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23585/stat : 23585 (java) S 23571 23573 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282534596 9856004096 53852 33554432000 1073741824 1073778376 140735034870608 139895604491640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23586] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23586/stat : 23586 (java) S 23571 23573 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282534596 9856004096 53852 33554432000 1073741824 1073778376 140735034870608 139895603438472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23587] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23587/stat : 23587 (java) S 23571 23573 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282534598 9856004096 53852 33554432000 1073741824 1073778376 140735034870608 139895602387216 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23588] ppid=23571 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/23573/task/23588/stat : 23588 (java) S 23571 23573 21838 0 -1 4202560 4770 0 0 0 40 0 0 0 20 0 19 0 282534598 9856004096 53852 33554432000 1073741824 1073778376 140735034870608 139895601335096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23589] ppid=23571 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/23573/task/23589/stat : 23589 (java) S 23571 23573 21838 0 -1 4202560 2590 0 0 0 34 0 0 0 20 0 19 0 282534598 9856004096 53852 33554432000 1073741824 1073778376 140735034870608 139895600282552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23590] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23590/stat : 23590 (java) S 23571 23573 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282534598 9856004096 53852 33554432000 1073741824 1073778376 140735034870608 139895599229688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23591] ppid=23571 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/23573/task/23591/stat : 23591 (java) S 23571 23573 21838 0 -1 4202560 103 0 0 0 14 21 0 0 20 0 19 0 282534598 9856004096 53852 33554432000 1073741824 1073778376 140735034870608 139895598177352 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23592] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23592/stat : 23592 (java) S 23571 23573 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282534618 9856004096 53852 33554432000 1073741824 1073778376 140735034870608 139895597122600 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1787.77
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.5 s]
/proc/loadavg: 2.00 1.99 1.99 3/213 23781
/proc/meminfo: memFree=30779516/32873648 swapFree=7112/7112
[pid=23573] ppid=23571 vsize=9625004 CPUtime=1800.02 cores=1,3,5,7
/proc/23573/stat : 23573 (java) S 23571 23573 21838 0 -1 4202496 14097 0 1 0 179967 35 0 0 20 0 19 0 282534592 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 140735034861744 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23573/statm: 2406251 55388 2280 9 0 2396937 0
[pid=23573/tid=23575] ppid=23571 vsize=9625004 CPUtime=1784.59 cores=1,3,5,7
/proc/23573/task/23575/stat : 23575 (java) R 23571 23573 21838 0 -1 4202560 2735 0 1 0 178428 31 0 0 20 0 19 0 282534593 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139896251392304 139896094787962 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23576] ppid=23571 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/23573/task/23576/stat : 23576 (java) S 23571 23573 21838 0 -1 4202560 345 0 0 0 83 0 0 0 20 0 19 0 282534595 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139896212883880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23577] ppid=23571 vsize=9625004 CPUtime=0.86 cores=1,3,5,7
/proc/23573/task/23577/stat : 23577 (java) S 23571 23573 21838 0 -1 4202560 256 0 0 0 84 2 0 0 20 0 19 0 282534595 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139896094190120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23573/tid=23578] ppid=23571 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/23573/task/23578/stat : 23578 (java) S 23571 23573 21838 0 -1 4202560 457 0 0 0 81 2 0 0 20 0 19 0 282534595 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139896093137064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23573/tid=23579] ppid=23571 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/23573/task/23579/stat : 23579 (java) S 23571 23573 21838 0 -1 4202560 292 0 0 0 91 0 0 0 20 0 19 0 282534595 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139896092084520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23580] ppid=23571 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/23573/task/23580/stat : 23580 (java) S 23571 23573 21838 0 -1 4202560 292 0 0 0 80 0 0 0 20 0 19 0 282534595 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139896091032488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23581] ppid=23571 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/23573/task/23581/stat : 23581 (java) S 23571 23573 21838 0 -1 4202560 269 0 0 0 83 2 0 0 20 0 19 0 282534595 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139896089979944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23582] ppid=23571 vsize=9625004 CPUtime=0.81 cores=1,3,5,7
/proc/23573/task/23582/stat : 23582 (java) S 23571 23573 21838 0 -1 4202560 266 0 0 0 80 1 0 0 20 0 19 0 282534595 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139896088926888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23573/tid=23583] ppid=23571 vsize=9625004 CPUtime=0.95 cores=1,3,5,7
/proc/23573/task/23583/stat : 23583 (java) S 23571 23573 21838 0 -1 4202560 343 0 0 0 93 2 0 0 20 0 19 0 282534595 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139896087874344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23584] ppid=23571 vsize=9625004 CPUtime=7.66 cores=1,3,5,7
/proc/23573/task/23584/stat : 23584 (java) S 23571 23573 21838 0 -1 4202560 192 0 0 0 763 3 0 0 20 0 19 0 282534596 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139895605545320 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23585] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23585/stat : 23585 (java) S 23571 23573 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282534596 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139895604491640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23586] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23586/stat : 23586 (java) S 23571 23573 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282534596 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139895603438472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23587] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23587/stat : 23587 (java) S 23571 23573 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282534598 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139895602387216 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23588] ppid=23571 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/23573/task/23588/stat : 23588 (java) S 23571 23573 21838 0 -1 4202560 4770 0 0 0 40 0 0 0 20 0 19 0 282534598 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139895601335096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23589] ppid=23571 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/23573/task/23589/stat : 23589 (java) S 23571 23573 21838 0 -1 4202560 2590 0 0 0 34 0 0 0 20 0 19 0 282534598 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139895600282552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23590] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23590/stat : 23590 (java) S 23571 23573 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282534598 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139895599229688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23591] ppid=23571 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/23573/task/23591/stat : 23591 (java) S 23571 23573 21838 0 -1 4202560 103 0 0 0 14 21 0 0 20 0 19 0 282534598 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139895598177352 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23592] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23592/stat : 23592 (java) S 23571 23573 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282534618 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139895597122600 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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+1794.5 s]
/proc/loadavg: 2.00 1.99 1.99 3/213 23781
/proc/meminfo: memFree=30779516/32873648 swapFree=7112/7112
[pid=23573] ppid=23571 vsize=9625004 CPUtime=1800.02 cores=1,3,5,7
/proc/23573/stat : 23573 (java) S 23571 23573 21838 0 -1 4202496 14097 0 1 0 179967 35 0 0 20 0 19 0 282534592 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 140735034861744 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23573/statm: 2406251 55388 2280 9 0 2396937 0
[pid=23573/tid=23575] ppid=23571 vsize=9625004 CPUtime=1784.59 cores=1,3,5,7
/proc/23573/task/23575/stat : 23575 (java) R 23571 23573 21838 0 -1 4202560 2735 0 1 0 178428 31 0 0 20 0 19 0 282534593 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139896251392304 139896094787962 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23576] ppid=23571 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/23573/task/23576/stat : 23576 (java) S 23571 23573 21838 0 -1 4202560 345 0 0 0 83 0 0 0 20 0 19 0 282534595 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139896212883880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23577] ppid=23571 vsize=9625004 CPUtime=0.86 cores=1,3,5,7
/proc/23573/task/23577/stat : 23577 (java) S 23571 23573 21838 0 -1 4202560 256 0 0 0 84 2 0 0 20 0 19 0 282534595 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139896094190120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23573/tid=23578] ppid=23571 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/23573/task/23578/stat : 23578 (java) S 23571 23573 21838 0 -1 4202560 457 0 0 0 81 2 0 0 20 0 19 0 282534595 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139896093137064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23573/tid=23579] ppid=23571 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/23573/task/23579/stat : 23579 (java) S 23571 23573 21838 0 -1 4202560 292 0 0 0 91 0 0 0 20 0 19 0 282534595 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139896092084520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23580] ppid=23571 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/23573/task/23580/stat : 23580 (java) S 23571 23573 21838 0 -1 4202560 292 0 0 0 80 0 0 0 20 0 19 0 282534595 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139896091032488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23581] ppid=23571 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/23573/task/23581/stat : 23581 (java) S 23571 23573 21838 0 -1 4202560 269 0 0 0 83 2 0 0 20 0 19 0 282534595 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139896089979944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23582] ppid=23571 vsize=9625004 CPUtime=0.81 cores=1,3,5,7
/proc/23573/task/23582/stat : 23582 (java) S 23571 23573 21838 0 -1 4202560 266 0 0 0 80 1 0 0 20 0 19 0 282534595 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139896088926888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23573/tid=23583] ppid=23571 vsize=9625004 CPUtime=0.95 cores=1,3,5,7
/proc/23573/task/23583/stat : 23583 (java) S 23571 23573 21838 0 -1 4202560 343 0 0 0 93 2 0 0 20 0 19 0 282534595 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139896087874344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23584] ppid=23571 vsize=9625004 CPUtime=7.66 cores=1,3,5,7
/proc/23573/task/23584/stat : 23584 (java) S 23571 23573 21838 0 -1 4202560 192 0 0 0 763 3 0 0 20 0 19 0 282534596 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139895605545320 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23585] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23585/stat : 23585 (java) S 23571 23573 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282534596 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139895604491640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23586] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23586/stat : 23586 (java) S 23571 23573 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282534596 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139895603438472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23587] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23587/stat : 23587 (java) S 23571 23573 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282534598 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139895602387216 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23588] ppid=23571 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/23573/task/23588/stat : 23588 (java) S 23571 23573 21838 0 -1 4202560 4770 0 0 0 40 0 0 0 20 0 19 0 282534598 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139895601335096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23573/tid=23589] ppid=23571 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/23573/task/23589/stat : 23589 (java) S 23571 23573 21838 0 -1 4202560 2590 0 0 0 34 0 0 0 20 0 19 0 282534598 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139895600282552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23590] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23590/stat : 23590 (java) S 23571 23573 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282534598 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139895599229688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23573/tid=23591] ppid=23571 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/23573/task/23591/stat : 23591 (java) S 23571 23573 21838 0 -1 4202560 103 0 0 0 14 21 0 0 20 0 19 0 282534598 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139895598177352 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23573/tid=23592] ppid=23571 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23573/task/23592/stat : 23592 (java) S 23571 23573 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282534618 9856004096 55388 33554432000 1073741824 1073778376 140735034870608 139895597122600 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625004

Child status: 143
Real time (s): 1794.55
CPU time (s): 1800.54
CPU user time (s): 1799.75
CPU system time (s): 0.793879
CPU usage (%): 100.334
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.793879
maximum resident set size= 221700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14137
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= 42759
involuntary context switches= 39940

runsolver used 6.20906 second user time and 14.3738 second system time

The end

Launcher Data

Begin job on node126 at 2012-05-28 02:14:47
IDJOB=3710186
IDBENCH=25044
IDSOLVER=2289
FILE ID=node126/3710186-1338164087
RUNJOBID= node126-1338147557-21855
PBS_JOBID= 14624519
Free space on /tmp= 71356 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir05_trarea_ac.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-3710186-1338164087/watcher-3710186-1338164087 -o /tmp/evaluation-result-3710186-1338164087/solver-3710186-1338164087 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710186-1338164087.opb

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

MD5SUM BENCH= 3bc65171ee2bdd2ee7a63cc75f29f375
RANDOM SEED=1442715412

node126.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.456
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.91
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.456
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.456
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	: 5331.92
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.456
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.456
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.92
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.456
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.456
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.90
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.456
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30966720 kB
Buffers:          320420 kB
Cached:           586036 kB
SwapCached:        17756 kB
Active:           911332 kB
Inactive:         186332 kB
Active(anon):     173004 kB
Inactive(anon):    20452 kB
Active(file):     738328 kB
Inactive(file):   165880 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:               868 kB
Writeback:             0 kB
AnonPages:        183480 kB
Mapped:            17932 kB
Shmem:                 0 kB
Slab:             668928 kB
SReclaimable:     113200 kB
SUnreclaim:       555728 kB
KernelStack:        1600 kB
PageTables:         4592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     697236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 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= 71356 MiB
End job on node126 at 2012-05-28 02:44:43