Trace number 3710728

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)55 1800.65 1791.45

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
MD5SUM885184c694263ba985a0dc2cd49b3440
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.160975
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables776
Total number of constraints867
Number of constraints which are clauses701
Number of constraints which are cardinality constraints (but not clauses)166
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20
Number of terms in the objective function 776
Biggest coefficient in the objective function 474
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 2127
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 474
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2127
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.01/0.09	c version 2.3.2.v20120418
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		501472288
0.01/0.09	c Max memory 		7480803328
0.01/0.09	c Total memory 		504102912
0.01/0.09	c Number of processors 	8
0.08/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.08/0.12	c configuring ORDERS
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
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-3710728-1338145837.opb
0.08/0.13	c reading problem ... 
0.23/0.24	c ... done. Wall clock time 0.112s.
0.23/0.24	c declared #vars     776
0.23/0.24	c #constraints  867
0.23/0.24	c constraints type 
0.23/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4
0.23/0.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 165
0.23/0.24	c ignored satisfied constraints => 1
0.23/0.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 697
0.23/0.24	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.23/0.24	c 868 constraints processed.
0.23/0.25	c SATISFIABLE
0.23/0.25	c OPTIMIZING...
0.23/0.25	c Got one! Elapsed wall clock time (in seconds):0.126
0.23/0.25	o 57
0.23/0.27	c Got one! Elapsed wall clock time (in seconds):0.14
0.23/0.27	o 55
1.30/0.81	c cleaning 2495 clauses out of 5001 with flag 5000/5001
1.75/1.26	c cleaning 4249 clauses out of 8507 with flag 11001/11002
2.27/1.77	c cleaning 5626 clauses out of 11259 with flag 18002/18003
2.88/2.34	c cleaning 6813 clauses out of 13631 with flag 26000/26001
3.60/3.01	c cleaning 7902 clauses out of 15819 with flag 35001/35002
4.31/3.75	c cleaning 8950 clauses out of 17916 with flag 45000/45001
5.11/4.57	c cleaning 9977 clauses out of 19966 with flag 56000/56001
6.04/5.45	c cleaning 10990 clauses out of 21989 with flag 68000/68001
7.03/6.42	c cleaning 11995 clauses out of 23999 with flag 81000/81001
8.04/7.43	c cleaning 12992 clauses out of 26004 with flag 95000/95001
9.17/8.55	c cleaning 13992 clauses out of 28014 with flag 110002/110003
10.38/9.76	c cleaning 15001 clauses out of 30020 with flag 126000/126001
11.68/11.07	c cleaning 15999 clauses out of 32019 with flag 143000/143001
12.98/12.37	c cleaning 17007 clauses out of 34021 with flag 161001/161002
14.50/13.89	c cleaning 18004 clauses out of 36014 with flag 180001/180002
16.12/15.45	c cleaning 18996 clauses out of 38009 with flag 200000/200001
17.75/17.08	c cleaning 19996 clauses out of 40013 with flag 221000/221001
19.47/18.77	c cleaning 20992 clauses out of 42017 with flag 243000/243001
21.26/20.58	c cleaning 22005 clauses out of 44025 with flag 266000/266001
23.18/22.44	c cleaning 23001 clauses out of 46020 with flag 290000/290001
25.19/24.41	c cleaning 24006 clauses out of 48020 with flag 315001/315002
27.52/26.77	c cleaning 25000 clauses out of 50014 with flag 341001/341002
29.86/29.01	c cleaning 25999 clauses out of 52013 with flag 368000/368001
32.36/31.53	c cleaning 27002 clauses out of 54015 with flag 396001/396002
34.59/33.75	c cleaning 27992 clauses out of 56012 with flag 425000/425001
37.01/36.17	c cleaning 29005 clauses out of 58020 with flag 455000/455001
39.72/38.84	c cleaning 29999 clauses out of 60016 with flag 486001/486002
42.56/41.63	c cleaning 30998 clauses out of 62018 with flag 518002/518003
45.28/44.38	c cleaning 31998 clauses out of 64018 with flag 551000/551001
48.39/47.40	c cleaning 32994 clauses out of 66020 with flag 585000/585001
51.20/50.23	c cleaning 34004 clauses out of 68026 with flag 620000/620001
53.90/52.99	c cleaning 35004 clauses out of 70022 with flag 656000/656001
56.92/56.00	c cleaning 36000 clauses out of 72018 with flag 693000/693001
60.36/59.34	c cleaning 36993 clauses out of 74018 with flag 731000/731001
64.27/63.25	c cleaning 38000 clauses out of 76026 with flag 770001/770002
67.59/66.58	c cleaning 39008 clauses out of 78027 with flag 810002/810003
71.73/70.61	c cleaning 40002 clauses out of 80018 with flag 851001/851002
75.55/74.46	c cleaning 41001 clauses out of 82015 with flag 893000/893001
78.96/77.83	c cleaning 41997 clauses out of 84014 with flag 936000/936001
82.37/81.27	c cleaning 43005 clauses out of 86017 with flag 980000/980001
85.99/84.89	c cleaning 43997 clauses out of 88012 with flag 1025000/1025001
90.82/89.67	c cleaning 45002 clauses out of 90015 with flag 1071000/1071001
95.17/93.93	c cleaning 45999 clauses out of 92014 with flag 1118001/1118002
100.60/99.37	c cleaning 47003 clauses out of 94015 with flag 1166001/1166002
104.91/103.61	c cleaning 48000 clauses out of 96012 with flag 1215001/1215002
109.63/108.31	c cleaning 48995 clauses out of 98011 with flag 1265000/1265001
114.56/113.25	c cleaning 49996 clauses out of 100016 with flag 1316000/1316001
118.93/117.58	c cleaning 51005 clauses out of 102021 with flag 1368001/1368002
123.37/121.95	c cleaning 52003 clauses out of 104015 with flag 1421000/1421001
128.28/126.84	c cleaning 52998 clauses out of 106012 with flag 1475000/1475001
133.02/131.58	c cleaning 53996 clauses out of 108014 with flag 1530000/1530001
138.85/137.34	c cleaning 54999 clauses out of 110019 with flag 1586001/1586002
143.87/142.32	c cleaning 56001 clauses out of 112019 with flag 1643000/1643001
149.00/147.46	c cleaning 56991 clauses out of 114018 with flag 1701000/1701001
154.32/152.75	c cleaning 57998 clauses out of 116027 with flag 1760000/1760001
159.58/158.00	c cleaning 59001 clauses out of 118029 with flag 1820000/1820001
165.60/163.92	c cleaning 59986 clauses out of 120028 with flag 1881000/1881001
171.74/170.00	c cleaning 61000 clauses out of 122042 with flag 1943000/1943001
177.47/175.73	c cleaning 62013 clauses out of 124043 with flag 2006001/2006002
182.63/180.87	c cleaning 63008 clauses out of 126029 with flag 2070000/2070001
188.25/186.45	c cleaning 64000 clauses out of 128021 with flag 2135000/2135001
194.18/192.37	c cleaning 64998 clauses out of 130022 with flag 2201001/2201002
201.55/199.66	c cleaning 66000 clauses out of 132023 with flag 2268000/2268001
208.14/206.14	c cleaning 67004 clauses out of 134023 with flag 2336000/2336001
215.67/213.63	c cleaning 68006 clauses out of 136022 with flag 2405003/2405004
222.12/220.07	c cleaning 68994 clauses out of 138016 with flag 2475003/2475004
229.44/227.38	c cleaning 69993 clauses out of 140019 with flag 2546000/2546001
237.79/235.65	c cleaning 70999 clauses out of 142026 with flag 2618000/2618001
244.91/242.72	c cleaning 72007 clauses out of 144029 with flag 2691002/2691003
253.85/251.65	c cleaning 73002 clauses out of 146020 with flag 2765000/2765001
263.11/260.81	c cleaning 74001 clauses out of 148019 with flag 2840001/2840002
271.97/269.67	c cleaning 74996 clauses out of 150017 with flag 2916000/2916001
280.72/278.35	c cleaning 76009 clauses out of 152022 with flag 2993001/2993002
287.46/285.07	c cleaning 76997 clauses out of 154012 with flag 3071000/3071001
294.48/292.02	c cleaning 77998 clauses out of 156016 with flag 3150001/3150002
302.21/299.79	c cleaning 79002 clauses out of 158017 with flag 3230000/3230001
309.85/307.36	c cleaning 79989 clauses out of 160015 with flag 3311000/3311001
318.39/315.80	c cleaning 81002 clauses out of 162026 with flag 3393000/3393001
326.55/323.94	c cleaning 82002 clauses out of 164024 with flag 3476000/3476001
336.98/334.33	c cleaning 82997 clauses out of 166022 with flag 3560000/3560001
347.54/344.82	c cleaning 84005 clauses out of 168028 with flag 3645003/3645004
356.60/353.89	c cleaning 84999 clauses out of 170020 with flag 3731000/3731001
366.35/363.56	c cleaning 86001 clauses out of 172021 with flag 3818000/3818001
375.69/372.81	c cleaning 86995 clauses out of 174021 with flag 3906001/3906002
385.00/382.15	c cleaning 88006 clauses out of 176026 with flag 3995001/3995002
396.77/393.87	c cleaning 89000 clauses out of 178019 with flag 4085000/4085001
408.25/405.20	c cleaning 90000 clauses out of 180020 with flag 4176001/4176002
420.99/417.98	c cleaning 90995 clauses out of 182019 with flag 4268000/4268001
432.03/428.94	c cleaning 91985 clauses out of 184024 with flag 4361000/4361001
443.48/440.35	c cleaning 93010 clauses out of 186039 with flag 4455000/4455001
452.19/449.02	c cleaning 94006 clauses out of 188029 with flag 4550000/4550001
460.81/457.64	c cleaning 94997 clauses out of 190023 with flag 4646000/4646001
471.13/467.90	c cleaning 96006 clauses out of 192027 with flag 4743001/4743002
481.59/478.33	c cleaning 97000 clauses out of 194020 with flag 4841000/4841001
493.50/490.25	c cleaning 97999 clauses out of 196020 with flag 4940000/4940001
506.26/502.97	c cleaning 99002 clauses out of 198021 with flag 5040000/5040001
523.58/520.11	c cleaning 99997 clauses out of 200019 with flag 5141000/5141001
534.05/530.56	c cleaning 101003 clauses out of 202022 with flag 5243000/5243001
547.32/543.76	c cleaning 101994 clauses out of 204019 with flag 5346000/5346001
559.60/555.95	c cleaning 102995 clauses out of 206025 with flag 5450000/5450001
570.75/567.03	c cleaning 104004 clauses out of 208030 with flag 5555000/5555001
585.21/581.48	c cleaning 104998 clauses out of 210026 with flag 5661000/5661001
600.23/596.33	c cleaning 106008 clauses out of 212028 with flag 5768000/5768001
614.27/610.30	c cleaning 106995 clauses out of 214021 with flag 5876001/5876002
627.20/623.28	c cleaning 108005 clauses out of 216025 with flag 5985000/5985001
638.14/634.10	c cleaning 109000 clauses out of 218020 with flag 6095000/6095001
650.32/646.20	c cleaning 110001 clauses out of 220020 with flag 6206000/6206001
661.86/657.80	c cleaning 111001 clauses out of 222019 with flag 6318000/6318001
674.11/669.99	c cleaning 111999 clauses out of 224019 with flag 6431001/6431002
688.37/684.18	c cleaning 112985 clauses out of 226019 with flag 6545000/6545001
701.55/697.28	c cleaning 114003 clauses out of 228034 with flag 6660000/6660001
713.20/708.83	c cleaning 115006 clauses out of 230031 with flag 6776000/6776001
724.02/719.60	c cleaning 116000 clauses out of 232025 with flag 6893000/6893001
736.17/731.75	c cleaning 117006 clauses out of 234025 with flag 7011000/7011001
749.54/745.01	c cleaning 117999 clauses out of 236019 with flag 7130000/7130001
762.42/757.82	c cleaning 118999 clauses out of 238020 with flag 7250000/7250001
780.17/775.56	c cleaning 120006 clauses out of 240021 with flag 7371000/7371001
794.56/789.87	c cleaning 120998 clauses out of 242015 with flag 7493000/7493001
809.74/804.90	c cleaning 121995 clauses out of 244017 with flag 7616000/7616001
824.82/819.93	c cleaning 123001 clauses out of 246022 with flag 7740000/7740001
838.17/833.29	c cleaning 123997 clauses out of 248023 with flag 7865002/7865003
854.02/849.01	c cleaning 124996 clauses out of 250024 with flag 7991000/7991001
870.30/865.25	c cleaning 125989 clauses out of 252028 with flag 8118000/8118001
883.56/878.42	c cleaning 127012 clauses out of 254040 with flag 8246001/8246002
900.62/895.44	c cleaning 128009 clauses out of 256028 with flag 8375001/8375002
914.99/909.74	c cleaning 128997 clauses out of 258018 with flag 8505000/8505001
931.42/926.19	c cleaning 130003 clauses out of 260021 with flag 8636000/8636001
948.60/943.28	c cleaning 131000 clauses out of 262018 with flag 8768000/8768001
967.48/962.09	c cleaning 131998 clauses out of 264018 with flag 8901000/8901001
982.05/976.53	c cleaning 132993 clauses out of 266021 with flag 9035001/9035002
999.92/994.32	c cleaning 133999 clauses out of 268027 with flag 9170000/9170001
1017.40/1011.71	c cleaning 134998 clauses out of 270028 with flag 9306000/9306001
1034.50/1028.75	c cleaning 136004 clauses out of 272030 with flag 9443000/9443001
1051.76/1045.93	c cleaning 137001 clauses out of 274027 with flag 9581001/9581002
1067.79/1062.00	c cleaning 137995 clauses out of 276026 with flag 9720001/9720002
1084.96/1079.03	c cleaning 138997 clauses out of 278030 with flag 9860000/9860001
1102.77/1096.80	c cleaning 139992 clauses out of 280033 with flag 10001000/10001001
1118.15/1112.16	c cleaning 141004 clauses out of 282041 with flag 10143000/10143001
1130.82/1124.75	c cleaning 142011 clauses out of 284037 with flag 10286000/10286001
1145.97/1139.84	c cleaning 143002 clauses out of 286026 with flag 10430000/10430001
1164.36/1158.13	c cleaning 143997 clauses out of 288025 with flag 10575001/10575002
1181.93/1175.66	c cleaning 145000 clauses out of 290028 with flag 10721001/10721002
1198.91/1192.50	c cleaning 146005 clauses out of 292028 with flag 10868001/10868002
1219.98/1213.55	c cleaning 147003 clauses out of 294022 with flag 11016000/11016001
1235.31/1228.74	c cleaning 147994 clauses out of 296019 with flag 11165000/11165001
1256.85/1250.21	c cleaning 149001 clauses out of 298025 with flag 11315000/11315001
1277.66/1270.96	c cleaning 149995 clauses out of 300024 with flag 11466000/11466001
1296.23/1289.40	c cleaning 151006 clauses out of 302030 with flag 11618001/11618002
1316.01/1309.14	c cleaning 152001 clauses out of 304025 with flag 11771002/11771003
1339.45/1332.55	c cleaning 152999 clauses out of 306022 with flag 11925000/11925001
1365.21/1358.27	c cleaning 153994 clauses out of 308023 with flag 12080000/12080001
1390.03/1382.96	c cleaning 155003 clauses out of 310030 with flag 12236001/12236002
1409.20/1402.03	c cleaning 156001 clauses out of 312026 with flag 12393000/12393001
1435.04/1427.87	c cleaning 157001 clauses out of 314025 with flag 12551000/12551001
1458.24/1450.97	c cleaning 157995 clauses out of 316024 with flag 12710000/12710001
1479.61/1472.28	c cleaning 159001 clauses out of 318029 with flag 12870000/12870001
1503.41/1495.96	c cleaning 160005 clauses out of 320030 with flag 13031002/13031003
1529.76/1522.28	c cleaning 160991 clauses out of 322023 with flag 13193000/13193001
1549.44/1541.85	c cleaning 161985 clauses out of 324032 with flag 13356000/13356001
1568.30/1560.46	c cleaning 163016 clauses out of 326049 with flag 13520002/13520003
1591.91/1583.87	c cleaning 164003 clauses out of 328031 with flag 13685000/13685001
1615.04/1606.95	c cleaning 165002 clauses out of 330029 with flag 13851001/13851002
1641.13/1632.96	c cleaning 166000 clauses out of 332026 with flag 14018000/14018001
1666.35/1658.01	c cleaning 167003 clauses out of 334026 with flag 14186000/14186001
1689.12/1680.72	c cleaning 168001 clauses out of 336023 with flag 14355000/14355001
1715.34/1706.90	c cleaning 169002 clauses out of 338023 with flag 14525001/14525002
1739.91/1731.41	c cleaning 169997 clauses out of 340020 with flag 14696000/14696001
1765.18/1756.70	c cleaning 170997 clauses out of 342023 with flag 14868000/14868001
1789.20/1780.69	c cleaning 172002 clauses out of 344026 with flag 15041000/15041001
1800.04/1791.41	c starts		: 327
1800.04/1791.41	c conflicts		: 15133013
1800.04/1791.41	c decisions		: 26124982
1800.04/1791.41	c propagations		: 346257924
1800.04/1791.41	c inspects		: 10072223727
1800.04/1791.41	c shortcuts		: 0
1800.04/1791.41	c learnt literals	: 0
1800.04/1791.41	c learnt binary clauses	: 0
1800.04/1791.41	c learnt ternary clauses	: 0
1800.04/1791.41	c learnt constraints	: 15133013
1800.04/1791.41	c ignored constraints	: 0
1800.04/1791.41	c root simplifications	: 327
1800.04/1791.41	c removed literals (reason simplification)	: 1881942609
1800.04/1791.41	c reason swapping (by a shorter reason)	: 0
1800.04/1791.41	c Calls to reduceDB	: 169
1800.04/1791.41	c number of reductions to clauses (during analyze)	: 0
1800.04/1791.41	c number of learned constraints concerned by reduction	: 0
1800.04/1791.41	c number of learning phase by resolution	: 0
1800.04/1791.41	c number of learning phase by cutting planes	: 0
1800.04/1791.41	c speed (assignments/second)	: 193314.28242831765
1800.04/1791.41	c non guided choices	597
1800.04/1791.44	c learnt constraints type 
1800.04/1791.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 264165
1800.04/1791.44	c constraints type 
1800.04/1791.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4
1800.04/1791.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 165
1800.04/1791.44	c ignored satisfied constraints => 1
1800.04/1791.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 697
1800.04/1791.44	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
1800.04/1791.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.04/1791.44	c 869 constraints processed.
1800.04/1791.44	s SATISFIABLE
1800.04/1791.44	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 -x14 -x15 -x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 -x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 -x62 -x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 -x83 -x84 x85 x86 x87 -x88 x89 x90 x91 -x92 -x93 -x94 x95 x96 x97 x98 x99 x100 -x101 -x102 x103 x104 x105 -x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 x172 x173 x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 x211 x212 x213 x214 x215 x216 x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 x227 x228 x229 x230 x231 x232 x233 -x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 x260 x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 x270 x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 x296 x297 x298 x299 -x300 x301 -x302 -x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 x454 x455 x456 x457 x458 x459 x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 x483 x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 x503 x504 x505 x506 x507 x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 x551 x552 x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 x576 x577 x578 x579 x580 x581 x582 -x583 x584 x585 x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 x674 x675 x676 -x677 -x678 x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 
1800.04/1791.44	c objective function=55
1800.04/1791.44	c Total wall clock time (in seconds): 1791.317

