Trace number 3710779

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)89 1800.58 1791.36

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.a.opb
MD5SUMa983c7d791d0da9cc5e2ec69578db721
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark4.24935
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved NO
Number of variables1226
Total number of constraints4208
Number of constraints which are clauses4208
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 constraint2
Maximum length of a constraint105
Number of terms in the objective function 1226
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 1226
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1226
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.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.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710779-1338153318.opb
0.09/0.12	c reading problem ... 
0.50/0.35	c ... done. Wall clock time 0.227s.
0.50/0.35	c declared #vars     1226
0.50/0.35	c #constraints  4208
0.50/0.35	c constraints type 
0.50/0.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3297
0.50/0.35	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 911
0.50/0.35	c 4208 constraints processed.
0.50/0.38	c SATISFIABLE
0.50/0.38	c OPTIMIZING...
0.50/0.38	c Got one! Elapsed wall clock time (in seconds):0.26
0.50/0.38	o 89
1.46/0.84	c cleaning 2499 clauses out of 5006 with flag 5001/5006
1.92/1.21	c cleaning 4248 clauses out of 8506 with flag 11000/11005
2.33/1.63	c cleaning 5625 clauses out of 11258 with flag 18000/18005
2.85/2.12	c cleaning 6812 clauses out of 13633 with flag 26000/26005
3.40/2.67	c cleaning 7905 clauses out of 15821 with flag 35000/35005
4.01/3.30	c cleaning 8953 clauses out of 17917 with flag 45001/45006
4.71/3.99	c cleaning 9969 clauses out of 19963 with flag 56000/56005
5.52/4.74	c cleaning 10992 clauses out of 21994 with flag 68000/68005
6.34/5.54	c cleaning 11996 clauses out of 24002 with flag 81000/81005
7.13/6.38	c cleaning 12997 clauses out of 26006 with flag 95000/95005
8.03/7.29	c cleaning 14000 clauses out of 28009 with flag 110000/110005
9.04/8.29	c cleaning 14996 clauses out of 30009 with flag 126000/126005
10.14/9.37	c cleaning 15998 clauses out of 32013 with flag 143000/143005
11.36/10.51	c cleaning 17002 clauses out of 34015 with flag 161000/161005
12.58/11.73	c cleaning 17998 clauses out of 36013 with flag 180000/180005
13.78/12.93	c cleaning 18987 clauses out of 38015 with flag 200000/200005
15.10/14.23	c cleaning 19999 clauses out of 40028 with flag 221000/221005
16.39/15.57	c cleaning 21006 clauses out of 42030 with flag 243001/243006
17.90/17.08	c cleaning 22003 clauses out of 44023 with flag 266000/266005
19.40/18.56	c cleaning 23004 clauses out of 46022 with flag 290002/290007
21.01/20.15	c cleaning 23999 clauses out of 48016 with flag 315000/315005
22.73/21.84	c cleaning 25002 clauses out of 50017 with flag 341000/341005
24.45/23.56	c cleaning 26000 clauses out of 52015 with flag 368000/368005
26.37/25.42	c cleaning 27000 clauses out of 54015 with flag 396000/396005
28.19/27.24	c cleaning 27996 clauses out of 56015 with flag 425000/425005
30.13/29.17	c cleaning 29000 clauses out of 58020 with flag 455001/455006
32.25/31.22	c cleaning 29998 clauses out of 60019 with flag 486000/486005
34.47/33.48	c cleaning 30992 clauses out of 62023 with flag 518002/518007
36.79/35.73	c cleaning 32008 clauses out of 64029 with flag 551000/551005
39.20/38.15	c cleaning 33003 clauses out of 66021 with flag 585000/585005
41.52/40.42	c cleaning 33990 clauses out of 68018 with flag 620000/620005
43.72/42.65	c cleaning 34992 clauses out of 70028 with flag 656000/656005
46.25/45.11	c cleaning 36008 clauses out of 72036 with flag 693000/693005
48.76/47.69	c cleaning 37005 clauses out of 74028 with flag 731000/731005
51.58/50.40	c cleaning 38000 clauses out of 76023 with flag 770000/770005
54.21/53.04	c cleaning 39004 clauses out of 78024 with flag 810001/810006
57.14/55.90	c cleaning 39995 clauses out of 80020 with flag 851001/851006
60.16/58.90	c cleaning 41006 clauses out of 82024 with flag 893000/893005
62.87/61.68	c cleaning 42001 clauses out of 84020 with flag 936002/936007
65.89/64.62	c cleaning 42999 clauses out of 86018 with flag 980001/980006
68.91/67.61	c cleaning 43998 clauses out of 88020 with flag 1025002/1025007
72.04/70.72	c cleaning 45004 clauses out of 90021 with flag 1071001/1071006
75.27/73.97	c cleaning 45996 clauses out of 92016 with flag 1118000/1118005
78.78/77.49	c cleaning 47002 clauses out of 94021 with flag 1166001/1166006
82.00/80.67	c cleaning 48004 clauses out of 96020 with flag 1215002/1215007
85.72/84.35	c cleaning 49001 clauses out of 98016 with flag 1265002/1265007
89.45/88.06	c cleaning 49997 clauses out of 100016 with flag 1316003/1316008
92.99/91.55	c cleaning 50989 clauses out of 102016 with flag 1368000/1368005
96.41/94.95	c cleaning 52007 clauses out of 104028 with flag 1421001/1421006
100.22/98.74	c cleaning 53004 clauses out of 106020 with flag 1475000/1475005
103.95/102.48	c cleaning 54003 clauses out of 108017 with flag 1530001/1530006
107.68/106.17	c cleaning 54991 clauses out of 110013 with flag 1586000/1586005
111.52/109.90	c cleaning 56002 clauses out of 112022 with flag 1643000/1643005
115.64/114.06	c cleaning 56990 clauses out of 114020 with flag 1701000/1701005
120.16/118.58	c cleaning 58008 clauses out of 116033 with flag 1760003/1760008
124.49/122.86	c cleaning 59000 clauses out of 118022 with flag 1820000/1820005
128.90/127.28	c cleaning 59990 clauses out of 120023 with flag 1881001/1881006
133.62/131.99	c cleaning 60999 clauses out of 122032 with flag 1943000/1943005
138.53/136.82	c cleaning 62013 clauses out of 124035 with flag 2006002/2006007
142.96/141.20	c cleaning 63000 clauses out of 126020 with flag 2070000/2070005
147.37/145.66	c cleaning 63999 clauses out of 128020 with flag 2135000/2135005
152.20/150.44	c cleaning 65001 clauses out of 130022 with flag 2201001/2201006
157.06/155.22	c cleaning 65993 clauses out of 132020 with flag 2268000/2268005
161.87/160.05	c cleaning 66999 clauses out of 134027 with flag 2336000/2336005
167.30/165.41	c cleaning 68002 clauses out of 136028 with flag 2405000/2405005
172.22/170.33	c cleaning 69002 clauses out of 138026 with flag 2475000/2475005
177.55/175.65	c cleaning 70008 clauses out of 140024 with flag 2546000/2546005
183.58/181.63	c cleaning 70996 clauses out of 142016 with flag 2618000/2618005
188.80/186.80	c cleaning 72003 clauses out of 144020 with flag 2691000/2691005
194.74/192.75	c cleaning 72999 clauses out of 146018 with flag 2765001/2765006
200.99/198.99	c cleaning 73998 clauses out of 148018 with flag 2840000/2840005
207.33/205.28	c cleaning 75000 clauses out of 150020 with flag 2916000/2916005
213.67/211.55	c cleaning 76007 clauses out of 152020 with flag 2993000/2993005
219.00/216.82	c cleaning 76995 clauses out of 154013 with flag 3071000/3071005
224.73/222.51	c cleaning 78002 clauses out of 156018 with flag 3150000/3150005
230.47/228.26	c cleaning 78995 clauses out of 158016 with flag 3230000/3230005
236.29/234.03	c cleaning 79992 clauses out of 160021 with flag 3311000/3311005
243.40/241.15	c cleaning 80998 clauses out of 162029 with flag 3393000/3393005
249.55/247.25	c cleaning 82002 clauses out of 164033 with flag 3476002/3476007
256.56/254.23	c cleaning 83002 clauses out of 166029 with flag 3560000/3560005
264.30/261.98	c cleaning 84004 clauses out of 168031 with flag 3645004/3645009
270.97/268.52	c cleaning 85000 clauses out of 170023 with flag 3731000/3731005
277.99/275.57	c cleaning 86003 clauses out of 172023 with flag 3818000/3818005
285.62/283.10	c cleaning 86995 clauses out of 174021 with flag 3906001/3906006
292.69/290.10	c cleaning 88002 clauses out of 176025 with flag 3995000/3995005
300.23/297.66	c cleaning 89003 clauses out of 178025 with flag 4085002/4085007
307.95/305.37	c cleaning 89991 clauses out of 180024 with flag 4176004/4176009
315.49/312.89	c cleaning 91002 clauses out of 182030 with flag 4268001/4268006
323.02/320.35	c cleaning 92000 clauses out of 184027 with flag 4361000/4361005
330.86/328.17	c cleaning 92997 clauses out of 186030 with flag 4455003/4455008
338.07/335.33	c cleaning 94001 clauses out of 188030 with flag 4550000/4550005
344.70/341.96	c cleaning 95007 clauses out of 190032 with flag 4646003/4646008
351.93/349.10	c cleaning 95999 clauses out of 192022 with flag 4743000/4743005
358.86/356.06	c cleaning 96997 clauses out of 194023 with flag 4841000/4841005
366.01/363.18	c cleaning 98007 clauses out of 196026 with flag 4940000/4940005
374.13/371.25	c cleaning 99004 clauses out of 198019 with flag 5040000/5040005
383.91/380.92	c cleaning 99993 clauses out of 200015 with flag 5141000/5141005
391.46/388.48	c cleaning 101000 clauses out of 202022 with flag 5243000/5243005
399.59/396.58	c cleaning 101995 clauses out of 204022 with flag 5346000/5346005
408.21/405.14	c cleaning 103003 clauses out of 206028 with flag 5450001/5450006
416.36/413.22	c cleaning 104005 clauses out of 208024 with flag 5555000/5555005
425.39/422.28	c cleaning 105003 clauses out of 210019 with flag 5661000/5661005
434.95/431.78	c cleaning 106008 clauses out of 212018 with flag 5768002/5768007
444.60/441.34	c cleaning 106991 clauses out of 214008 with flag 5876000/5876005
453.85/450.53	c cleaning 108000 clauses out of 216017 with flag 5985000/5985005
463.22/459.89	c cleaning 109002 clauses out of 218018 with flag 6095001/6095006
473.07/469.70	c cleaning 109984 clauses out of 220015 with flag 6206000/6206005
483.53/480.01	c cleaning 111005 clauses out of 222031 with flag 6318000/6318005
494.07/490.53	c cleaning 112003 clauses out of 224028 with flag 6431002/6431007
504.29/500.71	c cleaning 113003 clauses out of 226023 with flag 6545000/6545005
515.64/512.02	c cleaning 113997 clauses out of 228020 with flag 6660000/6660005
525.40/521.77	c cleaning 115006 clauses out of 230023 with flag 6776000/6776005
533.94/530.21	c cleaning 116000 clauses out of 232017 with flag 6893000/6893005
543.17/539.42	c cleaning 117002 clauses out of 234017 with flag 7011000/7011005
553.40/549.63	c cleaning 118001 clauses out of 236015 with flag 7130000/7130005
563.43/559.63	c cleaning 118998 clauses out of 238016 with flag 7250002/7250007
575.08/571.27	c cleaning 119999 clauses out of 240017 with flag 7371001/7371006
584.83/580.92	c cleaning 120998 clauses out of 242018 with flag 7493001/7493006
596.18/592.24	c cleaning 121998 clauses out of 244020 with flag 7616001/7616006
606.13/602.14	c cleaning 123002 clauses out of 246021 with flag 7740000/7740005
618.07/614.00	c cleaning 123997 clauses out of 248019 with flag 7865000/7865005
629.92/625.88	c cleaning 125003 clauses out of 250024 with flag 7991002/7991007
641.38/637.24	c cleaning 126002 clauses out of 252019 with flag 8118000/8118005
651.72/647.52	c cleaning 126994 clauses out of 254017 with flag 8246000/8246005
662.78/658.56	c cleaning 127998 clauses out of 256023 with flag 8375000/8375005
675.11/670.85	c cleaning 129005 clauses out of 258028 with flag 8505003/8505008
687.15/682.81	c cleaning 129996 clauses out of 260020 with flag 8636000/8636005
700.92/696.52	c cleaning 131002 clauses out of 262024 with flag 8768000/8768005
713.87/709.43	c cleaning 131998 clauses out of 264022 with flag 8901000/8901005
724.23/719.74	c cleaning 133004 clauses out of 266024 with flag 9035000/9035005
737.17/732.63	c cleaning 134003 clauses out of 268022 with flag 9170002/9170007
750.04/745.48	c cleaning 134995 clauses out of 270017 with flag 9306000/9306005
762.49/757.85	c cleaning 135999 clauses out of 272022 with flag 9443000/9443005
774.75/770.02	c cleaning 137001 clauses out of 274023 with flag 9581000/9581005
787.69/782.96	c cleaning 137996 clauses out of 276023 with flag 9720001/9720006
800.83/796.02	c cleaning 138998 clauses out of 278026 with flag 9860000/9860005
814.07/809.24	c cleaning 139995 clauses out of 280028 with flag 10001000/10001005
825.91/821.03	c cleaning 141014 clauses out of 282035 with flag 10143002/10143007
836.93/832.01	c cleaning 142001 clauses out of 284020 with flag 10286001/10286006
847.68/842.75	c cleaning 143004 clauses out of 286019 with flag 10430001/10430006
859.73/854.70	c cleaning 143988 clauses out of 288014 with flag 10575000/10575005
875.76/870.70	c cleaning 145002 clauses out of 290028 with flag 10721002/10721007
888.45/883.35	c cleaning 146004 clauses out of 292026 with flag 10868002/10868007
901.60/896.49	c cleaning 147003 clauses out of 294020 with flag 11016000/11016005
913.37/908.12	c cleaning 147997 clauses out of 296017 with flag 11165000/11165005
927.90/922.65	c cleaning 148997 clauses out of 298020 with flag 11315000/11315005
941.18/935.86	c cleaning 149998 clauses out of 300024 with flag 11466001/11466006
954.74/949.39	c cleaning 150996 clauses out of 302025 with flag 11618000/11618005
969.72/964.29	c cleaning 152008 clauses out of 304029 with flag 11771000/11771005
984.95/979.41	c cleaning 152999 clauses out of 306022 with flag 11925001/11925006
1001.03/995.42	c cleaning 153998 clauses out of 308022 with flag 12080000/12080005
1016.09/1010.48	c cleaning 154999 clauses out of 310024 with flag 12236000/12236005
1029.04/1023.39	c cleaning 156006 clauses out of 312026 with flag 12393001/12393006
1044.18/1038.46	c cleaning 156997 clauses out of 314020 with flag 12551001/12551006
1060.27/1054.47	c cleaning 158000 clauses out of 316023 with flag 12710001/12710006
1077.12/1071.25	c cleaning 159000 clauses out of 318022 with flag 12870000/12870005
1093.68/1087.79	c cleaning 160000 clauses out of 320022 with flag 13031000/13031005
1110.05/1104.07	c cleaning 160995 clauses out of 322023 with flag 13193001/13193006
1126.30/1120.23	c cleaning 161997 clauses out of 324027 with flag 13356000/13356005
1140.17/1134.07	c cleaning 163005 clauses out of 326030 with flag 13520000/13520005
1153.33/1147.17	c cleaning 163999 clauses out of 328025 with flag 13685000/13685005
1169.00/1162.77	c cleaning 164989 clauses out of 330026 with flag 13851000/13851005
1183.05/1176.75	c cleaning 166009 clauses out of 332037 with flag 14018000/14018005
1198.09/1191.77	c cleaning 166990 clauses out of 334029 with flag 14186001/14186006
1214.01/1207.60	c cleaning 167998 clauses out of 336038 with flag 14355000/14355005
1229.67/1223.24	c cleaning 168995 clauses out of 338040 with flag 14525000/14525005
1245.79/1239.32	c cleaning 169997 clauses out of 340045 with flag 14696000/14696005
1262.76/1256.24	c cleaning 171014 clauses out of 342050 with flag 14868002/14868007
1279.23/1272.61	c cleaning 172003 clauses out of 344035 with flag 15041001/15041006
1294.38/1287.79	c cleaning 173007 clauses out of 346031 with flag 15215000/15215005
1307.71/1301.10	c cleaning 173995 clauses out of 348024 with flag 15390000/15390005
1321.68/1314.94	c cleaning 174999 clauses out of 350031 with flag 15566002/15566007
1336.75/1329.96	c cleaning 175996 clauses out of 352030 with flag 15743000/15743005
1352.40/1345.56	c cleaning 177010 clauses out of 354034 with flag 15921000/15921005
1372.21/1365.26	c cleaning 178002 clauses out of 356024 with flag 16100000/16100005
1387.97/1380.97	c cleaning 179003 clauses out of 358024 with flag 16280002/16280007
1407.63/1400.59	c cleaning 179994 clauses out of 360020 with flag 16461001/16461006
1425.60/1418.45	c cleaning 181007 clauses out of 362026 with flag 16643001/16643006
1442.29/1435.07	c cleaning 181999 clauses out of 364018 with flag 16826000/16826005
1462.25/1454.96	c cleaning 182992 clauses out of 366019 with flag 17010000/17010005
1481.27/1473.81	c cleaning 184004 clauses out of 368028 with flag 17195001/17195006
1501.53/1494.04	c cleaning 184999 clauses out of 370023 with flag 17381000/17381005
1520.04/1512.48	c cleaning 186002 clauses out of 372024 with flag 17568000/17568005
1540.89/1533.21	c cleaning 187004 clauses out of 374025 with flag 17756003/17756008
1562.60/1554.82	c cleaning 188000 clauses out of 376020 with flag 17945002/17945007
1584.87/1577.01	c cleaning 188996 clauses out of 378018 with flag 18135000/18135005
1607.13/1599.28	c cleaning 189995 clauses out of 380022 with flag 18326000/18326005
1628.91/1620.92	c cleaning 191011 clauses out of 382027 with flag 18518000/18518005
1648.93/1640.87	c cleaning 191996 clauses out of 384016 with flag 18711000/18711005
1667.72/1659.56	c cleaning 192997 clauses out of 386020 with flag 18905000/18905005
1690.97/1682.77	c cleaning 194000 clauses out of 388023 with flag 19100000/19100005
1712.96/1704.68	c cleaning 195001 clauses out of 390023 with flag 19296000/19296005
1734.41/1726.04	c cleaning 195994 clauses out of 392022 with flag 19493000/19493005
1753.87/1745.49	c cleaning 196998 clauses out of 394028 with flag 19691000/19691005
1773.25/1764.62	c cleaning 197997 clauses out of 396030 with flag 19890000/19890005
1795.51/1786.86	c cleaning 199004 clauses out of 398033 with flag 20090000/20090005
1800.08/1791.31	c starts		: 351
1800.08/1791.31	c conflicts		: 20147866
1800.08/1791.31	c decisions		: 43974497
1800.08/1791.31	c propagations		: 643224812
1800.08/1791.31	c inspects		: 7246756465
1800.08/1791.31	c shortcuts		: 0
1800.08/1791.31	c learnt literals	: 0
1800.08/1791.31	c learnt binary clauses	: 0
1800.08/1791.31	c learnt ternary clauses	: 0
1800.08/1791.31	c learnt constraints	: 20147867
1800.08/1791.31	c ignored constraints	: 0
1800.08/1791.31	c root simplifications	: 351
1800.08/1791.31	c removed literals (reason simplification)	: 184070994
1800.08/1791.31	c reason swapping (by a shorter reason)	: 0
1800.08/1791.31	c Calls to reduceDB	: 196
1800.08/1791.31	c number of reductions to clauses (during analyze)	: 0
1800.08/1791.31	c number of learned constraints concerned by reduction	: 0
1800.08/1791.31	c number of learning phase by resolution	: 0
1800.08/1791.31	c number of learning phase by cutting planes	: 0
1800.08/1791.31	c speed (assignments/second)	: 359151.0888858985
1800.08/1791.31	c non guided choices	4196
1800.08/1791.34	c learnt constraints type 
1800.08/1791.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 257261
1800.08/1791.34	c constraints type 
1800.08/1791.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3297
1800.08/1791.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.08/1791.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 911
1800.08/1791.34	c 4209 constraints processed.
1800.08/1791.34	s SATISFIABLE
1800.08/1791.35	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 x172 -x173 -x174 x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 x388 -x389 -x390 -x391 x392 -x393 -x394 x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 x548 x549 x550 -x551 x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 x757 x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 x1036 -x1037 x1038 -x1039 x1040 -x1041 -x1042 -x1043 x1044 -x1045 x1046 -x1047 x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 
1800.08/1791.35	c objective function=89
1800.08/1791.35	c Total wall clock time (in seconds): 1791.228

