Trace number 3689791

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.06 1795.75

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_20null0mast_rapportOE1.0_TMAX60_K67_cod2.opb
MD5SUMdc1f1c1369db62ce46fa63aa9c3db18d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-472
Best CPU time to get the best result obtained on this benchmark1797.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 389
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 1526
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 12538
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.08/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.08/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.10	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.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
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 lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c No 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=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3689791-1337893411.opb
0.08/0.13	c reading problem ... 
1.47/0.81	c ... done. Wall clock time 0.686s.
1.47/0.81	c declared #vars     40937
1.47/0.81	c #constraints  41435
1.47/0.81	c constraints type 
1.47/0.81	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 36984
1.47/0.81	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1
1.47/0.81	c org.sat4j.minisat.constraints.card.MinWatchCard => 552
1.47/0.81	c ignored satisfied constraints => 1
1.47/0.81	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3896
1.47/0.81	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
1.47/0.81	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1.47/0.81	c 41436 constraints processed.
1.47/0.81	c objective function length is 389 literals
7.30/6.25	c cleaning 2485 clauses out of 5007 with flag 5008/5008
12.25/11.09	c cleaning 4237 clauses out of 8514 with flag 11000/11000
16.99/15.78	c cleaning 5637 clauses out of 11273 with flag 18000/18000
23.13/21.83	c cleaning 6819 clauses out of 13637 with flag 26001/26001
30.37/29.05	c cleaning 7900 clauses out of 15818 with flag 35001/35001
36.59/35.23	c cleaning 8940 clauses out of 17918 with flag 45002/45002
41.60/40.24	c cleaning 9960 clauses out of 19977 with flag 56002/56002
46.70/45.37	c cleaning 11007 clauses out of 22015 with flag 68001/68001
51.40/50.08	c cleaning 12004 clauses out of 24007 with flag 81000/81000
56.81/55.43	c cleaning 13001 clauses out of 26004 with flag 95001/95001
62.42/61.10	c cleaning 13992 clauses out of 28003 with flag 110001/110001
69.34/67.94	c cleaning 15005 clauses out of 30010 with flag 126000/126000
76.36/74.92	c cleaning 15990 clauses out of 32005 with flag 143000/143000
82.89/81.47	c cleaning 17004 clauses out of 34015 with flag 161000/161000
90.22/88.72	c cleaning 18006 clauses out of 36012 with flag 180001/180001
98.53/97.07	c cleaning 18993 clauses out of 38005 with flag 200000/200000
107.84/106.33	c cleaning 20003 clauses out of 40013 with flag 221001/221001
117.35/115.86	c cleaning 21002 clauses out of 42010 with flag 243001/243001
128.26/126.70	c cleaning 21998 clauses out of 44007 with flag 266000/266000
138.47/136.94	c cleaning 22993 clauses out of 46009 with flag 290000/290000
148.71/147.12	c cleaning 24006 clauses out of 48016 with flag 315000/315000
158.62/157.08	c cleaning 24986 clauses out of 50010 with flag 341000/341000
168.67/167.03	c cleaning 26004 clauses out of 52025 with flag 368001/368001
178.70/177.08	c cleaning 27008 clauses out of 54020 with flag 396000/396000
188.83/187.19	c cleaning 28002 clauses out of 56013 with flag 425001/425001
200.55/198.81	c cleaning 29001 clauses out of 58010 with flag 455000/455000
211.16/209.49	c cleaning 30004 clauses out of 60009 with flag 486000/486000
222.37/220.64	c cleaning 30998 clauses out of 62007 with flag 518002/518002
234.07/232.29	c cleaning 32003 clauses out of 64007 with flag 551000/551000
246.18/244.30	c cleaning 33000 clauses out of 66004 with flag 585000/585000
259.81/257.95	c cleaning 34002 clauses out of 68004 with flag 620000/620000
274.94/273.07	c cleaning 34993 clauses out of 70002 with flag 656000/656000
290.28/288.31	c cleaning 35995 clauses out of 72009 with flag 693000/693000
306.40/304.43	c cleaning 37002 clauses out of 74014 with flag 731000/731000
321.81/319.84	c cleaning 37999 clauses out of 76014 with flag 770002/770002
337.35/335.36	c cleaning 38999 clauses out of 78013 with flag 810000/810000
353.68/351.62	c cleaning 40002 clauses out of 80015 with flag 851001/851001
370.19/368.13	c cleaning 41005 clauses out of 82012 with flag 893000/893000
388.93/386.81	c cleaning 42001 clauses out of 84007 with flag 936000/936000
410.16/408.06	c cleaning 42987 clauses out of 86006 with flag 980000/980000
429.69/427.58	c cleaning 43998 clauses out of 88021 with flag 1025002/1025002
447.91/445.70	c cleaning 45008 clauses out of 90022 with flag 1071001/1071001
466.03/463.81	c cleaning 46003 clauses out of 92013 with flag 1118000/1118000
483.06/480.87	c cleaning 46995 clauses out of 94010 with flag 1166000/1166000
499.52/497.26	c cleaning 48002 clauses out of 96015 with flag 1215000/1215000
517.35/515.02	c cleaning 49000 clauses out of 98013 with flag 1265000/1265000
536.98/534.63	c cleaning 50000 clauses out of 100014 with flag 1316001/1316001
556.56/554.19	c cleaning 50995 clauses out of 102014 with flag 1368001/1368001
576.40/573.93	c cleaning 51999 clauses out of 104019 with flag 1421001/1421001
599.13/596.60	c cleaning 53002 clauses out of 106021 with flag 1475002/1475002
623.35/620.80	c cleaning 53950 clauses out of 108017 with flag 1530000/1530000
647.39/644.85	c cleaning 55025 clauses out of 110067 with flag 1586000/1586000
673.12/670.57	c cleaning 56019 clauses out of 112043 with flag 1643001/1643001
699.46/696.89	c cleaning 57008 clauses out of 114024 with flag 1701001/1701001
728.03/725.31	c cleaning 58008 clauses out of 116015 with flag 1760000/1760000
758.49/755.73	c cleaning 59000 clauses out of 118010 with flag 1820003/1820003
787.24/784.48	c cleaning 60004 clauses out of 120008 with flag 1881001/1881001
817.47/814.68	c cleaning 60996 clauses out of 122004 with flag 1943001/1943001
846.12/843.22	c cleaning 61994 clauses out of 124007 with flag 2006000/2006000
874.85/871.95	c cleaning 63005 clauses out of 126013 with flag 2070000/2070000
900.89/897.97	c cleaning 64001 clauses out of 128011 with flag 2135003/2135003
922.70/919.75	c cleaning 64996 clauses out of 130007 with flag 2201000/2201000
945.06/942.03	c cleaning 66001 clauses out of 132012 with flag 2268001/2268001
969.08/966.09	c cleaning 67001 clauses out of 134010 with flag 2336000/2336000
998.61/995.58	c cleaning 68001 clauses out of 136009 with flag 2405000/2405000
1031.96/1028.85	c cleaning 68999 clauses out of 138008 with flag 2475000/2475000
1067.08/1063.95	c cleaning 69997 clauses out of 140010 with flag 2546001/2546001
1100.71/1097.59	c cleaning 70997 clauses out of 142012 with flag 2618000/2618000
1133.94/1130.77	c cleaning 72004 clauses out of 144019 with flag 2691004/2691004
1164.85/1161.66	c cleaning 73002 clauses out of 146012 with flag 2765001/2765001
1192.80/1189.55	c cleaning 74003 clauses out of 148011 with flag 2840002/2840002
1221.53/1218.22	c cleaning 74998 clauses out of 150006 with flag 2916000/2916000
1251.72/1248.40	c cleaning 76000 clauses out of 152008 with flag 2993000/2993000
1282.48/1279.06	c cleaning 77001 clauses out of 154009 with flag 3071001/3071001
1309.69/1306.27	c cleaning 78004 clauses out of 156008 with flag 3150001/3150001
1340.16/1336.66	c cleaning 79000 clauses out of 158003 with flag 3230000/3230000
1371.92/1368.37	c cleaning 79994 clauses out of 160004 with flag 3311001/3311001
1406.06/1402.43	c cleaning 80992 clauses out of 162011 with flag 3393002/3393002
1442.61/1438.91	c cleaning 82001 clauses out of 164017 with flag 3476000/3476000
1479.47/1475.73	c cleaning 82996 clauses out of 166016 with flag 3560000/3560000
1512.93/1509.11	c cleaning 83994 clauses out of 168020 with flag 3645000/3645000
1544.28/1540.41	c cleaning 84999 clauses out of 170027 with flag 3731001/3731001
1574.03/1570.13	c cleaning 86008 clauses out of 172027 with flag 3818000/3818000
1604.78/1600.85	c cleaning 87007 clauses out of 174020 with flag 3906001/3906001
1636.08/1632.06	c cleaning 87992 clauses out of 176012 with flag 3995000/3995000
1665.53/1661.42	c cleaning 89005 clauses out of 178020 with flag 4085000/4085000
1696.39/1692.29	c cleaning 89998 clauses out of 180015 with flag 4176000/4176000
1728.23/1724.10	c cleaning 90996 clauses out of 182017 with flag 4268000/4268000
1759.18/1754.91	c cleaning 92006 clauses out of 184022 with flag 4361001/4361001
1792.40/1788.16	c cleaning 93001 clauses out of 186015 with flag 4455000/4455000
1800.06/1795.71	c starts		: 253
1800.06/1795.71	c conflicts		: 4476616
1800.06/1795.71	c decisions		: 7826267
1800.06/1795.71	c propagations		: 4498000888
1800.06/1795.71	c inspects		: 6427712298
1800.06/1795.71	c shortcuts		: 0
1800.06/1795.71	c learnt literals	: 8
1800.06/1795.71	c learnt binary clauses	: 3841
1800.06/1795.71	c learnt ternary clauses	: 2129
1800.06/1795.71	c learnt constraints	: 4476608
1800.06/1795.71	c ignored constraints	: 0
1800.06/1795.71	c root simplifications	: 0
1800.06/1795.71	c removed literals (reason simplification)	: 0
1800.06/1795.71	c reason swapping (by a shorter reason)	: 0
1800.06/1795.71	c Calls to reduceDB	: 90
1800.06/1795.71	c number of reductions to clauses (during analyze)	: 0
1800.06/1795.71	c number of learned constraints concerned by reduction	: 0
1800.06/1795.71	c number of learning phase by resolution	: 0
1800.06/1795.71	c number of learning phase by cutting planes	: 0
1800.06/1795.71	c speed (assignments/second)	: 2506028.9708681176
1800.06/1795.71	c non guided choices	9
1800.06/1795.74	c learnt constraints type 
1800.06/1795.74	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3841
1800.06/1795.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 110869
1800.06/1795.74	c constraints type 
1800.06/1795.74	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 36984
1800.06/1795.74	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1
1800.06/1795.74	c org.sat4j.minisat.constraints.card.MinWatchCard => 552
1800.06/1795.74	c ignored satisfied constraints => 1
1800.06/1795.74	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3896
1800.06/1795.74	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
1800.06/1795.74	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.06/1795.74	c 41436 constraints processed.
1800.06/1795.74	s UNKNOWN
1800.06/1795.74	c Total wall clock time (in seconds): 1795.612

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-3689791-1337893411/watcher-3689791-1337893411 -o /tmp/evaluation-result-3689791-1337893411/solver-3689791-1337893411 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689791-1337893411.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: 1.95 2.03 2.00 3/194 30456
/proc/meminfo: memFree=28352908/32873844 swapFree=7616/7616
[pid=30456] ppid=30454 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/30456/stat : 30456 (java) D 30454 30456 23801 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 255466717 9515008 182 33554432000 1073741824 1073778376 140736599928224 140736599919256 214369648309 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/30456/statm: 2323 182 140 9 0 71 0

