Trace number 3710797

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)116 1800.02 1790.06

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-m4.r.opb
MD5SUMf69ecb5497caa964fbd82b9dc6698ac3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark90
Best CPU time to get the best result obtained on this benchmark0.142977
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 90
Optimality of the best value was proved YES
Number of variables652
Total number of constraints759
Number of constraints which are clauses759
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 constraint46
Number of terms in the objective function 652
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 652
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 652
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.13	c read org.sat4j.minisat.orders.VarOrderHeap
0.08/0.13	c configuring ORDERS
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=true
0.08/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3710797-1338153127.opb
0.08/0.13	c reading problem ... 
0.24/0.28	c ... done. Wall clock time 0.151s.
0.24/0.28	c declared #vars     652
0.24/0.28	c #constraints  759
0.24/0.28	c constraints type 
0.24/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 743
0.24/0.28	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 16
0.24/0.28	c 759 constraints processed.
0.24/0.29	c SATISFIABLE
0.24/0.29	c OPTIMIZING...
0.24/0.29	c Got one! Elapsed wall clock time (in seconds):0.163
0.24/0.29	o 116
1.18/0.71	c cleaning 2498 clauses out of 5001 with flag 5001/5001
1.55/1.03	c cleaning 4247 clauses out of 8503 with flag 11001/11001
1.85/1.38	c cleaning 5622 clauses out of 11255 with flag 18000/18000
2.36/1.80	c cleaning 6811 clauses out of 13633 with flag 26000/26000
2.80/2.26	c cleaning 7907 clauses out of 15822 with flag 35000/35000
3.30/2.76	c cleaning 8955 clauses out of 17915 with flag 45000/45000
3.91/3.34	c cleaning 9975 clauses out of 19961 with flag 56001/56001
4.51/3.96	c cleaning 10990 clauses out of 21985 with flag 68000/68000
5.22/4.65	c cleaning 11994 clauses out of 23996 with flag 81001/81001
5.93/5.38	c cleaning 12997 clauses out of 26002 with flag 95001/95001
6.75/6.18	c cleaning 13999 clauses out of 28004 with flag 110000/110000
7.65/7.06	c cleaning 14997 clauses out of 30006 with flag 126001/126001
8.55/7.99	c cleaning 15994 clauses out of 32008 with flag 143000/143000
9.65/9.00	c cleaning 17000 clauses out of 34014 with flag 161000/161000
10.76/10.11	c cleaning 17999 clauses out of 36014 with flag 180000/180000
11.78/11.16	c cleaning 19000 clauses out of 38016 with flag 200001/200001
12.98/12.33	c cleaning 19996 clauses out of 40015 with flag 221000/221000
14.09/13.49	c cleaning 21005 clauses out of 42019 with flag 243000/243000
15.40/14.76	c cleaning 22002 clauses out of 44014 with flag 266000/266000
16.73/16.04	c cleaning 23000 clauses out of 46012 with flag 290000/290000
18.14/17.40	c cleaning 23997 clauses out of 48013 with flag 315001/315001
19.55/18.88	c cleaning 25001 clauses out of 50016 with flag 341001/341001
21.18/20.41	c cleaning 25996 clauses out of 52015 with flag 368001/368001
22.79/22.03	c cleaning 27006 clauses out of 54018 with flag 396000/396000
24.29/23.55	c cleaning 28000 clauses out of 56012 with flag 425000/425000
26.00/25.21	c cleaning 29000 clauses out of 58013 with flag 455001/455001
27.71/26.94	c cleaning 30001 clauses out of 60012 with flag 486000/486000
29.54/28.74	c cleaning 30997 clauses out of 62011 with flag 518000/518000
31.46/30.63	c cleaning 31996 clauses out of 64014 with flag 551000/551000
33.57/32.72	c cleaning 33000 clauses out of 66018 with flag 585000/585000
35.49/34.68	c cleaning 34001 clauses out of 68018 with flag 620000/620000
37.50/36.66	c cleaning 35000 clauses out of 70017 with flag 656000/656000
39.61/38.76	c cleaning 36001 clauses out of 72018 with flag 693001/693001
41.83/40.90	c cleaning 37001 clauses out of 74016 with flag 731000/731000
44.06/43.19	c cleaning 38000 clauses out of 76015 with flag 770000/770000
46.39/45.42	c cleaning 38994 clauses out of 78015 with flag 810000/810000
48.92/47.91	c cleaning 40003 clauses out of 80022 with flag 851001/851001
51.55/50.58	c cleaning 41003 clauses out of 82019 with flag 893001/893001
53.96/52.99	c cleaning 42004 clauses out of 84015 with flag 936000/936000
56.49/55.41	c cleaning 42999 clauses out of 86011 with flag 980000/980000
59.11/58.02	c cleaning 43998 clauses out of 88012 with flag 1025000/1025000
61.75/60.67	c cleaning 44998 clauses out of 90016 with flag 1071002/1071002
64.47/63.34	c cleaning 46001 clauses out of 92018 with flag 1118002/1118002
68.30/67.13	c cleaning 46999 clauses out of 94015 with flag 1166000/1166000
71.64/70.43	c cleaning 47994 clauses out of 96016 with flag 1215000/1215000
75.16/73.96	c cleaning 49000 clauses out of 98023 with flag 1265001/1265001
78.49/77.20	c cleaning 50004 clauses out of 100023 with flag 1316001/1316001
81.51/80.28	c cleaning 51004 clauses out of 102018 with flag 1368000/1368000
84.65/83.30	c cleaning 52000 clauses out of 104014 with flag 1421000/1421000
87.86/86.59	c cleaning 52993 clauses out of 106014 with flag 1475000/1475000
91.28/89.96	c cleaning 54007 clauses out of 108022 with flag 1530001/1530001
95.21/93.88	c cleaning 54995 clauses out of 110014 with flag 1586000/1586000
98.83/97.40	c cleaning 56002 clauses out of 112020 with flag 1643001/1643001
103.17/101.72	c cleaning 57002 clauses out of 114017 with flag 1701000/1701000
108.00/106.56	c cleaning 57997 clauses out of 116016 with flag 1760001/1760001
112.04/110.52	c cleaning 59001 clauses out of 118018 with flag 1820000/1820000
116.25/114.77	c cleaning 60003 clauses out of 120017 with flag 1881000/1881000
120.59/119.08	c cleaning 60996 clauses out of 122015 with flag 1943001/1943001
125.03/123.44	c cleaning 62003 clauses out of 124018 with flag 2006000/2006000
128.66/127.07	c cleaning 63001 clauses out of 126015 with flag 2070000/2070000
132.48/130.88	c cleaning 64001 clauses out of 128014 with flag 2135000/2135000
136.69/135.01	c cleaning 65001 clauses out of 130014 with flag 2201001/2201001
142.14/140.49	c cleaning 65997 clauses out of 132014 with flag 2268002/2268002
146.86/145.12	c cleaning 66996 clauses out of 134016 with flag 2336001/2336001
152.70/150.98	c cleaning 68003 clauses out of 136020 with flag 2405001/2405001
157.14/155.37	c cleaning 68992 clauses out of 138016 with flag 2475000/2475000
161.57/159.78	c cleaning 70002 clauses out of 140025 with flag 2546001/2546001
166.60/164.72	c cleaning 71001 clauses out of 142022 with flag 2618000/2618000
171.14/169.27	c cleaning 72006 clauses out of 144021 with flag 2691000/2691000
177.88/175.91	c cleaning 72997 clauses out of 146016 with flag 2765001/2765001
184.94/182.93	c cleaning 73998 clauses out of 148019 with flag 2840001/2840001
192.42/190.37	c cleaning 75002 clauses out of 150021 with flag 2916001/2916001
200.25/198.17	c cleaning 76007 clauses out of 152019 with flag 2993001/2993001
204.77/202.66	c cleaning 76997 clauses out of 154012 with flag 3071001/3071001
209.41/207.28	c cleaning 78002 clauses out of 156015 with flag 3150001/3150001
214.62/212.46	c cleaning 78998 clauses out of 158013 with flag 3230001/3230001
220.56/218.33	c cleaning 80000 clauses out of 160015 with flag 3311001/3311001
226.71/224.42	c cleaning 80994 clauses out of 162014 with flag 3393000/3393000
232.38/230.08	c cleaning 82002 clauses out of 164021 with flag 3476001/3476001
239.52/237.18	c cleaning 82999 clauses out of 166018 with flag 3560000/3560000
247.25/244.84	c cleaning 83998 clauses out of 168019 with flag 3645000/3645000
252.89/250.49	c cleaning 85005 clauses out of 170022 with flag 3731001/3731001
259.03/256.53	c cleaning 85999 clauses out of 172018 with flag 3818002/3818002
265.68/263.11	c cleaning 86997 clauses out of 174018 with flag 3906001/3906001
271.71/269.10	c cleaning 88003 clauses out of 176020 with flag 3995000/3995000
277.93/275.38	c cleaning 89001 clauses out of 178017 with flag 4085000/4085000
284.27/281.64	c cleaning 89995 clauses out of 180016 with flag 4176000/4176000
291.78/289.14	c cleaning 91001 clauses out of 182021 with flag 4268000/4268000
298.54/295.80	c cleaning 91994 clauses out of 184020 with flag 4361000/4361000
305.97/303.23	c cleaning 93002 clauses out of 186026 with flag 4455000/4455000
312.02/309.24	c cleaning 94007 clauses out of 188024 with flag 4550000/4550000
318.14/315.36	c cleaning 95006 clauses out of 190018 with flag 4646001/4646001
324.17/321.33	c cleaning 95999 clauses out of 192012 with flag 4743001/4743001
330.28/327.43	c cleaning 97000 clauses out of 194012 with flag 4841000/4841000
339.02/336.15	c cleaning 98000 clauses out of 196012 with flag 4940000/4940000
346.57/343.67	c cleaning 98994 clauses out of 198012 with flag 5040000/5040000
354.89/351.85	c cleaning 100002 clauses out of 200018 with flag 5141000/5141000
362.23/359.19	c cleaning 101000 clauses out of 202016 with flag 5243000/5243000
372.29/369.17	c cleaning 102001 clauses out of 204017 with flag 5346001/5346001
382.27/379.07	c cleaning 102995 clauses out of 206015 with flag 5450000/5450000
389.55/386.24	c cleaning 104003 clauses out of 208020 with flag 5555000/5555000
398.30/394.96	c cleaning 104997 clauses out of 210017 with flag 5661000/5661000
407.03/403.64	c cleaning 106002 clauses out of 212021 with flag 5768001/5768001
415.56/412.13	c cleaning 106998 clauses out of 214019 with flag 5876001/5876001
425.53/422.06	c cleaning 108004 clauses out of 216020 with flag 5985000/5985000
433.60/430.09	c cleaning 108999 clauses out of 218017 with flag 6095001/6095001
443.85/440.21	c cleaning 109995 clauses out of 220017 with flag 6206000/6206000
452.95/449.26	c cleaning 111004 clauses out of 222023 with flag 6318001/6318001
463.48/459.73	c cleaning 111999 clauses out of 224018 with flag 6431000/6431000
473.96/470.14	c cleaning 113000 clauses out of 226020 with flag 6545001/6545001
483.52/479.64	c cleaning 114004 clauses out of 228020 with flag 6660001/6660001
491.97/488.05	c cleaning 114999 clauses out of 230016 with flag 6776001/6776001
499.50/495.55	c cleaning 116003 clauses out of 232016 with flag 6893000/6893000
508.03/504.00	c cleaning 116998 clauses out of 234013 with flag 7011000/7011000
516.40/512.30	c cleaning 118002 clauses out of 236016 with flag 7130001/7130001
524.93/520.85	c cleaning 118999 clauses out of 238013 with flag 7250000/7250000
535.70/531.54	c cleaning 119998 clauses out of 240015 with flag 7371001/7371001
544.66/540.47	c cleaning 121001 clauses out of 242016 with flag 7493000/7493000
555.33/551.08	c cleaning 121998 clauses out of 244016 with flag 7616001/7616001
564.53/560.18	c cleaning 123000 clauses out of 246018 with flag 7740001/7740001
574.75/570.35	c cleaning 123998 clauses out of 248018 with flag 7865001/7865001
586.60/582.16	c cleaning 125002 clauses out of 250019 with flag 7991000/7991000
599.05/594.56	c cleaning 126000 clauses out of 252017 with flag 8118000/8118000
610.22/605.65	c cleaning 126998 clauses out of 254018 with flag 8246001/8246001
621.31/616.64	c cleaning 128000 clauses out of 256019 with flag 8375000/8375000
632.98/628.29	c cleaning 128998 clauses out of 258020 with flag 8505001/8505001
645.28/640.48	c cleaning 130004 clauses out of 260021 with flag 8636000/8636000
657.03/652.15	c cleaning 131000 clauses out of 262017 with flag 8768000/8768000
669.88/664.92	c cleaning 131999 clauses out of 264018 with flag 8901001/8901001
679.73/674.75	c cleaning 133004 clauses out of 266019 with flag 9035001/9035001
689.86/684.83	c cleaning 133997 clauses out of 268014 with flag 9170000/9170000
702.22/697.13	c cleaning 134999 clauses out of 270018 with flag 9306001/9306001
713.10/707.92	c cleaning 136002 clauses out of 272018 with flag 9443000/9443000
724.04/718.89	c cleaning 136996 clauses out of 274016 with flag 9581000/9581000
736.18/730.91	c cleaning 138003 clauses out of 276021 with flag 9720001/9720001
750.81/745.59	c cleaning 138999 clauses out of 278018 with flag 9860001/9860001
764.15/758.74	c cleaning 139995 clauses out of 280018 with flag 10001000/10001000
775.51/770.03	c cleaning 141005 clauses out of 282024 with flag 10143001/10143001
784.46/778.94	c cleaning 141999 clauses out of 284018 with flag 10286000/10286000
793.92/788.36	c cleaning 143002 clauses out of 286020 with flag 10430001/10430001
803.96/798.30	c cleaning 143996 clauses out of 288017 with flag 10575000/10575000
818.14/812.46	c cleaning 144998 clauses out of 290022 with flag 10721001/10721001
827.52/821.75	c cleaning 146003 clauses out of 292024 with flag 10868001/10868001
839.38/833.53	c cleaning 146999 clauses out of 294020 with flag 11016000/11016000
850.02/844.10	c cleaning 147999 clauses out of 296021 with flag 11165000/11165000
862.88/856.98	c cleaning 149001 clauses out of 298023 with flag 11315001/11315001
877.07/871.02	c cleaning 150001 clauses out of 300021 with flag 11466000/11466000
889.04/883.00	c cleaning 151006 clauses out of 302022 with flag 11618002/11618002
901.38/895.22	c cleaning 151998 clauses out of 304015 with flag 11771001/11771001
916.64/910.40	c cleaning 152996 clauses out of 306016 with flag 11925000/11925000
929.53/923.23	c cleaning 154005 clauses out of 308022 with flag 12080002/12080002
945.09/938.77	c cleaning 154992 clauses out of 310015 with flag 12236000/12236000
955.88/949.41	c cleaning 156003 clauses out of 312023 with flag 12393000/12393000
969.79/963.34	c cleaning 157003 clauses out of 314020 with flag 12551000/12551000
983.27/976.76	c cleaning 157997 clauses out of 316017 with flag 12710000/12710000
996.65/990.08	c cleaning 159000 clauses out of 318020 with flag 12870000/12870000
1010.09/1003.44	c cleaning 159998 clauses out of 320020 with flag 13031000/13031000
1025.45/1018.74	c cleaning 160994 clauses out of 322022 with flag 13193000/13193000
1040.02/1033.26	c cleaning 162003 clauses out of 324028 with flag 13356000/13356000
1051.57/1044.74	c cleaning 163007 clauses out of 326026 with flag 13520001/13520001
1066.23/1059.36	c cleaning 163997 clauses out of 328018 with flag 13685000/13685000
1083.39/1076.45	c cleaning 165003 clauses out of 330021 with flag 13851000/13851000
1097.82/1090.72	c cleaning 166000 clauses out of 332019 with flag 14018001/14018001
1118.10/1110.91	c cleaning 167000 clauses out of 334018 with flag 14186000/14186000
1135.27/1128.04	c cleaning 168001 clauses out of 336018 with flag 14355000/14355000
1152.86/1145.56	c cleaning 168999 clauses out of 338017 with flag 14525000/14525000
1170.93/1163.51	c cleaning 169999 clauses out of 340018 with flag 14696000/14696000
1192.96/1185.53	c cleaning 171002 clauses out of 342020 with flag 14868001/14868001
1214.56/1207.04	c cleaning 171998 clauses out of 344018 with flag 15041001/15041001
1228.21/1220.65	c cleaning 172999 clauses out of 346020 with flag 15215001/15215001
1239.65/1232.08	c cleaning 173999 clauses out of 348020 with flag 15390000/15390000
1252.39/1244.70	c cleaning 175000 clauses out of 350021 with flag 15566000/15566000
1265.35/1257.61	c cleaning 176003 clauses out of 352022 with flag 15743001/15743001
1277.62/1269.81	c cleaning 176999 clauses out of 354018 with flag 15921000/15921000
1293.40/1285.58	c cleaning 177996 clauses out of 356019 with flag 16100000/16100000
1305.99/1298.05	c cleaning 178999 clauses out of 358023 with flag 16280000/16280000
1322.53/1314.56	c cleaning 180001 clauses out of 360025 with flag 16461001/16461001
1342.98/1334.94	c cleaning 181008 clauses out of 362023 with flag 16643000/16643000
1357.56/1349.43	c cleaning 182000 clauses out of 364015 with flag 16826000/16826000
1374.63/1366.46	c cleaning 182997 clauses out of 366015 with flag 17010000/17010000
1392.48/1384.21	c cleaning 183996 clauses out of 368018 with flag 17195000/17195000
1409.75/1401.41	c cleaning 185000 clauses out of 370023 with flag 17381001/17381001
1425.35/1416.97	c cleaning 186004 clauses out of 372024 with flag 17568002/17568002
1441.63/1433.11	c cleaning 187000 clauses out of 374019 with flag 17756001/17756001
1459.37/1450.82	c cleaning 187998 clauses out of 376020 with flag 17945002/17945002
1476.38/1467.77	c cleaning 188998 clauses out of 378022 with flag 18135002/18135002
1496.05/1487.34	c cleaning 190000 clauses out of 380022 with flag 18326000/18326000
1513.03/1504.22	c cleaning 191004 clauses out of 382022 with flag 18518000/18518000
1530.27/1521.47	c cleaning 192000 clauses out of 384018 with flag 18711000/18711000
1549.84/1540.91	c cleaning 192998 clauses out of 386018 with flag 18905000/18905000
1577.58/1568.58	c cleaning 193999 clauses out of 388020 with flag 19100000/19100000
1600.36/1591.23	c cleaning 195004 clauses out of 390022 with flag 19296001/19296001
1621.04/1611.85	c cleaning 195996 clauses out of 392017 with flag 19493000/19493000
1645.22/1635.97	c cleaning 196997 clauses out of 394021 with flag 19691000/19691000
1672.72/1663.27	c cleaning 197999 clauses out of 396024 with flag 19890000/19890000
1699.71/1690.13	c cleaning 199003 clauses out of 398026 with flag 20090001/20090001
1716.28/1706.64	c cleaning 199999 clauses out of 400022 with flag 20291000/20291000
1733.42/1723.77	c cleaning 201003 clauses out of 402023 with flag 20493000/20493000
1753.08/1743.34	c cleaning 202001 clauses out of 404020 with flag 20696000/20696000
1776.71/1766.88	c cleaning 202998 clauses out of 406019 with flag 20900000/20900000
1800.02/1790.01	c starts		: 352
1800.02/1790.01	c conflicts		: 21105001
1800.02/1790.01	c decisions		: 31005004
1800.02/1790.01	c propagations		: 765025888
1800.02/1790.01	c inspects		: 9445600099
1800.02/1790.01	c shortcuts		: 0
1800.02/1790.01	c learnt literals	: 0
1800.02/1790.01	c learnt binary clauses	: 0
1800.02/1790.01	c learnt ternary clauses	: 0
1800.02/1790.01	c learnt constraints	: 21105001
1800.02/1790.01	c ignored constraints	: 0
1800.02/1790.01	c root simplifications	: 352
1800.02/1790.01	c removed literals (reason simplification)	: 6616272
1800.02/1790.01	c reason swapping (by a shorter reason)	: 0
1800.02/1790.01	c Calls to reduceDB	: 201
1800.02/1790.01	c number of reductions to clauses (during analyze)	: 0
1800.02/1790.01	c number of learned constraints concerned by reduction	: 0
1800.02/1790.01	c number of learning phase by resolution	: 0
1800.02/1790.01	c number of learning phase by cutting planes	: 0
1800.02/1790.01	c speed (assignments/second)	: 427454.1957819241
1800.02/1790.01	c non guided choices	22449
1800.02/1790.05	c learnt constraints type 
1800.02/1790.05	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 408022
1800.02/1790.05	c constraints type 
1800.02/1790.05	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 743
1800.02/1790.05	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.02/1790.05	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 16
1800.02/1790.05	c 760 constraints processed.
1800.02/1790.05	s SATISFIABLE
1800.02/1790.05	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 
1800.02/1790.05	c objective function=116
1800.02/1790.05	c Total wall clock time (in seconds): 1789.919

