Trace number 4115857

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.03 1798.24

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size128-round22-6.opb
MD5SUM3097fc69a33e905e49ae9240e81d1058
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 constraints8704
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)416
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.04/0.35	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.04/0.35	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.35	c See www.sat4j.org for details.
0.04/0.35	c version PB16.v20160501
0.04/0.35	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.35	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.35	c java.vm.version	19.1-b02
0.04/0.35	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.35	c sun.arch.data.model	64
0.04/0.35	c java.version		1.6.0_24
0.04/0.35	c os.name		Linux
0.04/0.35	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.35	c os.arch		amd64
0.04/0.35	c Free memory 		501472288
0.04/0.35	c Max memory 		7480803328
0.04/0.35	c Total memory 		504102912
0.04/0.35	c Number of processors 	8
0.04/0.38	c Pseudo Boolean Optimization by upper bound
0.04/0.38	c --- Begin Solver configuration ---
0.04/0.38	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.04/0.38	c Learn all clauses as in MiniSAT
0.04/0.38	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.04/0.38	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.04/0.38	c No reason simplification
0.04/0.38	c Glucose 2.1 dynamic restart strategy
0.04/0.38	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.04/0.38	c timeout=2147483s
0.04/0.38	c DB Simplification allowed=false
0.04/0.38	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.04/0.38	c --- End Solver configuration ---
0.04/0.38	c solving HOME/instance-4115857-1466940041.opb
0.04/0.38	c reading problem ... 
0.04/0.39	c  no objective function found
0.58/0.68	c ... done. Wall clock time 0.296s.
0.58/0.68	c declared #vars     4128
0.58/0.68	c #constraints  9984
0.58/0.68	c constraints type 
0.58/0.68	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6726
0.58/0.68	c org.sat4j.specs.Constr$1 => 904
0.58/0.68	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.58/0.68	c org.sat4j.minisat.constraints.cnf.UnitClause => 504
0.58/0.68	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
0.58/0.68	c 9984 constraints processed.
1.64/1.35	c cleaning 2497 clauses out of 4998 with flag 15928/5000
2.41/2.00	c cleaning 4240 clauses out of 8502 with flag 37885/11001
3.11/2.73	c cleaning 5625 clauses out of 11261 with flag 67496/18000
4.02/3.64	c cleaning 6815 clauses out of 13636 with flag 103442/26000
5.04/4.69	c cleaning 7890 clauses out of 15821 with flag 146280/35000
6.23/5.86	c cleaning 8947 clauses out of 17931 with flag 194845/45000
7.53/7.15	c cleaning 9948 clauses out of 19984 with flag 248818/56000
9.03/8.63	c cleaning 11007 clauses out of 22036 with flag 309908/68000
10.63/10.25	c cleaning 11989 clauses out of 24030 with flag 378717/81001
12.43/12.04	c cleaning 13020 clauses out of 26040 with flag 453110/95000
14.34/13.99	c cleaning 13956 clauses out of 28021 with flag 534792/110001
16.54/16.10	c cleaning 15021 clauses out of 30064 with flag 625834/126000
18.74/18.38	c cleaning 16008 clauses out of 32043 with flag 721715/143000
21.25/20.87	c cleaning 16986 clauses out of 34036 with flag 824094/161001
24.04/23.60	c cleaning 18008 clauses out of 36049 with flag 935483/180000
26.85/26.46	c cleaning 18994 clauses out of 38041 with flag 1053422/200000
29.94/29.56	c cleaning 20006 clauses out of 40048 with flag 1175705/221001
33.24/32.87	c cleaning 21015 clauses out of 42042 with flag 1303374/243001
36.85/36.46	c cleaning 22004 clauses out of 44026 with flag 1439988/266000
40.55/40.11	c cleaning 22964 clauses out of 46022 with flag 1584671/290000
44.45/44.09	c cleaning 24021 clauses out of 48058 with flag 1734195/315000
48.74/48.31	c cleaning 24973 clauses out of 50037 with flag 1890123/341000
53.14/52.77	c cleaning 26025 clauses out of 52064 with flag 2054382/368000
57.93/57.55	c cleaning 27009 clauses out of 54040 with flag 2225430/396001
62.68/62.22	c cleaning 28005 clauses out of 56030 with flag 2400334/425000
67.48/67.02	c cleaning 28987 clauses out of 58025 with flag 2584273/455000
72.48/72.01	c cleaning 29982 clauses out of 60038 with flag 2774850/486000
77.58/77.13	c cleaning 31012 clauses out of 62057 with flag 2973700/518001
82.98/82.59	c cleaning 32002 clauses out of 64044 with flag 3177171/551000
88.67/88.25	c cleaning 33007 clauses out of 66042 with flag 3389284/585000
94.67/94.22	c cleaning 33970 clauses out of 68035 with flag 3607745/620000
100.97/100.59	c cleaning 35015 clauses out of 70069 with flag 3835503/656004
107.47/107.07	c cleaning 35993 clauses out of 72050 with flag 4071716/693000
114.47/114.06	c cleaning 36983 clauses out of 74058 with flag 4316077/731001
121.67/121.29	c cleaning 38018 clauses out of 76076 with flag 4562528/770002
129.27/128.88	c cleaning 38989 clauses out of 78056 with flag 4816254/810000
137.16/136.77	c cleaning 40014 clauses out of 80067 with flag 5077709/851000
145.36/144.92	c cleaning 40999 clauses out of 82054 with flag 5340665/893001
153.87/153.45	c cleaning 42011 clauses out of 84054 with flag 5610885/936000
162.39/161.92	c cleaning 43013 clauses out of 86043 with flag 5890985/980000
171.00/170.56	c cleaning 44000 clauses out of 88032 with flag 6178556/1025002
179.90/179.42	c cleaning 44976 clauses out of 90030 with flag 6471818/1071000
189.29/188.85	c cleaning 45986 clauses out of 92054 with flag 6766779/1118000
198.88/198.42	c cleaning 47008 clauses out of 94068 with flag 7072259/1166000
208.78/208.36	c cleaning 48007 clauses out of 96060 with flag 7383701/1215000
219.08/218.67	c cleaning 49012 clauses out of 98053 with flag 7705088/1265000
229.98/229.56	c cleaning 49984 clauses out of 100041 with flag 8030240/1316000
241.28/240.87	c cleaning 51012 clauses out of 102057 with flag 8358816/1368000
252.98/252.54	c cleaning 52009 clauses out of 104045 with flag 8689631/1421000
265.03/264.53	c cleaning 53005 clauses out of 106036 with flag 9031443/1475000
277.13/276.68	c cleaning 54000 clauses out of 108032 with flag 9384003/1530001
289.63/289.15	c cleaning 54988 clauses out of 110031 with flag 9740400/1586000
302.63/302.15	c cleaning 55994 clauses out of 112043 with flag 10101473/1643000
315.94/315.41	c cleaning 57004 clauses out of 114049 with flag 10466777/1701000
329.54/329.08	c cleaning 58004 clauses out of 116045 with flag 10840330/1760000
343.84/343.33	c cleaning 59014 clauses out of 118041 with flag 11217190/1820000
358.53/358.03	c cleaning 59990 clauses out of 120027 with flag 11600946/1881000
373.62/373.13	c cleaning 61006 clauses out of 122037 with flag 11994849/1943000
389.18/388.65	c cleaning 61990 clauses out of 124031 with flag 12393946/2006000
404.59/404.03	c cleaning 62992 clauses out of 126041 with flag 12797731/2070000
420.48/419.96	c cleaning 64009 clauses out of 128049 with flag 13205137/2135000
436.70/436.16	c cleaning 65002 clauses out of 130040 with flag 13622126/2201000
453.60/453.07	c cleaning 65997 clauses out of 132038 with flag 14048654/2268000
470.90/470.37	c cleaning 67005 clauses out of 134041 with flag 14475480/2336000
489.00/488.41	c cleaning 67996 clauses out of 136036 with flag 14907581/2405000
507.69/507.11	c cleaning 68999 clauses out of 138041 with flag 15343839/2475001
526.24/525.61	c cleaning 69993 clauses out of 140041 with flag 15789178/2546000
545.24/544.63	c cleaning 70993 clauses out of 142048 with flag 16238434/2618000
564.65/564.03	c cleaning 71972 clauses out of 144055 with flag 16699727/2691000
584.25/583.69	c cleaning 73021 clauses out of 146083 with flag 17160815/2765000
604.96/604.34	c cleaning 74003 clauses out of 148062 with flag 17629076/2840000
625.77/625.17	c cleaning 75027 clauses out of 150059 with flag 18108875/2916000
647.48/646.89	c cleaning 75981 clauses out of 152034 with flag 18592203/2993002
669.31/668.60	c cleaning 76985 clauses out of 154054 with flag 19078145/3071003
691.41/690.79	c cleaning 78020 clauses out of 156067 with flag 19575364/3150001
713.91/713.23	c cleaning 78999 clauses out of 158047 with flag 20075687/3230001
737.22/736.55	c cleaning 80007 clauses out of 160047 with flag 20584578/3311000
761.33/760.62	c cleaning 80999 clauses out of 162040 with flag 21097120/3393000
785.51/784.77	c cleaning 81988 clauses out of 164042 with flag 21615121/3476001
810.42/809.61	c cleaning 83002 clauses out of 166053 with flag 22143794/3560000
835.52/834.73	c cleaning 84009 clauses out of 168052 with flag 22673825/3645001
861.03/860.30	c cleaning 84969 clauses out of 170042 with flag 23210390/3731000
887.63/886.86	c cleaning 86007 clauses out of 172074 with flag 23749067/3818001
914.63/913.85	c cleaning 87035 clauses out of 174069 with flag 24299995/3906003
942.08/941.26	c cleaning 88006 clauses out of 176031 with flag 24855677/3995000
970.18/969.40	c cleaning 89000 clauses out of 178025 with flag 25415949/4085000
998.99/998.19	c cleaning 89995 clauses out of 180026 with flag 25982577/4176001
1028.80/1027.96	c cleaning 90961 clauses out of 182031 with flag 26555760/4268001
1059.41/1058.50	c cleaning 91993 clauses out of 184069 with flag 27132553/4361000
1090.30/1089.32	c cleaning 93003 clauses out of 186076 with flag 27717372/4455000
1121.61/1120.64	c cleaning 94029 clauses out of 188073 with flag 28307151/4550000
1154.02/1153.09	c cleaning 94993 clauses out of 190044 with flag 28900142/4646000
1187.23/1186.22	c cleaning 95985 clauses out of 192051 with flag 29505059/4743000
1221.08/1219.98	c cleaning 97030 clauses out of 194067 with flag 30110459/4841001
1255.58/1254.43	c cleaning 98006 clauses out of 196037 with flag 30724461/4940001
1290.29/1289.20	c cleaning 99000 clauses out of 198030 with flag 31342430/5040000
1325.90/1324.73	c cleaning 100010 clauses out of 200030 with flag 31966393/5141000
1362.26/1360.95	c cleaning 100984 clauses out of 202020 with flag 32598329/5243000
1398.97/1397.66	c cleaning 101990 clauses out of 204037 with flag 33233047/5346001
1436.99/1435.63	c cleaning 103002 clauses out of 206046 with flag 33880270/5450000
1475.40/1474.09	c cleaning 103990 clauses out of 208044 with flag 34530033/5555000
1514.67/1513.17	c cleaning 105002 clauses out of 210055 with flag 35182854/5661001
1554.16/1552.64	c cleaning 105978 clauses out of 212053 with flag 35841667/5768001
1594.18/1592.66	c cleaning 107034 clauses out of 214074 with flag 36516545/5876000
1635.09/1633.45	c cleaning 107980 clauses out of 216041 with flag 37190339/5985001
1676.90/1675.28	c cleaning 109001 clauses out of 218061 with flag 37873439/6095001
1720.02/1718.39	c cleaning 110003 clauses out of 220059 with flag 38566755/6206000
1763.82/1762.08	c cleaning 111021 clauses out of 222056 with flag 39260725/6318000
1800.03/1798.20	c starts		: 56833
1800.03/1798.20	c conflicts		: 6415778
1800.03/1798.20	c decisions		: 60084241
1800.03/1798.20	c propagations		: 865919905
1800.03/1798.20	c inspects		: 24953164978
1800.03/1798.20	c shortcuts		: 0
1800.03/1798.20	c learnt literals	: 2
1800.03/1798.20	c learnt binary clauses	: 47
1800.03/1798.20	c learnt ternary clauses	: 761
1800.03/1798.20	c learnt constraints	: 6415777
1800.03/1798.20	c ignored constraints	: 0
1800.03/1798.20	c root simplifications	: 0
1800.03/1798.20	c removed literals (reason simplification)	: 0
1800.03/1798.20	c reason swapping (by a shorter reason)	: 0
1800.03/1798.20	c Calls to reduceDB	: 108
1800.03/1798.20	c Number of update (reduction) of LBD	: 1347068
1800.03/1798.20	c Imported unit clauses	: 0
1800.03/1798.20	c number of reductions to clauses (during analyze)	: 0
1800.03/1798.20	c number of learned constraints concerned by reduction	: 0
1800.03/1798.20	c number of learning phase by resolution	: 0
1800.03/1798.20	c number of learning phase by cutting planes	: 0
1800.03/1798.20	c speed (assignments/second)	: 481730.8694544366
1800.03/1798.20	c non guided choices	15378
1800.03/1798.20	c timeout
1800.03/1798.23	c learnt constraints type 
1800.03/1798.23	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 47
1800.03/1798.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 208767
1800.03/1798.23	s UNKNOWN
1800.03/1798.23	c Total wall clock time (in seconds): 1797.85

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-4115857-1466940041/watcher-4115857-1466940041 -o /tmp/evaluation-result-4115857-1466940041/solver-4115857-1466940041 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466940040-26459 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4115857-1466940041.opb 

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

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


