Trace number 3687969

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
Sat 4j PB Resolution 2.3.2 Snapshot? (TO) 1800.04 1788.57

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb
MD5SUMdaeaeaee67028e931b0f5195f178e9b3
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables107520
Total number of constraints3312
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3312
Minimum length of a constraint50
Maximum length of a constraint820
Number of terms in the objective function 41280
Biggest coefficient in the objective function 1342177280000000
Number of bits for the biggest coefficient in the objective function 51
Sum of the numbers in the objective function 260295726093315792
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 1342177280000000
Number of bits of the biggest number in a constraint 51
Biggest sum of numbers in a constraint 260295726093315792
Number of bits of the biggest sum of numbers58
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3687969-1337879047.opb
0.08/0.12	c reading problem ... 
1.67/1.10	c ... done. Wall clock time 0.978s.
1.67/1.10	c declared #vars     107520
1.67/1.10	c #constraints  4560
1.67/1.10	c constraints type 
1.67/1.10	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 4560
1.67/1.10	c 4560 constraints processed.
1.67/1.10	c objective function length is 41280 literals
4.25/3.06	c cleaning 2500 clauses out of 5001 with flag 5001/5001
6.63/4.77	c cleaning 4243 clauses out of 8499 with flag 11000/11000
8.46/6.54	c cleaning 5613 clauses out of 11257 with flag 18001/18001
10.63/8.15	c cleaning 6820 clauses out of 13644 with flag 26001/26001
12.18/9.65	c cleaning 7896 clauses out of 15823 with flag 35000/35000
13.29/10.71	c cleaning 8935 clauses out of 17927 with flag 45000/45000
14.72/12.14	c cleaning 9968 clauses out of 19993 with flag 56001/56001
16.12/13.57	c cleaning 11004 clauses out of 22025 with flag 68001/68001
17.85/15.27	c cleaning 11995 clauses out of 24021 with flag 81001/81001
19.67/17.00	c cleaning 12999 clauses out of 26026 with flag 95001/95001
21.82/19.11	c cleaning 13966 clauses out of 28026 with flag 110000/110000
24.35/21.68	c cleaning 15016 clauses out of 30061 with flag 126001/126001
26.58/23.81	c cleaning 16001 clauses out of 32045 with flag 143002/143002
29.10/26.32	c cleaning 16966 clauses out of 34042 with flag 161000/161000
32.90/30.10	c cleaning 18023 clauses out of 36077 with flag 180001/180001
35.42/32.66	c cleaning 19018 clauses out of 38054 with flag 200001/200001
38.53/35.78	c cleaning 19981 clauses out of 40036 with flag 221001/221001
42.16/39.30	c cleaning 20966 clauses out of 42054 with flag 243000/243000
46.82/43.95	c cleaning 22034 clauses out of 44088 with flag 266000/266000
51.07/48.10	c cleaning 22994 clauses out of 46054 with flag 290000/290000
55.19/52.26	c cleaning 23992 clauses out of 48061 with flag 315001/315001
59.21/56.24	c cleaning 25006 clauses out of 50070 with flag 341002/341002
65.78/62.74	c cleaning 26028 clauses out of 52060 with flag 368000/368000
73.49/70.47	c cleaning 27004 clauses out of 54032 with flag 396000/396000
78.04/74.99	c cleaning 27971 clauses out of 56027 with flag 425000/425000
82.88/79.79	c cleaning 28995 clauses out of 58057 with flag 455001/455001
88.44/85.25	c cleaning 30010 clauses out of 60061 with flag 486000/486000
92.48/89.24	c cleaning 31007 clauses out of 62053 with flag 518002/518002
97.30/94.07	c cleaning 31999 clauses out of 64046 with flag 551002/551002
102.75/99.44	c cleaning 33005 clauses out of 66047 with flag 585002/585002
106.30/102.97	c cleaning 34012 clauses out of 68035 with flag 620000/620000
108.55/105.12	c cleaning 35010 clauses out of 70024 with flag 656001/656001
110.67/107.25	c cleaning 36004 clauses out of 72014 with flag 693001/693001
112.98/109.57	c cleaning 37005 clauses out of 74010 with flag 731001/731001
115.53/112.05	c cleaning 37999 clauses out of 76005 with flag 770001/770001
117.94/114.48	c cleaning 39000 clauses out of 78006 with flag 810001/810001
120.46/116.97	c cleaning 39998 clauses out of 80006 with flag 851001/851001
123.07/119.56	c cleaning 40998 clauses out of 82007 with flag 893000/893000
125.78/122.25	c cleaning 42002 clauses out of 84009 with flag 936000/936000
128.61/125.01	c cleaning 43004 clauses out of 86007 with flag 980000/980000
131.43/127.86	c cleaning 43997 clauses out of 88003 with flag 1025000/1025000
134.45/130.82	c cleaning 45003 clauses out of 90006 with flag 1071000/1071000
137.77/134.14	c cleaning 45998 clauses out of 92003 with flag 1118000/1118000
140.97/137.39	c cleaning 47003 clauses out of 94005 with flag 1166000/1166000
144.58/140.95	c cleaning 47999 clauses out of 96002 with flag 1215000/1215000
148.09/144.48	c cleaning 48998 clauses out of 98003 with flag 1265000/1265000
151.81/148.17	c cleaning 50000 clauses out of 100005 with flag 1316000/1316000
155.55/151.74	c cleaning 51002 clauses out of 102006 with flag 1368001/1368001
159.17/155.38	c cleaning 51998 clauses out of 104004 with flag 1421001/1421001
162.99/159.14	c cleaning 52997 clauses out of 106006 with flag 1475001/1475001
167.12/163.23	c cleaning 53998 clauses out of 108009 with flag 1530001/1530001
171.16/167.23	c cleaning 55001 clauses out of 110011 with flag 1586001/1586001
174.88/170.98	c cleaning 56001 clauses out of 112009 with flag 1643000/1643000
179.09/175.12	c cleaning 57003 clauses out of 114009 with flag 1701001/1701001
183.12/179.18	c cleaning 58000 clauses out of 116006 with flag 1760001/1760001
188.24/184.27	c cleaning 59003 clauses out of 118005 with flag 1820000/1820000
193.37/189.33	c cleaning 59999 clauses out of 120002 with flag 1881000/1881000
200.20/196.13	c cleaning 60991 clauses out of 122002 with flag 1943000/1943000
224.27/220.04	c cleaning 61994 clauses out of 124012 with flag 2006001/2006001
236.53/232.24	c cleaning 62991 clauses out of 126018 with flag 2070001/2070001
255.21/250.86	c cleaning 63989 clauses out of 128028 with flag 2135002/2135002
269.78/265.38	c cleaning 65003 clauses out of 130038 with flag 2201001/2201001
282.45/277.91	c cleaning 66003 clauses out of 132034 with flag 2268000/2268000
299.85/295.27	c cleaning 67000 clauses out of 134030 with flag 2336001/2336001
309.76/305.04	c cleaning 68003 clauses out of 136029 with flag 2405000/2405000
317.92/313.18	c cleaning 69003 clauses out of 138026 with flag 2475000/2475000
328.47/323.65	c cleaning 69997 clauses out of 140024 with flag 2546001/2546001
339.46/334.56	c cleaning 70979 clauses out of 142028 with flag 2618002/2618002
359.54/354.50	c cleaning 72002 clauses out of 144049 with flag 2691002/2691002
380.30/375.20	c cleaning 73005 clauses out of 146047 with flag 2765002/2765002
397.57/392.49	c cleaning 73978 clauses out of 148041 with flag 2840001/2840001
412.94/407.70	c cleaning 74977 clauses out of 150062 with flag 2916000/2916000
430.40/425.17	c cleaning 75986 clauses out of 152087 with flag 2993002/2993002
444.81/439.42	c cleaning 77002 clauses out of 154102 with flag 3071003/3071003
461.59/456.14	c cleaning 77998 clauses out of 156098 with flag 3150001/3150001
475.19/469.69	c cleaning 78998 clauses out of 158094 with flag 3230000/3230000
486.53/480.93	c cleaning 80036 clauses out of 160097 with flag 3311001/3311001
497.82/492.18	c cleaning 81015 clauses out of 162060 with flag 3393000/3393000
513.39/507.60	c cleaning 82010 clauses out of 164045 with flag 3476000/3476000
539.67/533.84	c cleaning 83007 clauses out of 166035 with flag 3560000/3560000
554.96/549.01	c cleaning 83977 clauses out of 168029 with flag 3645001/3645001
575.91/569.92	c cleaning 84998 clauses out of 170052 with flag 3731001/3731001
593.30/587.23	c cleaning 85995 clauses out of 172054 with flag 3818001/3818001
624.41/618.14	c cleaning 86995 clauses out of 174062 with flag 3906004/3906004
638.15/631.88	c cleaning 88017 clauses out of 176063 with flag 3995000/3995000
652.03/645.67	c cleaning 88992 clauses out of 178046 with flag 4085000/4085000
666.60/660.14	c cleaning 89999 clauses out of 180053 with flag 4176000/4176000
696.71/690.13	c cleaning 90994 clauses out of 182055 with flag 4268001/4268001
715.37/708.76	c cleaning 91976 clauses out of 184062 with flag 4361002/4361002
740.94/734.26	c cleaning 93005 clauses out of 186085 with flag 4455001/4455001
761.07/754.28	c cleaning 93982 clauses out of 188079 with flag 4550000/4550000
788.89/781.96	c cleaning 94997 clauses out of 190097 with flag 4646000/4646000
811.91/804.83	c cleaning 96019 clauses out of 192101 with flag 4743001/4743001
827.30/820.17	c cleaning 97032 clauses out of 194081 with flag 4841000/4841000
846.19/838.97	c cleaning 97930 clauses out of 196049 with flag 4940000/4940000
868.16/860.87	c cleaning 98985 clauses out of 198119 with flag 5040000/5040000
889.08/881.60	c cleaning 100037 clauses out of 200134 with flag 5141000/5141000
910.96/903.26	c cleaning 101021 clauses out of 202098 with flag 5243001/5243001
928.04/920.24	c cleaning 102018 clauses out of 204076 with flag 5346000/5346000
944.89/937.05	c cleaning 103008 clauses out of 206058 with flag 5450000/5450000
958.41/950.42	c cleaning 103995 clauses out of 208051 with flag 5555001/5555001
973.39/965.38	c cleaning 105010 clauses out of 210056 with flag 5661001/5661001
997.79/989.69	c cleaning 105987 clauses out of 212047 with flag 5768002/5768002
1015.99/1007.72	c cleaning 107018 clauses out of 214058 with flag 5876000/5876000
1038.34/1030.04	c cleaning 107996 clauses out of 216040 with flag 5985000/5985000
1058.73/1050.37	c cleaning 109004 clauses out of 218045 with flag 6095001/6095001
1080.05/1071.56	c cleaning 109993 clauses out of 220039 with flag 6206000/6206000
1110.74/1102.20	c cleaning 110992 clauses out of 222051 with flag 6318005/6318005
1151.42/1142.74	c cleaning 111993 clauses out of 224056 with flag 6431002/6431002
1198.16/1189.35	c cleaning 113005 clauses out of 226061 with flag 6545000/6545000
1243.70/1234.79	c cleaning 113999 clauses out of 228059 with flag 6660003/6660003
1288.68/1279.63	c cleaning 114998 clauses out of 230057 with flag 6776000/6776000
1337.13/1327.99	c cleaning 116006 clauses out of 232060 with flag 6893001/6893001
1366.96/1357.51	c cleaning 116963 clauses out of 234053 with flag 7011000/7011000
1389.26/1379.73	c cleaning 117982 clauses out of 236092 with flag 7130002/7130002
1421.58/1411.94	c cleaning 119019 clauses out of 238108 with flag 7250001/7250001
1451.26/1441.56	c cleaning 120008 clauses out of 240088 with flag 7371000/7371000
1474.18/1464.31	c cleaning 121006 clauses out of 242080 with flag 7493000/7493000
1494.54/1484.64	c cleaning 122007 clauses out of 244075 with flag 7616001/7616001
1528.14/1518.10	c cleaning 122990 clauses out of 246067 with flag 7740000/7740000
1553.56/1543.45	c cleaning 124017 clauses out of 248078 with flag 7865001/7865001
1589.69/1579.47	c cleaning 124957 clauses out of 250060 with flag 7991000/7991000
1647.75/1637.18	c cleaning 126003 clauses out of 252104 with flag 8118001/8118001
1705.40/1694.33	c cleaning 127007 clauses out of 254102 with flag 8246002/8246002
1764.11/1752.87	c cleaning 128007 clauses out of 256093 with flag 8375000/8375000
1787.72/1776.33	c cleaning 128993 clauses out of 258086 with flag 8505000/8505000
1800.04/1788.52	c starts		: 299
1800.04/1788.52	c conflicts		: 8589130
1800.04/1788.52	c decisions		: 14119085
1800.04/1788.52	c propagations		: 511292777
1800.04/1788.52	c inspects		: 10702491813
1800.04/1788.52	c shortcuts		: 0
1800.04/1788.52	c learnt literals	: 21
1800.04/1788.52	c learnt binary clauses	: 22
1800.04/1788.52	c learnt ternary clauses	: 16
1800.04/1788.52	c learnt constraints	: 8589110
1800.04/1788.52	c ignored constraints	: 0
1800.04/1788.52	c root simplifications	: 0
1800.04/1788.52	c removed literals (reason simplification)	: 0
1800.04/1788.52	c reason swapping (by a shorter reason)	: 0
1800.04/1788.52	c Calls to reduceDB	: 126
1800.04/1788.52	c number of reductions to clauses (during analyze)	: 0
1800.04/1788.52	c number of learned constraints concerned by reduction	: 0
1800.04/1788.52	c number of learning phase by resolution	: 0
1800.04/1788.52	c number of learning phase by cutting planes	: 0
1800.04/1788.52	c speed (assignments/second)	: 286074.10391467676
1800.04/1788.52	c non guided choices	3224076
1800.04/1788.55	c learnt constraints type 
1800.04/1788.55	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 22
1800.04/1788.55	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 213321
1800.04/1788.55	c constraints type 
1800.04/1788.55	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 4560
1800.04/1788.55	c 4560 constraints processed.
1800.04/1788.55	s UNKNOWN
1800.04/1788.55	c Total wall clock time (in seconds): 1788.431

