Trace number 3710621

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)6200 1800.04 1789.95

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-9symml.opb
MD5SUM866c660dea8282137b8c78839dd4c03f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4517
Best CPU time to get the best result obtained on this benchmark0.174972
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4517
Optimality of the best value was proved YES
Number of variables651
Total number of constraints1658
Number of constraints which are clauses1656
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint1
Maximum length of a constraint42
Number of terms in the objective function 651
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 28138
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 28138
Number of bits of the biggest sum of numbers15
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.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.01/0.08	c version 2.3.2.v20120418
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		501472288
0.01/0.08	c Max memory 		7480803328
0.01/0.08	c Total memory 		504102912
0.01/0.08	c Number of processors 	8
0.10/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.12	c configuring ORDERS
0.10/0.13	c --- Begin Solver configuration ---
0.10/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.10/0.13	c Learn all clauses as in MiniSAT
0.10/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.13	c Expensive reason simplification
0.10/0.13	c Armin Biere (Picosat) restarts strategy
0.10/0.13	c Glucose learned constraints deletion strategy
0.10/0.13	c timeout=2147483s
0.10/0.13	c DB Simplification allowed=true
0.10/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.13	c --- End Solver configuration ---
0.10/0.13	c solving HOME/instance-3710621-1338142753.opb
0.10/0.13	c reading problem ... 
0.26/0.28	c ... done. Wall clock time 0.155s.
0.26/0.28	c declared #vars     651
0.26/0.28	c #constraints  1593
0.26/0.28	c constraints type 
0.26/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1078
0.26/0.28	c ignored satisfied constraints => 65
0.26/0.28	c org.sat4j.minisat.constraints.cnf.UnitClause => 14
0.26/0.28	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 501
0.26/0.28	c 1658 constraints processed.
0.26/0.29	c SATISFIABLE
0.26/0.29	c OPTIMIZING...
0.26/0.29	c Got one! Elapsed wall clock time (in seconds):0.168
0.26/0.29	o 6227
0.47/0.31	c Got one! Elapsed wall clock time (in seconds):0.186
0.47/0.31	o 6204
1.17/0.77	c cleaning 2498 clauses out of 5005 with flag 5000/5005
1.68/1.14	c cleaning 4251 clauses out of 8507 with flag 11000/11005
2.07/1.56	c cleaning 5626 clauses out of 11257 with flag 18001/18006
2.58/2.05	c cleaning 6809 clauses out of 13631 with flag 26001/26006
3.23/2.60	c cleaning 7905 clauses out of 15821 with flag 35000/35005
3.74/3.17	c cleaning 8954 clauses out of 17917 with flag 45001/45006
4.44/3.84	c cleaning 9976 clauses out of 19962 with flag 56000/56005
5.15/4.58	c cleaning 10985 clauses out of 21986 with flag 68000/68005
5.95/5.40	c cleaning 11996 clauses out of 24002 with flag 81001/81006
6.86/6.27	c cleaning 13000 clauses out of 26007 with flag 95002/95007
7.88/7.25	c cleaning 13993 clauses out of 28005 with flag 110000/110005
8.89/8.23	c cleaning 15003 clauses out of 30013 with flag 126001/126006
10.01/9.31	c cleaning 15997 clauses out of 32010 with flag 143001/143006
11.03/10.38	c cleaning 16999 clauses out of 34012 with flag 161000/161005
12.24/11.59	c cleaning 18003 clauses out of 36013 with flag 180000/180005
13.56/12.84	c cleaning 18998 clauses out of 38010 with flag 200000/200005
14.87/14.17	c cleaning 20002 clauses out of 40013 with flag 221001/221006
16.41/15.65	c cleaning 20997 clauses out of 42011 with flag 243001/243006
18.13/17.30	c cleaning 22001 clauses out of 44014 with flag 266001/266006
19.66/18.81	c cleaning 22998 clauses out of 46012 with flag 290000/290005
21.26/20.45	c cleaning 24002 clauses out of 48015 with flag 315001/315006
22.99/22.18	c cleaning 25001 clauses out of 50012 with flag 341000/341005
24.82/23.96	c cleaning 26001 clauses out of 52013 with flag 368002/368007
26.83/25.96	c cleaning 27000 clauses out of 54010 with flag 396000/396005
28.77/27.80	c cleaning 27996 clauses out of 56010 with flag 425000/425005
30.70/29.76	c cleaning 29003 clauses out of 58015 with flag 455001/455006
32.73/31.77	c cleaning 30000 clauses out of 60011 with flag 486000/486005
35.05/34.07	c cleaning 30996 clauses out of 62012 with flag 518001/518006
37.46/36.42	c cleaning 32002 clauses out of 64015 with flag 551000/551005
39.97/38.99	c cleaning 33001 clauses out of 66015 with flag 585002/585007
42.40/41.39	c cleaning 34000 clauses out of 68012 with flag 620000/620005
44.91/43.80	c cleaning 35000 clauses out of 70014 with flag 656002/656007
47.54/46.41	c cleaning 35998 clauses out of 72014 with flag 693002/693007
50.26/49.10	c cleaning 36995 clauses out of 74014 with flag 731000/731005
53.08/51.95	c cleaning 38001 clauses out of 76020 with flag 770001/770006
55.91/54.73	c cleaning 38999 clauses out of 78018 with flag 810000/810005
59.03/57.86	c cleaning 40003 clauses out of 80019 with flag 851000/851005
62.17/60.98	c cleaning 41003 clauses out of 82017 with flag 893001/893006
65.09/63.86	c cleaning 42002 clauses out of 84014 with flag 936001/936006
68.21/66.92	c cleaning 43000 clauses out of 86011 with flag 980000/980005
71.34/70.03	c cleaning 44001 clauses out of 88011 with flag 1025000/1025005
74.57/73.23	c cleaning 44995 clauses out of 90011 with flag 1071001/1071006
77.88/76.51	c cleaning 46000 clauses out of 92015 with flag 1118000/1118005
81.60/80.29	c cleaning 47003 clauses out of 94016 with flag 1166001/1166006
85.13/83.77	c cleaning 47999 clauses out of 96014 with flag 1215002/1215007
89.26/87.86	c cleaning 48999 clauses out of 98014 with flag 1265001/1265006
93.09/91.69	c cleaning 49999 clauses out of 100014 with flag 1316000/1316005
96.77/95.27	c cleaning 50999 clauses out of 102016 with flag 1368001/1368006
100.37/98.86	c cleaning 51997 clauses out of 104016 with flag 1421000/1421005
104.40/102.84	c cleaning 53003 clauses out of 106020 with flag 1475001/1475006
108.92/107.37	c cleaning 54003 clauses out of 108017 with flag 1530001/1530006
113.89/112.21	c cleaning 54999 clauses out of 110013 with flag 1586000/1586005
118.33/116.67	c cleaning 56000 clauses out of 112016 with flag 1643002/1643007
123.26/121.50	c cleaning 56994 clauses out of 114015 with flag 1701001/1701006
128.38/126.66	c cleaning 58002 clauses out of 116020 with flag 1760000/1760005
133.22/131.41	c cleaning 59000 clauses out of 118018 with flag 1820000/1820005
138.55/136.78	c cleaning 59996 clauses out of 120019 with flag 1881001/1881006
144.37/142.57	c cleaning 61005 clauses out of 122023 with flag 1943001/1943006
149.50/147.63	c cleaning 62003 clauses out of 124018 with flag 2006001/2006006
153.93/152.00	c cleaning 62998 clauses out of 126015 with flag 2070001/2070006
158.76/156.82	c cleaning 63999 clauses out of 128017 with flag 2135001/2135006
163.90/161.93	c cleaning 64998 clauses out of 130018 with flag 2201001/2201006
169.93/167.94	c cleaning 66001 clauses out of 132019 with flag 2268000/2268005
175.47/173.45	c cleaning 67004 clauses out of 134019 with flag 2336001/2336006
182.31/180.21	c cleaning 67993 clauses out of 136015 with flag 2405001/2405006
187.24/185.17	c cleaning 69004 clauses out of 138021 with flag 2475000/2475005
192.47/190.33	c cleaning 69999 clauses out of 140017 with flag 2546000/2546005
197.92/195.78	c cleaning 70995 clauses out of 142018 with flag 2618000/2618005
203.15/200.99	c cleaning 72003 clauses out of 144024 with flag 2691001/2691006
209.71/207.41	c cleaning 73003 clauses out of 146021 with flag 2765001/2765006
217.13/214.89	c cleaning 73999 clauses out of 148017 with flag 2840000/2840005
224.49/222.16	c cleaning 74995 clauses out of 150018 with flag 2916000/2916005
231.80/229.49	c cleaning 76012 clauses out of 152024 with flag 2993001/2993006
237.26/234.85	c cleaning 76998 clauses out of 154011 with flag 3071000/3071005
243.18/240.77	c cleaning 78000 clauses out of 156013 with flag 3150000/3150005
249.63/247.19	c cleaning 78999 clauses out of 158013 with flag 3230000/3230005
255.88/253.33	c cleaning 79997 clauses out of 160014 with flag 3311000/3311005
262.91/260.35	c cleaning 81001 clauses out of 162017 with flag 3393000/3393005
269.47/266.87	c cleaning 82002 clauses out of 164017 with flag 3476001/3476006
277.21/274.59	c cleaning 82998 clauses out of 166014 with flag 3560000/3560005
284.84/282.15	c cleaning 83996 clauses out of 168016 with flag 3645000/3645005
291.87/289.16	c cleaning 85003 clauses out of 170021 with flag 3731001/3731006
300.11/297.35	c cleaning 86001 clauses out of 172017 with flag 3818000/3818005
309.36/306.50	c cleaning 87001 clauses out of 174017 with flag 3906001/3906006
317.05/314.13	c cleaning 88002 clauses out of 176016 with flag 3995001/3995006
324.58/321.69	c cleaning 88997 clauses out of 178013 with flag 4085000/4085005
332.54/329.58	c cleaning 89997 clauses out of 180017 with flag 4176001/4176006
341.70/338.65	c cleaning 91002 clauses out of 182020 with flag 4268001/4268006
350.95/347.82	c cleaning 91997 clauses out of 184017 with flag 4361000/4361005
360.08/356.99	c cleaning 92999 clauses out of 186020 with flag 4455000/4455005
367.32/364.18	c cleaning 94001 clauses out of 188022 with flag 4550001/4550006
374.13/370.99	c cleaning 95003 clauses out of 190021 with flag 4646001/4646006
381.84/378.64	c cleaning 95999 clauses out of 192017 with flag 4743000/4743005
389.39/386.18	c cleaning 97000 clauses out of 194019 with flag 4841001/4841006
397.82/394.58	c cleaning 98004 clauses out of 196018 with flag 4940000/4940005
407.37/404.05	c cleaning 98996 clauses out of 198014 with flag 5040000/5040005
416.56/413.17	c cleaning 100003 clauses out of 200019 with flag 5141001/5141006
426.10/422.63	c cleaning 100999 clauses out of 202016 with flag 5243001/5243006
437.46/433.94	c cleaning 101995 clauses out of 204016 with flag 5346000/5346005
447.35/443.74	c cleaning 103003 clauses out of 206021 with flag 5450000/5450005
455.67/452.03	c cleaning 103999 clauses out of 208019 with flag 5555001/5555006
465.31/461.62	c cleaning 105000 clauses out of 210021 with flag 5661002/5661007
475.17/471.43	c cleaning 105999 clauses out of 212020 with flag 5768001/5768006
485.10/481.34	c cleaning 106996 clauses out of 214022 with flag 5876002/5876007
494.67/490.82	c cleaning 108008 clauses out of 216024 with flag 5985000/5985005
505.73/501.85	c cleaning 108995 clauses out of 218016 with flag 6095000/6095005
515.60/511.60	c cleaning 110003 clauses out of 220022 with flag 6206001/6206006
525.66/521.62	c cleaning 110992 clauses out of 222018 with flag 6318000/6318005
535.30/531.28	c cleaning 112000 clauses out of 224026 with flag 6431000/6431005
545.32/541.26	c cleaning 113003 clauses out of 226026 with flag 6545000/6545005
555.64/551.53	c cleaning 114001 clauses out of 228023 with flag 6660000/6660005
564.67/560.56	c cleaning 115004 clauses out of 230023 with flag 6776001/6776006
572.91/568.75	c cleaning 116003 clauses out of 232019 with flag 6893001/6893006
582.24/578.04	c cleaning 116999 clauses out of 234015 with flag 7011000/7011005
592.70/588.44	c cleaning 118001 clauses out of 236017 with flag 7130001/7130006
602.64/598.40	c cleaning 118998 clauses out of 238015 with flag 7250000/7250005
613.59/609.21	c cleaning 120000 clauses out of 240017 with flag 7371000/7371005
623.04/618.66	c cleaning 121001 clauses out of 242017 with flag 7493000/7493005
634.40/629.98	c cleaning 121999 clauses out of 244017 with flag 7616001/7616006
644.56/640.04	c cleaning 122999 clauses out of 246018 with flag 7740001/7740006
657.79/653.24	c cleaning 124002 clauses out of 248018 with flag 7865000/7865005
671.34/666.80	c cleaning 124998 clauses out of 250018 with flag 7991002/7991007
685.73/681.03	c cleaning 126002 clauses out of 252019 with flag 8118001/8118006
698.59/693.83	c cleaning 127002 clauses out of 254017 with flag 8246001/8246006
712.32/707.59	c cleaning 127998 clauses out of 256014 with flag 8375000/8375005
724.64/719.74	c cleaning 129003 clauses out of 258017 with flag 8505001/8505006
738.68/733.76	c cleaning 129996 clauses out of 260015 with flag 8636002/8636007
751.58/746.52	c cleaning 131003 clauses out of 262017 with flag 8768000/8768005
766.40/761.35	c cleaning 131998 clauses out of 264016 with flag 8901002/8901007
776.93/771.83	c cleaning 132995 clauses out of 266016 with flag 9035000/9035005
789.39/784.26	c cleaning 134003 clauses out of 268022 with flag 9170001/9170006
804.23/799.09	c cleaning 134995 clauses out of 270018 with flag 9306000/9306005
819.76/814.56	c cleaning 135999 clauses out of 272024 with flag 9443001/9443006
834.52/829.30	c cleaning 137000 clauses out of 274024 with flag 9581000/9581005
849.60/844.27	c cleaning 138004 clauses out of 276025 with flag 9720001/9720006
865.87/860.46	c cleaning 138998 clauses out of 278021 with flag 9860001/9860006
881.54/876.07	c cleaning 140001 clauses out of 280023 with flag 10001001/10001006
893.79/888.26	c cleaning 141002 clauses out of 282022 with flag 10143001/10143006
904.25/898.68	c cleaning 141997 clauses out of 284019 with flag 10286000/10286005
915.99/910.38	c cleaning 143003 clauses out of 286022 with flag 10430000/10430005
929.36/923.61	c cleaning 144005 clauses out of 288019 with flag 10575000/10575005
945.42/939.60	c cleaning 144995 clauses out of 290015 with flag 10721001/10721006
957.74/951.89	c cleaning 146002 clauses out of 292019 with flag 10868000/10868005
973.02/967.02	c cleaning 146995 clauses out of 294017 with flag 11016000/11016005
984.92/978.87	c cleaning 148003 clauses out of 296022 with flag 11165000/11165005
999.77/993.60	c cleaning 148998 clauses out of 298020 with flag 11315001/11315006
1014.65/1008.42	c cleaning 150003 clauses out of 300022 with flag 11466001/11466006
1028.78/1022.57	c cleaning 151000 clauses out of 302018 with flag 11618000/11618005
1043.44/1037.20	c cleaning 151998 clauses out of 304018 with flag 11771000/11771005
1057.52/1051.11	c cleaning 152998 clauses out of 306022 with flag 11925002/11925007
1073.69/1067.22	c cleaning 154000 clauses out of 308022 with flag 12080000/12080005
1087.89/1081.31	c cleaning 155000 clauses out of 310022 with flag 12236000/12236005
1100.87/1094.20	c cleaning 156004 clauses out of 312022 with flag 12393000/12393005
1117.25/1110.52	c cleaning 156998 clauses out of 314021 with flag 12551003/12551008
1136.87/1130.01	c cleaning 157998 clauses out of 316020 with flag 12710000/12710005
1154.04/1147.11	c cleaning 159003 clauses out of 318023 with flag 12870001/12870006
1170.37/1163.49	c cleaning 160000 clauses out of 320019 with flag 13031000/13031005
1189.02/1182.08	c cleaning 160999 clauses out of 322020 with flag 13193001/13193006
1207.97/1200.98	c cleaning 162002 clauses out of 324020 with flag 13356000/13356005
1223.94/1216.86	c cleaning 162996 clauses out of 326018 with flag 13520000/13520005
1244.27/1237.17	c cleaning 164005 clauses out of 328023 with flag 13685001/13685006
1262.53/1255.21	c cleaning 165001 clauses out of 330018 with flag 13851001/13851006
1283.25/1275.89	c cleaning 166001 clauses out of 332017 with flag 14018001/14018006
1300.22/1292.70	c cleaning 167001 clauses out of 334015 with flag 14186000/14186005
1318.88/1311.37	c cleaning 167998 clauses out of 336016 with flag 14355002/14355007
1337.13/1329.58	c cleaning 168995 clauses out of 338017 with flag 14525001/14525006
1359.26/1351.67	c cleaning 169992 clauses out of 340021 with flag 14696000/14696005
1380.22/1372.59	c cleaning 171005 clauses out of 342030 with flag 14868001/14868006
1402.33/1394.65	c cleaning 171997 clauses out of 344025 with flag 15041001/15041006
1418.38/1410.65	c cleaning 173003 clauses out of 346027 with flag 15215000/15215005
1432.43/1424.62	c cleaning 174002 clauses out of 348024 with flag 15390000/15390005
1448.38/1440.50	c cleaning 175003 clauses out of 350023 with flag 15566001/15566006
1450.27/1442.34	c Got one! Elapsed wall clock time (in seconds):1442.214
1450.27/1442.34	o 6200
1451.39/1443.30	c cleaning 103619 clauses out of 207253 with flag 5001/15598239
1452.01/1443.97	c cleaning 54809 clauses out of 109633 with flag 11000/15604238
1452.64/1444.55	c cleaning 30906 clauses out of 61825 with flag 18001/15611239
1453.26/1445.13	c cleaning 19449 clauses out of 38919 with flag 26001/15619239
1453.89/1445.76	c cleaning 14227 clauses out of 28470 with flag 35001/15628239
1454.62/1446.43	c cleaning 12111 clauses out of 24242 with flag 45000/15638238
1455.36/1447.17	c cleaning 11559 clauses out of 23132 with flag 56001/15649239
1456.18/1447.97	c cleaning 11777 clauses out of 23572 with flag 68000/15661238
1457.10/1448.84	c cleaning 12388 clauses out of 24795 with flag 81000/15674238
1458.03/1449.78	c cleaning 13189 clauses out of 26407 with flag 95000/15688238
1459.04/1450.78	c cleaning 14098 clauses out of 28219 with flag 110001/15703239
1460.16/1451.83	c cleaning 15052 clauses out of 30122 with flag 126002/15719240
1461.38/1453.06	c cleaning 16024 clauses out of 32068 with flag 143000/15736238
1462.79/1454.45	c cleaning 17013 clauses out of 34045 with flag 161001/15754239
1464.23/1455.87	c cleaning 18007 clauses out of 36031 with flag 180000/15773238
1465.66/1457.23	c cleaning 19001 clauses out of 38024 with flag 200000/15793238
1466.98/1458.60	c cleaning 20006 clauses out of 40023 with flag 221000/15814238
1468.40/1459.99	c cleaning 21002 clauses out of 42019 with flag 243002/15836240
1470.01/1461.58	c cleaning 21998 clauses out of 44016 with flag 266001/15859239
1471.73/1463.21	c cleaning 23001 clauses out of 46017 with flag 290000/15883238
1473.44/1464.94	c cleaning 24004 clauses out of 48017 with flag 315001/15908239
1475.27/1466.76	c cleaning 25000 clauses out of 50012 with flag 341000/15934238
1477.29/1468.75	c cleaning 25997 clauses out of 52012 with flag 368000/15961238
1479.34/1470.74	c cleaning 26993 clauses out of 54015 with flag 396000/15989238
1481.35/1472.76	c cleaning 28003 clauses out of 56022 with flag 425000/16018238
1483.46/1474.83	c cleaning 29002 clauses out of 58019 with flag 455000/16048238
1485.56/1476.95	c cleaning 30004 clauses out of 60018 with flag 486001/16079239
1487.69/1479.09	c cleaning 30999 clauses out of 62014 with flag 518001/16111239
1490.00/1481.38	c cleaning 32000 clauses out of 64014 with flag 551000/16144238
1492.44/1483.77	c cleaning 32997 clauses out of 66014 with flag 585000/16178238
1494.88/1486.15	c cleaning 34003 clauses out of 68017 with flag 620000/16213238
1497.38/1488.67	c cleaning 34996 clauses out of 70014 with flag 656000/16249238
1500.09/1491.34	c cleaning 36000 clauses out of 72018 with flag 693000/16286238
1503.01/1494.26	c cleaning 37000 clauses out of 74019 with flag 731001/16324239
1505.84/1497.01	c cleaning 37995 clauses out of 76018 with flag 770000/16363238
1508.95/1500.17	c cleaning 38999 clauses out of 78023 with flag 810000/16403238
1512.08/1503.23	c cleaning 40002 clauses out of 80026 with flag 851002/16444240
1515.21/1506.32	c cleaning 41000 clauses out of 82023 with flag 893001/16486239
1518.32/1509.45	c cleaning 42006 clauses out of 84023 with flag 936001/16529239
1521.54/1512.65	c cleaning 43000 clauses out of 86016 with flag 980000/16573238
1524.86/1515.91	c cleaning 43999 clauses out of 88016 with flag 1025000/16618238
1527.87/1518.94	c cleaning 45003 clauses out of 90019 with flag 1071002/16664240
1531.81/1522.84	c cleaning 46001 clauses out of 92015 with flag 1118001/16711239
1536.04/1527.05	c cleaning 47000 clauses out of 94014 with flag 1166001/16759239
1540.35/1531.30	c cleaning 47998 clauses out of 96014 with flag 1215001/16808239
1545.08/1536.08	c cleaning 48998 clauses out of 98015 with flag 1265000/16858238
1549.50/1540.46	c cleaning 50002 clauses out of 100017 with flag 1316000/16909238
1554.03/1544.97	c cleaning 50998 clauses out of 102016 with flag 1368001/16961239
1559.16/1550.00	c cleaning 51997 clauses out of 104018 with flag 1421001/17014239
1563.89/1554.79	c cleaning 52999 clauses out of 106021 with flag 1475001/17068239
1568.72/1559.52	c cleaning 53994 clauses out of 108021 with flag 1530000/17123238
1573.15/1563.90	c cleaning 55005 clauses out of 110028 with flag 1586001/17179239
1577.87/1568.69	c cleaning 56000 clauses out of 112022 with flag 1643000/17236238
1583.20/1573.91	c cleaning 57003 clauses out of 114024 with flag 1701002/17294240
1588.52/1579.28	c cleaning 58002 clauses out of 116020 with flag 1760001/17353239
1593.14/1583.86	c cleaning 59001 clauses out of 118018 with flag 1820001/17413239
1597.87/1588.52	c cleaning 59998 clauses out of 120016 with flag 1881000/17474238
1603.31/1593.95	c cleaning 61004 clauses out of 122018 with flag 1943000/17536238
1608.74/1599.33	c cleaning 61997 clauses out of 124015 with flag 2006001/17599239
1613.96/1604.52	c cleaning 63000 clauses out of 126019 with flag 2070002/17663240
1619.46/1610.08	c cleaning 63999 clauses out of 128018 with flag 2135001/17728239
1625.20/1615.76	c cleaning 65002 clauses out of 130019 with flag 2201001/17794239
1631.23/1621.74	c cleaning 66000 clauses out of 132016 with flag 2268000/17861238
1636.84/1627.31	c cleaning 66997 clauses out of 134017 with flag 2336001/17929239
1642.87/1633.34	c cleaning 68000 clauses out of 136020 with flag 2405001/17998239
1649.19/1639.65	c cleaning 69000 clauses out of 138020 with flag 2475001/18068239
1655.92/1646.36	c cleaning 70002 clauses out of 140020 with flag 2546001/18139239
1661.93/1652.34	c cleaning 71000 clauses out of 142017 with flag 2618000/18211238
1668.74/1659.14	c cleaning 72003 clauses out of 144018 with flag 2691001/18284239
1675.94/1666.32	c cleaning 72997 clauses out of 146014 with flag 2765000/18358238
1683.15/1673.52	c cleaning 74002 clauses out of 148017 with flag 2840000/18433238
1690.49/1680.85	c cleaning 74998 clauses out of 150015 with flag 2916000/18509238
1697.51/1687.89	c cleaning 75997 clauses out of 152017 with flag 2993000/18586238
1704.79/1695.05	c cleaning 77001 clauses out of 154020 with flag 3071000/18664238
1711.42/1701.67	c cleaning 78002 clauses out of 156021 with flag 3150002/18743240
1718.66/1708.85	c cleaning 79000 clauses out of 158017 with flag 3230000/18823238
1726.29/1716.41	c cleaning 79998 clauses out of 160018 with flag 3311001/18904239
1734.22/1724.37	c cleaning 80996 clauses out of 162021 with flag 3393002/18986240
1742.46/1732.51	c cleaning 81998 clauses out of 164023 with flag 3476000/19069238
1749.57/1739.68	c cleaning 83003 clauses out of 166025 with flag 3560000/19153238
1757.60/1747.64	c cleaning 84001 clauses out of 168024 with flag 3645002/19238240
1765.74/1755.75	c cleaning 84998 clauses out of 170022 with flag 3731001/19324239
1774.36/1764.32	c cleaning 86002 clauses out of 172024 with flag 3818001/19411239
1783.08/1773.10	c cleaning 87001 clauses out of 174022 with flag 3906001/19499239
1791.72/1781.64	c cleaning 87999 clauses out of 176020 with flag 3995000/19588238
1800.04/1789.91	c starts		: 353
1800.04/1789.91	c conflicts		: 19678239
1800.04/1789.91	c decisions		: 27847339
1800.04/1789.91	c propagations		: 651158225
1800.04/1789.91	c inspects		: 8578358148
1800.04/1789.91	c shortcuts		: 0
1800.04/1789.91	c learnt literals	: 0
1800.04/1789.91	c learnt binary clauses	: 3
1800.04/1789.91	c learnt ternary clauses	: 16
1800.04/1789.91	c learnt constraints	: 19678239
1800.04/1789.91	c ignored constraints	: 0
1800.04/1789.91	c root simplifications	: 353
1800.04/1789.91	c removed literals (reason simplification)	: 319172297
1800.04/1789.91	c reason swapping (by a shorter reason)	: 0
1800.04/1789.91	c Calls to reduceDB	: 258
1800.04/1789.91	c number of reductions to clauses (during analyze)	: 0
1800.04/1789.91	c number of learned constraints concerned by reduction	: 0
1800.04/1789.91	c number of learning phase by resolution	: 0
1800.04/1789.91	c number of learning phase by cutting planes	: 0
1800.04/1789.91	c speed (assignments/second)	: 363851.77062233706
1800.04/1789.91	c non guided choices	11228
1800.04/1789.93	c learnt constraints type 
1800.04/1789.93	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3
1800.04/1789.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 178019
1800.04/1789.93	c constraints type 
1800.04/1789.93	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1078
1800.04/1789.93	c ignored satisfied constraints => 65
1800.04/1789.93	c org.sat4j.minisat.constraints.cnf.UnitClause => 14
1800.04/1789.94	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 501
1800.04/1789.94	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.04/1789.94	c 1659 constraints processed.
1800.04/1789.94	s SATISFIABLE
1800.04/1789.94	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 
1800.04/1789.94	c objective function=6200
1800.04/1789.94	c Total wall clock time (in seconds): 1789.812

