Trace number 4116329

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.65 1798.14

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size112-round22-9.opb
MD5SUMd827b9fc4bd3966ba2debe1f9174b854
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 variables4128
Total number of constraints8688
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)400
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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@2b21cc40
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@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4116329-1466960005.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  no objective function found
0.70/0.41	c ... done. Wall clock time 0.293s.
0.70/0.41	c declared #vars     4128
0.70/0.41	c #constraints  9952
0.70/0.41	c constraints type 
0.70/0.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6726
0.70/0.41	c org.sat4j.specs.Constr$1 => 888
0.70/0.41	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.70/0.41	c org.sat4j.minisat.constraints.cnf.UnitClause => 488
0.70/0.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
0.70/0.41	c 9952 constraints processed.
1.77/1.11	c cleaning 2500 clauses out of 4999 with flag 15933/5001
2.42/1.75	c cleaning 4235 clauses out of 8498 with flag 37514/11000
3.22/2.54	c cleaning 5632 clauses out of 11266 with flag 64698/18003
4.14/3.43	c cleaning 6805 clauses out of 13633 with flag 98818/26002
5.16/4.42	c cleaning 7888 clauses out of 15826 with flag 138842/35000
6.26/5.60	c cleaning 8955 clauses out of 17939 with flag 186310/45001
7.65/6.91	c cleaning 9962 clauses out of 19983 with flag 241237/56000
9.05/8.33	c cleaning 10982 clauses out of 22023 with flag 302810/68002
10.55/9.89	c cleaning 12003 clauses out of 24039 with flag 368284/81000
12.35/11.68	c cleaning 13001 clauses out of 26036 with flag 442414/95000
14.36/13.62	c cleaning 14014 clauses out of 28036 with flag 522955/110001
16.46/15.71	c cleaning 14990 clauses out of 30021 with flag 608679/126000
18.66/17.98	c cleaning 16001 clauses out of 32031 with flag 700786/143000
21.16/20.40	c cleaning 16983 clauses out of 34030 with flag 805213/161000
23.86/23.12	c cleaning 17982 clauses out of 36048 with flag 913461/180001
26.77/26.04	c cleaning 19007 clauses out of 38068 with flag 1029801/200003
29.87/29.13	c cleaning 20014 clauses out of 40058 with flag 1151673/221000
33.17/32.41	c cleaning 20986 clauses out of 42044 with flag 1283066/243000
36.67/35.91	c cleaning 22023 clauses out of 44058 with flag 1419493/266000
40.47/39.74	c cleaning 22985 clauses out of 46036 with flag 1559937/290001
44.46/43.76	c cleaning 23989 clauses out of 48050 with flag 1707285/315000
48.67/47.98	c cleaning 25004 clauses out of 50062 with flag 1861140/341001
53.18/52.40	c cleaning 26007 clauses out of 52057 with flag 2022204/368000
57.88/57.14	c cleaning 27027 clauses out of 54053 with flag 2189569/396003
62.72/61.98	c cleaning 28006 clauses out of 56025 with flag 2366796/425002
67.42/66.61	c cleaning 28966 clauses out of 58017 with flag 2546345/455000
72.33/71.55	c cleaning 29995 clauses out of 60054 with flag 2734652/486003
77.52/76.72	c cleaning 31026 clauses out of 62056 with flag 2931838/518000
82.92/82.17	c cleaning 31993 clauses out of 64030 with flag 3127305/551000
88.72/87.90	c cleaning 32973 clauses out of 66037 with flag 3336174/585000
94.82/94.04	c cleaning 34019 clauses out of 68064 with flag 3548014/620000
101.12/100.34	c cleaning 35006 clauses out of 70046 with flag 3770947/656001
107.72/106.97	c cleaning 36006 clauses out of 72040 with flag 3998324/693001
114.62/113.81	c cleaning 36983 clauses out of 74033 with flag 4235925/731000
121.62/120.85	c cleaning 38006 clauses out of 76050 with flag 4478757/770000
129.22/128.44	c cleaning 38999 clauses out of 78046 with flag 4726627/810002
137.12/136.30	c cleaning 40020 clauses out of 80046 with flag 4979901/851001
145.32/144.53	c cleaning 40979 clauses out of 82025 with flag 5241675/893000
153.92/153.10	c cleaning 41959 clauses out of 84047 with flag 5509085/936001
162.75/161.91	c cleaning 43023 clauses out of 86087 with flag 5786198/980000
171.36/170.50	c cleaning 44007 clauses out of 88064 with flag 6068489/1025000
180.36/179.57	c cleaning 45027 clauses out of 90058 with flag 6355909/1071001
189.66/188.81	c cleaning 46003 clauses out of 92031 with flag 6651033/1118001
199.26/198.40	c cleaning 46969 clauses out of 94028 with flag 6954139/1166001
209.36/208.58	c cleaning 48008 clauses out of 96059 with flag 7262961/1215001
219.96/219.11	c cleaning 49001 clauses out of 98050 with flag 7578859/1265000
230.78/229.93	c cleaning 50015 clauses out of 100049 with flag 7898323/1316000
242.17/241.30	c cleaning 51007 clauses out of 102034 with flag 8223588/1368000
253.77/252.95	c cleaning 51992 clauses out of 104028 with flag 8556174/1421001
265.98/265.16	c cleaning 52988 clauses out of 106035 with flag 8895918/1475000
278.15/277.29	c cleaning 54018 clauses out of 108047 with flag 9240829/1530000
290.54/289.63	c cleaning 54999 clauses out of 110029 with flag 9594486/1586000
303.24/302.36	c cleaning 55995 clauses out of 112030 with flag 9952513/1643000
316.45/315.53	c cleaning 56995 clauses out of 114036 with flag 10317429/1701001
329.87/328.98	c cleaning 57998 clauses out of 116043 with flag 10688906/1760003
344.06/343.14	c cleaning 58969 clauses out of 118042 with flag 11063664/1820000
358.58/357.66	c cleaning 60017 clauses out of 120075 with flag 11450994/1881002
373.57/372.67	c cleaning 61025 clauses out of 122057 with flag 11843185/1943001
389.77/388.83	c cleaning 61996 clauses out of 124032 with flag 12237998/2006001
405.34/404.38	c cleaning 62981 clauses out of 126035 with flag 12641661/2070000
420.94/419.93	c cleaning 64017 clauses out of 128054 with flag 13054034/2135000
437.04/436.03	c cleaning 65008 clauses out of 130037 with flag 13464211/2201000
453.36/452.37	c cleaning 65982 clauses out of 132029 with flag 13886319/2268000
470.56/469.50	c cleaning 66999 clauses out of 134048 with flag 14319795/2336001
487.97/486.99	c cleaning 67978 clauses out of 136049 with flag 14757446/2405001
506.17/505.13	c cleaning 69006 clauses out of 138070 with flag 15196995/2475000
524.87/523.85	c cleaning 70012 clauses out of 140065 with flag 15643200/2546001
543.69/542.60	c cleaning 70963 clauses out of 142053 with flag 16095787/2618001
563.09/562.05	c cleaning 72027 clauses out of 144089 with flag 16556064/2691000
582.90/581.83	c cleaning 73003 clauses out of 146062 with flag 17018553/2765000
603.50/602.42	c cleaning 74004 clauses out of 148059 with flag 17490837/2840000
624.30/623.27	c cleaning 74990 clauses out of 150055 with flag 17967837/2916000
646.20/645.18	c cleaning 76011 clauses out of 152065 with flag 18454117/2993000
668.21/667.15	c cleaning 77011 clauses out of 154057 with flag 18945148/3071003
690.37/689.25	c cleaning 77962 clauses out of 156044 with flag 19438637/3150001
713.27/712.13	c cleaning 79004 clauses out of 158081 with flag 19938099/3230000
736.68/735.59	c cleaning 80012 clauses out of 160078 with flag 20447408/3311001
760.49/759.32	c cleaning 80995 clauses out of 162065 with flag 20961202/3393000
784.89/783.72	c cleaning 82030 clauses out of 164072 with flag 21480603/3476002
809.99/808.80	c cleaning 82979 clauses out of 166040 with flag 22005493/3560000
835.44/834.22	c cleaning 83988 clauses out of 168061 with flag 22539634/3645000
861.15/859.91	c cleaning 85001 clauses out of 170073 with flag 23079742/3731000
887.05/885.87	c cleaning 86030 clauses out of 172073 with flag 23623376/3818001
913.65/912.40	c cleaning 87004 clauses out of 174042 with flag 24181586/3906000
940.86/939.68	c cleaning 87980 clauses out of 176039 with flag 24738621/3995001
968.55/967.29	c cleaning 89027 clauses out of 178058 with flag 25305823/4085000
997.07/995.72	c cleaning 89987 clauses out of 180031 with flag 25880506/4176000
1026.77/1025.45	c cleaning 91004 clauses out of 182044 with flag 26455152/4268000
1056.77/1055.41	c cleaning 92001 clauses out of 184040 with flag 27037340/4361000
1087.87/1086.52	c cleaning 93010 clauses out of 186039 with flag 27629287/4455000
1118.96/1117.56	c cleaning 94009 clauses out of 188029 with flag 28229258/4550000
1150.77/1149.33	c cleaning 94995 clauses out of 190020 with flag 28833660/4646000
1183.68/1182.20	c cleaning 95998 clauses out of 192025 with flag 29446125/4743000
1217.28/1215.85	c cleaning 96999 clauses out of 194027 with flag 30061419/4841000
1251.88/1250.46	c cleaning 97995 clauses out of 196029 with flag 30681872/4940001
1287.13/1285.67	c cleaning 98960 clauses out of 198034 with flag 31309877/5040001
1322.83/1321.35	c cleaning 99990 clauses out of 200073 with flag 31936137/5141000
1359.25/1357.71	c cleaning 101000 clauses out of 202083 with flag 32577154/5243000
1396.26/1394.72	c cleaning 101983 clauses out of 204085 with flag 33227436/5346002
1433.41/1431.74	c cleaning 102981 clauses out of 206101 with flag 33879068/5450001
1471.11/1469.48	c cleaning 104012 clauses out of 208119 with flag 34536048/5555000
1509.52/1507.81	c cleaning 105031 clauses out of 210108 with flag 35200951/5661001
1548.73/1547.08	c cleaning 106021 clauses out of 212076 with flag 35871701/5768000
1590.36/1588.59	c cleaning 106962 clauses out of 214056 with flag 36545573/5876001
1633.84/1632.08	c cleaning 108006 clauses out of 216093 with flag 37229697/5985000
1678.65/1676.82	c cleaning 109034 clauses out of 218087 with flag 37922633/6095000
1723.25/1721.46	c cleaning 109977 clauses out of 220053 with flag 38617195/6206000
1766.63/1764.70	c cleaning 111029 clauses out of 222077 with flag 39316755/6318001
1800.04/1798.10	c starts		: 56012
1800.04/1798.10	c conflicts		: 6409619
1800.04/1798.10	c decisions		: 63725328
1800.04/1798.10	c propagations		: 885302482
1800.04/1798.10	c inspects		: 24813902413
1800.04/1798.10	c shortcuts		: 0
1800.04/1798.10	c learnt literals	: 2
1800.04/1798.10	c learnt binary clauses	: 40
1800.04/1798.10	c learnt ternary clauses	: 763
1800.04/1798.10	c learnt constraints	: 6409617
1800.04/1798.10	c ignored constraints	: 0
1800.04/1798.10	c root simplifications	: 0
1800.04/1798.10	c removed literals (reason simplification)	: 0
1800.04/1798.10	c reason swapping (by a shorter reason)	: 0
1800.04/1798.10	c Calls to reduceDB	: 108
1800.04/1798.10	c Number of update (reduction) of LBD	: 1349602
1800.04/1798.10	c Imported unit clauses	: 0
1800.04/1798.10	c number of reductions to clauses (during analyze)	: 0
1800.04/1798.10	c number of learned constraints concerned by reduction	: 0
1800.04/1798.10	c number of learning phase by resolution	: 0
1800.04/1798.10	c number of learning phase by cutting planes	: 0
1800.04/1798.10	c speed (assignments/second)	: 492466.9851125528
1800.04/1798.10	c non guided choices	12188
1800.04/1798.10	c timeout
1800.04/1798.13	c learnt constraints type 
1800.04/1798.13	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 40
1800.04/1798.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 202626
1800.04/1798.13	s UNKNOWN
1800.04/1798.13	c Total wall clock time (in seconds): 1798.016

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-4116329-1466960005/watcher-4116329-1466960005 -o /tmp/evaluation-result-4116329-1466960005/solver-4116329-1466960005 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466943595-19069 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4116329-1466960005.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.29 2.29 2.27 3/194 21251
/proc/meminfo: memFree=29939540/32872528 swapFree=1643088/1798432
[pid=21251] ppid=21248 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/21251/stat : 21251 (java) R 21248 21251 19053 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 29039624 278528 26 33554432000 1073741824 1073778376 140735286676160 140736345287384 260181138001 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21251/statm: 68 33 25 9 0 25 0