Verifier Data 

OK	89

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-3710779-1338153318/watcher-3710779-1338153318 -o /tmp/evaluation-result-3710779-1338153318/solver-3710779-1338153318 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710779-1338153318.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.00 2.04 2.03 3/194 5962
/proc/meminfo: memFree=29011496/32873648 swapFree=6864/6864
[pid=5962] ppid=5960 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/5962/stat : 5962 (java) D 5960 5962 32120 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 281457196 9515008 183 33554432000 1073741824 1073778376 140736514248160 140736514239192 270707539637 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/5962/statm: 2323 183 140 9 0 71 0

[startup+0.066975 s]
/proc/loadavg: 2.00 2.04 2.03 3/194 5962
/proc/meminfo: memFree=29011496/32873648 swapFree=6864/6864
[pid=5962] ppid=5960 vsize=9558440 CPUtime=0.03 cores=1,3,5,7
/proc/5962/stat : 5962 (java) S 5960 5962 32120 0 -1 4202496 3214 0 1 0 3 0 0 0 20 0 18 0 281457196 9787842560 4421 33554432000 1073741824 1073778376 140733937016208 140733937007344 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5962/statm: 2389610 4421 1764 9 0 2380296 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9558440

[startup+0.100302 s]
/proc/loadavg: 2.00 2.04 2.03 3/194 5962
/proc/meminfo: memFree=29011496/32873648 swapFree=6864/6864
[pid=5962] ppid=5960 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/5962/stat : 5962 (java) S 5960 5962 32120 0 -1 4202496 4281 0 1 0 8 1 0 0 20 0 18 0 281457196 9787842560 5487 33554432000 1073741824 1073778376 140733937016208 140733937007344 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5962/statm: 2389610 5487 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.30028 s]
/proc/loadavg: 2.00 2.04 2.03 3/194 5962
/proc/meminfo: memFree=29011496/32873648 swapFree=6864/6864
[pid=5962] ppid=5960 vsize=9558820 CPUtime=0.5 cores=1,3,5,7
/proc/5962/stat : 5962 (java) S 5960 5962 32120 0 -1 4202496 5715 0 1 0 49 1 0 0 20 0 18 0 281457196 9788231680 9657 33554432000 1073741824 1073778376 140733937016208 140733937007344 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5962/statm: 2389705 9572 2225 9 0 2380391 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558820

