Trace number 3689497

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)41 1800.72 1794.96

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-iis-pima-cov.opb
MD5SUM19a2dfea334d8fb7f32d77f6785ba1fe
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark33
Best CPU time to get the best result obtained on this benchmark848.205
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables736
Total number of constraints7201
Number of constraints which are clauses7201
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 constraint8
Maximum length of a constraint10
Number of terms in the objective function 736
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 736
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 736
Number of bits of the biggest sum of numbers10
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.03/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.07	c See www.sat4j.org for details.
0.03/0.08	c version 2.3.2.v20120418
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		501472288
0.03/0.08	c Max memory 		7480803328
0.03/0.08	c Total memory 		504102912
0.03/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3689497-1337891172.opb
0.11/0.10	c reading problem ... 
0.54/0.37	c ... done. Wall clock time 0.271s.
0.54/0.37	c declared #vars     736
0.54/0.37	c #constraints  7201
0.54/0.37	c constraints type 
0.54/0.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7201
0.54/0.37	c 7201 constraints processed.
0.54/0.37	c objective function length is 736 literals
0.54/0.39	c SATISFIABLE
0.54/0.39	c OPTIMIZING...
0.54/0.39	c Got one! Elapsed wall clock time (in seconds):0.293
0.54/0.39	o 44
0.65/0.42	c Got one! Elapsed wall clock time (in seconds):0.323
0.65/0.42	o 43
0.65/0.45	c Got one! Elapsed wall clock time (in seconds):0.348
0.65/0.45	o 42
1.08/0.61	c Got one! Elapsed wall clock time (in seconds):0.51
1.08/0.61	o 41
1.44/0.93	c cleaning 2761 clauses out of 5523 with flag 4000/5523
1.90/1.34	c cleaning 4381 clauses out of 8762 with flag 10000/11523
2.41/1.86	c cleaning 5690 clauses out of 11383 with flag 17002/18525
3.02/2.45	c cleaning 6844 clauses out of 13692 with flag 25001/26524
3.68/3.08	c cleaning 7924 clauses out of 15848 with flag 34001/35524
4.48/3.85	c cleaning 8958 clauses out of 17923 with flag 44000/45523
5.28/4.63	c cleaning 9980 clauses out of 19970 with flag 55005/56528
6.09/5.47	c cleaning 10991 clauses out of 21985 with flag 67000/68523
7.08/6.42	c cleaning 11989 clauses out of 23995 with flag 80001/81524
8.08/7.43	c cleaning 12996 clauses out of 26005 with flag 94000/95523
9.20/8.50	c cleaning 13998 clauses out of 28012 with flag 109003/110526
10.31/9.61	c cleaning 15006 clauses out of 30011 with flag 125000/126523
11.41/10.72	c cleaning 15988 clauses out of 32005 with flag 142000/143523
12.61/11.98	c cleaning 16998 clauses out of 34017 with flag 160000/161523
14.03/13.32	c cleaning 18007 clauses out of 36019 with flag 179000/180523
15.44/14.72	c cleaning 19007 clauses out of 38014 with flag 199002/200525
16.94/16.24	c cleaning 19993 clauses out of 40005 with flag 220000/221523
18.54/17.86	c cleaning 21005 clauses out of 42012 with flag 242000/243523
20.35/19.61	c cleaning 22004 clauses out of 44009 with flag 265002/266525
22.05/21.37	c cleaning 22990 clauses out of 46003 with flag 289000/290523
23.89/23.20	c cleaning 24001 clauses out of 48013 with flag 314000/315523
25.90/25.18	c cleaning 24997 clauses out of 50012 with flag 340000/341523
28.02/27.25	c cleaning 25999 clauses out of 52015 with flag 367000/368523
30.12/29.32	c cleaning 27007 clauses out of 54016 with flag 395000/396523
32.24/31.47	c cleaning 27999 clauses out of 56010 with flag 424001/425524
34.44/33.66	c cleaning 29000 clauses out of 58011 with flag 454001/455524
36.84/36.02	c cleaning 30001 clauses out of 60010 with flag 485000/486523
39.15/38.38	c cleaning 30987 clauses out of 62009 with flag 517000/518523
41.66/40.88	c cleaning 32004 clauses out of 64023 with flag 550001/551524
44.27/43.45	c cleaning 32997 clauses out of 66018 with flag 584000/585523
47.09/46.22	c cleaning 34004 clauses out of 68022 with flag 619001/620524
49.88/49.07	c cleaning 35008 clauses out of 70019 with flag 655002/656525
52.81/51.94	c cleaning 36002 clauses out of 72009 with flag 692000/693523
55.71/54.85	c cleaning 37004 clauses out of 74007 with flag 730000/731523
58.72/57.85	c cleaning 37994 clauses out of 76005 with flag 769002/770525
61.83/60.90	c cleaning 38998 clauses out of 78009 with flag 809000/810523
65.03/64.16	c cleaning 39993 clauses out of 80014 with flag 850003/851526
68.26/67.39	c cleaning 41008 clauses out of 82018 with flag 892000/893523
71.77/70.82	c cleaning 41996 clauses out of 84012 with flag 935002/936525
75.29/74.32	c cleaning 42998 clauses out of 86014 with flag 979000/980523
78.89/77.95	c cleaning 44003 clauses out of 88016 with flag 1024000/1025523
82.60/81.64	c cleaning 44999 clauses out of 90014 with flag 1070001/1071524
86.32/85.33	c cleaning 45998 clauses out of 92017 with flag 1117003/1118526
89.94/88.96	c cleaning 47004 clauses out of 94017 with flag 1165001/1166524
93.76/92.78	c cleaning 47996 clauses out of 96013 with flag 1214001/1215524
97.56/96.56	c cleaning 49006 clauses out of 98017 with flag 1264001/1265524
101.59/100.50	c cleaning 50000 clauses out of 100010 with flag 1315000/1316523
105.74/104.67	c cleaning 50999 clauses out of 102010 with flag 1367000/1368523
110.06/108.92	c cleaning 51991 clauses out of 104011 with flag 1420000/1421523
114.27/113.17	c cleaning 53002 clauses out of 106020 with flag 1474000/1475523
118.81/117.63	c cleaning 54003 clauses out of 108018 with flag 1529000/1530523
123.10/121.97	c cleaning 55001 clauses out of 110015 with flag 1585000/1586523
127.52/126.32	c cleaning 56002 clauses out of 112015 with flag 1642001/1643524
132.25/131.05	c cleaning 57002 clauses out of 114012 with flag 1700000/1701523
136.99/135.77	c cleaning 58001 clauses out of 116010 with flag 1759000/1760523
141.90/140.64	c cleaning 59000 clauses out of 118009 with flag 1819000/1820523
147.21/145.99	c cleaning 59996 clauses out of 120009 with flag 1880000/1881523
152.43/151.11	c cleaning 61006 clauses out of 122016 with flag 1942003/1943526
157.84/156.59	c cleaning 62004 clauses out of 124009 with flag 2005002/2006525
163.47/162.14	c cleaning 62994 clauses out of 126003 with flag 2069000/2070523
168.58/167.29	c cleaning 63999 clauses out of 128009 with flag 2134000/2135523
173.69/172.38	c cleaning 64995 clauses out of 130010 with flag 2200000/2201523
179.04/177.66	c cleaning 66002 clauses out of 132018 with flag 2267003/2268526
184.56/183.10	c cleaning 67000 clauses out of 134014 with flag 2335001/2336524
189.90/188.40	c cleaning 67998 clauses out of 136014 with flag 2404001/2405524
195.62/194.14	c cleaning 68989 clauses out of 138015 with flag 2474000/2475523
201.45/199.93	c cleaning 70008 clauses out of 140026 with flag 2545000/2546523
207.17/205.64	c cleaning 71001 clauses out of 142019 with flag 2617001/2618524
213.27/211.71	c cleaning 72001 clauses out of 144017 with flag 2690000/2691523
219.19/217.67	c cleaning 72999 clauses out of 146017 with flag 2764001/2765524
225.29/223.74	c cleaning 74000 clauses out of 148017 with flag 2839000/2840523
231.72/230.15	c cleaning 74995 clauses out of 150017 with flag 2915000/2916523
238.04/236.41	c cleaning 76009 clauses out of 152022 with flag 2992000/2993523
244.65/243.06	c cleaning 76991 clauses out of 154013 with flag 3070000/3071523
251.45/249.80	c cleaning 78001 clauses out of 156022 with flag 3149000/3150523
258.10/256.47	c cleaning 78997 clauses out of 158021 with flag 3229000/3230523
264.73/263.03	c cleaning 80011 clauses out of 160025 with flag 3310001/3311524
271.96/270.28	c cleaning 80996 clauses out of 162013 with flag 3392000/3393523
278.89/277.18	c cleaning 81995 clauses out of 164018 with flag 3475001/3476524
286.01/284.21	c cleaning 83004 clauses out of 166022 with flag 3559000/3560523
293.24/291.43	c cleaning 84003 clauses out of 168018 with flag 3644000/3645523
300.66/298.85	c cleaning 85007 clauses out of 170016 with flag 3730001/3731524
307.97/306.10	c cleaning 85993 clauses out of 172008 with flag 3817000/3818523
315.49/313.64	c cleaning 87002 clauses out of 174015 with flag 3905000/3906523
323.03/321.19	c cleaning 87998 clauses out of 176016 with flag 3994003/3995526
330.53/328.64	c cleaning 89001 clauses out of 178015 with flag 4084000/4085523
338.47/336.50	c cleaning 90004 clauses out of 180016 with flag 4175002/4176525
346.60/344.64	c cleaning 91000 clauses out of 182010 with flag 4267000/4268523
354.51/352.51	c cleaning 91997 clauses out of 184010 with flag 4360000/4361523
362.32/360.35	c cleaning 92998 clauses out of 186014 with flag 4454001/4455524
370.13/368.18	c cleaning 94008 clauses out of 188020 with flag 4549005/4550528
378.56/376.52	c cleaning 95000 clauses out of 190007 with flag 4645000/4646523
386.61/384.51	c cleaning 95995 clauses out of 192008 with flag 4742001/4743524
394.74/392.68	c cleaning 97003 clauses out of 194013 with flag 4840001/4841524
402.86/400.76	c cleaning 97992 clauses out of 196009 with flag 4939000/4940523
411.38/409.24	c cleaning 99004 clauses out of 198019 with flag 5039002/5040525
420.35/418.13	c cleaning 99997 clauses out of 200013 with flag 5140000/5141523
429.47/427.24	c cleaning 101000 clauses out of 202016 with flag 5242000/5243523
438.51/436.26	c cleaning 101996 clauses out of 204018 with flag 5345002/5346525
447.76/445.49	c cleaning 103001 clauses out of 206020 with flag 5449000/5450523
456.70/454.36	c cleaning 103996 clauses out of 208020 with flag 5554001/5555524
466.22/463.81	c cleaning 105002 clauses out of 210023 with flag 5660000/5661523
475.43/473.01	c cleaning 106010 clauses out of 212022 with flag 5767001/5768524
484.93/482.52	c cleaning 106999 clauses out of 214011 with flag 5875000/5876523
494.35/491.97	c cleaning 107999 clauses out of 216013 with flag 5984001/5985524
503.97/501.60	c cleaning 109005 clauses out of 218013 with flag 6094000/6095523
513.70/511.21	c cleaning 109992 clauses out of 220008 with flag 6205000/6206523
523.92/521.44	c cleaning 111005 clauses out of 222016 with flag 6317000/6318523
534.23/531.75	c cleaning 111989 clauses out of 224013 with flag 6430002/6431525
544.76/542.27	c cleaning 113010 clauses out of 226022 with flag 6544000/6545523
555.78/553.24	c cleaning 114005 clauses out of 228012 with flag 6659000/6660523
565.61/563.08	c cleaning 114996 clauses out of 230008 with flag 6775001/6776524
575.83/573.22	c cleaning 115997 clauses out of 232011 with flag 6892000/6893523
586.06/583.50	c cleaning 116991 clauses out of 234016 with flag 7010002/7011525
596.78/594.15	c cleaning 118009 clauses out of 236024 with flag 7129001/7130524
607.19/604.58	c cleaning 118999 clauses out of 238014 with flag 7249000/7250523
617.72/615.09	c cleaning 120005 clauses out of 240015 with flag 7370000/7371523
628.46/625.77	c cleaning 121002 clauses out of 242010 with flag 7492000/7493523
639.68/636.93	c cleaning 121998 clauses out of 244008 with flag 7615000/7616523
650.79/648.03	c cleaning 122998 clauses out of 246010 with flag 7739000/7740523
661.81/659.05	c cleaning 124002 clauses out of 248012 with flag 7864000/7865523
672.74/669.98	c cleaning 125000 clauses out of 250010 with flag 7990000/7991523
684.27/681.45	c cleaning 126002 clauses out of 252012 with flag 8117002/8118525
695.41/692.52	c cleaning 126998 clauses out of 254008 with flag 8245000/8246523
706.86/703.99	c cleaning 127995 clauses out of 256010 with flag 8374000/8375523
718.67/715.70	c cleaning 129002 clauses out of 258015 with flag 8504000/8505523
729.90/726.94	c cleaning 129997 clauses out of 260013 with flag 8635000/8636523
741.71/738.74	c cleaning 131001 clauses out of 262018 with flag 8767002/8768525
754.96/751.95	c cleaning 131998 clauses out of 264015 with flag 8900000/8901523
767.60/764.55	c cleaning 133004 clauses out of 266017 with flag 9034000/9035523
780.21/777.18	c cleaning 133998 clauses out of 268013 with flag 9169000/9170523
793.22/790.15	c cleaning 135000 clauses out of 270016 with flag 9305001/9306524
805.35/802.21	c cleaning 135994 clauses out of 272015 with flag 9442000/9443523
818.98/815.85	c cleaning 137007 clauses out of 274022 with flag 9580001/9581524
832.20/829.03	c cleaning 138004 clauses out of 276016 with flag 9719002/9720525
845.41/842.30	c cleaning 138996 clauses out of 278010 with flag 9859000/9860523
858.83/855.61	c cleaning 140005 clauses out of 280014 with flag 10000000/10001523
873.14/869.93	c cleaning 140988 clauses out of 282010 with flag 10142001/10143524
887.50/884.30	c cleaning 142004 clauses out of 284022 with flag 10285001/10286524
900.82/897.52	c cleaning 142995 clauses out of 286018 with flag 10429001/10430524
914.74/911.48	c cleaning 144007 clauses out of 288023 with flag 10574001/10575524
927.55/924.20	c cleaning 145008 clauses out of 290016 with flag 10720001/10721524
941.37/938.02	c cleaning 145992 clauses out of 292007 with flag 10867000/10868523
956.41/953.09	c cleaning 147002 clauses out of 294015 with flag 11015000/11016523
970.25/966.84	c cleaning 148000 clauses out of 296013 with flag 11164000/11165523
985.57/982.12	c cleaning 149000 clauses out of 298014 with flag 11314001/11315524
999.65/996.13	c cleaning 150003 clauses out of 300017 with flag 11465004/11466527
1014.57/1011.07	c cleaning 151005 clauses out of 302015 with flag 11617005/11618528
1029.42/1025.81	c cleaning 151998 clauses out of 304005 with flag 11770000/11771523
1044.26/1040.60	c cleaning 152998 clauses out of 306008 with flag 11924001/11925524
1059.77/1056.12	c cleaning 153998 clauses out of 308009 with flag 12079000/12080523
1075.01/1071.39	c cleaning 154995 clauses out of 310012 with flag 12235001/12236524
1089.75/1086.09	c cleaning 155997 clauses out of 312016 with flag 12392000/12393523
1105.07/1101.39	c cleaning 157001 clauses out of 314019 with flag 12550000/12551523
1121.84/1118.06	c cleaning 158000 clauses out of 316018 with flag 12709000/12710523
1138.57/1134.78	c cleaning 159004 clauses out of 318019 with flag 12869001/12870524
1155.32/1151.49	c cleaning 160001 clauses out of 320014 with flag 13030000/13031523
1172.04/1168.13	c cleaning 161002 clauses out of 322014 with flag 13192001/13193524
1188.86/1184.93	c cleaning 161998 clauses out of 324011 with flag 13355000/13356523
1205.90/1201.97	c cleaning 162998 clauses out of 326013 with flag 13519000/13520523
1222.45/1218.46	c cleaning 164002 clauses out of 328015 with flag 13684000/13685523
1239.49/1235.46	c cleaning 164992 clauses out of 330013 with flag 13850000/13851523
1256.31/1252.25	c cleaning 166001 clauses out of 332021 with flag 14017000/14018523
1273.95/1269.82	c cleaning 167001 clauses out of 334020 with flag 14185000/14186523
1291.17/1287.05	c cleaning 168006 clauses out of 336019 with flag 14354000/14355523
1310.40/1306.28	c cleaning 168990 clauses out of 338013 with flag 14524000/14525523
1328.06/1323.84	c cleaning 170006 clauses out of 340025 with flag 14695002/14696525
1345.61/1341.39	c cleaning 171002 clauses out of 342017 with flag 14867000/14868523
1363.24/1358.99	c cleaning 172003 clauses out of 344016 with flag 15040001/15041524
1380.27/1375.97	c cleaning 173003 clauses out of 346012 with flag 15214000/15215523
1396.79/1392.50	c cleaning 174000 clauses out of 348009 with flag 15389000/15390523
1414.01/1409.68	c cleaning 174995 clauses out of 350009 with flag 15565000/15566523
1431.33/1426.99	c cleaning 175993 clauses out of 352014 with flag 15742000/15743523
1449.04/1444.66	c cleaning 177008 clauses out of 354022 with flag 15920001/15921524
1467.15/1462.74	c cleaning 178002 clauses out of 356016 with flag 16099003/16100526
1486.09/1481.67	c cleaning 178985 clauses out of 358012 with flag 16279001/16280524
1504.60/1500.14	c cleaning 180002 clauses out of 360026 with flag 16460000/16461523
1522.62/1518.17	c cleaning 181001 clauses out of 362024 with flag 16642000/16643523
1540.87/1536.38	c cleaning 182006 clauses out of 364024 with flag 16825001/16826524
1559.89/1555.37	c cleaning 183006 clauses out of 366020 with flag 17009003/17010526
1579.31/1574.71	c cleaning 184001 clauses out of 368012 with flag 17194001/17195524
1598.76/1594.13	c cleaning 184998 clauses out of 370010 with flag 17380000/17381523
1618.79/1614.11	c cleaning 186001 clauses out of 372012 with flag 17567000/17568523
1638.83/1634.15	c cleaning 186999 clauses out of 374011 with flag 17755000/17756523
1657.68/1652.93	c cleaning 187995 clauses out of 376012 with flag 17944000/17945523
1678.12/1673.36	c cleaning 188999 clauses out of 378018 with flag 18134001/18135524
1699.28/1694.40	c cleaning 189997 clauses out of 380018 with flag 18325000/18326523
1719.12/1714.25	c cleaning 191002 clauses out of 382021 with flag 18517000/18518523
1739.58/1734.64	c cleaning 191992 clauses out of 384019 with flag 18710000/18711523
1761.10/1756.15	c cleaning 193001 clauses out of 386027 with flag 18904000/18905523
1782.26/1777.22	c cleaning 194000 clauses out of 388027 with flag 19099001/19100524
1800.04/1794.91	c starts		: 354
1800.04/1794.91	c conflicts		: 19290652
1800.04/1794.91	c decisions		: 41615628
1800.04/1794.91	c propagations		: 929573299
1800.04/1794.91	c inspects		: 8251596204
1800.04/1794.91	c shortcuts		: 0
1800.04/1794.91	c learnt literals	: 0
1800.04/1794.91	c learnt binary clauses	: 0
1800.04/1794.91	c learnt ternary clauses	: 0
1800.04/1794.91	c learnt constraints	: 19290652
1800.04/1794.91	c ignored constraints	: 0
1800.04/1794.91	c root simplifications	: 0
1800.04/1794.91	c removed literals (reason simplification)	: 0
1800.04/1794.91	c reason swapping (by a shorter reason)	: 0
1800.04/1794.91	c Calls to reduceDB	: 191
1800.04/1794.91	c number of reductions to clauses (during analyze)	: 0
1800.04/1794.91	c number of learned constraints concerned by reduction	: 0
1800.04/1794.91	c number of learning phase by resolution	: 0
1800.04/1794.91	c number of learning phase by cutting planes	: 0
1800.04/1794.91	c speed (assignments/second)	: 518002.3632863109
1800.04/1794.91	c non guided choices	0
1800.04/1794.95	c learnt constraints type 
1800.04/1794.95	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 384502
1800.04/1794.95	c constraints type 
1800.04/1794.95	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7201
1800.04/1794.95	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.04/1794.95	c 7202 constraints processed.
1800.04/1794.95	s SATISFIABLE
1800.04/1794.95	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 
1800.04/1794.95	c objective function=41
1800.04/1794.95	c Total wall clock time (in seconds): 1794.856

