Trace number 4106897

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.43 1785.63

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_4_80.opb
MD5SUMd17850f8cb83537ab22f6a30504d9d46
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non 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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
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 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31508
Sum of products size (including duplicates)63016
Number of different products15754
Sum of products size31508

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.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Glucose 2.1 dynamic restart strategy
0.08/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.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-4106897-1466280572.opb
0.08/0.11	c reading problem ... 
0.08/0.12	c  no objective function found
1.66/0.72	c ... done. Wall clock time 0.609s.
1.66/0.72	c declared #vars     1000
1.66/0.72	c internal #vars     16754
1.66/0.72	c #constraints  33011
1.66/0.72	c constraints type 
1.66/0.72	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15754
1.66/0.72	c org.sat4j.minisat.constraints.card.MinWatchCard => 1003
1.66/0.72	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1.66/0.72	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15754
1.66/0.72	c 33011 constraints processed.
5.02/3.00	c cleaning 2534 clauses out of 5067 with flag 12126/5067
6.97/4.92	c cleaning 4113 clauses out of 8466 with flag 24507/11000
8.97/6.95	c cleaning 5682 clauses out of 11364 with flag 39331/18011
11.19/9.12	c cleaning 6719 clauses out of 13672 with flag 56071/26001
12.97/10.77	c cleaning 7940 clauses out of 15952 with flag 80466/35000
14.97/12.77	c cleaning 8923 clauses out of 18013 with flag 103243/45001
17.97/15.70	c cleaning 10021 clauses out of 20089 with flag 126959/56000
22.27/20.02	c cleaning 10934 clauses out of 22069 with flag 152283/68001
28.67/26.46	c cleaning 11944 clauses out of 24134 with flag 180050/81000
33.96/31.74	c cleaning 13121 clauses out of 26241 with flag 209557/95051
38.70/36.11	c cleaning 13968 clauses out of 28069 with flag 241987/110000
41.70/39.16	c cleaning 15016 clauses out of 30101 with flag 282120/126000
47.81/45.20	c cleaning 16028 clauses out of 32085 with flag 318643/143000
54.50/51.97	c cleaning 16973 clauses out of 34057 with flag 356186/161000
58.81/56.21	c cleaning 17964 clauses out of 36085 with flag 400692/180001
65.04/62.18	c cleaning 18933 clauses out of 38120 with flag 443694/200000
73.03/70.15	c cleaning 20096 clauses out of 40193 with flag 487383/221006
78.13/75.26	c cleaning 20964 clauses out of 42091 with flag 536856/243000
86.03/83.13	c cleaning 22115 clauses out of 44232 with flag 586796/266105
93.93/91.02	c cleaning 22983 clauses out of 46026 with flag 637515/290014
100.53/97.64	c cleaning 24062 clauses out of 48126 with flag 700171/315097
111.54/108.13	c cleaning 24882 clauses out of 49967 with flag 754460/341000
118.14/114.71	c cleaning 25925 clauses out of 52086 with flag 816669/368001
128.84/125.44	c cleaning 27091 clauses out of 54184 with flag 875339/396024
136.23/132.88	c cleaning 27912 clauses out of 56069 with flag 941135/425000
147.93/144.56	c cleaning 29087 clauses out of 58175 with flag 1004218/455018
157.30/153.45	c cleaning 30090 clauses out of 60181 with flag 1075421/486111
168.90/165.06	c cleaning 30893 clauses out of 61980 with flag 1143591/518000
181.00/177.13	c cleaning 32044 clauses out of 64089 with flag 1222054/551002
191.11/187.24	c cleaning 32903 clauses out of 66043 with flag 1299228/585000
204.51/200.67	c cleaning 34063 clauses out of 68163 with flag 1373080/620023
216.51/212.61	c cleaning 35048 clauses out of 70097 with flag 1454884/656020
228.01/224.19	c cleaning 35957 clauses out of 72029 with flag 1539346/693000
242.32/237.42	c cleaning 36919 clauses out of 74072 with flag 1624433/731000
256.93/252.04	c cleaning 37961 clauses out of 76153 with flag 1707114/770000
270.83/265.92	c cleaning 38973 clauses out of 78193 with flag 1798049/810001
283.63/278.79	c cleaning 40080 clauses out of 80245 with flag 1890600/851026
296.94/292.05	c cleaning 40966 clauses out of 82140 with flag 1988769/893001
309.75/304.81	c cleaning 42055 clauses out of 84186 with flag 2095389/936013
326.13/319.98	c cleaning 43082 clauses out of 86163 with flag 2195304/980045
341.62/335.50	c cleaning 43909 clauses out of 88037 with flag 2296328/1025001
355.42/349.29	c cleaning 44968 clauses out of 90127 with flag 2406568/1071000
372.54/366.36	c cleaning 46065 clauses out of 92159 with flag 2511224/1118000
388.66/382.10	c cleaning 46913 clauses out of 94094 with flag 2624906/1166000
406.56/400.05	c cleaning 48084 clauses out of 96214 with flag 2734872/1215033
423.27/416.70	c cleaning 48916 clauses out of 98098 with flag 2854955/1265001
440.98/434.42	c cleaning 49999 clauses out of 100181 with flag 2975533/1316000
460.48/452.93	c cleaning 51021 clauses out of 102183 with flag 3099854/1368001
480.60/473.05	c cleaning 51982 clauses out of 104161 with flag 3225982/1421000
500.69/493.19	c cleaning 53010 clauses out of 106180 with flag 3353626/1475001
522.30/514.73	c cleaning 54021 clauses out of 108169 with flag 3493117/1530000
545.14/536.67	c cleaning 54974 clauses out of 110149 with flag 3635425/1586001
565.95/557.49	c cleaning 56023 clauses out of 112174 with flag 3784265/1643000
587.27/578.78	c cleaning 57017 clauses out of 114151 with flag 3935670/1701000
608.79/599.93	c cleaning 57983 clauses out of 116135 with flag 4105541/1760001
630.09/621.24	c cleaning 58993 clauses out of 118152 with flag 4275861/1820001
651.61/642.76	c cleaning 60014 clauses out of 120159 with flag 4466767/1881001
668.08/658.52	c cleaning 61013 clauses out of 122144 with flag 4722297/1943000
679.18/669.62	c cleaning 62033 clauses out of 124133 with flag 4931313/2006002
701.19/691.60	c cleaning 62997 clauses out of 126098 with flag 5181859/2070000
726.74/716.80	c cleaning 63980 clauses out of 128102 with flag 5385986/2135001
754.88/744.92	c cleaning 64957 clauses out of 130121 with flag 5582879/2201000
785.08/775.15	c cleaning 66019 clauses out of 132166 with flag 5766841/2268002
817.52/806.91	c cleaning 67004 clauses out of 134152 with flag 5949634/2336007
851.52/840.96	c cleaning 67990 clauses out of 136142 with flag 6127339/2405001
886.47/875.54	c cleaning 68976 clauses out of 138152 with flag 6314017/2475001
923.48/912.51	c cleaning 69975 clauses out of 140175 with flag 6492634/2546000
961.51/950.59	c cleaning 71034 clauses out of 142200 with flag 6671860/2618000
1002.62/991.11	c cleaning 72072 clauses out of 144192 with flag 6848347/2691026
1044.53/1033.06	c cleaning 72944 clauses out of 146095 with flag 7026743/2765001
1087.81/1076.02	c cleaning 74050 clauses out of 148184 with flag 7214061/2840034
1134.04/1122.28	c cleaning 74946 clauses out of 150101 with flag 7393801/2916001
1183.16/1170.88	c cleaning 75977 clauses out of 152154 with flag 7576994/2993000
1231.97/1219.67	c cleaning 77066 clauses out of 154177 with flag 7760580/3071000
1282.15/1269.53	c cleaning 77966 clauses out of 156111 with flag 7943436/3150000
1333.36/1320.72	c cleaning 79044 clauses out of 158145 with flag 8133619/3230000
1385.31/1372.29	c cleaning 79939 clauses out of 160101 with flag 8323248/3311000
1443.41/1430.10	c cleaning 81047 clauses out of 162174 with flag 8509936/3393012
1503.73/1490.37	c cleaning 82060 clauses out of 164120 with flag 8704203/3476005
1561.85/1548.02	c cleaning 82959 clauses out of 166056 with flag 8901404/3560001
1630.14/1616.02	c cleaning 84005 clauses out of 168096 with flag 9094049/3645000
1692.95/1678.81	c cleaning 85004 clauses out of 170091 with flag 9293742/3731000
1762.04/1747.51	c cleaning 86081 clauses out of 172162 with flag 9488125/3818075
1800.05/1785.59	c starts		: 1
1800.05/1785.59	c conflicts		: 3878357
1800.05/1785.59	c decisions		: 40870384
1800.05/1785.59	c propagations		: 112079280
1800.05/1785.59	c inspects		: 22134411756
1800.05/1785.59	c shortcuts		: 0
1800.05/1785.59	c learnt literals	: 0
1800.05/1785.59	c learnt binary clauses	: 0
1800.05/1785.59	c learnt ternary clauses	: 0
1800.05/1785.59	c learnt constraints	: 3878357
1800.05/1785.59	c ignored constraints	: 0
1800.05/1785.59	c root simplifications	: 0
1800.05/1785.59	c removed literals (reason simplification)	: 0
1800.05/1785.59	c reason swapping (by a shorter reason)	: 0
1800.05/1785.59	c Calls to reduceDB	: 83
1800.05/1785.59	c Number of update (reduction) of LBD	: 430417
1800.05/1785.59	c Imported unit clauses	: 0
1800.05/1785.59	c number of reductions to clauses (during analyze)	: 0
1800.05/1785.59	c number of learned constraints concerned by reduction	: 0
1800.05/1785.59	c number of learning phase by resolution	: 0
1800.05/1785.59	c number of learning phase by cutting planes	: 0
1800.05/1785.59	c speed (assignments/second)	: 62794.754296016865
1800.05/1785.59	c non guided choices	16215
1800.05/1785.59	c timeout
1800.43/1785.62	c learnt constraints type 
1800.43/1785.62	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 146363
1800.43/1785.62	s UNKNOWN
1800.43/1785.62	c Total wall clock time (in seconds): 1785.505

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-4106897-1466280572/watcher-4106897-1466280572 -o /tmp/evaluation-result-4106897-1466280572/solver-4106897-1466280572 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466276989-21401 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106897-1466280572.opb 