[startup+0.700269 s]
/proc/loadavg: 2.00 2.04 2.03 3/194 5962
/proc/meminfo: memFree=29011496/32873648 swapFree=6864/6864
[pid=5962] ppid=5960 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/5962/stat : 5962 (java) S 5960 5962 32120 0 -1 4202496 9915 0 1 0 133 3 0 0 20 0 19 0 281457196 9856004096 14953 33554432000 1073741824 1073778376 140733937016208 140733937007344 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5962/statm: 2406251 14953 2259 9 0 2396937 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9625004

[startup+1.50066 s]
/proc/loadavg: 2.00 2.03 2.03 3/213 5981
/proc/meminfo: memFree=28949616/32873648 swapFree=6864/6864
[pid=5962] ppid=5960 vsize=9625004 CPUtime=2.22 cores=1,3,5,7
/proc/5962/stat : 5962 (java) S 5960 5962 32120 0 -1 4202496 9997 0 1 0 219 3 0 0 20 0 19 0 281457196 9856004096 18071 33554432000 1073741824 1073778376 140733937016208 140733937007344 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5962/statm: 2406251 18071 2284 9 0 2396937 0
[pid=5962/tid=5964] ppid=5960 vsize=9625004 CPUtime=1.44 cores=1,3,5,7
/proc/5962/task/5964/stat : 5964 (java) R 5960 5962 32120 0 -1 4202560 2530 0 1 0 142 2 0 0 20 0 19 0 281457197 9856004096 18071 33554432000 1073741824 1073778376 140733937016208 139941417316776 139941259110085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5965] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5965/stat : 5965 (java) S 5960 5962 32120 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 18071 33554432000 1073741824 1073778376 140733937016208 139941378808616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5966] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5966/stat : 5966 (java) S 5960 5962 32120 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 18071 33554432000 1073741824 1073778376 140733937016208 139941377755816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5967] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5967/stat : 5967 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 18071 33554432000 1073741824 1073778376 140733937016208 139941258456104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5962/tid=5968] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5968/stat : 5968 (java) S 5960 5962 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 18071 33554432000 1073741824 1073778376 140733937016208 139941257403304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5969] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5969/stat : 5969 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 18071 33554432000 1073741824 1073778376 140733937016208 139941256349992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5962/tid=5970] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5970/stat : 5970 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 18071 33554432000 1073741824 1073778376 140733937016208 139941255297192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5971] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5971/stat : 5971 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 18071 33554432000 1073741824 1073778376 140733937016208 139941254244904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5972] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5972/stat : 5972 (java) S 5960 5962 32120 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 18071 33554432000 1073741824 1073778376 140733937016208 139941253192104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5962/tid=5973] ppid=5960 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/5962/task/5973/stat : 5973 (java) S 5960 5962 32120 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 281457200 9856004096 18071 33554432000 1073741824 1073778376 140733937016208 139940770863848 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5974] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5974/stat : 5974 (java) S 5960 5962 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281457200 9856004096 18071 33554432000 1073741824 1073778376 140733937016208 139940769809912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5975] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5975/stat : 5975 (java) S 5960 5962 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281457200 9856004096 18071 33554432000 1073741824 1073778376 140733937016208 139940768757512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5976] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5976/stat : 5976 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457202 9856004096 18071 33554432000 1073741824 1073778376 140733937016208 139940767706000 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5977] ppid=5960 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/5962/task/5977/stat : 5977 (java) S 5960 5962 32120 0 -1 4202560 3851 0 0 0 35 0 0 0 20 0 19 0 281457202 9856004096 18071 33554432000 1073741824 1073778376 140733937016208 139940766652600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5962/tid=5978] ppid=5960 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/5962/task/5978/stat : 5978 (java) S 5960 5962 32120 0 -1 4202560 2370 0 0 0 37 0 0 0 20 0 19 0 281457202 9856004096 18071 33554432000 1073741824 1073778376 140733937016208 139940765599800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5979] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5979/stat : 5979 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457202 9856004096 18071 33554432000 1073741824 1073778376 140733937016208 139940764547704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5980] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5980/stat : 5980 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457203 9856004096 18071 33554432000 1073741824 1073778376 140733937016208 139940763495112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5981] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5981/stat : 5981 (java) S 5960 5962 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281457232 9856004096 18071 33554432000 1073741824 1073778376 140733937016208 139940762441128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 9625004