Verifier Data 

OK	6200

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

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

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


[startup+0 s]
/proc/loadavg: 2.06 2.05 2.00 3/194 17246
/proc/meminfo: memFree=29099872/32873844 swapFree=7116/7116
[pid=17246] ppid=17244 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/17246/stat : 17246 (java) R 17244 17246 14200 0 -1 4202496 979 0 0 0 0 0 0 0 20 0 1 0 280400357 23793664 706 33554432000 1073741824 1073778376 140733265119552 140733265108616 227132087643 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17246/statm: 5809 706 521 9 0 128 0

[startup+0.030231 s]
/proc/loadavg: 2.06 2.05 2.00 3/194 17246
/proc/meminfo: memFree=29099872/32873844 swapFree=7116/7116
[pid=17246] ppid=17244 vsize=9092432 CPUtime=0.01 cores=0,2,4,6
/proc/17246/stat : 17246 (java) S 17244 17246 14200 0 -1 4202496 2903 0 1 0 1 0 0 0 20 0 11 0 280400357 9310650368 3602 33554432000 1073741824 1073778376 140733265119552 140733265110688 227144663101 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17246/statm: 2273108 3602 1631 9 0 2263809 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432

[startup+0.100255 s]
/proc/loadavg: 2.06 2.05 2.00 3/194 17246
/proc/meminfo: memFree=29099872/32873844 swapFree=7116/7116
[pid=17246] ppid=17244 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/17246/stat : 17246 (java) S 17244 17246 14200 0 -1 4202496 4223 0 1 0 10 0 0 0 20 0 18 0 280400357 9787842560 5430 33554432000 1073741824 1073778376 140733265119552 140733265110688 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17246/statm: 2389610 5430 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300216 s]
/proc/loadavg: 2.06 2.05 2.00 3/194 17246
/proc/meminfo: memFree=29099872/32873844 swapFree=7116/7116
[pid=17246] ppid=17244 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/17246/stat : 17246 (java) S 17244 17246 14200 0 -1 4202496 5778 0 1 0 46 1 0 0 20 0 19 0 280400357 9856004096 8538 33554432000 1073741824 1073778376 140733265119552 140733265110688 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17246/statm: 2406251 8539 2232 9 0 2396937 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9625004