pid=21754
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.09 2.11 2.08 3/194 21757
/proc/meminfo: memFree=30738224/32872528 swapFree=241348/274052
[pid=21757] ppid=21754 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/21757/stat : 21757 (java) R 21754 21757 21384 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 30107217 278528 33 33554432000 1073741824 1073778376 140736051882928 140736843699688 251134045479 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 68 33 25 9 0 25 0

[startup+0.100059 s]
/proc/loadavg: 2.09 2.11 2.08 3/194 21757
/proc/meminfo: memFree=30738224/32872528 swapFree=241348/274052
[pid=21757] ppid=21754 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/21757/stat : 21757 (java) S 21754 21757 21384 0 -1 4202496 4412 0 1 0 7 1 0 0 20 0 18 0 30107217 9787879424 6039 33554432000 1073741824 1073778376 140736051882928 140736051874064 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 2389619 6039 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200224 s]
/proc/loadavg: 2.09 2.11 2.08 3/194 21757
/proc/meminfo: memFree=30738224/32872528 swapFree=241348/274052
[pid=21757] ppid=21754 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/21757/stat : 21757 (java) S 21754 21757 21384 0 -1 4202496 4683 0 1 0 22 1 0 0 20 0 18 0 30107217 9787879424 6762 33554432000 1073741824 1073778376 140736051882928 140736051874064 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 2389619 6762 2200 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300231 s]
/proc/loadavg: 2.09 2.11 2.08 3/194 21757
/proc/meminfo: memFree=30738224/32872528 swapFree=241348/274052
[pid=21757] ppid=21754 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/21757/stat : 21757 (java) S 21754 21757 21384 0 -1 4202496 6245 0 1 0 44 2 0 0 20 0 18 0 30107217 9787879424 9394 33554432000 1073741824 1073778376 140736051882928 140736051874064 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 2389619 9382 2243 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700203 s]
/proc/loadavg: 2.09 2.11 2.08 3/194 21757
/proc/meminfo: memFree=30738224/32872528 swapFree=241348/274052
[pid=21757] ppid=21754 vsize=9558476 CPUtime=1.66 cores=1,3,5,7
/proc/21757/stat : 21757 (java) S 21754 21757 21384 0 -1 4202496 20867 0 1 0 158 8 0 0 20 0 18 0 30107217 9787879424 49429 33554432000 1073741824 1073778376 140736051882928 140736051874064 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 2389619 49429 2268 9 0 2380296 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 9558476