Verifier Data 

OK	116

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-3710797-1338153127/watcher-3710797-1338153127 -o /tmp/evaluation-result-3710797-1338153127/solver-3710797-1338153127 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710797-1338153127.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.01 2.04 2.00 3/192 25100
/proc/meminfo: memFree=27725800/32873624 swapFree=7104/7104
[pid=25100] ppid=25098 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/25100/stat : 25100 (java) D 25098 25100 21372 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 281438182 2560000 46 33554432000 1073741824 1073778376 140736074897168 140736074894296 227503336743 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/25100/statm: 625 46 37 9 0 29 0

[startup+0.102061 s]
/proc/loadavg: 2.01 2.04 2.00 3/192 25100
/proc/meminfo: memFree=27725800/32873624 swapFree=7104/7104
[pid=25100] ppid=25098 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/25100/stat : 25100 (java) S 25098 25100 21372 0 -1 4202496 4178 0 1 0 8 0 0 0 20 0 18 0 281438182 9787842560 4875 33554432000 1073741824 1073778376 140734140366864 140734140358000 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/25100/statm: 2389610 4875 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.200242 s]
/proc/loadavg: 2.01 2.04 2.00 3/192 25100
/proc/meminfo: memFree=27725800/32873624 swapFree=7104/7104
[pid=25100] ppid=25098 vsize=9558440 CPUtime=0.24 cores=0,2,4,6
/proc/25100/stat : 25100 (java) S 25098 25100 21372 0 -1 4202496 4748 0 1 0 23 1 0 0 20 0 18 0 281438182 9787842560 5882 33554432000 1073741824 1073778376 140734140366864 140734140358000 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/25100/statm: 2389610 5882 2194 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558440

