Trace number 4084578

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.78 1797.57

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-76.opb
MD5SUMf030651c159d27eae553d070b0927366
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 variables12587
Total number of constraints283937
Number of constraints which are clauses255125
Number of constraints which are cardinality constraints (but not clauses)903
Number of constraints which are nor clauses,nor cardinality constraints27909
Minimum length of a constraint2
Maximum length of a constraint270
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 271
Number of bits of the biggest sum of numbers9
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.09/0.10	c version PB16.v20160501
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4084578-1465276392.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
2.87/2.15	c ... done. Wall clock time 2.03s.
2.87/2.15	c declared #vars     12587
2.87/2.15	c #constraints  284398
2.87/2.15	c constraints type 
2.87/2.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 195762
2.87/2.15	c org.sat4j.minisat.constraints.card.MinWatchCard => 906
2.87/2.15	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 59821
2.87/2.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 27909
2.87/2.15	c 284398 constraints processed.
4.94/3.85	c cleaning 2497 clauses out of 5000 with flag 27667/5000
7.28/5.97	c cleaning 4237 clauses out of 8501 with flag 146152/11000
9.60/8.27	c cleaning 5613 clauses out of 11264 with flag 283742/18000
12.31/10.90	c cleaning 6811 clauses out of 13651 with flag 463292/26000
15.16/13.79	c cleaning 7841 clauses out of 15836 with flag 616663/35000
18.26/16.89	c cleaning 8859 clauses out of 17996 with flag 800380/45001
21.26/19.87	c cleaning 9991 clauses out of 20136 with flag 969199/56000
24.76/23.30	c cleaning 11072 clauses out of 22146 with flag 1170048/68001
28.66/27.21	c cleaning 11973 clauses out of 24073 with flag 1340674/81000
32.96/31.56	c cleaning 12938 clauses out of 26100 with flag 1522940/95000
36.16/34.75	c cleaning 13929 clauses out of 28162 with flag 1695919/110000
39.46/38.08	c cleaning 15085 clauses out of 30234 with flag 1875231/126001
43.27/41.81	c cleaning 16053 clauses out of 32149 with flag 2069509/143001
47.67/46.29	c cleaning 16886 clauses out of 34095 with flag 2305883/161000
52.36/50.94	c cleaning 18044 clauses out of 36210 with flag 2537223/180001
56.47/55.07	c cleaning 19039 clauses out of 38165 with flag 2749422/200000
60.56/59.19	c cleaning 19943 clauses out of 40127 with flag 2978176/221001
65.56/64.16	c cleaning 20902 clauses out of 42183 with flag 3265957/243000
70.47/69.07	c cleaning 22119 clauses out of 44281 with flag 3518459/266000
75.67/74.20	c cleaning 23058 clauses out of 46163 with flag 3761418/290001
79.87/78.41	c cleaning 24001 clauses out of 48104 with flag 4008651/315000
84.87/83.45	c cleaning 25008 clauses out of 50103 with flag 4255038/341000
90.27/88.80	c cleaning 25979 clauses out of 52097 with flag 4494904/368003
95.67/94.24	c cleaning 27023 clauses out of 54116 with flag 4752836/396001
101.88/100.40	c cleaning 28004 clauses out of 56092 with flag 5046266/425000
107.38/105.97	c cleaning 28989 clauses out of 58088 with flag 5327981/455000
114.19/112.76	c cleaning 30025 clauses out of 60099 with flag 5639073/486000
120.98/119.58	c cleaning 30953 clauses out of 62074 with flag 5936791/518000
127.79/126.30	c cleaning 31995 clauses out of 64121 with flag 6229203/551000
134.19/132.79	c cleaning 32985 clauses out of 66126 with flag 6520847/585000
141.10/139.64	c cleaning 34050 clauses out of 68141 with flag 6837092/620000
148.10/146.63	c cleaning 35002 clauses out of 70092 with flag 7174727/656001
156.60/155.12	c cleaning 35997 clauses out of 72091 with flag 7539133/693002
164.41/162.96	c cleaning 36950 clauses out of 74092 with flag 7909065/731000
172.81/171.34	c cleaning 38012 clauses out of 76142 with flag 8289839/770000
179.91/178.44	c cleaning 39010 clauses out of 78130 with flag 8587713/810000
186.91/185.46	c cleaning 40029 clauses out of 80120 with flag 8928381/851000
194.92/193.45	c cleaning 40971 clauses out of 82091 with flag 9315283/893000
203.81/202.31	c cleaning 41986 clauses out of 84121 with flag 9733471/936001
212.51/211.09	c cleaning 43039 clauses out of 86135 with flag 10112166/980001
221.42/219.93	c cleaning 43948 clauses out of 88096 with flag 10498590/1025001
231.21/229.75	c cleaning 45063 clauses out of 90148 with flag 10894129/1071001
240.81/239.37	c cleaning 46042 clauses out of 92084 with flag 11259660/1118000
252.12/250.68	c cleaning 46890 clauses out of 94042 with flag 11677634/1166000
262.62/261.12	c cleaning 48031 clauses out of 96152 with flag 12073721/1215000
274.43/272.99	c cleaning 49016 clauses out of 98122 with flag 12508853/1265001
285.73/284.29	c cleaning 49919 clauses out of 100105 with flag 12980772/1316000
297.54/296.01	c cleaning 51066 clauses out of 102187 with flag 13458512/1368001
308.34/306.82	c cleaning 52037 clauses out of 104124 with flag 13936835/1421004
320.15/318.61	c cleaning 53017 clauses out of 106084 with flag 14381041/1475001
331.45/329.99	c cleaning 53983 clauses out of 108066 with flag 14836687/1530000
344.05/342.52	c cleaning 54975 clauses out of 110083 with flag 15392940/1586000
357.36/355.82	c cleaning 55917 clauses out of 112108 with flag 16007177/1643000
370.94/369.26	c cleaning 57059 clauses out of 114192 with flag 16567819/1701001
383.54/381.89	c cleaning 58065 clauses out of 116132 with flag 17030197/1760000
396.04/394.34	c cleaning 58980 clauses out of 118068 with flag 17517272/1820001
409.54/407.81	c cleaning 59956 clauses out of 120087 with flag 18049178/1881000
425.24/423.55	c cleaning 61037 clauses out of 122131 with flag 18638446/1943000
440.93/439.28	c cleaning 62014 clauses out of 124094 with flag 19176461/2006000
455.33/453.67	c cleaning 62983 clauses out of 126082 with flag 19763825/2070002
471.55/469.85	c cleaning 63875 clauses out of 128097 with flag 20467586/2135000
489.56/487.83	c cleaning 65016 clauses out of 130222 with flag 21115619/2201000
509.46/507.74	c cleaning 66084 clauses out of 132207 with flag 21836274/2268001
525.86/524.17	c cleaning 67062 clauses out of 134123 with flag 22497543/2336001
542.16/540.47	c cleaning 68008 clauses out of 136060 with flag 23053664/2405000
556.65/554.90	c cleaning 68823 clauses out of 138052 with flag 23690024/2475000
573.05/571.31	c cleaning 70050 clauses out of 140229 with flag 24297106/2546000
590.66/588.90	c cleaning 70963 clauses out of 142179 with flag 24856966/2618000
610.37/608.67	c cleaning 72069 clauses out of 144216 with flag 25536647/2691000
627.87/626.14	c cleaning 73006 clauses out of 146147 with flag 26189883/2765000
647.37/645.65	c cleaning 74053 clauses out of 148141 with flag 26906963/2840000
666.17/664.49	c cleaning 75004 clauses out of 150089 with flag 27523019/2916001
684.97/683.28	c cleaning 75956 clauses out of 152084 with flag 28209633/2993000
704.56/702.83	c cleaning 76978 clauses out of 154128 with flag 28825745/3071000
723.26/721.59	c cleaning 78051 clauses out of 156150 with flag 29456118/3150000
743.66/741.90	c cleaning 78971 clauses out of 158099 with flag 30074739/3230000
766.97/765.20	c cleaning 80036 clauses out of 160128 with flag 30683146/3311000
787.77/786.02	c cleaning 80971 clauses out of 162092 with flag 31304868/3393000
810.10/808.17	c cleaning 82061 clauses out of 164122 with flag 31995433/3476001
831.60/829.60	c cleaning 82971 clauses out of 166060 with flag 32666369/3560000
853.01/851.08	c cleaning 84014 clauses out of 168089 with flag 33353243/3645000
877.61/875.63	c cleaning 85017 clauses out of 170076 with flag 34104434/3731001
902.50/900.55	c cleaning 85986 clauses out of 172058 with flag 34806991/3818000
926.03/924.07	c cleaning 87016 clauses out of 174073 with flag 35542440/3906001
950.52/948.58	c cleaning 87999 clauses out of 176059 with flag 36212561/3995003
975.72/973.73	c cleaning 89012 clauses out of 178057 with flag 37058581/4085000
1001.02/999.05	c cleaning 89933 clauses out of 180045 with flag 37881747/4176000
1028.13/1026.18	c cleaning 91057 clauses out of 182113 with flag 38605899/4268001
1054.63/1052.68	c cleaning 92005 clauses out of 184055 with flag 39421955/4361000
1080.04/1078.10	c cleaning 92949 clauses out of 186050 with flag 40267035/4455000
1104.43/1102.40	c cleaning 94023 clauses out of 188102 with flag 41049641/4550001
1133.64/1131.68	c cleaning 95039 clauses out of 190078 with flag 41929998/4646000
1161.85/1159.89	c cleaning 95967 clauses out of 192039 with flag 42895328/4743000
1188.45/1186.49	c cleaning 97000 clauses out of 194073 with flag 43664850/4841001
1214.55/1212.56	c cleaning 97965 clauses out of 196072 with flag 44480416/4940000
1242.56/1240.58	c cleaning 99027 clauses out of 198109 with flag 45312122/5040002
1271.36/1269.31	c cleaning 99738 clauses out of 200080 with flag 46266147/5141000
1299.98/1297.96	c cleaning 101128 clauses out of 202342 with flag 47123357/5243000
1331.68/1329.62	c cleaning 102017 clauses out of 204214 with flag 48166194/5346000
1364.59/1362.59	c cleaning 103062 clauses out of 206197 with flag 49059617/5450000
1394.99/1392.97	c cleaning 103969 clauses out of 208135 with flag 49929641/5555000
1426.49/1424.49	c cleaning 104991 clauses out of 210166 with flag 50858807/5661000
1457.40/1455.34	c cleaning 106041 clauses out of 212175 with flag 51856620/5768000
1487.11/1485.09	c cleaning 106999 clauses out of 214134 with flag 52690892/5876000
1525.31/1523.21	c cleaning 108005 clauses out of 216136 with flag 53552074/5985001
1558.81/1556.77	c cleaning 109054 clauses out of 218130 with flag 54437164/6095000
1591.41/1589.33	c cleaning 109984 clauses out of 220077 with flag 55395003/6206001
1624.02/1621.94	c cleaning 110954 clauses out of 222092 with flag 56356326/6318000
1662.32/1660.26	c cleaning 112024 clauses out of 224138 with flag 57371701/6431000
1698.62/1696.54	c cleaning 113038 clauses out of 226114 with flag 58599080/6545000
1732.98/1730.48	c cleaning 113942 clauses out of 228077 with flag 59725865/6660001
1768.79/1766.22	c cleaning 115045 clauses out of 230135 with flag 60798536/6776001
1800.09/1797.51	c starts		: 25954
1800.09/1797.51	c conflicts		: 6882412
1800.09/1797.51	c decisions		: 54547560
1800.09/1797.51	c propagations		: 1171486303
1800.09/1797.51	c inspects		: 23403194839
1800.09/1797.51	c shortcuts		: 0
1800.09/1797.51	c learnt literals	: 7
1800.09/1797.51	c learnt binary clauses	: 1741
1800.09/1797.51	c learnt ternary clauses	: 4513
1800.09/1797.51	c learnt constraints	: 6882405
1800.09/1797.51	c ignored constraints	: 0
1800.09/1797.51	c root simplifications	: 0
1800.09/1797.51	c removed literals (reason simplification)	: 0
1800.09/1797.51	c reason swapping (by a shorter reason)	: 0
1800.09/1797.51	c Calls to reduceDB	: 112
1800.09/1797.51	c Number of update (reduction) of LBD	: 4029440
1800.09/1797.51	c Imported unit clauses	: 0
1800.09/1797.51	c number of reductions to clauses (during analyze)	: 0
1800.09/1797.51	c number of learned constraints concerned by reduction	: 0
1800.09/1797.51	c number of learning phase by resolution	: 0
1800.09/1797.51	c number of learning phase by cutting planes	: 0
1800.09/1797.51	c speed (assignments/second)	: 652512.5310037559
1800.09/1797.51	c non guided choices	1510529
1800.09/1797.51	c timeout
1800.09/1797.55	c learnt constraints type 
1800.09/1797.56	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1741
1800.09/1797.56	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 219760
1800.09/1797.56	s UNKNOWN
1800.09/1797.56	c Total wall clock time (in seconds): 1797.435

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-4084578-1465276392/watcher-4084578-1465276392 -o /tmp/evaluation-result-4084578-1465276392/solver-4084578-1465276392 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465270992-28819 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084578-1465276392.opb 

