Trace number 4106939

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.29 1793.21

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_3_15.opb
MD5SUMbbe3a085a15e9497809c2511fab038f0
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.109983
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
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 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)4976
Sum of products size (including duplicates)9952
Number of different products2488
Sum of products size4976

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4106939-1466282137.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  no objective function found
0.46/0.38	c ... done. Wall clock time 0.27s.
0.46/0.38	c declared #vars     400
0.46/0.38	c internal #vars     2888
0.46/0.38	c #constraints  5579
0.46/0.38	c constraints type 
0.46/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2488
0.46/0.38	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
0.46/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.46/0.38	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2488
0.46/0.38	c 5579 constraints processed.
2.22/1.48	c cleaning 2511 clauses out of 5021 with flag 10253/5021
3.15/2.30	c cleaning 4232 clauses out of 8489 with flag 22655/11000
4.12/3.07	c cleaning 5656 clauses out of 11313 with flag 37661/18056
5.83/4.66	c cleaning 6807 clauses out of 13614 with flag 53908/26013
7.87/6.62	c cleaning 7918 clauses out of 15835 with flag 72355/35041
8.87/7.67	c cleaning 8931 clauses out of 17890 with flag 93430/45014
9.96/8.77	c cleaning 9953 clauses out of 19945 with flag 116687/56000
11.06/9.87	c cleaning 10970 clauses out of 21992 with flag 142228/68000
12.32/11.04	c cleaning 11997 clauses out of 24022 with flag 170141/81000
13.31/12.00	c cleaning 12995 clauses out of 26025 with flag 201831/95000
14.51/13.26	c cleaning 14017 clauses out of 28034 with flag 235506/110004
16.21/14.96	c cleaning 15000 clauses out of 30014 with flag 269995/126001
18.61/17.33	c cleaning 16003 clauses out of 32014 with flag 306103/143001
21.76/20.31	c cleaning 17005 clauses out of 34010 with flag 344187/161000
24.96/23.53	c cleaning 18006 clauses out of 36012 with flag 384101/180007
28.46/27.04	c cleaning 19029 clauses out of 38058 with flag 426311/200059
32.76/31.36	c cleaning 19980 clauses out of 39970 with flag 470122/221000
37.76/36.34	c cleaning 21026 clauses out of 42051 with flag 516168/243061
43.27/41.77	c cleaning 21984 clauses out of 43967 with flag 564069/266003
49.67/48.19	c cleaning 22980 clauses out of 45980 with flag 613877/290000
56.76/55.27	c cleaning 24002 clauses out of 48003 with flag 665969/315003
64.77/63.00	c cleaning 25031 clauses out of 50062 with flag 720202/341064
73.97/72.22	c cleaning 26010 clauses out of 52020 with flag 776139/368053
83.06/81.32	c cleaning 26979 clauses out of 53957 with flag 834044/396000
94.48/92.67	c cleaning 27999 clauses out of 55997 with flag 894114/425019
106.68/104.81	c cleaning 28997 clauses out of 57993 with flag 956163/455014
118.89/117.09	c cleaning 29992 clauses out of 59983 with flag 1020300/486001
133.89/131.88	c cleaning 30981 clauses out of 61990 with flag 1086354/518000
150.09/148.07	c cleaning 32012 clauses out of 64024 with flag 1154397/551015
168.60/166.50	c cleaning 33030 clauses out of 66060 with flag 1224574/585063
188.65/186.49	c cleaning 34010 clauses out of 68020 with flag 1296655/620053
210.35/208.17	c cleaning 34979 clauses out of 69958 with flag 1370599/656001
236.10/233.52	c cleaning 36019 clauses out of 72040 with flag 1447649/693062
244.79/242.11	c cleaning 36975 clauses out of 73963 with flag 1531601/731004
257.59/254.81	c cleaning 38007 clauses out of 76017 with flag 1614653/770033
273.70/270.88	c cleaning 38995 clauses out of 77990 with flag 1698724/810013
294.41/291.48	c cleaning 40007 clauses out of 80013 with flag 1784442/851031
318.49/315.45	c cleaning 41003 clauses out of 82005 with flag 1871795/893030
343.61/340.45	c cleaning 42006 clauses out of 84012 with flag 1961078/936040
372.22/368.95	c cleaning 42992 clauses out of 85983 with flag 2052243/980017
404.01/400.67	c cleaning 44011 clauses out of 88024 with flag 2145421/1025050
437.50/434.04	c cleaning 44988 clauses out of 89977 with flag 2240298/1071014
473.99/470.45	c cleaning 45996 clauses out of 91993 with flag 2337369/1118018
512.44/508.88	c cleaning 46993 clauses out of 93990 with flag 2436414/1166011
559.70/556.08	c cleaning 48008 clauses out of 96019 with flag 2537394/1215033
593.59/589.79	c cleaning 48983 clauses out of 97978 with flag 2646974/1265000
649.78/645.84	c cleaning 50033 clauses out of 100065 with flag 2755908/1316070
699.80/695.66	c cleaning 50979 clauses out of 101973 with flag 2862130/1368011
731.27/727.00	c cleaning 51996 clauses out of 103992 with flag 2972095/1421009
789.89/785.52	c cleaning 52998 clauses out of 105996 with flag 3081749/1475009
832.38/828.00	c cleaning 53926 clauses out of 107991 with flag 3194048/1530002
865.47/860.95	c cleaning 55024 clauses out of 110074 with flag 3314321/1586011
914.66/909.91	c cleaning 56066 clauses out of 112131 with flag 3432562/1643092
952.70/947.87	c cleaning 56990 clauses out of 113986 with flag 3555354/1701013
1008.46/1003.45	c cleaning 57992 clauses out of 115984 with flag 3677506/1760001
1066.48/1061.34	c cleaning 59004 clauses out of 118010 with flag 3800867/1820019
1132.05/1126.70	c cleaning 59994 clauses out of 119987 with flag 3925394/1881000
1200.87/1195.37	c cleaning 61039 clauses out of 122078 with flag 4052102/1943085
1268.95/1263.30	c cleaning 61985 clauses out of 123970 with flag 4180224/2006016
1343.95/1338.07	c cleaning 63016 clauses out of 126032 with flag 4310343/2070063
1422.19/1416.18	c cleaning 63981 clauses out of 127961 with flag 4442193/2135008
1511.83/1505.55	c cleaning 65032 clauses out of 130064 with flag 4576569/2201092
1606.74/1600.21	c cleaning 66032 clauses out of 132064 with flag 4712616/2268124
1701.71/1694.97	c cleaning 66990 clauses out of 133980 with flag 4850308/2336072
1800.18/1793.17	c starts		: 1443
1800.18/1793.17	c conflicts		: 2404264
1800.18/1793.17	c decisions		: 3570067
1800.18/1793.17	c propagations		: 95768887
1800.18/1793.17	c inspects		: 35567882259
1800.18/1793.17	c shortcuts		: 0
1800.18/1793.17	c learnt literals	: 0
1800.18/1793.17	c learnt binary clauses	: 0
1800.18/1793.17	c learnt ternary clauses	: 15
1800.18/1793.17	c learnt constraints	: 2404264
1800.18/1793.17	c ignored constraints	: 0
1800.18/1793.17	c root simplifications	: 0
1800.18/1793.17	c removed literals (reason simplification)	: 0
1800.18/1793.17	c reason swapping (by a shorter reason)	: 0
1800.18/1793.17	c Calls to reduceDB	: 64
1800.18/1793.17	c Number of update (reduction) of LBD	: 150577
1800.18/1793.17	c Imported unit clauses	: 0
1800.18/1793.17	c number of reductions to clauses (during analyze)	: 0
1800.18/1793.17	c number of learned constraints concerned by reduction	: 0
1800.18/1793.17	c number of learning phase by resolution	: 0
1800.18/1793.17	c number of learning phase by cutting planes	: 0
1800.18/1793.17	c speed (assignments/second)	: 53419.031049997044
1800.18/1793.17	c non guided choices	2677
1800.18/1793.17	c timeout
1800.29/1793.20	c learnt constraints type 
1800.29/1793.20	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 135183
1800.29/1793.20	s UNKNOWN
1800.29/1793.20	c Total wall clock time (in seconds): 1793.089

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-4106939-1466282137/watcher-4106939-1466282137 -o /tmp/evaluation-result-4106939-1466282137/solver-4106939-1466282137 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466275999-22550 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106939-1466282137.opb 