Verifier Data

OK	41

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-3689497-1337891172/watcher-3689497-1337891172 -o /tmp/evaluation-result-3689497-1337891172/solver-3689497-1337891172 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689497-1337891172.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: 2.06 2.02 2.00 3/194 22069
/proc/meminfo: memFree=27659864/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/22069/stat : 22069 (java) R 22067 22069 16961 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 255241295 23793664 713 33554432000 1073741824 1073778376 140735217880336 140735217869400 251043821648 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 5809 713 528 9 0 128 0

[startup+0.050462 s]
/proc/loadavg: 2.06 2.02 2.00 3/194 22069
/proc/meminfo: memFree=27659864/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=9558380 CPUtime=0.03 cores=1,3,5,7
/proc/22069/stat : 22069 (java) S 22067 22069 16961 0 -1 4202496 3160 0 1 0 3 0 0 0 20 0 18 0 255241295 9787781120 4369 33554432000 1073741824 1073778376 140735217880336 140735217871472 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 2389595 4369 1745 9 0 2380296 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9558380

[startup+0.100286 s]
/proc/loadavg: 2.06 2.02 2.00 3/194 22069
/proc/meminfo: memFree=27659864/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/22069/stat : 22069 (java) S 22067 22069 16961 0 -1 4202496 4451 0 1 0 10 1 0 0 20 0 18 0 255241295 9787813888 6114 33554432000 1073741824 1073778376 140735217880336 140735217871472 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 2389603 6114 2138 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300285 s]
/proc/loadavg: 2.06 2.02 2.00 3/194 22069
/proc/meminfo: memFree=27659864/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=9558412 CPUtime=0.54 cores=1,3,5,7
/proc/22069/stat : 22069 (java) S 22067 22069 16961 0 -1 4202496 6059 0 1 0 53 1 0 0 20 0 18 0 255241295 9787813888 10466 33554432000 1073741824 1073778376 140735217880336 140735217871472 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 2389603 10466 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558412