[startup+0.0938849 s]
/proc/loadavg: 1.95 2.03 2.00 3/194 30456
/proc/meminfo: memFree=28352908/32873844 swapFree=7616/7616
[pid=30456] ppid=30454 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/30456/stat : 30456 (java) S 30454 30456 23801 0 -1 4202496 3414 0 1 0 6 1 0 0 20 0 18 0 255466717 9787813888 4112 33554432000 1073741824 1073778376 140734246378624 140734246369760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30456/statm: 2389603 4112 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.100253 s]
/proc/loadavg: 1.95 2.03 2.00 3/194 30456
/proc/meminfo: memFree=28352908/32873844 swapFree=7616/7616
[pid=30456] ppid=30454 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/30456/stat : 30456 (java) S 30454 30456 23801 0 -1 4202496 3838 0 1 0 7 1 0 0 20 0 18 0 255466717 9787813888 4535 33554432000 1073741824 1073778376 140734246378624 140734246369760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30456/statm: 2389603 4541 1997 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300228 s]
/proc/loadavg: 1.95 2.03 2.00 3/194 30456
/proc/meminfo: memFree=28352908/32873844 swapFree=7616/7616
[pid=30456] ppid=30454 vsize=9558412 CPUtime=0.47 cores=0,2,4,6
/proc/30456/stat : 30456 (java) S 30454 30456 23801 0 -1 4202496 5857 0 1 0 46 1 0 0 20 0 18 0 255466717 9787813888 7890 33554432000 1073741824 1073778376 140734246378624 140734246369760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30456/statm: 2389603 7890 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412