Verifier Data 

ERROR: no interpretation found !

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-3687969-1337879047/watcher-3687969-1337879047 -o /tmp/evaluation-result-3687969-1337879047/solver-3687969-1337879047 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687969-1337879047.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.06 2.02 2.00 3/194 28351
/proc/meminfo: memFree=29004532/32873844 swapFree=7116/7116
[pid=28351] ppid=28349 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/28351/stat : 28351 (java) D 28349 28351 27542 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 254029665 9515008 183 33554432000 1073741824 1073778376 140737154125152 140737154116184 240565173941 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/28351/statm: 2323 183 140 9 0 71 0

[startup+0.0505829 s]
/proc/loadavg: 2.06 2.02 2.00 3/194 28351
/proc/meminfo: memFree=29004532/32873844 swapFree=7116/7116
[pid=28351] ppid=28349 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/28351/stat : 28351 (java) S 28349 28351 27542 0 -1 4202496 3025 0 1 0 2 1 0 0 20 0 13 0 254029665 9446973440 3723 33554432000 1073741824 1073778376 140733704385120 140733704376256 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28351/statm: 2306390 3723 1698 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100332 s]
/proc/loadavg: 2.06 2.02 2.00 3/194 28351
/proc/meminfo: memFree=29004532/32873844 swapFree=7116/7116
[pid=28351] ppid=28349 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/28351/stat : 28351 (java) S 28349 28351 27542 0 -1 4202496 4133 0 1 0 7 1 0 0 20 0 18 0 254029665 9787813888 5332 33554432000 1073741824 1073778376 140733704385120 140733704376256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28351/statm: 2389603 5332 2071 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300271 s]
/proc/loadavg: 2.06 2.02 2.00 3/194 28351
/proc/meminfo: memFree=29004532/32873844 swapFree=7116/7116
[pid=28351] ppid=28349 vsize=9558412 CPUtime=0.47 cores=1,3,5,7
/proc/28351/stat : 28351 (java) S 28349 28351 27542 0 -1 4202496 5662 0 1 0 45 2 0 0 20 0 18 0 254029665 9787813888 11887 33554432000 1073741824 1073778376 140733704385120 140733704376256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28351/statm: 2389603 11887 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412