[startup+0.100156 s]
/proc/loadavg: 2.29 2.29 2.27 3/194 21251
/proc/meminfo: memFree=29939540/32872528 swapFree=1643088/1798432
[pid=21251] ppid=21248 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/21251/stat : 21251 (java) S 21248 21251 19053 0 -1 4202496 4400 0 1 0 8 1 0 0 20 0 18 0 29039624 9787879424 6028 33554432000 1073741824 1073778376 140735286676160 140735286667296 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21251/statm: 2389619 6028 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.20022 s]
/proc/loadavg: 2.29 2.29 2.27 3/194 21251
/proc/meminfo: memFree=29939540/32872528 swapFree=1643088/1798432
[pid=21251] ppid=21248 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/21251/stat : 21251 (java) S 21248 21251 19053 0 -1 4202496 4911 0 1 0 24 1 0 0 20 0 18 0 29039624 9787879424 6993 33554432000 1073741824 1073778376 140735286676160 140735286667296 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21251/statm: 2389619 6993 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300223 s]
/proc/loadavg: 2.29 2.29 2.27 3/194 21251
/proc/meminfo: memFree=29939540/32872528 swapFree=1643088/1798432
[pid=21251] ppid=21248 vsize=9558476 CPUtime=0.49 cores=0,2,4,6
/proc/21251/stat : 21251 (java) S 21248 21251 19053 0 -1 4202496 5772 0 1 0 47 2 0 0 20 0 18 0 29039624 9787879424 8994 33554432000 1073741824 1073778376 140735286676160 140735286667296 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21251/statm: 2389619 8994 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700285 s]
/proc/loadavg: 2.29 2.29 2.27 3/194 21251
/proc/meminfo: memFree=29939540/32872528 swapFree=1643088/1798432
[pid=21251] ppid=21248 vsize=9625040 CPUtime=1.3 cores=0,2,4,6
/proc/21251/stat : 21251 (java) S 21248 21251 19053 0 -1 4202496 8502 0 1 0 128 2 0 0 20 0 19 0 29039624 9856040960 15247 33554432000 1073741824 1073778376 140735286676160 140735286667296 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21251/statm: 2406260 15247 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 9625040

