Trace number 4122726

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.59 1798.84

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-62.cnf.gz-extracted.pb.metafix.opb
MD5SUM37e9f89e51a54903ebd996c330e9c2a4
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.011998
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables249
Total number of constraints248
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)248
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
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 8
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4122726-1467317508.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  no objective function found
0.09/0.16	c ... done. Wall clock time 0.044s.
0.09/0.16	c declared #vars     249
0.09/0.16	c #constraints  248
0.09/0.16	c constraints type 
0.09/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 248
0.09/0.16	c 248 constraints processed.
0.68/0.46	c cleaning 2497 clauses out of 5001 with flag 25473/5001
1.01/0.63	c cleaning 4243 clauses out of 8503 with flag 55466/11000
1.24/0.84	c cleaning 5621 clauses out of 11260 with flag 96327/18000
1.55/1.12	c cleaning 6814 clauses out of 13641 with flag 146272/26002
1.86/1.44	c cleaning 7906 clauses out of 15826 with flag 194433/35001
2.26/1.82	c cleaning 8950 clauses out of 17919 with flag 245884/45000
2.66/2.24	c cleaning 9964 clauses out of 19971 with flag 312894/56002
3.16/2.78	c cleaning 10986 clauses out of 22006 with flag 384862/68001
3.76/3.34	c cleaning 11995 clauses out of 24020 with flag 470204/81001
4.36/3.98	c cleaning 13006 clauses out of 26024 with flag 556896/95000
5.26/4.85	c cleaning 13998 clauses out of 28019 with flag 659222/110001
6.16/5.77	c cleaning 14993 clauses out of 30020 with flag 767621/126000
7.16/6.76	c cleaning 16014 clauses out of 32029 with flag 879714/143002
8.26/7.85	c cleaning 16993 clauses out of 34015 with flag 993392/161002
9.45/9.08	c cleaning 17997 clauses out of 36021 with flag 1103903/180001
10.76/10.33	c cleaning 18995 clauses out of 38023 with flag 1225825/200000
12.07/11.69	c cleaning 20005 clauses out of 40028 with flag 1351887/221000
13.67/13.23	c cleaning 21004 clauses out of 42024 with flag 1491293/243001
15.46/15.00	c cleaning 22000 clauses out of 44019 with flag 1635027/266000
17.26/16.86	c cleaning 22999 clauses out of 46020 with flag 1784576/290001
19.27/18.82	c cleaning 23990 clauses out of 48020 with flag 1940768/315000
21.37/20.91	c cleaning 24998 clauses out of 50031 with flag 2104444/341001
23.46/23.06	c cleaning 26005 clauses out of 52033 with flag 2275351/368001
25.56/25.16	c cleaning 27000 clauses out of 54028 with flag 2458441/396001
27.96/27.55	c cleaning 28009 clauses out of 56027 with flag 2642606/425000
30.56/30.17	c cleaning 28996 clauses out of 58018 with flag 2837248/455000
33.16/32.72	c cleaning 29998 clauses out of 60023 with flag 3043317/486001
35.96/35.50	c cleaning 31000 clauses out of 62025 with flag 3264404/518001
39.06/38.70	c cleaning 32000 clauses out of 64024 with flag 3473321/551000
42.16/41.70	c cleaning 33006 clauses out of 66024 with flag 3697842/585000
45.57/45.12	c cleaning 34002 clauses out of 68019 with flag 3926389/620001
49.16/48.79	c cleaning 34996 clauses out of 70017 with flag 4156857/656001
53.27/52.81	c cleaning 35999 clauses out of 72021 with flag 4391705/693001
57.36/56.90	c cleaning 36997 clauses out of 74021 with flag 4638791/731000
61.76/61.37	c cleaning 37997 clauses out of 76026 with flag 4891750/770002
66.26/65.80	c cleaning 39004 clauses out of 78033 with flag 5153340/810006
70.96/70.59	c cleaning 40001 clauses out of 80023 with flag 5422145/851000
76.16/75.72	c cleaning 40998 clauses out of 82022 with flag 5697135/893000
81.26/80.81	c cleaning 42000 clauses out of 84024 with flag 5980710/936000
86.90/86.48	c cleaning 42987 clauses out of 86024 with flag 6258166/980000
92.10/91.63	c cleaning 44005 clauses out of 88040 with flag 6543306/1025003
98.00/97.53	c cleaning 45008 clauses out of 90034 with flag 6845716/1071002
103.60/103.18	c cleaning 46001 clauses out of 92025 with flag 7156964/1118001
109.90/109.50	c cleaning 47007 clauses out of 94025 with flag 7461029/1166002
116.10/115.62	c cleaning 47991 clauses out of 96016 with flag 7779219/1215000
122.89/122.43	c cleaning 49005 clauses out of 98027 with flag 8093501/1265002
129.69/129.24	c cleaning 49994 clauses out of 100020 with flag 8418481/1316000
136.59/136.11	c cleaning 51000 clauses out of 102026 with flag 8744545/1368000
143.89/143.47	c cleaning 52010 clauses out of 104030 with flag 9069299/1421004
151.69/151.29	c cleaning 53000 clauses out of 106018 with flag 9403965/1475002
159.69/159.28	c cleaning 53994 clauses out of 108016 with flag 9735587/1530000
168.29/167.89	c cleaning 55001 clauses out of 110022 with flag 10068731/1586000
176.90/176.42	c cleaning 56007 clauses out of 112021 with flag 10402810/1643000
185.60/185.12	c cleaning 56997 clauses out of 114015 with flag 10742295/1701001
194.80/194.34	c cleaning 57997 clauses out of 116018 with flag 11089111/1760001
204.70/204.21	c cleaning 58999 clauses out of 118020 with flag 11445496/1820000
214.60/214.19	c cleaning 59996 clauses out of 120021 with flag 11800073/1881000
224.70/224.22	c cleaning 60990 clauses out of 122025 with flag 12177132/1943000
234.96/234.43	c cleaning 62006 clauses out of 124035 with flag 12555034/2006000
245.35/244.87	c cleaning 63006 clauses out of 126030 with flag 12931011/2070001
256.55/256.07	c cleaning 63997 clauses out of 128023 with flag 13310447/2135000
267.87/267.34	c cleaning 64997 clauses out of 130026 with flag 13701493/2201000
279.46/278.99	c cleaning 66007 clauses out of 132031 with flag 14097740/2268002
291.68/291.17	c cleaning 67003 clauses out of 134022 with flag 14487183/2336000
303.88/303.30	c cleaning 67998 clauses out of 136020 with flag 14876419/2405001
316.29/315.72	c cleaning 68995 clauses out of 138022 with flag 15267381/2475001
328.88/328.35	c cleaning 70002 clauses out of 140027 with flag 15664214/2546001
342.09/341.55	c cleaning 70995 clauses out of 142025 with flag 16065842/2618001
355.59/355.04	c cleaning 71998 clauses out of 144029 with flag 16478594/2691000
369.49/368.92	c cleaning 73006 clauses out of 146031 with flag 16893474/2765000
384.19/383.62	c cleaning 73996 clauses out of 148025 with flag 17308146/2840000
399.09/398.53	c cleaning 75009 clauses out of 150029 with flag 17730000/2916000
414.58/414.06	c cleaning 75996 clauses out of 152020 with flag 18145817/2993000
429.47/428.87	c cleaning 77003 clauses out of 154024 with flag 18582086/3071000
445.08/444.47	c cleaning 78005 clauses out of 156021 with flag 19026908/3150000
460.97/460.32	c cleaning 78995 clauses out of 158018 with flag 19472182/3230002
477.37/476.71	c cleaning 79991 clauses out of 160022 with flag 19925496/3311001
493.67/493.05	c cleaning 81007 clauses out of 162031 with flag 20382913/3393001
510.77/510.18	c cleaning 82002 clauses out of 164023 with flag 20844053/3476000
528.17/527.58	c cleaning 82998 clauses out of 166021 with flag 21310872/3560000
547.27/546.65	c cleaning 83996 clauses out of 168023 with flag 21785828/3645000
566.97/566.37	c cleaning 84998 clauses out of 170027 with flag 22258067/3731000
585.77/585.19	c cleaning 86004 clauses out of 172029 with flag 22740833/3818000
605.57/604.91	c cleaning 86994 clauses out of 174025 with flag 23220417/3906000
626.88/626.22	c cleaning 87999 clauses out of 176031 with flag 23716470/3995000
647.94/647.25	c cleaning 89005 clauses out of 178034 with flag 24212940/4085002
669.15/668.47	c cleaning 90004 clauses out of 180027 with flag 24706461/4176000
692.35/691.64	c cleaning 90995 clauses out of 182027 with flag 25199742/4268004
714.65/713.99	c cleaning 92007 clauses out of 184028 with flag 25703165/4361000
737.26/736.55	c cleaning 92998 clauses out of 186023 with flag 26204029/4455002
761.85/761.11	c cleaning 94004 clauses out of 188024 with flag 26719397/4550001
785.65/784.92	c cleaning 95007 clauses out of 190021 with flag 27232487/4646002
811.16/810.41	c cleaning 95994 clauses out of 192013 with flag 27745742/4743001
837.37/836.66	c cleaning 96999 clauses out of 194019 with flag 28265102/4841001
864.47/863.77	c cleaning 98002 clauses out of 196019 with flag 28795822/4940000
891.77/891.05	c cleaning 98996 clauses out of 198018 with flag 29328109/5040001
918.15/917.38	c cleaning 100001 clauses out of 200024 with flag 29876703/5141003
946.45/945.69	c cleaning 100995 clauses out of 202021 with flag 30428085/5243001
975.65/974.86	c cleaning 101996 clauses out of 204025 with flag 30975242/5346000
1003.95/1003.10	c cleaning 103007 clauses out of 206030 with flag 31526999/5450001
1033.15/1032.33	c cleaning 104000 clauses out of 208022 with flag 32085026/5555000
1064.56/1063.73	c cleaning 105002 clauses out of 210024 with flag 32648526/5661002
1094.64/1093.84	c cleaning 105991 clauses out of 212020 with flag 33222053/5768000
1125.06/1124.21	c cleaning 107002 clauses out of 214029 with flag 33796752/5876000
1156.65/1155.86	c cleaning 107999 clauses out of 216027 with flag 34378351/5985000
1189.06/1188.13	c cleaning 109005 clauses out of 218031 with flag 34958255/6095003
1221.15/1220.25	c cleaning 109994 clauses out of 220023 with flag 35553987/6206000
1255.36/1254.44	c cleaning 111005 clauses out of 222029 with flag 36154370/6318000
1291.27/1290.31	c cleaning 112003 clauses out of 224024 with flag 36739417/6431000
1327.86/1326.97	c cleaning 112996 clauses out of 226021 with flag 37340187/6545000
1364.37/1363.46	c cleaning 114005 clauses out of 228026 with flag 37939739/6660001
1401.48/1400.56	c cleaning 115003 clauses out of 230021 with flag 38559615/6776001
1440.19/1439.24	c cleaning 115990 clauses out of 232017 with flag 39167575/6893000
1477.68/1476.75	c cleaning 117002 clauses out of 234027 with flag 39811488/7011000
1514.09/1513.02	c cleaning 117993 clauses out of 236028 with flag 40453560/7130003
1552.70/1551.70	c cleaning 119000 clauses out of 238034 with flag 41073461/7250002
1591.82/1590.74	c cleaning 120009 clauses out of 240032 with flag 41702024/7371000
1631.81/1630.77	c cleaning 121008 clauses out of 242023 with flag 42344984/7493000
1673.43/1672.31	c cleaning 121997 clauses out of 244015 with flag 42987697/7616000
1714.53/1713.48	c cleaning 122998 clauses out of 246018 with flag 43636160/7740000
1758.24/1757.14	c cleaning 123998 clauses out of 248020 with flag 44301563/7865000
1800.08/1798.80	c starts		: 20103
1800.08/1798.80	c conflicts		: 7989639
1800.08/1798.80	c decisions		: 11597829
1800.08/1798.80	c propagations		: 140887286
1800.08/1798.80	c inspects		: 43698480922
1800.08/1798.80	c shortcuts		: 0
1800.08/1798.80	c learnt literals	: 0
1800.08/1798.80	c learnt binary clauses	: 0
1800.08/1798.80	c learnt ternary clauses	: 0
1800.08/1798.80	c learnt constraints	: 7989640
1800.08/1798.80	c ignored constraints	: 0
1800.08/1798.80	c root simplifications	: 0
1800.08/1798.80	c removed literals (reason simplification)	: 0
1800.08/1798.80	c reason swapping (by a shorter reason)	: 0
1800.08/1798.80	c Calls to reduceDB	: 121
1800.08/1798.80	c timeout
1800.08/1798.80	c Number of update (reduction) of LBD	: 2299724
1800.08/1798.80	c Imported unit clauses	: 0
1800.08/1798.80	c number of reductions to clauses (during analyze)	: 0
1800.08/1798.80	c number of learned constraints concerned by reduction	: 0
1800.08/1798.80	c number of learning phase by resolution	: 0
1800.08/1798.80	c number of learning phase by cutting planes	: 0
1800.08/1798.80	c speed (assignments/second)	: 78329.80993438383
1800.08/1798.80	c non guided choices	29838
1800.08/1798.84	c learnt constraints type 
1800.08/1798.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 248662
1800.08/1798.84	s UNKNOWN
1800.08/1798.84	c Total wall clock time (in seconds): 1798.721

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-4122726-1467317508/watcher-4122726-1467317508 -o /tmp/evaluation-result-4122726-1467317508/solver-4122726-1467317508 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467308726-12738 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4122726-1467317508.opb 