pid=23446
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.29 2.17 2.10 4/194 23449
/proc/meminfo: memFree=30100980/32872528 swapFree=1103996/1183712
[pid=23449] ppid=23446 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/23449/stat : 23449 (java) S 23446 23449 22534 0 -1 4202496 1294 0 0 0 0 0 0 0 20 0 2 0 30262725 95129600 927 33554432000 1073741824 1073778376 140736267179056 140736267170192 271790932029 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23449/statm: 23528 931 705 9 0 16769 0
[pid=23449/tid=23450] ppid=23446 vsize=96324 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23450/stat : 23450 (java) R 23446 23449 22534 0 -1 4202560 100 0 0 0 0 0 0 0 20 0 2 0 30262725 98635776 956 33554432000 1073741824 1073778376 140736267179056 139891936103976 271778363955 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100113 s]
/proc/loadavg: 2.29 2.17 2.10 4/194 23449
/proc/meminfo: memFree=30100980/32872528 swapFree=1103996/1183712
[pid=23449] ppid=23446 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/23449/stat : 23449 (java) S 23446 23449 22534 0 -1 4202496 4397 0 1 0 9 1 0 0 20 0 18 0 30262725 9787879424 6032 33554432000 1073741824 1073778376 140736267179056 140736267170192 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23449/statm: 2389619 6032 2125 9 0 2380296 0
[pid=23449/tid=23450] ppid=23446 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/23449/task/23450/stat : 23450 (java) R 23446 23449 22534 0 -1 4202560 2382 0 1 0 6 1 0 0 20 0 18 0 30262725 9787879424 6032 33554432000 1073741824 1073778376 140736267179056 139891936107424 139891799291373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200313 s]
/proc/loadavg: 2.29 2.17 2.10 4/194 23449
/proc/meminfo: memFree=30100980/32872528 swapFree=1103996/1183712
[pid=23449] ppid=23446 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/23449/stat : 23449 (java) S 23446 23449 22534 0 -1 4202496 4678 0 1 0 23 1 0 0 20 0 18 0 30262725 9787879424 6771 33554432000 1073741824 1073778376 140736267179056 140736267170192 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23449/statm: 2389619 6771 2202 9 0 2380296 0
[pid=23449/tid=23450] ppid=23446 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/23449/task/23450/stat : 23450 (java) R 23446 23449 22534 0 -1 4202560 2404 0 1 0 16 1 0 0 20 0 18 0 30262725 9787879424 6771 33554432000 1073741824 1073778376 140736267179056 139891936107424 139891799352333 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300316 s]
/proc/loadavg: 2.29 2.17 2.10 4/194 23449
/proc/meminfo: memFree=30100980/32872528 swapFree=1103996/1183712
[pid=23449] ppid=23446 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/23449/stat : 23449 (java) S 23446 23449 22534 0 -1 4202496 6082 0 1 0 44 2 0 0 20 0 18 0 30262725 9787879424 8833 33554432000 1073741824 1073778376 140736267179056 140736267170192 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23449/statm: 2389619 8833 2243 9 0 2380296 0
[pid=23449/tid=23450] ppid=23446 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/23449/task/23450/stat : 23450 (java) R 23446 23449 22534 0 -1 4202560 2408 0 1 0 26 1 0 0 20 0 18 0 30262725 9787879424 8833 33554432000 1073741824 1073778376 140736267179056 139891936107424 139891799291296 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700277 s]
/proc/loadavg: 2.29 2.17 2.10 4/194 23449
/proc/meminfo: memFree=30100980/32872528 swapFree=1103996/1183712
[pid=23449] ppid=23446 vsize=9625040 CPUtime=1.5 cores=0,2,4,6
/proc/23449/stat : 23449 (java) S 23446 23449 22534 0 -1 4202496 14271 0 1 0 146 4 0 0 20 0 19 0 30262725 9856040960 17054 33554432000 1073741824 1073778376 140736267179056 140736267170192 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23449/statm: 2406260 17054 2262 9 0 2396937 0
[pid=23449/tid=23450] ppid=23446 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/23449/task/23450/stat : 23450 (java) R 23446 23449 22534 0 -1 4202560 2424 0 1 0 66 1 0 0 20 0 19 0 30262725 9856040960 17054 33554432000 1073741824 1073778376 140736267179056 139891936108824 139891799938558 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.29 2.17 2.10 4/213 23468
/proc/meminfo: memFree=30037432/32872528 swapFree=1103996/1183712
[pid=23449] ppid=23446 vsize=9625040 CPUtime=2.38 cores=0,2,4,6
/proc/23449/stat : 23449 (java) S 23446 23449 22534 0 -1 4202496 14287 0 1 0 234 4 0 0 20 0 19 0 30262725 9856040960 19113 33554432000 1073741824 1073778376 140736267179056 140736267170192 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23449/statm: 2406260 19113 2273 9 0 2396937 0
[pid=23449/tid=23450] ppid=23446 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/23449/task/23450/stat : 23450 (java) R 23446 23449 22534 0 -1 4202560 2429 0 1 0 145 2 0 0 20 0 19 0 30262725 9856040960 19113 33554432000 1073741824 1073778376 140736267179056 139891936108920 139891799977041 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23452] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23452/stat : 23452 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 19113 33554432000 1073741824 1073778376 140736267179056 139891925171112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23453] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23453/stat : 23453 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 19113 33554432000 1073741824 1073778376 140736267179056 139891924118568 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23449/tid=23454] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23454/stat : 23454 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 19113 33554432000 1073741824 1073778376 140736267179056 139891923065512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23449/tid=23455] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23455/stat : 23455 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 19113 33554432000 1073741824 1073778376 140736267179056 139891922012968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23456] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23456/stat : 23456 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 19113 33554432000 1073741824 1073778376 140736267179056 139891920959912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23457] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23457/stat : 23457 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 19113 33554432000 1073741824 1073778376 140736267179056 139891919907368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23458] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23458/stat : 23458 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 19113 33554432000 1073741824 1073778376 140736267179056 139891918854312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23459] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23459/stat : 23459 (java) S 23446 23449 22534 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 19113 33554432000 1073741824 1073778376 140736267179056 139891917801768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23460] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23460/stat : 23460 (java) S 23446 23449 22534 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 30262727 9856040960 19113 33554432000 1073741824 1073778376 140736267179056 139891760294760 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23461] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23461/stat : 23461 (java) S 23446 23449 22534 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30262728 9856040960 19113 33554432000 1073741824 1073778376 140736267179056 139891759241080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23462] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23462/stat : 23462 (java) S 23446 23449 22534 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30262728 9856040960 19113 33554432000 1073741824 1073778376 140736267179056 139891758187912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23463] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23463/stat : 23463 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262730 9856040960 19113 33554432000 1073741824 1073778376 140736267179056 139891757136656 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23464] ppid=23446 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/23449/task/23464/stat : 23464 (java) S 23446 23449 22534 0 -1 4202560 4695 0 0 0 43 1 0 0 20 0 19 0 30262730 9856040960 19113 33554432000 1073741824 1073778376 140736267179056 139891756083512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23465] ppid=23446 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/23449/task/23465/stat : 23465 (java) S 23446 23449 22534 0 -1 4202560 5892 0 0 0 40 2 0 0 20 0 19 0 30262730 9856040960 19113 33554432000 1073741824 1073778376 140736267179056 139891755030968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23449/tid=23466] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23466/stat : 23466 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262730 9856040960 19113 33554432000 1073741824 1073778376 140736267179056 139891753978104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23449/tid=23467] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23467/stat : 23467 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262730 9856040960 19113 33554432000 1073741824 1073778376 140736267179056 139891752925768 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23468] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23468/stat : 23468 (java) S 23446 23449 22534 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30262764 9856040960 19113 33554432000 1073741824 1073778376 140736267179056 139891751872040 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 9625040