[startup+0.700279 s]
/proc/loadavg: 2.06 2.02 2.00 3/194 28351
/proc/meminfo: memFree=29004532/32873844 swapFree=7116/7116
[pid=28351] ppid=28349 vsize=9558412 CPUtime=1.23 cores=1,3,5,7
/proc/28351/stat : 28351 (java) S 28349 28351 27542 0 -1 4202496 9497 0 1 0 113 10 0 0 20 0 18 0 254029665 9787813888 48015 33554432000 1073741824 1073778376 140733704385120 140733704376256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28351/statm: 2389603 48015 2246 9 0 2380296 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 9558412

[startup+1.50079 s]
/proc/loadavg: 2.06 2.02 2.00 10/212 28369
/proc/meminfo: memFree=28785124/32873844 swapFree=7116/7116
[pid=28351] ppid=28349 vsize=9624976 CPUtime=2.63 cores=1,3,5,7
/proc/28351/stat : 28351 (java) S 28349 28351 27542 0 -1 4202496 10560 0 1 0 247 16 0 0 20 0 19 0 254029665 9855975424 58709 33554432000 1073741824 1073778376 140733704385120 140733704376256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28351/statm: 2406244 58709 2262 9 0 2396937 0
[pid=28351/tid=28353] ppid=28349 vsize=9624976 CPUtime=1.35 cores=1,3,5,7
/proc/28351/task/28353/stat : 28353 (java) R 28349 28351 27542 0 -1 4202560 2519 0 1 0 132 3 0 0 20 0 19 0 254029666 9855975424 58709 33554432000 1073741824 1073778376 140733704385120 139908726457104 139908576560534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28354] ppid=28349 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/28351/task/28354/stat : 28354 (java) S 28349 28351 27542 0 -1 4202560 119 0 0 0 5 2 0 0 20 0 19 0 254029667 9855975424 58709 33554432000 1073741824 1073778376 140733704385120 139908698908840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28355] ppid=28349 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/28351/task/28355/stat : 28355 (java) S 28349 28351 27542 0 -1 4202560 99 0 0 0 2 0 0 0 20 0 19 0 254029667 9855975424 58709 33554432000 1073741824 1073778376 140733704385120 139908697856296 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28356] ppid=28349 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/28351/task/28356/stat : 28356 (java) S 28349 28351 27542 0 -1 4202560 121 0 0 0 4 2 0 0 20 0 19 0 254029667 9855975424 58709 33554432000 1073741824 1073778376 140733704385120 139908696803752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28357] ppid=28349 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/28351/task/28357/stat : 28357 (java) S 28349 28351 27542 0 -1 4202560 35 0 0 0 3 2 0 0 20 0 19 0 254029667 9855975424 58709 33554432000 1073741824 1073778376 140733704385120 139908695751208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28358] ppid=28349 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/28351/task/28358/stat : 28358 (java) S 28349 28351 27542 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 19 0 254029667 9855975424 58709 33554432000 1073741824 1073778376 140733704385120 139908565478056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28359] ppid=28349 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/28351/task/28359/stat : 28359 (java) S 28349 28351 27542 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 254029667 9855975424 58709 33554432000 1073741824 1073778376 140733704385120 139908564425512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28360] ppid=28349 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/28351/task/28360/stat : 28360 (java) S 28349 28351 27542 0 -1 4202560 98 0 0 0 2 0 0 0 20 0 19 0 254029667 9855975424 58709 33554432000 1073741824 1073778376 140733704385120 139908563372968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28361] ppid=28349 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/28351/task/28361/stat : 28361 (java) S 28349 28351 27542 0 -1 4202560 18 0 0 0 1 1 0 0 20 0 19 0 254029667 9855975424 58709 33554432000 1073741824 1073778376 140733704385120 139908562320424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28362] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28362/stat : 28362 (java) S 28349 28351 27542 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 254029668 9855975424 58709 33554432000 1073741824 1073778376 140733704385120 139908079806568 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28363] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28363/stat : 28363 (java) S 28349 28351 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254029669 9855975424 58709 33554432000 1073741824 1073778376 140733704385120 139908078752888 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28364] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28364/stat : 28364 (java) S 28349 28351 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254029669 9855975424 58709 33554432000 1073741824 1073778376 140733704385120 139908077700232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28365] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28365/stat : 28365 (java) S 28349 28351 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029672 9855975424 58709 33554432000 1073741824 1073778376 140733704385120 139908076648976 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28366] ppid=28349 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/28351/task/28366/stat : 28366 (java) R 28349 28351 27542 0 -1 4202560 2228 0 0 0 42 0 0 0 20 0 19 0 254029672 9855975424 58709 33554432000 1073741824 1073778376 140733704385120 139908075596344 139908733168733 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28367] ppid=28349 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/28351/task/28367/stat : 28367 (java) S 28349 28351 27542 0 -1 4202560 4024 0 0 0 39 2 0 0 20 0 19 0 254029672 9855975424 58709 33554432000 1073741824 1073778376 140733704385120 139908074543800 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28368] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28368/stat : 28368 (java) S 28349 28351 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029672 9855975424 58709 33554432000 1073741824 1073778376 140733704385120 139908073491448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28369] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28369/stat : 28369 (java) S 28349 28351 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029672 9855975424 58709 33554432000 1073741824 1073778376 140733704385120 139908072439112 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 9624976

