Trace number 4084645

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.04 1790.98

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K88.opb
MD5SUM1622186c78d9255ec55518143c1e5a9e
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5984
Total number of constraints6162
Number of constraints which are clauses6074
Number of constraints which are cardinality constraints (but not clauses)88
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint88
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 89
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.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.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4084645-1465283298.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  no objective function found
0.56/0.37	c ... done. Wall clock time 0.261s.
0.56/0.37	c declared #vars     5984
0.56/0.37	c #constraints  6162
0.56/0.37	c constraints type 
0.56/0.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4941
0.56/0.37	c org.sat4j.minisat.constraints.card.MinWatchCard => 88
0.56/0.37	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.56/0.37	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1131
0.56/0.37	c 6162 constraints processed.
1.74/1.17	c cleaning 2482 clauses out of 4991 with flag 26955/5000
2.62/1.98	c cleaning 4217 clauses out of 8503 with flag 70267/11001
3.52/2.88	c cleaning 5618 clauses out of 11279 with flag 121703/18000
4.53/3.83	c cleaning 6830 clauses out of 13659 with flag 177362/26001
5.65/4.99	c cleaning 7871 clauses out of 15827 with flag 240948/35000
7.04/6.31	c cleaning 8893 clauses out of 17956 with flag 305880/45001
8.45/7.75	c cleaning 9824 clauses out of 20061 with flag 371817/56000
10.14/9.43	c cleaning 10202 clauses out of 22238 with flag 441133/68002
11.95/11.27	c cleaning 11197 clauses out of 25035 with flag 526701/81001
13.95/13.20	c cleaning 12128 clauses out of 27836 with flag 608836/95000
16.15/15.44	c cleaning 13015 clauses out of 30707 with flag 704307/110000
18.45/17.77	c cleaning 13876 clauses out of 33692 with flag 803763/126000
21.04/20.31	c cleaning 14745 clauses out of 36814 with flag 910138/143000
23.85/23.16	c cleaning 15574 clauses out of 40069 with flag 1025642/161000
26.66/25.95	c cleaning 16474 clauses out of 43496 with flag 1151595/180003
29.47/28.78	c cleaning 17300 clauses out of 47022 with flag 1275469/200003
32.56/31.83	c cleaning 18190 clauses out of 50719 with flag 1407027/221000
35.76/35.09	c cleaning 19048 clauses out of 54528 with flag 1554097/243000
39.47/38.71	c cleaning 20231 clauses out of 58481 with flag 1703188/266001
43.37/42.67	c cleaning 20982 clauses out of 62249 with flag 1866017/290000
47.47/46.79	c cleaning 22106 clauses out of 66270 with flag 2030799/315003
51.97/51.27	c cleaning 22811 clauses out of 70160 with flag 2205504/341000
57.04/56.23	c cleaning 23788 clauses out of 74349 with flag 2402137/368000
61.73/60.97	c cleaning 24832 clauses out of 78562 with flag 2601461/396001
66.94/66.15	c cleaning 25633 clauses out of 82729 with flag 2801678/425001
72.03/71.26	c cleaning 26943 clauses out of 87096 with flag 3015867/455001
77.73/76.95	c cleaning 27364 clauses out of 91159 with flag 3237864/486007
83.62/82.88	c cleaning 28690 clauses out of 95789 with flag 3481226/518001
89.93/89.10	c cleaning 29419 clauses out of 100100 with flag 3729373/551002
96.87/95.92	c cleaning 30495 clauses out of 104679 with flag 4003981/585000
103.77/102.89	c cleaning 31374 clauses out of 109185 with flag 4264616/620001
111.37/110.47	c cleaning 32319 clauses out of 113814 with flag 4546752/656004
119.56/118.67	c cleaning 33372 clauses out of 118491 with flag 4840061/693000
128.56/127.41	c cleaning 34251 clauses out of 123117 with flag 5146706/731000
137.46/136.36	c cleaning 35221 clauses out of 127866 with flag 5454399/770000
146.66/145.58	c cleaning 36223 clauses out of 132645 with flag 5791145/810000
156.36/155.26	c cleaning 37220 clauses out of 137423 with flag 6130351/851001
166.56/165.41	c cleaning 38220 clauses out of 142202 with flag 6504201/893000
176.83/175.55	c cleaning 39211 clauses out of 146981 with flag 6869095/936000
187.64/186.37	c cleaning 39951 clauses out of 151770 with flag 7250910/980000
198.84/197.56	c cleaning 41349 clauses out of 156820 with flag 7638509/1025001
210.88/209.32	c cleaning 42199 clauses out of 161479 with flag 8047402/1071009
223.58/222.04	c cleaning 43091 clauses out of 166272 with flag 8491514/1118001
236.57/235.05	c cleaning 43959 clauses out of 171183 with flag 8932934/1166003
250.77/248.91	c cleaning 45509 clauses out of 176224 with flag 9419443/1215004
264.87/263.08	c cleaning 46167 clauses out of 180712 with flag 9901984/1265001
279.26/277.47	c cleaning 47616 clauses out of 185544 with flag 10362418/1316000
294.66/292.54	c cleaning 48214 clauses out of 189928 with flag 10832910/1368000
311.03/308.66	c cleaning 49182 clauses out of 194714 with flag 11330864/1421000
327.23/324.83	c cleaning 50264 clauses out of 199535 with flag 11910963/1475003
343.90/341.44	c cleaning 51213 clauses out of 204268 with flag 12456755/1530000
360.61/358.00	c cleaning 52333 clauses out of 209057 with flag 13000582/1586002
378.91/376.32	c cleaning 53533 clauses out of 213724 with flag 13632762/1643002
397.28/394.60	c cleaning 54171 clauses out of 218189 with flag 14212990/1701000
416.40/413.65	c cleaning 55516 clauses out of 223018 with flag 14783798/1760000
435.77/432.93	c cleaning 56537 clauses out of 227505 with flag 15398703/1820003
457.39/454.43	c cleaning 57443 clauses out of 231967 with flag 16052411/1881002
477.39/474.43	c cleaning 58422 clauses out of 236522 with flag 16673958/1943000
498.15/495.14	c cleaning 59682 clauses out of 241100 with flag 17310717/2006000
521.54/518.46	c cleaning 60638 clauses out of 245420 with flag 17998500/2070002
545.94/542.74	c cleaning 61581 clauses out of 249781 with flag 18734025/2135001
569.12/565.88	c cleaning 62824 clauses out of 254200 with flag 19501056/2201001
593.53/590.19	c cleaning 63826 clauses out of 258380 with flag 20300462/2268005
618.60/615.15	c cleaning 64744 clauses out of 262549 with flag 21112882/2336000
644.89/641.30	c cleaning 65805 clauses out of 266806 with flag 21948663/2405002
671.10/667.30	c cleaning 66700 clauses out of 270999 with flag 22778196/2475000
697.86/694.04	c cleaning 68022 clauses out of 275299 with flag 23654015/2546000
725.16/721.24	c cleaning 69025 clauses out of 279276 with flag 24473786/2618001
754.13/750.01	c cleaning 69315 clauses out of 283256 with flag 25342425/2691007
783.60/779.49	c cleaning 70344 clauses out of 287933 with flag 26250642/2765002
814.75/810.44	c cleaning 71701 clauses out of 292588 with flag 27225088/2840002
845.52/841.10	c cleaning 72741 clauses out of 296885 with flag 28185707/2916000
880.98/876.46	c cleaning 74327 clauses out of 301144 with flag 29468769/2993000
912.73/908.11	c cleaning 74784 clauses out of 304817 with flag 30363516/3071000
947.16/942.40	c cleaning 76240 clauses out of 309033 with flag 31390042/3150000
981.52/976.60	c cleaning 76724 clauses out of 312793 with flag 32378286/3230000
1018.07/1013.07	c cleaning 78025 clauses out of 317070 with flag 33414080/3311001
1055.13/1049.91	c cleaning 78850 clauses out of 321046 with flag 34479574/3393002
1091.17/1085.88	c cleaning 79907 clauses out of 325195 with flag 35497924/3476001
1127.91/1122.48	c cleaning 81274 clauses out of 329287 with flag 36497400/3560000
1168.84/1163.12	c cleaning 82108 clauses out of 333013 with flag 37620855/3645000
1208.89/1203.04	c cleaning 83280 clauses out of 336905 with flag 38807667/3731001
1251.15/1245.00	c cleaning 84208 clauses out of 340627 with flag 40097628/3818003
1294.93/1288.67	c cleaning 85619 clauses out of 344417 with flag 41377535/3906001
1337.83/1331.30	c cleaning 86311 clauses out of 347799 with flag 42525440/3995003
1388.53/1381.82	c cleaning 86929 clauses out of 351486 with flag 44114552/4085001
1433.37/1426.48	c cleaning 88264 clauses out of 355556 with flag 45631167/4176000
1482.78/1475.62	c cleaning 89829 clauses out of 359296 with flag 47485938/4268004
1532.76/1525.32	c cleaning 90884 clauses out of 362465 with flag 49105868/4361002
1578.69/1571.06	c cleaning 91504 clauses out of 365579 with flag 50406879/4455000
1625.78/1617.80	c cleaning 92388 clauses out of 369079 with flag 51685492/4550004
1674.58/1666.40	c cleaning 93482 clauses out of 372687 with flag 53001819/4646000
1725.12/1716.66	c cleaning 94225 clauses out of 376205 with flag 54393919/4743000
1778.22/1769.34	c cleaning 95666 clauses out of 379981 with flag 55714197/4841001
1800.04/1790.91	c starts		: 42196
1800.04/1790.91	c conflicts		: 4896379
1800.04/1790.91	c decisions		: 70151238
1800.04/1790.91	c propagations		: 1762639194
1800.04/1790.91	c inspects		: 19724430453
1800.04/1790.91	c shortcuts		: 0
1800.04/1790.91	c learnt literals	: 53
1800.04/1790.91	c learnt binary clauses	: 101865
1800.04/1790.91	c learnt ternary clauses	: 108796
1800.04/1790.91	c learnt constraints	: 4896326
1800.04/1790.91	c ignored constraints	: 0
1800.04/1790.91	c root simplifications	: 0
1800.04/1790.91	c removed literals (reason simplification)	: 0
1800.04/1790.91	c reason swapping (by a shorter reason)	: 0
1800.04/1790.91	c Calls to reduceDB	: 94
1800.04/1790.91	c Number of update (reduction) of LBD	: 4248465
1800.04/1790.91	c Imported unit clauses	: 0
1800.04/1790.91	c number of reductions to clauses (during analyze)	: 0
1800.04/1790.91	c number of learned constraints concerned by reduction	: 0
1800.04/1790.91	c number of learning phase by resolution	: 0
1800.04/1790.91	c number of learning phase by cutting planes	: 0
1800.04/1790.91	c speed (assignments/second)	: 984424.255861958
1800.04/1790.91	c non guided choices	4539
1800.04/1790.91	c timeout
1800.04/1790.97	c learnt constraints type 
1800.04/1790.97	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 101865
1800.04/1790.97	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 237827
1800.04/1790.97	s UNKNOWN
1800.04/1790.97	c Total wall clock time (in seconds): 1790.856

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-4084645-1465283298/watcher-4084645-1465283298 -o /tmp/evaluation-result-4084645-1465283298/solver-4084645-1465283298 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1465261709-15101 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084645-1465283298.opb 

