Trace number 4084561

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 NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.07 1797.56

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-146.opb
MD5SUM132271a8a55b01af9ffef359148ae5e1
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48417
Total number of constraints1121431
Number of constraints which are clauses1007614
Number of constraints which are cardinality constraints (but not clauses)3525
Number of constraints which are nor clauses,nor cardinality constraints110292
Minimum length of a constraint2
Maximum length of a constraint690
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.10	c version PB16.v20160501
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@587bd9f2
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 Glucose 2.1 dynamic restart strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4084561-1465275611.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  no objective function found
8.02/6.58	c ... done. Wall clock time 6.459s.
8.02/6.58	c declared #vars     48417
8.02/6.58	c #constraints  1123206
8.02/6.58	c constraints type 
8.02/6.58	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 773802
8.02/6.58	c org.sat4j.minisat.constraints.card.MinWatchCard => 3527
8.02/6.58	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 235585
8.02/6.58	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 110292
8.02/6.58	c 1123206 constraints processed.
25.17/23.23	c cleaning 2461 clauses out of 5000 with flag 396649/5000
33.38/31.27	c cleaning 4242 clauses out of 8539 with flag 886466/11000
38.58/36.47	c cleaning 5638 clauses out of 11297 with flag 1196402/18000
44.98/42.84	c cleaning 6802 clauses out of 13659 with flag 1571909/26000
60.63/58.42	c cleaning 7887 clauses out of 15857 with flag 2217272/35000
76.83/74.69	c cleaning 8848 clauses out of 17970 with flag 2976499/45000
92.64/90.47	c cleaning 9869 clauses out of 20122 with flag 3491419/56000
115.54/113.32	c cleaning 11123 clauses out of 22254 with flag 4297611/68001
135.15/132.98	c cleaning 12055 clauses out of 24130 with flag 4917492/81000
152.65/150.45	c cleaning 13016 clauses out of 26076 with flag 5508164/95001
176.66/174.42	c cleaning 13950 clauses out of 28059 with flag 6493909/110000
200.76/198.54	c cleaning 15018 clauses out of 30110 with flag 7161176/126001
218.27/216.09	c cleaning 16016 clauses out of 32091 with flag 7905132/143000
233.77/231.59	c cleaning 15706 clauses out of 34076 with flag 8476986/161001
253.86/251.62	c cleaning 17086 clauses out of 37369 with flag 9018858/180000
266.50/264.23	c cleaning 18579 clauses out of 40272 with flag 9398675/200000
280.91/278.63	c cleaning 19914 clauses out of 42689 with flag 9766935/221000
297.10/294.86	c cleaning 20767 clauses out of 44775 with flag 10221058/243000
311.90/309.65	c cleaning 21722 clauses out of 47008 with flag 10722468/266000
332.81/330.54	c cleaning 22180 clauses out of 49288 with flag 11393858/290002
357.01/354.77	c cleaning 23155 clauses out of 52106 with flag 12179730/315000
388.33/386.05	c cleaning 23718 clauses out of 54951 with flag 13140021/341000
399.43/397.10	c cleaning 26147 clauses out of 58235 with flag 13548588/368002
421.13/418.81	c cleaning 25790 clauses out of 60086 with flag 14129275/396000
439.54/437.23	c cleaning 27649 clauses out of 63296 with flag 14476093/425000
458.64/456.36	c cleaning 28941 clauses out of 65647 with flag 14924894/455000
481.16/478.83	c cleaning 29686 clauses out of 67706 with flag 15407876/486000
494.05/491.73	c cleaning 30965 clauses out of 70020 with flag 15871266/518000
504.26/501.99	c cleaning 32222 clauses out of 72055 with flag 16185773/551000
516.95/514.69	c cleaning 32985 clauses out of 73835 with flag 16515110/585002
536.36/534.10	c cleaning 33316 clauses out of 75848 with flag 16972595/620000
554.96/552.63	c cleaning 34871 clauses out of 78532 with flag 17492016/656000
568.96/566.69	c cleaning 35720 clauses out of 80664 with flag 17914252/693003
581.66/579.37	c cleaning 37289 clauses out of 82942 with flag 18215807/731001
595.36/593.10	c cleaning 37659 clauses out of 84652 with flag 18532810/770000
613.37/611.08	c cleaning 38006 clauses out of 86994 with flag 19002641/810001
627.67/625.31	c cleaning 40291 clauses out of 89987 with flag 19373427/851000
641.27/638.94	c cleaning 40880 clauses out of 91696 with flag 19807172/893000
656.36/654.02	c cleaning 42158 clauses out of 93816 with flag 20218955/936000
669.76/667.49	c cleaning 43388 clauses out of 95661 with flag 20582292/980003
687.08/684.77	c cleaning 44019 clauses out of 97271 with flag 21013720/1025001
700.88/698.53	c cleaning 45179 clauses out of 99252 with flag 21377582/1071001
717.28/714.98	c cleaning 45908 clauses out of 101072 with flag 21784913/1118000
732.59/730.20	c cleaning 47393 clauses out of 103164 with flag 22134195/1166000
747.19/744.82	c cleaning 47982 clauses out of 104773 with flag 22543328/1215002
760.80/758.40	c cleaning 49304 clauses out of 106790 with flag 22969658/1265001
778.90/776.58	c cleaning 49996 clauses out of 108486 with flag 23368527/1316001
794.40/792.03	c cleaning 51274 clauses out of 110489 with flag 23798992/1368000
812.00/809.61	c cleaning 52306 clauses out of 112215 with flag 24223604/1421000
829.51/827.14	c cleaning 53354 clauses out of 113909 with flag 24691308/1475000
848.31/845.99	c cleaning 53963 clauses out of 115555 with flag 25112002/1530000
863.21/860.90	c cleaning 55391 clauses out of 117593 with flag 25553761/1586001
879.92/877.53	c cleaning 56205 clauses out of 119201 with flag 25970946/1643000
901.22/898.82	c cleaning 56775 clauses out of 120996 with flag 26488541/1701000
919.32/916.99	c cleaning 58282 clauses out of 123221 with flag 26939356/1760000
952.22/949.82	c cleaning 58023 clauses out of 124940 with flag 27745057/1820001
974.83/972.47	c cleaning 60088 clauses out of 127918 with flag 28261697/1881002
994.12/991.77	c cleaning 61240 clauses out of 129830 with flag 28769708/1943002
1016.73/1014.38	c cleaning 62404 clauses out of 131588 with flag 29190195/2006000
1041.52/1039.15	c cleaning 63054 clauses out of 133185 with flag 29705597/2070001
1062.65/1060.27	c cleaning 64270 clauses out of 135130 with flag 30298086/2135000
1083.97/1081.55	c cleaning 65181 clauses out of 136860 with flag 30776142/2201000
1102.66/1100.26	c cleaning 66436 clauses out of 138679 with flag 31328400/2268000
1130.06/1127.65	c cleaning 66935 clauses out of 140243 with flag 31942515/2336000
1152.36/1149.96	c cleaning 68315 clauses out of 142308 with flag 32486818/2405000
1192.46/1190.08	c cleaning 68720 clauses out of 143993 with flag 33255762/2475000
1217.86/1215.46	c cleaning 70084 clauses out of 146275 with flag 33806828/2546002
1241.97/1239.57	c cleaning 71145 clauses out of 148189 with flag 34373677/2618000
1273.77/1271.30	c cleaning 72144 clauses out of 150044 with flag 35119014/2691000
1324.09/1321.66	c cleaning 71595 clauses out of 151900 with flag 36290722/2765000
1377.28/1374.86	c cleaning 71378 clauses out of 155305 with flag 37514791/2840000
1413.29/1410.87	c cleaning 74408 clauses out of 159927 with flag 38174036/2916000
1452.89/1450.44	c cleaning 75541 clauses out of 162522 with flag 39316853/2993003
1489.60/1487.14	c cleaning 76665 clauses out of 164978 with flag 40398231/3071000
1521.81/1519.31	c cleaning 77423 clauses out of 167314 with flag 41263687/3150001
1554.51/1552.07	c cleaning 78516 clauses out of 169891 with flag 42036575/3230001
1589.42/1586.92	c cleaning 80020 clauses out of 172375 with flag 42750813/3311001
1621.04/1618.53	c cleaning 80959 clauses out of 174355 with flag 43374401/3393001
1653.14/1650.62	c cleaning 82105 clauses out of 176395 with flag 44160415/3476000
1679.05/1676.54	c cleaning 83033 clauses out of 178292 with flag 44889725/3560002
1709.86/1707.36	c cleaning 84287 clauses out of 180257 with flag 45535760/3645000
1747.56/1745.03	c cleaning 84775 clauses out of 181971 with flag 46212989/3731001
1784.46/1781.97	c cleaning 85932 clauses out of 184195 with flag 46977575/3818000
1800.07/1797.50	c starts		: 12090
1800.07/1797.50	c conflicts		: 3855476
1800.07/1797.50	c decisions		: 88867224
1800.07/1797.50	c propagations		: 2167620652
1800.07/1797.50	c inspects		: 19078267251
1800.07/1797.50	c shortcuts		: 0
1800.07/1797.50	c learnt literals	: 15
1800.07/1797.50	c learnt binary clauses	: 2144
1800.07/1797.50	c learnt ternary clauses	: 8759
1800.07/1797.50	c learnt constraints	: 3855461
1800.07/1797.50	c ignored constraints	: 0
1800.07/1797.50	c root simplifications	: 0
1800.07/1797.50	c removed literals (reason simplification)	: 0
1800.07/1797.50	c reason swapping (by a shorter reason)	: 0
1800.07/1797.50	c Calls to reduceDB	: 83
1800.07/1797.50	c Number of update (reduction) of LBD	: 2140876
1800.07/1797.50	c Imported unit clauses	: 0
1800.07/1797.50	c number of reductions to clauses (during analyze)	: 0
1800.07/1797.50	c number of learned constraints concerned by reduction	: 0
1800.07/1797.50	c number of learning phase by resolution	: 0
1800.07/1797.50	c number of learning phase by cutting planes	: 0
1800.07/1797.50	c speed (assignments/second)	: 1210353.3767119197
1800.07/1797.50	c non guided choices	11045741
1800.07/1797.51	c timeout
1800.07/1797.54	c learnt constraints type 
1800.07/1797.54	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2144
1800.07/1797.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 133595
1800.07/1797.54	s UNKNOWN
1800.07/1797.54	c Total wall clock time (in seconds): 1797.418

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4084561-1465275611/watcher-4084561-1465275611 -o /tmp/evaluation-result-4084561-1465275611/solver-4084561-1465275611 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465252319-3501 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084561-1465275611.opb 