pid=29505
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.00 2.00 2.00 3/194 29508
/proc/meminfo: memFree=30583572/32872528 swapFree=11320/319964
[pid=29508] ppid=29505 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/29508/stat : 29508 (java) D 29505 29508 28803 0 -1 4202496 317 0 0 0 0 0 0 0 20 0 1 0 109572484 9515008 175 33554432000 1073741824 1073778376 140735222036400 140735222019128 262962758544 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/29508/statm: 2323 175 133 9 0 71 0

[startup+0.100112 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 29508
/proc/meminfo: memFree=30583572/32872528 swapFree=11320/319964
[pid=29508] ppid=29505 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/29508/stat : 29508 (java) S 29505 29508 28803 0 -1 4202496 4395 0 1 0 8 1 0 0 20 0 18 0 109572484 9787879424 5510 33554432000 1073741824 1073778376 140735800578000 140735800569136 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29508/statm: 2389619 5510 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200319 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 29508
/proc/meminfo: memFree=30583572/32872528 swapFree=11320/319964
[pid=29508] ppid=29505 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/29508/stat : 29508 (java) S 29505 29508 28803 0 -1 4202496 4700 0 1 0 22 1 0 0 20 0 18 0 109572484 9787879424 6798 33554432000 1073741824 1073778376 140735800578000 140735800569136 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29508/statm: 2389619 6798 2197 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300321 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 29508
/proc/meminfo: memFree=30583572/32872528 swapFree=11320/319964
[pid=29508] ppid=29505 vsize=9558476 CPUtime=0.43 cores=0,2,4,6
/proc/29508/stat : 29508 (java) S 29505 29508 28803 0 -1 4202496 5314 0 1 0 42 1 0 0 20 0 18 0 109572484 9787879424 8565 33554432000 1073741824 1073778376 140735800578000 140735800569136 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29508/statm: 2389619 8565 2230 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558476

[startup+0.700292 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 29508
/proc/meminfo: memFree=30583572/32872528 swapFree=11320/319964
[pid=29508] ppid=29505 vsize=9558476 CPUtime=1.14 cores=0,2,4,6
/proc/29508/stat : 29508 (java) S 29505 29508 28803 0 -1 4202496 7622 0 1 0 109 5 0 0 20 0 18 0 109572484 9787879424 39964 33554432000 1073741824 1073778376 140735800578000 140735800569136 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29508/statm: 2389619 39964 2263 9 0 2380296 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9558476

[startup+1.50079 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 29526
/proc/meminfo: memFree=30418492/32872528 swapFree=11320/319964
[pid=29508] ppid=29505 vsize=9558476 CPUtime=2.15 cores=0,2,4,6
/proc/29508/stat : 29508 (java) S 29505 29508 28803 0 -1 4202496 9357 0 1 0 205 10 0 0 20 0 18 0 109572484 9787879424 78390 33554432000 1073741824 1073778376 140735800578000 140735800569136 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29508/statm: 2389619 78390 2263 9 0 2380296 0
[pid=29508/tid=29510] ppid=29505 vsize=9558476 CPUtime=1.41 cores=0,2,4,6
/proc/29508/task/29510/stat : 29510 (java) R 29505 29508 28803 0 -1 4202560 2528 0 1 0 136 5 0 0 20 0 18 0 109572486 9787879424 78390 33554432000 1073741824 1073778376 140735800578000 139902601116888 139902470033230 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29508/tid=29511] ppid=29505 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/29508/task/29511/stat : 29511 (java) S 29505 29508 28803 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 109572487 9787879424 78390 33554432000 1073741824 1073778376 140735800578000 139902590179880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29508/tid=29512] ppid=29505 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/29508/task/29512/stat : 29512 (java) S 29505 29508 28803 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 109572487 9787879424 78390 33554432000 1073741824 1073778376 140735800578000 139902589127080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29513] ppid=29505 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/29508/task/29513/stat : 29513 (java) S 29505 29508 28803 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 109572487 9787879424 78390 33554432000 1073741824 1073778376 140735800578000 139902588074280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29508/tid=29514] ppid=29505 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29514/stat : 29514 (java) S 29505 29508 28803 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 109572487 9787879424 78390 33554432000 1073741824 1073778376 140735800578000 139902441961640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29515] ppid=29505 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/29508/task/29515/stat : 29515 (java) S 29505 29508 28803 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 18 0 109572487 9787879424 78390 33554432000 1073741824 1073778376 140735800578000 139902440909864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29508/tid=29516] ppid=29505 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29516/stat : 29516 (java) S 29505 29508 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 109572487 9787879424 78390 33554432000 1073741824 1073778376 140735800578000 139902439857064 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29508/tid=29517] ppid=29505 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29517/stat : 29517 (java) S 29505 29508 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 109572487 9787879424 78390 33554432000 1073741824 1073778376 140735800578000 139902438804264 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29508/tid=29518] ppid=29505 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/29508/task/29518/stat : 29518 (java) S 29505 29508 28803 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 109572487 9787879424 78390 33554432000 1073741824 1073778376 140735800578000 139902437751464 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29519] ppid=29505 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29519/stat : 29519 (java) S 29505 29508 28803 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 109572488 9787879424 78390 33554432000 1073741824 1073778376 140735800578000 139902425340392 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29520] ppid=29505 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29520/stat : 29520 (java) S 29505 29508 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 109572489 9787879424 78390 33554432000 1073741824 1073778376 140735800578000 139902424286456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29521] ppid=29505 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29521/stat : 29521 (java) S 29505 29508 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 109572489 9787879424 78390 33554432000 1073741824 1073778376 140735800578000 139902423233544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29522] ppid=29505 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29522/stat : 29522 (java) S 29505 29508 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 109572491 9787879424 78390 33554432000 1073741824 1073778376 140735800578000 139902422182032 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29523] ppid=29505 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/29508/task/29523/stat : 29523 (java) R 29505 29508 28803 0 -1 4202560 3087 0 0 0 28 0 0 0 20 0 18 0 109572491 9787879424 78390 33554432000 1073741824 1073778376 140735800578000 139902421130168 139902607907535 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29524] ppid=29505 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/29508/task/29524/stat : 29524 (java) S 29505 29508 28803 0 -1 4202560 2210 0 0 0 24 0 0 0 20 0 18 0 109572491 9787879424 78390 33554432000 1073741824 1073778376 140735800578000 139902420077368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29525] ppid=29505 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29525/stat : 29525 (java) S 29505 29508 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 109572491 9787879424 78390 33554432000 1073741824 1073778376 140735800578000 139902419024760 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29526] ppid=29505 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29526/stat : 29526 (java) S 29505 29508 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 109572491 9787879424 78390 33554432000 1073741824 1073778376 140735800578000 139902417972168 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 9558476