pid=18908
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.25 2.23 2.19 3/196 18911
/proc/meminfo: memFree=26287172/32872528 swapFree=20720/1686580
[pid=18911] ppid=18908 vsize=9224 CPUtime=0 cores=0,2,4,6
/proc/18911/stat : 18911 (java) R 18908 18911 15085 0 -1 4202496 429 0 0 0 0 0 0 0 20 0 1 0 110261843 9445376 97 33554432000 1073741824 1073778376 140737318191776 140737318188904 215115460487 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18911/statm: 2290 93 70 9 0 38 0

[startup+0.100157 s]
/proc/loadavg: 2.25 2.23 2.19 3/196 18911
/proc/meminfo: memFree=26287172/32872528 swapFree=20720/1686580
[pid=18911] ppid=18908 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/18911/stat : 18911 (java) S 18908 18911 15085 0 -1 4202496 4412 0 1 0 8 1 0 0 20 0 18 0 110261843 9787879424 6037 33554432000 1073741824 1073778376 140737318191776 140737318182912 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18911/statm: 2389619 6037 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200222 s]
/proc/loadavg: 2.25 2.23 2.19 3/196 18911
/proc/meminfo: memFree=26287172/32872528 swapFree=20720/1686580
[pid=18911] ppid=18908 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/18911/stat : 18911 (java) S 18908 18911 15085 0 -1 4202496 4963 0 1 0 26 1 0 0 20 0 18 0 110261843 9787879424 6960 33554432000 1073741824 1073778376 140737318191776 140737318182912 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18911/statm: 2389619 6960 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300224 s]
/proc/loadavg: 2.25 2.23 2.19 3/196 18911
/proc/meminfo: memFree=26287172/32872528 swapFree=20720/1686580
[pid=18911] ppid=18908 vsize=9558476 CPUtime=0.56 cores=0,2,4,6
/proc/18911/stat : 18911 (java) S 18908 18911 15085 0 -1 4202496 7436 0 1 0 54 2 0 0 20 0 18 0 110261843 9787879424 9817 33554432000 1073741824 1073778376 140737318191776 140737318182912 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18911/statm: 2389619 9817 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558476