pid=15471
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.08 2.07 2.01 3/194 15474
/proc/meminfo: memFree=31060380/32872528 swapFree=171816/177948
[pid=15474] ppid=15471 vsize=268 CPUtime=0 cores=0,2,4,6
/proc/15474/stat : 15474 (java) R 15471 15474 12722 0 -1 4194304 347 0 0 0 0 0 0 0 20 0 1 0 10782110 274432 19 33554432000 1073741824 1073778376 140734595186864 140737081243864 224913305646 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15474/statm: 68 27 19 9 0 25 0

[startup+0.100257 s]
/proc/loadavg: 2.08 2.07 2.01 3/194 15474
/proc/meminfo: memFree=31060380/32872528 swapFree=171816/177948
[pid=15474] ppid=15471 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/15474/stat : 15474 (java) S 15471 15474 12722 0 -1 4202496 4391 0 1 0 9 0 0 0 20 0 18 0 10782110 9787879424 6029 33554432000 1073741824 1073778376 140734595186864 140734595178000 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15474/statm: 2389619 6029 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200209 s]
/proc/loadavg: 2.08 2.07 2.01 3/194 15474
/proc/meminfo: memFree=31060380/32872528 swapFree=171816/177948
[pid=15474] ppid=15471 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/15474/stat : 15474 (java) S 15471 15474 12722 0 -1 4202496 6018 0 1 0 25 1 0 0 20 0 19 0 10782110 9856040960 7658 33554432000 1073741824 1073778376 140734595186864 140734595178000 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15474/statm: 2406260 7658 2222 9 0 2396937 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9625040