[startup+3.10079 s]
/proc/loadavg: 2.00 2.00 2.00 5/193 29543
/proc/meminfo: memFree=31116932/32872528 swapFree=11320/319964
[pid=29508] ppid=29505 vsize=9625040 CPUtime=4.12 cores=0,2,4,6
/proc/29508/stat : 29508 (java) S 29505 29508 28803 0 -1 4202496 9683 0 1 0 398 14 0 0 20 0 19 0 109572484 9856040960 85635 33554432000 1073741824 1073778376 140735800578000 140735800569136 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29508/statm: 2406260 85635 2277 9 0 2396937 0
[pid=29508/tid=29510] ppid=29505 vsize=9625040 CPUtime=2.98 cores=0,2,4,6
/proc/29508/task/29510/stat : 29510 (java) R 29505 29508 28803 0 -1 4202560 2541 0 1 0 292 6 0 0 20 0 19 0 109572486 9856040960 85635 33554432000 1073741824 1073778376 140735800578000 139902601118184 139902470308199 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29508/tid=29511] ppid=29505 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/29508/task/29511/stat : 29511 (java) S 29505 29508 28803 0 -1 4202560 37 0 0 0 3 0 0 0 20 0 19 0 109572487 9856040960 85635 33554432000 1073741824 1073778376 140735800578000 139902590179880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29512] ppid=29505 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/29508/task/29512/stat : 29512 (java) S 29505 29508 28803 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 109572487 9856040960 85635 33554432000 1073741824 1073778376 140735800578000 139902589127080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29513] ppid=29505 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/29508/task/29513/stat : 29513 (java) S 29505 29508 28803 0 -1 4202560 27 0 0 0 2 0 0 0 20 0 19 0 109572487 9856040960 85635 33554432000 1073741824 1073778376 140735800578000 139902588074280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29508/tid=29514] ppid=29505 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/29508/task/29514/stat : 29514 (java) S 29505 29508 28803 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 109572487 9856040960 85635 33554432000 1073741824 1073778376 140735800578000 139902441961640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29515] ppid=29505 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/29508/task/29515/stat : 29515 (java) S 29505 29508 28803 0 -1 4202560 22 0 0 0 3 1 0 0 20 0 19 0 109572487 9856040960 85635 33554432000 1073741824 1073778376 140735800578000 139902440909864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29508/tid=29516] ppid=29505 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/29508/task/29516/stat : 29516 (java) S 29505 29508 28803 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 109572487 9856040960 85635 33554432000 1073741824 1073778376 140735800578000 139902439857064 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29508/tid=29517] ppid=29505 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/29508/task/29517/stat : 29517 (java) S 29505 29508 28803 0 -1 4202560 29 0 0 0 2 1 0 0 20 0 19 0 109572487 9856040960 85635 33554432000 1073741824 1073778376 140735800578000 139902438804264 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29508/tid=29518] ppid=29505 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/29508/task/29518/stat : 29518 (java) S 29505 29508 28803 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 19 0 109572487 9856040960 85635 33554432000 1073741824 1073778376 140735800578000 139902437751464 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29519] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29519/stat : 29519 (java) S 29505 29508 28803 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 109572488 9856040960 85635 33554432000 1073741824 1073778376 140735800578000 139902425340392 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29520] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29520/stat : 29520 (java) S 29505 29508 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109572489 9856040960 85635 33554432000 1073741824 1073778376 140735800578000 139902424286456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29521] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29521/stat : 29521 (java) S 29505 29508 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109572489 9856040960 85635 33554432000 1073741824 1073778376 140735800578000 139902423233544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29522] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29522/stat : 29522 (java) S 29505 29508 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109572491 9856040960 85635 33554432000 1073741824 1073778376 140735800578000 139902422182032 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29523] ppid=29505 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/29508/task/29523/stat : 29523 (java) S 29505 29508 28803 0 -1 4202560 3093 0 0 0 43 0 0 0 20 0 19 0 109572491 9856040960 85635 33554432000 1073741824 1073778376 140735800578000 139902421130168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29524] ppid=29505 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/29508/task/29524/stat : 29524 (java) S 29505 29508 28803 0 -1 4202560 2411 0 0 0 36 0 0 0 20 0 19 0 109572491 9856040960 85635 33554432000 1073741824 1073778376 140735800578000 139902420077368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29525] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29525/stat : 29525 (java) S 29505 29508 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109572491 9856040960 85635 33554432000 1073741824 1073778376 140735800578000 139902419024760 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29526] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29526/stat : 29526 (java) S 29505 29508 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109572491 9856040960 85635 33554432000 1073741824 1073778376 140735800578000 139902417972168 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29543] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29543/stat : 29543 (java) S 29505 29508 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109572701 9856040960 85635 33554432000 1073741824 1073778376 140735800578000 139902416917672 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 9625040