[startup+0.700212 s]
/proc/loadavg: 2.06 2.05 2.00 3/194 17246
/proc/meminfo: memFree=29099872/32873844 swapFree=7116/7116
[pid=17246] ppid=17244 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/17246/stat : 17246 (java) S 17244 17246 14200 0 -1 4202496 7490 0 1 0 115 2 0 0 20 0 19 0 280400357 9856004096 10157 33554432000 1073741824 1073778376 140733265119552 140733265110688 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17246/statm: 2406251 10157 2256 9 0 2396937 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 9625004

[startup+1.50062 s]
/proc/loadavg: 2.06 2.05 2.00 3/213 17265
/proc/meminfo: memFree=29059540/32873844 swapFree=7116/7116
[pid=17246] ppid=17244 vsize=9625004 CPUtime=2.07 cores=0,2,4,6
/proc/17246/stat : 17246 (java) S 17244 17246 14200 0 -1 4202496 7548 0 1 0 205 2 0 0 20 0 19 0 280400357 9856004096 13275 33554432000 1073741824 1073778376 140733265119552 140733265110688 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17246/statm: 2406251 13275 2281 9 0 2396937 0
[pid=17246/tid=17248] ppid=17244 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/17246/task/17248/stat : 17248 (java) R 17244 17246 14200 0 -1 4202560 2532 0 1 0 143 1 0 0 20 0 19 0 280400358 9856004096 13275 33554432000 1073741824 1073778376 140733265119552 139687535481136 139687386204730 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17249] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17249/stat : 17249 (java) S 17244 17246 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 13275 33554432000 1073741824 1073778376 140733265119552 139687507933480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17250] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17250/stat : 17250 (java) S 17244 17246 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 13275 33554432000 1073741824 1073778376 140733265119552 139687506880680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17251] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17251/stat : 17251 (java) S 17244 17246 14200 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 13275 33554432000 1073741824 1073778376 140733265119552 139687505828392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17246/tid=17252] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17252/stat : 17252 (java) S 17244 17246 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 13275 33554432000 1073741824 1073778376 140733265119552 139687504775592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17253] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17253/stat : 17253 (java) S 17244 17246 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 13275 33554432000 1073741824 1073778376 140733265119552 139687374662440 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17246/tid=17254] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17254/stat : 17254 (java) S 17244 17246 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 13275 33554432000 1073741824 1073778376 140733265119552 139687373609640 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17255] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17255/stat : 17255 (java) S 17244 17246 14200 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 13275 33554432000 1073741824 1073778376 140733265119552 139687372557352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17256] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17256/stat : 17256 (java) S 17244 17246 14200 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 13275 33554432000 1073741824 1073778376 140733265119552 139687371504552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17257] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17257/stat : 17257 (java) S 17244 17246 14200 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 280400360 9856004096 13275 33554432000 1073741824 1073778376 140733265119552 139686888990952 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17258] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17258/stat : 17258 (java) S 17244 17246 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280400360 9856004096 13275 33554432000 1073741824 1073778376 140733265119552 139686887937016 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17259] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17259/stat : 17259 (java) S 17244 17246 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280400360 9856004096 13275 33554432000 1073741824 1073778376 140733265119552 139686886884616 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17260] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17260/stat : 17260 (java) S 17244 17246 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280400363 9856004096 13275 33554432000 1073741824 1073778376 140733265119552 139686885833104 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17261] ppid=17244 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/17246/task/17261/stat : 17261 (java) S 17244 17246 14200 0 -1 4202560 1526 0 0 0 26 0 0 0 20 0 19 0 280400363 9856004096 13275 33554432000 1073741824 1073778376 140733265119552 139686884780728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17262] ppid=17244 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/17246/task/17262/stat : 17262 (java) S 17244 17246 14200 0 -1 4202560 2245 0 0 0 28 0 0 0 20 0 19 0 280400363 9856004096 13275 33554432000 1073741824 1073778376 140733265119552 139686883727928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17263] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17263/stat : 17263 (java) S 17244 17246 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280400363 9856004096 13275 33554432000 1073741824 1073778376 140733265119552 139686882675832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17264] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17264/stat : 17264 (java) S 17244 17246 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280400363 9856004096 13275 33554432000 1073741824 1073778376 140733265119552 139686881623240 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17265] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17265/stat : 17265 (java) S 17244 17246 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280400386 9856004096 13275 33554432000 1073741824 1073778376 140733265119552 139686880568232 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 9625004