[startup+3.10063 s]
/proc/loadavg: 2.00 2.03 2.03 3/213 5981
/proc/meminfo: memFree=28945148/32873648 swapFree=6864/6864
[pid=5962] ppid=5960 vsize=9625004 CPUtime=3.9 cores=1,3,5,7
/proc/5962/stat : 5962 (java) S 5960 5962 32120 0 -1 4202496 10528 0 1 0 386 4 0 0 20 0 19 0 281457196 9856004096 19107 33554432000 1073741824 1073778376 140733937016208 140733937007344 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5962/statm: 2406251 19107 2284 9 0 2396937 0
[pid=5962/tid=5964] ppid=5960 vsize=9625004 CPUtime=3 cores=1,3,5,7
/proc/5962/task/5964/stat : 5964 (java) R 5960 5962 32120 0 -1 4202560 2532 0 1 0 298 2 0 0 20 0 19 0 281457197 9856004096 19107 33554432000 1073741824 1073778376 140733937016208 139941417316656 139941259023536 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5965] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5965/stat : 5965 (java) S 5960 5962 32120 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 19107 33554432000 1073741824 1073778376 140733937016208 139941378808616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5966] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5966/stat : 5966 (java) S 5960 5962 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 19107 33554432000 1073741824 1073778376 140733937016208 139941377755816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5967] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5967/stat : 5967 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 19107 33554432000 1073741824 1073778376 140733937016208 139941258456104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5968] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5968/stat : 5968 (java) S 5960 5962 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 19107 33554432000 1073741824 1073778376 140733937016208 139941257403304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5969] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5969/stat : 5969 (java) S 5960 5962 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 19107 33554432000 1073741824 1073778376 140733937016208 139941256349992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5962/tid=5970] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5970/stat : 5970 (java) S 5960 5962 32120 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 19107 33554432000 1073741824 1073778376 140733937016208 139941255297192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5971] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5971/stat : 5971 (java) S 5960 5962 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 19107 33554432000 1073741824 1073778376 140733937016208 139941254244904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5972] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5972/stat : 5972 (java) S 5960 5962 32120 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 19107 33554432000 1073741824 1073778376 140733937016208 139941253192104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5962/tid=5973] ppid=5960 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/5962/task/5973/stat : 5973 (java) S 5960 5962 32120 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 19 0 281457200 9856004096 19107 33554432000 1073741824 1073778376 140733937016208 139940770863848 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5974] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5974/stat : 5974 (java) S 5960 5962 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281457200 9856004096 19107 33554432000 1073741824 1073778376 140733937016208 139940769809912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5975] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5975/stat : 5975 (java) S 5960 5962 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281457200 9856004096 19107 33554432000 1073741824 1073778376 140733937016208 139940768757512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5976] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5976/stat : 5976 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457202 9856004096 19107 33554432000 1073741824 1073778376 140733937016208 139940767706000 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5977] ppid=5960 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/5962/task/5977/stat : 5977 (java) S 5960 5962 32120 0 -1 4202560 4363 0 0 0 41 0 0 0 20 0 19 0 281457202 9856004096 19107 33554432000 1073741824 1073778376 140733937016208 139940766652600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5978] ppid=5960 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/5962/task/5978/stat : 5978 (java) S 5960 5962 32120 0 -1 4202560 2370 0 0 0 37 0 0 0 20 0 19 0 281457202 9856004096 19107 33554432000 1073741824 1073778376 140733937016208 139940765599800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5979] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5979/stat : 5979 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457202 9856004096 19107 33554432000 1073741824 1073778376 140733937016208 139940764547704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5980] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5980/stat : 5980 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457203 9856004096 19107 33554432000 1073741824 1073778376 140733937016208 139940763495112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5981] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5981/stat : 5981 (java) S 5960 5962 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281457232 9856004096 19107 33554432000 1073741824 1073778376 140733937016208 139940762441128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 9625004