[startup+0.70023 s]
/proc/loadavg: 2.06 2.02 2.00 3/194 22069
/proc/meminfo: memFree=27659864/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/22069/stat : 22069 (java) S 22067 22069 16961 0 -1 4202496 8012 0 1 0 121 2 0 0 20 0 19 0 255241295 9855975424 17323 33554432000 1073741824 1073778376 140735217880336 140735217871472 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 2406244 17323 2251 9 0 2396937 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 9624976

[startup+1.50075 s]
/proc/loadavg: 2.06 2.02 2.00 3/213 22088
/proc/meminfo: memFree=27586540/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=9624976 CPUtime=2.11 cores=1,3,5,7
/proc/22069/stat : 22069 (java) S 22067 22069 16961 0 -1 4202496 8241 0 1 0 209 2 0 0 20 0 19 0 255241295 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140735217871472 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 2406244 20956 2276 9 0 2396937 0
[pid=22069/tid=22071] ppid=22067 vsize=9624976 CPUtime=1.45 cores=1,3,5,7
/proc/22069/task/22071/stat : 22071 (java) R 22067 22069 16961 0 -1 4202560 2476 0 1 0 143 2 0 0 20 0 19 0 255241296 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462972662168 140462829163070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22072] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22072/stat : 22072 (java) S 22067 22069 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462950762920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22073] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22073/stat : 22073 (java) S 22067 22069 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462949710376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22074] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22074/stat : 22074 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462948657320 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22075] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22075/stat : 22075 (java) S 22067 22069 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462947604776 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22076] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22076/stat : 22076 (java) S 22067 22069 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462610443176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22077] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22077/stat : 22077 (java) S 22067 22069 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462609390632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22078] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22078/stat : 22078 (java) S 22067 22069 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462608337576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22079] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22079/stat : 22079 (java) S 22067 22069 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462607285032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22080] ppid=22067 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/22069/task/22080/stat : 22080 (java) S 22067 22069 16961 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 255241298 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462595086696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22081] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22081/stat : 22081 (java) S 22067 22069 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462594033016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22082] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22082/stat : 22082 (java) S 22067 22069 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462592979848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22083] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22083/stat : 22083 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462591928592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22084] ppid=22067 vsize=9624976 CPUtime=0.31 cores=1,3,5,7
/proc/22069/task/22084/stat : 22084 (java) S 22067 22069 16961 0 -1 4202560 2119 0 0 0 31 0 0 0 20 0 19 0 255241300 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462590876472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22085] ppid=22067 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22069/task/22085/stat : 22085 (java) S 22067 22069 16961 0 -1 4202560 2389 0 0 0 27 0 0 0 20 0 19 0 255241300 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462589823928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22086] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22086/stat : 22086 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462588771064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22087] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22087/stat : 22087 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462587718728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22088] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22088/stat : 22088 (java) S 22067 22069 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255241333 9855975424 20956 33554432000 1073741824 1073778376 140735217880336 140462586663976 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 9624976