[startup+0.70024 s]
/proc/loadavg: 1.95 2.03 2.00 3/194 30456
/proc/meminfo: memFree=28352908/32873844 swapFree=7616/7616
[pid=30456] ppid=30454 vsize=9558412 CPUtime=1.29 cores=0,2,4,6
/proc/30456/stat : 30456 (java) S 30454 30456 23801 0 -1 4202496 10715 0 1 0 124 5 0 0 20 0 18 0 255466717 9787813888 43111 33554432000 1073741824 1073778376 140734246378624 140734246369760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30456/statm: 2389603 43111 2247 9 0 2380296 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 9558412

[startup+1.5007 s]
/proc/loadavg: 1.95 2.03 2.00 4/213 30475
/proc/meminfo: memFree=28174352/32873844 swapFree=7616/7616
[pid=30456] ppid=30454 vsize=9624976 CPUtime=2.55 cores=0,2,4,6
/proc/30456/stat : 30456 (java) S 30454 30456 23801 0 -1 4202496 11389 0 1 0 248 7 0 0 20 0 19 0 255466717 9855975424 46806 33554432000 1073741824 1073778376 140734246378624 140734246369760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30456/statm: 2406244 46806 2263 9 0 2396937 0
[pid=30456/tid=30458] ppid=30454 vsize=9624976 CPUtime=1.42 cores=0,2,4,6
/proc/30456/task/30458/stat : 30458 (java) R 30454 30456 23801 0 -1 4202560 2572 0 1 0 139 3 0 0 20 0 19 0 255466718 9855975424 46806 33554432000 1073741824 1073778376 140734246378624 140286577664408 140286517425710 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30456/tid=30459] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30459/stat : 30459 (java) S 30454 30456 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255466719 9855975424 46806 33554432000 1073741824 1073778376 140734246378624 140286421318696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30460] ppid=30454 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/30456/task/30460/stat : 30460 (java) S 30454 30456 23801 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 255466719 9855975424 46806 33554432000 1073741824 1073778376 140734246378624 140286420265896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30461] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30461/stat : 30461 (java) S 30454 30456 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255466719 9855975424 46806 33554432000 1073741824 1073778376 140734246378624 140286419213096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30456/tid=30462] ppid=30454 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/30456/task/30462/stat : 30462 (java) S 30454 30456 23801 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 255466719 9855975424 46806 33554432000 1073741824 1073778376 140734246378624 140286418160296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30463] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30463/stat : 30463 (java) S 30454 30456 23801 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255466719 9855975424 46806 33554432000 1073741824 1073778376 140734246378624 140286417107496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30464] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30464/stat : 30464 (java) S 30454 30456 23801 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255466719 9855975424 46806 33554432000 1073741824 1073778376 140734246378624 140286416054696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30456/tid=30465] ppid=30454 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/30456/task/30465/stat : 30465 (java) S 30454 30456 23801 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 255466719 9855975424 46806 33554432000 1073741824 1073778376 140734246378624 140286415001896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30466] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30466/stat : 30466 (java) S 30454 30456 23801 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255466719 9855975424 46806 33554432000 1073741824 1073778376 140734246378624 140286413949096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30467] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30467/stat : 30467 (java) S 30454 30456 23801 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 255466720 9855975424 46806 33554432000 1073741824 1073778376 140734246378624 140286401752040 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30468] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30468/stat : 30468 (java) S 30454 30456 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255466721 9855975424 46806 33554432000 1073741824 1073778376 140734246378624 140286400698104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30469] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30469/stat : 30469 (java) S 30454 30456 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255466721 9855975424 46806 33554432000 1073741824 1073778376 140734246378624 140286399645192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30470] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30470/stat : 30470 (java) S 30454 30456 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255466724 9855975424 46806 33554432000 1073741824 1073778376 140734246378624 140286398593680 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30471] ppid=30454 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/30456/task/30471/stat : 30471 (java) S 30454 30456 23801 0 -1 4202560 3305 0 0 0 48 0 0 0 20 0 19 0 255466724 9855975424 46806 33554432000 1073741824 1073778376 140734246378624 140286397540792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30472] ppid=30454 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/30456/task/30472/stat : 30472 (java) S 30454 30456 23801 0 -1 4202560 4183 0 0 0 46 0 0 0 20 0 19 0 255466724 9855975424 46806 33554432000 1073741824 1073778376 140734246378624 140286396487992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30473] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30473/stat : 30473 (java) S 30454 30456 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255466724 9855975424 46806 33554432000 1073741824 1073778376 140734246378624 140286395435384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30474] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30474/stat : 30474 (java) S 30454 30456 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255466724 9855975424 46806 33554432000 1073741824 1073778376 140734246378624 140286394382792 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30475] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30475/stat : 30475 (java) S 30454 30456 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255466801 9855975424 46806 33554432000 1073741824 1073778376 140734246378624 140286393329320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 9624976