[startup+6.30085 s]
/proc/loadavg: 2.08 2.02 2.01 3/212 29592
/proc/meminfo: memFree=30905004/32872528 swapFree=11320/319964
[pid=29508] ppid=29505 vsize=9625040 CPUtime=7.69 cores=0,2,4,6
/proc/29508/stat : 29508 (java) S 29505 29508 28803 0 -1 4202496 13091 0 1 0 755 14 0 0 20 0 19 0 109572484 9856040960 85422 33554432000 1073741824 1073778376 140735800578000 140735800569136 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29508/statm: 2406260 85422 2284 9 0 2396937 0
[pid=29508/tid=29510] ppid=29505 vsize=9625040 CPUtime=6.18 cores=0,2,4,6
/proc/29508/task/29510/stat : 29510 (java) R 29505 29508 28803 0 -1 4202560 2545 0 1 0 612 6 0 0 20 0 19 0 109572486 9856040960 85422 33554432000 1073741824 1073778376 140735800578000 139902601116200 139902470281318 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29508/tid=29511] ppid=29505 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/29508/task/29511/stat : 29511 (java) S 29505 29508 28803 0 -1 4202560 37 0 0 0 3 0 0 0 20 0 19 0 109572487 9856040960 85422 33554432000 1073741824 1073778376 140735800578000 139902590179880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29512] ppid=29505 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/29508/task/29512/stat : 29512 (java) S 29505 29508 28803 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 109572487 9856040960 85422 33554432000 1073741824 1073778376 140735800578000 139902589127080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29513] ppid=29505 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/29508/task/29513/stat : 29513 (java) S 29505 29508 28803 0 -1 4202560 27 0 0 0 2 0 0 0 20 0 19 0 109572487 9856040960 85422 33554432000 1073741824 1073778376 140735800578000 139902588074280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29508/tid=29514] ppid=29505 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/29508/task/29514/stat : 29514 (java) S 29505 29508 28803 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 109572487 9856040960 85422 33554432000 1073741824 1073778376 140735800578000 139902441961640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29515] ppid=29505 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/29508/task/29515/stat : 29515 (java) S 29505 29508 28803 0 -1 4202560 22 0 0 0 3 1 0 0 20 0 19 0 109572487 9856040960 85422 33554432000 1073741824 1073778376 140735800578000 139902440909864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29508/tid=29516] ppid=29505 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/29508/task/29516/stat : 29516 (java) S 29505 29508 28803 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 109572487 9856040960 85422 33554432000 1073741824 1073778376 140735800578000 139902439857064 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29508/tid=29517] ppid=29505 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/29508/task/29517/stat : 29517 (java) S 29505 29508 28803 0 -1 4202560 29 0 0 0 2 1 0 0 20 0 19 0 109572487 9856040960 85422 33554432000 1073741824 1073778376 140735800578000 139902438804264 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29508/tid=29518] ppid=29505 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/29508/task/29518/stat : 29518 (java) S 29505 29508 28803 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 19 0 109572487 9856040960 85422 33554432000 1073741824 1073778376 140735800578000 139902437751464 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29519] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29519/stat : 29519 (java) S 29505 29508 28803 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 109572488 9856040960 85422 33554432000 1073741824 1073778376 140735800578000 139902425340392 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29520] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29520/stat : 29520 (java) S 29505 29508 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109572489 9856040960 85422 33554432000 1073741824 1073778376 140735800578000 139902424286456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29521] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29521/stat : 29521 (java) S 29505 29508 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109572489 9856040960 85422 33554432000 1073741824 1073778376 140735800578000 139902423233544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29522] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29522/stat : 29522 (java) S 29505 29508 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109572491 9856040960 85422 33554432000 1073741824 1073778376 140735800578000 139902422182032 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29523] ppid=29505 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/29508/task/29523/stat : 29523 (java) S 29505 29508 28803 0 -1 4202560 4415 0 0 0 58 0 0 0 20 0 19 0 109572491 9856040960 85422 33554432000 1073741824 1073778376 140735800578000 139902421130168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29524] ppid=29505 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/29508/task/29524/stat : 29524 (java) S 29505 29508 28803 0 -1 4202560 4492 0 0 0 59 0 0 0 20 0 19 0 109572491 9856040960 85422 33554432000 1073741824 1073778376 140735800578000 139902420077368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29525] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29525/stat : 29525 (java) S 29505 29508 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109572491 9856040960 85422 33554432000 1073741824 1073778376 140735800578000 139902419024760 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29526] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29526/stat : 29526 (java) S 29505 29508 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109572491 9856040960 85422 33554432000 1073741824 1073778376 140735800578000 139902417972168 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29543] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29543/stat : 29543 (java) S 29505 29508 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109572701 9856040960 85422 33554432000 1073741824 1073778376 140735800578000 139902416917672 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 9625040