[startup+3.10056 s]
/proc/loadavg: 2.06 2.05 2.00 3/213 17265
/proc/meminfo: memFree=29048440/32873844 swapFree=7116/7116
[pid=17246] ppid=17244 vsize=9625004 CPUtime=3.74 cores=0,2,4,6
/proc/17246/stat : 17246 (java) S 17244 17246 14200 0 -1 4202496 7800 0 1 0 371 3 0 0 20 0 19 0 280400357 9856004096 14310 33554432000 1073741824 1073778376 140733265119552 140733265110688 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17246/statm: 2406251 14310 2281 9 0 2396937 0
[pid=17246/tid=17248] ppid=17244 vsize=9625004 CPUtime=3 cores=0,2,4,6
/proc/17246/task/17248/stat : 17248 (java) R 17244 17246 14200 0 -1 4202560 2533 0 1 0 299 1 0 0 20 0 19 0 280400358 9856004096 14310 33554432000 1073741824 1073778376 140733265119552 139687535481136 139687385694161 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17249] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17249/stat : 17249 (java) S 17244 17246 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 14310 33554432000 1073741824 1073778376 140733265119552 139687507933480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17250] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17250/stat : 17250 (java) S 17244 17246 14200 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 14310 33554432000 1073741824 1073778376 140733265119552 139687506880680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17251] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17251/stat : 17251 (java) S 17244 17246 14200 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 14310 33554432000 1073741824 1073778376 140733265119552 139687505828392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17246/tid=17252] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17252/stat : 17252 (java) S 17244 17246 14200 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 14310 33554432000 1073741824 1073778376 140733265119552 139687504775592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17253] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17253/stat : 17253 (java) S 17244 17246 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 14310 33554432000 1073741824 1073778376 140733265119552 139687374662440 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17246/tid=17254] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17254/stat : 17254 (java) S 17244 17246 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 14310 33554432000 1073741824 1073778376 140733265119552 139687373609640 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17255] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17255/stat : 17255 (java) S 17244 17246 14200 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 14310 33554432000 1073741824 1073778376 140733265119552 139687372557352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17256] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17256/stat : 17256 (java) S 17244 17246 14200 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 14310 33554432000 1073741824 1073778376 140733265119552 139687371504552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17257] ppid=17244 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/17246/task/17257/stat : 17257 (java) S 17244 17246 14200 0 -1 4202560 33 0 0 0 4 0 0 0 20 0 19 0 280400360 9856004096 14310 33554432000 1073741824 1073778376 140733265119552 139686888990952 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17258] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17258/stat : 17258 (java) S 17244 17246 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280400360 9856004096 14310 33554432000 1073741824 1073778376 140733265119552 139686887937016 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17259] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17259/stat : 17259 (java) S 17244 17246 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280400360 9856004096 14310 33554432000 1073741824 1073778376 140733265119552 139686886884616 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17260] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17260/stat : 17260 (java) S 17244 17246 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280400363 9856004096 14310 33554432000 1073741824 1073778376 140733265119552 139686885833104 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17261] ppid=17244 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/17246/task/17261/stat : 17261 (java) S 17244 17246 14200 0 -1 4202560 1526 0 0 0 27 0 0 0 20 0 19 0 280400363 9856004096 14310 33554432000 1073741824 1073778376 140733265119552 139686884780728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17262] ppid=17244 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/17246/task/17262/stat : 17262 (java) S 17244 17246 14200 0 -1 4202560 2480 0 0 0 33 0 0 0 20 0 19 0 280400363 9856004096 14310 33554432000 1073741824 1073778376 140733265119552 139686883727928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17263] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17263/stat : 17263 (java) S 17244 17246 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280400363 9856004096 14310 33554432000 1073741824 1073778376 140733265119552 139686882675832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17264] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17264/stat : 17264 (java) S 17244 17246 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280400363 9856004096 14310 33554432000 1073741824 1073778376 140733265119552 139686881623240 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17265] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17265/stat : 17265 (java) S 17244 17246 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280400386 9856004096 14310 33554432000 1073741824 1073778376 140733265119552 139686880568232 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 9625004