[startup+3.10081 s]
/proc/loadavg: 2.29 2.17 2.10 6/213 23468
/proc/meminfo: memFree=30024716/32872528 swapFree=1103996/1183712
[pid=23449] ppid=23446 vsize=9625040 CPUtime=4.27 cores=0,2,4,6
/proc/23449/stat : 23449 (java) S 23446 23449 22534 0 -1 4202496 16746 0 1 0 422 5 0 0 20 0 19 0 30262725 9856040960 25209 33554432000 1073741824 1073778376 140736267179056 140736267170192 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23449/statm: 2406260 25209 2273 9 0 2396937 0
[pid=23449/tid=23450] ppid=23446 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/23449/task/23450/stat : 23450 (java) R 23446 23449 22534 0 -1 4202560 2442 0 1 0 305 2 0 0 20 0 19 0 30262725 9856040960 25209 33554432000 1073741824 1073778376 140736267179056 139891936107112 139891799896815 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23452] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23452/stat : 23452 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 25209 33554432000 1073741824 1073778376 140736267179056 139891925171112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23453] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23453/stat : 23453 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 25209 33554432000 1073741824 1073778376 140736267179056 139891924118568 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23449/tid=23454] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23454/stat : 23454 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 25209 33554432000 1073741824 1073778376 140736267179056 139891923065512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23449/tid=23455] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23455/stat : 23455 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 25209 33554432000 1073741824 1073778376 140736267179056 139891922012968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23456] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23456/stat : 23456 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 25209 33554432000 1073741824 1073778376 140736267179056 139891920959912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23457] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23457/stat : 23457 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 25209 33554432000 1073741824 1073778376 140736267179056 139891919907368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23458] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23458/stat : 23458 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 25209 33554432000 1073741824 1073778376 140736267179056 139891918854312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23459] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23459/stat : 23459 (java) S 23446 23449 22534 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 25209 33554432000 1073741824 1073778376 140736267179056 139891917801768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23460] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23460/stat : 23460 (java) S 23446 23449 22534 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30262727 9856040960 25209 33554432000 1073741824 1073778376 140736267179056 139891760294760 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23461] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23461/stat : 23461 (java) S 23446 23449 22534 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30262728 9856040960 25209 33554432000 1073741824 1073778376 140736267179056 139891759241080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23462] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23462/stat : 23462 (java) S 23446 23449 22534 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30262728 9856040960 25209 33554432000 1073741824 1073778376 140736267179056 139891758187912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23463] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23463/stat : 23463 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262730 9856040960 25209 33554432000 1073741824 1073778376 140736267179056 139891757136656 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23464] ppid=23446 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/23449/task/23464/stat : 23464 (java) S 23446 23449 22534 0 -1 4202560 4695 0 0 0 46 1 0 0 20 0 19 0 30262730 9856040960 25209 33554432000 1073741824 1073778376 140736267179056 139891756083512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23465] ppid=23446 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/23449/task/23465/stat : 23465 (java) R 23446 23449 22534 0 -1 4202560 8337 0 0 0 66 2 0 0 20 0 19 0 30262730 9856040960 25209 33554432000 1073741824 1073778376 140736267179056 139891755030968 139891938256116 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23449/tid=23466] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23466/stat : 23466 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262730 9856040960 25209 33554432000 1073741824 1073778376 140736267179056 139891753978104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23449/tid=23467] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23467/stat : 23467 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262730 9856040960 25209 33554432000 1073741824 1073778376 140736267179056 139891752925768 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23468] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23468/stat : 23468 (java) S 23446 23449 22534 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30262764 9856040960 25209 33554432000 1073741824 1073778376 140736267179056 139891751872040 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 9625040