Verifier Data 

OK	55

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-3710728-1338145837/watcher-3710728-1338145837 -o /tmp/evaluation-result-3710728-1338145837/solver-3710728-1338145837 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710728-1338145837.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.02 2.01 2.00 3/195 21233
/proc/meminfo: memFree=31028400/32873844 swapFree=7900/7900
[pid=21233] ppid=21231 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/21233/stat : 21233 (java) D 21231 21233 18146 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 280708237 9515008 183 33554432000 1073741824 1073778376 140737432939984 140737432931016 225444708021 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/21233/statm: 2323 183 140 9 0 71 0

[startup+0.0390459 s]
/proc/loadavg: 2.02 2.01 2.00 3/195 21233
/proc/meminfo: memFree=31028400/32873844 swapFree=7900/7900
[pid=21233] ppid=21231 vsize=9092432 CPUtime=0.01 cores=0,2,4,6
/proc/21233/stat : 21233 (java) S 21231 21233 18146 0 -1 4202496 2927 0 1 0 1 0 0 0 20 0 11 0 280708237 9310650368 3625 33554432000 1073741824 1073778376 140735310178688 140735310169824 225448067133 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21233/statm: 2273108 3625 1650 9 0 2263809 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432

[startup+0.100252 s]
/proc/loadavg: 2.02 2.01 2.00 3/195 21233
/proc/meminfo: memFree=31028400/32873844 swapFree=7900/7900
[pid=21233] ppid=21231 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/21233/stat : 21233 (java) S 21231 21233 18146 0 -1 4202496 4127 0 1 0 7 1 0 0 20 0 18 0 280708237 9787842560 5333 33554432000 1073741824 1073778376 140735310178688 140735310169824 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21233/statm: 2389610 5333 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.300211 s]
/proc/loadavg: 2.02 2.01 2.00 3/195 21233
/proc/meminfo: memFree=31028400/32873844 swapFree=7900/7900
[pid=21233] ppid=21231 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/21233/stat : 21233 (java) S 21231 21233 18146 0 -1 4202496 6752 0 1 0 41 2 0 0 20 0 19 0 280708237 9856004096 9377 33554432000 1073741824 1073778376 140735310178688 140735310169824 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21233/statm: 2406251 9377 2224 9 0 2396937 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9625004