[startup+6.30062 s]
/proc/loadavg: 2.06 2.05 2.00 3/213 17265
/proc/meminfo: memFree=29039876/32873844 swapFree=7116/7116
[pid=17246] ppid=17244 vsize=9625004 CPUtime=6.98 cores=0,2,4,6
/proc/17246/stat : 17246 (java) S 17244 17246 14200 0 -1 4202496 7836 0 1 0 695 3 0 0 20 0 19 0 280400357 9856004096 16869 33554432000 1073741824 1073778376 140733265119552 140733265110688 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17246/statm: 2406251 16869 2281 9 0 2396937 0
[pid=17246/tid=17248] ppid=17244 vsize=9625004 CPUtime=6.1 cores=0,2,4,6
/proc/17246/task/17248/stat : 17248 (java) R 17244 17246 14200 0 -1 4202560 2539 0 1 0 609 1 0 0 20 0 19 0 280400358 9856004096 16869 33554432000 1073741824 1073778376 140733265119552 139687535481096 139687386165184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17249] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17249/stat : 17249 (java) S 17244 17246 14200 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 16869 33554432000 1073741824 1073778376 140733265119552 139687507933480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17250] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17250/stat : 17250 (java) S 17244 17246 14200 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 16869 33554432000 1073741824 1073778376 140733265119552 139687506880680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17251] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17251/stat : 17251 (java) S 17244 17246 14200 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 16869 33554432000 1073741824 1073778376 140733265119552 139687505828392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17246/tid=17252] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17252/stat : 17252 (java) S 17244 17246 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 16869 33554432000 1073741824 1073778376 140733265119552 139687504775592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17253] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17253/stat : 17253 (java) S 17244 17246 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 16869 33554432000 1073741824 1073778376 140733265119552 139687374662440 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17246/tid=17254] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17254/stat : 17254 (java) S 17244 17246 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 16869 33554432000 1073741824 1073778376 140733265119552 139687373609640 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17255] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17255/stat : 17255 (java) S 17244 17246 14200 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 16869 33554432000 1073741824 1073778376 140733265119552 139687372557352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17256] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17256/stat : 17256 (java) S 17244 17246 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280400359 9856004096 16869 33554432000 1073741824 1073778376 140733265119552 139687371504552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17257] ppid=17244 vsize=9625004 CPUtime=0.11 cores=0,2,4,6
/proc/17246/task/17257/stat : 17257 (java) S 17244 17246 14200 0 -1 4202560 35 0 0 0 11 0 0 0 20 0 19 0 280400360 9856004096 16869 33554432000 1073741824 1073778376 140733265119552 139686888990952 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17258] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17258/stat : 17258 (java) S 17244 17246 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280400360 9856004096 16869 33554432000 1073741824 1073778376 140733265119552 139686887937016 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17259] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17259/stat : 17259 (java) S 17244 17246 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280400360 9856004096 16869 33554432000 1073741824 1073778376 140733265119552 139686886884616 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17260] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17260/stat : 17260 (java) S 17244 17246 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280400363 9856004096 16869 33554432000 1073741824 1073778376 140733265119552 139686885833104 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17261] ppid=17244 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/17246/task/17261/stat : 17261 (java) S 17244 17246 14200 0 -1 4202560 1526 0 0 0 27 0 0 0 20 0 19 0 280400363 9856004096 16869 33554432000 1073741824 1073778376 140733265119552 139686884780728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17262] ppid=17244 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/17246/task/17262/stat : 17262 (java) S 17244 17246 14200 0 -1 4202560 2480 0 0 0 33 0 0 0 20 0 19 0 280400363 9856004096 16869 33554432000 1073741824 1073778376 140733265119552 139686883727928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17263] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17263/stat : 17263 (java) S 17244 17246 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280400363 9856004096 16869 33554432000 1073741824 1073778376 140733265119552 139686882675832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17264] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17264/stat : 17264 (java) S 17244 17246 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280400363 9856004096 16869 33554432000 1073741824 1073778376 140733265119552 139686881623240 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17265] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17265/stat : 17265 (java) S 17244 17246 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280400386 9856004096 16869 33554432000 1073741824 1073778376 140733265119552 139686880568232 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=17246/tid=17261] ppid=17244 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/17246/task/17261/stat : 17261 (java) S 17244 17246 14200 0 -1 4202560 1526 0 0 0 27 0 0 0 20 0 19 0 280400363 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686884780728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17262] ppid=17244 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/17246/task/17262/stat : 17262 (java) S 17244 17246 14200 0 -1 4202560 5925 0 0 0 47 2 0 0 20 0 19 0 280400363 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686883727928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17263] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17263/stat : 17263 (java) S 17244 17246 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280400363 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686882675832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17264] ppid=17244 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/17246/task/17264/stat : 17264 (java) S 17244 17246 14200 0 -1 4202560 98 0 0 0 22 19 0 0 20 0 19 0 280400363 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686881623240 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17265] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17265/stat : 17265 (java) S 17244 17246 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280400386 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686880568232 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1732.22
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 17341
/proc/meminfo: memFree=28732592/32873844 swapFree=7116/7116
[pid=17246] ppid=17244 vsize=9625004 CPUtime=1792.43 cores=0,2,4,6
/proc/17246/stat : 17246 (java) S 17244 17246 14200 0 -1 4202496 14548 0 1 0 179189 54 0 0 20 0 19 0 280400357 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 140733265110688 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17246/statm: 2406251 97618 2282 9 0 2396937 0
[pid=17246/tid=17248] ppid=17244 vsize=9625004 CPUtime=1758.06 cores=0,2,4,6
/proc/17246/task/17248/stat : 17248 (java) R 17244 17246 14200 0 -1 4202560 2832 0 1 0 175776 30 0 0 20 0 19 0 280400358 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687535481136 139687386165974 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17249] ppid=17244 vsize=9625004 CPUtime=1.63 cores=0,2,4,6
/proc/17246/task/17249/stat : 17249 (java) S 17244 17246 14200 0 -1 4202560 304 0 0 0 159 4 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687507933480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17250] ppid=17244 vsize=9625004 CPUtime=1.69 cores=0,2,4,6
/proc/17246/task/17250/stat : 17250 (java) S 17244 17246 14200 0 -1 4202560 310 0 0 0 164 5 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687506880680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17251] ppid=17244 vsize=9625004 CPUtime=1.56 cores=0,2,4,6
/proc/17246/task/17251/stat : 17251 (java) S 17244 17246 14200 0 -1 4202560 359 0 0 0 153 3 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687505828392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17246/tid=17252] ppid=17244 vsize=9625004 CPUtime=1.71 cores=0,2,4,6
/proc/17246/task/17252/stat : 17252 (java) S 17244 17246 14200 0 -1 4202560 349 0 0 0 167 4 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687504775592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17246/tid=17253] ppid=17244 vsize=9625004 CPUtime=1.61 cores=0,2,4,6
/proc/17246/task/17253/stat : 17253 (java) S 17244 17246 14200 0 -1 4202560 371 0 0 0 157 4 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687374662440 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17254] ppid=17244 vsize=9625004 CPUtime=1.56 cores=0,2,4,6
/proc/17246/task/17254/stat : 17254 (java) S 17244 17246 14200 0 -1 4202560 376 0 0 0 151 5 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687373609640 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17255] ppid=17244 vsize=9625004 CPUtime=1.68 cores=0,2,4,6
/proc/17246/task/17255/stat : 17255 (java) S 17244 17246 14200 0 -1 4202560 344 0 0 0 165 3 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687372557352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17256] ppid=17244 vsize=9625004 CPUtime=1.56 cores=0,2,4,6
/proc/17246/task/17256/stat : 17256 (java) S 17244 17246 14200 0 -1 4202560 387 0 0 0 153 3 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687371504552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17257] ppid=17244 vsize=9625004 CPUtime=15.75 cores=0,2,4,6
/proc/17246/task/17257/stat : 17257 (java) S 17244 17246 14200 0 -1 4202560 182 0 0 0 1572 3 0 0 20 0 19 0 280400360 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686888990952 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17258] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17258/stat : 17258 (java) S 17244 17246 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280400360 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686887937016 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17259] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17259/stat : 17259 (java) S 17244 17246 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280400360 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686886884616 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17260] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17260/stat : 17260 (java) S 17244 17246 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280400363 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686885833104 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17261] ppid=17244 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/17246/task/17261/stat : 17261 (java) S 17244 17246 14200 0 -1 4202560 1526 0 0 0 27 0 0 0 20 0 19 0 280400363 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686884780728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17262] ppid=17244 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/17246/task/17262/stat : 17262 (java) S 17244 17246 14200 0 -1 4202560 5925 0 0 0 47 2 0 0 20 0 19 0 280400363 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686883727928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17263] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17263/stat : 17263 (java) S 17244 17246 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280400363 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686882675832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17264] ppid=17244 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/17246/task/17264/stat : 17264 (java) S 17244 17246 14200 0 -1 4202560 102 0 0 0 23 19 0 0 20 0 19 0 280400363 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686881623240 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17265] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17265/stat : 17265 (java) S 17244 17246 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280400386 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686880568232 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1792.43
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789.9 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 17341
/proc/meminfo: memFree=28726116/32873844 swapFree=7116/7116
[pid=17246] ppid=17244 vsize=9625004 CPUtime=1800.04 cores=0,2,4,6
/proc/17246/stat : 17246 (java) S 17244 17246 14200 0 -1 4202496 14548 0 1 0 179950 54 0 0 20 0 19 0 280400357 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 140733265110688 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17246/statm: 2406251 97618 2282 9 0 2396937 0
[pid=17246/tid=17248] ppid=17244 vsize=9625004 CPUtime=1765.64 cores=0,2,4,6
/proc/17246/task/17248/stat : 17248 (java) R 17244 17246 14200 0 -1 4202560 2832 0 1 0 176534 30 0 0 20 0 19 0 280400358 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687535481136 139687386371612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17249] ppid=17244 vsize=9625004 CPUtime=1.63 cores=0,2,4,6
/proc/17246/task/17249/stat : 17249 (java) S 17244 17246 14200 0 -1 4202560 304 0 0 0 159 4 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687507933480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17250] ppid=17244 vsize=9625004 CPUtime=1.69 cores=0,2,4,6
/proc/17246/task/17250/stat : 17250 (java) S 17244 17246 14200 0 -1 4202560 310 0 0 0 164 5 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687506880680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17251] ppid=17244 vsize=9625004 CPUtime=1.56 cores=0,2,4,6
/proc/17246/task/17251/stat : 17251 (java) S 17244 17246 14200 0 -1 4202560 359 0 0 0 153 3 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687505828392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17246/tid=17252] ppid=17244 vsize=9625004 CPUtime=1.71 cores=0,2,4,6
/proc/17246/task/17252/stat : 17252 (java) S 17244 17246 14200 0 -1 4202560 349 0 0 0 167 4 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687504775592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17246/tid=17253] ppid=17244 vsize=9625004 CPUtime=1.61 cores=0,2,4,6
/proc/17246/task/17253/stat : 17253 (java) S 17244 17246 14200 0 -1 4202560 371 0 0 0 157 4 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687374662440 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17254] ppid=17244 vsize=9625004 CPUtime=1.56 cores=0,2,4,6
/proc/17246/task/17254/stat : 17254 (java) S 17244 17246 14200 0 -1 4202560 376 0 0 0 151 5 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687373609640 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17255] ppid=17244 vsize=9625004 CPUtime=1.68 cores=0,2,4,6
/proc/17246/task/17255/stat : 17255 (java) S 17244 17246 14200 0 -1 4202560 344 0 0 0 165 3 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687372557352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17256] ppid=17244 vsize=9625004 CPUtime=1.56 cores=0,2,4,6
/proc/17246/task/17256/stat : 17256 (java) S 17244 17246 14200 0 -1 4202560 387 0 0 0 153 3 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687371504552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17257] ppid=17244 vsize=9625004 CPUtime=15.75 cores=0,2,4,6
/proc/17246/task/17257/stat : 17257 (java) S 17244 17246 14200 0 -1 4202560 182 0 0 0 1572 3 0 0 20 0 19 0 280400360 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686888990952 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17258] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17258/stat : 17258 (java) S 17244 17246 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280400360 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686887937016 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17259] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17259/stat : 17259 (java) S 17244 17246 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280400360 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686886884616 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17260] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17260/stat : 17260 (java) S 17244 17246 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280400363 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686885833104 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17261] ppid=17244 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/17246/task/17261/stat : 17261 (java) S 17244 17246 14200 0 -1 4202560 1526 0 0 0 27 0 0 0 20 0 19 0 280400363 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686884780728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17262] ppid=17244 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/17246/task/17262/stat : 17262 (java) S 17244 17246 14200 0 -1 4202560 5925 0 0 0 47 2 0 0 20 0 19 0 280400363 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686883727928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17263] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17263/stat : 17263 (java) S 17244 17246 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280400363 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686882675832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17264] ppid=17244 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/17246/task/17264/stat : 17264 (java) S 17244 17246 14200 0 -1 4202560 102 0 0 0 23 19 0 0 20 0 19 0 280400363 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686881623240 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17265] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17265/stat : 17265 (java) S 17244 17246 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280400386 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686880568232 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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+1789.9 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 17341
/proc/meminfo: memFree=28726116/32873844 swapFree=7116/7116
[pid=17246] ppid=17244 vsize=9625004 CPUtime=1800.04 cores=0,2,4,6
/proc/17246/stat : 17246 (java) S 17244 17246 14200 0 -1 4202496 14548 0 1 0 179950 54 0 0 20 0 19 0 280400357 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 140733265110688 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17246/statm: 2406251 97618 2282 9 0 2396937 0
[pid=17246/tid=17248] ppid=17244 vsize=9625004 CPUtime=1765.64 cores=0,2,4,6
/proc/17246/task/17248/stat : 17248 (java) R 17244 17246 14200 0 -1 4202560 2832 0 1 0 176534 30 0 0 20 0 19 0 280400358 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687535481136 139687386371612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17249] ppid=17244 vsize=9625004 CPUtime=1.63 cores=0,2,4,6
/proc/17246/task/17249/stat : 17249 (java) S 17244 17246 14200 0 -1 4202560 304 0 0 0 159 4 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687507933480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17250] ppid=17244 vsize=9625004 CPUtime=1.69 cores=0,2,4,6
/proc/17246/task/17250/stat : 17250 (java) S 17244 17246 14200 0 -1 4202560 310 0 0 0 164 5 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687506880680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17251] ppid=17244 vsize=9625004 CPUtime=1.56 cores=0,2,4,6
/proc/17246/task/17251/stat : 17251 (java) S 17244 17246 14200 0 -1 4202560 359 0 0 0 153 3 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687505828392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17246/tid=17252] ppid=17244 vsize=9625004 CPUtime=1.71 cores=0,2,4,6
/proc/17246/task/17252/stat : 17252 (java) S 17244 17246 14200 0 -1 4202560 349 0 0 0 167 4 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687504775592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17246/tid=17253] ppid=17244 vsize=9625004 CPUtime=1.61 cores=0,2,4,6
/proc/17246/task/17253/stat : 17253 (java) S 17244 17246 14200 0 -1 4202560 371 0 0 0 157 4 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687374662440 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17254] ppid=17244 vsize=9625004 CPUtime=1.56 cores=0,2,4,6
/proc/17246/task/17254/stat : 17254 (java) S 17244 17246 14200 0 -1 4202560 376 0 0 0 151 5 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687373609640 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17255] ppid=17244 vsize=9625004 CPUtime=1.68 cores=0,2,4,6
/proc/17246/task/17255/stat : 17255 (java) S 17244 17246 14200 0 -1 4202560 344 0 0 0 165 3 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687372557352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17256] ppid=17244 vsize=9625004 CPUtime=1.56 cores=0,2,4,6
/proc/17246/task/17256/stat : 17256 (java) S 17244 17246 14200 0 -1 4202560 387 0 0 0 153 3 0 0 20 0 19 0 280400359 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139687371504552 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17257] ppid=17244 vsize=9625004 CPUtime=15.75 cores=0,2,4,6
/proc/17246/task/17257/stat : 17257 (java) S 17244 17246 14200 0 -1 4202560 182 0 0 0 1572 3 0 0 20 0 19 0 280400360 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686888990952 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17258] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17258/stat : 17258 (java) S 17244 17246 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280400360 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686887937016 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17259] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17259/stat : 17259 (java) S 17244 17246 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280400360 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686886884616 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17260] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17260/stat : 17260 (java) S 17244 17246 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280400363 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686885833104 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17261] ppid=17244 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/17246/task/17261/stat : 17261 (java) S 17244 17246 14200 0 -1 4202560 1526 0 0 0 27 0 0 0 20 0 19 0 280400363 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686884780728 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17246/tid=17262] ppid=17244 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/17246/task/17262/stat : 17262 (java) S 17244 17246 14200 0 -1 4202560 5925 0 0 0 47 2 0 0 20 0 19 0 280400363 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686883727928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17263] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17263/stat : 17263 (java) S 17244 17246 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280400363 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686882675832 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17246/tid=17264] ppid=17244 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/17246/task/17264/stat : 17264 (java) S 17244 17246 14200 0 -1 4202560 102 0 0 0 23 19 0 0 20 0 19 0 280400363 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686881623240 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17246/tid=17265] ppid=17244 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17246/task/17265/stat : 17265 (java) S 17244 17246 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280400386 9856004096 97618 33554432000 1073741824 1073778376 140733265119552 139686880568232 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625004

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17246 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=910132
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=991849
# CPU time returned by wait4() is 1795.9
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1789.95
CPU time (s): 1800.04
CPU user time (s): 1799.5
CPU system time (s): 0.54
CPU usage (%): 100.564
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.91
system time used= 0.991849
maximum resident set size= 395292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14587
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45036
involuntary context switches= 31947