[startup+1.50067 s]
/proc/loadavg: 2.09 2.11 2.08 5/213 21776
/proc/meminfo: memFree=30547748/32872528 swapFree=241348/274052
[pid=21757] ppid=21754 vsize=9625040 CPUtime=3.44 cores=1,3,5,7
/proc/21757/stat : 21757 (java) S 21754 21757 21384 0 -1 4202496 22864 0 1 0 335 9 0 0 20 0 19 0 30107217 9856040960 49496 33554432000 1073741824 1073778376 140736051882928 140736051874064 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 2406260 49496 2283 9 0 2396937 0
[pid=21757/tid=21759] ppid=21754 vsize=9625040 CPUtime=1.44 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (java) R 21754 21757 21384 0 -1 4202560 2484 0 1 0 140 4 0 0 20 0 19 0 30107218 9856040960 49496 33554432000 1073741824 1073778376 140736051882928 140507206320504 140507054448223 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21757/tid=21760] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21760/stat : 21760 (java) S 21754 21757 21384 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49496 33554432000 1073741824 1073778376 140736051882928 140507178772904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21761] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21761/stat : 21761 (java) S 21754 21757 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49496 33554432000 1073741824 1073778376 140736051882928 140507177720360 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21757/tid=21762] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21762/stat : 21762 (java) S 21754 21757 21384 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49496 33554432000 1073741824 1073778376 140736051882928 140507176667304 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21757/tid=21763] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21763/stat : 21763 (java) S 21754 21757 21384 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49496 33554432000 1073741824 1073778376 140736051882928 140507175614760 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21757/tid=21764] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21764/stat : 21764 (java) S 21754 21757 21384 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49496 33554432000 1073741824 1073778376 140736051882928 140507174562728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21757/tid=21765] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21765/stat : 21765 (java) S 21754 21757 21384 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49496 33554432000 1073741824 1073778376 140736051882928 140507173510184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21757/tid=21766] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21766/stat : 21766 (java) S 21754 21757 21384 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49496 33554432000 1073741824 1073778376 140736051882928 140507172457128 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21767] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21767/stat : 21767 (java) S 21754 21757 21384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49496 33554432000 1073741824 1073778376 140736051882928 140507042327336 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21768] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21768/stat : 21768 (java) S 21754 21757 21384 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 30107220 9856040960 49496 33554432000 1073741824 1073778376 140736051882928 140506559379816 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21769] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21769/stat : 21769 (java) S 21754 21757 21384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30107221 9856040960 49496 33554432000 1073741824 1073778376 140736051882928 140506558326136 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21770] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21770/stat : 21770 (java) S 21754 21757 21384 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 30107221 9856040960 49496 33554432000 1073741824 1073778376 140736051882928 140506557272968 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21771] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21771/stat : 21771 (java) S 21754 21757 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30107223 9856040960 49496 33554432000 1073741824 1073778376 140736051882928 140506556221712 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21772] ppid=21754 vsize=9625040 CPUtime=0.99 cores=1,3,5,7
/proc/21757/task/21772/stat : 21772 (java) S 21754 21757 21384 0 -1 4202560 7956 0 0 0 98 1 0 0 20 0 19 0 30107223 9856040960 49496 33554432000 1073741824 1073778376 140736051882928 140506555169592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21757/tid=21773] ppid=21754 vsize=9625040 CPUtime=0.9 cores=1,3,5,7
/proc/21757/task/21773/stat : 21773 (java) S 21754 21757 21384 0 -1 4202560 11042 0 0 0 88 2 0 0 20 0 19 0 30107223 9856040960 49496 33554432000 1073741824 1073778376 140736051882928 140506554117048 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21757/tid=21774] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21774/stat : 21774 (java) S 21754 21757 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30107223 9856040960 49496 33554432000 1073741824 1073778376 140736051882928 140506553064184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21757/tid=21775] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21775/stat : 21775 (java) S 21754 21757 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30107223 9856040960 49496 33554432000 1073741824 1073778376 140736051882928 140506552011848 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21776] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21776/stat : 21776 (java) S 21754 21757 21384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30107291 9856040960 49496 33554432000 1073741824 1073778376 140736051882928 140506550957096 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 9625040