[startup+0.700192 s]
/proc/loadavg: 2.02 2.01 2.00 3/195 21233
/proc/meminfo: memFree=31028400/32873844 swapFree=7900/7900
[pid=21233] ppid=21231 vsize=9625004 CPUtime=1.19 cores=0,2,4,6
/proc/21233/stat : 21233 (java) S 21231 21233 18146 0 -1 4202496 8338 0 1 0 116 3 0 0 20 0 19 0 280708237 9856004096 10738 33554432000 1073741824 1073778376 140735310178688 140735310169824 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21233/statm: 2406251 10738 2250 9 0 2396937 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 9625004

[startup+1.50062 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 21252
/proc/meminfo: memFree=30983820/32873844 swapFree=7900/7900
[pid=21233] ppid=21231 vsize=9625004 CPUtime=2.07 cores=0,2,4,6
/proc/21233/stat : 21233 (java) S 21231 21233 18146 0 -1 4202496 8409 0 1 0 204 3 0 0 20 0 19 0 280708237 9856004096 14374 33554432000 1073741824 1073778376 140735310178688 140735310169824 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21233/statm: 2406251 14374 2278 9 0 2396937 0
[pid=21233/tid=21235] ppid=21231 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/21233/task/21235/stat : 21235 (java) R 21231 21233 18146 0 -1 4202560 2519 0 1 0 142 2 0 0 20 0 19 0 280708238 9856004096 14374 33554432000 1073741824 1073778376 140735310178688 140042603610416 140042459146280 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21236] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21236/stat : 21236 (java) S 21231 21233 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 14374 33554432000 1073741824 1073778376 140735310178688 140042447661992 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21237] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21237/stat : 21237 (java) S 21231 21233 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 14374 33554432000 1073741824 1073778376 140735310178688 140042446609448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21238] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21238/stat : 21238 (java) S 21231 21233 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 14374 33554432000 1073741824 1073778376 140735310178688 140042445556392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21233/tid=21239] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21239/stat : 21239 (java) S 21231 21233 18146 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 14374 33554432000 1073741824 1073778376 140735310178688 140042444503848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21240] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21240/stat : 21240 (java) S 21231 21233 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 14374 33554432000 1073741824 1073778376 140735310178688 140042443450792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21233/tid=21241] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21241/stat : 21241 (java) S 21231 21233 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 14374 33554432000 1073741824 1073778376 140735310178688 140042106300968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21242] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21242/stat : 21242 (java) S 21231 21233 18146 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 14374 33554432000 1073741824 1073778376 140735310178688 140042105247912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21243] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21243/stat : 21243 (java) S 21231 21233 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 14374 33554432000 1073741824 1073778376 140735310178688 140042104195368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21244] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21244/stat : 21244 (java) S 21231 21233 18146 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 280708241 9856004096 14374 33554432000 1073741824 1073778376 140735310178688 140042091998056 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21245] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21245/stat : 21245 (java) S 21231 21233 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280708241 9856004096 14374 33554432000 1073741824 1073778376 140735310178688 140042090944376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21246] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21246/stat : 21246 (java) S 21231 21233 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280708241 9856004096 14374 33554432000 1073741824 1073778376 140735310178688 140042089891208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21247] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21247/stat : 21247 (java) S 21231 21233 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280708244 9856004096 14374 33554432000 1073741824 1073778376 140735310178688 140042088839952 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21248] ppid=21231 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/21233/task/21248/stat : 21248 (java) S 21231 21233 18146 0 -1 4202560 1989 0 0 0 27 0 0 0 20 0 19 0 280708244 9856004096 14374 33554432000 1073741824 1073778376 140735310178688 140042087786808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21249] ppid=21231 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/21233/task/21249/stat : 21249 (java) S 21231 21233 18146 0 -1 4202560 2646 0 0 0 29 0 0 0 20 0 19 0 280708244 9856004096 14374 33554432000 1073741824 1073778376 140735310178688 140042086734264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21250] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21250/stat : 21250 (java) S 21231 21233 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280708244 9856004096 14374 33554432000 1073741824 1073778376 140735310178688 140042085681400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21251] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21251/stat : 21251 (java) S 21231 21233 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280708244 9856004096 14374 33554432000 1073741824 1073778376 140735310178688 140042084629064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21252] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21252/stat : 21252 (java) S 21231 21233 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280708262 9856004096 14374 33554432000 1073741824 1073778376 140735310178688 140042083513896 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 9625004