[startup+0 s]
/proc/loadavg: 0.99 1.43 1.74 4/173 26484
/proc/meminfo: memFree=31399860/32872528 swapFree=552864/567172
[pid=26484] ppid=26479 vsize=24328 CPUtime=0 cores=1,3,5,7
/proc/26484/stat : 26484 (runsolver) D 26479 26484 26442 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 27042015 24911872 151 33554432000 4194304 4338465 140736521316864 140736521314504 206629063863 0 0 4096 24578 18446744071579943789 0 0 17 1 0 0 0 0 0
/proc/26484/statm: 6082 151 105 36 0 2655 0

[startup+0.100064 s]
/proc/loadavg: 0.99 1.43 1.74 4/173 26484
/proc/meminfo: memFree=31399860/32872528 swapFree=552864/567172
[pid=26484] ppid=26479 vsize=23236 CPUtime=0.01 cores=1,3,5,7
/proc/26484/stat : 26484 (java) D 26479 26484 26442 0 -1 4202496 1139 0 17 0 0 1 0 0 20 0 1 0 27042015 23793664 805 33554432000 1073741824 1073778376 140737048885232 140737048875224 139894124147472 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 7 0 0
/proc/26484/statm: 5809 805 599 9 0 128 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 23236

[startup+0.200381 s]
/proc/loadavg: 0.99 1.43 1.74 4/173 26484
/proc/meminfo: memFree=31399860/32872528 swapFree=552864/567172
[pid=26484] ppid=26479 vsize=9092432 CPUtime=0.02 cores=1,3,5,7
/proc/26484/stat : 26484 (java) S 26479 26484 26442 0 -1 4202496 2943 0 26 0 0 2 0 0 20 0 11 0 27042015 9310650368 3589 33554432000 1073741824 1073778376 140737048885232 140737048876368 206632419389 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 8 0 0
/proc/26484/statm: 2273108 3589 1621 9 0 2263809 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9092432