[startup+3.10079 s]
/proc/loadavg: 2.09 2.11 2.08 3/213 21776
/proc/meminfo: memFree=30547492/32872528 swapFree=241348/274052
[pid=21757] ppid=21754 vsize=9625040 CPUtime=5.13 cores=1,3,5,7
/proc/21757/stat : 21757 (java) S 21754 21757 21384 0 -1 4202496 22875 0 1 0 504 9 0 0 20 0 19 0 30107217 9856040960 49504 33554432000 1073741824 1073778376 140736051882928 140736051874064 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 2406260 49504 2291 9 0 2396937 0
[pid=21757/tid=21759] ppid=21754 vsize=9625040 CPUtime=3.03 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (java) R 21754 21757 21384 0 -1 4202560 2485 0 1 0 299 4 0 0 20 0 19 0 30107218 9856040960 49504 33554432000 1073741824 1073778376 140736051882928 140507206311648 140507054448427 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21757/tid=21760] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21760/stat : 21760 (java) S 21754 21757 21384 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49504 33554432000 1073741824 1073778376 140736051882928 140507178772904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21761] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21761/stat : 21761 (java) S 21754 21757 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49504 33554432000 1073741824 1073778376 140736051882928 140507177720360 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21757/tid=21762] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21762/stat : 21762 (java) S 21754 21757 21384 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49504 33554432000 1073741824 1073778376 140736051882928 140507176667304 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21757/tid=21763] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21763/stat : 21763 (java) S 21754 21757 21384 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49504 33554432000 1073741824 1073778376 140736051882928 140507175614760 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21757/tid=21764] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21764/stat : 21764 (java) S 21754 21757 21384 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49504 33554432000 1073741824 1073778376 140736051882928 140507174562728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21757/tid=21765] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21765/stat : 21765 (java) S 21754 21757 21384 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49504 33554432000 1073741824 1073778376 140736051882928 140507173510184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21757/tid=21766] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21766/stat : 21766 (java) S 21754 21757 21384 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49504 33554432000 1073741824 1073778376 140736051882928 140507172457128 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21767] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21767/stat : 21767 (java) S 21754 21757 21384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49504 33554432000 1073741824 1073778376 140736051882928 140507042327336 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21768] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21768/stat : 21768 (java) S 21754 21757 21384 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 30107220 9856040960 49504 33554432000 1073741824 1073778376 140736051882928 140506559379816 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21769] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21769/stat : 21769 (java) S 21754 21757 21384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30107221 9856040960 49504 33554432000 1073741824 1073778376 140736051882928 140506558326136 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21770] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21770/stat : 21770 (java) S 21754 21757 21384 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 30107221 9856040960 49504 33554432000 1073741824 1073778376 140736051882928 140506557272968 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21771] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21771/stat : 21771 (java) S 21754 21757 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30107223 9856040960 49504 33554432000 1073741824 1073778376 140736051882928 140506556221712 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21772] ppid=21754 vsize=9625040 CPUtime=1.08 cores=1,3,5,7
/proc/21757/task/21772/stat : 21772 (java) S 21754 21757 21384 0 -1 4202560 7960 0 0 0 106 2 0 0 20 0 19 0 30107223 9856040960 49504 33554432000 1073741824 1073778376 140736051882928 140506555169592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21773] ppid=21754 vsize=9625040 CPUtime=0.92 cores=1,3,5,7
/proc/21757/task/21773/stat : 21773 (java) S 21754 21757 21384 0 -1 4202560 11048 0 0 0 90 2 0 0 20 0 19 0 30107223 9856040960 49504 33554432000 1073741824 1073778376 140736051882928 140506554117048 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21757/tid=21774] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21774/stat : 21774 (java) S 21754 21757 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30107223 9856040960 49504 33554432000 1073741824 1073778376 140736051882928 140506553064184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21757/tid=21775] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21775/stat : 21775 (java) S 21754 21757 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30107223 9856040960 49504 33554432000 1073741824 1073778376 140736051882928 140506552011848 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21776] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21776/stat : 21776 (java) S 21754 21757 21384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30107291 9856040960 49504 33554432000 1073741824 1073778376 140736051882928 140506550957096 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.13
Current children cumulated vsize (KiB) 9625040

