Trace number 3711104

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)30 1800.03 1791.36

General information on the benchmark

Name/OPT-SMALLINT-LIN/
kullmann/normalized-sbox_4_shg.opb
MD5SUM175e0a4a6cd805ac131e3fa3fd7ba75e
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark0.138978
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables147
Total number of constraints240
Number of constraints which are clauses240
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 constraint21
Number of terms in the objective function 147
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 147
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 147
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.10	c See www.sat4j.org for details.
0.06/0.10	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.06/0.10	c version 2.3.2.v20120418
0.06/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.10	c java.vm.version	19.1-b02
0.06/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.10	c sun.arch.data.model	64
0.06/0.10	c java.version		1.6.0_24
0.06/0.10	c os.name		Linux
0.06/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.10	c os.arch		amd64
0.06/0.10	c Free memory 		501472288
0.06/0.10	c Max memory 		7480803328
0.06/0.10	c Total memory 		504102912
0.06/0.10	c Number of processors 	8
0.06/0.14	c read org.sat4j.minisat.orders.VarOrderHeap
0.06/0.14	c configuring ORDERS
0.06/0.14	c --- Begin Solver configuration ---
0.06/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.06/0.14	c Learn all clauses as in MiniSAT
0.06/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.06/0.14	c Expensive reason simplification
0.06/0.14	c Armin Biere (Picosat) restarts strategy
0.06/0.14	c Glucose learned constraints deletion strategy
0.06/0.14	c timeout=2147483s
0.06/0.14	c DB Simplification allowed=true
0.06/0.14	c Heuristics kept accross calls (keep the solver "hot")
0.06/0.14	c --- End Solver configuration ---
0.06/0.14	c solving HOME/instance-3711104-1338209862.opb
0.06/0.14	c reading problem ... 
0.22/0.22	c ... done. Wall clock time 0.082s.
0.22/0.22	c declared #vars     147
0.22/0.22	c #constraints  240
0.22/0.22	c constraints type 
0.22/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 239
0.22/0.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1
0.22/0.22	c 240 constraints processed.
0.22/0.23	c SATISFIABLE
0.22/0.23	c OPTIMIZING...
0.22/0.23	c Got one! Elapsed wall clock time (in seconds):0.087
0.22/0.23	o 32
0.22/0.23	c Got one! Elapsed wall clock time (in seconds):0.091
0.22/0.23	o 31
0.22/0.23	c Got one! Elapsed wall clock time (in seconds):0.094
0.22/0.23	o 30
0.67/0.47	c cleaning 2499 clauses out of 5001 with flag 5001/5001
1.01/0.61	c cleaning 4247 clauses out of 8501 with flag 11000/11000
1.12/0.75	c cleaning 5621 clauses out of 11254 with flag 18000/18000
1.33/0.92	c cleaning 6813 clauses out of 13634 with flag 26001/26001
1.55/1.12	c cleaning 7906 clauses out of 15821 with flag 35001/35001
1.75/1.33	c cleaning 8948 clauses out of 17915 with flag 45001/45001
1.96/1.56	c cleaning 9976 clauses out of 19966 with flag 56000/56000
2.27/1.82	c cleaning 10993 clauses out of 21992 with flag 68002/68002
2.57/2.13	c cleaning 11993 clauses out of 23997 with flag 81000/81000
2.87/2.44	c cleaning 12995 clauses out of 26004 with flag 95000/95000
3.17/2.78	c cleaning 14003 clauses out of 28010 with flag 110001/110001
3.58/3.15	c cleaning 14999 clauses out of 30006 with flag 126000/126000
3.98/3.52	c cleaning 15995 clauses out of 32007 with flag 143000/143000
4.39/3.93	c cleaning 16998 clauses out of 34013 with flag 161001/161001
4.81/4.40	c cleaning 18004 clauses out of 36014 with flag 180000/180000
5.32/4.87	c cleaning 19000 clauses out of 38010 with flag 200000/200000
5.83/5.36	c cleaning 19996 clauses out of 40011 with flag 221001/221001
6.43/5.90	c cleaning 20988 clauses out of 42014 with flag 243000/243000
6.95/6.49	c cleaning 22008 clauses out of 44026 with flag 266000/266000
7.56/7.08	c cleaning 23004 clauses out of 46020 with flag 290002/290002
8.28/7.71	c cleaning 23997 clauses out of 48014 with flag 315000/315000
8.98/8.42	c cleaning 25000 clauses out of 50017 with flag 341000/341000
9.71/9.13	c cleaning 26002 clauses out of 52017 with flag 368000/368000
10.54/9.98	c cleaning 27001 clauses out of 54015 with flag 396000/396000
11.25/10.69	c cleaning 28001 clauses out of 56014 with flag 425000/425000
12.07/11.47	c cleaning 28998 clauses out of 58013 with flag 455000/455000
13.11/12.45	c cleaning 29996 clauses out of 60015 with flag 486000/486000
14.13/13.46	c cleaning 31000 clauses out of 62020 with flag 518001/518001
15.06/14.33	c cleaning 31995 clauses out of 64020 with flag 551001/551001
16.06/15.32	c cleaning 33006 clauses out of 66026 with flag 585002/585002
16.98/16.27	c cleaning 34000 clauses out of 68018 with flag 620000/620000
17.98/17.22	c cleaning 35001 clauses out of 70019 with flag 656001/656001
19.02/18.23	c cleaning 35999 clauses out of 72017 with flag 693000/693000
20.14/19.31	c cleaning 36997 clauses out of 74018 with flag 731000/731000
21.45/20.60	c cleaning 38000 clauses out of 76021 with flag 770000/770000
22.57/21.72	c cleaning 38998 clauses out of 78023 with flag 810002/810002
23.90/23.01	c cleaning 40002 clauses out of 80024 with flag 851001/851001
25.31/24.40	c cleaning 41005 clauses out of 82021 with flag 893000/893000
26.53/25.63	c cleaning 41997 clauses out of 84016 with flag 936000/936000
27.83/26.91	c cleaning 43003 clauses out of 86019 with flag 980000/980000
29.14/28.20	c cleaning 44002 clauses out of 88016 with flag 1025000/1025000
30.67/29.80	c cleaning 45000 clauses out of 90014 with flag 1071000/1071000
32.17/31.22	c cleaning 45996 clauses out of 92014 with flag 1118000/1118000
33.77/32.87	c cleaning 46995 clauses out of 94018 with flag 1166000/1166000
35.29/34.39	c cleaning 48006 clauses out of 96024 with flag 1215001/1215001
37.31/36.31	c cleaning 49002 clauses out of 98017 with flag 1265000/1265000
39.33/38.33	c cleaning 49998 clauses out of 100015 with flag 1316000/1316000
41.07/40.09	c cleaning 51006 clauses out of 102020 with flag 1368003/1368003
42.80/41.73	c cleaning 51998 clauses out of 104011 with flag 1421000/1421000
44.61/43.58	c cleaning 52999 clauses out of 106013 with flag 1475000/1475000
46.74/45.62	c cleaning 53998 clauses out of 108014 with flag 1530000/1530000
48.86/47.75	c cleaning 54998 clauses out of 110016 with flag 1586000/1586000
50.69/49.59	c cleaning 56005 clauses out of 112025 with flag 1643007/1643007
52.80/51.70	c cleaning 56999 clauses out of 114013 with flag 1701000/1701000
55.51/54.30	c cleaning 57995 clauses out of 116015 with flag 1760001/1760001
57.73/56.55	c cleaning 58999 clauses out of 118020 with flag 1820001/1820001
60.15/58.91	c cleaning 60000 clauses out of 120020 with flag 1881000/1881000
62.87/61.63	c cleaning 60998 clauses out of 122020 with flag 1943000/1943000
65.80/64.57	c cleaning 62001 clauses out of 124022 with flag 2006000/2006000
67.91/66.63	c cleaning 63002 clauses out of 126021 with flag 2070000/2070000
70.23/68.97	c cleaning 64004 clauses out of 128020 with flag 2135001/2135001
72.75/71.49	c cleaning 64997 clauses out of 130015 with flag 2201000/2201000
75.35/74.07	c cleaning 65999 clauses out of 132018 with flag 2268000/2268000
77.79/76.40	c cleaning 67001 clauses out of 134019 with flag 2336000/2336000
80.32/78.96	c cleaning 67996 clauses out of 136018 with flag 2405000/2405000
82.75/81.37	c cleaning 69001 clauses out of 138022 with flag 2475000/2475000
85.96/84.51	c cleaning 70002 clauses out of 140021 with flag 2546000/2546000
89.18/87.71	c cleaning 71001 clauses out of 142019 with flag 2618000/2618000
91.79/90.31	c cleaning 72000 clauses out of 144019 with flag 2691001/2691001
94.63/93.18	c cleaning 73000 clauses out of 146019 with flag 2765001/2765001
97.56/96.08	c cleaning 73994 clauses out of 148018 with flag 2840000/2840000
100.66/99.14	c cleaning 75003 clauses out of 150025 with flag 2916001/2916001
103.81/102.30	c cleaning 76006 clauses out of 152021 with flag 2993000/2993000
106.63/105.06	c cleaning 76999 clauses out of 154016 with flag 3071001/3071001
109.34/107.80	c cleaning 78001 clauses out of 156017 with flag 3150001/3150001
112.34/110.70	c cleaning 78999 clauses out of 158015 with flag 3230000/3230000
115.37/113.79	c cleaning 80001 clauses out of 160017 with flag 3311001/3311001
118.79/117.10	c cleaning 80996 clauses out of 162016 with flag 3393001/3393001
121.93/120.26	c cleaning 82001 clauses out of 164019 with flag 3476000/3476000
125.78/124.05	c cleaning 82999 clauses out of 166018 with flag 3560000/3560000
129.91/128.17	c cleaning 84001 clauses out of 168019 with flag 3645000/3645000
133.67/131.83	c cleaning 84997 clauses out of 170018 with flag 3731000/3731000
137.81/135.99	c cleaning 85998 clauses out of 172022 with flag 3818001/3818001
141.92/140.03	c cleaning 86992 clauses out of 174023 with flag 3906000/3906000
145.97/144.02	c cleaning 88010 clauses out of 176031 with flag 3995000/3995000
149.69/147.75	c cleaning 89005 clauses out of 178022 with flag 4085001/4085001
154.33/152.33	c cleaning 90000 clauses out of 180018 with flag 4176002/4176002
158.68/156.63	c cleaning 90994 clauses out of 182016 with flag 4268000/4268000
164.43/162.34	c cleaning 92000 clauses out of 184025 with flag 4361003/4361003
170.18/168.08	c cleaning 93002 clauses out of 186022 with flag 4455000/4455000
174.41/172.24	c cleaning 94003 clauses out of 188021 with flag 4550001/4550001
178.24/176.07	c cleaning 94999 clauses out of 190018 with flag 4646001/4646001
182.25/180.06	c cleaning 96001 clauses out of 192019 with flag 4743001/4743001
186.08/183.87	c cleaning 96995 clauses out of 194018 with flag 4841001/4841001
191.11/188.83	c cleaning 98000 clauses out of 196023 with flag 4940001/4940001
195.43/193.12	c cleaning 99000 clauses out of 198025 with flag 5040003/5040003
200.12/197.79	c cleaning 100001 clauses out of 200022 with flag 5141000/5141000
205.55/203.16	c cleaning 101001 clauses out of 202022 with flag 5243001/5243001
211.99/209.50	c cleaning 101999 clauses out of 204020 with flag 5346000/5346000
218.04/215.59	c cleaning 102998 clauses out of 206021 with flag 5450000/5450000
222.48/219.94	c cleaning 104002 clauses out of 208025 with flag 5555002/5555002
227.59/225.04	c cleaning 104995 clauses out of 210021 with flag 5661000/5661000
232.72/230.10	c cleaning 106003 clauses out of 212027 with flag 5768001/5768001
237.85/235.28	c cleaning 107002 clauses out of 214025 with flag 5876002/5876002
242.88/240.26	c cleaning 108007 clauses out of 216022 with flag 5985001/5985001
249.71/247.03	c cleaning 108993 clauses out of 218014 with flag 6095000/6095000
256.24/253.52	c cleaning 110001 clauses out of 220023 with flag 6206002/6206002
262.47/259.73	c cleaning 111005 clauses out of 222023 with flag 6318003/6318003
268.48/265.76	c cleaning 111994 clauses out of 224015 with flag 6431000/6431000
274.32/271.55	c cleaning 112998 clauses out of 226021 with flag 6545000/6545000
281.05/278.24	c cleaning 114003 clauses out of 228023 with flag 6660000/6660000
287.26/284.44	c cleaning 115001 clauses out of 230020 with flag 6776000/6776000
292.08/289.27	c cleaning 116002 clauses out of 232020 with flag 6893001/6893001
297.69/294.88	c cleaning 117002 clauses out of 234017 with flag 7011000/7011000
304.59/301.71	c cleaning 118000 clauses out of 236015 with flag 7130000/7130000
310.12/307.28	c cleaning 119000 clauses out of 238015 with flag 7250000/7250000
316.65/313.74	c cleaning 120000 clauses out of 240016 with flag 7371001/7371001
322.77/319.89	c cleaning 120996 clauses out of 242016 with flag 7493001/7493001
329.91/326.95	c cleaning 121996 clauses out of 244019 with flag 7616000/7616000
337.14/334.11	c cleaning 123004 clauses out of 246023 with flag 7740000/7740000
346.29/343.23	c cleaning 124006 clauses out of 248020 with flag 7865001/7865001
354.63/351.56	c cleaning 124996 clauses out of 250014 with flag 7991001/7991001
362.47/359.33	c cleaning 125999 clauses out of 252017 with flag 8118000/8118000
369.80/366.70	c cleaning 126998 clauses out of 254018 with flag 8246000/8246000
377.16/373.99	c cleaning 128003 clauses out of 256020 with flag 8375000/8375000
384.57/381.39	c cleaning 128993 clauses out of 258017 with flag 8505000/8505000
391.60/388.38	c cleaning 130005 clauses out of 260024 with flag 8636000/8636000
401.04/397.78	c cleaning 130997 clauses out of 262019 with flag 8768000/8768000
411.21/407.82	c cleaning 131998 clauses out of 264022 with flag 8901000/8901000
417.66/414.29	c cleaning 133003 clauses out of 266024 with flag 9035000/9035000
426.36/422.93	c cleaning 133997 clauses out of 268021 with flag 9170000/9170000
435.60/432.16	c cleaning 134999 clauses out of 270024 with flag 9306000/9306000
445.54/442.10	c cleaning 135999 clauses out of 272026 with flag 9443001/9443001
454.60/451.09	c cleaning 137000 clauses out of 274026 with flag 9581000/9581000
463.76/460.19	c cleaning 138002 clauses out of 276029 with flag 9720003/9720003
473.88/470.28	c cleaning 139005 clauses out of 278025 with flag 9860001/9860001
484.32/480.62	c cleaning 139996 clauses out of 280019 with flag 10001000/10001000
493.36/489.68	c cleaning 141005 clauses out of 282023 with flag 10143000/10143000
500.20/496.42	c cleaning 142001 clauses out of 284019 with flag 10286001/10286001
507.64/503.81	c cleaning 143000 clauses out of 286017 with flag 10430000/10430000
515.48/511.68	c cleaning 143999 clauses out of 288017 with flag 10575000/10575000
524.61/520.75	c cleaning 144994 clauses out of 290021 with flag 10721003/10721003
532.97/529.09	c cleaning 146002 clauses out of 292024 with flag 10868000/10868000
542.81/538.87	c cleaning 147003 clauses out of 294023 with flag 11016001/11016001
549.84/545.90	c cleaning 147996 clauses out of 296019 with flag 11165000/11165000
559.28/555.22	c cleaning 149000 clauses out of 298023 with flag 11315000/11315000
568.63/564.56	c cleaning 150002 clauses out of 300023 with flag 11466000/11466000
576.60/572.44	c cleaning 151007 clauses out of 302022 with flag 11618001/11618001
587.45/583.22	c cleaning 151999 clauses out of 304016 with flag 11771002/11771002
600.28/596.05	c cleaning 152999 clauses out of 306016 with flag 11925001/11925001
611.96/607.67	c cleaning 154002 clauses out of 308018 with flag 12080002/12080002
625.05/620.64	c cleaning 154994 clauses out of 310014 with flag 12236000/12236000
634.90/630.49	c cleaning 156001 clauses out of 312021 with flag 12393001/12393001
646.32/641.83	c cleaning 157001 clauses out of 314019 with flag 12551000/12551000
657.47/652.94	c cleaning 157996 clauses out of 316018 with flag 12710000/12710000
668.05/663.45	c cleaning 159000 clauses out of 318022 with flag 12870000/12870000
679.28/674.66	c cleaning 160003 clauses out of 320022 with flag 13031000/13031000
691.13/686.49	c cleaning 160999 clauses out of 322019 with flag 13193000/13193000
702.57/697.80	c cleaning 161997 clauses out of 324020 with flag 13356000/13356000
712.35/707.57	c cleaning 163001 clauses out of 326026 with flag 13520003/13520003
723.49/718.64	c cleaning 163996 clauses out of 328022 with flag 13685000/13685000
733.41/728.59	c cleaning 164998 clauses out of 330026 with flag 13851000/13851000
745.45/740.52	c cleaning 166008 clauses out of 332028 with flag 14018000/14018000
756.11/751.19	c cleaning 166997 clauses out of 334022 with flag 14186002/14186002
768.20/763.14	c cleaning 167994 clauses out of 336024 with flag 14355001/14355001
780.48/775.38	c cleaning 169004 clauses out of 338033 with flag 14525004/14525004
794.85/789.68	c cleaning 169997 clauses out of 340025 with flag 14696000/14696000
809.93/804.60	c cleaning 170996 clauses out of 342028 with flag 14868000/14868000
823.49/818.11	c cleaning 172005 clauses out of 344033 with flag 15041001/15041001
835.70/830.39	c cleaning 173003 clauses out of 346027 with flag 15215000/15215000
845.24/839.84	c cleaning 174003 clauses out of 348025 with flag 15390001/15390001
854.67/849.27	c cleaning 175005 clauses out of 350021 with flag 15566000/15566000
864.78/859.39	c cleaning 175999 clauses out of 352016 with flag 15743000/15743000
875.34/869.82	c cleaning 176997 clauses out of 354017 with flag 15921000/15921000
888.99/883.43	c cleaning 178002 clauses out of 356020 with flag 16100000/16100000
901.54/895.92	c cleaning 179001 clauses out of 358018 with flag 16280000/16280000
914.21/908.50	c cleaning 179998 clauses out of 360017 with flag 16461000/16461000
926.85/921.15	c cleaning 181002 clauses out of 362020 with flag 16643001/16643001
940.73/934.96	c cleaning 181998 clauses out of 364018 with flag 16826001/16826001
956.70/950.85	c cleaning 183000 clauses out of 366020 with flag 17010001/17010001
970.18/964.27	c cleaning 184003 clauses out of 368019 with flag 17195000/17195000
984.73/978.73	c cleaning 184993 clauses out of 370016 with flag 17381000/17381000
999.91/993.89	c cleaning 186000 clauses out of 372024 with flag 17568001/17568001
1014.69/1008.60	c cleaning 187000 clauses out of 374024 with flag 17756001/17756001
1030.24/1024.05	c cleaning 187999 clauses out of 376023 with flag 17945000/17945000
1046.38/1040.18	c cleaning 189001 clauses out of 378025 with flag 18135001/18135001
1059.91/1053.63	c cleaning 189999 clauses out of 380024 with flag 18326001/18326001
1074.15/1067.89	c cleaning 191003 clauses out of 382025 with flag 18518001/18518001
1090.43/1084.07	c cleaning 191999 clauses out of 384024 with flag 18711003/18711003
1105.90/1099.42	c cleaning 193000 clauses out of 386022 with flag 18905000/18905000
1120.76/1114.29	c cleaning 194003 clauses out of 388022 with flag 19100000/19100000
1139.42/1132.84	c cleaning 194990 clauses out of 390020 with flag 19296001/19296001
1154.15/1147.59	c cleaning 196001 clauses out of 392029 with flag 19493000/19493000
1170.58/1163.94	c cleaning 197006 clauses out of 394028 with flag 19691000/19691000
1187.21/1180.45	c cleaning 197996 clauses out of 396022 with flag 19890000/19890000
1205.94/1199.18	c cleaning 198997 clauses out of 398027 with flag 20090001/20090001
1218.88/1212.00	c cleaning 200002 clauses out of 400029 with flag 20291000/20291000
1236.93/1230.04	c cleaning 201001 clauses out of 402027 with flag 20493000/20493000
1253.47/1246.58	c cleaning 202001 clauses out of 404027 with flag 20696001/20696001
1273.25/1266.28	c cleaning 203007 clauses out of 406025 with flag 20900000/20900000
1291.12/1284.02	c cleaning 204002 clauses out of 408021 with flag 21105003/21105003
1311.88/1304.77	c cleaning 204991 clauses out of 410016 with flag 21311000/21311000
1330.79/1323.64	c cleaning 206001 clauses out of 412025 with flag 21518000/21518000
1348.05/1340.85	c cleaning 206999 clauses out of 414024 with flag 21726000/21726000
1368.32/1361.01	c cleaning 207999 clauses out of 416025 with flag 21935000/21935000
1388.79/1381.41	c cleaning 208999 clauses out of 418026 with flag 22145000/22145000
1408.06/1400.64	c cleaning 209995 clauses out of 420027 with flag 22356000/22356000
1425.96/1418.44	c cleaning 211003 clauses out of 422034 with flag 22568002/22568002
1443.23/1435.62	c cleaning 212012 clauses out of 424031 with flag 22781002/22781002
1456.86/1449.23	c cleaning 212995 clauses out of 426018 with flag 22995001/22995001
1472.51/1464.87	c cleaning 214003 clauses out of 428023 with flag 23210001/23210001
1488.34/1480.65	c cleaning 215001 clauses out of 430019 with flag 23426000/23426000
1507.71/1499.97	c cleaning 215998 clauses out of 432018 with flag 23643000/23643000
1521.67/1513.88	c cleaning 217000 clauses out of 434021 with flag 23861001/23861001
1539.52/1531.63	c cleaning 217995 clauses out of 436020 with flag 24080000/24080000
1554.26/1546.31	c cleaning 219003 clauses out of 438026 with flag 24300001/24300001
1578.59/1570.66	c cleaning 220003 clauses out of 440022 with flag 24521000/24521000
1600.89/1592.82	c cleaning 220998 clauses out of 442019 with flag 24743000/24743000
1622.67/1614.54	c cleaning 222005 clauses out of 444023 with flag 24966002/24966002
1640.31/1632.12	c cleaning 222999 clauses out of 446016 with flag 25190000/25190000
1658.87/1650.66	c cleaning 224000 clauses out of 448017 with flag 25415000/25415000
1678.30/1670.02	c cleaning 224992 clauses out of 450017 with flag 25641000/25641000
1698.86/1690.57	c cleaning 225997 clauses out of 452025 with flag 25868000/25868000
1719.59/1711.10	c cleaning 227007 clauses out of 454028 with flag 26096000/26096000
1739.97/1731.47	c cleaning 228003 clauses out of 456021 with flag 26325000/26325000
1761.02/1752.48	c cleaning 228995 clauses out of 458018 with flag 26555000/26555000
1782.35/1773.78	c cleaning 229998 clauses out of 460024 with flag 26786001/26786001
1800.03/1791.31	c starts		: 379
1800.03/1791.31	c conflicts		: 27018001
1800.03/1791.31	c decisions		: 46027641
1800.03/1791.31	c propagations		: 370798666
1800.03/1791.31	c inspects		: 15435007525
1800.03/1791.31	c shortcuts		: 0
1800.03/1791.31	c learnt literals	: 0
1800.03/1791.31	c learnt binary clauses	: 0
1800.03/1791.31	c learnt ternary clauses	: 0
1800.03/1791.31	c learnt constraints	: 27018001
1800.03/1791.31	c ignored constraints	: 0
1800.03/1791.31	c root simplifications	: 379
1800.03/1791.31	c removed literals (reason simplification)	: 8914647
1800.03/1791.31	c reason swapping (by a shorter reason)	: 0
1800.03/1791.31	c Calls to reduceDB	: 228
1800.03/1791.31	c number of reductions to clauses (during analyze)	: 0
1800.03/1791.31	c number of learned constraints concerned by reduction	: 0
1800.03/1791.31	c number of learning phase by resolution	: 0
1800.03/1791.31	c number of learning phase by cutting planes	: 0
1800.03/1791.31	c speed (assignments/second)	: 207024.37458370253
1800.03/1791.31	c non guided choices	556
1800.03/1791.35	c learnt constraints type 
1800.03/1791.35	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 462026
1800.03/1791.35	c constraints type 
1800.03/1791.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 239
1800.03/1791.35	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.03/1791.35	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1
1800.03/1791.35	c 241 constraints processed.
1800.03/1791.35	s SATISFIABLE
1800.03/1791.36	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 
1800.03/1791.36	c objective function=30
1800.03/1791.36	c Total wall clock time (in seconds): 1791.216