[startup+6.30075 s]
/proc/loadavg: 2.35 2.18 2.11 3/213 23468
/proc/meminfo: memFree=29993268/32872528 swapFree=1103996/1183712
[pid=23449] ppid=23446 vsize=9625040 CPUtime=7.57 cores=0,2,4,6
/proc/23449/stat : 23449 (java) S 23446 23449 22534 0 -1 4202496 16770 0 1 0 751 6 0 0 20 0 19 0 30262725 9856040960 29836 33554432000 1073741824 1073778376 140736267179056 140736267170192 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23449/statm: 2406260 29836 2274 9 0 2396937 0
[pid=23449/tid=23450] ppid=23446 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/23449/task/23450/stat : 23450 (java) R 23446 23449 22534 0 -1 4202560 2453 0 1 0 624 2 0 0 20 0 19 0 30262725 9856040960 29836 33554432000 1073741824 1073778376 140736267179056 139891936108904 139891799977046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23452] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23452/stat : 23452 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 29836 33554432000 1073741824 1073778376 140736267179056 139891925171112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23453] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23453/stat : 23453 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 29836 33554432000 1073741824 1073778376 140736267179056 139891924118568 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23449/tid=23454] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23454/stat : 23454 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 29836 33554432000 1073741824 1073778376 140736267179056 139891923065512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23449/tid=23455] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23455/stat : 23455 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 29836 33554432000 1073741824 1073778376 140736267179056 139891922012968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23456] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23456/stat : 23456 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 29836 33554432000 1073741824 1073778376 140736267179056 139891920959912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23457] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23457/stat : 23457 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 29836 33554432000 1073741824 1073778376 140736267179056 139891919907368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23458] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23458/stat : 23458 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 29836 33554432000 1073741824 1073778376 140736267179056 139891918854312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23459] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23459/stat : 23459 (java) S 23446 23449 22534 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30262726 9856040960 29836 33554432000 1073741824 1073778376 140736267179056 139891917801768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23460] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23460/stat : 23460 (java) S 23446 23449 22534 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30262727 9856040960 29836 33554432000 1073741824 1073778376 140736267179056 139891760294760 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23461] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23461/stat : 23461 (java) S 23446 23449 22534 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30262728 9856040960 29836 33554432000 1073741824 1073778376 140736267179056 139891759241080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23462] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23462/stat : 23462 (java) S 23446 23449 22534 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30262728 9856040960 29836 33554432000 1073741824 1073778376 140736267179056 139891758187912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23463] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23463/stat : 23463 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262730 9856040960 29836 33554432000 1073741824 1073778376 140736267179056 139891757136656 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23464] ppid=23446 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/23449/task/23464/stat : 23464 (java) S 23446 23449 22534 0 -1 4202560 4695 0 0 0 46 1 0 0 20 0 19 0 30262730 9856040960 29836 33554432000 1073741824 1073778376 140736267179056 139891756083512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23465] ppid=23446 vsize=9625040 CPUtime=0.78 cores=0,2,4,6

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