[startup+0.700239 s]
/proc/loadavg: 2.25 2.23 2.19 3/196 18911
/proc/meminfo: memFree=26287172/32872528 swapFree=20720/1686580
[pid=18911] ppid=18908 vsize=9625040 CPUtime=1.33 cores=0,2,4,6
/proc/18911/stat : 18911 (java) S 18908 18911 15085 0 -1 4202496 9104 0 1 0 131 2 0 0 20 0 19 0 110261843 9856040960 16297 33554432000 1073741824 1073778376 140737318191776 140737318182912 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18911/statm: 2406260 16297 2260 9 0 2396937 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 9625040

[startup+1.50071 s]
/proc/loadavg: 2.25 2.23 2.19 3/215 18930
/proc/meminfo: memFree=26228940/32872528 swapFree=20720/1686580
[pid=18911] ppid=18908 vsize=9625040 CPUtime=2.19 cores=0,2,4,6
/proc/18911/stat : 18911 (java) S 18908 18911 15085 0 -1 4202496 9127 0 1 0 217 2 0 0 20 0 19 0 110261843 9856040960 17337 33554432000 1073741824 1073778376 140737318191776 140737318182912 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18911/statm: 2406260 17337 2266 9 0 2396937 0
[pid=18911/tid=18913] ppid=18908 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/18911/task/18913/stat : 18913 (java) R 18908 18911 15085 0 -1 4202560 2423 0 1 0 145 2 0 0 20 0 19 0 110261844 9856040960 17337 33554432000 1073741824 1073778376 140737318191776 140449640697864 140449474508310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18914] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18914/stat : 18914 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 17337 33554432000 1073741824 1073778376 140737318191776 140449602189480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18915] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18915/stat : 18915 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 17337 33554432000 1073741824 1073778376 140737318191776 140449601136936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18916] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18916/stat : 18916 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 17337 33554432000 1073741824 1073778376 140737318191776 140449600084392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18917] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18917/stat : 18917 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 17337 33554432000 1073741824 1073778376 140737318191776 140449599031848 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18911/tid=18918] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18918/stat : 18918 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 17337 33554432000 1073741824 1073778376 140737318191776 140449597979304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18919] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18919/stat : 18919 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 17337 33554432000 1073741824 1073778376 140737318191776 140449596926760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18920] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18920/stat : 18920 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 17337 33554432000 1073741824 1073778376 140737318191776 140449595874216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18911/tid=18921] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18921/stat : 18921 (java) S 18908 18911 15085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 17337 33554432000 1073741824 1073778376 140737318191776 140449594821672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18922] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18922/stat : 18922 (java) S 18908 18911 15085 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110261846 9856040960 17337 33554432000 1073741824 1073778376 140737318191776 140449464408168 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18911/tid=18923] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18923/stat : 18923 (java) S 18908 18911 15085 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110261847 9856040960 17337 33554432000 1073741824 1073778376 140737318191776 140449463354488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18924] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18924/stat : 18924 (java) S 18908 18911 15085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110261847 9856040960 17337 33554432000 1073741824 1073778376 140737318191776 140449462301832 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18925] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18925/stat : 18925 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261849 9856040960 17337 33554432000 1073741824 1073778376 140737318191776 140449461250576 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18926] ppid=18908 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/18911/task/18926/stat : 18926 (java) S 18908 18911 15085 0 -1 4202560 2962 0 0 0 34 0 0 0 20 0 19 0 110261849 9856040960 17337 33554432000 1073741824 1073778376 140737318191776 140449460197944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18927] ppid=18908 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/18911/task/18927/stat : 18927 (java) S 18908 18911 15085 0 -1 4202560 2466 0 0 0 34 0 0 0 20 0 19 0 110261849 9856040960 17337 33554432000 1073741824 1073778376 140737318191776 140449459145400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18928] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18928/stat : 18928 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261849 9856040960 17337 33554432000 1073741824 1073778376 140737318191776 140448584690680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18929] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18929/stat : 18929 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261849 9856040960 17337 33554432000 1073741824 1073778376 140737318191776 140448583638344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18930] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18930/stat : 18930 (java) S 18908 18911 15085 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110261882 9856040960 17337 33554432000 1073741824 1073778376 140737318191776 140448582583080 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9625040