pid=9281
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.23 2.18 2.13 3/195 9284
/proc/meminfo: memFree=30363264/32872528 swapFree=12352/737972
[pid=9284] ppid=9281 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/9284/stat : 9284 (java) R 9281 9284 3485 0 -1 4202496 159 0 0 0 0 0 0 0 20 0 1 0 109495659 278528 34 33554432000 1073741824 1073778376 140735984255728 140735984252904 213857168565 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9284/statm: 68 34 25 9 0 25 0

[startup+0.100059 s]
/proc/loadavg: 2.23 2.18 2.13 3/195 9284
/proc/meminfo: memFree=30363264/32872528 swapFree=12352/737972
[pid=9284] ppid=9281 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/9284/stat : 9284 (java) S 9281 9284 3485 0 -1 4202496 4457 0 1 0 7 1 0 0 20 0 18 0 109495659 9787879424 5068 33554432000 1073741824 1073778376 140736307815888 140736307807024 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9284/statm: 2389619 5580 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200227 s]
/proc/loadavg: 2.23 2.18 2.13 3/195 9284
/proc/meminfo: memFree=30363264/32872528 swapFree=12352/737972
[pid=9284] ppid=9281 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/9284/stat : 9284 (java) S 9281 9284 3485 0 -1 4202496 4836 0 1 0 23 1 0 0 20 0 18 0 109495659 9787879424 7439 33554432000 1073741824 1073778376 140736307815888 140736307807024 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9284/statm: 2389619 7439 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300218 s]
/proc/loadavg: 2.23 2.18 2.13 3/195 9284
/proc/meminfo: memFree=30363264/32872528 swapFree=12352/737972
[pid=9284] ppid=9281 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/9284/stat : 9284 (java) S 9281 9284 3485 0 -1 4202496 5840 0 1 0 44 2 0 0 20 0 18 0 109495659 9787879424 9556 33554432000 1073741824 1073778376 140736307815888 140736307807024 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9284/statm: 2389619 9557 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700189 s]
/proc/loadavg: 2.23 2.18 2.13 3/195 9284
/proc/meminfo: memFree=30363264/32872528 swapFree=12352/737972
[pid=9284] ppid=9281 vsize=9558476 CPUtime=1.12 cores=0,2,4,6
/proc/9284/stat : 9284 (java) S 9281 9284 3485 0 -1 4202496 7557 0 1 0 108 4 0 0 20 0 18 0 109495659 9787879424 39881 33554432000 1073741824 1073778376 140736307815888 140736307807024 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9284/statm: 2389619 39881 2263 9 0 2380296 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 9558476