[startup+3.10065 s]
/proc/loadavg: 2.06 2.02 2.00 3/213 22088
/proc/meminfo: memFree=27584244/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=9624976 CPUtime=3.78 cores=1,3,5,7
/proc/22069/stat : 22069 (java) S 22067 22069 16961 0 -1 4202496 8876 0 1 0 376 2 0 0 20 0 19 0 255241295 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140735217871472 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 2406244 21115 2276 9 0 2396937 0
[pid=22069/tid=22071] ppid=22067 vsize=9624976 CPUtime=3.01 cores=1,3,5,7
/proc/22069/task/22071/stat : 22071 (java) R 22067 22069 16961 0 -1 4202560 2477 0 1 0 299 2 0 0 20 0 19 0 255241296 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462972662168 140462829163248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22072] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22072/stat : 22072 (java) S 22067 22069 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462950762920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22073] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22073/stat : 22073 (java) S 22067 22069 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462949710376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22074] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22074/stat : 22074 (java) S 22067 22069 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462948657320 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22075] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22075/stat : 22075 (java) S 22067 22069 16961 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462947604776 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22076] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22076/stat : 22076 (java) S 22067 22069 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462610443176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22077] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22077/stat : 22077 (java) S 22067 22069 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462609390632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22078] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22078/stat : 22078 (java) S 22067 22069 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462608337576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22079] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22079/stat : 22079 (java) S 22067 22069 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462607285032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22080] ppid=22067 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/22069/task/22080/stat : 22080 (java) S 22067 22069 16961 0 -1 4202560 32 0 0 0 4 0 0 0 20 0 19 0 255241298 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462595086696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22081] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22081/stat : 22081 (java) S 22067 22069 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462594033016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22082] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22082/stat : 22082 (java) S 22067 22069 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462592979848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22083] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22083/stat : 22083 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462591928592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22084] ppid=22067 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/22069/task/22084/stat : 22084 (java) S 22067 22069 16961 0 -1 4202560 2734 0 0 0 37 0 0 0 20 0 19 0 255241300 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462590876472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22085] ppid=22067 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22069/task/22085/stat : 22085 (java) S 22067 22069 16961 0 -1 4202560 2390 0 0 0 27 0 0 0 20 0 19 0 255241300 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462589823928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22086] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22086/stat : 22086 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462588771064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22087] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22087/stat : 22087 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462587718728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22088] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22088/stat : 22088 (java) S 22067 22069 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255241333 9855975424 21115 33554432000 1073741824 1073778376 140735217880336 140462586663976 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 9624976