[startup+3.10081 s]
/proc/loadavg: 2.23 2.23 2.19 3/215 18930
/proc/meminfo: memFree=26221920/32872528 swapFree=20720/1686580
[pid=18911] ppid=18908 vsize=9625040 CPUtime=3.83 cores=0,2,4,6
/proc/18911/stat : 18911 (java) S 18908 18911 15085 0 -1 4202496 9133 0 1 0 380 3 0 0 20 0 19 0 110261843 9856040960 19386 33554432000 1073741824 1073778376 140737318191776 140737318182912 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18911/statm: 2406260 19386 2267 9 0 2396937 0
[pid=18911/tid=18913] ppid=18908 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/18911/task/18913/stat : 18913 (java) R 18908 18911 15085 0 -1 4202560 2428 0 1 0 304 2 0 0 20 0 19 0 110261844 9856040960 19386 33554432000 1073741824 1073778376 140737318191776 140449640689360 140449474612199 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18914] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18914/stat : 18914 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 19386 33554432000 1073741824 1073778376 140737318191776 140449602189480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18915] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18915/stat : 18915 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 19386 33554432000 1073741824 1073778376 140737318191776 140449601136936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18916] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18916/stat : 18916 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 19386 33554432000 1073741824 1073778376 140737318191776 140449600084392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18917] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18917/stat : 18917 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 19386 33554432000 1073741824 1073778376 140737318191776 140449599031848 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18911/tid=18918] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18918/stat : 18918 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 19386 33554432000 1073741824 1073778376 140737318191776 140449597979304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18919] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18919/stat : 18919 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 19386 33554432000 1073741824 1073778376 140737318191776 140449596926760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18920] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18920/stat : 18920 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 19386 33554432000 1073741824 1073778376 140737318191776 140449595874216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18911/tid=18921] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18921/stat : 18921 (java) S 18908 18911 15085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 19386 33554432000 1073741824 1073778376 140737318191776 140449594821672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18922] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18922/stat : 18922 (java) S 18908 18911 15085 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110261846 9856040960 19386 33554432000 1073741824 1073778376 140737318191776 140449464408168 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18911/tid=18923] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18923/stat : 18923 (java) S 18908 18911 15085 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110261847 9856040960 19386 33554432000 1073741824 1073778376 140737318191776 140449463354488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18924] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18924/stat : 18924 (java) S 18908 18911 15085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110261847 9856040960 19386 33554432000 1073741824 1073778376 140737318191776 140449462301832 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18925] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18925/stat : 18925 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261849 9856040960 19386 33554432000 1073741824 1073778376 140737318191776 140449461250576 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18926] ppid=18908 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/18911/task/18926/stat : 18926 (java) S 18908 18911 15085 0 -1 4202560 2962 0 0 0 36 0 0 0 20 0 19 0 110261849 9856040960 19386 33554432000 1073741824 1073778376 140737318191776 140449460197944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18927] ppid=18908 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/18911/task/18927/stat : 18927 (java) S 18908 18911 15085 0 -1 4202560 2467 0 0 0 37 0 0 0 20 0 19 0 110261849 9856040960 19386 33554432000 1073741824 1073778376 140737318191776 140449459145400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18928] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18928/stat : 18928 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261849 9856040960 19386 33554432000 1073741824 1073778376 140737318191776 140448584690680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18929] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18929/stat : 18929 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261849 9856040960 19386 33554432000 1073741824 1073778376 140737318191776 140448583638344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18930] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18930/stat : 18930 (java) S 18908 18911 15085 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110261882 9856040960 19386 33554432000 1073741824 1073778376 140737318191776 140448582583080 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 9625040