[startup+1.50083 s]
/proc/loadavg: 2.23 2.18 2.13 3/213 9302
/proc/meminfo: memFree=30113836/32872528 swapFree=12352/737972
[pid=9284] ppid=9281 vsize=9558476 CPUtime=2.14 cores=0,2,4,6
/proc/9284/stat : 9284 (java) S 9281 9284 3485 0 -1 4202496 9296 0 1 0 204 10 0 0 20 0 18 0 109495659 9787879424 76887 33554432000 1073741824 1073778376 140736307815888 140736307807024 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9284/statm: 2389619 76887 2263 9 0 2380296 0
[pid=9284/tid=9286] ppid=9281 vsize=9558476 CPUtime=1.42 cores=0,2,4,6
/proc/9284/task/9286/stat : 9286 (java) R 9281 9284 3485 0 -1 4202560 2585 0 1 0 136 6 0 0 20 0 18 0 109495660 9787879424 76887 33554432000 1073741824 1073778376 140736307815888 140527499374184 213869716749 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9287] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9287/stat : 9287 (java) S 9281 9284 3485 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 109495662 9787879424 76887 33554432000 1073741824 1073778376 140736307815888 140527342926376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9284/tid=9288] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9288/stat : 9288 (java) S 9281 9284 3485 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 109495662 9787879424 76887 33554432000 1073741824 1073778376 140736307815888 140527341873576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9284/tid=9289] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9289/stat : 9289 (java) S 9281 9284 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 109495662 9787879424 76887 33554432000 1073741824 1073778376 140736307815888 140527340820776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9290] ppid=9281 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/9284/task/9290/stat : 9290 (java) S 9281 9284 3485 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 18 0 109495662 9787879424 76887 33554432000 1073741824 1073778376 140736307815888 140527339767976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9291] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9291/stat : 9291 (java) S 9281 9284 3485 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 109495662 9787879424 76887 33554432000 1073741824 1073778376 140736307815888 140527338716200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9292] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9292/stat : 9292 (java) S 9281 9284 3485 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 109495662 9787879424 76887 33554432000 1073741824 1073778376 140736307815888 140527337663400 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9284/tid=9293] ppid=9281 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/9284/task/9293/stat : 9293 (java) S 9281 9284 3485 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 109495662 9787879424 76887 33554432000 1073741824 1073778376 140736307815888 140527336610600 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9284/tid=9294] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9294/stat : 9294 (java) S 9281 9284 3485 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 109495662 9787879424 76887 33554432000 1073741824 1073778376 140736307815888 140527335557800 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9284/tid=9295] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9295/stat : 9295 (java) S 9281 9284 3485 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 109495663 9787879424 76887 33554432000 1073741824 1073778376 140736307815888 140527323359720 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9296] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9296/stat : 9296 (java) S 9281 9284 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 109495663 9787879424 76887 33554432000 1073741824 1073778376 140736307815888 140527322305784 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9297] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9297/stat : 9297 (java) S 9281 9284 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 109495663 9787879424 76887 33554432000 1073741824 1073778376 140736307815888 140527321252872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9298] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9298/stat : 9298 (java) S 9281 9284 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 109495666 9787879424 76887 33554432000 1073741824 1073778376 140736307815888 140527320201360 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9284/tid=9299] ppid=9281 vsize=9558476 CPUtime=0.3 cores=0,2,4,6
/proc/9284/task/9299/stat : 9299 (java) S 9281 9284 3485 0 -1 4202560 2749 0 0 0 30 0 0 0 20 0 18 0 109495666 9787879424 76887 33554432000 1073741824 1073778376 140736307815888 140527319149496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9284/tid=9300] ppid=9281 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/9284/task/9300/stat : 9300 (java) S 9281 9284 3485 0 -1 4202560 2438 0 0 0 24 0 0 0 20 0 18 0 109495666 9787879424 76887 33554432000 1073741824 1073778376 140736307815888 140527318096696 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9301] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9301/stat : 9301 (java) S 9281 9284 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 109495666 9787879424 76887 33554432000 1073741824 1073778376 140736307815888 140527317044088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9302] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9302/stat : 9302 (java) S 9281 9284 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 109495666 9787879424 76887 33554432000 1073741824 1073778376 140736307815888 140527315991496 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9558476