Verifier Data 

OK	30

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

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

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


[startup+0 s]
/proc/loadavg: 1.97 2.00 2.00 3/194 11562
/proc/meminfo: memFree=29624628/32873844 swapFree=6872/6872
[pid=11562] ppid=11560 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/11562/stat : 11562 (java) R 11560 11562 9972 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 287114710 278528 33 33554432000 1073741824 1073778376 140737375746448 140737375743624 270109076661 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11562/statm: 68 33 25 9 0 25 0

[startup+0.00708691 s]
/proc/loadavg: 1.97 2.00 2.00 3/194 11562
/proc/meminfo: memFree=29624628/32873844 swapFree=6872/6872
[pid=11562] ppid=11560 vsize=9212 CPUtime=0 cores=1,3,5,7
/proc/11562/stat : 11562 (java) R 11560 11562 9972 0 -1 4202496 107 0 0 0 0 0 0 0 20 0 1 0 287114710 9433088 59 33554432000 1073741824 1073778376 140737375746448 140737375743576 270109077290 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11562/statm: 2306 76 59 9 0 38 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9212

[startup+0.100223 s]
/proc/loadavg: 1.97 2.00 2.00 3/194 11562
/proc/meminfo: memFree=29624628/32873844 swapFree=6872/6872
[pid=11562] ppid=11560 vsize=9558440 CPUtime=0.06 cores=1,3,5,7
/proc/11562/stat : 11562 (java) S 11560 11562 9972 0 -1 4202496 3463 0 1 0 5 1 0 0 20 0 18 0 287114710 9787842560 4671 33554432000 1073741824 1073778376 140735483197168 140735483188304 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11562/statm: 2389610 4671 1779 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440