[startup+6.30094 s]
/proc/loadavg: 2.09 2.10 2.08 3/213 21776
/proc/meminfo: memFree=30548608/32872528 swapFree=241348/274052
[pid=21757] ppid=21754 vsize=9625040 CPUtime=8.37 cores=1,3,5,7
/proc/21757/stat : 21757 (java) S 21754 21757 21384 0 -1 4202496 22878 0 1 0 828 9 0 0 20 0 19 0 30107217 9856040960 49072 33554432000 1073741824 1073778376 140736051882928 140736051874064 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 2406260 49072 2291 9 0 2396937 0
[pid=21757/tid=21759] ppid=21754 vsize=9625040 CPUtime=6.22 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (java) R 21754 21757 21384 0 -1 4202560 2488 0 1 0 618 4 0 0 20 0 19 0 30107218 9856040960 49072 33554432000 1073741824 1073778376 140736051882928 140507206318496 140507054405403 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21757/tid=21760] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21760/stat : 21760 (java) S 21754 21757 21384 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49072 33554432000 1073741824 1073778376 140736051882928 140507178772904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21761] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21761/stat : 21761 (java) S 21754 21757 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49072 33554432000 1073741824 1073778376 140736051882928 140507177720360 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21757/tid=21762] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21762/stat : 21762 (java) S 21754 21757 21384 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49072 33554432000 1073741824 1073778376 140736051882928 140507176667304 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21757/tid=21763] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21763/stat : 21763 (java) S 21754 21757 21384 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49072 33554432000 1073741824 1073778376 140736051882928 140507175614760 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21757/tid=21764] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21764/stat : 21764 (java) S 21754 21757 21384 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49072 33554432000 1073741824 1073778376 140736051882928 140507174562728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21757/tid=21765] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21765/stat : 21765 (java) S 21754 21757 21384 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49072 33554432000 1073741824 1073778376 140736051882928 140507173510184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21757/tid=21766] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21766/stat : 21766 (java) S 21754 21757 21384 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49072 33554432000 1073741824 1073778376 140736051882928 140507172457128 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21767] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21767/stat : 21767 (java) S 21754 21757 21384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30107219 9856040960 49072 33554432000 1073741824 1073778376 140736051882928 140507042327336 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21768] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21768/stat : 21768 (java) S 21754 21757 21384 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 30107220 9856040960 49072 33554432000 1073741824 1073778376 140736051882928 140506559379816 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21769] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21769/stat : 21769 (java) S 21754 21757 21384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30107221 9856040960 49072 33554432000 1073741824 1073778376 140736051882928 140506558326136 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21770] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21770/stat : 21770 (java) S 21754 21757 21384 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 30107221 9856040960 49072 33554432000 1073741824 1073778376 140736051882928 140506557272968 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21771] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21771/stat : 21771 (java) S 21754 21757 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30107223 9856040960 49072 33554432000 1073741824 1073778376 140736051882928 140506556221712 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21772] ppid=21754 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/21757/task/21772/stat : 21772 (java) S 21754 21757 21384 0 -1 4202560 7960 0 0 0 107 2 0 0 20 0 19 0 30107223 9856040960 49072 33554432000 1073741824 1073778376 140736051882928 140506555169592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21773] ppid=21754 vsize=9625040 CPUtime=0.95 cores=1,3,5,7
/proc/21757/task/21773/stat : 21773 (java) S 21754 21757 21384 0 -1 4202560 11048 0 0 0 93 2 0 0 20 0 19 0 30107223 9856040960 49072 33554432000 1073741824 1073778376 140736051882928 140506554117048 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21757/tid=21774] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21774/stat : 21774 (java) S 21754 21757 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30107223 9856040960 49072 33554432000 1073741824 1073778376 140736051882928 140506553064184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21757/tid=21775] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21775/stat : 21775 (java) S 21754 21757 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30107223 9856040960 49072 33554432000 1073741824 1073778376 140736051882928 140506552011848 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21776] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21776/stat : 21776 (java) S 21754 21757 21384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30107291 9856040960 49072 33554432000 1073741824 1073778376 140736051882928 140506550957096 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.37
Current children cumulated vsize (KiB) 9625040


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