[startup+6.30064 s]
/proc/loadavg: 2.06 2.01 2.00 3/213 22088
/proc/meminfo: memFree=27580996/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=9624976 CPUtime=6.98 cores=1,3,5,7
/proc/22069/stat : 22069 (java) S 22067 22069 16961 0 -1 4202496 8887 0 1 0 696 2 0 0 20 0 19 0 255241295 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140735217871472 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 2406244 21601 2276 9 0 2396937 0
[pid=22069/tid=22071] ppid=22067 vsize=9624976 CPUtime=6.16 cores=1,3,5,7
/proc/22069/task/22071/stat : 22071 (java) R 22067 22069 16961 0 -1 4202560 2481 0 1 0 614 2 0 0 20 0 19 0 255241296 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462972662048 140462828783401 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22072] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22072/stat : 22072 (java) S 22067 22069 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462950762920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22073] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22073/stat : 22073 (java) S 22067 22069 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462949710376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22074] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22074/stat : 22074 (java) S 22067 22069 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462948657320 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22075] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22075/stat : 22075 (java) S 22067 22069 16961 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 255241296 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462947604776 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22076] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22076/stat : 22076 (java) S 22067 22069 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462610443176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22077] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22077/stat : 22077 (java) S 22067 22069 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462609390632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22078] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22078/stat : 22078 (java) S 22067 22069 16961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462608337576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22079] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22079/stat : 22079 (java) S 22067 22069 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255241297 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462607285032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22080] ppid=22067 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/22069/task/22080/stat : 22080 (java) S 22067 22069 16961 0 -1 4202560 33 0 0 0 8 0 0 0 20 0 19 0 255241298 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462595086696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22081] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22081/stat : 22081 (java) S 22067 22069 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462594033016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22082] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22082/stat : 22082 (java) S 22067 22069 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462592979848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22083] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22083/stat : 22083 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462591928592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22084] ppid=22067 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/22069/task/22084/stat : 22084 (java) S 22067 22069 16961 0 -1 4202560 2734 0 0 0 37 0 0 0 20 0 19 0 255241300 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462590876472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22085] ppid=22067 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22069/task/22085/stat : 22085 (java) S 22067 22069 16961 0 -1 4202560 2390 0 0 0 27 0 0 0 20 0 19 0 255241300 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462589823928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22086] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22086/stat : 22086 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462588771064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22087] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22087/stat : 22087 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462587718728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22088] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22088/stat : 22088 (java) S 22067 22069 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255241333 9855975424 21601 33554432000 1073741824 1073778376 140735217880336 140462586663976 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=22069/tid=22077] ppid=22067 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/22069/task/22077/stat : 22077 (java) S 22067 22069 16961 0 -1 4202560 320 0 0 0 74 2 0 0 20 0 19 0 255241297 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462609390632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22078] ppid=22067 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/22069/task/22078/stat : 22078 (java) S 22067 22069 16961 0 -1 4202560 269 0 0 0 76 2 0 0 20 0 19 0 255241297 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462608337576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22079] ppid=22067 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/22069/task/22079/stat : 22079 (java) S 22067 22069 16961 0 -1 4202560 288 0 0 0 76 2 0 0 20 0 19 0 255241297 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462607285032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22080] ppid=22067 vsize=9624976 CPUtime=8.88 cores=1,3,5,7
/proc/22069/task/22080/stat : 22080 (java) S 22067 22069 16961 0 -1 4202560 166 0 0 0 884 4 0 0 20 0 19 0 255241298 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462595086696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22081] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22081/stat : 22081 (java) S 22067 22069 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462594033016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22082] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22082/stat : 22082 (java) S 22067 22069 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462592979848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22083] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22083/stat : 22083 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462591928592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22084] ppid=22067 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/22069/task/22084/stat : 22084 (java) S 22067 22069 16961 0 -1 4202560 2993 0 0 0 39 0 0 0 20 0 19 0 255241300 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462590876472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22085] ppid=22067 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22069/task/22085/stat : 22085 (java) S 22067 22069 16961 0 -1 4202560 2390 0 0 0 27 0 0 0 20 0 19 0 255241300 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462589823928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22086] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22086/stat : 22086 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462588771064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22087] ppid=22067 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/22069/task/22087/stat : 22087 (java) S 22067 22069 16961 0 -1 4202560 99 0 0 0 14 20 0 0 20 0 19 0 255241300 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462587718728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22088] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22088/stat : 22088 (java) S 22067 22069 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255241333 9855975424 53592 33554432000 1073741824 1073778376 140735217880336 140462586663976 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1727.28
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.11 2.09 2.02 3/213 22163
/proc/meminfo: memFree=28512476/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=9624976 CPUtime=1787.44 cores=1,3,5,7
/proc/22069/stat : 22069 (java) S 22067 22069 16961 0 -1 4202496 12036 0 1 0 178709 35 0 0 20 0 19 0 255241295 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140735217871472 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 2406244 56153 2277 9 0 2396937 0
[pid=22069/tid=22071] ppid=22067 vsize=9624976 CPUtime=1771.05 cores=1,3,5,7
/proc/22069/task/22071/stat : 22071 (java) R 22067 22069 16961 0 -1 4202560 2667 0 1 0 177075 30 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462972662048 140462829121155 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22072] ppid=22067 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/22069/task/22072/stat : 22072 (java) S 22067 22069 16961 0 -1 4202560 267 0 0 0 86 2 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462950762920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22073] ppid=22067 vsize=9624976 CPUtime=0.77 cores=1,3,5,7
/proc/22069/task/22073/stat : 22073 (java) S 22067 22069 16961 0 -1 4202560 473 0 0 0 76 1 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462949710376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22074] ppid=22067 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/22069/task/22074/stat : 22074 (java) S 22067 22069 16961 0 -1 4202560 261 0 0 0 80 0 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462948657320 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22075] ppid=22067 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/22069/task/22075/stat : 22075 (java) S 22067 22069 16961 0 -1 4202560 275 0 0 0 84 2 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462947604776 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22076] ppid=22067 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/22069/task/22076/stat : 22076 (java) S 22067 22069 16961 0 -1 4202560 369 0 0 0 82 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462610443176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22077] ppid=22067 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/22069/task/22077/stat : 22077 (java) S 22067 22069 16961 0 -1 4202560 322 0 0 0 76 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462609390632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22078] ppid=22067 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/22069/task/22078/stat : 22078 (java) S 22067 22069 16961 0 -1 4202560 269 0 0 0 79 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462608337576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22079] ppid=22067 vsize=9624976 CPUtime=0.82 cores=1,3,5,7
/proc/22069/task/22079/stat : 22079 (java) S 22067 22069 16961 0 -1 4202560 290 0 0 0 80 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462607285032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22080] ppid=22067 vsize=9624976 CPUtime=9.12 cores=1,3,5,7
/proc/22069/task/22080/stat : 22080 (java) S 22067 22069 16961 0 -1 4202560 172 0 0 0 908 4 0 0 20 0 19 0 255241298 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462595086696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22081] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22081/stat : 22081 (java) S 22067 22069 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462594033016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22082] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22082/stat : 22082 (java) S 22067 22069 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462592979848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22083] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22083/stat : 22083 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462591928592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22084] ppid=22067 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/22069/task/22084/stat : 22084 (java) S 22067 22069 16961 0 -1 4202560 2993 0 0 0 39 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462590876472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22085] ppid=22067 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22069/task/22085/stat : 22085 (java) S 22067 22069 16961 0 -1 4202560 2390 0 0 0 27 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462589823928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22086] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22086/stat : 22086 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462588771064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22087] ppid=22067 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/22069/task/22087/stat : 22087 (java) S 22067 22069 16961 0 -1 4202560 102 0 0 0 14 21 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462587718728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22088] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22088/stat : 22088 (java) S 22067 22069 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255241333 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462586663976 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1787.44
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.9 s]
/proc/loadavg: 2.08 2.08 2.02 3/213 22163
/proc/meminfo: memFree=28512476/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7
/proc/22069/stat : 22069 (java) S 22067 22069 16961 0 -1 4202496 12036 0 1 0 179969 35 0 0 20 0 19 0 255241295 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140735217871472 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 2406244 56153 2277 9 0 2396937 0
[pid=22069/tid=22071] ppid=22067 vsize=9624976 CPUtime=1783.66 cores=1,3,5,7
/proc/22069/task/22071/stat : 22071 (java) R 22067 22069 16961 0 -1 4202560 2667 0 1 0 178335 31 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462972662048 140462829120640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22072] ppid=22067 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/22069/task/22072/stat : 22072 (java) S 22067 22069 16961 0 -1 4202560 267 0 0 0 86 2 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462950762920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22073] ppid=22067 vsize=9624976 CPUtime=0.77 cores=1,3,5,7
/proc/22069/task/22073/stat : 22073 (java) S 22067 22069 16961 0 -1 4202560 473 0 0 0 76 1 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462949710376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22074] ppid=22067 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/22069/task/22074/stat : 22074 (java) S 22067 22069 16961 0 -1 4202560 261 0 0 0 80 0 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462948657320 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22075] ppid=22067 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/22069/task/22075/stat : 22075 (java) S 22067 22069 16961 0 -1 4202560 275 0 0 0 84 2 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462947604776 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22076] ppid=22067 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/22069/task/22076/stat : 22076 (java) S 22067 22069 16961 0 -1 4202560 369 0 0 0 82 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462610443176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22077] ppid=22067 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/22069/task/22077/stat : 22077 (java) S 22067 22069 16961 0 -1 4202560 322 0 0 0 76 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462609390632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22078] ppid=22067 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/22069/task/22078/stat : 22078 (java) S 22067 22069 16961 0 -1 4202560 269 0 0 0 79 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462608337576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22079] ppid=22067 vsize=9624976 CPUtime=0.82 cores=1,3,5,7
/proc/22069/task/22079/stat : 22079 (java) S 22067 22069 16961 0 -1 4202560 290 0 0 0 80 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462607285032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22080] ppid=22067 vsize=9624976 CPUtime=9.12 cores=1,3,5,7
/proc/22069/task/22080/stat : 22080 (java) S 22067 22069 16961 0 -1 4202560 172 0 0 0 908 4 0 0 20 0 19 0 255241298 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462595086696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22081] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22081/stat : 22081 (java) S 22067 22069 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462594033016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22082] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22082/stat : 22082 (java) S 22067 22069 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462592979848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22083] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22083/stat : 22083 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462591928592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22084] ppid=22067 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/22069/task/22084/stat : 22084 (java) S 22067 22069 16961 0 -1 4202560 2993 0 0 0 39 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462590876472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22085] ppid=22067 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22069/task/22085/stat : 22085 (java) S 22067 22069 16961 0 -1 4202560 2390 0 0 0 27 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462589823928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22086] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22086/stat : 22086 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462588771064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22087] ppid=22067 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/22069/task/22087/stat : 22087 (java) S 22067 22069 16961 0 -1 4202560 102 0 0 0 14 21 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462587718728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22088] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22088/stat : 22088 (java) S 22067 22069 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255241333 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462586663976 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1794.9 s]
/proc/loadavg: 2.08 2.08 2.02 3/213 22163
/proc/meminfo: memFree=28512476/32873648 swapFree=7360/7360
[pid=22069] ppid=22067 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7
/proc/22069/stat : 22069 (java) S 22067 22069 16961 0 -1 4202496 12036 0 1 0 179969 35 0 0 20 0 19 0 255241295 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140735217871472 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22069/statm: 2406244 56153 2277 9 0 2396937 0
[pid=22069/tid=22071] ppid=22067 vsize=9624976 CPUtime=1783.66 cores=1,3,5,7
/proc/22069/task/22071/stat : 22071 (java) R 22067 22069 16961 0 -1 4202560 2667 0 1 0 178335 31 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462972662048 140462829120640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22072] ppid=22067 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/22069/task/22072/stat : 22072 (java) S 22067 22069 16961 0 -1 4202560 267 0 0 0 86 2 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462950762920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22073] ppid=22067 vsize=9624976 CPUtime=0.77 cores=1,3,5,7
/proc/22069/task/22073/stat : 22073 (java) S 22067 22069 16961 0 -1 4202560 473 0 0 0 76 1 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462949710376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22074] ppid=22067 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/22069/task/22074/stat : 22074 (java) S 22067 22069 16961 0 -1 4202560 261 0 0 0 80 0 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462948657320 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22075] ppid=22067 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/22069/task/22075/stat : 22075 (java) S 22067 22069 16961 0 -1 4202560 275 0 0 0 84 2 0 0 20 0 19 0 255241296 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462947604776 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22076] ppid=22067 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/22069/task/22076/stat : 22076 (java) S 22067 22069 16961 0 -1 4202560 369 0 0 0 82 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462610443176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22077] ppid=22067 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/22069/task/22077/stat : 22077 (java) S 22067 22069 16961 0 -1 4202560 322 0 0 0 76 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462609390632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22078] ppid=22067 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/22069/task/22078/stat : 22078 (java) S 22067 22069 16961 0 -1 4202560 269 0 0 0 79 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462608337576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22079] ppid=22067 vsize=9624976 CPUtime=0.82 cores=1,3,5,7
/proc/22069/task/22079/stat : 22079 (java) S 22067 22069 16961 0 -1 4202560 290 0 0 0 80 2 0 0 20 0 19 0 255241297 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462607285032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22080] ppid=22067 vsize=9624976 CPUtime=9.12 cores=1,3,5,7
/proc/22069/task/22080/stat : 22080 (java) S 22067 22069 16961 0 -1 4202560 172 0 0 0 908 4 0 0 20 0 19 0 255241298 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462595086696 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22081] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22081/stat : 22081 (java) S 22067 22069 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462594033016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22082] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22082/stat : 22082 (java) S 22067 22069 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255241298 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462592979848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22083] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22083/stat : 22083 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462591928592 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22069/tid=22084] ppid=22067 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/22069/task/22084/stat : 22084 (java) S 22067 22069 16961 0 -1 4202560 2993 0 0 0 39 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462590876472 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22069/tid=22085] ppid=22067 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22069/task/22085/stat : 22085 (java) S 22067 22069 16961 0 -1 4202560 2390 0 0 0 27 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462589823928 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22086] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22086/stat : 22086 (java) S 22067 22069 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462588771064 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22069/tid=22087] ppid=22067 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/22069/task/22087/stat : 22087 (java) S 22067 22069 16961 0 -1 4202560 102 0 0 0 14 21 0 0 20 0 19 0 255241300 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462587718728 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22069/tid=22088] ppid=22067 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22069/task/22088/stat : 22088 (java) S 22067 22069 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255241333 9855975424 56153 33554432000 1073741824 1073778376 140735217880336 140462586663976 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624976