runsolver used 6.00109 second user time and 14.1249 second system time

The end

Launcher Data 

Begin job on node138 at 2012-05-27 20:19:13
IDJOB=3710621
IDBENCH=2017
IDSOLVER=2289
FILE ID=node138/3710621-1338142753
RUNJOBID= node138-1338139170-16910
PBS_JOBID= 14624507
Free space on /tmp= 71496 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.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-3710621-1338142753/watcher-3710621-1338142753 -o /tmp/evaluation-result-3710621-1338142753/solver-3710621-1338142753 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710621-1338142753.opb

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

MD5SUM BENCH= 866c660dea8282137b8c78839dd4c03f
RANDOM SEED=1552883616

node138.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		: 2667.347
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	: 5334.69
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		: 2667.347
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		: 2667.347
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.91
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		: 2667.347
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		: 2667.347
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		: 2667.347
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		: 2667.347
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.92
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		: 2667.347
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:       32873844 kB
MemFree:        29100136 kB
Buffers:          427804 kB
Cached:          2392908 kB
SwapCached:          212 kB
Active:           965656 kB
Inactive:        1931356 kB
Active(anon):      67276 kB
Inactive(anon):    11368 kB
Active(file):     898380 kB
Inactive(file):  1919988 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108644 kB
Dirty:              1856 kB
Writeback:             0 kB
AnonPages:         86976 kB
Mapped:            22560 kB
Shmem:               200 kB
Slab:             732508 kB
SReclaimable:     174740 kB
SUnreclaim:       557768 kB
KernelStack:        1608 kB
PageTables:         4424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71496 MiB
End job on node138 at 2012-05-27 20:49:05