[startup+3.10073 s]
/proc/loadavg: 1.95 2.03 2.00 3/213 30475
/proc/meminfo: memFree=28173600/32873844 swapFree=7616/7616
[pid=30456] ppid=30454 vsize=9624976 CPUtime=4.2 cores=0,2,4,6
/proc/30456/stat : 30456 (java) S 30454 30456 23801 0 -1 4202496 11693 0 1 0 413 7 0 0 20 0 19 0 255466717 9855975424 46819 33554432000 1073741824 1073778376 140734246378624 140734246369760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30456/statm: 2406244 46819 2266 9 0 2396937 0
[pid=30456/tid=30458] ppid=30454 vsize=9624976 CPUtime=3.01 cores=0,2,4,6
/proc/30456/task/30458/stat : 30458 (java) R 30454 30456 23801 0 -1 4202560 2574 0 1 0 298 3 0 0 20 0 19 0 255466718 9855975424 46819 33554432000 1073741824 1073778376 140734246378624 140286577672376 140286518182289 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30459] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30459/stat : 30459 (java) S 30454 30456 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255466719 9855975424 46819 33554432000 1073741824 1073778376 140734246378624 140286421318696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30460] ppid=30454 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/30456/task/30460/stat : 30460 (java) S 30454 30456 23801 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 255466719 9855975424 46819 33554432000 1073741824 1073778376 140734246378624 140286420265896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30461] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30461/stat : 30461 (java) S 30454 30456 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255466719 9855975424 46819 33554432000 1073741824 1073778376 140734246378624 140286419213096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30456/tid=30462] ppid=30454 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/30456/task/30462/stat : 30462 (java) S 30454 30456 23801 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 255466719 9855975424 46819 33554432000 1073741824 1073778376 140734246378624 140286418160296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30463] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30463/stat : 30463 (java) S 30454 30456 23801 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255466719 9855975424 46819 33554432000 1073741824 1073778376 140734246378624 140286417107496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30464] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30464/stat : 30464 (java) S 30454 30456 23801 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255466719 9855975424 46819 33554432000 1073741824 1073778376 140734246378624 140286416054696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30456/tid=30465] ppid=30454 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/30456/task/30465/stat : 30465 (java) S 30454 30456 23801 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 255466719 9855975424 46819 33554432000 1073741824 1073778376 140734246378624 140286415001896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30466] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30466/stat : 30466 (java) S 30454 30456 23801 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255466719 9855975424 46819 33554432000 1073741824 1073778376 140734246378624 140286413949096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30467] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30467/stat : 30467 (java) S 30454 30456 23801 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 255466720 9855975424 46819 33554432000 1073741824 1073778376 140734246378624 140286401752040 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30468] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30468/stat : 30468 (java) S 30454 30456 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255466721 9855975424 46819 33554432000 1073741824 1073778376 140734246378624 140286400698104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30469] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30469/stat : 30469 (java) S 30454 30456 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255466721 9855975424 46819 33554432000 1073741824 1073778376 140734246378624 140286399645192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30470] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30470/stat : 30470 (java) S 30454 30456 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255466724 9855975424 46819 33554432000 1073741824 1073778376 140734246378624 140286398593680 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30471] ppid=30454 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/30456/task/30471/stat : 30471 (java) S 30454 30456 23801 0 -1 4202560 3606 0 0 0 53 0 0 0 20 0 19 0 255466724 9855975424 46819 33554432000 1073741824 1073778376 140734246378624 140286397540792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30472] ppid=30454 vsize=9624976 CPUtime=0.47 cores=0,2,4,6
/proc/30456/task/30472/stat : 30472 (java) S 30454 30456 23801 0 -1 4202560 4184 0 0 0 47 0 0 0 20 0 19 0 255466724 9855975424 46819 33554432000 1073741824 1073778376 140734246378624 140286396487992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30473] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30473/stat : 30473 (java) S 30454 30456 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255466724 9855975424 46819 33554432000 1073741824 1073778376 140734246378624 140286395435384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30474] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30474/stat : 30474 (java) S 30454 30456 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255466724 9855975424 46819 33554432000 1073741824 1073778376 140734246378624 140286394382792 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30475] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30475/stat : 30475 (java) S 30454 30456 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255466801 9855975424 46819 33554432000 1073741824 1073778376 140734246378624 140286393329320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 9624976