[startup+1.50078 s]
/proc/loadavg: 2.29 2.29 2.27 5/213 21270
/proc/meminfo: memFree=29887656/32872528 swapFree=1643088/1798432
[pid=21251] ppid=21248 vsize=9625040 CPUtime=2.19 cores=0,2,4,6
/proc/21251/stat : 21251 (java) S 21248 21251 19053 0 -1 4202496 8935 0 1 0 216 3 0 0 20 0 19 0 29039624 9856040960 15603 33554432000 1073741824 1073778376 140735286676160 140735286667296 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21251/statm: 2406260 15603 2270 9 0 2396937 0
[pid=21251/tid=21253] ppid=21248 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/21251/task/21253/stat : 21253 (java) R 21248 21251 19053 0 -1 4202560 2425 0 1 0 145 2 0 0 20 0 19 0 29039625 9856040960 15603 33554432000 1073741824 1073778376 140735286676160 140330042274024 140329886506313 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21251/tid=21254] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21254/stat : 21254 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 15603 33554432000 1073741824 1073778376 140735286676160 140329885887144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21255] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21255/stat : 21255 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 15603 33554432000 1073741824 1073778376 140735286676160 140329884834600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21256] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21256/stat : 21256 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 15603 33554432000 1073741824 1073778376 140735286676160 140329883782056 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21251/tid=21257] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21257/stat : 21257 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 15603 33554432000 1073741824 1073778376 140735286676160 140329882729512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21251/tid=21258] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21258/stat : 21258 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 15603 33554432000 1073741824 1073778376 140735286676160 140329881675944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21259] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21259/stat : 21259 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 15603 33554432000 1073741824 1073778376 140735286676160 140329880623400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21260] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21260/stat : 21260 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 15603 33554432000 1073741824 1073778376 140735286676160 140329879570856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21251/tid=21261] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21261/stat : 21261 (java) S 21248 21251 19053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 15603 33554432000 1073741824 1073778376 140735286676160 140329878518312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21262] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21262/stat : 21262 (java) S 21248 21251 19053 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29039627 9856040960 15603 33554432000 1073741824 1073778376 140735286676160 140329396189800 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21263] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21263/stat : 21263 (java) S 21248 21251 19053 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29039628 9856040960 15603 33554432000 1073741824 1073778376 140735286676160 140329395136120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21264] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21264/stat : 21264 (java) S 21248 21251 19053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29039628 9856040960 15603 33554432000 1073741824 1073778376 140735286676160 140329394083464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21265] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21265/stat : 21265 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039630 9856040960 15603 33554432000 1073741824 1073778376 140735286676160 140329393032208 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21266] ppid=21248 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/21251/task/21266/stat : 21266 (java) S 21248 21251 19053 0 -1 4202560 3198 0 0 0 38 0 0 0 20 0 19 0 29039630 9856040960 15603 33554432000 1073741824 1073778376 140735286676160 140329391978552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21267] ppid=21248 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/21251/task/21267/stat : 21267 (java) S 21248 21251 19053 0 -1 4202560 2034 0 0 0 31 0 0 0 20 0 19 0 29039630 9856040960 15603 33554432000 1073741824 1073778376 140735286676160 140329390926008 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21268] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21268/stat : 21268 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039630 9856040960 15603 33554432000 1073741824 1073778376 140735286676160 140329389873656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21251/tid=21269] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21269/stat : 21269 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039630 9856040960 15603 33554432000 1073741824 1073778376 140735286676160 140329388821320 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21270] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21270/stat : 21270 (java) S 21248 21251 19053 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29039666 9856040960 15603 33554432000 1073741824 1073778376 140735286676160 140329387767080 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9625040