[startup+3.10069 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 21252
/proc/meminfo: memFree=30977180/32873844 swapFree=7900/7900
[pid=21233] ppid=21231 vsize=9625004 CPUtime=3.71 cores=0,2,4,6
/proc/21233/stat : 21233 (java) S 21231 21233 18146 0 -1 4202496 8433 0 1 0 367 4 0 0 20 0 19 0 280708237 9856004096 15925 33554432000 1073741824 1073778376 140735310178688 140735310169824 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21233/statm: 2406251 15925 2278 9 0 2396937 0
[pid=21233/tid=21235] ppid=21231 vsize=9625004 CPUtime=3 cores=0,2,4,6
/proc/21233/task/21235/stat : 21235 (java) R 21231 21233 18146 0 -1 4202560 2520 0 1 0 298 2 0 0 20 0 19 0 280708238 9856004096 15925 33554432000 1073741824 1073778376 140735310178688 140042603610376 140042459114004 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21236] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21236/stat : 21236 (java) S 21231 21233 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 15925 33554432000 1073741824 1073778376 140735310178688 140042447661992 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21237] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21237/stat : 21237 (java) S 21231 21233 18146 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 15925 33554432000 1073741824 1073778376 140735310178688 140042446609448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21238] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21238/stat : 21238 (java) S 21231 21233 18146 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 15925 33554432000 1073741824 1073778376 140735310178688 140042445556392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21239] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21239/stat : 21239 (java) S 21231 21233 18146 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 15925 33554432000 1073741824 1073778376 140735310178688 140042444503848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21240] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21240/stat : 21240 (java) S 21231 21233 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 15925 33554432000 1073741824 1073778376 140735310178688 140042443450792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21233/tid=21241] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21241/stat : 21241 (java) S 21231 21233 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 15925 33554432000 1073741824 1073778376 140735310178688 140042106300968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21242] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21242/stat : 21242 (java) S 21231 21233 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 15925 33554432000 1073741824 1073778376 140735310178688 140042105247912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21243] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21243/stat : 21243 (java) S 21231 21233 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 15925 33554432000 1073741824 1073778376 140735310178688 140042104195368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21233/tid=21244] ppid=21231 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/21233/task/21244/stat : 21244 (java) S 21231 21233 18146 0 -1 4202560 33 0 0 0 4 0 0 0 20 0 19 0 280708241 9856004096 15925 33554432000 1073741824 1073778376 140735310178688 140042091998056 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21245] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21245/stat : 21245 (java) S 21231 21233 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280708241 9856004096 15925 33554432000 1073741824 1073778376 140735310178688 140042090944376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21246] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21246/stat : 21246 (java) S 21231 21233 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280708241 9856004096 15925 33554432000 1073741824 1073778376 140735310178688 140042089891208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21247] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21247/stat : 21247 (java) S 21231 21233 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280708244 9856004096 15925 33554432000 1073741824 1073778376 140735310178688 140042088839952 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21248] ppid=21231 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/21233/task/21248/stat : 21248 (java) S 21231 21233 18146 0 -1 4202560 1992 0 0 0 29 0 0 0 20 0 19 0 280708244 9856004096 15925 33554432000 1073741824 1073778376 140735310178688 140042087786808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21249] ppid=21231 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/21233/task/21249/stat : 21249 (java) S 21231 21233 18146 0 -1 4202560 2646 0 0 0 29 0 0 0 20 0 19 0 280708244 9856004096 15925 33554432000 1073741824 1073778376 140735310178688 140042086734264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21250] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21250/stat : 21250 (java) S 21231 21233 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280708244 9856004096 15925 33554432000 1073741824 1073778376 140735310178688 140042085681400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21251] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21251/stat : 21251 (java) S 21231 21233 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280708244 9856004096 15925 33554432000 1073741824 1073778376 140735310178688 140042084629064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21252] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21252/stat : 21252 (java) S 21231 21233 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280708262 9856004096 15925 33554432000 1073741824 1073778376 140735310178688 140042083513896 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 9625004