[pid=23449/tid=23467] ppid=23446 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/23449/task/23467/stat : 23467 (java) S 23446 23449 22534 0 -1 4202560 100 0 0 0 27 26 0 0 20 0 19 0 30262730 9856040960 133917 33554432000 1073741824 1073778376 140736267179056 139891752925768 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23468] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23468/stat : 23468 (java) S 23446 23449 22534 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30262764 9856040960 133917 33554432000 1073741824 1073778376 140736267179056 139891751872040 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1729.21
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.10 2.18 2.17 4/213 23601
/proc/meminfo: memFree=29527852/32872528 swapFree=1103996/1183712
[pid=23449] ppid=23446 vsize=9625040 CPUtime=1789.3 cores=0,2,4,6
/proc/23449/stat : 23449 (java) S 23446 23449 22534 0 -1 4202496 21021 0 1 0 178824 106 0 0 20 0 19 0 30262725 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 140736267170192 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23449/statm: 2406260 133403 2297 9 0 2396937 0
[pid=23449/tid=23450] ppid=23446 vsize=9625040 CPUtime=1774.01 cores=0,2,4,6
/proc/23449/task/23450/stat : 23450 (java) R 23446 23449 22534 0 -1 4202560 2550 0 1 0 177371 30 0 0 20 0 19 0 30262725 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891936107744 139891800254899 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23449/tid=23452] ppid=23446 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/23449/task/23452/stat : 23452 (java) S 23446 23449 22534 0 -1 4202560 331 0 0 0 76 11 0 0 20 0 19 0 30262726 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891925171112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23453] ppid=23446 vsize=9625040 CPUtime=0.81 cores=0,2,4,6
/proc/23449/task/23453/stat : 23453 (java) S 23446 23449 22534 0 -1 4202560 473 0 0 0 73 8 0 0 20 0 19 0 30262726 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891924118568 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23454] ppid=23446 vsize=9625040 CPUtime=0.83 cores=0,2,4,6
/proc/23449/task/23454/stat : 23454 (java) S 23446 23449 22534 0 -1 4202560 211 0 0 0 75 8 0 0 20 0 19 0 30262726 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891923065512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23455] ppid=23446 vsize=9625040 CPUtime=1.23 cores=0,2,4,6
/proc/23449/task/23455/stat : 23455 (java) S 23446 23449 22534 0 -1 4202560 445 0 0 0 108 15 0 0 20 0 19 0 30262726 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891922012968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23456] ppid=23446 vsize=9625040 CPUtime=0.93 cores=0,2,4,6
/proc/23449/task/23456/stat : 23456 (java) S 23446 23449 22534 0 -1 4202560 431 0 0 0 85 8 0 0 20 0 19 0 30262726 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891920959912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23457] ppid=23446 vsize=9625040 CPUtime=0.95 cores=0,2,4,6
/proc/23449/task/23457/stat : 23457 (java) S 23446 23449 22534 0 -1 4202560 450 0 0 0 86 9 0 0 20 0 19 0 30262726 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891919907368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23449/tid=23458] ppid=23446 vsize=9625040 CPUtime=1.05 cores=0,2,4,6
/proc/23449/task/23458/stat : 23458 (java) S 23446 23449 22534 0 -1 4202560 439 0 0 0 95 10 0 0 20 0 19 0 30262726 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891918854312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23459] ppid=23446 vsize=9625040 CPUtime=0.94 cores=0,2,4,6
/proc/23449/task/23459/stat : 23459 (java) S 23446 23449 22534 0 -1 4202560 771 0 0 0 87 7 0 0 20 0 19 0 30262726 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891917801768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23449/tid=23460] ppid=23446 vsize=9625040 CPUtime=1.35 cores=0,2,4,6
/proc/23449/task/23460/stat : 23460 (java) S 23446 23449 22534 0 -1 4202560 496 0 0 0 132 3 0 0 20 0 19 0 30262727 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891760294760 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23461] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23461/stat : 23461 (java) S 23446 23449 22534 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30262728 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891759241080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23462] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23462/stat : 23462 (java) S 23446 23449 22534 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30262728 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891758187912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23463] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23463/stat : 23463 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262730 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891757136656 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23464] ppid=23446 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/23449/task/23464/stat : 23464 (java) S 23446 23449 22534 0 -1 4202560 4702 0 0 0 50 1 0 0 20 0 19 0 30262730 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891756083512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23465] ppid=23446 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/23449/task/23465/stat : 23465 (java) S 23446 23449 22534 0 -1 4202560 8360 0 0 0 82 2 0 0 20 0 19 0 30262730 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891755030968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23466] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23466/stat : 23466 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262730 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891753978104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23449/tid=23467] ppid=23446 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/23449/task/23467/stat : 23467 (java) S 23446 23449 22534 0 -1 4202560 104 0 0 0 28 27 0 0 20 0 19 0 30262730 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891752925768 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23468] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23468/stat : 23468 (java) S 23446 23449 22534 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30262764 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891751872040 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1789.3
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793 s]
/proc/loadavg: 2.16 2.19 2.18 3/213 23601
/proc/meminfo: memFree=29527856/32872528 swapFree=1103996/1183712
[pid=23449] ppid=23446 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/23449/stat : 23449 (java) S 23446 23449 22534 0 -1 4202496 21021 0 1 0 179895 106 0 0 20 0 19 0 30262725 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 140736267170192 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23449/statm: 2406260 133403 2297 9 0 2396937 0
[pid=23449/tid=23450] ppid=23446 vsize=9625040 CPUtime=1784.69 cores=0,2,4,6
/proc/23449/task/23450/stat : 23450 (java) R 23446 23449 22534 0 -1 4202560 2550 0 1 0 178438 31 0 0 20 0 19 0 30262725 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891936107744 139891800254899 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23449/tid=23452] ppid=23446 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/23449/task/23452/stat : 23452 (java) S 23446 23449 22534 0 -1 4202560 331 0 0 0 76 11 0 0 20 0 19 0 30262726 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891925171112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23453] ppid=23446 vsize=9625040 CPUtime=0.81 cores=0,2,4,6
/proc/23449/task/23453/stat : 23453 (java) S 23446 23449 22534 0 -1 4202560 473 0 0 0 73 8 0 0 20 0 19 0 30262726 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891924118568 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23454] ppid=23446 vsize=9625040 CPUtime=0.83 cores=0,2,4,6
/proc/23449/task/23454/stat : 23454 (java) S 23446 23449 22534 0 -1 4202560 211 0 0 0 75 8 0 0 20 0 19 0 30262726 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891923065512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23455] ppid=23446 vsize=9625040 CPUtime=1.23 cores=0,2,4,6
/proc/23449/task/23455/stat : 23455 (java) S 23446 23449 22534 0 -1 4202560 445 0 0 0 108 15 0 0 20 0 19 0 30262726 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891922012968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23456] ppid=23446 vsize=9625040 CPUtime=0.93 cores=0,2,4,6
/proc/23449/task/23456/stat : 23456 (java) S 23446 23449 22534 0 -1 4202560 431 0 0 0 85 8 0 0 20 0 19 0 30262726 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891920959912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23457] ppid=23446 vsize=9625040 CPUtime=0.95 cores=0,2,4,6
/proc/23449/task/23457/stat : 23457 (java) S 23446 23449 22534 0 -1 4202560 450 0 0 0 86 9 0 0 20 0 19 0 30262726 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891919907368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23449/tid=23458] ppid=23446 vsize=9625040 CPUtime=1.05 cores=0,2,4,6
/proc/23449/task/23458/stat : 23458 (java) S 23446 23449 22534 0 -1 4202560 439 0 0 0 95 10 0 0 20 0 19 0 30262726 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891918854312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23459] ppid=23446 vsize=9625040 CPUtime=0.94 cores=0,2,4,6
/proc/23449/task/23459/stat : 23459 (java) S 23446 23449 22534 0 -1 4202560 771 0 0 0 87 7 0 0 20 0 19 0 30262726 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891917801768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23449/tid=23460] ppid=23446 vsize=9625040 CPUtime=1.35 cores=0,2,4,6
/proc/23449/task/23460/stat : 23460 (java) S 23446 23449 22534 0 -1 4202560 496 0 0 0 132 3 0 0 20 0 19 0 30262727 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891760294760 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23461] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23461/stat : 23461 (java) S 23446 23449 22534 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30262728 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891759241080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23462] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23462/stat : 23462 (java) S 23446 23449 22534 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30262728 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891758187912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23463] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23463/stat : 23463 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262730 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891757136656 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23464] ppid=23446 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/23449/task/23464/stat : 23464 (java) S 23446 23449 22534 0 -1 4202560 4702 0 0 0 50 1 0 0 20 0 19 0 30262730 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891756083512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23465] ppid=23446 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/23449/task/23465/stat : 23465 (java) S 23446 23449 22534 0 -1 4202560 8360 0 0 0 82 2 0 0 20 0 19 0 30262730 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891755030968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23466] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23466/stat : 23466 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30262730 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891753978104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23449/tid=23467] ppid=23446 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/23449/task/23467/stat : 23467 (java) S 23446 23449 22534 0 -1 4202560 104 0 0 0 28 28 0 0 20 0 19 0 30262730 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891752925768 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23468] ppid=23446 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23468/stat : 23468 (java) S 23446 23449 22534 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30262764 9856040960 133403 33554432000 1073741824 1073778376 140736267179056 139891751872040 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 23449 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1793.2 s]
/proc/loadavg: 2.16 2.19 2.18 3/213 23601
/proc/meminfo: memFree=29527856/32872528 swapFree=1103996/1183712
[pid=23449] ppid=23446 vsize=9758168 CPUtime=1800.29 cores=0,2,4,6
/proc/23449/stat : 23449 (java) S 23446 23449 22534 0 -1 4202496 21070 0 1 0 179923 106 0 0 20 0 20 0 30262725 9992364032 132773 33554432000 1073741824 1073778376 140736267179056 140736267170192 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23449/statm: 2439542 132773 2298 9 0 2430219 0
[pid=23449/tid=23450] ppid=23446 vsize=9758168 CPUtime=1784.7 cores=0,2,4,6
/proc/23449/task/23450/stat : 23450 (java) S 23446 23449 22534 0 -1 4202560 2550 0 1 0 178439 31 0 0 20 0 20 0 30262725 9992364032 132773 33554432000 1073741824 1073778376 140736267179056 139891936109976 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23452] ppid=23446 vsize=9758168 CPUtime=0.89 cores=0,2,4,6
/proc/23449/task/23452/stat : 23452 (java) S 23446 23449 22534 0 -1 4202560 331 0 0 0 78 11 0 0 20 0 20 0 30262726 9992364032 132773 33554432000 1073741824 1073778376 140736267179056 139891925171112 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23449/tid=23453] ppid=23446 vsize=9758168 CPUtime=0.82 cores=0,2,4,6
/proc/23449/task/23453/stat : 23453 (java) S 23446 23449 22534 0 -1 4202560 473 0 0 0 74 8 0 0 20 0 20 0 30262726 9992364032 132773 33554432000 1073741824 1073778376 140736267179056 139891924118568 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23454] ppid=23446 vsize=9758168 CPUtime=0.84 cores=0,2,4,6
/proc/23449/task/23454/stat : 23454 (java) S 23446 23449 22534 0 -1 4202560 211 0 0 0 76 8 0 0 20 0 20 0 30262726 9992364032 132773 33554432000 1073741824 1073778376 140736267179056 139891923065512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23455] ppid=23446 vsize=9758168 CPUtime=1.24 cores=0,2,4,6
/proc/23449/task/23455/stat : 23455 (java) S 23446 23449 22534 0 -1 4202560 445 0 0 0 109 15 0 0 20 0 20 0 30262726 9992364032 132773 33554432000 1073741824 1073778376 140736267179056 139891922012968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23456] ppid=23446 vsize=9758168 CPUtime=0.96 cores=0,2,4,6
/proc/23449/task/23456/stat : 23456 (java) S 23446 23449 22534 0 -1 4202560 431 0 0 0 88 8 0 0 20 0 20 0 30262726 9992364032 132773 33554432000 1073741824 1073778376 140736267179056 139891920959912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23457] ppid=23446 vsize=9758168 CPUtime=0.96 cores=0,2,4,6
/proc/23449/task/23457/stat : 23457 (java) S 23446 23449 22534 0 -1 4202560 453 0 0 0 87 9 0 0 20 0 20 0 30262726 9992364032 132773 33554432000 1073741824 1073778376 140736267179056 139891919907368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23449/tid=23458] ppid=23446 vsize=9758168 CPUtime=1.05 cores=0,2,4,6
/proc/23449/task/23458/stat : 23458 (java) S 23446 23449 22534 0 -1 4202560 439 0 0 0 95 10 0 0 20 0 20 0 30262726 9992364032 132773 33554432000 1073741824 1073778376 140736267179056 139891918854312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23459] ppid=23446 vsize=9758168 CPUtime=0.95 cores=0,2,4,6
/proc/23449/task/23459/stat : 23459 (java) S 23446 23449 22534 0 -1 4202560 771 0 0 0 88 7 0 0 20 0 20 0 30262726 9992364032 132773 33554432000 1073741824 1073778376 140736267179056 139891917801768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23449/tid=23460] ppid=23446 vsize=9758168 CPUtime=1.49 cores=0,2,4,6
/proc/23449/task/23460/stat : 23460 (java) S 23446 23449 22534 0 -1 4202560 509 0 0 0 146 3 0 0 20 0 20 0 30262727 9992364032 132773 33554432000 1073741824 1073778376 140736267179056 139891760294760 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23461] ppid=23446 vsize=9758168 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23461/stat : 23461 (java) S 23446 23449 22534 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 30262728 9992364032 132773 33554432000 1073741824 1073778376 140736267179056 139891759241080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23462] ppid=23446 vsize=9758168 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23462/stat : 23462 (java) S 23446 23449 22534 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 30262728 9992364032 132773 33554432000 1073741824 1073778376 140736267179056 139891758187912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23463] ppid=23446 vsize=9758168 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23463/stat : 23463 (java) S 23446 23449 22534 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 30262730 9992364032 132773 33554432000 1073741824 1073778376 140736267179056 139891757136656 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23464] ppid=23446 vsize=9758168 CPUtime=0.51 cores=0,2,4,6
/proc/23449/task/23464/stat : 23464 (java) S 23446 23449 22534 0 -1 4202560 4703 0 0 0 50 1 0 0 20 0 20 0 30262730 9992364032 132773 33554432000 1073741824 1073778376 140736267179056 139891756083512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23449/tid=23465] ppid=23446 vsize=9758168 CPUtime=0.86 cores=0,2,4,6
/proc/23449/task/23465/stat : 23465 (java) S 23446 23449 22534 0 -1 4202560 8360 0 0 0 84 2 0 0 20 0 20 0 30262730 9992364032 132773 33554432000 1073741824 1073778376 140736267179056 139891755030968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23449/tid=23466] ppid=23446 vsize=9758168 CPUtime=0 cores=0,2,4,6
/proc/23449/task/23466/stat : 23466 (java) S 23446 23449 22534 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 30262730 9992364032 132773 33554432000 1073741824 1073778376 140736267179056 139891753978104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23449/tid=23467] ppid=23446 vsize=9758168 CPUtime=0.56 cores=0,2,4,6
/proc/23449/task/23467/stat : 23467 (java) S 23446 23449 22534 0 -1 4202560 104 0 0 0 28 28 0 0 20 0 20 0 30262730 9992364032 132773 33554432000 1073741824 1073778376 140736267179056 139891752925768 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 9758168