[startup+0.300257 s]
/proc/loadavg: 2.01 2.04 2.00 3/192 25100
/proc/meminfo: memFree=27725800/32873624 swapFree=7104/7104
[pid=25100] ppid=25098 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/25100/stat : 25100 (java) S 25098 25100 21372 0 -1 4202496 5729 0 1 0 45 1 0 0 20 0 19 0 281438182 9856004096 8523 33554432000 1073741824 1073778376 140734140366864 140734140358000 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/25100/statm: 2406251 8523 2233 9 0 2396937 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9625004

[startup+0.700225 s]
/proc/loadavg: 2.01 2.04 2.00 3/192 25100
/proc/meminfo: memFree=27725800/32873624 swapFree=7104/7104
[pid=25100] ppid=25098 vsize=9625004 CPUtime=1.18 cores=0,2,4,6
/proc/25100/stat : 25100 (java) S 25098 25100 21372 0 -1 4202496 7796 0 1 0 117 1 0 0 20 0 19 0 281438182 9856004096 9593 33554432000 1073741824 1073778376 140734140366864 140734140358000 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/25100/statm: 2406251 9593 2250 9 0 2396937 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 9625004

[startup+1.50067 s]
/proc/loadavg: 2.01 2.04 2.00 3/211 25119
/proc/meminfo: memFree=27683056/32873624 swapFree=7104/7104
[pid=25100] ppid=25098 vsize=9625004 CPUtime=2.06 cores=0,2,4,6
/proc/25100/stat : 25100 (java) S 25098 25100 21372 0 -1 4202496 7873 0 1 0 204 2 0 0 20 0 19 0 281438182 9856004096 13240 33554432000 1073741824 1073778376 140734140366864 140734140358000 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/25100/statm: 2406251 13240 2278 9 0 2396937 0
[pid=25100/tid=25102] ppid=25098 vsize=9625004 CPUtime=1.42 cores=0,2,4,6
/proc/25100/task/25102/stat : 25102 (java) R 25098 25100 21372 0 -1 4202560 2570 0 1 0 142 0 0 0 20 0 19 0 281438183 9856004096 13240 33554432000 1073741824 1073778376 140734140366864 140293154431240 140293094774124 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25103] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25103/stat : 25103 (java) S 25098 25100 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 13240 33554432000 1073741824 1073778376 140734140366864 140292997986856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25104] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25104/stat : 25104 (java) S 25098 25100 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 13240 33554432000 1073741824 1073778376 140734140366864 140292996934056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25105] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25105/stat : 25105 (java) S 25098 25100 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 13240 33554432000 1073741824 1073778376 140734140366864 140292995881256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25100/tid=25106] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25106/stat : 25106 (java) S 25098 25100 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 13240 33554432000 1073741824 1073778376 140734140366864 140292994828456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25107] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25107/stat : 25107 (java) S 25098 25100 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 13240 33554432000 1073741824 1073778376 140734140366864 140292993776680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25108] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25108/stat : 25108 (java) S 25098 25100 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 13240 33554432000 1073741824 1073778376 140734140366864 140292992723880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25100/tid=25109] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25109/stat : 25109 (java) S 25098 25100 21372 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 13240 33554432000 1073741824 1073778376 140734140366864 140292991671080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25110] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25110/stat : 25110 (java) S 25098 25100 21372 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 13240 33554432000 1073741824 1073778376 140734140366864 140292990618280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25111] ppid=25098 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25100/task/25111/stat : 25111 (java) S 25098 25100 21372 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 281438185 9856004096 13240 33554432000 1073741824 1073778376 140734140366864 140292978420200 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25112] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25112/stat : 25112 (java) S 25098 25100 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281438186 9856004096 13240 33554432000 1073741824 1073778376 140734140366864 140292977366264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25113] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25113/stat : 25113 (java) S 25098 25100 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281438186 9856004096 13240 33554432000 1073741824 1073778376 140734140366864 140292976313352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25114] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25114/stat : 25114 (java) S 25098 25100 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281438188 9856004096 13240 33554432000 1073741824 1073778376 140734140366864 140292975261840 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25115] ppid=25098 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/25100/task/25115/stat : 25115 (java) S 25098 25100 21372 0 -1 4202560 1527 0 0 0 30 0 0 0 20 0 19 0 281438188 9856004096 13240 33554432000 1073741824 1073778376 140734140366864 140292974209976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25116] ppid=25098 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/25100/task/25116/stat : 25116 (java) S 25098 25100 21372 0 -1 4202560 2533 0 0 0 26 0 0 0 20 0 19 0 281438188 9856004096 13240 33554432000 1073741824 1073778376 140734140366864 140292973157176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25117] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25117/stat : 25117 (java) S 25098 25100 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281438189 9856004096 13240 33554432000 1073741824 1073778376 140734140366864 140292972104568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25118] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25118/stat : 25118 (java) S 25098 25100 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281438189 9856004096 13240 33554432000 1073741824 1073778376 140734140366864 140292971051976 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25119] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25119/stat : 25119 (java) S 25098 25100 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281438210 9856004096 13240 33554432000 1073741824 1073778376 140734140366864 140292969997480 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 9625004