[startup+0.300229 s]
/proc/loadavg: 0.99 1.43 1.74 4/173 26484
/proc/meminfo: memFree=31399860/32872528 swapFree=552864/567172
[pid=26484] ppid=26479 vsize=9558428 CPUtime=0.04 cores=1,3,5,7
/proc/26484/stat : 26484 (java) S 26479 26484 26442 0 -1 4202496 3229 0 26 0 2 2 0 0 20 0 18 0 27042015 9787830272 4384 33554432000 1073741824 1073778376 140737048885232 140737048876368 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 8 0 0
/proc/26484/statm: 2389607 4384 1756 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558428

[startup+0.700178 s]
/proc/loadavg: 0.99 1.43 1.74 4/173 26484
/proc/meminfo: memFree=31399860/32872528 swapFree=552864/567172
[pid=26484] ppid=26479 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/26484/stat : 26484 (java) S 26479 26484 26442 0 -1 4202496 6472 0 27 0 71 4 0 0 20 0 19 0 27042015 9856040960 14555 33554432000 1073741824 1073778376 140737048885232 140737048876368 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 8 0 0
/proc/26484/statm: 2406260 14559 2251 9 0 2396937 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 9625040

[startup+1.5009 s]
/proc/loadavg: 0.99 1.43 1.74 3/214 26525
/proc/meminfo: memFree=31283988/32872528 swapFree=552864/567172
[pid=26484] ppid=26479 vsize=9625040 CPUtime=1.88 cores=1,3,5,7
/proc/26484/stat : 26484 (java) S 26479 26484 26442 0 -1 4202496 9075 0 27 0 183 5 0 0 20 0 19 0 27042015 9856040960 14919 33554432000 1073741824 1073778376 140737048885232 140737048876368 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 8 0 0
/proc/26484/statm: 2406260 14919 2269 9 0 2396937 0
[pid=26484/tid=26491] ppid=26479 vsize=9625040 CPUtime=1.19 cores=1,3,5,7
/proc/26484/task/26491/stat : 26491 (java) R 26479 26484 26442 0 -1 4202560 2406 0 6 0 117 2 0 0 20 0 19 0 27042026 9856040960 14919 33554432000 1073741824 1073778376 140737048885232 139894118500808 139893947370274 0 4 0 16800975 0 0 0 -1 1 0 0 14 0 0
[pid=26484/tid=26492] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26492/stat : 26492 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 14919 33554432000 1073741824 1073778376 140737048885232 139894079994408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26494] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26494/stat : 26494 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 14919 33554432000 1073741824 1073778376 140737048885232 139894078941608 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26484/tid=26496] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26496/stat : 26496 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 14919 33554432000 1073741824 1073778376 140737048885232 139894077888808 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26484/tid=26498] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26498/stat : 26498 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 14919 33554432000 1073741824 1073778376 140737048885232 139894076836008 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26502] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26502/stat : 26502 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 14919 33554432000 1073741824 1073778376 140737048885232 139894075784232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26505] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26505/stat : 26505 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 14919 33554432000 1073741824 1073778376 140737048885232 139894074731432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26506] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26506/stat : 26506 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 14919 33554432000 1073741824 1073778376 140737048885232 139894073678632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26507] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26507/stat : 26507 (java) S 26479 26484 26442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 14919 33554432000 1073741824 1073778376 140737048885232 139894072625832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26509] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26509/stat : 26509 (java) S 26479 26484 26442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27042035 9856040960 14919 33554432000 1073741824 1073778376 140737048885232 139893942495720 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26510] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26510/stat : 26510 (java) S 26479 26484 26442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27042036 9856040960 14919 33554432000 1073741824 1073778376 140737048885232 139893941441784 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26512] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26512/stat : 26512 (java) S 26479 26484 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27042036 9856040960 14919 33554432000 1073741824 1073778376 140737048885232 139893940388872 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26515] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26515/stat : 26515 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042044 9856040960 14919 33554432000 1073741824 1073778376 140737048885232 139893939337360 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26518] ppid=26479 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/26484/task/26518/stat : 26518 (java) S 26479 26484 26442 0 -1 4202560 2058 0 0 0 30 0 0 0 20 0 19 0 27042044 9856040960 14919 33554432000 1073741824 1073778376 140737048885232 139893938285496 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26520] ppid=26479 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/26484/task/26520/stat : 26520 (java) S 26479 26484 26442 0 -1 4202560 3353 0 1 0 34 0 0 0 20 0 19 0 27042044 9856040960 14919 33554432000 1073741824 1073778376 140737048885232 139893937232696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26484/tid=26522] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26522/stat : 26522 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042044 9856040960 14919 33554432000 1073741824 1073778376 140737048885232 139893936180088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26484/tid=26523] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26523/stat : 26523 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042044 9856040960 14919 33554432000 1073741824 1073778376 140737048885232 139893935127496 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26525] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26525/stat : 26525 (java) S 26479 26484 26442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27042084 9856040960 14919 33554432000 1073741824 1073778376 140737048885232 139893934073000 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 9625040