Child status: 143

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

Real time (s): 1793.21
CPU time (s): 1800.29
CPU user time (s): 1799.23
CPU system time (s): 1.06
CPU usage (%): 100.395
Max. virtual memory (cumulated for all children) (KiB): 9758168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.57
system time used= 1.55076
maximum resident set size= 861928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21071
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39793
involuntary context switches= 19451

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.99448 second user time and 13.8219 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-18 22:35:38
IDJOB=4106939
IDBENCH=48333
IDSOLVER=2546
FILE ID=node115/4106939-1466282137
RUNJOBID= node115-1466275999-22550
PBS_JOBID= 19918252
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_10_3_15.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106939-1466282137/watcher-4106939-1466282137 -o /tmp/evaluation-result-4106939-1466282137/solver-4106939-1466282137 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466275999-22550 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4106939-1466282137.opb

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

MD5SUM BENCH= bbe3a085a15e9497809c2511fab038f0
RANDOM SEED=879440000

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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		: 2667.103
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:        30101716 kB
Buffers:          167088 kB
Cached:           205872 kB
SwapCached:         2472 kB
Active:           558664 kB
Inactive:         280040 kB
Active(anon):     465944 kB
Inactive(anon):     2168 kB
Active(file):      92720 kB
Inactive(file):   277872 kB
Unevictable:     1183712 kB
Mlocked:         1103996 kB
SwapTotal:      67108856 kB
SwapFree:       67099632 kB
Dirty:               844 kB
Writeback:             0 kB
AnonPages:       1662572 kB
Mapped:            16684 kB
Shmem:                 0 kB
Slab:             613640 kB
SReclaimable:      57016 kB
SUnreclaim:       556624 kB
KernelStack:        1760 kB
PageTables:         7728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1796768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    514048 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= 71740 MiB
End job on node115 at 2016-06-18 23:05:31