[startup+0.300246 s]
/proc/loadavg: 1.97 2.00 2.00 3/194 11562
/proc/meminfo: memFree=29624628/32873844 swapFree=6872/6872
[pid=11562] ppid=11560 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/11562/stat : 11562 (java) S 11560 11562 9972 0 -1 4202496 6460 0 1 0 45 2 0 0 20 0 19 0 287114710 9856004096 8330 33554432000 1073741824 1073778376 140735483197168 140735483188304 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11562/statm: 2406251 8330 2239 9 0 2396937 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9625004

[startup+0.700236 s]
/proc/loadavg: 1.97 2.00 2.00 3/194 11562
/proc/meminfo: memFree=29624628/32873844 swapFree=6872/6872
[pid=11562] ppid=11560 vsize=9625004 CPUtime=1.12 cores=1,3,5,7
/proc/11562/stat : 11562 (java) S 11560 11562 9972 0 -1 4202496 7495 0 1 0 110 2 0 0 20 0 19 0 287114710 9856004096 10813 33554432000 1073741824 1073778376 140735483197168 140735483188304 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11562/statm: 2406251 10813 2277 9 0 2396937 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 9625004

[startup+1.50075 s]
/proc/loadavg: 1.97 2.00 2.00 3/213 11581
/proc/meminfo: memFree=29588416/32873844 swapFree=6872/6872
[pid=11562] ppid=11560 vsize=9625004 CPUtime=1.96 cores=1,3,5,7
/proc/11562/stat : 11562 (java) S 11560 11562 9972 0 -1 4202496 7518 0 1 0 194 2 0 0 20 0 19 0 287114710 9856004096 11343 33554432000 1073741824 1073778376 140735483197168 140735483188304 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11562/statm: 2406251 11343 2277 9 0 2396937 0
[pid=11562/tid=11564] ppid=11560 vsize=9625004 CPUtime=1.38 cores=1,3,5,7
/proc/11562/task/11564/stat : 11564 (java) R 11560 11562 9972 0 -1 4202560 2518 0 1 0 136 2 0 0 20 0 19 0 287114712 9856004096 11343 33554432000 1073741824 1073778376 140735483197168 140156699738680 140156544173360 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11565] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11565/stat : 11565 (java) S 11560 11562 9972 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 287114713 9856004096 11343 33554432000 1073741824 1073778376 140735483197168 140156543691560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11566] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11566/stat : 11566 (java) S 11560 11562 9972 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 287114713 9856004096 11343 33554432000 1073741824 1073778376 140735483197168 140156542638760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11567] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11567/stat : 11567 (java) S 11560 11562 9972 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 287114713 9856004096 11343 33554432000 1073741824 1073778376 140735483197168 140156541586472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11562/tid=11568] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11568/stat : 11568 (java) S 11560 11562 9972 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 287114713 9856004096 11343 33554432000 1073741824 1073778376 140735483197168 140156540533672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11569] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11569/stat : 11569 (java) S 11560 11562 9972 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 287114713 9856004096 11343 33554432000 1073741824 1073778376 140735483197168 140156539480360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11570] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11570/stat : 11570 (java) S 11560 11562 9972 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 287114713 9856004096 11343 33554432000 1073741824 1073778376 140735483197168 140156538427560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11571] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11571/stat : 11571 (java) S 11560 11562 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287114713 9856004096 11343 33554432000 1073741824 1073778376 140735483197168 140156537375272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11572] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11572/stat : 11572 (java) S 11560 11562 9972 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 287114713 9856004096 11343 33554432000 1073741824 1073778376 140735483197168 140156536322472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11573] ppid=11560 vsize=9625004 CPUtime=0.05 cores=1,3,5,7
/proc/11562/task/11573/stat : 11573 (java) S 11560 11562 9972 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 19 0 287114714 9856004096 11343 33554432000 1073741824 1073778376 140735483197168 140156053994216 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11574] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11574/stat : 11574 (java) S 11560 11562 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287114715 9856004096 11343 33554432000 1073741824 1073778376 140735483197168 140156052940280 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11575] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11575/stat : 11575 (java) S 11560 11562 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287114715 9856004096 11343 33554432000 1073741824 1073778376 140735483197168 140156051887880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11576] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11576/stat : 11576 (java) S 11560 11562 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287114718 9856004096 11343 33554432000 1073741824 1073778376 140735483197168 140156050836368 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11577] ppid=11560 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/11562/task/11577/stat : 11577 (java) S 11560 11562 9972 0 -1 4202560 1774 0 0 0 23 0 0 0 20 0 19 0 287114718 9856004096 11343 33554432000 1073741824 1073778376 140735483197168 140156049782968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11578] ppid=11560 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/11562/task/11578/stat : 11578 (java) S 11560 11562 9972 0 -1 4202560 1964 0 0 0 22 0 0 0 20 0 19 0 287114718 9856004096 11343 33554432000 1073741824 1073778376 140735483197168 140156048730168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11579] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11579/stat : 11579 (java) S 11560 11562 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287114718 9856004096 11343 33554432000 1073741824 1073778376 140735483197168 140156047678072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11580] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11580/stat : 11580 (java) S 11560 11562 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287114718 9856004096 11343 33554432000 1073741824 1073778376 140735483197168 140156046625480 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11581] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11581/stat : 11581 (java) S 11560 11562 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287114733 9856004096 11343 33554432000 1073741824 1073778376 140735483197168 140156045571496 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 9625004