[startup+3.10079 s]
/proc/loadavg: 2.27 2.29 2.27 3/213 21270
/proc/meminfo: memFree=29884988/32872528 swapFree=1643088/1798432
[pid=21251] ppid=21248 vsize=9625040 CPUtime=3.84 cores=0,2,4,6
/proc/21251/stat : 21251 (java) S 21248 21251 19053 0 -1 4202496 8938 0 1 0 381 3 0 0 20 0 19 0 29039624 9856040960 16627 33554432000 1073741824 1073778376 140735286676160 140735286667296 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21251/statm: 2406260 16627 2270 9 0 2396937 0
[pid=21251/tid=21253] ppid=21248 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/21251/task/21253/stat : 21253 (java) R 21248 21251 19053 0 -1 4202560 2428 0 1 0 305 2 0 0 20 0 19 0 29039625 9856040960 16627 33554432000 1073741824 1073778376 140735286676160 140330042274296 140329886481376 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21251/tid=21254] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21254/stat : 21254 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 16627 33554432000 1073741824 1073778376 140735286676160 140329885887144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21255] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21255/stat : 21255 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 16627 33554432000 1073741824 1073778376 140735286676160 140329884834600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21256] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21256/stat : 21256 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 16627 33554432000 1073741824 1073778376 140735286676160 140329883782056 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21251/tid=21257] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21257/stat : 21257 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 16627 33554432000 1073741824 1073778376 140735286676160 140329882729512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21251/tid=21258] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21258/stat : 21258 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 16627 33554432000 1073741824 1073778376 140735286676160 140329881675944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21259] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21259/stat : 21259 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 16627 33554432000 1073741824 1073778376 140735286676160 140329880623400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21260] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21260/stat : 21260 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 16627 33554432000 1073741824 1073778376 140735286676160 140329879570856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21251/tid=21261] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21261/stat : 21261 (java) S 21248 21251 19053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 16627 33554432000 1073741824 1073778376 140735286676160 140329878518312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21262] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21262/stat : 21262 (java) S 21248 21251 19053 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29039627 9856040960 16627 33554432000 1073741824 1073778376 140735286676160 140329396189800 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21263] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21263/stat : 21263 (java) S 21248 21251 19053 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29039628 9856040960 16627 33554432000 1073741824 1073778376 140735286676160 140329395136120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21264] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21264/stat : 21264 (java) S 21248 21251 19053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29039628 9856040960 16627 33554432000 1073741824 1073778376 140735286676160 140329394083464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21265] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21265/stat : 21265 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039630 9856040960 16627 33554432000 1073741824 1073778376 140735286676160 140329393032208 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21266] ppid=21248 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/21251/task/21266/stat : 21266 (java) S 21248 21251 19053 0 -1 4202560 3198 0 0 0 40 0 0 0 20 0 19 0 29039630 9856040960 16627 33554432000 1073741824 1073778376 140735286676160 140329391978552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21267] ppid=21248 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/21251/task/21267/stat : 21267 (java) S 21248 21251 19053 0 -1 4202560 2034 0 0 0 33 0 0 0 20 0 19 0 29039630 9856040960 16627 33554432000 1073741824 1073778376 140735286676160 140329390926008 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21268] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21268/stat : 21268 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039630 9856040960 16627 33554432000 1073741824 1073778376 140735286676160 140329389873656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21251/tid=21269] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21269/stat : 21269 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039630 9856040960 16627 33554432000 1073741824 1073778376 140735286676160 140329388821320 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21270] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21270/stat : 21270 (java) S 21248 21251 19053 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29039666 9856040960 16627 33554432000 1073741824 1073778376 140735286676160 140329387767080 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 9625040