[startup+3.10066 s]
/proc/loadavg: 2.01 2.04 2.00 3/211 25119
/proc/meminfo: memFree=27678340/32873624 swapFree=7104/7104
[pid=25100] ppid=25098 vsize=9625004 CPUtime=3.7 cores=0,2,4,6
/proc/25100/stat : 25100 (java) S 25098 25100 21372 0 -1 4202496 8011 0 1 0 368 2 0 0 20 0 19 0 281438182 9856004096 14279 33554432000 1073741824 1073778376 140734140366864 140734140358000 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/25100/statm: 2406251 14279 2278 9 0 2396937 0
[pid=25100/tid=25102] ppid=25098 vsize=9625004 CPUtime=2.97 cores=0,2,4,6
/proc/25100/task/25102/stat : 25102 (java) R 25098 25100 21372 0 -1 4202560 2572 0 1 0 297 0 0 0 20 0 19 0 281438183 9856004096 14279 33554432000 1073741824 1073778376 140734140366864 140293154431280 140293094763144 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25103] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25103/stat : 25103 (java) S 25098 25100 21372 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 14279 33554432000 1073741824 1073778376 140734140366864 140292997986856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25104] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25104/stat : 25104 (java) S 25098 25100 21372 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 14279 33554432000 1073741824 1073778376 140734140366864 140292996934056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25105] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25105/stat : 25105 (java) S 25098 25100 21372 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 14279 33554432000 1073741824 1073778376 140734140366864 140292995881256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25100/tid=25106] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25106/stat : 25106 (java) S 25098 25100 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 14279 33554432000 1073741824 1073778376 140734140366864 140292994828456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25107] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25107/stat : 25107 (java) S 25098 25100 21372 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 14279 33554432000 1073741824 1073778376 140734140366864 140292993776680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25108] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25108/stat : 25108 (java) S 25098 25100 21372 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 14279 33554432000 1073741824 1073778376 140734140366864 140292992723880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25100/tid=25109] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25109/stat : 25109 (java) S 25098 25100 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 14279 33554432000 1073741824 1073778376 140734140366864 140292991671080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25110] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25110/stat : 25110 (java) S 25098 25100 21372 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 14279 33554432000 1073741824 1073778376 140734140366864 140292990618280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25111] ppid=25098 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/25100/task/25111/stat : 25111 (java) S 25098 25100 21372 0 -1 4202560 33 0 0 0 5 0 0 0 20 0 19 0 281438185 9856004096 14279 33554432000 1073741824 1073778376 140734140366864 140292978420200 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25112] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25112/stat : 25112 (java) S 25098 25100 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281438186 9856004096 14279 33554432000 1073741824 1073778376 140734140366864 140292977366264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25113] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25113/stat : 25113 (java) S 25098 25100 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281438186 9856004096 14279 33554432000 1073741824 1073778376 140734140366864 140292976313352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25114] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25114/stat : 25114 (java) S 25098 25100 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281438188 9856004096 14279 33554432000 1073741824 1073778376 140734140366864 140292975261840 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25115] ppid=25098 vsize=9625004 CPUtime=0.32 cores=0,2,4,6
/proc/25100/task/25115/stat : 25115 (java) S 25098 25100 21372 0 -1 4202560 1649 0 0 0 32 0 0 0 20 0 19 0 281438188 9856004096 14279 33554432000 1073741824 1073778376 140734140366864 140292974209976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25116] ppid=25098 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/25100/task/25116/stat : 25116 (java) S 25098 25100 21372 0 -1 4202560 2533 0 0 0 26 0 0 0 20 0 19 0 281438188 9856004096 14279 33554432000 1073741824 1073778376 140734140366864 140292973157176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25117] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25117/stat : 25117 (java) S 25098 25100 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281438189 9856004096 14279 33554432000 1073741824 1073778376 140734140366864 140292972104568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25118] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25118/stat : 25118 (java) S 25098 25100 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281438189 9856004096 14279 33554432000 1073741824 1073778376 140734140366864 140292971051976 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25119] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25119/stat : 25119 (java) S 25098 25100 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281438210 9856004096 14279 33554432000 1073741824 1073778376 140734140366864 140292969997480 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 9625004