[startup+0.300224 s]
/proc/loadavg: 2.08 2.07 2.01 3/194 15474
/proc/meminfo: memFree=31060380/32872528 swapFree=171816/177948
[pid=15474] ppid=15471 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/15474/stat : 15474 (java) S 15471 15474 12722 0 -1 4202496 8737 0 1 0 53 1 0 0 20 0 19 0 10782110 9856040960 8922 33554432000 1073741824 1073778376 140734595186864 140734595178000 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15474/statm: 2406260 8922 2239 9 0 2396937 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9625040

[startup+0.70029 s]
/proc/loadavg: 2.08 2.07 2.01 3/194 15474
/proc/meminfo: memFree=31060380/32872528 swapFree=171816/177948
[pid=15474] ppid=15471 vsize=9625040 CPUtime=1.14 cores=0,2,4,6
/proc/15474/stat : 15474 (java) S 15471 15474 12722 0 -1 4202496 9913 0 1 0 113 1 0 0 20 0 19 0 10782110 9856040960 9500 33554432000 1073741824 1073778376 140734595186864 140734595178000 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15474/statm: 2406260 9500 2249 9 0 2396937 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 2.08 2.06 2.01 3/213 15493
/proc/meminfo: memFree=31028400/32872528 swapFree=171816/177948
[pid=15474] ppid=15471 vsize=9625040 CPUtime=1.96 cores=0,2,4,6
/proc/15474/stat : 15474 (java) S 15471 15474 12722 0 -1 4202496 9917 0 1 0 195 1 0 0 20 0 19 0 10782110 9856040960 10014 33554432000 1073741824 1073778376 140734595186864 140734595178000 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15474/statm: 2406260 10014 2250 9 0 2396937 0
[pid=15474/tid=15476] ppid=15471 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/15474/task/15476/stat : 15476 (java) R 15471 15474 12722 0 -1 4202560 2402 0 1 0 146 0 0 0 20 0 19 0 10782111 9856040960 10014 33554432000 1073741824 1073778376 140734595186864 139952151273960 139951996366624 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15474/tid=15477] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15477/stat : 15477 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 10014 33554432000 1073741824 1073778376 140734595186864 139952123726632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15478] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15478/stat : 15478 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 10014 33554432000 1073741824 1073778376 140734595186864 139952122673832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15479] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15479/stat : 15479 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 10014 33554432000 1073741824 1073778376 140734595186864 139952121621544 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15480] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15480/stat : 15480 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 10014 33554432000 1073741824 1073778376 140734595186864 139952120568744 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15474/tid=15481] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15481/stat : 15481 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 10014 33554432000 1073741824 1073778376 140734595186864 139952119515432 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15482] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15482/stat : 15482 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 10014 33554432000 1073741824 1073778376 140734595186864 139952118462632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15474/tid=15483] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15483/stat : 15483 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 10014 33554432000 1073741824 1073778376 140734595186864 139952117410344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15484] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15484/stat : 15484 (java) S 15471 15474 12722 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 10014 33554432000 1073741824 1073778376 140734595186864 139952116357544 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15485] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15485/stat : 15485 (java) S 15471 15474 12722 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10782113 9856040960 10014 33554432000 1073741824 1073778376 140734595186864 139951505124072 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15486] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15486/stat : 15486 (java) S 15471 15474 12722 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10782114 9856040960 10014 33554432000 1073741824 1073778376 140734595186864 139951504070136 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15487] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15487/stat : 15487 (java) S 15471 15474 12722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10782114 9856040960 10014 33554432000 1073741824 1073778376 140734595186864 139951503017736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15488] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15488/stat : 15488 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782116 9856040960 10014 33554432000 1073741824 1073778376 140734595186864 139951501966224 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15489] ppid=15471 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/15474/task/15489/stat : 15489 (java) S 15471 15474 12722 0 -1 4202560 3637 0 0 0 27 0 0 0 20 0 19 0 10782116 9856040960 10014 33554432000 1073741824 1073778376 140734595186864 139951500912824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15490] ppid=15471 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/15474/task/15490/stat : 15490 (java) S 15471 15474 12722 0 -1 4202560 2609 0 0 0 18 0 0 0 20 0 19 0 10782116 9856040960 10014 33554432000 1073741824 1073778376 140734595186864 139951499860024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15491] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15491/stat : 15491 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782116 9856040960 10014 33554432000 1073741824 1073778376 140734595186864 139951498807928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15492] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15492/stat : 15492 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782116 9856040960 10014 33554432000 1073741824 1073778376 140734595186864 139951497755336 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15493] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15493/stat : 15493 (java) S 15471 15474 12722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10782126 9856040960 10014 33554432000 1073741824 1073778376 140734595186864 139951496701352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 2.08 2.06 2.01 3/213 15493
/proc/meminfo: memFree=31026104/32872528 swapFree=171816/177948
[pid=15474] ppid=15471 vsize=9625040 CPUtime=3.56 cores=0,2,4,6
/proc/15474/stat : 15474 (java) S 15471 15474 12722 0 -1 4202496 9920 0 1 0 355 1 0 0 20 0 19 0 10782110 9856040960 11550 33554432000 1073741824 1073778376 140734595186864 140734595178000 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15474/statm: 2406260 11550 2250 9 0 2396937 0
[pid=15474/tid=15476] ppid=15471 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/15474/task/15476/stat : 15476 (java) R 15471 15474 12722 0 -1 4202560 2405 0 1 0 305 1 0 0 20 0 19 0 10782111 9856040960 11550 33554432000 1073741824 1073778376 140734595186864 139952151264976 139951996376554 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15474/tid=15477] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15477/stat : 15477 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 11550 33554432000 1073741824 1073778376 140734595186864 139952123726632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15478] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15478/stat : 15478 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 11550 33554432000 1073741824 1073778376 140734595186864 139952122673832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15479] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15479/stat : 15479 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 11550 33554432000 1073741824 1073778376 140734595186864 139952121621544 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15480] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15480/stat : 15480 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 11550 33554432000 1073741824 1073778376 140734595186864 139952120568744 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15474/tid=15481] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15481/stat : 15481 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 11550 33554432000 1073741824 1073778376 140734595186864 139952119515432 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15482] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15482/stat : 15482 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 11550 33554432000 1073741824 1073778376 140734595186864 139952118462632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15474/tid=15483] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15483/stat : 15483 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 11550 33554432000 1073741824 1073778376 140734595186864 139952117410344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15484] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15484/stat : 15484 (java) S 15471 15474 12722 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 11550 33554432000 1073741824 1073778376 140734595186864 139952116357544 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15485] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15485/stat : 15485 (java) S 15471 15474 12722 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10782113 9856040960 11550 33554432000 1073741824 1073778376 140734595186864 139951505124072 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15486] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15486/stat : 15486 (java) S 15471 15474 12722 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10782114 9856040960 11550 33554432000 1073741824 1073778376 140734595186864 139951504070136 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15487] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15487/stat : 15487 (java) S 15471 15474 12722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10782114 9856040960 11550 33554432000 1073741824 1073778376 140734595186864 139951503017736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15488] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15488/stat : 15488 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782116 9856040960 11550 33554432000 1073741824 1073778376 140734595186864 139951501966224 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15489] ppid=15471 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/15474/task/15489/stat : 15489 (java) S 15471 15474 12722 0 -1 4202560 3637 0 0 0 27 0 0 0 20 0 19 0 10782116 9856040960 11550 33554432000 1073741824 1073778376 140734595186864 139951500912824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15490] ppid=15471 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/15474/task/15490/stat : 15490 (java) S 15471 15474 12722 0 -1 4202560 2609 0 0 0 18 0 0 0 20 0 19 0 10782116 9856040960 11550 33554432000 1073741824 1073778376 140734595186864 139951499860024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15491] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15491/stat : 15491 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782116 9856040960 11550 33554432000 1073741824 1073778376 140734595186864 139951498807928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15492] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15492/stat : 15492 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782116 9856040960 11550 33554432000 1073741824 1073778376 140734595186864 139951497755336 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15493] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15493/stat : 15493 (java) S 15471 15474 12722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10782126 9856040960 11550 33554432000 1073741824 1073778376 140734595186864 139951496701352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.07 2.06 2.01 3/213 15493
/proc/meminfo: memFree=31015948/32872528 swapFree=171816/177948
[pid=15474] ppid=15471 vsize=9625040 CPUtime=6.75 cores=0,2,4,6
/proc/15474/stat : 15474 (java) S 15471 15474 12722 0 -1 4202496 9926 0 1 0 674 1 0 0 20 0 19 0 10782110 9856040960 13477 33554432000 1073741824 1073778376 140734595186864 140734595178000 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15474/statm: 2406260 13477 2251 9 0 2396937 0
[pid=15474/tid=15476] ppid=15471 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/15474/task/15476/stat : 15476 (java) R 15471 15474 12722 0 -1 4202560 2410 0 1 0 625 1 0 0 20 0 19 0 10782111 9856040960 13477 33554432000 1073741824 1073778376 140734595186864 139952151264976 139951996375829 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15474/tid=15477] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15477/stat : 15477 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 13477 33554432000 1073741824 1073778376 140734595186864 139952123726632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15478] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15478/stat : 15478 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 13477 33554432000 1073741824 1073778376 140734595186864 139952122673832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15479] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15479/stat : 15479 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 13477 33554432000 1073741824 1073778376 140734595186864 139952121621544 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15480] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15480/stat : 15480 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 13477 33554432000 1073741824 1073778376 140734595186864 139952120568744 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15474/tid=15481] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15481/stat : 15481 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 13477 33554432000 1073741824 1073778376 140734595186864 139952119515432 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15482] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15482/stat : 15482 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 13477 33554432000 1073741824 1073778376 140734595186864 139952118462632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15474/tid=15483] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15483/stat : 15483 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 13477 33554432000 1073741824 1073778376 140734595186864 139952117410344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15484] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15484/stat : 15484 (java) S 15471 15474 12722 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10782112 9856040960 13477 33554432000 1073741824 1073778376 140734595186864 139952116357544 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15485] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15485/stat : 15485 (java) S 15471 15474 12722 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10782113 9856040960 13477 33554432000 1073741824 1073778376 140734595186864 139951505124072 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15486] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15486/stat : 15486 (java) S 15471 15474 12722 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10782114 9856040960 13477 33554432000 1073741824 1073778376 140734595186864 139951504070136 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15487] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15487/stat : 15487 (java) S 15471 15474 12722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10782114 9856040960 13477 33554432000 1073741824 1073778376 140734595186864 139951503017736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15488] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15488/stat : 15488 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782116 9856040960 13477 33554432000 1073741824 1073778376 140734595186864 139951501966224 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15489] ppid=15471 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/15474/task/15489/stat : 15489 (java) S 15471 15474 12722 0 -1 4202560 3637 0 0 0 27 0 0 0 20 0 19 0 10782116 9856040960 13477 33554432000 1073741824 1073778376 140734595186864 139951500912824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15490] ppid=15471 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/15474/task/15490/stat : 15490 (java) S 15471 15474 12722 0 -1 4202560 2609 0 0 0 18 0 0 0 20 0 19 0 10782116 9856040960 13477 33554432000 1073741824 1073778376 140734595186864 139951499860024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15491] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15491/stat : 15491 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782116 9856040960 13477 33554432000 1073741824 1073778376 140734595186864 139951498807928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15492] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15492/stat : 15492 (java) S 15471 15474 12722 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10782116 9856040960 13477 33554432000 1073741824 1073778376 140734595186864 139951497755336 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15493] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15493/stat : 15493 (java) S 15471 15474 12722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10782126 9856040960 13477 33554432000 1073741824 1073778376 140734595186864 139951496701352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 9625040


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