[startup+6.30083 s]
/proc/loadavg: 2.27 2.29 2.27 3/213 21270
/proc/meminfo: memFree=29876796/32872528 swapFree=1643088/1798432
[pid=21251] ppid=21248 vsize=9625040 CPUtime=7.05 cores=0,2,4,6
/proc/21251/stat : 21251 (java) S 21248 21251 19053 0 -1 4202496 8991 0 1 0 702 3 0 0 20 0 19 0 29039624 9856040960 18123 33554432000 1073741824 1073778376 140735286676160 140735286667296 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21251/statm: 2406260 18123 2271 9 0 2396937 0
[pid=21251/tid=21253] ppid=21248 vsize=9625040 CPUtime=6.27 cores=0,2,4,6
/proc/21251/task/21253/stat : 21253 (java) R 21248 21251 19053 0 -1 4202560 2432 0 1 0 625 2 0 0 20 0 19 0 29039625 9856040960 18123 33554432000 1073741824 1073778376 140735286676160 140330042265280 140329886598170 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21251/tid=21254] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21254/stat : 21254 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 18123 33554432000 1073741824 1073778376 140735286676160 140329885887144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21255] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21255/stat : 21255 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 18123 33554432000 1073741824 1073778376 140735286676160 140329884834600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21256] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21256/stat : 21256 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 18123 33554432000 1073741824 1073778376 140735286676160 140329883782056 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21251/tid=21257] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21257/stat : 21257 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 18123 33554432000 1073741824 1073778376 140735286676160 140329882729512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21251/tid=21258] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21258/stat : 21258 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 18123 33554432000 1073741824 1073778376 140735286676160 140329881675944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21259] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21259/stat : 21259 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 18123 33554432000 1073741824 1073778376 140735286676160 140329880623400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21260] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21260/stat : 21260 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 18123 33554432000 1073741824 1073778376 140735286676160 140329879570856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21251/tid=21261] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21261/stat : 21261 (java) S 21248 21251 19053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29039626 9856040960 18123 33554432000 1073741824 1073778376 140735286676160 140329878518312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21262] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21262/stat : 21262 (java) S 21248 21251 19053 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29039627 9856040960 18123 33554432000 1073741824 1073778376 140735286676160 140329396189800 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21263] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21263/stat : 21263 (java) S 21248 21251 19053 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29039628 9856040960 18123 33554432000 1073741824 1073778376 140735286676160 140329395136120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21264] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21264/stat : 21264 (java) S 21248 21251 19053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29039628 9856040960 18123 33554432000 1073741824 1073778376 140735286676160 140329394083464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21265] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21265/stat : 21265 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039630 9856040960 18123 33554432000 1073741824 1073778376 140735286676160 140329393032208 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21266] ppid=21248 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/21251/task/21266/stat : 21266 (java) S 21248 21251 19053 0 -1 4202560 3198 0 0 0 40 0 0 0 20 0 19 0 29039630 9856040960 18123 33554432000 1073741824 1073778376 140735286676160 140329391978552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21267] ppid=21248 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/21251/task/21267/stat : 21267 (java) S 21248 21251 19053 0 -1 4202560 2082 0 0 0 34 0 0 0 20 0 19 0 29039630 9856040960 18123 33554432000 1073741824 1073778376 140735286676160 140329390926008 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21268] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21268/stat : 21268 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039630 9856040960 18123 33554432000 1073741824 1073778376 140735286676160 140329389873656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21251/tid=21269] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21269/stat : 21269 (java) S 21248 21251 19053 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29039630 9856040960 18123 33554432000 1073741824 1073778376 140735286676160 140329388821320 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21270] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21270/stat : 21270 (java) S 21248 21251 19053 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29039666 9856040960 18123 33554432000 1073741824 1073778376 140735286676160 140329387767080 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 9625040


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