[startup+3.10074 s]
/proc/loadavg: 0.99 1.43 1.74 3/214 26525
/proc/meminfo: memFree=31278652/32872528 swapFree=552864/567172
[pid=26484] ppid=26479 vsize=9625040 CPUtime=3.52 cores=1,3,5,7
/proc/26484/stat : 26484 (java) S 26479 26484 26442 0 -1 4202496 9078 0 27 0 347 5 0 0 20 0 19 0 27042015 9856040960 15943 33554432000 1073741824 1073778376 140737048885232 140737048876368 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 8 0 0
/proc/26484/statm: 2406260 15943 2269 9 0 2396937 0
[pid=26484/tid=26491] ppid=26479 vsize=9625040 CPUtime=2.78 cores=1,3,5,7
/proc/26484/task/26491/stat : 26491 (java) R 26479 26484 26442 0 -1 4202560 2409 0 6 0 276 2 0 0 20 0 19 0 27042026 9856040960 15943 33554432000 1073741824 1073778376 140737048885232 139894118493904 139893947370248 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0
[pid=26484/tid=26492] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26492/stat : 26492 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 15943 33554432000 1073741824 1073778376 140737048885232 139894079994408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26494] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26494/stat : 26494 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 15943 33554432000 1073741824 1073778376 140737048885232 139894078941608 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26484/tid=26496] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26496/stat : 26496 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 15943 33554432000 1073741824 1073778376 140737048885232 139894077888808 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26484/tid=26498] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26498/stat : 26498 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 15943 33554432000 1073741824 1073778376 140737048885232 139894076836008 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26502] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26502/stat : 26502 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 15943 33554432000 1073741824 1073778376 140737048885232 139894075784232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26505] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26505/stat : 26505 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 15943 33554432000 1073741824 1073778376 140737048885232 139894074731432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26506] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26506/stat : 26506 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 15943 33554432000 1073741824 1073778376 140737048885232 139894073678632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26507] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26507/stat : 26507 (java) S 26479 26484 26442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 15943 33554432000 1073741824 1073778376 140737048885232 139894072625832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26509] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26509/stat : 26509 (java) S 26479 26484 26442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27042035 9856040960 15943 33554432000 1073741824 1073778376 140737048885232 139893942495720 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26510] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26510/stat : 26510 (java) S 26479 26484 26442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27042036 9856040960 15943 33554432000 1073741824 1073778376 140737048885232 139893941441784 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26512] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26512/stat : 26512 (java) S 26479 26484 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27042036 9856040960 15943 33554432000 1073741824 1073778376 140737048885232 139893940388872 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26515] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26515/stat : 26515 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042044 9856040960 15943 33554432000 1073741824 1073778376 140737048885232 139893939337360 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26518] ppid=26479 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/26484/task/26518/stat : 26518 (java) S 26479 26484 26442 0 -1 4202560 2058 0 0 0 32 0 0 0 20 0 19 0 27042044 9856040960 15943 33554432000 1073741824 1073778376 140737048885232 139893938285496 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26484/tid=26520] ppid=26479 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/26484/task/26520/stat : 26520 (java) S 26479 26484 26442 0 -1 4202560 3353 0 1 0 36 0 0 0 20 0 19 0 27042044 9856040960 15943 33554432000 1073741824 1073778376 140737048885232 139893937232696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26484/tid=26522] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26522/stat : 26522 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042044 9856040960 15943 33554432000 1073741824 1073778376 140737048885232 139893936180088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26484/tid=26523] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26523/stat : 26523 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042044 9856040960 15943 33554432000 1073741824 1073778376 140737048885232 139893935127496 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26525] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26525/stat : 26525 (java) S 26479 26484 26442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27042084 9856040960 15943 33554432000 1073741824 1073778376 140737048885232 139893934073000 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 9625040