[pid=21757/tid=21775] ppid=21754 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/21757/task/21775/stat : 21775 (java) S 21754 21757 21384 0 -1 4202560 99 0 0 0 34 39 0 0 20 0 19 0 30107223 9856040960 709942 33554432000 1073741824 1073778376 140736051882928 140506552011848 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21776] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21776/stat : 21776 (java) S 21754 21757 21384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30107291 9856040960 709942 33554432000 1073741824 1073778376 140736051882928 140506550957096 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1736.83
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/213 21886
/proc/meminfo: memFree=27670528/32872528 swapFree=241348/274052
[pid=21757] ppid=21754 vsize=9625040 CPUtime=1796.86 cores=1,3,5,7
/proc/21757/stat : 21757 (java) S 21754 21757 21384 0 -1 4202496 114539 0 1 0 179272 414 0 0 20 0 19 0 30107217 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140736051874064 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 2406260 710987 2300 9 0 2396937 0
[pid=21757/tid=21759] ppid=21754 vsize=9625040 CPUtime=1771.18 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (java) R 21754 21757 21384 0 -1 4202560 3422 0 1 0 177080 38 0 0 20 0 19 0 30107218 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140507206311632 140507054516082 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21757/tid=21760] ppid=21754 vsize=9625040 CPUtime=2.05 cores=1,3,5,7
/proc/21757/task/21760/stat : 21760 (java) S 21754 21757 21384 0 -1 4202560 12549 0 0 0 164 41 0 0 20 0 19 0 30107219 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140507178772904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21757/tid=21761] ppid=21754 vsize=9625040 CPUtime=1.88 cores=1,3,5,7
/proc/21757/task/21761/stat : 21761 (java) S 21754 21757 21384 0 -1 4202560 10252 0 0 0 146 42 0 0 20 0 19 0 30107219 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140507177720360 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21757/tid=21762] ppid=21754 vsize=9625040 CPUtime=1.93 cores=1,3,5,7
/proc/21757/task/21762/stat : 21762 (java) S 21754 21757 21384 0 -1 4202560 13511 0 0 0 156 37 0 0 20 0 19 0 30107219 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140507176667304 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21757/tid=21763] ppid=21754 vsize=9625040 CPUtime=2.03 cores=1,3,5,7
/proc/21757/task/21763/stat : 21763 (java) S 21754 21757 21384 0 -1 4202560 11080 0 0 0 149 54 0 0 20 0 19 0 30107219 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140507175614760 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21757/tid=21764] ppid=21754 vsize=9625040 CPUtime=2.06 cores=1,3,5,7
/proc/21757/task/21764/stat : 21764 (java) S 21754 21757 21384 0 -1 4202560 9941 0 0 0 157 49 0 0 20 0 19 0 30107219 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140507174562728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21757/tid=21765] ppid=21754 vsize=9625040 CPUtime=1.96 cores=1,3,5,7
/proc/21757/task/21765/stat : 21765 (java) S 21754 21757 21384 0 -1 4202560 10978 0 0 0 158 38 0 0 20 0 19 0 30107219 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140507173510184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21766] ppid=21754 vsize=9625040 CPUtime=1.87 cores=1,3,5,7
/proc/21757/task/21766/stat : 21766 (java) S 21754 21757 21384 0 -1 4202560 10226 0 0 0 140 47 0 0 20 0 19 0 30107219 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140507172457128 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21767] ppid=21754 vsize=9625040 CPUtime=2.31 cores=1,3,5,7
/proc/21757/task/21767/stat : 21767 (java) S 21754 21757 21384 0 -1 4202560 9841 0 0 0 183 48 0 0 20 0 19 0 30107219 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140507042327336 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21768] ppid=21754 vsize=9625040 CPUtime=2.29 cores=1,3,5,7
/proc/21757/task/21768/stat : 21768 (java) S 21754 21757 21384 0 -1 4202560 2355 0 0 0 225 4 0 0 20 0 19 0 30107220 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140506559379816 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21769] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21769/stat : 21769 (java) S 21754 21757 21384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30107221 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140506558326136 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21770] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21770/stat : 21770 (java) S 21754 21757 21384 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 30107221 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140506557272968 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21771] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21771/stat : 21771 (java) S 21754 21757 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30107223 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140506556221712 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21772] ppid=21754 vsize=9625040 CPUtime=1.1 cores=1,3,5,7
/proc/21757/task/21772/stat : 21772 (java) S 21754 21757 21384 0 -1 4202560 7960 0 0 0 108 2 0 0 20 0 19 0 30107223 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140506555169592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21773] ppid=21754 vsize=9625040 CPUtime=1.03 cores=1,3,5,7
/proc/21757/task/21773/stat : 21773 (java) S 21754 21757 21384 0 -1 4202560 11057 0 0 0 101 2 0 0 20 0 19 0 30107223 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140506554117048 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21757/tid=21774] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21774/stat : 21774 (java) S 21754 21757 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30107223 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140506553064184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21757/tid=21775] ppid=21754 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/21757/task/21775/stat : 21775 (java) S 21754 21757 21384 0 -1 4202560 103 0 0 0 36 40 0 0 20 0 19 0 30107223 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140506552011848 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21776] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21776/stat : 21776 (java) S 21754 21757 21384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30107291 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140506550957096 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1796.86
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1785.5 s]
/proc/loadavg: 2.01 2.05 2.06 3/213 21886
/proc/meminfo: memFree=27670528/32872528 swapFree=241348/274052
[pid=21757] ppid=21754 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/21757/stat : 21757 (java) S 21754 21757 21384 0 -1 4202496 114539 0 1 0 179591 414 0 0 20 0 19 0 30107217 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140736051874064 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 2406260 710987 2300 9 0 2396937 0
[pid=21757/tid=21759] ppid=21754 vsize=9625040 CPUtime=1774.37 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (java) R 21754 21757 21384 0 -1 4202560 3422 0 1 0 177399 38 0 0 20 0 19 0 30107218 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140507206311632 140507054439295 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21757/tid=21760] ppid=21754 vsize=9625040 CPUtime=2.05 cores=1,3,5,7
/proc/21757/task/21760/stat : 21760 (java) S 21754 21757 21384 0 -1 4202560 12549 0 0 0 164 41 0 0 20 0 19 0 30107219 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140507178772904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21757/tid=21761] ppid=21754 vsize=9625040 CPUtime=1.88 cores=1,3,5,7
/proc/21757/task/21761/stat : 21761 (java) S 21754 21757 21384 0 -1 4202560 10252 0 0 0 146 42 0 0 20 0 19 0 30107219 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140507177720360 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21757/tid=21762] ppid=21754 vsize=9625040 CPUtime=1.93 cores=1,3,5,7
/proc/21757/task/21762/stat : 21762 (java) S 21754 21757 21384 0 -1 4202560 13511 0 0 0 156 37 0 0 20 0 19 0 30107219 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140507176667304 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21757/tid=21763] ppid=21754 vsize=9625040 CPUtime=2.03 cores=1,3,5,7
/proc/21757/task/21763/stat : 21763 (java) S 21754 21757 21384 0 -1 4202560 11080 0 0 0 149 54 0 0 20 0 19 0 30107219 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140507175614760 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21757/tid=21764] ppid=21754 vsize=9625040 CPUtime=2.06 cores=1,3,5,7
/proc/21757/task/21764/stat : 21764 (java) S 21754 21757 21384 0 -1 4202560 9941 0 0 0 157 49 0 0 20 0 19 0 30107219 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140507174562728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21757/tid=21765] ppid=21754 vsize=9625040 CPUtime=1.96 cores=1,3,5,7
/proc/21757/task/21765/stat : 21765 (java) S 21754 21757 21384 0 -1 4202560 10978 0 0 0 158 38 0 0 20 0 19 0 30107219 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140507173510184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21766] ppid=21754 vsize=9625040 CPUtime=1.87 cores=1,3,5,7
/proc/21757/task/21766/stat : 21766 (java) S 21754 21757 21384 0 -1 4202560 10226 0 0 0 140 47 0 0 20 0 19 0 30107219 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140507172457128 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21767] ppid=21754 vsize=9625040 CPUtime=2.31 cores=1,3,5,7
/proc/21757/task/21767/stat : 21767 (java) S 21754 21757 21384 0 -1 4202560 9841 0 0 0 183 48 0 0 20 0 19 0 30107219 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140507042327336 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21768] ppid=21754 vsize=9625040 CPUtime=2.29 cores=1,3,5,7
/proc/21757/task/21768/stat : 21768 (java) S 21754 21757 21384 0 -1 4202560 2355 0 0 0 225 4 0 0 20 0 19 0 30107220 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140506559379816 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21769] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21769/stat : 21769 (java) S 21754 21757 21384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30107221 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140506558326136 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21770] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21770/stat : 21770 (java) S 21754 21757 21384 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 30107221 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140506557272968 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21771] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21771/stat : 21771 (java) S 21754 21757 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30107223 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140506556221712 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21772] ppid=21754 vsize=9625040 CPUtime=1.1 cores=1,3,5,7
/proc/21757/task/21772/stat : 21772 (java) S 21754 21757 21384 0 -1 4202560 7960 0 0 0 108 2 0 0 20 0 19 0 30107223 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140506555169592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21773] ppid=21754 vsize=9625040 CPUtime=1.03 cores=1,3,5,7
/proc/21757/task/21773/stat : 21773 (java) S 21754 21757 21384 0 -1 4202560 11057 0 0 0 101 2 0 0 20 0 19 0 30107223 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140506554117048 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21757/tid=21774] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21774/stat : 21774 (java) S 21754 21757 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30107223 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140506553064184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21757/tid=21775] ppid=21754 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/21757/task/21775/stat : 21775 (java) S 21754 21757 21384 0 -1 4202560 103 0 0 0 36 40 0 0 20 0 19 0 30107223 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140506552011848 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21776] ppid=21754 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21776/stat : 21776 (java) S 21754 21757 21384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30107291 9856040960 710987 33554432000 1073741824 1073778376 140736051882928 140506550957096 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 21757 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1785.61 s]
/proc/loadavg: 2.01 2.05 2.06 3/213 21886
/proc/meminfo: memFree=27670528/32872528 swapFree=241348/274052
[pid=21757] ppid=21754 vsize=9758168 CPUtime=1800.43 cores=1,3,5,7
/proc/21757/stat : 21757 (java) S 21754 21757 21384 0 -1 4202496 114592 0 1 0 179629 414 0 0 20 0 20 0 30107217 9992364032 694730 33554432000 1073741824 1073778376 140736051882928 140736051874064 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 2439542 694730 2301 9 0 2430219 0
[pid=21757/tid=21759] ppid=21754 vsize=9758168 CPUtime=1774.38 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (java) S 21754 21757 21384 0 -1 4202560 3422 0 1 0 177400 38 0 0 20 0 20 0 30107218 9992364032 694730 33554432000 1073741824 1073778376 140736051882928 140507206321560 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21757/tid=21760] ppid=21754 vsize=9758168 CPUtime=2.09 cores=1,3,5,7
/proc/21757/task/21760/stat : 21760 (java) S 21754 21757 21384 0 -1 4202560 12549 0 0 0 168 41 0 0 20 0 20 0 30107219 9992364032 694730 33554432000 1073741824 1073778376 140736051882928 140507178772904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21757/tid=21761] ppid=21754 vsize=9758168 CPUtime=1.92 cores=1,3,5,7
/proc/21757/task/21761/stat : 21761 (java) S 21754 21757 21384 0 -1 4202560 10266 0 0 0 150 42 0 0 20 0 20 0 30107219 9992364032 694730 33554432000 1073741824 1073778376 140736051882928 140507177720360 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21757/tid=21762] ppid=21754 vsize=9758168 CPUtime=1.97 cores=1,3,5,7
/proc/21757/task/21762/stat : 21762 (java) S 21754 21757 21384 0 -1 4202560 13515 0 0 0 160 37 0 0 20 0 20 0 30107219 9992364032 694730 33554432000 1073741824 1073778376 140736051882928 140507176667304 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21757/tid=21763] ppid=21754 vsize=9758168 CPUtime=2.11 cores=1,3,5,7
/proc/21757/task/21763/stat : 21763 (java) S 21754 21757 21384 0 -1 4202560 11080 0 0 0 157 54 0 0 20 0 20 0 30107219 9992364032 694730 33554432000 1073741824 1073778376 140736051882928 140507175614760 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21757/tid=21764] ppid=21754 vsize=9758168 CPUtime=2.1 cores=1,3,5,7
/proc/21757/task/21764/stat : 21764 (java) S 21754 21757 21384 0 -1 4202560 9941 0 0 0 161 49 0 0 20 0 20 0 30107219 9992364032 694730 33554432000 1073741824 1073778376 140736051882928 140507174562728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21757/tid=21765] ppid=21754 vsize=9758168 CPUtime=1.99 cores=1,3,5,7
/proc/21757/task/21765/stat : 21765 (java) S 21754 21757 21384 0 -1 4202560 10978 0 0 0 161 38 0 0 20 0 20 0 30107219 9992364032 694730 33554432000 1073741824 1073778376 140736051882928 140507173510184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21757/tid=21766] ppid=21754 vsize=9758168 CPUtime=1.9 cores=1,3,5,7
/proc/21757/task/21766/stat : 21766 (java) S 21754 21757 21384 0 -1 4202560 10226 0 0 0 143 47 0 0 20 0 20 0 30107219 9992364032 694730 33554432000 1073741824 1073778376 140736051882928 140507172457128 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21757/tid=21767] ppid=21754 vsize=9758168 CPUtime=2.33 cores=1,3,5,7
/proc/21757/task/21767/stat : 21767 (java) S 21754 21757 21384 0 -1 4202560 9841 0 0 0 185 48 0 0 20 0 20 0 30107219 9992364032 694730 33554432000 1073741824 1073778376 140736051882928 140507042327336 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21768] ppid=21754 vsize=9758168 CPUtime=2.29 cores=1,3,5,7
/proc/21757/task/21768/stat : 21768 (java) S 21754 21757 21384 0 -1 4202560 2356 0 0 0 225 4 0 0 20 0 20 0 30107220 9992364032 694730 33554432000 1073741824 1073778376 140736051882928 140506559379816 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21769] ppid=21754 vsize=9758168 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21769/stat : 21769 (java) S 21754 21757 21384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 30107221 9992364032 694730 33554432000 1073741824 1073778376 140736051882928 140506558326136 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21770] ppid=21754 vsize=9758168 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21770/stat : 21770 (java) S 21754 21757 21384 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 30107221 9992364032 694730 33554432000 1073741824 1073778376 140736051882928 140506557272968 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21771] ppid=21754 vsize=9758168 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21771/stat : 21771 (java) S 21754 21757 21384 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 30107223 9992364032 694730 33554432000 1073741824 1073778376 140736051882928 140506556221712 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21772] ppid=21754 vsize=9758168 CPUtime=1.1 cores=1,3,5,7
/proc/21757/task/21772/stat : 21772 (java) S 21754 21757 21384 0 -1 4202560 7960 0 0 0 108 2 0 0 20 0 20 0 30107223 9992364032 694730 33554432000 1073741824 1073778376 140736051882928 140506555169592 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21757/tid=21773] ppid=21754 vsize=9758168 CPUtime=1.03 cores=1,3,5,7
/proc/21757/task/21773/stat : 21773 (java) R 21754 21757 21384 0 -1 4202560 11058 0 0 0 101 2 0 0 20 0 20 0 30107223 9992364032 694730 33554432000 1073741824 1073778376 140736051882928 140506554116928 140507212148368 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21757/tid=21774] ppid=21754 vsize=9758168 CPUtime=0 cores=1,3,5,7
/proc/21757/task/21774/stat : 21774 (java) S 21754 21757 21384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 30107223 9992364032 694730 33554432000 1073741824 1073778376 140736051882928 140506553064184 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21757/tid=21775] ppid=21754 vsize=9758168 CPUtime=0.76 cores=1,3,5,7
/proc/21757/task/21775/stat : 21775 (java) S 21754 21757 21384 0 -1 4202560 103 0 0 0 36 40 0 0 20 0 20 0 30107223 9992364032 694730 33554432000 1073741824 1073778376 140736051882928 140506552011848 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 9758168

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21757 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=708618
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=561306
# CPU time returned by wait4() is 1796.27
# while last known CPU time is 1800.43
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1785.63
CPU time (s): 1800.43
CPU user time (s): 1796.29
CPU system time (s): 4.14
CPU usage (%): 100.829
Max. virtual memory (cumulated for all children) (KiB): 9758168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.71
system time used= 4.56131
maximum resident set size= 3704568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114592
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41742
involuntary context switches= 7252

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3408 second user time and 9.74452 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-18 22:09:32
IDJOB=4106897
IDBENCH=48311
IDSOLVER=2546
FILE ID=node107/4106897-1466280572
RUNJOBID= node107-1466276989-21401
PBS_JOBID= 19918269
Free space on /tmp= 71708 MiB

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

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

MD5SUM BENCH= d17850f8cb83537ab22f6a30504d9d46
RANDOM SEED=225009573

node107.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.953
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.90
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.953
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.953
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.56
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.953
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.953
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		: 2666.953
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.56
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.953
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.953
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30738380 kB
Buffers:          159896 kB
Cached:           443424 kB
SwapCached:         3136 kB
Active:           614956 kB
Inactive:         495964 kB
Active(anon):     506928 kB
Inactive(anon):     2864 kB
Active(file):     108028 kB
Inactive(file):   493100 kB
Unevictable:      274052 kB
Mlocked:          241348 kB
SwapTotal:      67108856 kB
SwapFree:       67099620 kB
Dirty:              1212 kB
Writeback:             0 kB
AnonPages:        898564 kB
Mapped:            17084 kB
Shmem:                 0 kB
Slab:             617184 kB
SReclaimable:      60584 kB
SUnreclaim:       556600 kB
KernelStack:        1760 kB
PageTables:         5936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     925424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    628736 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= 71704 MiB
End job on node107 at 2016-06-18 22:39:18