[startup+3.1008 s]
/proc/loadavg: 2.23 2.18 2.13 3/213 9302
/proc/meminfo: memFree=29895480/32872528 swapFree=12352/737972
[pid=9284] ppid=9281 vsize=9558476 CPUtime=3.97 cores=0,2,4,6
/proc/9284/stat : 9284 (java) S 9281 9284 3485 0 -1 4202496 9788 0 1 0 377 20 0 0 20 0 18 0 109495659 9787879424 149352 33554432000 1073741824 1073778376 140736307815888 140736307807024 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9284/statm: 2389619 149352 2263 9 0 2380296 0
[pid=9284/tid=9286] ppid=9281 vsize=9558476 CPUtime=2.93 cores=0,2,4,6
/proc/9284/task/9286/stat : 9286 (java) R 9281 9284 3485 0 -1 4202560 2702 0 1 0 284 9 0 0 20 0 18 0 109495660 9787879424 149352 33554432000 1073741824 1073778376 140736307815888 140527499373400 213869716749 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9287] ppid=9281 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/9284/task/9287/stat : 9287 (java) S 9281 9284 3485 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 18 0 109495662 9787879424 149352 33554432000 1073741824 1073778376 140736307815888 140527342926376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9284/tid=9288] ppid=9281 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/9284/task/9288/stat : 9288 (java) S 9281 9284 3485 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 18 0 109495662 9787879424 149352 33554432000 1073741824 1073778376 140736307815888 140527341873576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9289] ppid=9281 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/9284/task/9289/stat : 9289 (java) S 9281 9284 3485 0 -1 4202560 23 0 0 0 2 1 0 0 20 0 18 0 109495662 9787879424 149352 33554432000 1073741824 1073778376 140736307815888 140527340820776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9290] ppid=9281 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/9284/task/9290/stat : 9290 (java) S 9281 9284 3485 0 -1 4202560 46 0 0 0 5 2 0 0 20 0 18 0 109495662 9787879424 149352 33554432000 1073741824 1073778376 140736307815888 140527339767976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9291] ppid=9281 vsize=9558476 CPUtime=0.04 cores=0,2,4,6
/proc/9284/task/9291/stat : 9291 (java) S 9281 9284 3485 0 -1 4202560 22 0 0 0 3 1 0 0 20 0 18 0 109495662 9787879424 149352 33554432000 1073741824 1073778376 140736307815888 140527338716200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9292] ppid=9281 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/9284/task/9292/stat : 9292 (java) S 9281 9284 3485 0 -1 4202560 15 0 0 0 1 1 0 0 20 0 18 0 109495662 9787879424 149352 33554432000 1073741824 1073778376 140736307815888 140527337663400 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9284/tid=9293] ppid=9281 vsize=9558476 CPUtime=0.05 cores=0,2,4,6
/proc/9284/task/9293/stat : 9293 (java) S 9281 9284 3485 0 -1 4202560 27 0 0 0 3 2 0 0 20 0 18 0 109495662 9787879424 149352 33554432000 1073741824 1073778376 140736307815888 140527336610600 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9284/tid=9294] ppid=9281 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/9284/task/9294/stat : 9294 (java) S 9281 9284 3485 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 18 0 109495662 9787879424 149352 33554432000 1073741824 1073778376 140736307815888 140527335557800 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9284/tid=9295] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9295/stat : 9295 (java) S 9281 9284 3485 0 -1 4202560 460 0 0 0 0 0 0 0 20 0 18 0 109495663 9787879424 149352 33554432000 1073741824 1073778376 140736307815888 140527323359720 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9296] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9296/stat : 9296 (java) S 9281 9284 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 109495663 9787879424 149352 33554432000 1073741824 1073778376 140736307815888 140527322305784 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9297] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9297/stat : 9297 (java) S 9281 9284 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 109495663 9787879424 149352 33554432000 1073741824 1073778376 140736307815888 140527321252872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9298] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9298/stat : 9298 (java) S 9281 9284 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 109495666 9787879424 149352 33554432000 1073741824 1073778376 140736307815888 140527320201360 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9284/tid=9299] ppid=9281 vsize=9558476 CPUtime=0.32 cores=0,2,4,6
/proc/9284/task/9299/stat : 9299 (java) S 9281 9284 3485 0 -1 4202560 2752 0 0 0 32 0 0 0 20 0 18 0 109495666 9787879424 149352 33554432000 1073741824 1073778376 140736307815888 140527319149496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9284/tid=9300] ppid=9281 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/9284/task/9300/stat : 9300 (java) S 9281 9284 3485 0 -1 4202560 2438 0 0 0 24 0 0 0 20 0 18 0 109495666 9787879424 149352 33554432000 1073741824 1073778376 140736307815888 140527318096696 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9301] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9301/stat : 9301 (java) S 9281 9284 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 109495666 9787879424 149352 33554432000 1073741824 1073778376 140736307815888 140527317044088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9302] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9302/stat : 9302 (java) S 9281 9284 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 109495666 9787879424 149352 33554432000 1073741824 1073778376 140736307815888 140527315991496 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 9558476