[startup+6.30086 s]
/proc/loadavg: 1.07 1.44 1.74 3/214 26525
/proc/meminfo: memFree=31265320/32872528 swapFree=552864/567172
[pid=26484] ppid=26479 vsize=9625040 CPUtime=6.73 cores=1,3,5,7
/proc/26484/stat : 26484 (java) S 26479 26484 26442 0 -1 4202496 9085 0 27 0 668 5 0 0 20 0 19 0 27042015 9856040960 17745 33554432000 1073741824 1073778376 140737048885232 140737048876368 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 8 0 0
/proc/26484/statm: 2406260 17745 2271 9 0 2396937 0
[pid=26484/tid=26491] ppid=26479 vsize=9625040 CPUtime=5.98 cores=1,3,5,7
/proc/26484/task/26491/stat : 26491 (java) R 26479 26484 26442 0 -1 4202560 2414 0 6 0 596 2 0 0 20 0 19 0 27042026 9856040960 17745 33554432000 1073741824 1073778376 140737048885232 139894118493888 139893947370457 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0
[pid=26484/tid=26492] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26492/stat : 26492 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 17745 33554432000 1073741824 1073778376 140737048885232 139894079994408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26494] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26494/stat : 26494 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 17745 33554432000 1073741824 1073778376 140737048885232 139894078941608 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26484/tid=26496] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26496/stat : 26496 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 17745 33554432000 1073741824 1073778376 140737048885232 139894077888808 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26484/tid=26498] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26498/stat : 26498 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 17745 33554432000 1073741824 1073778376 140737048885232 139894076836008 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26502] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26502/stat : 26502 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 17745 33554432000 1073741824 1073778376 140737048885232 139894075784232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26505] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26505/stat : 26505 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 17745 33554432000 1073741824 1073778376 140737048885232 139894074731432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26506] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26506/stat : 26506 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 17745 33554432000 1073741824 1073778376 140737048885232 139894073678632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26507] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26507/stat : 26507 (java) S 26479 26484 26442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27042031 9856040960 17745 33554432000 1073741824 1073778376 140737048885232 139894072625832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26509] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26509/stat : 26509 (java) S 26479 26484 26442 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27042035 9856040960 17745 33554432000 1073741824 1073778376 140737048885232 139893942495720 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26510] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26510/stat : 26510 (java) S 26479 26484 26442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27042036 9856040960 17745 33554432000 1073741824 1073778376 140737048885232 139893941441784 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26512] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26512/stat : 26512 (java) S 26479 26484 26442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27042036 9856040960 17745 33554432000 1073741824 1073778376 140737048885232 139893940388872 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26515] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26515/stat : 26515 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042044 9856040960 17745 33554432000 1073741824 1073778376 140737048885232 139893939337360 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26518] ppid=26479 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/26484/task/26518/stat : 26518 (java) S 26479 26484 26442 0 -1 4202560 2058 0 0 0 32 0 0 0 20 0 19 0 27042044 9856040960 17745 33554432000 1073741824 1073778376 140737048885232 139893938285496 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26484/tid=26520] ppid=26479 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/26484/task/26520/stat : 26520 (java) S 26479 26484 26442 0 -1 4202560 3354 0 1 0 38 0 0 0 20 0 19 0 27042044 9856040960 17745 33554432000 1073741824 1073778376 140737048885232 139893937232696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26484/tid=26522] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26522/stat : 26522 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042044 9856040960 17745 33554432000 1073741824 1073778376 140737048885232 139893936180088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26484/tid=26523] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26523/stat : 26523 (java) S 26479 26484 26442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27042044 9856040960 17745 33554432000 1073741824 1073778376 140737048885232 139893935127496 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26525] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26525/stat : 26525 (java) S 26479 26484 26442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27042084 9856040960 17745 33554432000 1073741824 1073778376 140737048885232 139893934073000 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.73
Current children cumulated vsize (KiB) 9625040


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