[startup+3.10072 s]
/proc/loadavg: 2.06 2.01 2.00 3/213 28370
/proc/meminfo: memFree=28777856/32873844 swapFree=7116/7116
[pid=28351] ppid=28349 vsize=9624976 CPUtime=4.5 cores=1,3,5,7
/proc/28351/stat : 28351 (java) S 28349 28351 27542 0 -1 4202496 10685 0 1 0 428 22 0 0 20 0 19 0 254029665 9855975424 67446 33554432000 1073741824 1073778376 140733704385120 140733704376256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28351/statm: 2406244 67446 2267 9 0 2396937 0
[pid=28351/tid=28353] ppid=28349 vsize=9624976 CPUtime=2.91 cores=1,3,5,7
/proc/28351/task/28353/stat : 28353 (java) S 28349 28351 27542 0 -1 4202560 2521 0 1 0 288 3 0 0 20 0 19 0 254029666 9855975424 67446 33554432000 1073741824 1073778376 140733704385120 139908726456744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28354] ppid=28349 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/28351/task/28354/stat : 28354 (java) R 28349 28351 27542 0 -1 4202560 129 0 0 0 6 2 0 0 20 0 19 0 254029667 9855975424 67446 33554432000 1073741824 1073778376 140733704385120 139908698909016 139908728927929 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28355] ppid=28349 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/28351/task/28355/stat : 28355 (java) R 28349 28351 27542 0 -1 4202560 117 0 0 0 4 2 0 0 20 0 19 0 254029667 9855975424 67446 33554432000 1073741824 1073778376 140733704385120 139908697856472 139908728927945 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28356] ppid=28349 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/28351/task/28356/stat : 28356 (java) R 28349 28351 27542 0 -1 4202560 144 0 0 0 5 3 0 0 20 0 19 0 254029667 9855975424 67446 33554432000 1073741824 1073778376 140733704385120 139908696803632 139908728927987 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28357] ppid=28349 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/28351/task/28357/stat : 28357 (java) R 28349 28351 27542 0 -1 4202560 42 0 0 0 4 2 0 0 20 0 19 0 254029667 9855975424 67446 33554432000 1073741824 1073778376 140733704385120 139908695751384 139908733353579 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28358] ppid=28349 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/28351/task/28358/stat : 28358 (java) R 28349 28351 27542 0 -1 4202560 32 0 0 0 2 2 0 0 20 0 19 0 254029667 9855975424 67446 33554432000 1073741824 1073778376 140733704385120 139908565478232 139908732965168 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28359] ppid=28349 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/28351/task/28359/stat : 28359 (java) R 28349 28351 27542 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 19 0 254029667 9855975424 67446 33554432000 1073741824 1073778376 140733704385120 139908564425688 139908728927987 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28360] ppid=28349 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/28351/task/28360/stat : 28360 (java) R 28349 28351 27542 0 -1 4202560 105 0 0 0 2 2 0 0 20 0 19 0 254029667 9855975424 67446 33554432000 1073741824 1073778376 140733704385120 139908563373144 139908730632367 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28361] ppid=28349 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/28351/task/28361/stat : 28361 (java) R 28349 28351 27542 0 -1 4202560 28 0 0 0 2 2 0 0 20 0 19 0 254029667 9855975424 67446 33554432000 1073741824 1073778376 140733704385120 139908562320600 139908728927937 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28362] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28362/stat : 28362 (java) S 28349 28351 27542 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 254029668 9855975424 67446 33554432000 1073741824 1073778376 140733704385120 139908079805544 240568546364 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28363] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28363/stat : 28363 (java) S 28349 28351 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254029669 9855975424 67446 33554432000 1073741824 1073778376 140733704385120 139908078752888 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28364] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28364/stat : 28364 (java) S 28349 28351 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254029669 9855975424 67446 33554432000 1073741824 1073778376 140733704385120 139908077700232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28365] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28365/stat : 28365 (java) S 28349 28351 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029672 9855975424 67446 33554432000 1073741824 1073778376 140733704385120 139908076648976 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28366] ppid=28349 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/28351/task/28366/stat : 28366 (java) S 28349 28351 27542 0 -1 4202560 2258 0 0 0 52 0 0 0 20 0 19 0 254029672 9855975424 67446 33554432000 1073741824 1073778376 140733704385120 139908075596344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28367] ppid=28349 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/28351/task/28367/stat : 28367 (java) S 28349 28351 27542 0 -1 4202560 4028 0 0 0 44 2 0 0 20 0 19 0 254029672 9855975424 67446 33554432000 1073741824 1073778376 140733704385120 139908074532936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28368] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28368/stat : 28368 (java) S 28349 28351 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029672 9855975424 67446 33554432000 1073741824 1073778376 140733704385120 139908073491448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28369] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28369/stat : 28369 (java) S 28349 28351 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029672 9855975424 67446 33554432000 1073741824 1073778376 140733704385120 139908072439112 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28370] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28370/stat : 28370 (java) S 28349 28351 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254029789 9855975424 67446 33554432000 1073741824 1073778376 140733704385120 139908071383848 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 9624976