[startup+3.10066 s]
/proc/loadavg: 1.97 2.00 2.00 3/213 11581
/proc/meminfo: memFree=29589284/32873844 swapFree=6872/6872
[pid=11562] ppid=11560 vsize=9625004 CPUtime=3.58 cores=1,3,5,7
/proc/11562/stat : 11562 (java) S 11560 11562 9972 0 -1 4202496 7550 0 1 0 355 3 0 0 20 0 19 0 287114710 9856004096 12390 33554432000 1073741824 1073778376 140735483197168 140735483188304 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11562/statm: 2406251 12390 2277 9 0 2396937 0
[pid=11562/tid=11564] ppid=11560 vsize=9625004 CPUtime=2.9 cores=1,3,5,7
/proc/11562/task/11564/stat : 11564 (java) R 11560 11562 9972 0 -1 4202560 2523 0 1 0 288 2 0 0 20 0 19 0 287114712 9856004096 12390 33554432000 1073741824 1073778376 140735483197168 140156699738416 140156544258254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11565] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11565/stat : 11565 (java) S 11560 11562 9972 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 287114713 9856004096 12390 33554432000 1073741824 1073778376 140735483197168 140156543691560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11566] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11566/stat : 11566 (java) S 11560 11562 9972 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 287114713 9856004096 12390 33554432000 1073741824 1073778376 140735483197168 140156542638760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11562/tid=11567] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11567/stat : 11567 (java) S 11560 11562 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287114713 9856004096 12390 33554432000 1073741824 1073778376 140735483197168 140156541586472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11562/tid=11568] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11568/stat : 11568 (java) S 11560 11562 9972 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 287114713 9856004096 12390 33554432000 1073741824 1073778376 140735483197168 140156540533672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11569] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11569/stat : 11569 (java) S 11560 11562 9972 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 287114713 9856004096 12390 33554432000 1073741824 1073778376 140735483197168 140156539480360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11570] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11570/stat : 11570 (java) S 11560 11562 9972 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 287114713 9856004096 12390 33554432000 1073741824 1073778376 140735483197168 140156538427560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11571] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11571/stat : 11571 (java) S 11560 11562 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287114713 9856004096 12390 33554432000 1073741824 1073778376 140735483197168 140156537375272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11572] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11572/stat : 11572 (java) S 11560 11562 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287114713 9856004096 12390 33554432000 1073741824 1073778376 140735483197168 140156536322472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11573] ppid=11560 vsize=9625004 CPUtime=0.11 cores=1,3,5,7
/proc/11562/task/11573/stat : 11573 (java) S 11560 11562 9972 0 -1 4202560 32 0 0 0 11 0 0 0 20 0 19 0 287114714 9856004096 12390 33554432000 1073741824 1073778376 140735483197168 140156053994216 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11574] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11574/stat : 11574 (java) S 11560 11562 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287114715 9856004096 12390 33554432000 1073741824 1073778376 140735483197168 140156052940280 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11575] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11575/stat : 11575 (java) S 11560 11562 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287114715 9856004096 12390 33554432000 1073741824 1073778376 140735483197168 140156051887880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11576] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11576/stat : 11576 (java) S 11560 11562 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287114718 9856004096 12390 33554432000 1073741824 1073778376 140735483197168 140156050836368 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11577] ppid=11560 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/11562/task/11577/stat : 11577 (java) S 11560 11562 9972 0 -1 4202560 1774 0 0 0 23 0 0 0 20 0 19 0 287114718 9856004096 12390 33554432000 1073741824 1073778376 140735483197168 140156049782968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11578] ppid=11560 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/11562/task/11578/stat : 11578 (java) S 11560 11562 9972 0 -1 4202560 1964 0 0 0 22 0 0 0 20 0 19 0 287114718 9856004096 12390 33554432000 1073741824 1073778376 140735483197168 140156048730168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11579] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11579/stat : 11579 (java) S 11560 11562 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287114718 9856004096 12390 33554432000 1073741824 1073778376 140735483197168 140156047678072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11580] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11580/stat : 11580 (java) S 11560 11562 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287114718 9856004096 12390 33554432000 1073741824 1073778376 140735483197168 140156046625480 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11581] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11581/stat : 11581 (java) S 11560 11562 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287114733 9856004096 12390 33554432000 1073741824 1073778376 140735483197168 140156045571496 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 9625004