[startup+6.30083 s]
/proc/loadavg: 2.77 2.29 2.16 3/213 9302
/proc/meminfo: memFree=29212608/32872528 swapFree=12352/737972
[pid=9284] ppid=9281 vsize=9558476 CPUtime=7.82 cores=0,2,4,6
/proc/9284/stat : 9284 (java) S 9281 9284 3485 0 -1 4202496 11404 0 1 0 738 44 0 0 20 0 18 0 109495659 9787879424 306983 33554432000 1073741824 1073778376 140736307815888 140736307807024 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9284/statm: 2389619 306983 2263 9 0 2380296 0
[pid=9284/tid=9286] ppid=9281 vsize=9558476 CPUtime=5.9 cores=0,2,4,6
/proc/9284/task/9286/stat : 9286 (java) R 9281 9284 3485 0 -1 4202560 2934 0 1 0 574 16 0 0 20 0 18 0 109495660 9787879424 306983 33554432000 1073741824 1073778376 140736307815888 140527499366512 213869716749 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9287] ppid=9281 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/9284/task/9287/stat : 9287 (java) S 9281 9284 3485 0 -1 4202560 78 0 0 0 13 4 0 0 20 0 18 0 109495662 9787879424 306983 33554432000 1073741824 1073778376 140736307815888 140527342926376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9288] ppid=9281 vsize=9558476 CPUtime=0.12 cores=0,2,4,6
/proc/9284/task/9288/stat : 9288 (java) S 9281 9284 3485 0 -1 4202560 103 0 0 0 10 2 0 0 20 0 18 0 109495662 9787879424 306983 33554432000 1073741824 1073778376 140736307815888 140527341873576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9289] ppid=9281 vsize=9558476 CPUtime=0.14 cores=0,2,4,6
/proc/9284/task/9289/stat : 9289 (java) S 9281 9284 3485 0 -1 4202560 123 0 0 0 10 4 0 0 20 0 18 0 109495662 9787879424 306983 33554432000 1073741824 1073778376 140736307815888 140527340820776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9290] ppid=9281 vsize=9558476 CPUtime=0.21 cores=0,2,4,6
/proc/9284/task/9290/stat : 9290 (java) S 9281 9284 3485 0 -1 4202560 233 0 0 0 16 5 0 0 20 0 18 0 109495662 9787879424 306983 33554432000 1073741824 1073778376 140736307815888 140527339767976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9291] ppid=9281 vsize=9558476 CPUtime=0.13 cores=0,2,4,6
/proc/9284/task/9291/stat : 9291 (java) S 9281 9284 3485 0 -1 4202560 66 0 0 0 9 4 0 0 20 0 18 0 109495662 9787879424 306983 33554432000 1073741824 1073778376 140736307815888 140527338716200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9284/tid=9292] ppid=9281 vsize=9558476 CPUtime=0.12 cores=0,2,4,6
/proc/9284/task/9292/stat : 9292 (java) S 9281 9284 3485 0 -1 4202560 198 0 0 0 10 2 0 0 20 0 18 0 109495662 9787879424 306983 33554432000 1073741824 1073778376 140736307815888 140527337663400 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9293] ppid=9281 vsize=9558476 CPUtime=0.13 cores=0,2,4,6
/proc/9284/task/9293/stat : 9293 (java) S 9281 9284 3485 0 -1 4202560 115 0 0 0 10 3 0 0 20 0 18 0 109495662 9787879424 306983 33554432000 1073741824 1073778376 140736307815888 140527336610600 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9294] ppid=9281 vsize=9558476 CPUtime=0.15 cores=0,2,4,6
/proc/9284/task/9294/stat : 9294 (java) S 9281 9284 3485 0 -1 4202560 114 0 0 0 11 4 0 0 20 0 18 0 109495662 9787879424 306983 33554432000 1073741824 1073778376 140736307815888 140527335557800 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9295] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9295/stat : 9295 (java) S 9281 9284 3485 0 -1 4202560 993 0 0 0 0 0 0 0 20 0 18 0 109495663 9787879424 306983 33554432000 1073741824 1073778376 140736307815888 140527323359720 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9284/tid=9296] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9296/stat : 9296 (java) S 9281 9284 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 109495663 9787879424 306983 33554432000 1073741824 1073778376 140736307815888 140527322305784 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9297] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9297/stat : 9297 (java) S 9281 9284 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 109495663 9787879424 306983 33554432000 1073741824 1073778376 140736307815888 140527321252872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9298] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9298/stat : 9298 (java) S 9281 9284 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 109495666 9787879424 306983 33554432000 1073741824 1073778376 140736307815888 140527320201360 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9284/tid=9299] ppid=9281 vsize=9558476 CPUtime=0.34 cores=0,2,4,6
/proc/9284/task/9299/stat : 9299 (java) S 9281 9284 3485 0 -1 4202560 2756 0 0 0 34 0 0 0 20 0 18 0 109495666 9787879424 306983 33554432000 1073741824 1073778376 140736307815888 140527319149496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9284/tid=9300] ppid=9281 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/9284/task/9300/stat : 9300 (java) S 9281 9284 3485 0 -1 4202560 2438 0 0 0 24 0 0 0 20 0 18 0 109495666 9787879424 306983 33554432000 1073741824 1073778376 140736307815888 140527318096696 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9301] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9301/stat : 9301 (java) S 9281 9284 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 109495666 9787879424 306983 33554432000 1073741824 1073778376 140736307815888 140527317044088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9302] ppid=9281 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9302/stat : 9302 (java) S 9281 9284 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 109495666 9787879424 306983 33554432000 1073741824 1073778376 140736307815888 140527315991496 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.82
Current children cumulated vsize (KiB) 9558476