[startup+6.30069 s]
/proc/loadavg: 2.01 2.04 2.00 3/211 25119
/proc/meminfo: memFree=27667608/32873624 swapFree=7104/7104
[pid=25100] ppid=25098 vsize=9625004 CPUtime=6.95 cores=0,2,4,6
/proc/25100/stat : 25100 (java) S 25098 25100 21372 0 -1 4202496 8046 0 1 0 692 3 0 0 20 0 19 0 281438182 9856004096 16838 33554432000 1073741824 1073778376 140734140366864 140734140358000 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/25100/statm: 2406251 16838 2278 9 0 2396937 0
[pid=25100/tid=25102] ppid=25098 vsize=9625004 CPUtime=6.07 cores=0,2,4,6
/proc/25100/task/25102/stat : 25102 (java) R 25098 25100 21372 0 -1 4202560 2578 0 1 0 607 0 0 0 20 0 19 0 281438183 9856004096 16838 33554432000 1073741824 1073778376 140734140366864 140293154431280 140293094728468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25103] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25103/stat : 25103 (java) S 25098 25100 21372 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 16838 33554432000 1073741824 1073778376 140734140366864 140292997986856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25104] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25104/stat : 25104 (java) S 25098 25100 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 16838 33554432000 1073741824 1073778376 140734140366864 140292996934056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25105] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25105/stat : 25105 (java) S 25098 25100 21372 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 16838 33554432000 1073741824 1073778376 140734140366864 140292995881256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25100/tid=25106] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25106/stat : 25106 (java) S 25098 25100 21372 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 16838 33554432000 1073741824 1073778376 140734140366864 140292994828456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25107] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25107/stat : 25107 (java) S 25098 25100 21372 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 16838 33554432000 1073741824 1073778376 140734140366864 140292993776680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25108] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25108/stat : 25108 (java) S 25098 25100 21372 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 16838 33554432000 1073741824 1073778376 140734140366864 140292992723880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25100/tid=25109] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25109/stat : 25109 (java) S 25098 25100 21372 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 16838 33554432000 1073741824 1073778376 140734140366864 140292991671080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25110] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25110/stat : 25110 (java) S 25098 25100 21372 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281438184 9856004096 16838 33554432000 1073741824 1073778376 140734140366864 140292990618280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25111] ppid=25098 vsize=9625004 CPUtime=0.12 cores=0,2,4,6
/proc/25100/task/25111/stat : 25111 (java) S 25098 25100 21372 0 -1 4202560 35 0 0 0 12 0 0 0 20 0 19 0 281438185 9856004096 16838 33554432000 1073741824 1073778376 140734140366864 140292978420200 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25112] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25112/stat : 25112 (java) S 25098 25100 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281438186 9856004096 16838 33554432000 1073741824 1073778376 140734140366864 140292977366264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25113] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25113/stat : 25113 (java) S 25098 25100 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281438186 9856004096 16838 33554432000 1073741824 1073778376 140734140366864 140292976313352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25114] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25114/stat : 25114 (java) S 25098 25100 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281438188 9856004096 16838 33554432000 1073741824 1073778376 140734140366864 140292975261840 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25115] ppid=25098 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/25100/task/25115/stat : 25115 (java) S 25098 25100 21372 0 -1 4202560 1649 0 0 0 33 0 0 0 20 0 19 0 281438188 9856004096 16838 33554432000 1073741824 1073778376 140734140366864 140292974209976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25116] ppid=25098 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/25100/task/25116/stat : 25116 (java) S 25098 25100 21372 0 -1 4202560 2533 0 0 0 26 0 0 0 20 0 19 0 281438188 9856004096 16838 33554432000 1073741824 1073778376 140734140366864 140292973157176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25117] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25117/stat : 25117 (java) S 25098 25100 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281438189 9856004096 16838 33554432000 1073741824 1073778376 140734140366864 140292972104568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25118] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25118/stat : 25118 (java) S 25098 25100 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281438189 9856004096 16838 33554432000 1073741824 1073778376 140734140366864 140292971051976 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25119] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25119/stat : 25119 (java) S 25098 25100 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281438210 9856004096 16838 33554432000 1073741824 1073778376 140734140366864 140292969997480 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.95
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=25100/tid=25115] ppid=25098 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/25100/task/25115/stat : 25115 (java) S 25098 25100 21372 0 -1 4202560 1862 0 0 0 35 0 0 0 20 0 19 0 281438188 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292974209976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25116] ppid=25098 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/25100/task/25116/stat : 25116 (java) S 25098 25100 21372 0 -1 4202560 2533 0 0 0 26 0 0 0 20 0 19 0 281438188 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292973157176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25117] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25117/stat : 25117 (java) S 25098 25100 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281438189 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292972104568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25118] ppid=25098 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/25100/task/25118/stat : 25118 (java) S 25098 25100 21372 0 -1 4202560 99 0 0 0 16 12 0 0 20 0 19 0 281438189 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292971051976 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25119] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25119/stat : 25119 (java) S 25098 25100 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281438210 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292969997480 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1732.02
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.20 2.08 2.02 3/211 25193
/proc/meminfo: memFree=27400712/32873624 swapFree=7104/7104
[pid=25100] ppid=25098 vsize=9625004 CPUtime=1792.32 cores=0,2,4,6
/proc/25100/stat : 25100 (java) S 25098 25100 21372 0 -1 4202496 11346 0 1 0 179178 54 0 0 20 0 19 0 281438182 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140734140358000 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/25100/statm: 2406251 114638 2279 9 0 2396937 0
[pid=25100/tid=25102] ppid=25098 vsize=9625004 CPUtime=1760.63 cores=0,2,4,6
/proc/25100/task/25102/stat : 25102 (java) R 25098 25100 21372 0 -1 4202560 2814 0 1 0 176033 30 0 0 20 0 19 0 281438183 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140293154431280 140293094763192 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25103] ppid=25098 vsize=9625004 CPUtime=1.64 cores=0,2,4,6
/proc/25100/task/25103/stat : 25103 (java) S 25098 25100 21372 0 -1 4202560 331 0 0 0 159 5 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292997986856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25100/tid=25104] ppid=25098 vsize=9625004 CPUtime=1.64 cores=0,2,4,6
/proc/25100/task/25104/stat : 25104 (java) S 25098 25100 21372 0 -1 4202560 489 0 0 0 160 4 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292996934056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25105] ppid=25098 vsize=9625004 CPUtime=1.68 cores=0,2,4,6
/proc/25100/task/25105/stat : 25105 (java) S 25098 25100 21372 0 -1 4202560 327 0 0 0 163 5 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292995881256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25100/tid=25106] ppid=25098 vsize=9625004 CPUtime=1.61 cores=0,2,4,6
/proc/25100/task/25106/stat : 25106 (java) S 25098 25100 21372 0 -1 4202560 308 0 0 0 159 2 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292994828456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25107] ppid=25098 vsize=9625004 CPUtime=1.62 cores=0,2,4,6
/proc/25100/task/25107/stat : 25107 (java) S 25098 25100 21372 0 -1 4202560 237 0 0 0 159 3 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292993776680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25108] ppid=25098 vsize=9625004 CPUtime=1.54 cores=0,2,4,6
/proc/25100/task/25108/stat : 25108 (java) S 25098 25100 21372 0 -1 4202560 240 0 0 0 149 5 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292992723880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25109] ppid=25098 vsize=9625004 CPUtime=1.53 cores=0,2,4,6
/proc/25100/task/25109/stat : 25109 (java) S 25098 25100 21372 0 -1 4202560 503 0 0 0 150 3 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292991671080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25110] ppid=25098 vsize=9625004 CPUtime=1.68 cores=0,2,4,6
/proc/25100/task/25110/stat : 25110 (java) S 25098 25100 21372 0 -1 4202560 262 0 0 0 162 6 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292990618280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25111] ppid=25098 vsize=9625004 CPUtime=13.31 cores=0,2,4,6
/proc/25100/task/25111/stat : 25111 (java) S 25098 25100 21372 0 -1 4202560 157 0 0 0 1329 2 0 0 20 0 19 0 281438185 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292978420200 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25112] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25112/stat : 25112 (java) S 25098 25100 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281438186 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292977366264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25113] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25113/stat : 25113 (java) S 25098 25100 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281438186 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292976313352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25114] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25114/stat : 25114 (java) S 25098 25100 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281438188 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292975261840 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25115] ppid=25098 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/25100/task/25115/stat : 25115 (java) S 25098 25100 21372 0 -1 4202560 1862 0 0 0 35 0 0 0 20 0 19 0 281438188 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292974209976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25116] ppid=25098 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/25100/task/25116/stat : 25116 (java) S 25098 25100 21372 0 -1 4202560 2533 0 0 0 26 0 0 0 20 0 19 0 281438188 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292973157176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25117] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25117/stat : 25117 (java) S 25098 25100 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281438189 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292972104568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25118] ppid=25098 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/25100/task/25118/stat : 25118 (java) S 25098 25100 21372 0 -1 4202560 103 0 0 0 17 13 0 0 20 0 19 0 281438189 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292971051976 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25119] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25119/stat : 25119 (java) S 25098 25100 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281438210 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292969997480 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1792.32
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790 s]
/proc/loadavg: 2.18 2.08 2.02 3/211 25194
/proc/meminfo: memFree=27400712/32873624 swapFree=7104/7104
[pid=25100] ppid=25098 vsize=9625004 CPUtime=1800.02 cores=0,2,4,6
/proc/25100/stat : 25100 (java) S 25098 25100 21372 0 -1 4202496 11346 0 1 0 179948 54 0 0 20 0 19 0 281438182 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140734140358000 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/25100/statm: 2406251 114638 2279 9 0 2396937 0
[pid=25100/tid=25102] ppid=25098 vsize=9625004 CPUtime=1768.31 cores=0,2,4,6
/proc/25100/task/25102/stat : 25102 (java) R 25098 25100 21372 0 -1 4202560 2814 0 1 0 176801 30 0 0 20 0 19 0 281438183 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140293154431280 140293094866996 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25103] ppid=25098 vsize=9625004 CPUtime=1.64 cores=0,2,4,6
/proc/25100/task/25103/stat : 25103 (java) S 25098 25100 21372 0 -1 4202560 331 0 0 0 159 5 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292997986856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25100/tid=25104] ppid=25098 vsize=9625004 CPUtime=1.64 cores=0,2,4,6
/proc/25100/task/25104/stat : 25104 (java) S 25098 25100 21372 0 -1 4202560 489 0 0 0 160 4 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292996934056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25105] ppid=25098 vsize=9625004 CPUtime=1.68 cores=0,2,4,6
/proc/25100/task/25105/stat : 25105 (java) S 25098 25100 21372 0 -1 4202560 327 0 0 0 163 5 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292995881256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25100/tid=25106] ppid=25098 vsize=9625004 CPUtime=1.61 cores=0,2,4,6
/proc/25100/task/25106/stat : 25106 (java) S 25098 25100 21372 0 -1 4202560 308 0 0 0 159 2 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292994828456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25107] ppid=25098 vsize=9625004 CPUtime=1.62 cores=0,2,4,6
/proc/25100/task/25107/stat : 25107 (java) S 25098 25100 21372 0 -1 4202560 237 0 0 0 159 3 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292993776680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25108] ppid=25098 vsize=9625004 CPUtime=1.54 cores=0,2,4,6
/proc/25100/task/25108/stat : 25108 (java) S 25098 25100 21372 0 -1 4202560 240 0 0 0 149 5 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292992723880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25109] ppid=25098 vsize=9625004 CPUtime=1.53 cores=0,2,4,6
/proc/25100/task/25109/stat : 25109 (java) S 25098 25100 21372 0 -1 4202560 503 0 0 0 150 3 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292991671080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25110] ppid=25098 vsize=9625004 CPUtime=1.68 cores=0,2,4,6
/proc/25100/task/25110/stat : 25110 (java) S 25098 25100 21372 0 -1 4202560 262 0 0 0 162 6 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292990618280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25111] ppid=25098 vsize=9625004 CPUtime=13.31 cores=0,2,4,6
/proc/25100/task/25111/stat : 25111 (java) S 25098 25100 21372 0 -1 4202560 157 0 0 0 1329 2 0 0 20 0 19 0 281438185 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292978420200 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25112] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25112/stat : 25112 (java) S 25098 25100 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281438186 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292977366264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25113] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25113/stat : 25113 (java) S 25098 25100 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281438186 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292976313352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25114] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25114/stat : 25114 (java) S 25098 25100 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281438188 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292975261840 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25115] ppid=25098 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/25100/task/25115/stat : 25115 (java) S 25098 25100 21372 0 -1 4202560 1862 0 0 0 35 0 0 0 20 0 19 0 281438188 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292974209976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25116] ppid=25098 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/25100/task/25116/stat : 25116 (java) S 25098 25100 21372 0 -1 4202560 2533 0 0 0 26 0 0 0 20 0 19 0 281438188 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292973157176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25117] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25117/stat : 25117 (java) S 25098 25100 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281438189 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292972104568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25118] ppid=25098 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/25100/task/25118/stat : 25118 (java) S 25098 25100 21372 0 -1 4202560 103 0 0 0 17 13 0 0 20 0 19 0 281438189 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292971051976 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25119] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25119/stat : 25119 (java) S 25098 25100 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281438210 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292969997480 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1790 s]
/proc/loadavg: 2.18 2.08 2.02 3/211 25194
/proc/meminfo: memFree=27400712/32873624 swapFree=7104/7104
[pid=25100] ppid=25098 vsize=9625004 CPUtime=1800.02 cores=0,2,4,6
/proc/25100/stat : 25100 (java) S 25098 25100 21372 0 -1 4202496 11346 0 1 0 179948 54 0 0 20 0 19 0 281438182 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140734140358000 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/25100/statm: 2406251 114638 2279 9 0 2396937 0
[pid=25100/tid=25102] ppid=25098 vsize=9625004 CPUtime=1768.31 cores=0,2,4,6
/proc/25100/task/25102/stat : 25102 (java) R 25098 25100 21372 0 -1 4202560 2814 0 1 0 176801 30 0 0 20 0 19 0 281438183 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140293154431280 140293094866996 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25103] ppid=25098 vsize=9625004 CPUtime=1.64 cores=0,2,4,6
/proc/25100/task/25103/stat : 25103 (java) S 25098 25100 21372 0 -1 4202560 331 0 0 0 159 5 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292997986856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25100/tid=25104] ppid=25098 vsize=9625004 CPUtime=1.64 cores=0,2,4,6
/proc/25100/task/25104/stat : 25104 (java) S 25098 25100 21372 0 -1 4202560 489 0 0 0 160 4 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292996934056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25105] ppid=25098 vsize=9625004 CPUtime=1.68 cores=0,2,4,6
/proc/25100/task/25105/stat : 25105 (java) S 25098 25100 21372 0 -1 4202560 327 0 0 0 163 5 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292995881256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25100/tid=25106] ppid=25098 vsize=9625004 CPUtime=1.61 cores=0,2,4,6
/proc/25100/task/25106/stat : 25106 (java) S 25098 25100 21372 0 -1 4202560 308 0 0 0 159 2 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292994828456 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25107] ppid=25098 vsize=9625004 CPUtime=1.62 cores=0,2,4,6
/proc/25100/task/25107/stat : 25107 (java) S 25098 25100 21372 0 -1 4202560 237 0 0 0 159 3 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292993776680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25108] ppid=25098 vsize=9625004 CPUtime=1.54 cores=0,2,4,6
/proc/25100/task/25108/stat : 25108 (java) S 25098 25100 21372 0 -1 4202560 240 0 0 0 149 5 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292992723880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25109] ppid=25098 vsize=9625004 CPUtime=1.53 cores=0,2,4,6
/proc/25100/task/25109/stat : 25109 (java) S 25098 25100 21372 0 -1 4202560 503 0 0 0 150 3 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292991671080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25110] ppid=25098 vsize=9625004 CPUtime=1.68 cores=0,2,4,6
/proc/25100/task/25110/stat : 25110 (java) S 25098 25100 21372 0 -1 4202560 262 0 0 0 162 6 0 0 20 0 19 0 281438184 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292990618280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25111] ppid=25098 vsize=9625004 CPUtime=13.31 cores=0,2,4,6
/proc/25100/task/25111/stat : 25111 (java) S 25098 25100 21372 0 -1 4202560 157 0 0 0 1329 2 0 0 20 0 19 0 281438185 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292978420200 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25112] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25112/stat : 25112 (java) S 25098 25100 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281438186 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292977366264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25113] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25113/stat : 25113 (java) S 25098 25100 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281438186 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292976313352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25114] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25114/stat : 25114 (java) S 25098 25100 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281438188 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292975261840 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25115] ppid=25098 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/25100/task/25115/stat : 25115 (java) S 25098 25100 21372 0 -1 4202560 1862 0 0 0 35 0 0 0 20 0 19 0 281438188 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292974209976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25100/tid=25116] ppid=25098 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/25100/task/25116/stat : 25116 (java) S 25098 25100 21372 0 -1 4202560 2533 0 0 0 26 0 0 0 20 0 19 0 281438188 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292973157176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25117] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25117/stat : 25117 (java) S 25098 25100 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281438189 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292972104568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25100/tid=25118] ppid=25098 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/25100/task/25118/stat : 25118 (java) S 25098 25100 21372 0 -1 4202560 103 0 0 0 17 13 0 0 20 0 19 0 281438189 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292971051976 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25100/tid=25119] ppid=25098 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25100/task/25119/stat : 25119 (java) S 25098 25100 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281438210 9856004096 114638 33554432000 1073741824 1073778376 140734140366864 140292969997480 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625004