[startup+6.30066 s]
/proc/loadavg: 1.97 2.00 2.00 3/213 11581
/proc/meminfo: memFree=29587916/32873844 swapFree=6872/6872
[pid=11562] ppid=11560 vsize=9625004 CPUtime=6.85 cores=1,3,5,7
/proc/11562/stat : 11562 (java) S 11560 11562 9972 0 -1 4202496 7574 0 1 0 682 3 0 0 20 0 19 0 287114710 9856004096 11951 33554432000 1073741824 1073778376 140735483197168 140735483188304 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11562/statm: 2406251 11951 2277 9 0 2396937 0
[pid=11562/tid=11564] ppid=11560 vsize=9625004 CPUtime=5.94 cores=1,3,5,7
/proc/11562/task/11564/stat : 11564 (java) R 11560 11562 9972 0 -1 4202560 2531 0 1 0 592 2 0 0 20 0 19 0 287114712 9856004096 11951 33554432000 1073741824 1073778376 140735483197168 140156699738416 140156544248067 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11565] ppid=11560 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/11562/task/11565/stat : 11565 (java) S 11560 11562 9972 0 -1 4202560 26 0 0 0 1 0 0 0 20 0 19 0 287114713 9856004096 11951 33554432000 1073741824 1073778376 140735483197168 140156543691560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11566] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11566/stat : 11566 (java) S 11560 11562 9972 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 287114713 9856004096 11951 33554432000 1073741824 1073778376 140735483197168 140156542638760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11567] ppid=11560 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/11562/task/11567/stat : 11567 (java) S 11560 11562 9972 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 287114713 9856004096 11951 33554432000 1073741824 1073778376 140735483197168 140156541586472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11568] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11568/stat : 11568 (java) S 11560 11562 9972 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 287114713 9856004096 11951 33554432000 1073741824 1073778376 140735483197168 140156540533672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11562/tid=11569] ppid=11560 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/11562/task/11569/stat : 11569 (java) S 11560 11562 9972 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 287114713 9856004096 11951 33554432000 1073741824 1073778376 140735483197168 140156539480360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11562/tid=11570] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11570/stat : 11570 (java) S 11560 11562 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287114713 9856004096 11951 33554432000 1073741824 1073778376 140735483197168 140156538427560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11571] ppid=11560 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/11562/task/11571/stat : 11571 (java) S 11560 11562 9972 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 287114713 9856004096 11951 33554432000 1073741824 1073778376 140735483197168 140156537375272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11572] ppid=11560 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/11562/task/11572/stat : 11572 (java) S 11560 11562 9972 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 287114713 9856004096 11951 33554432000 1073741824 1073778376 140735483197168 140156536322472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11573] ppid=11560 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/11562/task/11573/stat : 11573 (java) S 11560 11562 9972 0 -1 4202560 32 0 0 0 23 0 0 0 20 0 19 0 287114714 9856004096 11951 33554432000 1073741824 1073778376 140735483197168 140156053994216 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11562/tid=11574] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11574/stat : 11574 (java) S 11560 11562 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287114715 9856004096 11951 33554432000 1073741824 1073778376 140735483197168 140156052940280 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11575] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11575/stat : 11575 (java) S 11560 11562 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287114715 9856004096 11951 33554432000 1073741824 1073778376 140735483197168 140156051887880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11576] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11576/stat : 11576 (java) S 11560 11562 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287114718 9856004096 11951 33554432000 1073741824 1073778376 140735483197168 140156050836368 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11577] ppid=11560 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/11562/task/11577/stat : 11577 (java) S 11560 11562 9972 0 -1 4202560 1774 0 0 0 23 0 0 0 20 0 19 0 287114718 9856004096 11951 33554432000 1073741824 1073778376 140735483197168 140156049782968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11578] ppid=11560 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/11562/task/11578/stat : 11578 (java) S 11560 11562 9972 0 -1 4202560 1964 0 0 0 22 0 0 0 20 0 19 0 287114718 9856004096 11951 33554432000 1073741824 1073778376 140735483197168 140156048730168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11579] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11579/stat : 11579 (java) S 11560 11562 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287114718 9856004096 11951 33554432000 1073741824 1073778376 140735483197168 140156047678072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11580] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11580/stat : 11580 (java) S 11560 11562 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287114718 9856004096 11951 33554432000 1073741824 1073778376 140735483197168 140156046625480 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11581] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11581/stat : 11581 (java) S 11560 11562 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287114733 9856004096 11951 33554432000 1073741824 1073778376 140735483197168 140156045571496 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.85
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=11562/tid=11577] ppid=11560 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/11562/task/11577/stat : 11577 (java) S 11560 11562 9972 0 -1 4202560 1774 0 0 0 23 0 0 0 20 0 19 0 287114718 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156049782968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11578] ppid=11560 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/11562/task/11578/stat : 11578 (java) S 11560 11562 9972 0 -1 4202560 2352 0 0 0 26 0 0 0 20 0 19 0 287114718 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156048730168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11579] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11579/stat : 11579 (java) S 11560 11562 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287114718 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156047678072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11580] ppid=11560 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/11562/task/11580/stat : 11580 (java) S 11560 11562 9972 0 -1 4202560 99 0 0 0 43 26 0 0 20 0 19 0 287114718 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156046625480 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11581] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11581/stat : 11581 (java) S 11560 11562 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287114733 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156045571496 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1730.86
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11679
/proc/meminfo: memFree=30116368/32873844 swapFree=6872/6872
[pid=11562] ppid=11560 vsize=9625004 CPUtime=1791.03 cores=1,3,5,7
/proc/11562/stat : 11562 (java) S 11560 11562 9972 0 -1 4202496 11013 0 1 0 179041 62 0 0 20 0 19 0 287114710 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140735483188304 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11562/statm: 2406251 54613 2278 9 0 2396937 0
[pid=11562/tid=11564] ppid=11560 vsize=9625004 CPUtime=1760.14 cores=1,3,5,7
/proc/11562/task/11564/stat : 11564 (java) R 11560 11562 9972 0 -1 4202560 2758 0 1 0 175985 29 0 0 20 0 19 0 287114712 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156699738416 140156544201719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11565] ppid=11560 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/11562/task/11565/stat : 11565 (java) S 11560 11562 9972 0 -1 4202560 275 0 0 0 128 2 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156543691560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11566] ppid=11560 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/11562/task/11566/stat : 11566 (java) S 11560 11562 9972 0 -1 4202560 289 0 0 0 127 3 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156542638760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11567] ppid=11560 vsize=9625004 CPUtime=1.32 cores=1,3,5,7
/proc/11562/task/11567/stat : 11567 (java) S 11560 11562 9972 0 -1 4202560 378 0 0 0 130 2 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156541586472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11568] ppid=11560 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/11562/task/11568/stat : 11568 (java) S 11560 11562 9972 0 -1 4202560 345 0 0 0 131 2 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156540533672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11569] ppid=11560 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/11562/task/11569/stat : 11569 (java) S 11560 11562 9972 0 -1 4202560 383 0 0 0 138 4 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156539480360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11562/tid=11570] ppid=11560 vsize=9625004 CPUtime=1.34 cores=1,3,5,7
/proc/11562/task/11570/stat : 11570 (java) S 11560 11562 9972 0 -1 4202560 294 0 0 0 131 3 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156538427560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11571] ppid=11560 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/11562/task/11571/stat : 11571 (java) S 11560 11562 9972 0 -1 4202560 379 0 0 0 133 2 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156537375272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11572] ppid=11560 vsize=9625004 CPUtime=1.26 cores=1,3,5,7
/proc/11562/task/11572/stat : 11572 (java) S 11560 11562 9972 0 -1 4202560 336 0 0 0 124 2 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156536322472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11562/tid=11573] ppid=11560 vsize=9625004 CPUtime=14.21 cores=1,3,5,7
/proc/11562/task/11573/stat : 11573 (java) S 11560 11562 9972 0 -1 4202560 166 0 0 0 1417 4 0 0 20 0 19 0 287114714 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156053994216 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11574] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11574/stat : 11574 (java) S 11560 11562 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287114715 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156052940280 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11575] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11575/stat : 11575 (java) S 11560 11562 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287114715 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156051887880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11576] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11576/stat : 11576 (java) S 11560 11562 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287114718 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156050836368 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11577] ppid=11560 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/11562/task/11577/stat : 11577 (java) S 11560 11562 9972 0 -1 4202560 1774 0 0 0 23 0 0 0 20 0 19 0 287114718 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156049782968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11578] ppid=11560 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/11562/task/11578/stat : 11578 (java) S 11560 11562 9972 0 -1 4202560 2352 0 0 0 26 0 0 0 20 0 19 0 287114718 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156048730168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11579] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11579/stat : 11579 (java) S 11560 11562 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287114718 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156047678072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11580] ppid=11560 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/11562/task/11580/stat : 11580 (java) S 11560 11562 9972 0 -1 4202560 103 0 0 0 45 26 0 0 20 0 19 0 287114718 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156046625480 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11581] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11581/stat : 11581 (java) S 11560 11562 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287114733 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156045571496 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.03
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11679
/proc/meminfo: memFree=30116368/32873844 swapFree=6872/6872
[pid=11562] ppid=11560 vsize=9625004 CPUtime=1800.03 cores=1,3,5,7
/proc/11562/stat : 11562 (java) S 11560 11562 9972 0 -1 4202496 11013 0 1 0 179941 62 0 0 20 0 19 0 287114710 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140735483188304 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11562/statm: 2406251 54613 2278 9 0 2396937 0
[pid=11562/tid=11564] ppid=11560 vsize=9625004 CPUtime=1769.12 cores=1,3,5,7
/proc/11562/task/11564/stat : 11564 (java) R 11560 11562 9972 0 -1 4202560 2758 0 1 0 176883 29 0 0 20 0 19 0 287114712 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156699738416 140156543965122 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11565] ppid=11560 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/11562/task/11565/stat : 11565 (java) S 11560 11562 9972 0 -1 4202560 275 0 0 0 128 2 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156543691560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11566] ppid=11560 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/11562/task/11566/stat : 11566 (java) S 11560 11562 9972 0 -1 4202560 289 0 0 0 127 3 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156542638760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11567] ppid=11560 vsize=9625004 CPUtime=1.32 cores=1,3,5,7
/proc/11562/task/11567/stat : 11567 (java) S 11560 11562 9972 0 -1 4202560 378 0 0 0 130 2 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156541586472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11568] ppid=11560 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/11562/task/11568/stat : 11568 (java) S 11560 11562 9972 0 -1 4202560 345 0 0 0 131 2 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156540533672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11569] ppid=11560 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/11562/task/11569/stat : 11569 (java) S 11560 11562 9972 0 -1 4202560 383 0 0 0 138 4 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156539480360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11562/tid=11570] ppid=11560 vsize=9625004 CPUtime=1.34 cores=1,3,5,7
/proc/11562/task/11570/stat : 11570 (java) S 11560 11562 9972 0 -1 4202560 294 0 0 0 131 3 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156538427560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11571] ppid=11560 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/11562/task/11571/stat : 11571 (java) S 11560 11562 9972 0 -1 4202560 379 0 0 0 133 2 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156537375272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11572] ppid=11560 vsize=9625004 CPUtime=1.26 cores=1,3,5,7
/proc/11562/task/11572/stat : 11572 (java) S 11560 11562 9972 0 -1 4202560 336 0 0 0 124 2 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156536322472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11562/tid=11573] ppid=11560 vsize=9625004 CPUtime=14.21 cores=1,3,5,7
/proc/11562/task/11573/stat : 11573 (java) S 11560 11562 9972 0 -1 4202560 166 0 0 0 1417 4 0 0 20 0 19 0 287114714 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156053994216 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11574] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11574/stat : 11574 (java) S 11560 11562 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287114715 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156052940280 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11575] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11575/stat : 11575 (java) S 11560 11562 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287114715 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156051887880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11576] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11576/stat : 11576 (java) S 11560 11562 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287114718 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156050836368 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11577] ppid=11560 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/11562/task/11577/stat : 11577 (java) S 11560 11562 9972 0 -1 4202560 1774 0 0 0 23 0 0 0 20 0 19 0 287114718 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156049782968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11578] ppid=11560 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/11562/task/11578/stat : 11578 (java) S 11560 11562 9972 0 -1 4202560 2352 0 0 0 26 0 0 0 20 0 19 0 287114718 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156048730168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11579] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11579/stat : 11579 (java) S 11560 11562 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287114718 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156047678072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11580] ppid=11560 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/11562/task/11580/stat : 11580 (java) S 11560 11562 9972 0 -1 4202560 103 0 0 0 45 27 0 0 20 0 19 0 287114718 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156046625480 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11581] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11581/stat : 11581 (java) S 11560 11562 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287114733 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156045571496 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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.00 2.00 2.00 3/213 11679
/proc/meminfo: memFree=30116368/32873844 swapFree=6872/6872
[pid=11562] ppid=11560 vsize=9625004 CPUtime=1800.03 cores=1,3,5,7
/proc/11562/stat : 11562 (java) S 11560 11562 9972 0 -1 4202496 11013 0 1 0 179941 62 0 0 20 0 19 0 287114710 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140735483188304 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11562/statm: 2406251 54613 2278 9 0 2396937 0
[pid=11562/tid=11564] ppid=11560 vsize=9625004 CPUtime=1769.12 cores=1,3,5,7
/proc/11562/task/11564/stat : 11564 (java) R 11560 11562 9972 0 -1 4202560 2758 0 1 0 176883 29 0 0 20 0 19 0 287114712 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156699738416 140156543965122 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11565] ppid=11560 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/11562/task/11565/stat : 11565 (java) S 11560 11562 9972 0 -1 4202560 275 0 0 0 128 2 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156543691560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11566] ppid=11560 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/11562/task/11566/stat : 11566 (java) S 11560 11562 9972 0 -1 4202560 289 0 0 0 127 3 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156542638760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11567] ppid=11560 vsize=9625004 CPUtime=1.32 cores=1,3,5,7
/proc/11562/task/11567/stat : 11567 (java) S 11560 11562 9972 0 -1 4202560 378 0 0 0 130 2 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156541586472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11568] ppid=11560 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/11562/task/11568/stat : 11568 (java) S 11560 11562 9972 0 -1 4202560 345 0 0 0 131 2 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156540533672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11569] ppid=11560 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/11562/task/11569/stat : 11569 (java) S 11560 11562 9972 0 -1 4202560 383 0 0 0 138 4 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156539480360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11562/tid=11570] ppid=11560 vsize=9625004 CPUtime=1.34 cores=1,3,5,7
/proc/11562/task/11570/stat : 11570 (java) S 11560 11562 9972 0 -1 4202560 294 0 0 0 131 3 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156538427560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11571] ppid=11560 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/11562/task/11571/stat : 11571 (java) S 11560 11562 9972 0 -1 4202560 379 0 0 0 133 2 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156537375272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11572] ppid=11560 vsize=9625004 CPUtime=1.26 cores=1,3,5,7
/proc/11562/task/11572/stat : 11572 (java) S 11560 11562 9972 0 -1 4202560 336 0 0 0 124 2 0 0 20 0 19 0 287114713 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156536322472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11562/tid=11573] ppid=11560 vsize=9625004 CPUtime=14.21 cores=1,3,5,7
/proc/11562/task/11573/stat : 11573 (java) S 11560 11562 9972 0 -1 4202560 166 0 0 0 1417 4 0 0 20 0 19 0 287114714 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156053994216 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11574] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11574/stat : 11574 (java) S 11560 11562 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287114715 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156052940280 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11575] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11575/stat : 11575 (java) S 11560 11562 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287114715 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156051887880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11576] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11576/stat : 11576 (java) S 11560 11562 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287114718 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156050836368 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11577] ppid=11560 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/11562/task/11577/stat : 11577 (java) S 11560 11562 9972 0 -1 4202560 1774 0 0 0 23 0 0 0 20 0 19 0 287114718 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156049782968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11562/tid=11578] ppid=11560 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/11562/task/11578/stat : 11578 (java) S 11560 11562 9972 0 -1 4202560 2352 0 0 0 26 0 0 0 20 0 19 0 287114718 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156048730168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11579] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11579/stat : 11579 (java) S 11560 11562 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287114718 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156047678072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11562/tid=11580] ppid=11560 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/11562/task/11580/stat : 11580 (java) S 11560 11562 9972 0 -1 4202560 103 0 0 0 45 27 0 0 20 0 19 0 287114718 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156046625480 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11562/tid=11581] ppid=11560 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/11562/task/11581/stat : 11581 (java) S 11560 11562 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287114733 9856004096 54613 33554432000 1073741824 1073778376 140735483197168 140156045571496 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004