[startup+6.3007 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 21252
/proc/meminfo: memFree=30970788/32873844 swapFree=7900/7900
[pid=21233] ppid=21231 vsize=9625004 CPUtime=6.93 cores=0,2,4,6
/proc/21233/stat : 21233 (java) S 21231 21233 18146 0 -1 4202496 8443 0 1 0 689 4 0 0 20 0 19 0 280708237 9856004096 16801 33554432000 1073741824 1073778376 140735310178688 140735310169824 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21233/statm: 2406251 16801 2278 9 0 2396937 0
[pid=21233/tid=21235] ppid=21231 vsize=9625004 CPUtime=6.15 cores=0,2,4,6
/proc/21233/task/21235/stat : 21235 (java) R 21231 21233 18146 0 -1 4202560 2524 0 1 0 613 2 0 0 20 0 19 0 280708238 9856004096 16801 33554432000 1073741824 1073778376 140735310178688 140042603610416 140042459197358 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21236] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21236/stat : 21236 (java) S 21231 21233 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 16801 33554432000 1073741824 1073778376 140735310178688 140042447661992 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21237] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21237/stat : 21237 (java) S 21231 21233 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 16801 33554432000 1073741824 1073778376 140735310178688 140042446609448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21238] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21238/stat : 21238 (java) S 21231 21233 18146 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 16801 33554432000 1073741824 1073778376 140735310178688 140042445556392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21233/tid=21239] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21239/stat : 21239 (java) S 21231 21233 18146 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 16801 33554432000 1073741824 1073778376 140735310178688 140042444503848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21240] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21240/stat : 21240 (java) S 21231 21233 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 16801 33554432000 1073741824 1073778376 140735310178688 140042443450792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21233/tid=21241] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21241/stat : 21241 (java) S 21231 21233 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 16801 33554432000 1073741824 1073778376 140735310178688 140042106300968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21242] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21242/stat : 21242 (java) S 21231 21233 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 16801 33554432000 1073741824 1073778376 140735310178688 140042105247912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21243] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21243/stat : 21243 (java) S 21231 21233 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280708239 9856004096 16801 33554432000 1073741824 1073778376 140735310178688 140042104195368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21244] ppid=21231 vsize=9625004 CPUtime=0.08 cores=0,2,4,6
/proc/21233/task/21244/stat : 21244 (java) S 21231 21233 18146 0 -1 4202560 34 0 0 0 8 0 0 0 20 0 19 0 280708241 9856004096 16801 33554432000 1073741824 1073778376 140735310178688 140042091998056 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21245] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21245/stat : 21245 (java) S 21231 21233 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280708241 9856004096 16801 33554432000 1073741824 1073778376 140735310178688 140042090944376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21246] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21246/stat : 21246 (java) S 21231 21233 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280708241 9856004096 16801 33554432000 1073741824 1073778376 140735310178688 140042089891208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21247] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21247/stat : 21247 (java) S 21231 21233 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280708244 9856004096 16801 33554432000 1073741824 1073778376 140735310178688 140042088839952 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21248] ppid=21231 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/21233/task/21248/stat : 21248 (java) S 21231 21233 18146 0 -1 4202560 1992 0 0 0 29 0 0 0 20 0 19 0 280708244 9856004096 16801 33554432000 1073741824 1073778376 140735310178688 140042087786808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21249] ppid=21231 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/21233/task/21249/stat : 21249 (java) S 21231 21233 18146 0 -1 4202560 2646 0 0 0 29 0 0 0 20 0 19 0 280708244 9856004096 16801 33554432000 1073741824 1073778376 140735310178688 140042086734264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21250] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21250/stat : 21250 (java) S 21231 21233 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280708244 9856004096 16801 33554432000 1073741824 1073778376 140735310178688 140042085681400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21251] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21251/stat : 21251 (java) S 21231 21233 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280708244 9856004096 16801 33554432000 1073741824 1073778376 140735310178688 140042084629064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21252] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21252/stat : 21252 (java) S 21231 21233 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280708262 9856004096 16801 33554432000 1073741824 1073778376 140735310178688 140042083513896 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.93
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=21233/tid=21241] ppid=21231 vsize=9625004 CPUtime=1.33 cores=0,2,4,6
/proc/21233/task/21241/stat : 21241 (java) S 21231 21233 18146 0 -1 4202560 260 0 0 0 128 5 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042106300968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21242] ppid=21231 vsize=9625004 CPUtime=1.34 cores=0,2,4,6
/proc/21233/task/21242/stat : 21242 (java) S 21231 21233 18146 0 -1 4202560 296 0 0 0 130 4 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042105247912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21233/tid=21243] ppid=21231 vsize=9625004 CPUtime=1.34 cores=0,2,4,6
/proc/21233/task/21243/stat : 21243 (java) S 21231 21233 18146 0 -1 4202560 362 0 0 0 129 5 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042104195368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21244] ppid=21231 vsize=9625004 CPUtime=9.68 cores=0,2,4,6
/proc/21233/task/21244/stat : 21244 (java) S 21231 21233 18146 0 -1 4202560 404 0 0 0 964 4 0 0 20 0 19 0 280708241 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042091998056 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21245] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21245/stat : 21245 (java) S 21231 21233 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280708241 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042090944376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21246] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21246/stat : 21246 (java) S 21231 21233 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280708241 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042089891208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21247] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21247/stat : 21247 (java) S 21231 21233 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280708244 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042088839952 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21248] ppid=21231 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/21233/task/21248/stat : 21248 (java) S 21231 21233 18146 0 -1 4202560 2061 0 0 0 31 0 0 0 20 0 19 0 280708244 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042087786808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21249] ppid=21231 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/21233/task/21249/stat : 21249 (java) S 21231 21233 18146 0 -1 4202560 2646 0 0 0 29 0 0 0 20 0 19 0 280708244 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042086734264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21250] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21250/stat : 21250 (java) S 21231 21233 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280708244 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042085681400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21251] ppid=21231 vsize=9625004 CPUtime=0.36 cores=0,2,4,6
/proc/21233/task/21251/stat : 21251 (java) S 21231 21233 18146 0 -1 4202560 95 0 0 0 17 19 0 0 20 0 19 0 280708244 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042084629064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21252] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21252/stat : 21252 (java) S 21231 21233 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280708262 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042083513896 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1670.71
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 1.97 1.99 1.99 3/213 21324
/proc/meminfo: memFree=30317848/32873844 swapFree=7900/7900
[pid=21233] ppid=21231 vsize=9625004 CPUtime=1730.8 cores=0,2,4,6
/proc/21233/stat : 21233 (java) S 21231 21233 18146 0 -1 4202496 11976 0 1 0 173013 67 0 0 20 0 19 0 280708237 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140735310169824 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21233/statm: 2406251 131662 2279 9 0 2396937 0
[pid=21233/tid=21235] ppid=21231 vsize=9625004 CPUtime=1709.19 cores=0,2,4,6
/proc/21233/task/21235/stat : 21235 (java) R 21231 21233 18146 0 -1 4202560 2740 0 1 0 170888 31 0 0 20 0 19 0 280708238 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042603610416 140042459207527 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21236] ppid=21231 vsize=9625004 CPUtime=1.37 cores=0,2,4,6
/proc/21233/task/21236/stat : 21236 (java) S 21231 21233 18146 0 -1 4202560 456 0 0 0 133 4 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042447661992 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21237] ppid=21231 vsize=9625004 CPUtime=1.31 cores=0,2,4,6
/proc/21233/task/21237/stat : 21237 (java) S 21231 21233 18146 0 -1 4202560 462 0 0 0 125 6 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042446609448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21238] ppid=21231 vsize=9625004 CPUtime=1.43 cores=0,2,4,6
/proc/21233/task/21238/stat : 21238 (java) S 21231 21233 18146 0 -1 4202560 394 0 0 0 137 6 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042445556392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21239] ppid=21231 vsize=9625004 CPUtime=1.42 cores=0,2,4,6
/proc/21233/task/21239/stat : 21239 (java) S 21231 21233 18146 0 -1 4202560 401 0 0 0 136 6 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042444503848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21240] ppid=21231 vsize=9625004 CPUtime=1.43 cores=0,2,4,6
/proc/21233/task/21240/stat : 21240 (java) S 21231 21233 18146 0 -1 4202560 211 0 0 0 137 6 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042443450792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21241] ppid=21231 vsize=9625004 CPUtime=1.34 cores=0,2,4,6
/proc/21233/task/21241/stat : 21241 (java) S 21231 21233 18146 0 -1 4202560 260 0 0 0 129 5 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042106300968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21233/tid=21242] ppid=21231 vsize=9625004 CPUtime=1.35 cores=0,2,4,6
/proc/21233/task/21242/stat : 21242 (java) S 21231 21233 18146 0 -1 4202560 296 0 0 0 131 4 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042105247912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21243] ppid=21231 vsize=9625004 CPUtime=1.35 cores=0,2,4,6
/proc/21233/task/21243/stat : 21243 (java) S 21231 21233 18146 0 -1 4202560 362 0 0 0 130 5 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042104195368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21244] ppid=21231 vsize=9625004 CPUtime=9.88 cores=0,2,4,6
/proc/21233/task/21244/stat : 21244 (java) S 21231 21233 18146 0 -1 4202560 406 0 0 0 984 4 0 0 20 0 19 0 280708241 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042091998056 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21245] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21245/stat : 21245 (java) S 21231 21233 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280708241 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042090944376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21246] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21246/stat : 21246 (java) S 21231 21233 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280708241 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042089891208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21247] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21247/stat : 21247 (java) S 21231 21233 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280708244 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042088839952 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21248] ppid=21231 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/21233/task/21248/stat : 21248 (java) S 21231 21233 18146 0 -1 4202560 2061 0 0 0 31 0 0 0 20 0 19 0 280708244 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042087786808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21249] ppid=21231 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/21233/task/21249/stat : 21249 (java) S 21231 21233 18146 0 -1 4202560 2646 0 0 0 29 0 0 0 20 0 19 0 280708244 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042086734264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21250] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21250/stat : 21250 (java) S 21231 21233 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280708244 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042085681400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21251] ppid=21231 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/21233/task/21251/stat : 21251 (java) S 21231 21233 18146 0 -1 4202560 99 0 0 0 18 21 0 0 20 0 19 0 280708244 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042084629064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21252] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21252/stat : 21252 (java) S 21231 21233 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280708262 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042083513896 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1730.8
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/214 21327
/proc/meminfo: memFree=30277440/32873844 swapFree=7900/7900
[pid=21233] ppid=21231 vsize=9625004 CPUtime=1790.92 cores=0,2,4,6
/proc/21233/stat : 21233 (java) S 21231 21233 18146 0 -1 4202496 11989 0 1 0 179024 68 0 0 20 0 19 0 280708237 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140735310169824 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21233/statm: 2406251 131662 2279 9 0 2396937 0
[pid=21233/tid=21235] ppid=21231 vsize=9625004 CPUtime=1768.81 cores=0,2,4,6
/proc/21233/task/21235/stat : 21235 (java) R 21231 21233 18146 0 -1 4202560 2743 0 1 0 176849 32 0 0 20 0 19 0 280708238 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042603610416 140042459152868 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21236] ppid=21231 vsize=9625004 CPUtime=1.4 cores=0,2,4,6
/proc/21233/task/21236/stat : 21236 (java) S 21231 21233 18146 0 -1 4202560 456 0 0 0 136 4 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042447661992 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21237] ppid=21231 vsize=9625004 CPUtime=1.33 cores=0,2,4,6
/proc/21233/task/21237/stat : 21237 (java) S 21231 21233 18146 0 -1 4202560 462 0 0 0 127 6 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042446609448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21238] ppid=21231 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/21233/task/21238/stat : 21238 (java) S 21231 21233 18146 0 -1 4202560 394 0 0 0 138 6 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042445556392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21239] ppid=21231 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/21233/task/21239/stat : 21239 (java) S 21231 21233 18146 0 -1 4202560 401 0 0 0 138 6 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042444503848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21233/tid=21240] ppid=21231 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/21233/task/21240/stat : 21240 (java) S 21231 21233 18146 0 -1 4202560 211 0 0 0 139 6 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042443450792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21241] ppid=21231 vsize=9625004 CPUtime=1.35 cores=0,2,4,6
/proc/21233/task/21241/stat : 21241 (java) S 21231 21233 18146 0 -1 4202560 260 0 0 0 130 5 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042106300968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21242] ppid=21231 vsize=9625004 CPUtime=1.37 cores=0,2,4,6
/proc/21233/task/21242/stat : 21242 (java) S 21231 21233 18146 0 -1 4202560 296 0 0 0 133 4 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042105247912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21233/tid=21243] ppid=21231 vsize=9625004 CPUtime=1.38 cores=0,2,4,6
/proc/21233/task/21243/stat : 21243 (java) S 21231 21233 18146 0 -1 4202560 362 0 0 0 133 5 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042104195368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21233/tid=21244] ppid=21231 vsize=9625004 CPUtime=10.21 cores=0,2,4,6
/proc/21233/task/21244/stat : 21244 (java) S 21231 21233 18146 0 -1 4202560 412 0 0 0 1017 4 0 0 20 0 19 0 280708241 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042091998056 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21245] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21245/stat : 21245 (java) S 21231 21233 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280708241 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042090944376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21246] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21246/stat : 21246 (java) S 21231 21233 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280708241 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042089891208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21247] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21247/stat : 21247 (java) S 21231 21233 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280708244 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042088839952 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21248] ppid=21231 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/21233/task/21248/stat : 21248 (java) S 21231 21233 18146 0 -1 4202560 2061 0 0 0 31 0 0 0 20 0 19 0 280708244 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042087786808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21249] ppid=21231 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/21233/task/21249/stat : 21249 (java) S 21231 21233 18146 0 -1 4202560 2646 0 0 0 29 0 0 0 20 0 19 0 280708244 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042086734264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21250] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21250/stat : 21250 (java) S 21231 21233 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280708244 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042085681400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21251] ppid=21231 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/21233/task/21251/stat : 21251 (java) S 21231 21233 18146 0 -1 4202560 103 0 0 0 19 21 0 0 20 0 19 0 280708244 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042084629064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21252] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21252/stat : 21252 (java) S 21231 21233 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280708262 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042083513896 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1790.92
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.4 s]
/proc/loadavg: 1.99 1.99 1.99 3/214 21327
/proc/meminfo: memFree=30263104/32873844 swapFree=7900/7900
[pid=21233] ppid=21231 vsize=9625004 CPUtime=1800.04 cores=0,2,4,6
/proc/21233/stat : 21233 (java) S 21231 21233 18146 0 -1 4202496 11989 0 1 0 179935 69 0 0 20 0 19 0 280708237 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140735310169824 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21233/statm: 2406251 131662 2279 9 0 2396937 0
[pid=21233/tid=21235] ppid=21231 vsize=9625004 CPUtime=1777.92 cores=0,2,4,6
/proc/21233/task/21235/stat : 21235 (java) R 21231 21233 18146 0 -1 4202560 2743 0 1 0 177759 33 0 0 20 0 19 0 280708238 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042603610416 140042459225973 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21236] ppid=21231 vsize=9625004 CPUtime=1.4 cores=0,2,4,6
/proc/21233/task/21236/stat : 21236 (java) S 21231 21233 18146 0 -1 4202560 456 0 0 0 136 4 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042447661992 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21237] ppid=21231 vsize=9625004 CPUtime=1.33 cores=0,2,4,6
/proc/21233/task/21237/stat : 21237 (java) S 21231 21233 18146 0 -1 4202560 462 0 0 0 127 6 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042446609448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21238] ppid=21231 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/21233/task/21238/stat : 21238 (java) S 21231 21233 18146 0 -1 4202560 394 0 0 0 138 6 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042445556392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21239] ppid=21231 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/21233/task/21239/stat : 21239 (java) S 21231 21233 18146 0 -1 4202560 401 0 0 0 138 6 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042444503848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21233/tid=21240] ppid=21231 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/21233/task/21240/stat : 21240 (java) S 21231 21233 18146 0 -1 4202560 211 0 0 0 139 6 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042443450792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21241] ppid=21231 vsize=9625004 CPUtime=1.35 cores=0,2,4,6
/proc/21233/task/21241/stat : 21241 (java) S 21231 21233 18146 0 -1 4202560 260 0 0 0 130 5 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042106300968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21242] ppid=21231 vsize=9625004 CPUtime=1.37 cores=0,2,4,6
/proc/21233/task/21242/stat : 21242 (java) S 21231 21233 18146 0 -1 4202560 296 0 0 0 133 4 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042105247912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21233/tid=21243] ppid=21231 vsize=9625004 CPUtime=1.38 cores=0,2,4,6
/proc/21233/task/21243/stat : 21243 (java) S 21231 21233 18146 0 -1 4202560 362 0 0 0 133 5 0 0 20 0 19 0 280708239 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042104195368 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21233/tid=21244] ppid=21231 vsize=9625004 CPUtime=10.21 cores=0,2,4,6
/proc/21233/task/21244/stat : 21244 (java) S 21231 21233 18146 0 -1 4202560 412 0 0 0 1017 4 0 0 20 0 19 0 280708241 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042091998056 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21245] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21245/stat : 21245 (java) S 21231 21233 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280708241 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042090944376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21246] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21246/stat : 21246 (java) S 21231 21233 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280708241 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042089891208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21247] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21247/stat : 21247 (java) S 21231 21233 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280708244 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042088839952 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21248] ppid=21231 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/21233/task/21248/stat : 21248 (java) S 21231 21233 18146 0 -1 4202560 2061 0 0 0 31 0 0 0 20 0 19 0 280708244 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042087786808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21233/tid=21249] ppid=21231 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/21233/task/21249/stat : 21249 (java) S 21231 21233 18146 0 -1 4202560 2646 0 0 0 29 0 0 0 20 0 19 0 280708244 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042086734264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21250] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21250/stat : 21250 (java) S 21231 21233 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280708244 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042085681400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21233/tid=21251] ppid=21231 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/21233/task/21251/stat : 21251 (java) S 21231 21233 18146 0 -1 4202560 103 0 0 0 19 21 0 0 20 0 19 0 280708244 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042084629064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21233/tid=21252] ppid=21231 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21233/task/21252/stat : 21252 (java) S 21231 21233 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280708262 9856004096 131662 33554432000 1073741824 1073778376 140735310178688 140042083513896 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143
Real time (s): 1791.45
CPU time (s): 1800.65
CPU user time (s): 1799.51
CPU system time (s): 1.14183
CPU usage (%): 100.513
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 1.14183
maximum resident set size= 526800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12030
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42806
involuntary context switches= 33789