Child status: 143

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

Real time (s): 1790.06
CPU time (s): 1800.02
CPU user time (s): 1799.48
CPU system time (s): 0.54
CPU usage (%): 100.557
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.91
system time used= 0.922859
maximum resident set size= 460772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11394
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= 43501
involuntary context switches= 32657

runsolver used 5.51216 second user time and 13.8619 second system time

The end

Launcher Data 

Begin job on node121 at 2012-05-27 23:12:07
IDJOB=3710797
IDBENCH=2868
IDSOLVER=2289
FILE ID=node121/3710797-1338153127
RUNJOBID= node121-1338138816-23672
PBS_JOBID= 14624482
Free space on /tmp= 71712 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-m4.r.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-3710797-1338153127/watcher-3710797-1338153127 -o /tmp/evaluation-result-3710797-1338153127/solver-3710797-1338153127 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710797-1338153127.opb

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

MD5SUM BENCH= f69ecb5497caa964fbd82b9dc6698ac3
RANDOM SEED=898950352

node121.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.042
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.08
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.042
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.042
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		: 2667.042
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.042
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.042
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.042
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	: 5438.55
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.042
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:       32873624 kB
MemFree:        27726412 kB
Buffers:          514708 kB
Cached:          2787840 kB
SwapCached:            0 kB
Active:          1751032 kB
Inactive:        2533856 kB
Active(anon):     983316 kB
Inactive(anon):        0 kB
Active(file):     767716 kB
Inactive(file):  2533856 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               848 kB
Writeback:             0 kB
AnonPages:        993760 kB
Mapped:            22344 kB
Shmem:               200 kB
Slab:             717880 kB
SReclaimable:     162244 kB
SUnreclaim:       555636 kB
KernelStack:        1592 kB
PageTables:         6228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:    1176960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    956416 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= 71708 MiB
End job on node121 at 2012-05-27 23:41:59