Child status: 143

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

Real time (s): 1791.36
CPU time (s): 1800.03
CPU user time (s): 1799.41
CPU system time (s): 0.62
CPU usage (%): 100.484
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.59
system time used= 0.940856
maximum resident set size= 222700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11057
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= 44245
involuntary context switches= 29031

runsolver used 6.38103 second user time and 14.8937 second system time

The end

Launcher Data 

Begin job on node106 at 2012-05-28 14:57:42
IDJOB=3711104
IDBENCH=89907
IDSOLVER=2289
FILE ID=node106/3711104-1338209862
RUNJOBID= node106-1338195726-9989
PBS_JOBID= 14624610
Free space on /tmp= 71328 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/kullmann/normalized-sbox_4_shg.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-3711104-1338209862/watcher-3711104-1338209862 -o /tmp/evaluation-result-3711104-1338209862/solver-3711104-1338209862 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711104-1338209862.opb

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

MD5SUM BENCH= 175e0a4a6cd805ac131e3fa3fd7ba75e
RANDOM SEED=270570162

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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.92
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.065
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.065
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.065
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		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29625520 kB
Buffers:          304428 kB
Cached:           569344 kB
SwapCached:            0 kB
Active:          2186780 kB
Inactive:         193816 kB
Active(anon):    1497852 kB
Inactive(anon):    11256 kB
Active(file):     688928 kB
Inactive(file):   182560 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               568 kB
Writeback:             0 kB
AnonPages:       1517228 kB
Mapped:            18816 kB
Shmem:               200 kB
Slab:             716512 kB
SReclaimable:     158636 kB
SUnreclaim:       557876 kB
KernelStack:        1600 kB
PageTables:         7956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1679672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1472512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71284 MiB
End job on node106 at 2012-05-28 15:27:36