[startup+12.7009 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 29593

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

[pid=29508/tid=29520] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29520/stat : 29520 (java) S 29505 29508 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109572489 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902424286456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29521] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29521/stat : 29521 (java) S 29505 29508 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109572489 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902423233544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29522] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29522/stat : 29522 (java) S 29505 29508 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109572491 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902422182032 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29523] ppid=29505 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/29508/task/29523/stat : 29523 (java) S 29505 29508 28803 0 -1 4202560 4613 0 0 0 66 0 0 0 20 0 19 0 109572491 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902421130168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29524] ppid=29505 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/29508/task/29524/stat : 29524 (java) S 29505 29508 28803 0 -1 4202560 4492 0 0 0 60 0 0 0 20 0 19 0 109572491 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902420077368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29525] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29525/stat : 29525 (java) S 29505 29508 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109572491 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902419024760 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29526] ppid=29505 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/29508/task/29526/stat : 29526 (java) S 29505 29508 28803 0 -1 4202560 99 0 0 0 33 29 0 0 20 0 19 0 109572491 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902417972168 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29543] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29543/stat : 29543 (java) S 29505 29508 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109572701 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902416917672 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1724.87
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/213 29637
/proc/meminfo: memFree=28156196/32872528 swapFree=11320/319964
[pid=29508] ppid=29505 vsize=9625040 CPUtime=1784.89 cores=0,2,4,6
/proc/29508/stat : 29508 (java) S 29505 29508 28803 0 -1 4202496 15698 0 1 0 178400 89 0 0 20 0 19 0 109572484 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 140735800569136 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29508/statm: 2406260 341058 2285 9 0 2396937 0
[pid=29508/tid=29510] ppid=29505 vsize=9625040 CPUtime=1781.92 cores=0,2,4,6
/proc/29508/task/29510/stat : 29510 (java) R 29505 29508 28803 0 -1 4202560 2876 0 1 0 178146 46 0 0 20 0 19 0 109572486 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902601109296 139902470302426 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29508/tid=29511] ppid=29505 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/29508/task/29511/stat : 29511 (java) S 29505 29508 28803 0 -1 4202560 253 0 0 0 15 7 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902590179880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29512] ppid=29505 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/29508/task/29512/stat : 29512 (java) S 29505 29508 28803 0 -1 4202560 104 0 0 0 12 5 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902589127080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29508/tid=29513] ppid=29505 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/29508/task/29513/stat : 29513 (java) S 29505 29508 28803 0 -1 4202560 203 0 0 0 10 6 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902588074280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29508/tid=29514] ppid=29505 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/29508/task/29514/stat : 29514 (java) S 29505 29508 28803 0 -1 4202560 155 0 0 0 10 5 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902441961640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29508/tid=29515] ppid=29505 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/29508/task/29515/stat : 29515 (java) S 29505 29508 28803 0 -1 4202560 159 0 0 0 11 6 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902440909864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29516] ppid=29505 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/29508/task/29516/stat : 29516 (java) S 29505 29508 28803 0 -1 4202560 171 0 0 0 12 6 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902439857064 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29508/tid=29517] ppid=29505 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/29508/task/29517/stat : 29517 (java) S 29505 29508 28803 0 -1 4202560 125 0 0 0 10 5 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902438804264 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29518] ppid=29505 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/29508/task/29518/stat : 29518 (java) S 29505 29508 28803 0 -1 4202560 128 0 0 0 9 7 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902437751464 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29519] ppid=29505 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/29508/task/29519/stat : 29519 (java) S 29505 29508 28803 0 -1 4202560 1059 0 0 0 2 0 0 0 20 0 19 0 109572488 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902425340392 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29520] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29520/stat : 29520 (java) S 29505 29508 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109572489 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902424286456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29521] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29521/stat : 29521 (java) S 29505 29508 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109572489 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902423233544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29522] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29522/stat : 29522 (java) S 29505 29508 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109572491 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902422182032 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29523] ppid=29505 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/29508/task/29523/stat : 29523 (java) S 29505 29508 28803 0 -1 4202560 4613 0 0 0 66 0 0 0 20 0 19 0 109572491 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902421130168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29524] ppid=29505 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/29508/task/29524/stat : 29524 (java) S 29505 29508 28803 0 -1 4202560 4492 0 0 0 60 0 0 0 20 0 19 0 109572491 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902420077368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29525] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29525/stat : 29525 (java) S 29505 29508 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109572491 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902419024760 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29526] ppid=29505 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/29508/task/29526/stat : 29526 (java) S 29505 29508 28803 0 -1 4202560 103 0 0 0 35 30 0 0 20 0 19 0 109572491 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902417972168 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29543] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29543/stat : 29543 (java) S 29505 29508 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109572701 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902416917672 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1784.89
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.51 s]
/proc/loadavg: 2.04 2.03 2.00 3/213 29637
/proc/meminfo: memFree=28155956/32872528 swapFree=11320/319964
[pid=29508] ppid=29505 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/29508/stat : 29508 (java) S 29505 29508 28803 0 -1 4202496 15698 0 1 0 179920 89 0 0 20 0 19 0 109572484 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 140735800569136 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29508/statm: 2406260 341058 2285 9 0 2396937 0
[pid=29508/tid=29510] ppid=29505 vsize=9625040 CPUtime=1797.13 cores=0,2,4,6
/proc/29508/task/29510/stat : 29510 (java) R 29505 29508 28803 0 -1 4202560 2876 0 1 0 179667 46 0 0 20 0 19 0 109572486 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902601109296 139902470281318 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29508/tid=29511] ppid=29505 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/29508/task/29511/stat : 29511 (java) S 29505 29508 28803 0 -1 4202560 253 0 0 0 15 7 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902590179880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29512] ppid=29505 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/29508/task/29512/stat : 29512 (java) S 29505 29508 28803 0 -1 4202560 104 0 0 0 12 5 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902589127080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29508/tid=29513] ppid=29505 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/29508/task/29513/stat : 29513 (java) S 29505 29508 28803 0 -1 4202560 203 0 0 0 10 6 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902588074280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29508/tid=29514] ppid=29505 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/29508/task/29514/stat : 29514 (java) S 29505 29508 28803 0 -1 4202560 155 0 0 0 10 5 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902441961640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29508/tid=29515] ppid=29505 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/29508/task/29515/stat : 29515 (java) S 29505 29508 28803 0 -1 4202560 159 0 0 0 11 6 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902440909864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29516] ppid=29505 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/29508/task/29516/stat : 29516 (java) S 29505 29508 28803 0 -1 4202560 171 0 0 0 12 6 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902439857064 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29508/tid=29517] ppid=29505 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/29508/task/29517/stat : 29517 (java) S 29505 29508 28803 0 -1 4202560 125 0 0 0 10 5 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902438804264 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29518] ppid=29505 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/29508/task/29518/stat : 29518 (java) S 29505 29508 28803 0 -1 4202560 128 0 0 0 9 7 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902437751464 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29519] ppid=29505 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/29508/task/29519/stat : 29519 (java) S 29505 29508 28803 0 -1 4202560 1059 0 0 0 2 0 0 0 20 0 19 0 109572488 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902425340392 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29520] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29520/stat : 29520 (java) S 29505 29508 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109572489 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902424286456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29521] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29521/stat : 29521 (java) S 29505 29508 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109572489 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902423233544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29522] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29522/stat : 29522 (java) S 29505 29508 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109572491 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902422182032 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29523] ppid=29505 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/29508/task/29523/stat : 29523 (java) S 29505 29508 28803 0 -1 4202560 4613 0 0 0 66 0 0 0 20 0 19 0 109572491 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902421130168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29524] ppid=29505 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/29508/task/29524/stat : 29524 (java) S 29505 29508 28803 0 -1 4202560 4492 0 0 0 60 0 0 0 20 0 19 0 109572491 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902420077368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29525] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29525/stat : 29525 (java) S 29505 29508 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109572491 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902419024760 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29526] ppid=29505 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/29508/task/29526/stat : 29526 (java) S 29505 29508 28803 0 -1 4202560 103 0 0 0 35 30 0 0 20 0 19 0 109572491 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902417972168 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29543] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29543/stat : 29543 (java) S 29505 29508 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109572701 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902416917672 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 29508 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1797.51 s]
/proc/loadavg: 2.04 2.03 2.00 3/213 29637
/proc/meminfo: memFree=28155956/32872528 swapFree=11320/319964
[pid=29508] ppid=29505 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/29508/stat : 29508 (java) S 29505 29508 28803 0 -1 4202496 15698 0 1 0 179920 89 0 0 20 0 19 0 109572484 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 140735800569136 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29508/statm: 2406260 341058 2285 9 0 2396937 0
[pid=29508/tid=29510] ppid=29505 vsize=9625040 CPUtime=1797.13 cores=0,2,4,6
/proc/29508/task/29510/stat : 29510 (java) R 29505 29508 28803 0 -1 4202560 2876 0 1 0 179667 46 0 0 20 0 19 0 109572486 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902601109296 139902470281318 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29508/tid=29511] ppid=29505 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/29508/task/29511/stat : 29511 (java) S 29505 29508 28803 0 -1 4202560 253 0 0 0 15 7 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902590179880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29512] ppid=29505 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/29508/task/29512/stat : 29512 (java) S 29505 29508 28803 0 -1 4202560 104 0 0 0 12 5 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902589127080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29508/tid=29513] ppid=29505 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/29508/task/29513/stat : 29513 (java) S 29505 29508 28803 0 -1 4202560 203 0 0 0 10 6 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902588074280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29508/tid=29514] ppid=29505 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/29508/task/29514/stat : 29514 (java) S 29505 29508 28803 0 -1 4202560 155 0 0 0 10 5 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902441961640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29508/tid=29515] ppid=29505 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/29508/task/29515/stat : 29515 (java) S 29505 29508 28803 0 -1 4202560 159 0 0 0 11 6 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902440909864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29516] ppid=29505 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/29508/task/29516/stat : 29516 (java) S 29505 29508 28803 0 -1 4202560 171 0 0 0 12 6 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902439857064 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29508/tid=29517] ppid=29505 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/29508/task/29517/stat : 29517 (java) S 29505 29508 28803 0 -1 4202560 125 0 0 0 10 5 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902438804264 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29518] ppid=29505 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/29508/task/29518/stat : 29518 (java) S 29505 29508 28803 0 -1 4202560 128 0 0 0 9 7 0 0 20 0 19 0 109572487 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902437751464 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29519] ppid=29505 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/29508/task/29519/stat : 29519 (java) S 29505 29508 28803 0 -1 4202560 1059 0 0 0 2 0 0 0 20 0 19 0 109572488 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902425340392 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29520] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29520/stat : 29520 (java) S 29505 29508 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109572489 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902424286456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29521] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29521/stat : 29521 (java) S 29505 29508 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109572489 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902423233544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29522] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29522/stat : 29522 (java) S 29505 29508 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109572491 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902422182032 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29523] ppid=29505 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/29508/task/29523/stat : 29523 (java) S 29505 29508 28803 0 -1 4202560 4613 0 0 0 66 0 0 0 20 0 19 0 109572491 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902421130168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29524] ppid=29505 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/29508/task/29524/stat : 29524 (java) S 29505 29508 28803 0 -1 4202560 4492 0 0 0 60 0 0 0 20 0 19 0 109572491 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902420077368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29525] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29525/stat : 29525 (java) S 29505 29508 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109572491 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902419024760 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29508/tid=29526] ppid=29505 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/29508/task/29526/stat : 29526 (java) S 29505 29508 28803 0 -1 4202560 103 0 0 0 35 30 0 0 20 0 19 0 109572491 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902417972168 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29508/tid=29543] ppid=29505 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29508/task/29543/stat : 29543 (java) S 29505 29508 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109572701 9856040960 341058 33554432000 1073741824 1073778376 140735800578000 139902416917672 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1797.57
CPU time (s): 1800.78
CPU user time (s): 1799.4
CPU system time (s): 1.38279
CPU usage (%): 100.179
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 1.38279
maximum resident set size= 1364372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15739
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38227
involuntary context switches= 3054

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4004 second user time and 13.8359 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-07 07:13:12
IDJOB=4084578
IDBENCH=89728
IDSOLVER=2546
FILE ID=node128/4084578-1465276392
RUNJOBID= node128-1465270992-28819
PBS_JOBID= 19843302
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= f030651c159d27eae553d070b0927366
RANDOM SEED=482065459

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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.486
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.486
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:        30583836 kB
Buffers:          114840 kB
Cached:           243796 kB
SwapCached:         1668 kB
Active:           993708 kB
Inactive:         237332 kB
Active(anon):     874428 kB
Inactive(anon):      588 kB
Active(file):     119280 kB
Inactive(file):   236744 kB
Unevictable:      319964 kB
Mlocked:           11320 kB
SwapTotal:      67108856 kB
SwapFree:       67098516 kB
Dirty:             12624 kB
Writeback:             0 kB
AnonPages:       1192376 kB
Mapped:            15384 kB
Shmem:                 0 kB
Slab:             603336 kB
SReclaimable:      46512 kB
SUnreclaim:       556824 kB
KernelStack:        1584 kB
PageTables:         6704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2147976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1165312 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= 71688 MiB
End job on node128 at 2016-06-07 07:43:10