runsolver used 5.85211 second user time and 14.5608 second system time

The end

Launcher Data 

Begin job on node137 at 2012-05-27 21:10:37
IDJOB=3710728
IDBENCH=2219
IDSOLVER=2289
FILE ID=node137/3710728-1338145837
RUNJOBID= node137-1338140231-20453
PBS_JOBID= 14624475
Free space on /tmp= 71492 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.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-3710728-1338145837/watcher-3710728-1338145837 -o /tmp/evaluation-result-3710728-1338145837/solver-3710728-1338145837 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710728-1338145837.opb

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

MD5SUM BENCH= 885184c694263ba985a0dc2cd49b3440
RANDOM SEED=1366031803

node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
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	: 5333.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
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:        31029036 kB
Buffers:          325144 kB
Cached:           573132 kB
SwapCached:        20904 kB
Active:           880252 kB
Inactive:         119592 kB
Active(anon):      80180 kB
Inactive(anon):    23688 kB
Active(file):     800072 kB
Inactive(file):    95904 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67082664 kB
Dirty:               892 kB
Writeback:             0 kB
AnonPages:         89872 kB
Mapped:            17768 kB
Shmem:                 0 kB
Slab:             704380 kB
SReclaimable:     145868 kB
SUnreclaim:       558512 kB
KernelStack:        1608 kB
PageTables:         4800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     697384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 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= 71492 MiB
End job on node137 at 2012-05-27 21:40:31