Child status: 143
Real time (s): 1794.96
CPU time (s): 1800.72
CPU user time (s): 1799.89
CPU system time (s): 0.831873
CPU usage (%): 100.321
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.831873
maximum resident set size= 228840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12073
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= 43084
involuntary context switches= 41529

runsolver used 6.31304 second user time and 14.3438 second system time

The end

Launcher Data

Begin job on node149 at 2012-05-24 22:26:12
IDJOB=3689497
IDBENCH=89859
IDSOLVER=2269
FILE ID=node149/3689497-1337891172
RUNJOBID= node149-1337871880-16978
PBS_JOBID= 14620055
Free space on /tmp= 71684 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-iis-pima-cov.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689497-1337891172/watcher-3689497-1337891172 -o /tmp/evaluation-result-3689497-1337891172/solver-3689497-1337891172 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3689497-1337891172.opb

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

MD5SUM BENCH= 19a2dfea334d8fb7f32d77f6785ba1fe
RANDOM SEED=737741347

node149.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.145
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.29
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.145
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.145
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	: 5438.55
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.145
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.145
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.145
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	: 5438.55
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.145
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.145
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:        27659756 kB
Buffers:          234256 kB
Cached:          2787368 kB
SwapCached:            0 kB
Active:          2050828 kB
Inactive:        2391688 kB
Active(anon):    1422548 kB
Inactive(anon):        0 kB
Active(file):     628280 kB
Inactive(file):  2391688 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               556 kB
Writeback:             0 kB
AnonPages:       1541952 kB
Mapped:            22596 kB
Shmem:               200 kB
Slab:             629032 kB
SReclaimable:      73028 kB
SUnreclaim:       556004 kB
KernelStack:        1760 kB
PageTables:         7096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    2672732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1484800 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= 71732 MiB
End job on node149 at 2012-05-24 22:56:09