[pid=26484/tid=26525] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26525/stat : 26525 (java) S 26479 26484 26442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27042084 9856040960 87289 33554432000 1073741824 1073778376 140737048885232 139893934073000 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1664
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/213 26631
/proc/meminfo: memFree=30827976/32872528 swapFree=552864/567172
[pid=26484] ppid=26479 vsize=9625040 CPUtime=1724.01 cores=1,3,5,7
/proc/26484/stat : 26484 (java) S 26479 26484 26442 0 -1 4202496 11114 0 27 0 172335 66 0 0 20 0 19 0 27042015 9856040960 87289 33554432000 1073741824 1073778376 140737048885232 140737048876368 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 8 0 0
/proc/26484/statm: 2406260 87289 2285 9 0 2396937 0
[pid=26484/tid=26491] ppid=26479 vsize=9625040 CPUtime=1717.05 cores=1,3,5,7
/proc/26484/task/26491/stat : 26491 (java) R 26479 26484 26442 0 -1 4202560 2472 0 6 0 171674 31 0 0 20 0 19 0 27042026 9856040960 87289 33554432000 1073741824 1073778376 140737048885232 139894118493984 139893947370070 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0
[pid=26484/tid=26492] ppid=26479 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/26484/task/26492/stat : 26492 (java) S 26479 26484 26442 0 -1 4202560 310 0 0 0 16 3 0 0 20 0 19 0 27042031 9856040960 87289 33554432000 1073741824 1073778376 140737048885232 139894079994408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26484/tid=26494] ppid=26479 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/26484/task/26494/stat : 26494 (java) S 26479 26484 26442 0 -1 4202560 34 0 0 0 10 2 0 0 20 0 19 0 27042031 9856040960 87289 33554432000 1073741824 1073778376 140737048885232 139894078941608 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26484/tid=26496] ppid=26479 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/26484/task/26496/stat : 26496 (java) S 26479 26484 26442 0 -1 4202560 284 0 0 0 14 3 0 0 20 0 19 0 27042031 9856040960 87289 33554432000 1073741824 1073778376 140737048885232 139894077888808 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26498] ppid=26479 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/26484/task/26498/stat : 26498 (java) S 26479 26484 26442 0 -1 4202560 159 0 0 0 13 2 0 0 20 0 19 0 27042031 9856040960 87289 33554432000 1073741824 1073778376 140737048885232 139894076836008 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26484/tid=26502] ppid=26479 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/26484/task/26502/stat : 26502 (java) S 26479 26484 26442 0 -1 4202560 58 0 0 0 15 3 0 0 20 0 19 0 27042031 9856040960 87289 33554432000 1073741824 1073778376 140737048885232 139894075784232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26505] ppid=26479 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/26484/task/26505/stat : 26505 (java) S 26479 26484 26442 0 -1 4202560 142 0 0 0 14 3 0 0 20 0 19 0 27042031 9856040960 87289 33554432000 1073741824 1073778376 140737048885232 139894074731432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26484/tid=26506] ppid=26479 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/26484/task/26506/stat : 26506 (java) S 26479 26484 26442 0 -1 4202560 114 0 0 0 13 3 0 0 20 0 19 0 27042031 9856040960 87289 33554432000 1073741824 1073778376 140737048885232 139894073678632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26507] ppid=26479 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/26484/task/26507/stat : 26507 (java) S 26479 26484 26442 0 -1 4202560 159 0 0 0 10 3 0 0 20 0 19 0 27042031 9856040960 87289 33554432000 1073741824 1073778376 140737048885232 139894072625832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26484/tid=26509] ppid=26479 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/26484/task/26509/stat : 26509 (java) S 26479 26484 26442 0 -1 4202560 65 0 0 0 1 2 0 0 20 0 19 0 27042035 9856040960 87289 33554432000 1073741824 1073778376 140737048885232 139893942495720 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26510] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26510/stat : 26510 (java) S 26479 26484 26442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27042036 9856040960 87289 33554432000 1073741824 1073778376 140737048885232 139893941441784 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26512] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26512/stat : 26512 (java) S 26479 26484 26442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27042036 9856040960 87289 33554432000 1073741824 1073778376 140737048885232 139893940388872 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26515] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26515/stat : 26515 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042044 9856040960 87289 33554432000 1073741824 1073778376 140737048885232 139893939337360 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26518] ppid=26479 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/26484/task/26518/stat : 26518 (java) S 26479 26484 26442 0 -1 4202560 2058 0 0 0 32 0 0 0 20 0 19 0 27042044 9856040960 87289 33554432000 1073741824 1073778376 140737048885232 139893938285496 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26484/tid=26520] ppid=26479 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/26484/task/26520/stat : 26520 (java) S 26479 26484 26442 0 -1 4202560 3915 0 1 0 41 0 0 0 20 0 19 0 27042044 9856040960 87289 33554432000 1073741824 1073778376 140737048885232 139893937232696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26522] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26522/stat : 26522 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042044 9856040960 87289 33554432000 1073741824 1073778376 140737048885232 139893936180088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26484/tid=26523] ppid=26479 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/26484/task/26523/stat : 26523 (java) S 26479 26484 26442 0 -1 4202560 100 0 0 0 30 40 0 0 20 0 19 0 27042044 9856040960 87289 33554432000 1073741824 1073778376 140737048885232 139893935127496 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26525] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26525/stat : 26525 (java) S 26479 26484 26442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27042084 9856040960 87289 33554432000 1073741824 1073778376 140737048885232 139893934073000 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1724.01
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.15 2.08 2.01 3/214 26635
/proc/meminfo: memFree=30815324/32872528 swapFree=552864/567172
[pid=26484] ppid=26479 vsize=9625040 CPUtime=1784.13 cores=1,3,5,7
/proc/26484/stat : 26484 (java) S 26479 26484 26442 0 -1 4202496 11178 0 27 0 178344 69 0 0 20 0 19 0 27042015 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 140737048876368 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 8 0 0
/proc/26484/statm: 2406260 90401 2285 9 0 2396937 0
[pid=26484/tid=26491] ppid=26479 vsize=9625040 CPUtime=1776.87 cores=1,3,5,7
/proc/26484/task/26491/stat : 26491 (java) R 26479 26484 26442 0 -1 4202560 2473 0 6 0 177655 32 0 0 20 0 19 0 27042026 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139894118493984 139893947301005 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0
[pid=26484/tid=26492] ppid=26479 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/26484/task/26492/stat : 26492 (java) S 26479 26484 26442 0 -1 4202560 312 0 0 0 17 3 0 0 20 0 19 0 27042031 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139894079994408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26484/tid=26494] ppid=26479 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/26484/task/26494/stat : 26494 (java) S 26479 26484 26442 0 -1 4202560 35 0 0 0 11 2 0 0 20 0 19 0 27042031 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139894078941608 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26484/tid=26496] ppid=26479 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/26484/task/26496/stat : 26496 (java) S 26479 26484 26442 0 -1 4202560 286 0 0 0 15 4 0 0 20 0 19 0 27042031 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139894077888808 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26498] ppid=26479 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/26484/task/26498/stat : 26498 (java) S 26479 26484 26442 0 -1 4202560 162 0 0 0 14 2 0 0 20 0 19 0 27042031 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139894076836008 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26484/tid=26502] ppid=26479 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/26484/task/26502/stat : 26502 (java) S 26479 26484 26442 0 -1 4202560 99 0 0 0 18 3 0 0 20 0 19 0 27042031 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139894075784232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26484/tid=26505] ppid=26479 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/26484/task/26505/stat : 26505 (java) S 26479 26484 26442 0 -1 4202560 145 0 0 0 15 3 0 0 20 0 19 0 27042031 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139894074731432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26484/tid=26506] ppid=26479 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/26484/task/26506/stat : 26506 (java) S 26479 26484 26442 0 -1 4202560 117 0 0 0 15 3 0 0 20 0 19 0 27042031 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139894073678632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26507] ppid=26479 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/26484/task/26507/stat : 26507 (java) S 26479 26484 26442 0 -1 4202560 161 0 0 0 11 3 0 0 20 0 19 0 27042031 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139894072625832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26484/tid=26509] ppid=26479 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/26484/task/26509/stat : 26509 (java) S 26479 26484 26442 0 -1 4202560 67 0 0 0 1 2 0 0 20 0 19 0 27042035 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139893942495720 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26510] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26510/stat : 26510 (java) S 26479 26484 26442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27042036 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139893941441784 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26512] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26512/stat : 26512 (java) S 26479 26484 26442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27042036 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139893940388872 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26515] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26515/stat : 26515 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042044 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139893939337360 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26518] ppid=26479 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/26484/task/26518/stat : 26518 (java) S 26479 26484 26442 0 -1 4202560 2058 0 0 0 32 0 0 0 20 0 19 0 27042044 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139893938285496 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26484/tid=26520] ppid=26479 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/26484/task/26520/stat : 26520 (java) S 26479 26484 26442 0 -1 4202560 3915 0 1 0 41 0 0 0 20 0 19 0 27042044 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139893937232696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26522] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26522/stat : 26522 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042044 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139893936180088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26484/tid=26523] ppid=26479 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/26484/task/26523/stat : 26523 (java) S 26479 26484 26442 0 -1 4202560 104 0 0 0 31 41 0 0 20 0 19 0 27042044 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139893935127496 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26525] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26525/stat : 26525 (java) S 26479 26484 26442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27042084 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139893934073000 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1784.13
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.2 s]
/proc/loadavg: 2.12 2.07 2.01 3/214 26635
/proc/meminfo: memFree=30815328/32872528 swapFree=552864/567172
[pid=26484] ppid=26479 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/26484/stat : 26484 (java) S 26479 26484 26442 0 -1 4202496 11178 0 27 0 179934 69 0 0 20 0 19 0 27042015 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 140737048876368 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 8 0 0
/proc/26484/statm: 2406260 90401 2285 9 0 2396937 0
[pid=26484/tid=26491] ppid=26479 vsize=9625040 CPUtime=1792.72 cores=1,3,5,7
/proc/26484/task/26491/stat : 26491 (java) R 26479 26484 26442 0 -1 4202560 2473 0 6 0 179240 32 0 0 20 0 19 0 27042026 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139894118493984 139893947323366 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0
[pid=26484/tid=26492] ppid=26479 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/26484/task/26492/stat : 26492 (java) S 26479 26484 26442 0 -1 4202560 312 0 0 0 17 3 0 0 20 0 19 0 27042031 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139894079994408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26484/tid=26494] ppid=26479 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/26484/task/26494/stat : 26494 (java) S 26479 26484 26442 0 -1 4202560 35 0 0 0 11 2 0 0 20 0 19 0 27042031 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139894078941608 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26484/tid=26496] ppid=26479 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/26484/task/26496/stat : 26496 (java) S 26479 26484 26442 0 -1 4202560 286 0 0 0 15 4 0 0 20 0 19 0 27042031 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139894077888808 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26498] ppid=26479 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/26484/task/26498/stat : 26498 (java) S 26479 26484 26442 0 -1 4202560 162 0 0 0 14 2 0 0 20 0 19 0 27042031 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139894076836008 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26484/tid=26502] ppid=26479 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/26484/task/26502/stat : 26502 (java) S 26479 26484 26442 0 -1 4202560 99 0 0 0 18 3 0 0 20 0 19 0 27042031 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139894075784232 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26484/tid=26505] ppid=26479 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/26484/task/26505/stat : 26505 (java) S 26479 26484 26442 0 -1 4202560 145 0 0 0 15 3 0 0 20 0 19 0 27042031 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139894074731432 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26484/tid=26506] ppid=26479 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/26484/task/26506/stat : 26506 (java) S 26479 26484 26442 0 -1 4202560 117 0 0 0 15 3 0 0 20 0 19 0 27042031 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139894073678632 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26507] ppid=26479 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/26484/task/26507/stat : 26507 (java) S 26479 26484 26442 0 -1 4202560 161 0 0 0 11 3 0 0 20 0 19 0 27042031 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139894072625832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26484/tid=26509] ppid=26479 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/26484/task/26509/stat : 26509 (java) S 26479 26484 26442 0 -1 4202560 67 0 0 0 1 2 0 0 20 0 19 0 27042035 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139893942495720 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26510] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26510/stat : 26510 (java) S 26479 26484 26442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27042036 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139893941441784 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26512] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26512/stat : 26512 (java) S 26479 26484 26442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27042036 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139893940388872 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26515] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26515/stat : 26515 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042044 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139893939337360 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26484/tid=26518] ppid=26479 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/26484/task/26518/stat : 26518 (java) S 26479 26484 26442 0 -1 4202560 2058 0 0 0 32 0 0 0 20 0 19 0 27042044 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139893938285496 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26484/tid=26520] ppid=26479 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/26484/task/26520/stat : 26520 (java) S 26479 26484 26442 0 -1 4202560 3915 0 1 0 41 0 0 0 20 0 19 0 27042044 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139893937232696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26522] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26522/stat : 26522 (java) S 26479 26484 26442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27042044 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139893936180088 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26484/tid=26523] ppid=26479 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/26484/task/26523/stat : 26523 (java) S 26479 26484 26442 0 -1 4202560 104 0 0 0 31 42 0 0 20 0 19 0 27042044 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139893935127496 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26484/tid=26525] ppid=26479 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26484/task/26525/stat : 26525 (java) S 26479 26484 26442 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27042084 9856040960 90401 33554432000 1073741824 1073778376 140737048885232 139893934073000 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 26484 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

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