[startup+6.30074 s]
/proc/loadavg: 2.06 2.01 2.00 3/213 28370
/proc/meminfo: memFree=28708236/32873844 swapFree=7116/7116
[pid=28351] ppid=28349 vsize=9624976 CPUtime=8.26 cores=1,3,5,7
/proc/28351/stat : 28351 (java) S 28349 28351 27542 0 -1 4202496 17357 0 1 0 802 24 0 0 20 0 19 0 254029665 9855975424 75952 33554432000 1073741824 1073778376 140733704385120 140733704376256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28351/statm: 2406244 75952 2275 9 0 2396937 0
[pid=28351/tid=28353] ppid=28349 vsize=9624976 CPUtime=5.74 cores=1,3,5,7
/proc/28351/task/28353/stat : 28353 (java) R 28349 28351 27542 0 -1 4202560 2523 0 1 0 571 3 0 0 20 0 19 0 254029666 9855975424 75952 33554432000 1073741824 1073778376 140733704385120 139908726456824 139908577135615 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28354] ppid=28349 vsize=9624976 CPUtime=0.1 cores=1,3,5,7
/proc/28351/task/28354/stat : 28354 (java) S 28349 28351 27542 0 -1 4202560 129 0 0 0 7 3 0 0 20 0 19 0 254029667 9855975424 75952 33554432000 1073741824 1073778376 140733704385120 139908698908840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28355] ppid=28349 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/28351/task/28355/stat : 28355 (java) S 28349 28351 27542 0 -1 4202560 117 0 0 0 5 3 0 0 20 0 19 0 254029667 9855975424 75952 33554432000 1073741824 1073778376 140733704385120 139908697856296 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28356] ppid=28349 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/28351/task/28356/stat : 28356 (java) S 28349 28351 27542 0 -1 4202560 145 0 0 0 6 3 0 0 20 0 19 0 254029667 9855975424 75952 33554432000 1073741824 1073778376 140733704385120 139908696803752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28357] ppid=28349 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/28351/task/28357/stat : 28357 (java) S 28349 28351 27542 0 -1 4202560 43 0 0 0 5 2 0 0 20 0 19 0 254029667 9855975424 75952 33554432000 1073741824 1073778376 140733704385120 139908695751208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28358] ppid=28349 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/28351/task/28358/stat : 28358 (java) S 28349 28351 27542 0 -1 4202560 32 0 0 0 3 2 0 0 20 0 19 0 254029667 9855975424 75952 33554432000 1073741824 1073778376 140733704385120 139908565478056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28359] ppid=28349 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/28351/task/28359/stat : 28359 (java) S 28349 28351 27542 0 -1 4202560 30 0 0 0 3 2 0 0 20 0 19 0 254029667 9855975424 75952 33554432000 1073741824 1073778376 140733704385120 139908564425512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28360] ppid=28349 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/28351/task/28360/stat : 28360 (java) S 28349 28351 27542 0 -1 4202560 105 0 0 0 3 2 0 0 20 0 19 0 254029667 9855975424 75952 33554432000 1073741824 1073778376 140733704385120 139908563372968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28361] ppid=28349 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/28351/task/28361/stat : 28361 (java) S 28349 28351 27542 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 19 0 254029667 9855975424 75952 33554432000 1073741824 1073778376 140733704385120 139908562320424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28362] ppid=28349 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/28351/task/28362/stat : 28362 (java) S 28349 28351 27542 0 -1 4202560 101 0 0 0 32 0 0 0 20 0 19 0 254029668 9855975424 75952 33554432000 1073741824 1073778376 140733704385120 139908079806568 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28363] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28363/stat : 28363 (java) S 28349 28351 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254029669 9855975424 75952 33554432000 1073741824 1073778376 140733704385120 139908078752888 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28364] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28364/stat : 28364 (java) S 28349 28351 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254029669 9855975424 75952 33554432000 1073741824 1073778376 140733704385120 139908077700232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28365] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28365/stat : 28365 (java) S 28349 28351 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029672 9855975424 75952 33554432000 1073741824 1073778376 140733704385120 139908076648976 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28366] ppid=28349 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/28351/task/28366/stat : 28366 (java) S 28349 28351 27542 0 -1 4202560 2263 0 0 0 55 0 0 0 20 0 19 0 254029672 9855975424 75952 33554432000 1073741824 1073778376 140733704385120 139908075596344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28367] ppid=28349 vsize=9624976 CPUtime=0.93 cores=1,3,5,7
/proc/28351/task/28367/stat : 28367 (java) S 28349 28351 27542 0 -1 4202560 10654 0 0 0 90 3 0 0 20 0 19 0 254029672 9855975424 75952 33554432000 1073741824 1073778376 140733704385120 139908074543800 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28368] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28368/stat : 28368 (java) S 28349 28351 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029672 9855975424 75952 33554432000 1073741824 1073778376 140733704385120 139908073491448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28369] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28369/stat : 28369 (java) S 28349 28351 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029672 9855975424 75952 33554432000 1073741824 1073778376 140733704385120 139908072439112 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28370] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28370/stat : 28370 (java) S 28349 28351 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254029789 9855975424 75952 33554432000 1073741824 1073778376 140733704385120 139908071383848 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.26
Current children cumulated vsize (KiB) 9624976