[startup+6.3007 s]
/proc/loadavg: 1.95 2.03 2.00 3/213 30475
/proc/meminfo: memFree=28173352/32873844 swapFree=7616/7616
[pid=30456] ppid=30454 vsize=9624976 CPUtime=7.51 cores=0,2,4,6
/proc/30456/stat : 30456 (java) S 30454 30456 23801 0 -1 4202496 11767 0 1 0 742 9 0 0 20 0 19 0 255466717 9855975424 51452 33554432000 1073741824 1073778376 140734246378624 140734246369760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30456/statm: 2406244 51452 2274 9 0 2396937 0
[pid=30456/tid=30458] ppid=30454 vsize=9624976 CPUtime=6.15 cores=0,2,4,6
/proc/30456/task/30458/stat : 30458 (java) S 30454 30456 23801 0 -1 4202560 2576 0 1 0 612 3 0 0 20 0 19 0 255466718 9855975424 51452 33554432000 1073741824 1073778376 140734246378624 140286577672600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30456/tid=30459] ppid=30454 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/30456/task/30459/stat : 30459 (java) S 30454 30456 23801 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 255466719 9855975424 51452 33554432000 1073741824 1073778376 140734246378624 140286421318696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30460] ppid=30454 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/30456/task/30460/stat : 30460 (java) S 30454 30456 23801 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 255466719 9855975424 51452 33554432000 1073741824 1073778376 140734246378624 140286420265896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30461] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30461/stat : 30461 (java) S 30454 30456 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255466719 9855975424 51452 33554432000 1073741824 1073778376 140734246378624 140286419213096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30456/tid=30462] ppid=30454 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/30456/task/30462/stat : 30462 (java) S 30454 30456 23801 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 255466719 9855975424 51452 33554432000 1073741824 1073778376 140734246378624 140286418160296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30463] ppid=30454 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/30456/task/30463/stat : 30463 (java) S 30454 30456 23801 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 255466719 9855975424 51452 33554432000 1073741824 1073778376 140734246378624 140286417107496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30464] ppid=30454 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/30456/task/30464/stat : 30464 (java) S 30454 30456 23801 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 255466719 9855975424 51452 33554432000 1073741824 1073778376 140734246378624 140286416054696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30465] ppid=30454 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/30456/task/30465/stat : 30465 (java) S 30454 30456 23801 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 255466719 9855975424 51452 33554432000 1073741824 1073778376 140734246378624 140286415001896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30456/tid=30466] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30466/stat : 30466 (java) S 30454 30456 23801 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 255466719 9855975424 51452 33554432000 1073741824 1073778376 140734246378624 140286413949096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30456/tid=30467] ppid=30454 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/30456/task/30467/stat : 30467 (java) R 30454 30456 23801 0 -1 4202560 87 0 0 0 1 0 0 0 20 0 19 0 255466720 9855975424 51452 33554432000 1073741824 1073778376 140734246378624 140286401751016 140286584526916 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30456/tid=30468] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30468/stat : 30468 (java) S 30454 30456 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255466721 9855975424 51452 33554432000 1073741824 1073778376 140734246378624 140286400698104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30469] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30469/stat : 30469 (java) S 30454 30456 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255466721 9855975424 51452 33554432000 1073741824 1073778376 140734246378624 140286399645192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30470] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30470/stat : 30470 (java) S 30454 30456 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255466724 9855975424 51452 33554432000 1073741824 1073778376 140734246378624 140286398593680 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30471] ppid=30454 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/30456/task/30471/stat : 30471 (java) S 30454 30456 23801 0 -1 4202560 3623 0 0 0 57 0 0 0 20 0 19 0 255466724 9855975424 51452 33554432000 1073741824 1073778376 140734246378624 140286397526888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30456/tid=30472] ppid=30454 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/30456/task/30472/stat : 30472 (java) S 30454 30456 23801 0 -1 4202560 4186 0 0 0 48 0 0 0 20 0 19 0 255466724 9855975424 51452 33554432000 1073741824 1073778376 140734246378624 140286396487992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30473] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30473/stat : 30473 (java) S 30454 30456 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255466724 9855975424 51452 33554432000 1073741824 1073778376 140734246378624 140286395435384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30474] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30474/stat : 30474 (java) S 30454 30456 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255466724 9855975424 51452 33554432000 1073741824 1073778376 140734246378624 140286394382792 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30475] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30475/stat : 30475 (java) S 30454 30456 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255466801 9855975424 51452 33554432000 1073741824 1073778376 140734246378624 140286393329320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.51
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=30456/tid=30471] ppid=30454 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/30456/task/30471/stat : 30471 (java) S 30454 30456 23801 0 -1 4202560 3676 0 0 0 67 0 0 0 20 0 19 0 255466724 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286397540792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30472] ppid=30454 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/30456/task/30472/stat : 30472 (java) S 30454 30456 23801 0 -1 4202560 4187 0 0 0 52 0 0 0 20 0 19 0 255466724 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286396487992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30473] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30473/stat : 30473 (java) S 30454 30456 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255466724 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286395435384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30474] ppid=30454 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/30456/task/30474/stat : 30474 (java) S 30454 30456 23801 0 -1 4202560 99 0 0 0 22 18 0 0 20 0 19 0 255466724 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286394382792 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30456/tid=30475] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30475/stat : 30475 (java) S 30454 30456 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255466801 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286393329320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1726.53
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 30549
/proc/meminfo: memFree=26875880/32873844 swapFree=7616/7616
[pid=30456] ppid=30454 vsize=9624976 CPUtime=1786.59 cores=0,2,4,6
/proc/30456/stat : 30456 (java) S 30454 30456 23801 0 -1 4202496 13043 0 1 0 178613 46 0 0 20 0 19 0 255466717 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140734246369760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30456/statm: 2406244 101022 2282 9 0 2396937 0
[pid=30456/tid=30458] ppid=30454 vsize=9624976 CPUtime=1769.48 cores=0,2,4,6
/proc/30456/task/30458/stat : 30458 (java) R 30454 30456 23801 0 -1 4202560 2665 0 1 0 176919 29 0 0 20 0 19 0 255466718 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286577672480 140286518181376 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30459] ppid=30454 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/30456/task/30459/stat : 30459 (java) S 30454 30456 23801 0 -1 4202560 210 0 0 0 55 3 0 0 20 0 19 0 255466719 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286421318696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30460] ppid=30454 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/30456/task/30460/stat : 30460 (java) S 30454 30456 23801 0 -1 4202560 68 0 0 0 44 2 0 0 20 0 19 0 255466719 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286420265896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30461] ppid=30454 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/30456/task/30461/stat : 30461 (java) S 30454 30456 23801 0 -1 4202560 139 0 0 0 45 3 0 0 20 0 19 0 255466719 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286419213096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30456/tid=30462] ppid=30454 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/30456/task/30462/stat : 30462 (java) S 30454 30456 23801 0 -1 4202560 152 0 0 0 47 3 0 0 20 0 19 0 255466719 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286418160296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30456/tid=30463] ppid=30454 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/30456/task/30463/stat : 30463 (java) S 30454 30456 23801 0 -1 4202560 77 0 0 0 63 4 0 0 20 0 19 0 255466719 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286417107496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30464] ppid=30454 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/30456/task/30464/stat : 30464 (java) S 30454 30456 23801 0 -1 4202560 72 0 0 0 49 3 0 0 20 0 19 0 255466719 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286416054696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30465] ppid=30454 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/30456/task/30465/stat : 30465 (java) S 30454 30456 23801 0 -1 4202560 65 0 0 0 47 3 0 0 20 0 19 0 255466719 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286415001896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30466] ppid=30454 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/30456/task/30466/stat : 30466 (java) S 30454 30456 23801 0 -1 4202560 214 0 0 0 41 3 0 0 20 0 19 0 255466719 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286413949096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30467] ppid=30454 vsize=9624976 CPUtime=6.82 cores=0,2,4,6
/proc/30456/task/30467/stat : 30467 (java) S 30454 30456 23801 0 -1 4202560 235 0 0 0 680 2 0 0 20 0 19 0 255466720 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286401752040 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30456/tid=30468] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30468/stat : 30468 (java) S 30454 30456 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255466721 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286400698104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30469] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30469/stat : 30469 (java) S 30454 30456 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255466721 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286399645192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30470] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30470/stat : 30470 (java) S 30454 30456 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255466724 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286398593680 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30471] ppid=30454 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/30456/task/30471/stat : 30471 (java) S 30454 30456 23801 0 -1 4202560 3676 0 0 0 67 0 0 0 20 0 19 0 255466724 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286397540792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30472] ppid=30454 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/30456/task/30472/stat : 30472 (java) S 30454 30456 23801 0 -1 4202560 4187 0 0 0 52 0 0 0 20 0 19 0 255466724 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286396487992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30473] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30473/stat : 30473 (java) S 30454 30456 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255466724 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286395435384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30474] ppid=30454 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/30456/task/30474/stat : 30474 (java) S 30454 30456 23801 0 -1 4202560 103 0 0 0 22 19 0 0 20 0 19 0 255466724 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286394382792 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30456/tid=30475] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30475/stat : 30475 (java) S 30454 30456 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255466801 9855975424 101022 33554432000 1073741824 1073778376 140734246378624 140286393329320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1786.59
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 30549
/proc/meminfo: memFree=26875880/32873844 swapFree=7616/7616
[pid=30456] ppid=30454 vsize=9624976 CPUtime=1800.06 cores=0,2,4,6
/proc/30456/stat : 30456 (java) S 30454 30456 23801 0 -1 4202496 13048 0 1 0 179959 47 0 0 20 0 19 0 255466717 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140734246369760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30456/statm: 2406244 101024 2282 9 0 2396937 0
[pid=30456/tid=30458] ppid=30454 vsize=9624976 CPUtime=1782.74 cores=0,2,4,6
/proc/30456/task/30458/stat : 30458 (java) R 30454 30456 23801 0 -1 4202560 2666 0 1 0 178244 30 0 0 20 0 19 0 255466718 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286577672480 140286518181069 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30459] ppid=30454 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/30456/task/30459/stat : 30459 (java) S 30454 30456 23801 0 -1 4202560 212 0 0 0 55 3 0 0 20 0 19 0 255466719 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286421318696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30460] ppid=30454 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/30456/task/30460/stat : 30460 (java) S 30454 30456 23801 0 -1 4202560 68 0 0 0 45 3 0 0 20 0 19 0 255466719 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286420265896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30461] ppid=30454 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/30456/task/30461/stat : 30461 (java) S 30454 30456 23801 0 -1 4202560 139 0 0 0 46 3 0 0 20 0 19 0 255466719 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286419213096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30456/tid=30462] ppid=30454 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/30456/task/30462/stat : 30462 (java) S 30454 30456 23801 0 -1 4202560 152 0 0 0 48 3 0 0 20 0 19 0 255466719 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286418160296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30456/tid=30463] ppid=30454 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/30456/task/30463/stat : 30463 (java) S 30454 30456 23801 0 -1 4202560 77 0 0 0 63 4 0 0 20 0 19 0 255466719 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286417107496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30464] ppid=30454 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/30456/task/30464/stat : 30464 (java) S 30454 30456 23801 0 -1 4202560 72 0 0 0 49 3 0 0 20 0 19 0 255466719 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286416054696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30465] ppid=30454 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/30456/task/30465/stat : 30465 (java) S 30454 30456 23801 0 -1 4202560 65 0 0 0 49 3 0 0 20 0 19 0 255466719 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286415001896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30456/tid=30466] ppid=30454 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/30456/task/30466/stat : 30466 (java) S 30454 30456 23801 0 -1 4202560 214 0 0 0 42 3 0 0 20 0 19 0 255466719 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286413949096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30467] ppid=30454 vsize=9624976 CPUtime=6.91 cores=0,2,4,6
/proc/30456/task/30467/stat : 30467 (java) S 30454 30456 23801 0 -1 4202560 237 0 0 0 689 2 0 0 20 0 19 0 255466720 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286401752040 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30456/tid=30468] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30468/stat : 30468 (java) S 30454 30456 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255466721 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286400698104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30469] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30469/stat : 30469 (java) S 30454 30456 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255466721 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286399645192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30470] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30470/stat : 30470 (java) S 30454 30456 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255466724 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286398593680 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30471] ppid=30454 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/30456/task/30471/stat : 30471 (java) S 30454 30456 23801 0 -1 4202560 3676 0 0 0 67 0 0 0 20 0 19 0 255466724 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286397540792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30472] ppid=30454 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/30456/task/30472/stat : 30472 (java) S 30454 30456 23801 0 -1 4202560 4187 0 0 0 52 0 0 0 20 0 19 0 255466724 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286396487992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30473] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30473/stat : 30473 (java) S 30454 30456 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255466724 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286395435384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30474] ppid=30454 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/30456/task/30474/stat : 30474 (java) S 30454 30456 23801 0 -1 4202560 103 0 0 0 22 19 0 0 20 0 19 0 255466724 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286394382792 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30456/tid=30475] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30475/stat : 30475 (java) S 30454 30456 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255466801 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286393329320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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+1795.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 30549
/proc/meminfo: memFree=26875880/32873844 swapFree=7616/7616
[pid=30456] ppid=30454 vsize=9624976 CPUtime=1800.06 cores=0,2,4,6
/proc/30456/stat : 30456 (java) S 30454 30456 23801 0 -1 4202496 13048 0 1 0 179959 47 0 0 20 0 19 0 255466717 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140734246369760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30456/statm: 2406244 101024 2282 9 0 2396937 0
[pid=30456/tid=30458] ppid=30454 vsize=9624976 CPUtime=1782.74 cores=0,2,4,6
/proc/30456/task/30458/stat : 30458 (java) R 30454 30456 23801 0 -1 4202560 2666 0 1 0 178244 30 0 0 20 0 19 0 255466718 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286577672480 140286518181069 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30459] ppid=30454 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/30456/task/30459/stat : 30459 (java) S 30454 30456 23801 0 -1 4202560 212 0 0 0 55 3 0 0 20 0 19 0 255466719 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286421318696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30460] ppid=30454 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/30456/task/30460/stat : 30460 (java) S 30454 30456 23801 0 -1 4202560 68 0 0 0 45 3 0 0 20 0 19 0 255466719 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286420265896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30461] ppid=30454 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/30456/task/30461/stat : 30461 (java) S 30454 30456 23801 0 -1 4202560 139 0 0 0 46 3 0 0 20 0 19 0 255466719 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286419213096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30456/tid=30462] ppid=30454 vsize=9624976 CPUtime=0.51 cores=0,2,4,6
/proc/30456/task/30462/stat : 30462 (java) S 30454 30456 23801 0 -1 4202560 152 0 0 0 48 3 0 0 20 0 19 0 255466719 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286418160296 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30456/tid=30463] ppid=30454 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/30456/task/30463/stat : 30463 (java) S 30454 30456 23801 0 -1 4202560 77 0 0 0 63 4 0 0 20 0 19 0 255466719 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286417107496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30464] ppid=30454 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/30456/task/30464/stat : 30464 (java) S 30454 30456 23801 0 -1 4202560 72 0 0 0 49 3 0 0 20 0 19 0 255466719 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286416054696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30465] ppid=30454 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/30456/task/30465/stat : 30465 (java) S 30454 30456 23801 0 -1 4202560 65 0 0 0 49 3 0 0 20 0 19 0 255466719 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286415001896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30456/tid=30466] ppid=30454 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/30456/task/30466/stat : 30466 (java) S 30454 30456 23801 0 -1 4202560 214 0 0 0 42 3 0 0 20 0 19 0 255466719 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286413949096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30467] ppid=30454 vsize=9624976 CPUtime=6.91 cores=0,2,4,6
/proc/30456/task/30467/stat : 30467 (java) S 30454 30456 23801 0 -1 4202560 237 0 0 0 689 2 0 0 20 0 19 0 255466720 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286401752040 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30456/tid=30468] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30468/stat : 30468 (java) S 30454 30456 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255466721 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286400698104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30469] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30469/stat : 30469 (java) S 30454 30456 23801 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255466721 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286399645192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30470] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30470/stat : 30470 (java) S 30454 30456 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255466724 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286398593680 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30471] ppid=30454 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/30456/task/30471/stat : 30471 (java) S 30454 30456 23801 0 -1 4202560 3676 0 0 0 67 0 0 0 20 0 19 0 255466724 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286397540792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30472] ppid=30454 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/30456/task/30472/stat : 30472 (java) S 30454 30456 23801 0 -1 4202560 4187 0 0 0 52 0 0 0 20 0 19 0 255466724 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286396487992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30456/tid=30473] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30473/stat : 30473 (java) S 30454 30456 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255466724 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286395435384 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30456/tid=30474] ppid=30454 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/30456/task/30474/stat : 30474 (java) S 30454 30456 23801 0 -1 4202560 103 0 0 0 22 19 0 0 20 0 19 0 255466724 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286394382792 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30456/tid=30475] ppid=30454 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/30456/task/30475/stat : 30475 (java) S 30454 30456 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255466801 9855975424 101024 33554432000 1073741824 1073778376 140734246378624 140286393329320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976