[startup+6.30076 s]
/proc/loadavg: 2.23 2.23 2.19 3/215 18930
/proc/meminfo: memFree=26208472/32872528 swapFree=20720/1686580
[pid=18911] ppid=18908 vsize=9625040 CPUtime=7.04 cores=0,2,4,6
/proc/18911/stat : 18911 (java) S 18908 18911 15085 0 -1 4202496 9142 0 1 0 701 3 0 0 20 0 19 0 110261843 9856040960 22636 33554432000 1073741824 1073778376 140737318191776 140737318182912 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18911/statm: 2406260 22636 2268 9 0 2396937 0
[pid=18911/tid=18913] ppid=18908 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/18911/task/18913/stat : 18913 (java) R 18908 18911 15085 0 -1 4202560 2436 0 1 0 623 2 0 0 20 0 19 0 110261844 9856040960 22636 33554432000 1073741824 1073778376 140737318191776 140449640689344 140449474509180 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18914] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18914/stat : 18914 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 22636 33554432000 1073741824 1073778376 140737318191776 140449602189480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18915] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18915/stat : 18915 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 22636 33554432000 1073741824 1073778376 140737318191776 140449601136936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18916] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18916/stat : 18916 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 22636 33554432000 1073741824 1073778376 140737318191776 140449600084392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18917] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18917/stat : 18917 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 22636 33554432000 1073741824 1073778376 140737318191776 140449599031848 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18911/tid=18918] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18918/stat : 18918 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 22636 33554432000 1073741824 1073778376 140737318191776 140449597979304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18919] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18919/stat : 18919 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 22636 33554432000 1073741824 1073778376 140737318191776 140449596926760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18920] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18920/stat : 18920 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 22636 33554432000 1073741824 1073778376 140737318191776 140449595874216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18911/tid=18921] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18921/stat : 18921 (java) S 18908 18911 15085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110261845 9856040960 22636 33554432000 1073741824 1073778376 140737318191776 140449594821672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18922] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18922/stat : 18922 (java) S 18908 18911 15085 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110261846 9856040960 22636 33554432000 1073741824 1073778376 140737318191776 140449464408168 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18911/tid=18923] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18923/stat : 18923 (java) S 18908 18911 15085 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110261847 9856040960 22636 33554432000 1073741824 1073778376 140737318191776 140449463354488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18924] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18924/stat : 18924 (java) S 18908 18911 15085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110261847 9856040960 22636 33554432000 1073741824 1073778376 140737318191776 140449462301832 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18925] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18925/stat : 18925 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261849 9856040960 22636 33554432000 1073741824 1073778376 140737318191776 140449461250576 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18926] ppid=18908 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/18911/task/18926/stat : 18926 (java) S 18908 18911 15085 0 -1 4202560 2962 0 0 0 37 0 0 0 20 0 19 0 110261849 9856040960 22636 33554432000 1073741824 1073778376 140737318191776 140449460197944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18927] ppid=18908 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/18911/task/18927/stat : 18927 (java) S 18908 18911 15085 0 -1 4202560 2467 0 0 0 37 0 0 0 20 0 19 0 110261849 9856040960 22636 33554432000 1073741824 1073778376 140737318191776 140449459145400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18928] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18928/stat : 18928 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261849 9856040960 22636 33554432000 1073741824 1073778376 140737318191776 140448584690680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18929] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18929/stat : 18929 (java) S 18908 18911 15085 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110261849 9856040960 22636 33554432000 1073741824 1073778376 140737318191776 140448583638344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18930] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18930/stat : 18930 (java) S 18908 18911 15085 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110261882 9856040960 22636 33554432000 1073741824 1073778376 140737318191776 140448582583080 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 9625040


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