[startup+12.7008 s]
/proc/loadavg: 2.05 2.01 2.00 3/213 28370
/proc/meminfo: memFree=28705840/32873844 swapFree=7116/7116

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

[pid=28351/tid=28366] ppid=28349 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/28351/task/28366/stat : 28366 (java) S 28349 28351 27542 0 -1 4202560 2539 0 0 0 66 0 0 0 20 0 19 0 254029672 9855975424 489537 33554432000 1073741824 1073778376 140733704385120 139908075596344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28367] ppid=28349 vsize=9624976 CPUtime=1.44 cores=1,3,5,7
/proc/28351/task/28367/stat : 28367 (java) S 28349 28351 27542 0 -1 4202560 12561 0 0 0 140 4 0 0 20 0 19 0 254029672 9855975424 489537 33554432000 1073741824 1073778376 140733704385120 139908074543800 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28368] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28368/stat : 28368 (java) S 28349 28351 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029672 9855975424 489537 33554432000 1073741824 1073778376 140733704385120 139908073491448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28369] ppid=28349 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/28351/task/28369/stat : 28369 (java) S 28349 28351 27542 0 -1 4202560 99 0 0 0 30 26 0 0 20 0 19 0 254029672 9855975424 489537 33554432000 1073741824 1073778376 140733704385120 139908072439112 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28370] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28370/stat : 28370 (java) S 28349 28351 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254029789 9855975424 489537 33554432000 1073741824 1073778376 140733704385120 139908071383848 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1733.57
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/213 28501
/proc/meminfo: memFree=27708252/32873844 swapFree=7116/7116
[pid=28351] ppid=28349 vsize=9624976 CPUtime=1793.83 cores=1,3,5,7
/proc/28351/stat : 28351 (java) S 28349 28351 27542 0 -1 4202496 43381 0 1 0 179206 177 0 0 20 0 19 0 254029665 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 140733704376256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28351/statm: 2406244 494906 2276 9 0 2396937 0
[pid=28351/tid=28353] ppid=28349 vsize=9624976 CPUtime=1743.41 cores=1,3,5,7
/proc/28351/task/28353/stat : 28353 (java) R 28349 28351 27542 0 -1 4202560 3204 0 1 0 174297 44 0 0 20 0 19 0 254029666 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908726456624 139908577135670 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28354] ppid=28349 vsize=9624976 CPUtime=1.65 cores=1,3,5,7
/proc/28351/task/28354/stat : 28354 (java) S 28349 28351 27542 0 -1 4202560 2023 0 0 0 150 15 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908698908840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28355] ppid=28349 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/28351/task/28355/stat : 28355 (java) S 28349 28351 27542 0 -1 4202560 2971 0 0 0 148 19 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908697856296 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28356] ppid=28349 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/28351/task/28356/stat : 28356 (java) S 28349 28351 27542 0 -1 4202560 2327 0 0 0 151 16 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908696803752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28357] ppid=28349 vsize=9624976 CPUtime=1.5 cores=1,3,5,7
/proc/28351/task/28357/stat : 28357 (java) S 28349 28351 27542 0 -1 4202560 2528 0 0 0 137 13 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908695751208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28358] ppid=28349 vsize=9624976 CPUtime=1.51 cores=1,3,5,7
/proc/28351/task/28358/stat : 28358 (java) S 28349 28351 27542 0 -1 4202560 2469 0 0 0 139 12 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908565478056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28359] ppid=28349 vsize=9624976 CPUtime=1.63 cores=1,3,5,7
/proc/28351/task/28359/stat : 28359 (java) S 28349 28351 27542 0 -1 4202560 4180 0 0 0 149 14 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908564425512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28360] ppid=28349 vsize=9624976 CPUtime=1.56 cores=1,3,5,7
/proc/28351/task/28360/stat : 28360 (java) S 28349 28351 27542 0 -1 4202560 2630 0 0 0 142 14 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908563372968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28361] ppid=28349 vsize=9624976 CPUtime=1.51 cores=1,3,5,7
/proc/28351/task/28361/stat : 28361 (java) S 28349 28351 27542 0 -1 4202560 3231 0 0 0 137 14 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908562320424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28362] ppid=28349 vsize=9624976 CPUtime=30.49 cores=1,3,5,7
/proc/28351/task/28362/stat : 28362 (java) S 28349 28351 27542 0 -1 4202560 1430 0 0 0 3044 5 0 0 20 0 19 0 254029668 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908079806568 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28363] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28363/stat : 28363 (java) S 28349 28351 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254029669 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908078752888 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28364] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28364/stat : 28364 (java) S 28349 28351 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254029669 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908077700232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28365] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28365/stat : 28365 (java) S 28349 28351 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029672 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908076648976 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28366] ppid=28349 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/28351/task/28366/stat : 28366 (java) S 28349 28351 27542 0 -1 4202560 2539 0 0 0 66 0 0 0 20 0 19 0 254029672 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908075596344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28367] ppid=28349 vsize=9624976 CPUtime=1.44 cores=1,3,5,7
/proc/28351/task/28367/stat : 28367 (java) S 28349 28351 27542 0 -1 4202560 12561 0 0 0 140 4 0 0 20 0 19 0 254029672 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908074543800 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28368] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28368/stat : 28368 (java) S 28349 28351 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029672 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908073491448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28369] ppid=28349 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/28351/task/28369/stat : 28369 (java) S 28349 28351 27542 0 -1 4202560 103 0 0 0 31 28 0 0 20 0 19 0 254029672 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908072439112 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28370] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28370/stat : 28370 (java) S 28349 28351 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254029789 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908071383848 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1793.83
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1788.5 s]
/proc/loadavg: 2.02 2.04 2.01 3/213 28501
/proc/meminfo: memFree=27708252/32873844 swapFree=7116/7116
[pid=28351] ppid=28349 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7
/proc/28351/stat : 28351 (java) S 28349 28351 27542 0 -1 4202496 43381 0 1 0 179827 177 0 0 20 0 19 0 254029665 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 140733704376256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28351/statm: 2406244 494906 2276 9 0 2396937 0
[pid=28351/tid=28353] ppid=28349 vsize=9624976 CPUtime=1749.61 cores=1,3,5,7
/proc/28351/task/28353/stat : 28353 (java) R 28349 28351 27542 0 -1 4202560 3204 0 1 0 174917 44 0 0 20 0 19 0 254029666 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908726456624 139908577237314 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28354] ppid=28349 vsize=9624976 CPUtime=1.65 cores=1,3,5,7
/proc/28351/task/28354/stat : 28354 (java) S 28349 28351 27542 0 -1 4202560 2023 0 0 0 150 15 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908698908840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28355] ppid=28349 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/28351/task/28355/stat : 28355 (java) S 28349 28351 27542 0 -1 4202560 2971 0 0 0 148 19 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908697856296 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28356] ppid=28349 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/28351/task/28356/stat : 28356 (java) S 28349 28351 27542 0 -1 4202560 2327 0 0 0 151 16 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908696803752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28357] ppid=28349 vsize=9624976 CPUtime=1.5 cores=1,3,5,7
/proc/28351/task/28357/stat : 28357 (java) S 28349 28351 27542 0 -1 4202560 2528 0 0 0 137 13 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908695751208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28358] ppid=28349 vsize=9624976 CPUtime=1.51 cores=1,3,5,7
/proc/28351/task/28358/stat : 28358 (java) S 28349 28351 27542 0 -1 4202560 2469 0 0 0 139 12 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908565478056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28359] ppid=28349 vsize=9624976 CPUtime=1.63 cores=1,3,5,7
/proc/28351/task/28359/stat : 28359 (java) S 28349 28351 27542 0 -1 4202560 4180 0 0 0 149 14 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908564425512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28360] ppid=28349 vsize=9624976 CPUtime=1.56 cores=1,3,5,7
/proc/28351/task/28360/stat : 28360 (java) S 28349 28351 27542 0 -1 4202560 2630 0 0 0 142 14 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908563372968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28361] ppid=28349 vsize=9624976 CPUtime=1.51 cores=1,3,5,7
/proc/28351/task/28361/stat : 28361 (java) S 28349 28351 27542 0 -1 4202560 3231 0 0 0 137 14 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908562320424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28362] ppid=28349 vsize=9624976 CPUtime=30.49 cores=1,3,5,7
/proc/28351/task/28362/stat : 28362 (java) S 28349 28351 27542 0 -1 4202560 1430 0 0 0 3044 5 0 0 20 0 19 0 254029668 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908079806568 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28363] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28363/stat : 28363 (java) S 28349 28351 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254029669 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908078752888 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28364] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28364/stat : 28364 (java) S 28349 28351 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254029669 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908077700232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28365] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28365/stat : 28365 (java) S 28349 28351 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029672 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908076648976 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28366] ppid=28349 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/28351/task/28366/stat : 28366 (java) S 28349 28351 27542 0 -1 4202560 2539 0 0 0 66 0 0 0 20 0 19 0 254029672 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908075596344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28367] ppid=28349 vsize=9624976 CPUtime=1.44 cores=1,3,5,7
/proc/28351/task/28367/stat : 28367 (java) S 28349 28351 27542 0 -1 4202560 12561 0 0 0 140 4 0 0 20 0 19 0 254029672 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908074543800 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28368] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28368/stat : 28368 (java) S 28349 28351 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029672 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908073491448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28369] ppid=28349 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/28351/task/28369/stat : 28369 (java) S 28349 28351 27542 0 -1 4202560 103 0 0 0 31 28 0 0 20 0 19 0 254029672 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908072439112 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28370] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28370/stat : 28370 (java) S 28349 28351 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254029789 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908071383848 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1788.5 s]
/proc/loadavg: 2.02 2.04 2.01 3/213 28501
/proc/meminfo: memFree=27708252/32873844 swapFree=7116/7116
[pid=28351] ppid=28349 vsize=9624976 CPUtime=1800.04 cores=1,3,5,7
/proc/28351/stat : 28351 (java) S 28349 28351 27542 0 -1 4202496 43381 0 1 0 179827 177 0 0 20 0 19 0 254029665 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 140733704376256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28351/statm: 2406244 494906 2276 9 0 2396937 0
[pid=28351/tid=28353] ppid=28349 vsize=9624976 CPUtime=1749.61 cores=1,3,5,7
/proc/28351/task/28353/stat : 28353 (java) R 28349 28351 27542 0 -1 4202560 3204 0 1 0 174917 44 0 0 20 0 19 0 254029666 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908726456624 139908577237314 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28354] ppid=28349 vsize=9624976 CPUtime=1.65 cores=1,3,5,7
/proc/28351/task/28354/stat : 28354 (java) S 28349 28351 27542 0 -1 4202560 2023 0 0 0 150 15 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908698908840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28355] ppid=28349 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/28351/task/28355/stat : 28355 (java) S 28349 28351 27542 0 -1 4202560 2971 0 0 0 148 19 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908697856296 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28356] ppid=28349 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/28351/task/28356/stat : 28356 (java) S 28349 28351 27542 0 -1 4202560 2327 0 0 0 151 16 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908696803752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28357] ppid=28349 vsize=9624976 CPUtime=1.5 cores=1,3,5,7
/proc/28351/task/28357/stat : 28357 (java) S 28349 28351 27542 0 -1 4202560 2528 0 0 0 137 13 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908695751208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28358] ppid=28349 vsize=9624976 CPUtime=1.51 cores=1,3,5,7
/proc/28351/task/28358/stat : 28358 (java) S 28349 28351 27542 0 -1 4202560 2469 0 0 0 139 12 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908565478056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28359] ppid=28349 vsize=9624976 CPUtime=1.63 cores=1,3,5,7
/proc/28351/task/28359/stat : 28359 (java) S 28349 28351 27542 0 -1 4202560 4180 0 0 0 149 14 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908564425512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28360] ppid=28349 vsize=9624976 CPUtime=1.56 cores=1,3,5,7
/proc/28351/task/28360/stat : 28360 (java) S 28349 28351 27542 0 -1 4202560 2630 0 0 0 142 14 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908563372968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28361] ppid=28349 vsize=9624976 CPUtime=1.51 cores=1,3,5,7
/proc/28351/task/28361/stat : 28361 (java) S 28349 28351 27542 0 -1 4202560 3231 0 0 0 137 14 0 0 20 0 19 0 254029667 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908562320424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28362] ppid=28349 vsize=9624976 CPUtime=30.49 cores=1,3,5,7
/proc/28351/task/28362/stat : 28362 (java) S 28349 28351 27542 0 -1 4202560 1430 0 0 0 3044 5 0 0 20 0 19 0 254029668 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908079806568 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28363] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28363/stat : 28363 (java) S 28349 28351 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254029669 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908078752888 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28364] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28364/stat : 28364 (java) S 28349 28351 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254029669 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908077700232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28365] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28365/stat : 28365 (java) S 28349 28351 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029672 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908076648976 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28366] ppid=28349 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/28351/task/28366/stat : 28366 (java) S 28349 28351 27542 0 -1 4202560 2539 0 0 0 66 0 0 0 20 0 19 0 254029672 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908075596344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28367] ppid=28349 vsize=9624976 CPUtime=1.44 cores=1,3,5,7
/proc/28351/task/28367/stat : 28367 (java) S 28349 28351 27542 0 -1 4202560 12561 0 0 0 140 4 0 0 20 0 19 0 254029672 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908074543800 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28368] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28368/stat : 28368 (java) S 28349 28351 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029672 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908073491448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28369] ppid=28349 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/28351/task/28369/stat : 28369 (java) S 28349 28351 27542 0 -1 4202560 103 0 0 0 31 28 0 0 20 0 19 0 254029672 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908072439112 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28370] ppid=28349 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28370/stat : 28370 (java) S 28349 28351 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254029789 9855975424 494906 33554432000 1073741824 1073778376 140733704385120 139908071383848 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624976

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28351 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=719313
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=133675
# CPU time returned by wait4() is 1795.85
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1788.57
CPU time (s): 1800.04
CPU user time (s): 1798.27
CPU system time (s): 1.77
CPU usage (%): 100.641
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.72
system time used= 2.13368
maximum resident set size= 1980408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43421
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42259
involuntary context switches= 30614