[startup+12.7009 s]
/proc/loadavg: 2.71 2.29 2.16 3/214 9303
/proc/meminfo: memFree=29139332/32872528 swapFree=12352/737972
[pid=9284] ppid=9281 vsize=9625040 CPUtime=14.66 cores=0,2,4,6
/proc/9284/stat : 9284 (java) S 9281 9284 3485 0 -1 4202496 12391 0 1 0 1421 45 0 0 20 0 19 0 109495659 9856040960 307427 33554432000 1073741824 1073778376 140736307815888 140736307807024 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9284/statm: 2406260 307427 2279 9 0 2396937 0

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

[pid=9284/tid=9303] ppid=9281 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9303/stat : 9303 (java) S 9281 9284 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109496320 9856040960 459317 33554432000 1073741824 1073778376 140736307815888 140527314937000 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1724.85
Current children cumulated vsize (KiB) 9625040

[startup+1782.31 s]
/proc/loadavg: 2.07 2.07 2.09 3/213 9627
/proc/meminfo: memFree=28554564/32872528 swapFree=12352/737972
[pid=9284] ppid=9281 vsize=9625040 CPUtime=1784.87 cores=0,2,4,6
/proc/9284/stat : 9284 (java) S 9281 9284 3485 0 -1 4202496 16067 0 1 0 178405 82 0 0 20 0 19 0 109495659 9856040960 470069 33554432000 1073741824 1073778376 140736307815888 140736307807024 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9284/statm: 2406260 470069 2286 9 0 2396937 0
[pid=9284/tid=9286] ppid=9281 vsize=9625040 CPUtime=1777.25 cores=0,2,4,6
/proc/9284/task/9286/stat : 9286 (java) R 9281 9284 3485 0 -1 4202560 3615 0 1 0 177673 52 0 0 20 0 19 0 109495660 9856040960 470069 33554432000 1073741824 1073778376 140736307815888 140527499366080 140527439855331 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9287] ppid=9281 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/9284/task/9287/stat : 9287 (java) S 9281 9284 3485 0 -1 4202560 78 0 0 0 13 4 0 0 20 0 19 0 109495662 9856040960 470069 33554432000 1073741824 1073778376 140736307815888 140527342926376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9288] ppid=9281 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/9284/task/9288/stat : 9288 (java) S 9281 9284 3485 0 -1 4202560 103 0 0 0 10 2 0 0 20 0 19 0 109495662 9856040960 470069 33554432000 1073741824 1073778376 140736307815888 140527341873576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9289] ppid=9281 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/9284/task/9289/stat : 9289 (java) S 9281 9284 3485 0 -1 4202560 123 0 0 0 10 4 0 0 20 0 19 0 109495662 9856040960 470069 33554432000 1073741824 1073778376 140736307815888 140527340820776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9290] ppid=9281 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/9284/task/9290/stat : 9290 (java) S 9281 9284 3485 0 -1 4202560 233 0 0 0 16 5 0 0 20 0 19 0 109495662 9856040960 470069 33554432000 1073741824 1073778376 140736307815888 140527339767976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9291] ppid=9281 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/9284/task/9291/stat : 9291 (java) S 9281 9284 3485 0 -1 4202560 66 0 0 0 9 4 0 0 20 0 19 0 109495662 9856040960 470069 33554432000 1073741824 1073778376 140736307815888 140527338716200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9284/tid=9292] ppid=9281 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/9284/task/9292/stat : 9292 (java) S 9281 9284 3485 0 -1 4202560 198 0 0 0 10 2 0 0 20 0 19 0 109495662 9856040960 470069 33554432000 1073741824 1073778376 140736307815888 140527337663400 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9293] ppid=9281 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/9284/task/9293/stat : 9293 (java) S 9281 9284 3485 0 -1 4202560 115 0 0 0 10 3 0 0 20 0 19 0 109495662 9856040960 470069 33554432000 1073741824 1073778376 140736307815888 140527336610600 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9294] ppid=9281 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/9284/task/9294/stat : 9294 (java) S 9281 9284 3485 0 -1 4202560 114 0 0 0 11 4 0 0 20 0 19 0 109495662 9856040960 470069 33554432000 1073741824 1073778376 140736307815888 140527335557800 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9295] ppid=9281 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/9284/task/9295/stat : 9295 (java) S 9281 9284 3485 0 -1 4202560 995 0 0 0 0 2 0 0 20 0 19 0 109495663 9856040960 470069 33554432000 1073741824 1073778376 140736307815888 140527323359720 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9284/tid=9296] ppid=9281 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9296/stat : 9296 (java) S 9281 9284 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109495663 9856040960 470069 33554432000 1073741824 1073778376 140736307815888 140527322305784 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9297] ppid=9281 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9297/stat : 9297 (java) S 9281 9284 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109495663 9856040960 470069 33554432000 1073741824 1073778376 140736307815888 140527321252872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9298] ppid=9281 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9298/stat : 9298 (java) S 9281 9284 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109495666 9856040960 470069 33554432000 1073741824 1073778376 140736307815888 140527320201360 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9284/tid=9299] ppid=9281 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/9284/task/9299/stat : 9299 (java) S 9281 9284 3485 0 -1 4202560 6177 0 0 0 84 0 0 0 20 0 19 0 109495666 9856040960 470069 33554432000 1073741824 1073778376 140736307815888 140527319149496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9284/tid=9300] ppid=9281 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/9284/task/9300/stat : 9300 (java) S 9281 9284 3485 0 -1 4202560 2888 0 0 0 49 0 0 0 20 0 19 0 109495666 9856040960 470069 33554432000 1073741824 1073778376 140736307815888 140527318096696 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9301] ppid=9281 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9301/stat : 9301 (java) S 9281 9284 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109495666 9856040960 470069 33554432000 1073741824 1073778376 140736307815888 140527317044088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9302] ppid=9281 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/9284/task/9302/stat : 9302 (java) S 9281 9284 3485 0 -1 4202560 103 0 0 0 33 37 0 0 20 0 19 0 109495666 9856040960 470069 33554432000 1073741824 1073778376 140736307815888 140527315991496 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9284/tid=9303] ppid=9281 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9303/stat : 9303 (java) S 9281 9284 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109496320 9856040960 470069 33554432000 1073741824 1073778376 140736307815888 140527314937000 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1784.87
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.5 s]
/proc/loadavg: 2.06 2.06 2.09 3/214 9630
/proc/meminfo: memFree=28544060/32872528 swapFree=12352/737972
[pid=9284] ppid=9281 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/9284/stat : 9284 (java) S 9281 9284 3485 0 -1 4202496 16075 0 1 0 179924 83 0 0 20 0 19 0 109495659 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140736307807024 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9284/statm: 2406260 473141 2286 9 0 2396937 0
[pid=9284/tid=9286] ppid=9281 vsize=9625040 CPUtime=1792.41 cores=0,2,4,6
/proc/9284/task/9286/stat : 9286 (java) R 9281 9284 3485 0 -1 4202560 3621 0 1 0 179189 52 0 0 20 0 19 0 109495660 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527499366080 140527439855270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9287] ppid=9281 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/9284/task/9287/stat : 9287 (java) S 9281 9284 3485 0 -1 4202560 78 0 0 0 13 4 0 0 20 0 19 0 109495662 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527342926376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9288] ppid=9281 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/9284/task/9288/stat : 9288 (java) S 9281 9284 3485 0 -1 4202560 103 0 0 0 10 2 0 0 20 0 19 0 109495662 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527341873576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9289] ppid=9281 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/9284/task/9289/stat : 9289 (java) S 9281 9284 3485 0 -1 4202560 123 0 0 0 10 4 0 0 20 0 19 0 109495662 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527340820776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9290] ppid=9281 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/9284/task/9290/stat : 9290 (java) S 9281 9284 3485 0 -1 4202560 233 0 0 0 16 5 0 0 20 0 19 0 109495662 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527339767976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9291] ppid=9281 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/9284/task/9291/stat : 9291 (java) S 9281 9284 3485 0 -1 4202560 66 0 0 0 9 4 0 0 20 0 19 0 109495662 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527338716200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9284/tid=9292] ppid=9281 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/9284/task/9292/stat : 9292 (java) S 9281 9284 3485 0 -1 4202560 198 0 0 0 10 2 0 0 20 0 19 0 109495662 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527337663400 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9293] ppid=9281 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/9284/task/9293/stat : 9293 (java) S 9281 9284 3485 0 -1 4202560 115 0 0 0 10 3 0 0 20 0 19 0 109495662 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527336610600 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9294] ppid=9281 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/9284/task/9294/stat : 9294 (java) S 9281 9284 3485 0 -1 4202560 114 0 0 0 11 4 0 0 20 0 19 0 109495662 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527335557800 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9295] ppid=9281 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/9284/task/9295/stat : 9295 (java) S 9281 9284 3485 0 -1 4202560 995 0 0 0 0 2 0 0 20 0 19 0 109495663 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527323359720 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9284/tid=9296] ppid=9281 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9296/stat : 9296 (java) S 9281 9284 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109495663 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527322305784 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9297] ppid=9281 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9297/stat : 9297 (java) S 9281 9284 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109495663 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527321252872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9298] ppid=9281 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9298/stat : 9298 (java) S 9281 9284 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109495666 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527320201360 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9284/tid=9299] ppid=9281 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/9284/task/9299/stat : 9299 (java) S 9281 9284 3485 0 -1 4202560 6177 0 0 0 84 0 0 0 20 0 19 0 109495666 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527319149496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9284/tid=9300] ppid=9281 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/9284/task/9300/stat : 9300 (java) S 9281 9284 3485 0 -1 4202560 2888 0 0 0 49 0 0 0 20 0 19 0 109495666 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527318096696 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9301] ppid=9281 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9301/stat : 9301 (java) S 9281 9284 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109495666 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527317044088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9302] ppid=9281 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/9284/task/9302/stat : 9302 (java) S 9281 9284 3485 0 -1 4202560 105 0 0 0 34 38 0 0 20 0 19 0 109495666 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527315991496 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9284/tid=9303] ppid=9281 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9303/stat : 9303 (java) S 9281 9284 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109496320 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527314937000 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9284 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1797.5 s]
/proc/loadavg: 2.06 2.06 2.09 3/214 9630
/proc/meminfo: memFree=28544060/32872528 swapFree=12352/737972
[pid=9284] ppid=9281 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/9284/stat : 9284 (java) S 9281 9284 3485 0 -1 4202496 16075 0 1 0 179924 83 0 0 20 0 19 0 109495659 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140736307807024 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9284/statm: 2406260 473141 2286 9 0 2396937 0
[pid=9284/tid=9286] ppid=9281 vsize=9625040 CPUtime=1792.41 cores=0,2,4,6
/proc/9284/task/9286/stat : 9286 (java) R 9281 9284 3485 0 -1 4202560 3621 0 1 0 179189 52 0 0 20 0 19 0 109495660 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527499366080 140527439855270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9287] ppid=9281 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/9284/task/9287/stat : 9287 (java) S 9281 9284 3485 0 -1 4202560 78 0 0 0 13 4 0 0 20 0 19 0 109495662 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527342926376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9288] ppid=9281 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/9284/task/9288/stat : 9288 (java) S 9281 9284 3485 0 -1 4202560 103 0 0 0 10 2 0 0 20 0 19 0 109495662 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527341873576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9289] ppid=9281 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/9284/task/9289/stat : 9289 (java) S 9281 9284 3485 0 -1 4202560 123 0 0 0 10 4 0 0 20 0 19 0 109495662 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527340820776 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9290] ppid=9281 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/9284/task/9290/stat : 9290 (java) S 9281 9284 3485 0 -1 4202560 233 0 0 0 16 5 0 0 20 0 19 0 109495662 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527339767976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9291] ppid=9281 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/9284/task/9291/stat : 9291 (java) S 9281 9284 3485 0 -1 4202560 66 0 0 0 9 4 0 0 20 0 19 0 109495662 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527338716200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9284/tid=9292] ppid=9281 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/9284/task/9292/stat : 9292 (java) S 9281 9284 3485 0 -1 4202560 198 0 0 0 10 2 0 0 20 0 19 0 109495662 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527337663400 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9293] ppid=9281 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/9284/task/9293/stat : 9293 (java) S 9281 9284 3485 0 -1 4202560 115 0 0 0 10 3 0 0 20 0 19 0 109495662 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527336610600 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9294] ppid=9281 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/9284/task/9294/stat : 9294 (java) S 9281 9284 3485 0 -1 4202560 114 0 0 0 11 4 0 0 20 0 19 0 109495662 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527335557800 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9295] ppid=9281 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/9284/task/9295/stat : 9295 (java) S 9281 9284 3485 0 -1 4202560 995 0 0 0 0 2 0 0 20 0 19 0 109495663 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527323359720 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9284/tid=9296] ppid=9281 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9296/stat : 9296 (java) S 9281 9284 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109495663 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527322305784 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9297] ppid=9281 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9297/stat : 9297 (java) S 9281 9284 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109495663 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527321252872 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9284/tid=9298] ppid=9281 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9298/stat : 9298 (java) S 9281 9284 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109495666 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527320201360 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9284/tid=9299] ppid=9281 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/9284/task/9299/stat : 9299 (java) S 9281 9284 3485 0 -1 4202560 6177 0 0 0 84 0 0 0 20 0 19 0 109495666 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527319149496 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9284/tid=9300] ppid=9281 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/9284/task/9300/stat : 9300 (java) S 9281 9284 3485 0 -1 4202560 2888 0 0 0 49 0 0 0 20 0 19 0 109495666 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527318096696 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9301] ppid=9281 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9301/stat : 9301 (java) S 9281 9284 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109495666 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527317044088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9284/tid=9302] ppid=9281 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/9284/task/9302/stat : 9302 (java) S 9281 9284 3485 0 -1 4202560 105 0 0 0 34 38 0 0 20 0 19 0 109495666 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527315991496 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9284/tid=9303] ppid=9281 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9284/task/9303/stat : 9303 (java) S 9281 9284 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109496320 9856040960 473141 33554432000 1073741824 1073778376 140736307815888 140527314937000 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9284 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=638173
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=352794
# CPU time returned by wait4() is 1795.99
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1797.56
CPU time (s): 1800.07
CPU user time (s): 1799.24
CPU system time (s): 0.83
CPU usage (%): 100.14
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.64
system time used= 1.35279
maximum resident set size= 1898844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16119
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38362
involuntary context switches= 2694

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8652 second user time and 17.5363 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-07 07:00:12
IDJOB=4084561
IDBENCH=89637
IDSOLVER=2546
FILE ID=node112/4084561-1465275611
RUNJOBID= node112-1465252319-3501
PBS_JOBID= 19843261
Free space on /tmp= 71692 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-146.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084561-1465275611/watcher-4084561-1465275611 -o /tmp/evaluation-result-4084561-1465275611/solver-4084561-1465275611 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465252319-3501 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4084561-1465275611.opb

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

MD5SUM BENCH= 132271a8a55b01af9ffef359148ae5e1
RANDOM SEED=985930347

node112.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.783
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.56
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.783
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	: 5332.55
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.783
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	: 5332.55
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.783
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	: 5332.56
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.783
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	: 5332.54
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.783
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	: 5332.72
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.783
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30363528 kB
Buffers:          107536 kB
Cached:           194380 kB
SwapCached:         1624 kB
Active:           868732 kB
Inactive:         166852 kB
Active(anon):     735416 kB
Inactive(anon):      608 kB
Active(file):     133316 kB
Inactive(file):   166244 kB
Unevictable:      737972 kB
Mlocked:           12352 kB
SwapTotal:      67108856 kB
SwapFree:       67098612 kB
Dirty:             50584 kB
Writeback:             0 kB
AnonPages:       1471300 kB
Mapped:            15468 kB
Shmem:                 0 kB
Slab:             601932 kB
SReclaimable:      45016 kB
SUnreclaim:       556916 kB
KernelStack:        1592 kB
PageTables:         7232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2507716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1427456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71672 MiB
End job on node112 at 2016-06-07 07:30:10