[pid=15474/tid=15486] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15486/stat : 15486 (java) S 15471 15474 12722 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10782114 9856040960 59962 33554432000 1073741824 1073778376 140734595186864 139951504070136 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15487] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15487/stat : 15487 (java) S 15471 15474 12722 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 10782114 9856040960 59962 33554432000 1073741824 1073778376 140734595186864 139951503017736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15488] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15488/stat : 15488 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782116 9856040960 59962 33554432000 1073741824 1073778376 140734595186864 139951501966224 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15489] ppid=15471 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/15474/task/15489/stat : 15489 (java) S 15471 15474 12722 0 -1 4202560 3646 0 0 0 30 0 0 0 20 0 19 0 10782116 9856040960 59962 33554432000 1073741824 1073778376 140734595186864 139951500912824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15490] ppid=15471 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/15474/task/15490/stat : 15490 (java) S 15471 15474 12722 0 -1 4202560 2609 0 0 0 18 0 0 0 20 0 19 0 10782116 9856040960 59962 33554432000 1073741824 1073778376 140734595186864 139951499860024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15491] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15491/stat : 15491 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782116 9856040960 59962 33554432000 1073741824 1073778376 140734595186864 139951498807928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15492] ppid=15471 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/15474/task/15492/stat : 15492 (java) S 15471 15474 12722 0 -1 4202560 96 0 0 0 23 24 0 0 20 0 19 0 10782116 9856040960 59962 33554432000 1073741824 1073778376 140734595186864 139951497755336 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15474/tid=15493] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15493/stat : 15493 (java) S 15471 15474 12722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10782126 9856040960 59962 33554432000 1073741824 1073778376 140734595186864 139951496701352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1663.43
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 1.04 1.15 1.52 2/189 15568
/proc/meminfo: memFree=31015600/32872528 swapFree=171816/177948
[pid=15474] ppid=15471 vsize=9625040 CPUtime=1723.43 cores=0,2,4,6
/proc/15474/stat : 15474 (java) S 15471 15474 12722 0 -1 4202496 11036 0 1 0 172311 32 0 0 20 0 19 0 10782110 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 140734595178000 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15474/statm: 2406260 60285 2266 9 0 2396937 0
[pid=15474/tid=15476] ppid=15471 vsize=9625040 CPUtime=1722.04 cores=0,2,4,6
/proc/15474/task/15476/stat : 15476 (java) R 15471 15474 12722 0 -1 4202560 2472 0 1 0 172173 31 0 0 20 0 19 0 10782111 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139952151265072 139951996376317 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15477] ppid=15471 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/15474/task/15477/stat : 15477 (java) S 15471 15474 12722 0 -1 4202560 33 0 0 0 6 0 0 0 20 0 19 0 10782112 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139952123726632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15478] ppid=15471 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/15474/task/15478/stat : 15478 (java) S 15471 15474 12722 0 -1 4202560 165 0 0 0 10 0 0 0 20 0 19 0 10782112 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139952122673832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15479] ppid=15471 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/15474/task/15479/stat : 15479 (java) S 15471 15474 12722 0 -1 4202560 25 0 0 0 5 0 0 0 20 0 19 0 10782112 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139952121621544 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15480] ppid=15471 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/15474/task/15480/stat : 15480 (java) S 15471 15474 12722 0 -1 4202560 158 0 0 0 9 2 0 0 20 0 19 0 10782112 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139952120568744 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15474/tid=15481] ppid=15471 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/15474/task/15481/stat : 15481 (java) S 15471 15474 12722 0 -1 4202560 71 0 0 0 6 0 0 0 20 0 19 0 10782112 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139952119515432 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15482] ppid=15471 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/15474/task/15482/stat : 15482 (java) S 15471 15474 12722 0 -1 4202560 209 0 0 0 6 0 0 0 20 0 19 0 10782112 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139952118462632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15483] ppid=15471 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/15474/task/15483/stat : 15483 (java) S 15471 15474 12722 0 -1 4202560 192 0 0 0 8 0 0 0 20 0 19 0 10782112 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139952117410344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15484] ppid=15471 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/15474/task/15484/stat : 15484 (java) S 15471 15474 12722 0 -1 4202560 66 0 0 0 5 0 0 0 20 0 19 0 10782112 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139952116357544 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15485] ppid=15471 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/15474/task/15485/stat : 15485 (java) S 15471 15474 12722 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 10782113 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139951505124072 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15486] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15486/stat : 15486 (java) S 15471 15474 12722 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10782114 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139951504070136 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15487] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15487/stat : 15487 (java) S 15471 15474 12722 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 10782114 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139951503017736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15488] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15488/stat : 15488 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782116 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139951501966224 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15489] ppid=15471 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/15474/task/15489/stat : 15489 (java) S 15471 15474 12722 0 -1 4202560 3646 0 0 0 30 0 0 0 20 0 19 0 10782116 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139951500912824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15490] ppid=15471 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/15474/task/15490/stat : 15490 (java) S 15471 15474 12722 0 -1 4202560 2609 0 0 0 18 0 0 0 20 0 19 0 10782116 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139951499860024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15491] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15491/stat : 15491 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782116 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139951498807928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15492] ppid=15471 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/15474/task/15492/stat : 15492 (java) S 15471 15474 12722 0 -1 4202560 100 0 0 0 24 25 0 0 20 0 19 0 10782116 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139951497755336 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15474/tid=15493] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15493/stat : 15493 (java) S 15471 15474 12722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10782126 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139951496701352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1723.43
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 1.01 1.12 1.49 2/188 15569
/proc/meminfo: memFree=31016812/32872528 swapFree=171816/177948
[pid=15474] ppid=15471 vsize=9625040 CPUtime=1783.45 cores=0,2,4,6
/proc/15474/stat : 15474 (java) S 15471 15474 12722 0 -1 4202496 11040 0 1 0 178311 34 0 0 20 0 19 0 10782110 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 140734595178000 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15474/statm: 2406260 60285 2266 9 0 2396937 0
[pid=15474/tid=15476] ppid=15471 vsize=9625040 CPUtime=1782.05 cores=0,2,4,6
/proc/15474/task/15476/stat : 15476 (java) R 15471 15474 12722 0 -1 4202560 2472 0 1 0 178173 32 0 0 20 0 19 0 10782111 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139952151265072 139951996375874 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15477] ppid=15471 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/15474/task/15477/stat : 15477 (java) S 15471 15474 12722 0 -1 4202560 33 0 0 0 6 0 0 0 20 0 19 0 10782112 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139952123726632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15478] ppid=15471 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/15474/task/15478/stat : 15478 (java) S 15471 15474 12722 0 -1 4202560 165 0 0 0 10 0 0 0 20 0 19 0 10782112 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139952122673832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15479] ppid=15471 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/15474/task/15479/stat : 15479 (java) S 15471 15474 12722 0 -1 4202560 25 0 0 0 5 0 0 0 20 0 19 0 10782112 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139952121621544 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15480] ppid=15471 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/15474/task/15480/stat : 15480 (java) S 15471 15474 12722 0 -1 4202560 158 0 0 0 9 2 0 0 20 0 19 0 10782112 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139952120568744 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15474/tid=15481] ppid=15471 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/15474/task/15481/stat : 15481 (java) S 15471 15474 12722 0 -1 4202560 71 0 0 0 6 0 0 0 20 0 19 0 10782112 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139952119515432 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15482] ppid=15471 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/15474/task/15482/stat : 15482 (java) S 15471 15474 12722 0 -1 4202560 209 0 0 0 6 0 0 0 20 0 19 0 10782112 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139952118462632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15483] ppid=15471 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/15474/task/15483/stat : 15483 (java) S 15471 15474 12722 0 -1 4202560 192 0 0 0 8 0 0 0 20 0 19 0 10782112 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139952117410344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15484] ppid=15471 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/15474/task/15484/stat : 15484 (java) S 15471 15474 12722 0 -1 4202560 66 0 0 0 5 0 0 0 20 0 19 0 10782112 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139952116357544 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15485] ppid=15471 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/15474/task/15485/stat : 15485 (java) S 15471 15474 12722 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 10782113 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139951505124072 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15474/tid=15486] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15486/stat : 15486 (java) S 15471 15474 12722 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10782114 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139951504070136 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15487] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15487/stat : 15487 (java) S 15471 15474 12722 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 10782114 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139951503017736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15488] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15488/stat : 15488 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782116 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139951501966224 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15489] ppid=15471 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/15474/task/15489/stat : 15489 (java) S 15471 15474 12722 0 -1 4202560 3646 0 0 0 30 0 0 0 20 0 19 0 10782116 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139951500912824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15490] ppid=15471 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/15474/task/15490/stat : 15490 (java) S 15471 15474 12722 0 -1 4202560 2609 0 0 0 18 0 0 0 20 0 19 0 10782116 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139951499860024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15491] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15491/stat : 15491 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782116 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139951498807928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15492] ppid=15471 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/15474/task/15492/stat : 15492 (java) S 15471 15474 12722 0 -1 4202560 104 0 0 0 25 26 0 0 20 0 19 0 10782116 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139951497755336 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15474/tid=15493] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15493/stat : 15493 (java) S 15471 15474 12722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10782126 9856040960 60285 33554432000 1073741824 1073778376 140734595186864 139951496701352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1783.45
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.8 s]
/proc/loadavg: 1.01 1.11 1.48 2/188 15570
/proc/meminfo: memFree=30999332/32872528 swapFree=171816/177948
[pid=15474] ppid=15471 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/15474/stat : 15474 (java) S 15471 15474 12722 0 -1 4202496 11295 0 1 0 179973 35 0 0 20 0 19 0 10782110 9856040960 64603 33554432000 1073741824 1073778376 140734595186864 140734595178000 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15474/statm: 2406260 64603 2266 9 0 2396937 0
[pid=15474/tid=15476] ppid=15471 vsize=9625040 CPUtime=1798.49 cores=0,2,4,6
/proc/15474/task/15476/stat : 15476 (java) R 15471 15474 12722 0 -1 4202560 2473 0 1 0 179817 32 0 0 20 0 19 0 10782111 9856040960 64603 33554432000 1073741824 1073778376 140734595186864 139952151272768 139951996375682 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15477] ppid=15471 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/15474/task/15477/stat : 15477 (java) S 15471 15474 12722 0 -1 4202560 93 0 0 0 8 0 0 0 20 0 19 0 10782112 9856040960 64603 33554432000 1073741824 1073778376 140734595186864 139952123726632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15478] ppid=15471 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/15474/task/15478/stat : 15478 (java) S 15471 15474 12722 0 -1 4202560 168 0 0 0 12 0 0 0 20 0 19 0 10782112 9856040960 64603 33554432000 1073741824 1073778376 140734595186864 139952122673832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15474/tid=15479] ppid=15471 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/15474/task/15479/stat : 15479 (java) S 15471 15474 12722 0 -1 4202560 26 0 0 0 7 0 0 0 20 0 19 0 10782112 9856040960 64603 33554432000 1073741824 1073778376 140734595186864 139952121621544 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15480] ppid=15471 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/15474/task/15480/stat : 15480 (java) S 15471 15474 12722 0 -1 4202560 228 0 0 0 14 2 0 0 20 0 19 0 10782112 9856040960 64603 33554432000 1073741824 1073778376 140734595186864 139952120568744 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15474/tid=15481] ppid=15471 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/15474/task/15481/stat : 15481 (java) S 15471 15474 12722 0 -1 4202560 144 0 0 0 7 0 0 0 20 0 19 0 10782112 9856040960 64603 33554432000 1073741824 1073778376 140734595186864 139952119515432 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15482] ppid=15471 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/15474/task/15482/stat : 15482 (java) S 15471 15474 12722 0 -1 4202560 212 0 0 0 7 0 0 0 20 0 19 0 10782112 9856040960 64603 33554432000 1073741824 1073778376 140734595186864 139952118462632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15474/tid=15483] ppid=15471 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/15474/task/15483/stat : 15483 (java) S 15471 15474 12722 0 -1 4202560 193 0 0 0 10 0 0 0 20 0 19 0 10782112 9856040960 64603 33554432000 1073741824 1073778376 140734595186864 139952117410344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15484] ppid=15471 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/15474/task/15484/stat : 15484 (java) S 15471 15474 12722 0 -1 4202560 99 0 0 0 9 1 0 0 20 0 19 0 10782112 9856040960 64603 33554432000 1073741824 1073778376 140734595186864 139952116357544 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15485] ppid=15471 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/15474/task/15485/stat : 15485 (java) S 15471 15474 12722 0 -1 4202560 43 0 0 0 1 0 0 0 20 0 19 0 10782113 9856040960 64603 33554432000 1073741824 1073778376 140734595186864 139951505124072 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15486] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15486/stat : 15486 (java) S 15471 15474 12722 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10782114 9856040960 64603 33554432000 1073741824 1073778376 140734595186864 139951504070136 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15487] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15487/stat : 15487 (java) S 15471 15474 12722 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 10782114 9856040960 64603 33554432000 1073741824 1073778376 140734595186864 139951503017736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15488] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15488/stat : 15488 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782116 9856040960 64603 33554432000 1073741824 1073778376 140734595186864 139951501966224 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15474/tid=15489] ppid=15471 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/15474/task/15489/stat : 15489 (java) S 15471 15474 12722 0 -1 4202560 3646 0 0 0 30 0 0 0 20 0 19 0 10782116 9856040960 64603 33554432000 1073741824 1073778376 140734595186864 139951500912824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15490] ppid=15471 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/15474/task/15490/stat : 15490 (java) S 15471 15474 12722 0 -1 4202560 2609 0 0 0 18 0 0 0 20 0 19 0 10782116 9856040960 64603 33554432000 1073741824 1073778376 140734595186864 139951499860024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15491] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15491/stat : 15491 (java) S 15471 15474 12722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10782116 9856040960 64603 33554432000 1073741824 1073778376 140734595186864 139951498807928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15474/tid=15492] ppid=15471 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/15474/task/15492/stat : 15492 (java) S 15471 15474 12722 0 -1 4202560 104 0 0 0 26 26 0 0 20 0 19 0 10782116 9856040960 64603 33554432000 1073741824 1073778376 140734595186864 139951497755336 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15474/tid=15493] ppid=15471 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15474/task/15493/stat : 15493 (java) S 15471 15474 12722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10782126 9856040960 64603 33554432000 1073741824 1073778376 140734595186864 139951496701352 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 15474 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1798.84
CPU time (s): 1800.59
CPU user time (s): 1799.84
CPU system time (s): 0.749886
CPU usage (%): 100.097
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.749886
maximum resident set size= 258588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11344
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38241
involuntary context switches= 3798

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5134 second user time and 13.211 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-30 22:11:48
IDJOB=4122726
IDBENCH=111278
IDSOLVER=2546
FILE ID=node105/4122726-1467317508
RUNJOBID= node105-1467308726-12738
PBS_JOBID= 20005269
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-62.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4122726-1467317508/watcher-4122726-1467317508 -o /tmp/evaluation-result-4122726-1467317508/solver-4122726-1467317508 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467308726-12738 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4122726-1467317508.opb

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

MD5SUM BENCH= 37e9f89e51a54903ebd996c330e9c2a4
RANDOM SEED=1375472474

node105.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.487
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.487
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.487
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.487
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.487
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.487
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.487
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.487
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:        31060916 kB
Buffers:          147644 kB
Cached:           541196 kB
SwapCached:            0 kB
Active:           470416 kB
Inactive:         421984 kB
Active(anon):     198044 kB
Inactive(anon):     7948 kB
Active(file):     272372 kB
Inactive(file):   414036 kB
Unevictable:      177948 kB
Mlocked:          171816 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               436 kB
Writeback:             0 kB
AnonPages:        330196 kB
Mapped:            22164 kB
Shmem:               204 kB
Slab:             611356 kB
SReclaimable:      55232 kB
SUnreclaim:       556124 kB
KernelStack:        1760 kB
PageTables:         5404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     867148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    137216 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71728 MiB
End job on node105 at 2016-06-30 22:41:47