runsolver used 6.52101 second user time and 15.0827 second system time

The end

Launcher Data 

Begin job on node146 at 2012-05-24 19:04:07
IDJOB=3687969
IDBENCH=2504
IDSOLVER=2269
FILE ID=node146/3687969-1337879047
RUNJOBID= node146-1337871880-27559
PBS_JOBID= 14620058
Free space on /tmp= 71712 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687969-1337879047/watcher-3687969-1337879047 -o /tmp/evaluation-result-3687969-1337879047/solver-3687969-1337879047 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687969-1337879047.opb

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

MD5SUM BENCH= daeaeaee67028e931b0f5195f178e9b3
RANDOM SEED=2101193667

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29004688 kB
Buffers:          210000 kB
Cached:          2003424 kB
SwapCached:         2348 kB
Active:          1228340 kB
Inactive:        1873856 kB
Active(anon):     888016 kB
Inactive(anon):     3064 kB
Active(file):     340324 kB
Inactive(file):  1870792 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100340 kB
Dirty:              5160 kB
Writeback:             0 kB
AnonPages:        897820 kB
Mapped:            16204 kB
Shmem:                 0 kB
Slab:             622092 kB
SReclaimable:      63660 kB
SUnreclaim:       558432 kB
KernelStack:        1600 kB
PageTables:         5980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1622452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    849920 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= 71708 MiB
End job on node146 at 2012-05-24 19:33:58