Child status: 143

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

Real time (s): 1795.75
CPU time (s): 1800.06
CPU user time (s): 1799.59
CPU system time (s): 0.47
CPU usage (%): 100.24
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.92
system time used= 0.904862
maximum resident set size= 404236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13084
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40568
involuntary context switches= 12308

runsolver used 5.68014 second user time and 14.0949 second system time

The end

Launcher Data

Begin job on node130 at 2012-05-24 23:03:31
IDJOB=3689791
IDBENCH=90698
IDSOLVER=2269
FILE ID=node130/3689791-1337893411
RUNJOBID= node130-1337889819-29613
PBS_JOBID= 14620074
Free space on /tmp= 71668 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null0mast_rapportOE1.0_TMAX60_K67_cod2.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689791-1337893411/watcher-3689791-1337893411 -o /tmp/evaluation-result-3689791-1337893411/solver-3689791-1337893411 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3689791-1337893411.opb

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

MD5SUM BENCH= dc1f1c1369db62ce46fa63aa9c3db18d
RANDOM SEED=451917056

node130.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.875
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.75
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.875
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.875
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		: 2666.875
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.86
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.875
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.875
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.92
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.875
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.875
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	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28353180 kB
Buffers:          215316 kB
Cached:          2183044 kB
SwapCached:            0 kB
Active:          1855992 kB
Inactive:        1894196 kB
Active(anon):    1354528 kB
Inactive(anon):        0 kB
Active(file):     501464 kB
Inactive(file):  1894196 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2476 kB
Writeback:             4 kB
AnonPages:       1359432 kB
Mapped:            22444 kB
Shmem:               200 kB
Slab:             629116 kB
SReclaimable:      71136 kB
SUnreclaim:       557980 kB
KernelStack:        1600 kB
PageTables:         6444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2455356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1308672 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= 71644 MiB
End job on node130 at 2012-05-24 23:33:29