[startup+6.30076 s]
/proc/loadavg: 2.00 2.03 2.03 3/213 5981
/proc/meminfo: memFree=28940168/32873648 swapFree=6864/6864
[pid=5962] ppid=5960 vsize=9625004 CPUtime=7.13 cores=1,3,5,7
/proc/5962/stat : 5962 (java) S 5960 5962 32120 0 -1 4202496 10541 0 1 0 709 4 0 0 20 0 19 0 281457196 9856004096 19580 33554432000 1073741824 1073778376 140733937016208 140733937007344 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5962/statm: 2406251 19580 2284 9 0 2396937 0
[pid=5962/tid=5964] ppid=5960 vsize=9625004 CPUtime=6.14 cores=1,3,5,7
/proc/5962/task/5964/stat : 5964 (java) R 5960 5962 32120 0 -1 4202560 2537 0 1 0 612 2 0 0 20 0 19 0 281457197 9856004096 19580 33554432000 1073741824 1073778376 140733937016208 139941417316656 139941259182683 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5965] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5965/stat : 5965 (java) S 5960 5962 32120 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 19580 33554432000 1073741824 1073778376 140733937016208 139941378808616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5966] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5966/stat : 5966 (java) S 5960 5962 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 19580 33554432000 1073741824 1073778376 140733937016208 139941377755816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5967] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5967/stat : 5967 (java) S 5960 5962 32120 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 19580 33554432000 1073741824 1073778376 140733937016208 139941258456104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5968] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5968/stat : 5968 (java) S 5960 5962 32120 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 19580 33554432000 1073741824 1073778376 140733937016208 139941257403304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5969] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5969/stat : 5969 (java) S 5960 5962 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 19580 33554432000 1073741824 1073778376 140733937016208 139941256349992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5970] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5970/stat : 5970 (java) S 5960 5962 32120 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 19580 33554432000 1073741824 1073778376 140733937016208 139941255297192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5962/tid=5971] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5971/stat : 5971 (java) S 5960 5962 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 19580 33554432000 1073741824 1073778376 140733937016208 139941254244904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5972] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5972/stat : 5972 (java) S 5960 5962 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281457199 9856004096 19580 33554432000 1073741824 1073778376 140733937016208 139941253192104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5962/tid=5973] ppid=5960 vsize=9625004 CPUtime=0.1 cores=1,3,5,7
/proc/5962/task/5973/stat : 5973 (java) S 5960 5962 32120 0 -1 4202560 35 0 0 0 10 0 0 0 20 0 19 0 281457200 9856004096 19580 33554432000 1073741824 1073778376 140733937016208 139940770863848 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5974] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5974/stat : 5974 (java) S 5960 5962 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281457200 9856004096 19580 33554432000 1073741824 1073778376 140733937016208 139940769809912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5975] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5975/stat : 5975 (java) S 5960 5962 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281457200 9856004096 19580 33554432000 1073741824 1073778376 140733937016208 139940768757512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5976] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5976/stat : 5976 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457202 9856004096 19580 33554432000 1073741824 1073778376 140733937016208 139940767706000 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5977] ppid=5960 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/5962/task/5977/stat : 5977 (java) S 5960 5962 32120 0 -1 4202560 4363 0 0 0 42 0 0 0 20 0 19 0 281457202 9856004096 19580 33554432000 1073741824 1073778376 140733937016208 139940766652600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5978] ppid=5960 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/5962/task/5978/stat : 5978 (java) S 5960 5962 32120 0 -1 4202560 2370 0 0 0 37 0 0 0 20 0 19 0 281457202 9856004096 19580 33554432000 1073741824 1073778376 140733937016208 139940765599800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5979] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5979/stat : 5979 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457202 9856004096 19580 33554432000 1073741824 1073778376 140733937016208 139940764547704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5980] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5980/stat : 5980 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457203 9856004096 19580 33554432000 1073741824 1073778376 140733937016208 139940763495112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5981] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5981/stat : 5981 (java) S 5960 5962 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281457232 9856004096 19580 33554432000 1073741824 1073778376 140733937016208 139940762441128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=5962/tid=5970] ppid=5960 vsize=9625004 CPUtime=1.31 cores=1,3,5,7
/proc/5962/task/5970/stat : 5970 (java) S 5960 5962 32120 0 -1 4202560 295 0 0 0 127 4 0 0 20 0 19 0 281457199 9856004096 89138 33554432000 1073741824 1073778376 140733937016208 139941255297192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5971] ppid=5960 vsize=9625004 CPUtime=1.34 cores=1,3,5,7
/proc/5962/task/5971/stat : 5971 (java) S 5960 5962 32120 0 -1 4202560 387 0 0 0 131 3 0 0 20 0 19 0 281457199 9856004096 89138 33554432000 1073741824 1073778376 140733937016208 139941254244904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5972] ppid=5960 vsize=9625004 CPUtime=1.27 cores=1,3,5,7
/proc/5962/task/5972/stat : 5972 (java) S 5960 5962 32120 0 -1 4202560 433 0 0 0 124 3 0 0 20 0 19 0 281457199 9856004096 89138 33554432000 1073741824 1073778376 140733937016208 139941253192104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5973] ppid=5960 vsize=9625004 CPUtime=11.33 cores=1,3,5,7
/proc/5962/task/5973/stat : 5973 (java) S 5960 5962 32120 0 -1 4202560 158 0 0 0 1131 2 0 0 20 0 19 0 281457200 9856004096 89138 33554432000 1073741824 1073778376 140733937016208 139940770863848 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5974] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5974/stat : 5974 (java) S 5960 5962 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281457200 9856004096 89138 33554432000 1073741824 1073778376 140733937016208 139940769809912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5975] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5975/stat : 5975 (java) S 5960 5962 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281457200 9856004096 89138 33554432000 1073741824 1073778376 140733937016208 139940768757512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5976] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5976/stat : 5976 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457202 9856004096 89138 33554432000 1073741824 1073778376 140733937016208 139940767706000 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5977] ppid=5960 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/5962/task/5977/stat : 5977 (java) S 5960 5962 32120 0 -1 4202560 4367 0 0 0 44 0 0 0 20 0 19 0 281457202 9856004096 89138 33554432000 1073741824 1073778376 140733937016208 139940766652600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5978] ppid=5960 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/5962/task/5978/stat : 5978 (java) S 5960 5962 32120 0 -1 4202560 2370 0 0 0 37 0 0 0 20 0 19 0 281457202 9856004096 89138 33554432000 1073741824 1073778376 140733937016208 139940765599800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5979] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5979/stat : 5979 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457202 9856004096 89138 33554432000 1073741824 1073778376 140733937016208 139940764547704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5980] ppid=5960 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/5962/task/5980/stat : 5980 (java) S 5960 5962 32120 0 -1 4202560 98 0 0 0 17 18 0 0 20 0 19 0 281457203 9856004096 89138 33554432000 1073741824 1073778376 140733937016208 139940763495112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5981] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5981/stat : 5981 (java) S 5960 5962 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281457232 9856004096 89138 33554432000 1073741824 1073778376 140733937016208 139940762441128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1730.71
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/213 6053
/proc/meminfo: memFree=28607112/32873648 swapFree=6864/6864
[pid=5962] ppid=5960 vsize=9625004 CPUtime=1791.01 cores=1,3,5,7
/proc/5962/stat : 5962 (java) S 5960 5962 32120 0 -1 4202496 13798 0 1 0 179048 53 0 0 20 0 19 0 281457196 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 140733937007344 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5962/statm: 2406251 98434 2285 9 0 2396937 0
[pid=5962/tid=5964] ppid=5960 vsize=9625004 CPUtime=1767.49 cores=1,3,5,7
/proc/5962/task/5964/stat : 5964 (java) R 5960 5962 32120 0 -1 4202560 2754 0 1 0 176719 30 0 0 20 0 19 0 281457197 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941417316656 139941259082448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5965] ppid=5960 vsize=9625004 CPUtime=1.38 cores=1,3,5,7
/proc/5962/task/5965/stat : 5965 (java) S 5960 5962 32120 0 -1 4202560 242 0 0 0 134 4 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941378808616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5966] ppid=5960 vsize=9625004 CPUtime=1.29 cores=1,3,5,7
/proc/5962/task/5966/stat : 5966 (java) S 5960 5962 32120 0 -1 4202560 291 0 0 0 126 3 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941377755816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5967] ppid=5960 vsize=9625004 CPUtime=1.37 cores=1,3,5,7
/proc/5962/task/5967/stat : 5967 (java) S 5960 5962 32120 0 -1 4202560 371 0 0 0 135 2 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941258456104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5968] ppid=5960 vsize=9625004 CPUtime=1.38 cores=1,3,5,7
/proc/5962/task/5968/stat : 5968 (java) S 5960 5962 32120 0 -1 4202560 438 0 0 0 133 5 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941257403304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5969] ppid=5960 vsize=9625004 CPUtime=1.31 cores=1,3,5,7
/proc/5962/task/5969/stat : 5969 (java) S 5960 5962 32120 0 -1 4202560 298 0 0 0 128 3 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941256349992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5970] ppid=5960 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/5962/task/5970/stat : 5970 (java) S 5960 5962 32120 0 -1 4202560 305 0 0 0 132 4 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941255297192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5971] ppid=5960 vsize=9625004 CPUtime=1.38 cores=1,3,5,7
/proc/5962/task/5971/stat : 5971 (java) S 5960 5962 32120 0 -1 4202560 395 0 0 0 135 3 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941254244904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5962/tid=5972] ppid=5960 vsize=9625004 CPUtime=1.32 cores=1,3,5,7
/proc/5962/task/5972/stat : 5972 (java) S 5960 5962 32120 0 -1 4202560 523 0 0 0 128 4 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941253192104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5962/tid=5973] ppid=5960 vsize=9625004 CPUtime=11.65 cores=1,3,5,7
/proc/5962/task/5973/stat : 5973 (java) S 5960 5962 32120 0 -1 4202560 160 0 0 0 1162 3 0 0 20 0 19 0 281457200 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940770863848 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5974] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5974/stat : 5974 (java) S 5960 5962 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281457200 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940769809912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5975] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5975/stat : 5975 (java) S 5960 5962 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281457200 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940768757512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5976] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5976/stat : 5976 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457202 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940767706000 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5977] ppid=5960 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/5962/task/5977/stat : 5977 (java) S 5960 5962 32120 0 -1 4202560 4367 0 0 0 44 0 0 0 20 0 19 0 281457202 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940766652600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5978] ppid=5960 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/5962/task/5978/stat : 5978 (java) S 5960 5962 32120 0 -1 4202560 2370 0 0 0 37 0 0 0 20 0 19 0 281457202 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940765599800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5979] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5979/stat : 5979 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457202 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940764547704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5980] ppid=5960 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/5962/task/5980/stat : 5980 (java) S 5960 5962 32120 0 -1 4202560 102 0 0 0 18 19 0 0 20 0 19 0 281457203 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940763495112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5981] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5981/stat : 5981 (java) S 5960 5962 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281457232 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940762441128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.01
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 6053
/proc/meminfo: memFree=28606988/32873648 swapFree=6864/6864
[pid=5962] ppid=5960 vsize=9625004 CPUtime=1800.08 cores=1,3,5,7
/proc/5962/stat : 5962 (java) S 5960 5962 32120 0 -1 4202496 13801 0 1 0 179955 53 0 0 20 0 19 0 281457196 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 140733937007344 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5962/statm: 2406251 98434 2285 9 0 2396937 0
[pid=5962/tid=5964] ppid=5960 vsize=9625004 CPUtime=1776.33 cores=1,3,5,7
/proc/5962/task/5964/stat : 5964 (java) R 5960 5962 32120 0 -1 4202560 2755 0 1 0 177603 30 0 0 20 0 19 0 281457197 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941417316656 139941259136598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5965] ppid=5960 vsize=9625004 CPUtime=1.4 cores=1,3,5,7
/proc/5962/task/5965/stat : 5965 (java) S 5960 5962 32120 0 -1 4202560 242 0 0 0 136 4 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941378808616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5966] ppid=5960 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/5962/task/5966/stat : 5966 (java) S 5960 5962 32120 0 -1 4202560 291 0 0 0 127 3 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941377755816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5967] ppid=5960 vsize=9625004 CPUtime=1.39 cores=1,3,5,7
/proc/5962/task/5967/stat : 5967 (java) S 5960 5962 32120 0 -1 4202560 371 0 0 0 137 2 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941258456104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5968] ppid=5960 vsize=9625004 CPUtime=1.39 cores=1,3,5,7
/proc/5962/task/5968/stat : 5968 (java) S 5960 5962 32120 0 -1 4202560 438 0 0 0 134 5 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941257403304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5969] ppid=5960 vsize=9625004 CPUtime=1.31 cores=1,3,5,7
/proc/5962/task/5969/stat : 5969 (java) S 5960 5962 32120 0 -1 4202560 298 0 0 0 128 3 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941256349992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5970] ppid=5960 vsize=9625004 CPUtime=1.37 cores=1,3,5,7
/proc/5962/task/5970/stat : 5970 (java) S 5960 5962 32120 0 -1 4202560 305 0 0 0 133 4 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941255297192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5971] ppid=5960 vsize=9625004 CPUtime=1.4 cores=1,3,5,7
/proc/5962/task/5971/stat : 5971 (java) S 5960 5962 32120 0 -1 4202560 395 0 0 0 137 3 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941254244904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5972] ppid=5960 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/5962/task/5972/stat : 5972 (java) S 5960 5962 32120 0 -1 4202560 523 0 0 0 129 4 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941253192104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5962/tid=5973] ppid=5960 vsize=9625004 CPUtime=11.8 cores=1,3,5,7
/proc/5962/task/5973/stat : 5973 (java) S 5960 5962 32120 0 -1 4202560 162 0 0 0 1177 3 0 0 20 0 19 0 281457200 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940770863848 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5974] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5974/stat : 5974 (java) S 5960 5962 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281457200 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940769809912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5975] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5975/stat : 5975 (java) S 5960 5962 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281457200 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940768757512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5976] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5976/stat : 5976 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457202 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940767706000 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5977] ppid=5960 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/5962/task/5977/stat : 5977 (java) S 5960 5962 32120 0 -1 4202560 4367 0 0 0 44 0 0 0 20 0 19 0 281457202 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940766652600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5978] ppid=5960 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/5962/task/5978/stat : 5978 (java) S 5960 5962 32120 0 -1 4202560 2370 0 0 0 37 0 0 0 20 0 19 0 281457202 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940765599800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5979] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5979/stat : 5979 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457202 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940764547704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5980] ppid=5960 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/5962/task/5980/stat : 5980 (java) S 5960 5962 32120 0 -1 4202560 102 0 0 0 18 19 0 0 20 0 19 0 281457203 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940763495112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5981] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5981/stat : 5981 (java) S 5960 5962 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281457232 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940762441128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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+1791.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 6053
/proc/meminfo: memFree=28606988/32873648 swapFree=6864/6864
[pid=5962] ppid=5960 vsize=9625004 CPUtime=1800.08 cores=1,3,5,7
/proc/5962/stat : 5962 (java) S 5960 5962 32120 0 -1 4202496 13801 0 1 0 179955 53 0 0 20 0 19 0 281457196 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 140733937007344 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5962/statm: 2406251 98434 2285 9 0 2396937 0
[pid=5962/tid=5964] ppid=5960 vsize=9625004 CPUtime=1776.33 cores=1,3,5,7
/proc/5962/task/5964/stat : 5964 (java) R 5960 5962 32120 0 -1 4202560 2755 0 1 0 177603 30 0 0 20 0 19 0 281457197 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941417316656 139941259136598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5965] ppid=5960 vsize=9625004 CPUtime=1.4 cores=1,3,5,7
/proc/5962/task/5965/stat : 5965 (java) S 5960 5962 32120 0 -1 4202560 242 0 0 0 136 4 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941378808616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5966] ppid=5960 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/5962/task/5966/stat : 5966 (java) S 5960 5962 32120 0 -1 4202560 291 0 0 0 127 3 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941377755816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5967] ppid=5960 vsize=9625004 CPUtime=1.39 cores=1,3,5,7
/proc/5962/task/5967/stat : 5967 (java) S 5960 5962 32120 0 -1 4202560 371 0 0 0 137 2 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941258456104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5968] ppid=5960 vsize=9625004 CPUtime=1.39 cores=1,3,5,7
/proc/5962/task/5968/stat : 5968 (java) S 5960 5962 32120 0 -1 4202560 438 0 0 0 134 5 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941257403304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5969] ppid=5960 vsize=9625004 CPUtime=1.31 cores=1,3,5,7
/proc/5962/task/5969/stat : 5969 (java) S 5960 5962 32120 0 -1 4202560 298 0 0 0 128 3 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941256349992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5970] ppid=5960 vsize=9625004 CPUtime=1.37 cores=1,3,5,7
/proc/5962/task/5970/stat : 5970 (java) S 5960 5962 32120 0 -1 4202560 305 0 0 0 133 4 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941255297192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5971] ppid=5960 vsize=9625004 CPUtime=1.4 cores=1,3,5,7
/proc/5962/task/5971/stat : 5971 (java) S 5960 5962 32120 0 -1 4202560 395 0 0 0 137 3 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941254244904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5972] ppid=5960 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/5962/task/5972/stat : 5972 (java) S 5960 5962 32120 0 -1 4202560 523 0 0 0 129 4 0 0 20 0 19 0 281457199 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139941253192104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5962/tid=5973] ppid=5960 vsize=9625004 CPUtime=11.8 cores=1,3,5,7
/proc/5962/task/5973/stat : 5973 (java) S 5960 5962 32120 0 -1 4202560 162 0 0 0 1177 3 0 0 20 0 19 0 281457200 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940770863848 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5974] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5974/stat : 5974 (java) S 5960 5962 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281457200 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940769809912 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5975] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5975/stat : 5975 (java) S 5960 5962 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281457200 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940768757512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5976] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5976/stat : 5976 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457202 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940767706000 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5962/tid=5977] ppid=5960 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/5962/task/5977/stat : 5977 (java) S 5960 5962 32120 0 -1 4202560 4367 0 0 0 44 0 0 0 20 0 19 0 281457202 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940766652600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5978] ppid=5960 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/5962/task/5978/stat : 5978 (java) S 5960 5962 32120 0 -1 4202560 2370 0 0 0 37 0 0 0 20 0 19 0 281457202 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940765599800 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5979] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5979/stat : 5979 (java) S 5960 5962 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457202 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940764547704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5962/tid=5980] ppid=5960 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/5962/task/5980/stat : 5980 (java) S 5960 5962 32120 0 -1 4202560 102 0 0 0 18 19 0 0 20 0 19 0 281457203 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940763495112 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5962/tid=5981] ppid=5960 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5962/task/5981/stat : 5981 (java) S 5960 5962 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281457232 9856004096 98434 33554432000 1073741824 1073778376 140733937016208 139940762441128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625004