Real time (s): 1798.24
CPU time (s): 1800.03
CPU user time (s): 1799.34
CPU system time (s): 0.69
CPU usage (%): 100.1
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.8
system time used= 1.14283
maximum resident set size= 362388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11380
page faults= 27
swaps= 0
block input operations= 15080
block output operations= 1168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38709
involuntary context switches= 13240

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5501 second user time and 11.9852 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-26 13:20:41
IDJOB=4115857
IDBENCH=109397
IDSOLVER=2546
FILE ID=node138/4115857-1466940041
RUNJOBID= node138-1466940040-26459
PBS_JOBID= 19976338
Free space on /tmp= 71716 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-6.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115857-1466940041/watcher-4115857-1466940041 -o /tmp/evaluation-result-4115857-1466940041/solver-4115857-1466940041 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466940040-26459 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4115857-1466940041.opb

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

MD5SUM BENCH= 3097fc69a33e905e49ae9240e81d1058
RANDOM SEED=1920756691

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31401636 kB
Buffers:            2032 kB
Cached:           196820 kB
SwapCached:         3788 kB
Active:             9928 kB
Inactive:         193304 kB
Active(anon):       1868 kB
Inactive(anon):     5264 kB
Active(file):       8060 kB
Inactive(file):   188040 kB
Unevictable:      567172 kB
Mlocked:          552864 kB
SwapTotal:      67108856 kB
SwapFree:       67094424 kB
Dirty:              2436 kB
Writeback:             0 kB
AnonPages:        569136 kB
Mapped:             6888 kB
Shmem:                 0 kB
Slab:             565796 kB
SReclaimable:       9248 kB
SUnreclaim:       556548 kB
KernelStack:        1384 kB
PageTables:         4952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     664160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 71716 MiB
End job on node138 at 2016-06-26 13:50:39