[pid=18911/tid=18930] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18930/stat : 18930 (java) S 18908 18911 15085 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110261882 9856040960 83477 33554432000 1073741824 1073778376 140737318191776 140448582583080 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1730.85
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.29 2.25 2.20 3/215 19103
/proc/meminfo: memFree=29154012/32872528 swapFree=20720/1686580
[pid=18911] ppid=18908 vsize=9625040 CPUtime=1791.35 cores=0,2,4,6
/proc/18911/stat : 18911 (java) S 18908 18911 15085 0 -1 4202496 14433 0 1 0 179005 130 0 0 20 0 19 0 110261843 9856040960 94046 33554432000 1073741824 1073778376 140737318191776 140737318182912 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18911/statm: 2406260 94046 2290 9 0 2396937 0
[pid=18911/tid=18913] ppid=18908 vsize=9625040 CPUtime=1771.77 cores=0,2,4,6
/proc/18911/task/18913/stat : 18913 (java) R 18908 18911 15085 0 -1 4202560 2578 0 1 0 177146 31 0 0 20 0 19 0 110261844 9856040960 94046 33554432000 1073741824 1073778376 140737318191776 140449640697152 140449474551640 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18914] ppid=18908 vsize=9625040 CPUtime=1.35 cores=0,2,4,6
/proc/18911/task/18914/stat : 18914 (java) S 18908 18911 15085 0 -1 4202560 293 0 0 0 122 13 0 0 20 0 19 0 110261845 9856040960 94046 33554432000 1073741824 1073778376 140737318191776 140449602189480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18911/tid=18915] ppid=18908 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/18911/task/18915/stat : 18915 (java) S 18908 18911 15085 0 -1 4202560 341 0 0 0 132 14 0 0 20 0 19 0 110261845 9856040960 94046 33554432000 1073741824 1073778376 140737318191776 140449601136936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18916] ppid=18908 vsize=9625040 CPUtime=1.52 cores=0,2,4,6
/proc/18911/task/18916/stat : 18916 (java) S 18908 18911 15085 0 -1 4202560 829 0 0 0 138 14 0 0 20 0 19 0 110261845 9856040960 94046 33554432000 1073741824 1073778376 140737318191776 140449600084392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18917] ppid=18908 vsize=9625040 CPUtime=1.29 cores=0,2,4,6
/proc/18911/task/18917/stat : 18917 (java) S 18908 18911 15085 0 -1 4202560 545 0 0 0 120 9 0 0 20 0 19 0 110261845 9856040960 94046 33554432000 1073741824 1073778376 140737318191776 140449599031848 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18918] ppid=18908 vsize=9625040 CPUtime=1.27 cores=0,2,4,6
/proc/18911/task/18918/stat : 18918 (java) S 18908 18911 15085 0 -1 4202560 413 0 0 0 117 10 0 0 20 0 19 0 110261845 9856040960 94046 33554432000 1073741824 1073778376 140737318191776 140449597979304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18919] ppid=18908 vsize=9625040 CPUtime=1.32 cores=0,2,4,6
/proc/18911/task/18919/stat : 18919 (java) S 18908 18911 15085 0 -1 4202560 779 0 0 0 122 10 0 0 20 0 19 0 110261845 9856040960 94046 33554432000 1073741824 1073778376 140737318191776 140449596926760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18920] ppid=18908 vsize=9625040 CPUtime=1.43 cores=0,2,4,6
/proc/18911/task/18920/stat : 18920 (java) S 18908 18911 15085 0 -1 4202560 795 0 0 0 131 12 0 0 20 0 19 0 110261845 9856040960 94046 33554432000 1073741824 1073778376 140737318191776 140449595874216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18921] ppid=18908 vsize=9625040 CPUtime=1.55 cores=0,2,4,6
/proc/18911/task/18921/stat : 18921 (java) S 18908 18911 15085 0 -1 4202560 540 0 0 0 140 15 0 0 20 0 19 0 110261845 9856040960 94046 33554432000 1073741824 1073778376 140737318191776 140449594821672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18922] ppid=18908 vsize=9625040 CPUtime=2.62 cores=0,2,4,6
/proc/18911/task/18922/stat : 18922 (java) S 18908 18911 15085 0 -1 4202560 520 0 0 0 259 3 0 0 20 0 19 0 110261846 9856040960 94046 33554432000 1073741824 1073778376 140737318191776 140449464408168 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18923] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18923/stat : 18923 (java) S 18908 18911 15085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110261847 9856040960 94046 33554432000 1073741824 1073778376 140737318191776 140449463354488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18924] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18924/stat : 18924 (java) S 18908 18911 15085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110261847 9856040960 94046 33554432000 1073741824 1073778376 140737318191776 140449462301832 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18925] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18925/stat : 18925 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261849 9856040960 94046 33554432000 1073741824 1073778376 140737318191776 140449461250576 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18926] ppid=18908 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/18911/task/18926/stat : 18926 (java) S 18908 18911 15085 0 -1 4202560 2967 0 0 0 40 0 0 0 20 0 19 0 110261849 9856040960 94046 33554432000 1073741824 1073778376 140737318191776 140449460197944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18927] ppid=18908 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/18911/task/18927/stat : 18927 (java) S 18908 18911 15085 0 -1 4202560 2467 0 0 0 37 0 0 0 20 0 19 0 110261849 9856040960 94046 33554432000 1073741824 1073778376 140737318191776 140449459145400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18928] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18928/stat : 18928 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261849 9856040960 94046 33554432000 1073741824 1073778376 140737318191776 140448584690680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18929] ppid=18908 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/18911/task/18929/stat : 18929 (java) S 18908 18911 15085 0 -1 4202560 104 0 0 0 31 31 0 0 20 0 19 0 110261849 9856040960 94046 33554432000 1073741824 1073778376 140737318191776 140448583638344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18930] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18930/stat : 18930 (java) S 18908 18911 15085 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110261882 9856040960 94046 33554432000 1073741824 1073778376 140737318191776 140448582583080 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.35
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.91 s]
/proc/loadavg: 2.40 2.28 2.20 3/215 19104
/proc/meminfo: memFree=29170256/32872528 swapFree=20720/1686580
[pid=18911] ppid=18908 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6
/proc/18911/stat : 18911 (java) S 18908 18911 15085 0 -1 4202496 14434 0 1 0 179873 131 0 0 20 0 19 0 110261843 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140737318182912 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18911/statm: 2406260 94045 2290 9 0 2396937 0
[pid=18911/tid=18913] ppid=18908 vsize=9625040 CPUtime=1780.33 cores=0,2,4,6
/proc/18911/task/18913/stat : 18913 (java) R 18908 18911 15085 0 -1 4202560 2579 0 1 0 178001 32 0 0 20 0 19 0 110261844 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449640697152 140449474551344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18914] ppid=18908 vsize=9625040 CPUtime=1.37 cores=0,2,4,6
/proc/18911/task/18914/stat : 18914 (java) S 18908 18911 15085 0 -1 4202560 293 0 0 0 124 13 0 0 20 0 19 0 110261845 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449602189480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18911/tid=18915] ppid=18908 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/18911/task/18915/stat : 18915 (java) S 18908 18911 15085 0 -1 4202560 341 0 0 0 133 14 0 0 20 0 19 0 110261845 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449601136936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18916] ppid=18908 vsize=9625040 CPUtime=1.53 cores=0,2,4,6
/proc/18911/task/18916/stat : 18916 (java) S 18908 18911 15085 0 -1 4202560 829 0 0 0 139 14 0 0 20 0 19 0 110261845 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449600084392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18917] ppid=18908 vsize=9625040 CPUtime=1.29 cores=0,2,4,6
/proc/18911/task/18917/stat : 18917 (java) S 18908 18911 15085 0 -1 4202560 545 0 0 0 120 9 0 0 20 0 19 0 110261845 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449599031848 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18918] ppid=18908 vsize=9625040 CPUtime=1.28 cores=0,2,4,6
/proc/18911/task/18918/stat : 18918 (java) S 18908 18911 15085 0 -1 4202560 413 0 0 0 118 10 0 0 20 0 19 0 110261845 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449597979304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18919] ppid=18908 vsize=9625040 CPUtime=1.35 cores=0,2,4,6
/proc/18911/task/18919/stat : 18919 (java) S 18908 18911 15085 0 -1 4202560 779 0 0 0 125 10 0 0 20 0 19 0 110261845 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449596926760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18920] ppid=18908 vsize=9625040 CPUtime=1.44 cores=0,2,4,6
/proc/18911/task/18920/stat : 18920 (java) S 18908 18911 15085 0 -1 4202560 795 0 0 0 132 12 0 0 20 0 19 0 110261845 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449595874216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18911/tid=18921] ppid=18908 vsize=9625040 CPUtime=1.56 cores=0,2,4,6
/proc/18911/task/18921/stat : 18921 (java) S 18908 18911 15085 0 -1 4202560 540 0 0 0 141 15 0 0 20 0 19 0 110261845 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449594821672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18922] ppid=18908 vsize=9625040 CPUtime=2.62 cores=0,2,4,6
/proc/18911/task/18922/stat : 18922 (java) S 18908 18911 15085 0 -1 4202560 520 0 0 0 259 3 0 0 20 0 19 0 110261846 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449464408168 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18923] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18923/stat : 18923 (java) S 18908 18911 15085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110261847 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449463354488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18924] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18924/stat : 18924 (java) S 18908 18911 15085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110261847 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449462301832 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18925] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18925/stat : 18925 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261849 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449461250576 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18926] ppid=18908 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/18911/task/18926/stat : 18926 (java) S 18908 18911 15085 0 -1 4202560 2967 0 0 0 40 0 0 0 20 0 19 0 110261849 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449460197944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18927] ppid=18908 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/18911/task/18927/stat : 18927 (java) S 18908 18911 15085 0 -1 4202560 2467 0 0 0 37 0 0 0 20 0 19 0 110261849 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449459145400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18928] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18928/stat : 18928 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261849 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140448584690680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18929] ppid=18908 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/18911/task/18929/stat : 18929 (java) S 18908 18911 15085 0 -1 4202560 104 0 0 0 31 32 0 0 20 0 19 0 110261849 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140448583638344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18930] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18930/stat : 18930 (java) S 18908 18911 15085 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110261882 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140448582583080 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 18911 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1790.91 s]
/proc/loadavg: 2.40 2.28 2.20 3/215 19104
/proc/meminfo: memFree=29170256/32872528 swapFree=20720/1686580
[pid=18911] ppid=18908 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6
/proc/18911/stat : 18911 (java) S 18908 18911 15085 0 -1 4202496 14434 0 1 0 179873 131 0 0 20 0 19 0 110261843 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140737318182912 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18911/statm: 2406260 94045 2290 9 0 2396937 0
[pid=18911/tid=18913] ppid=18908 vsize=9625040 CPUtime=1780.33 cores=0,2,4,6
/proc/18911/task/18913/stat : 18913 (java) R 18908 18911 15085 0 -1 4202560 2579 0 1 0 178001 32 0 0 20 0 19 0 110261844 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449640697152 140449474551344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18914] ppid=18908 vsize=9625040 CPUtime=1.37 cores=0,2,4,6
/proc/18911/task/18914/stat : 18914 (java) S 18908 18911 15085 0 -1 4202560 293 0 0 0 124 13 0 0 20 0 19 0 110261845 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449602189480 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18911/tid=18915] ppid=18908 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/18911/task/18915/stat : 18915 (java) S 18908 18911 15085 0 -1 4202560 341 0 0 0 133 14 0 0 20 0 19 0 110261845 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449601136936 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18916] ppid=18908 vsize=9625040 CPUtime=1.53 cores=0,2,4,6
/proc/18911/task/18916/stat : 18916 (java) S 18908 18911 15085 0 -1 4202560 829 0 0 0 139 14 0 0 20 0 19 0 110261845 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449600084392 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18917] ppid=18908 vsize=9625040 CPUtime=1.29 cores=0,2,4,6
/proc/18911/task/18917/stat : 18917 (java) S 18908 18911 15085 0 -1 4202560 545 0 0 0 120 9 0 0 20 0 19 0 110261845 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449599031848 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18918] ppid=18908 vsize=9625040 CPUtime=1.28 cores=0,2,4,6
/proc/18911/task/18918/stat : 18918 (java) S 18908 18911 15085 0 -1 4202560 413 0 0 0 118 10 0 0 20 0 19 0 110261845 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449597979304 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18919] ppid=18908 vsize=9625040 CPUtime=1.35 cores=0,2,4,6
/proc/18911/task/18919/stat : 18919 (java) S 18908 18911 15085 0 -1 4202560 779 0 0 0 125 10 0 0 20 0 19 0 110261845 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449596926760 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18920] ppid=18908 vsize=9625040 CPUtime=1.44 cores=0,2,4,6
/proc/18911/task/18920/stat : 18920 (java) S 18908 18911 15085 0 -1 4202560 795 0 0 0 132 12 0 0 20 0 19 0 110261845 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449595874216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18911/tid=18921] ppid=18908 vsize=9625040 CPUtime=1.56 cores=0,2,4,6
/proc/18911/task/18921/stat : 18921 (java) S 18908 18911 15085 0 -1 4202560 540 0 0 0 141 15 0 0 20 0 19 0 110261845 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449594821672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18922] ppid=18908 vsize=9625040 CPUtime=2.62 cores=0,2,4,6
/proc/18911/task/18922/stat : 18922 (java) S 18908 18911 15085 0 -1 4202560 520 0 0 0 259 3 0 0 20 0 19 0 110261846 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449464408168 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18923] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18923/stat : 18923 (java) S 18908 18911 15085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110261847 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449463354488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18924] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18924/stat : 18924 (java) S 18908 18911 15085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110261847 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449462301832 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18925] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18925/stat : 18925 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261849 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449461250576 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18926] ppid=18908 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/18911/task/18926/stat : 18926 (java) S 18908 18911 15085 0 -1 4202560 2967 0 0 0 40 0 0 0 20 0 19 0 110261849 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449460197944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18911/tid=18927] ppid=18908 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/18911/task/18927/stat : 18927 (java) S 18908 18911 15085 0 -1 4202560 2467 0 0 0 37 0 0 0 20 0 19 0 110261849 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140449459145400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18928] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18928/stat : 18928 (java) S 18908 18911 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110261849 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140448584690680 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18911/tid=18929] ppid=18908 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/18911/task/18929/stat : 18929 (java) S 18908 18911 15085 0 -1 4202560 104 0 0 0 31 32 0 0 20 0 19 0 110261849 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140448583638344 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18911/tid=18930] ppid=18908 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/18911/task/18930/stat : 18930 (java) S 18908 18911 15085 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110261882 9856040960 94045 33554432000 1073741824 1073778376 140737318191776 140448582583080 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1790.98
CPU time (s): 1800.04
CPU user time (s): 1798.73
CPU system time (s): 1.31
CPU usage (%): 100.506
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.23
system time used= 1.78173
maximum resident set size= 819164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14471
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= 40884
involuntary context switches= 27479

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3194 second user time and 13.8279 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-07 09:08:18
IDJOB=4084645
IDBENCH=90114
IDSOLVER=2546
FILE ID=node135/4084645-1465283298
RUNJOBID= node135-1465261709-15101
PBS_JOBID= 19843293
Free space on /tmp= 71716 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K88.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084645-1465283298/watcher-4084645-1465283298 -o /tmp/evaluation-result-4084645-1465283298/solver-4084645-1465283298 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1465261709-15101 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4084645-1465283298.opb

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

MD5SUM BENCH= 1622186c78d9255ec55518143c1e5a9e
RANDOM SEED=350291490

node135.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.026
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.05
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.026
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.026
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.026
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.026
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.56
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.026
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.026
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.026
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:        26287600 kB
Buffers:          125692 kB
Cached:           248480 kB
SwapCached:         1764 kB
Active:          3882548 kB
Inactive:         273172 kB
Active(anon):    3782664 kB
Inactive(anon):     1376 kB
Active(file):      99884 kB
Inactive(file):   271796 kB
Unevictable:     1686580 kB
Mlocked:           20720 kB
SwapTotal:      67108856 kB
SwapFree:       67098336 kB
Dirty:               832 kB
Writeback:             0 kB
AnonPages:       5514732 kB
Mapped:            15412 kB
Shmem:                 0 kB
Slab:             601764 kB
SReclaimable:      45512 kB
SUnreclaim:       556252 kB
KernelStack:        1784 kB
PageTables:        14660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5611148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5289984 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= 71732 MiB
End job on node135 at 2016-06-07 09:38:09