Child status: 143
Real time (s): 1791.36
CPU time (s): 1800.58
CPU user time (s): 1799.61
CPU system time (s): 0.971852
CPU usage (%): 100.515
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.971852
maximum resident set size= 393864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13834
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= 43413
involuntary context switches= 23245

runsolver used 6.24005 second user time and 14.2928 second system time

The end

Launcher Data 

Begin job on node125 at 2012-05-27 23:15:18
IDJOB=3710779
IDBENCH=2884
IDSOLVER=2289
FILE ID=node125/3710779-1338153318
RUNJOBID= node125-1338125514-32137
PBS_JOBID= 14624515
Free space on /tmp= 71260 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.a.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-3710779-1338153318/watcher-3710779-1338153318 -o /tmp/evaluation-result-3710779-1338153318/solver-3710779-1338153318 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710779-1338153318.opb

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

MD5SUM BENCH= a983c7d791d0da9cc5e2ec69578db721
RANDOM SEED=153857137

node125.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.373
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.74
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.373
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.373
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.373
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.90
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.373
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.373
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.54
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.373
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.373
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:        29011496 kB
Buffers:          456068 kB
Cached:          2436192 kB
SwapCached:         2304 kB
Active:          1519792 kB
Inactive:        1500412 kB
Active(anon):     119952 kB
Inactive(anon):     9556 kB
Active(file):    1399840 kB
Inactive(file):  1490856 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102616 kB
Dirty:              1212 kB
Writeback:             4 kB
AnonPages:        131572 kB
Mapped:            22436 kB
Shmem:               104 kB
Slab:             703972 kB
SReclaimable:     147536 kB
SUnreclaim:       556436 kB
KernelStack:        1608 kB
PageTables:         4672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     700900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 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= 71256 MiB
End job on node125 at 2012-05-27 23:45:11