[pid=21251/tid=21263] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21263/stat : 21263 (java) S 21248 21251 19053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29039628 9856040960 76147 33554432000 1073741824 1073778376 140735286676160 140329395136120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21264] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21264/stat : 21264 (java) S 21248 21251 19053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29039628 9856040960 76147 33554432000 1073741824 1073778376 140735286676160 140329394083464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21265] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21265/stat : 21265 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039630 9856040960 76147 33554432000 1073741824 1073778376 140735286676160 140329393032208 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21266] ppid=21248 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/21251/task/21266/stat : 21266 (java) S 21248 21251 19053 0 -1 4202560 3198 0 0 0 40 0 0 0 20 0 19 0 29039630 9856040960 76147 33554432000 1073741824 1073778376 140735286676160 140329391978552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21267] ppid=21248 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/21251/task/21267/stat : 21267 (java) S 21248 21251 19053 0 -1 4202560 2559 0 0 0 38 0 0 0 20 0 19 0 29039630 9856040960 76147 33554432000 1073741824 1073778376 140735286676160 140329390926008 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21268] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21268/stat : 21268 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039630 9856040960 76147 33554432000 1073741824 1073778376 140735286676160 140329389873656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21251/tid=21269] ppid=21248 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/21251/task/21269/stat : 21269 (java) S 21248 21251 19053 0 -1 4202560 100 0 0 0 40 32 0 0 20 0 19 0 29039630 9856040960 76147 33554432000 1073741824 1073778376 140735286676160 140329388821320 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21251/tid=21270] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21270/stat : 21270 (java) S 21248 21251 19053 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29039666 9856040960 76147 33554432000 1073741824 1073778376 140735286676160 140329387767080 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1724.14
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.35 2.29 2.27 4/213 21403
/proc/meminfo: memFree=29677100/32872528 swapFree=1643088/1798432
[pid=21251] ppid=21248 vsize=9625040 CPUtime=1784.24 cores=0,2,4,6
/proc/21251/stat : 21251 (java) S 21248 21251 19053 0 -1 4202496 10195 0 1 0 178380 44 0 0 20 0 19 0 29039624 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140735286667296 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21251/statm: 2406260 79217 2285 9 0 2396937 0
[pid=21251/tid=21253] ppid=21248 vsize=9625040 CPUtime=1781.8 cores=0,2,4,6
/proc/21251/task/21253/stat : 21253 (java) R 21248 21251 19053 0 -1 4202560 2489 0 1 0 178149 31 0 0 20 0 19 0 29039625 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140330042265376 140329886522979 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21251/tid=21254] ppid=21248 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/21251/task/21254/stat : 21254 (java) S 21248 21251 19053 0 -1 4202560 75 0 0 0 14 3 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329885887144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21255] ppid=21248 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/21251/task/21255/stat : 21255 (java) S 21248 21251 19053 0 -1 4202560 93 0 0 0 15 3 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329884834600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21256] ppid=21248 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/21251/task/21256/stat : 21256 (java) S 21248 21251 19053 0 -1 4202560 62 0 0 0 14 2 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329883782056 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21257] ppid=21248 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/21251/task/21257/stat : 21257 (java) S 21248 21251 19053 0 -1 4202560 62 0 0 0 11 2 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329882729512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21258] ppid=21248 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/21251/task/21258/stat : 21258 (java) S 21248 21251 19053 0 -1 4202560 35 0 0 0 10 0 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329881675944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21251/tid=21259] ppid=21248 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/21251/task/21259/stat : 21259 (java) S 21248 21251 19053 0 -1 4202560 120 0 0 0 15 2 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329880623400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21260] ppid=21248 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/21251/task/21260/stat : 21260 (java) S 21248 21251 19053 0 -1 4202560 38 0 0 0 11 1 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329879570856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21261] ppid=21248 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/21251/task/21261/stat : 21261 (java) S 21248 21251 19053 0 -1 4202560 38 0 0 0 15 2 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329878518312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21262] ppid=21248 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/21251/task/21262/stat : 21262 (java) S 21248 21251 19053 0 -1 4202560 58 0 0 0 1 1 0 0 20 0 19 0 29039627 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329396189800 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21251/tid=21263] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21263/stat : 21263 (java) S 21248 21251 19053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29039628 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329395136120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21264] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21264/stat : 21264 (java) S 21248 21251 19053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29039628 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329394083464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21265] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21265/stat : 21265 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039630 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329393032208 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21266] ppid=21248 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/21251/task/21266/stat : 21266 (java) S 21248 21251 19053 0 -1 4202560 3198 0 0 0 40 0 0 0 20 0 19 0 29039630 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329391978552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21267] ppid=21248 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/21251/task/21267/stat : 21267 (java) S 21248 21251 19053 0 -1 4202560 2559 0 0 0 38 0 0 0 20 0 19 0 29039630 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329390926008 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21268] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21268/stat : 21268 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039630 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329389873656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21251/tid=21269] ppid=21248 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/21251/task/21269/stat : 21269 (java) S 21248 21251 19053 0 -1 4202560 104 0 0 0 42 32 0 0 20 0 19 0 29039630 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329388821320 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21251/tid=21270] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21270/stat : 21270 (java) S 21248 21251 19053 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29039666 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329387767080 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1784.24
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.1 s]
/proc/loadavg: 2.31 2.29 2.27 3/213 21403
/proc/meminfo: memFree=29677264/32872528 swapFree=1643088/1798432
[pid=21251] ppid=21248 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6
/proc/21251/stat : 21251 (java) S 21248 21251 19053 0 -1 4202496 10195 0 1 0 179960 44 0 0 20 0 19 0 29039624 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140735286667296 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21251/statm: 2406260 79217 2285 9 0 2396937 0
[pid=21251/tid=21253] ppid=21248 vsize=9625040 CPUtime=1797.59 cores=0,2,4,6
/proc/21251/task/21253/stat : 21253 (java) R 21248 21251 19053 0 -1 4202560 2489 0 1 0 179728 31 0 0 20 0 19 0 29039625 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140330042265376 140329886556779 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21251/tid=21254] ppid=21248 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/21251/task/21254/stat : 21254 (java) S 21248 21251 19053 0 -1 4202560 75 0 0 0 14 3 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329885887144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21255] ppid=21248 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/21251/task/21255/stat : 21255 (java) S 21248 21251 19053 0 -1 4202560 93 0 0 0 15 3 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329884834600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21256] ppid=21248 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/21251/task/21256/stat : 21256 (java) S 21248 21251 19053 0 -1 4202560 62 0 0 0 14 2 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329883782056 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21257] ppid=21248 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/21251/task/21257/stat : 21257 (java) S 21248 21251 19053 0 -1 4202560 62 0 0 0 11 2 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329882729512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21258] ppid=21248 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/21251/task/21258/stat : 21258 (java) S 21248 21251 19053 0 -1 4202560 35 0 0 0 10 0 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329881675944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21251/tid=21259] ppid=21248 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/21251/task/21259/stat : 21259 (java) S 21248 21251 19053 0 -1 4202560 120 0 0 0 15 2 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329880623400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21260] ppid=21248 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/21251/task/21260/stat : 21260 (java) S 21248 21251 19053 0 -1 4202560 38 0 0 0 11 1 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329879570856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21261] ppid=21248 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/21251/task/21261/stat : 21261 (java) S 21248 21251 19053 0 -1 4202560 38 0 0 0 15 2 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329878518312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21262] ppid=21248 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/21251/task/21262/stat : 21262 (java) S 21248 21251 19053 0 -1 4202560 58 0 0 0 1 1 0 0 20 0 19 0 29039627 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329396189800 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21251/tid=21263] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21263/stat : 21263 (java) S 21248 21251 19053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29039628 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329395136120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21264] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21264/stat : 21264 (java) S 21248 21251 19053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29039628 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329394083464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21265] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21265/stat : 21265 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039630 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329393032208 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21266] ppid=21248 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/21251/task/21266/stat : 21266 (java) S 21248 21251 19053 0 -1 4202560 3198 0 0 0 40 0 0 0 20 0 19 0 29039630 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329391978552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21267] ppid=21248 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/21251/task/21267/stat : 21267 (java) S 21248 21251 19053 0 -1 4202560 2559 0 0 0 38 0 0 0 20 0 19 0 29039630 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329390926008 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21268] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21268/stat : 21268 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039630 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329389873656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21251/tid=21269] ppid=21248 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/21251/task/21269/stat : 21269 (java) S 21248 21251 19053 0 -1 4202560 104 0 0 0 42 32 0 0 20 0 19 0 29039630 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329388821320 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21251/tid=21270] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21270/stat : 21270 (java) S 21248 21251 19053 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29039666 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329387767080 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 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 21251 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1798.1 s]
/proc/loadavg: 2.31 2.29 2.27 3/213 21403
/proc/meminfo: memFree=29677264/32872528 swapFree=1643088/1798432
[pid=21251] ppid=21248 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6
/proc/21251/stat : 21251 (java) S 21248 21251 19053 0 -1 4202496 10195 0 1 0 179960 44 0 0 20 0 19 0 29039624 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140735286667296 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21251/statm: 2406260 79217 2285 9 0 2396937 0
[pid=21251/tid=21253] ppid=21248 vsize=9625040 CPUtime=1797.59 cores=0,2,4,6
/proc/21251/task/21253/stat : 21253 (java) R 21248 21251 19053 0 -1 4202560 2489 0 1 0 179728 31 0 0 20 0 19 0 29039625 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140330042265376 140329886556779 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21251/tid=21254] ppid=21248 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/21251/task/21254/stat : 21254 (java) S 21248 21251 19053 0 -1 4202560 75 0 0 0 14 3 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329885887144 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21255] ppid=21248 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/21251/task/21255/stat : 21255 (java) S 21248 21251 19053 0 -1 4202560 93 0 0 0 15 3 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329884834600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21256] ppid=21248 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/21251/task/21256/stat : 21256 (java) S 21248 21251 19053 0 -1 4202560 62 0 0 0 14 2 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329883782056 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21257] ppid=21248 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/21251/task/21257/stat : 21257 (java) S 21248 21251 19053 0 -1 4202560 62 0 0 0 11 2 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329882729512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21258] ppid=21248 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/21251/task/21258/stat : 21258 (java) S 21248 21251 19053 0 -1 4202560 35 0 0 0 10 0 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329881675944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21251/tid=21259] ppid=21248 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/21251/task/21259/stat : 21259 (java) S 21248 21251 19053 0 -1 4202560 120 0 0 0 15 2 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329880623400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21260] ppid=21248 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/21251/task/21260/stat : 21260 (java) S 21248 21251 19053 0 -1 4202560 38 0 0 0 11 1 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329879570856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21261] ppid=21248 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/21251/task/21261/stat : 21261 (java) S 21248 21251 19053 0 -1 4202560 38 0 0 0 15 2 0 0 20 0 19 0 29039626 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329878518312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21262] ppid=21248 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/21251/task/21262/stat : 21262 (java) S 21248 21251 19053 0 -1 4202560 58 0 0 0 1 1 0 0 20 0 19 0 29039627 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329396189800 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21251/tid=21263] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21263/stat : 21263 (java) S 21248 21251 19053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29039628 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329395136120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21264] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21264/stat : 21264 (java) S 21248 21251 19053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29039628 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329394083464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21265] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21265/stat : 21265 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039630 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329393032208 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21266] ppid=21248 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/21251/task/21266/stat : 21266 (java) S 21248 21251 19053 0 -1 4202560 3198 0 0 0 40 0 0 0 20 0 19 0 29039630 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329391978552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21251/tid=21267] ppid=21248 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/21251/task/21267/stat : 21267 (java) S 21248 21251 19053 0 -1 4202560 2559 0 0 0 38 0 0 0 20 0 19 0 29039630 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329390926008 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21251/tid=21268] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21268/stat : 21268 (java) S 21248 21251 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29039630 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329389873656 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21251/tid=21269] ppid=21248 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/21251/task/21269/stat : 21269 (java) S 21248 21251 19053 0 -1 4202560 104 0 0 0 42 32 0 0 20 0 19 0 29039630 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329388821320 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21251/tid=21270] ppid=21248 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21251/task/21270/stat : 21270 (java) S 21248 21251 19053 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29039666 9856040960 79217 33554432000 1073741824 1073778376 140735286676160 140329387767080 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1798.14
CPU time (s): 1800.65
CPU user time (s): 1799.72
CPU system time (s): 0.933858
CPU usage (%): 100.14
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.933858
maximum resident set size= 316984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10229
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38476
involuntary context switches= 7040

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.48356 second user time and 14.6228 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-26 18:53:25
IDJOB=4116329
IDBENCH=109456
IDSOLVER=2546
FILE ID=node123/4116329-1466960005
RUNJOBID= node123-1466943595-19069
PBS_JOBID= 19976352
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-9.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116329-1466960005/watcher-4116329-1466960005 -o /tmp/evaluation-result-4116329-1466960005/solver-4116329-1466960005 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466943595-19069 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4116329-1466960005.opb

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

MD5SUM BENCH= d827b9fc4bd3966ba2debe1f9174b854
RANDOM SEED=1876821383

node123.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.608
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.21
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.608
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.608
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29940068 kB
Buffers:           22652 kB
Cached:           111916 kB
SwapCached:         1776 kB
Active:           323744 kB
Inactive:         110108 kB
Active(anon):     300868 kB
Inactive(anon):      924 kB
Active(file):      22876 kB
Inactive(file):   109184 kB
Unevictable:     1798432 kB
Mlocked:         1643088 kB
SwapTotal:      67108856 kB
SwapFree:       67098700 kB
Dirty:              1220 kB
Writeback:             0 kB
AnonPages:       2197664 kB
Mapped:            15476 kB
Shmem:                 0 kB
Slab:             565412 kB
SReclaimable:       9484 kB
SUnreclaim:       555928 kB
KernelStack:        1760 kB
PageTables:         8592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2557732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    540672 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= 71728 MiB
End job on node123 at 2016-06-26 19:23:23