Trace number 4103458

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16? (TO) 1800.02 896.958

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-A1C1S1.opb
MD5SUM1a4e4bfb1c77b43166d46bacbe01c892
Bench CategoryOPT-BIGINT (optimisation, big integers)
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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables103872
Total number of constraints3312
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3312
Minimum length of a constraint31
Maximum length of a constraint725
Number of terms in the objective function 37632
Biggest coefficient in the objective function 31125091123200
Number of bits for the biggest coefficient in the objective function 45
Sum of the numbers in the objective function 14624065344515792
Number of bits of the sum of numbers in the objective function 54
Biggest number in a constraint 31125091123200
Number of bits of the biggest number in a constraint 45
Biggest sum of numbers in a constraint 14624065344515792
Number of bits of the biggest sum of numbers54
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4103458-1466241488.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
2.09/1.25	c ... done. Wall clock time 1.143s.
2.09/1.25	c declared #vars     103872
2.09/1.25	c #constraints  4560
2.09/1.26	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
2.09/1.26	c constraints type 
2.09/1.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 4560
2.09/1.26	c 4560 constraints processed.
2.09/1.26	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
2.09/1.26	c constraints type 
2.09/1.26	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4560
2.09/1.26	c 4560 constraints processed.
2.09/1.26	c objective function length is 37632 literals
8.13/3.76	c cleaning 2492 clauses out of 4998 with flag 13046/5001
16.68/7.88	c cleaning 4252 clauses out of 8505 with flag 29130/11000
21.37/10.14	c cleaning 5623 clauses out of 11253 with flag 73173/18000
26.83/12.89	c cleaning 6810 clauses out of 13632 with flag 132399/26002
32.01/15.31	c cleaning 7893 clauses out of 15820 with flag 170181/35000
37.06/17.84	c cleaning 8941 clauses out of 17927 with flag 210689/45000
45.45/21.98	c cleaning 9988 clauses out of 19988 with flag 272652/56002
51.05/24.75	c cleaning 10980 clauses out of 21999 with flag 316223/68001
55.76/27.00	c cleaning 11993 clauses out of 24018 with flag 373621/81001
56.35/27.38	c cleaning 0 clauses out of 5000 with flag 0/5000
59.43/28.76	c cleaning 12991 clauses out of 26016 with flag 411950/95002
64.01/31.06	c cleaning 13998 clauses out of 28025 with flag 445671/110002
69.68/33.80	c cleaning 15003 clauses out of 30027 with flag 482102/126002
76.08/37.01	c cleaning 15998 clauses out of 32024 with flag 519940/143002
83.75/40.83	c cleaning 16995 clauses out of 34024 with flag 560669/161000
90.53/44.23	c cleaning 17996 clauses out of 36015 with flag 610684/180001
100.33/49.19	c cleaning 18987 clauses out of 38019 with flag 669463/200001
116.61/57.27	c cleaning 20000 clauses out of 40031 with flag 732664/221000
123.05/60.49	c cleaning 20996 clauses out of 42029 with flag 808923/243001
129.47/63.68	c cleaning 22005 clauses out of 44034 with flag 882723/266002
139.47/68.63	c cleaning 23005 clauses out of 46029 with flag 948561/290002
143.71/70.75	c cleaning 0 clauses out of 11000 with flag 0/11000
151.71/74.76	c cleaning 24002 clauses out of 48022 with flag 1023881/315000
165.95/81.83	c cleaning 24998 clauses out of 50020 with flag 1102931/341000
183.96/90.81	c cleaning 26000 clauses out of 52024 with flag 1191763/368002
204.21/100.91	c cleaning 26999 clauses out of 54022 with flag 1278646/396000
225.51/111.53	c cleaning 28001 clauses out of 56023 with flag 1374733/425000
251.55/124.50	c cleaning 29009 clauses out of 58021 with flag 1475447/455000
278.21/137.85	c cleaning 29973 clauses out of 59974 with flag 1760724/486000
300.33/148.80	c cleaning 30983 clauses out of 62001 with flag 2041781/518000
320.38/158.89	c cleaning 32002 clauses out of 64017 with flag 2274625/551001
331.62/164.43	c cleaning 0 clauses out of 18000 with flag 0/18000
332.62/164.98	c cleaning 32997 clauses out of 66016 with flag 2392314/585002
354.15/175.92	c cleaning 33994 clauses out of 68018 with flag 2526230/620001
377.03/187.35	c cleaning 35001 clauses out of 70024 with flag 2662215/656001
401.49/199.56	c cleaning 36001 clauses out of 72022 with flag 2806029/693000
430.39/213.90	c cleaning 37004 clauses out of 74022 with flag 2949854/731001
457.26/227.34	c cleaning 37994 clauses out of 76017 with flag 3105107/770000
488.58/242.91	c cleaning 39002 clauses out of 78024 with flag 3257953/810001
523.94/260.58	c cleaning 40002 clauses out of 80021 with flag 3411933/851000
557.72/277.37	c cleaning 40992 clauses out of 82019 with flag 3582163/893000
594.51/295.65	c cleaning 42004 clauses out of 84027 with flag 3765705/936000
634.36/315.77	c cleaning 43009 clauses out of 86024 with flag 3944505/980001
654.69/325.87	c cleaning 43988 clauses out of 88012 with flag 4221594/1025001
666.58/331.73	c cleaning 0 clauses out of 26000 with flag 0/26000
686.84/341.80	c cleaning 45004 clauses out of 90024 with flag 4614895/1071001
733.45/365.01	c cleaning 46004 clauses out of 92019 with flag 5077311/1118000
788.30/392.70	c cleaning 47000 clauses out of 94015 with flag 5475632/1166000
852.74/424.74	c cleaning 48003 clauses out of 96016 with flag 5906670/1215001
893.51/445.04	c cleaning 48987 clauses out of 98012 with flag 6206690/1265000
917.42/456.92	c cleaning 50006 clauses out of 100024 with flag 6406186/1316000
941.53/468.99	c cleaning 50994 clauses out of 102018 with flag 6665009/1368000
975.04/485.64	c cleaning 51993 clauses out of 104025 with flag 6796040/1421001
1032.88/514.42	c cleaning 53004 clauses out of 106031 with flag 6916094/1475000
1094.52/545.10	c cleaning 54005 clauses out of 108027 with flag 7040699/1530000
1162.61/579.09	c cleaning 54999 clauses out of 110023 with flag 7168021/1586001
1188.49/591.96	c cleaning 0 clauses out of 35000 with flag 0/35000
1235.55/615.87	c cleaning 55996 clauses out of 112023 with flag 7297437/1643000
1309.42/652.63	c cleaning 57006 clauses out of 114029 with flag 7434944/1701002
1387.76/691.66	c cleaning 57998 clauses out of 116021 with flag 7567054/1760000
1469.42/732.34	c cleaning 58997 clauses out of 118024 with flag 7703474/1820001
1557.57/776.25	c cleaning 60002 clauses out of 120027 with flag 7850739/1881001
1656.59/825.53	c cleaning 60996 clauses out of 122024 with flag 7996489/1943000
1762.26/878.10	c cleaning 62002 clauses out of 124029 with flag 8151011/2006001
1800.02/896.90	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.02/896.90	c starts		: 253
1800.02/896.90	c conflicts		: 2043102
1800.02/896.90	c decisions		: 5320108
1800.02/896.90	c propagations		: 101089964
1800.02/896.90	c inspects		: 9586736606
1800.02/896.90	c shortcuts		: 0
1800.02/896.90	c learnt literals	: 77
1800.02/896.90	c learnt binary clauses	: 292
1800.02/896.90	c learnt ternary clauses	: 43
1800.02/896.90	c learnt constraints	: 2043025
1800.02/896.90	c ignored constraints	: 0
1800.02/896.90	c root simplifications	: 0
1800.02/896.90	c removed literals (reason simplification)	: 14044315
1800.02/896.90	c reason swapping (by a shorter reason)	: 0
1800.02/896.90	c Calls to reduceDB	: 59
1800.02/896.90	c Number of update (reduction) of LBD	: 326509
1800.02/896.90	c Imported unit clauses	: 0
1800.02/896.90	c number of reductions to clauses (during analyze)	: 0
1800.02/896.90	c number of learned constraints concerned by reduction	: 0
1800.02/896.90	c number of learning phase by resolution	: 0
1800.02/896.90	c number of learning phase by cutting planes	: 0
1800.02/896.90	c speed (assignments/second)	: 112881.95127616168
1800.02/896.90	c non guided choices	2063988
1800.02/896.93	c learnt constraints type 
1800.02/896.93	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 292
1800.02/896.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 98836
1800.02/896.93	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.02/896.93	c starts		: 65
1800.02/896.93	c conflicts		: 43180
1800.02/896.93	c decisions		: 2679777
1800.02/896.93	c propagations		: 4447624
1800.02/896.93	c inspects		: 647336716
1800.02/896.93	c shortcuts		: 0
1800.02/896.93	c learnt literals	: 0
1800.02/896.93	c learnt binary clauses	: 0
1800.02/896.93	c learnt ternary clauses	: 0
1800.02/896.93	c learnt constraints	: 43180
1800.02/896.93	c ignored constraints	: 0
1800.02/896.93	c root simplifications	: 0
1800.02/896.93	c removed literals (reason simplification)	: 0
1800.02/896.93	c reason swapping (by a shorter reason)	: 0
1800.02/896.93	c Calls to reduceDB	: 5
1800.02/896.93	c Number of update (reduction) of LBD	: 0
1800.02/896.93	c Imported unit clauses	: 0
1800.02/896.93	c number of reductions to clauses (during analyze)	: 0
1800.02/896.93	c number of learned constraints concerned by reduction	: 0
1800.02/896.93	c number of learning phase by resolution	: 0
1800.02/896.93	c number of learning phase by cutting planes	: 0
1800.02/896.93	c speed (assignments/second)	: 4966.44906837708
1800.02/896.93	c non guided choices	0
1800.02/896.94	c learnt constraints type 
1800.02/896.94	c org.sat4j.pb.constraints.pb.MaxWatchPb => 43180
1800.02/896.94	s UNKNOWN
1800.02/896.94	c Total wall clock time (in seconds): 896.835

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-4103458-1466241488/watcher-4103458-1466241488 -o /tmp/evaluation-result-4103458-1466241488/solver-4103458-1466241488 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466240588-22107 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103458-1466241488.opb 

pid=22313
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: 4.23 4.08 3.27 5/194 22316
/proc/meminfo: memFree=30194256/32872528 swapFree=1459628/1655852
[pid=22316] ppid=22313 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/22316/stat : 22316 (java) R 22313 22316 22091 0 -1 4202496 1071 0 0 0 0 0 0 0 20 0 1 0 26194313 23793664 721 33554432000 1073741824 1073778376 140733467061296 140733467050360 139915418733360 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22316/statm: 5809 735 544 9 0 128 0

[startup+0.100059 s]
/proc/loadavg: 4.23 4.08 3.27 5/194 22316
/proc/meminfo: memFree=30194256/32872528 swapFree=1459628/1655852
[pid=22316] ppid=22313 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/22316/stat : 22316 (java) S 22313 22316 22091 0 -1 4202496 4456 0 1 0 9 1 0 0 20 0 18 0 26194313 9787879424 6087 33554432000 1073741824 1073778376 140733467061296 140733467052432 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22316/statm: 2389619 6087 2141 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.20022 s]
/proc/loadavg: 4.23 4.08 3.27 5/194 22316
/proc/meminfo: memFree=30194256/32872528 swapFree=1459628/1655852
[pid=22316] ppid=22313 vsize=9558476 CPUtime=0.3 cores=0,2,4,6
/proc/22316/stat : 22316 (java) S 22313 22316 22091 0 -1 4202496 5093 0 1 0 29 1 0 0 20 0 18 0 26194313 9787879424 8488 33554432000 1073741824 1073778376 140733467061296 140733467052432 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22316/statm: 2389619 8488 2221 9 0 2380296 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476

[startup+0.300228 s]
/proc/loadavg: 4.23 4.08 3.27 5/194 22316
/proc/meminfo: memFree=30194256/32872528 swapFree=1459628/1655852
[pid=22316] ppid=22313 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/22316/stat : 22316 (java) S 22313 22316 22091 0 -1 4202496 5735 0 1 0 47 1 0 0 20 0 18 0 26194313 9787879424 13388 33554432000 1073741824 1073778376 140733467061296 140733467052432 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22316/statm: 2389619 13388 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700194 s]
/proc/loadavg: 4.23 4.08 3.27 5/194 22316
/proc/meminfo: memFree=30194256/32872528 swapFree=1459628/1655852
[pid=22316] ppid=22313 vsize=9558476 CPUtime=1.44 cores=0,2,4,6
/proc/22316/stat : 22316 (java) S 22313 22316 22091 0 -1 4202496 12099 0 1 0 136 8 0 0 20 0 18 0 26194313 9787879424 52118 33554432000 1073741824 1073778376 140733467061296 140733467052432 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22316/statm: 2389619 52118 2258 9 0 2380296 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 9558476

[startup+1.5007 s]
/proc/loadavg: 4.23 4.08 3.27 5/215 22337
/proc/meminfo: memFree=29943316/32872528 swapFree=1459628/1655852
[pid=22316] ppid=22313 vsize=9824732 CPUtime=2.85 cores=0,2,4,6
/proc/22316/stat : 22316 (java) S 22313 22316 22091 0 -1 4202496 13856 0 1 0 274 11 0 0 20 0 22 0 26194313 10060525568 64663 33554432000 1073741824 1073778376 140733467061296 140733467052432 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22316/statm: 2456183 64663 2277 9 0 2446860 0
[pid=22316/tid=22318] ppid=22313 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/22316/task/22318/stat : 22318 (java) S 22313 22316 22091 0 -1 4202560 2505 0 1 0 108 4 0 0 20 0 22 0 26194314 10060525568 64663 33554432000 1073741824 1073778376 140733467061296 139915410707320 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22319] ppid=22313 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/22316/task/22319/stat : 22319 (java) S 22313 22316 22091 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 26194314 10060525568 64663 33554432000 1073741824 1073778376 140733467061296 139915254676008 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22320] ppid=22313 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/22316/task/22320/stat : 22320 (java) S 22313 22316 22091 0 -1 4202560 39 0 0 0 3 0 0 0 20 0 22 0 26194314 10060525568 64663 33554432000 1073741824 1073778376 140733467061296 139915253623208 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22321] ppid=22313 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/22316/task/22321/stat : 22321 (java) S 22313 22316 22091 0 -1 4202560 141 0 0 0 6 0 0 0 20 0 22 0 26194314 10060525568 64663 33554432000 1073741824 1073778376 140733467061296 139915252570408 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22322] ppid=22313 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/22316/task/22322/stat : 22322 (java) S 22313 22316 22091 0 -1 4202560 178 0 0 0 2 0 0 0 20 0 22 0 26194314 10060525568 64663 33554432000 1073741824 1073778376 140733467061296 139915251517608 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22323] ppid=22313 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/22316/task/22323/stat : 22323 (java) S 22313 22316 22091 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 26194314 10060525568 64663 33554432000 1073741824 1073778376 140733467061296 139915250465832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22324] ppid=22313 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/22316/task/22324/stat : 22324 (java) S 22313 22316 22091 0 -1 4202560 131 0 0 0 2 1 0 0 20 0 22 0 26194314 10060525568 64663 33554432000 1073741824 1073778376 140733467061296 139915249413032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22325] ppid=22313 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/22316/task/22325/stat : 22325 (java) S 22313 22316 22091 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 26194314 10060525568 64663 33554432000 1073741824 1073778376 140733467061296 139915248360232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22326] ppid=22313 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/22316/task/22326/stat : 22326 (java) S 22313 22316 22091 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 26194314 10060525568 64663 33554432000 1073741824 1073778376 140733467061296 139915247307432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22327] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22327/stat : 22327 (java) S 22313 22316 22091 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 26194315 10060525568 64663 33554432000 1073741824 1073778376 140733467061296 139915234896360 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22328] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22328/stat : 22328 (java) S 22313 22316 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26194316 10060525568 64663 33554432000 1073741824 1073778376 140733467061296 139915233842424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22329] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22329/stat : 22329 (java) S 22313 22316 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26194316 10060525568 64663 33554432000 1073741824 1073778376 140733467061296 139915232789512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22333] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22333/stat : 22333 (java) S 22313 22316 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26194318 10060525568 64663 33554432000 1073741824 1073778376 140733467061296 139915231738000 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22334] ppid=22313 vsize=9824732 CPUtime=0.5 cores=0,2,4,6
/proc/22316/task/22334/stat : 22334 (java) R 22313 22316 22091 0 -1 4202560 3893 0 0 0 48 2 0 0 20 0 22 0 26194318 10060525568 64663 33554432000 1073741824 1073778376 140733467061296 139915230663384 139915417168469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22335] ppid=22313 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/22316/task/22335/stat : 22335 (java) R 22313 22316 22091 0 -1 4202560 5516 0 0 0 48 0 0 0 20 0 22 0 26194318 10060525568 64663 33554432000 1073741824 1073778376 140733467061296 139915229620864 139915414795729 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22336] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22336/stat : 22336 (java) S 22313 22316 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26194318 10060525568 64663 33554432000 1073741824 1073778376 140733467061296 139915228580728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22337] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22337/stat : 22337 (java) S 22313 22316 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26194318 10060525568 64663 33554432000 1073741824 1073778376 140733467061296 139915227528136 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 9824732

[startup+3.10085 s]
/proc/loadavg: 4.23 4.08 3.27 6/219 22341
/proc/meminfo: memFree=29852360/32872528 swapFree=1459628/1655852
[pid=22316] ppid=22313 vsize=9824732 CPUtime=6.73 cores=0,2,4,6
/proc/22316/stat : 22316 (java) S 22313 22316 22091 0 -1 4202496 16017 0 1 0 655 18 0 0 20 0 22 0 26194313 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 140733467052432 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22316/statm: 2456183 104387 2279 9 0 2446860 0
[pid=22316/tid=22318] ppid=22313 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/22316/task/22318/stat : 22318 (java) S 22313 22316 22091 0 -1 4202560 2505 0 1 0 108 4 0 0 20 0 22 0 26194314 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 139915410707320 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22319] ppid=22313 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/22316/task/22319/stat : 22319 (java) S 22313 22316 22091 0 -1 4202560 29 0 0 0 4 0 0 0 20 0 22 0 26194314 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 139915254676008 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22320] ppid=22313 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/22316/task/22320/stat : 22320 (java) S 22313 22316 22091 0 -1 4202560 62 0 0 0 7 2 0 0 20 0 22 0 26194314 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 139915253623208 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22316/tid=22321] ppid=22313 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/22316/task/22321/stat : 22321 (java) S 22313 22316 22091 0 -1 4202560 183 0 0 0 6 1 0 0 20 0 22 0 26194314 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 139915252570408 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22322] ppid=22313 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/22316/task/22322/stat : 22322 (java) S 22313 22316 22091 0 -1 4202560 222 0 0 0 3 0 0 0 20 0 22 0 26194314 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 139915251517608 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22323] ppid=22313 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/22316/task/22323/stat : 22323 (java) S 22313 22316 22091 0 -1 4202560 38 0 0 0 6 2 0 0 20 0 22 0 26194314 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 139915250465832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22324] ppid=22313 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/22316/task/22324/stat : 22324 (java) S 22313 22316 22091 0 -1 4202560 212 0 0 0 7 2 0 0 20 0 22 0 26194314 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 139915249413032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22325] ppid=22313 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/22316/task/22325/stat : 22325 (java) S 22313 22316 22091 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 22 0 26194314 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 139915248360232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22326] ppid=22313 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/22316/task/22326/stat : 22326 (java) S 22313 22316 22091 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 22 0 26194314 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 139915247307432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22327] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22327/stat : 22327 (java) S 22313 22316 22091 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 26194315 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 139915234896360 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22328] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22328/stat : 22328 (java) S 22313 22316 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26194316 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 139915233842424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22329] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22329/stat : 22329 (java) S 22313 22316 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26194316 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 139915232789512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22333] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22333/stat : 22333 (java) S 22313 22316 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26194318 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 139915231738000 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22334] ppid=22313 vsize=9824732 CPUtime=0.8 cores=0,2,4,6
/proc/22316/task/22334/stat : 22334 (java) S 22313 22316 22091 0 -1 4202560 5632 0 0 0 78 2 0 0 20 0 22 0 26194318 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 139915230686136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22316/tid=22335] ppid=22313 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/22316/task/22335/stat : 22335 (java) S 22313 22316 22091 0 -1 4202560 5519 0 0 0 81 0 0 0 20 0 22 0 26194318 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 139915229633336 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22336] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22336/stat : 22336 (java) S 22313 22316 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26194318 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 139915228580728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22337] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22337/stat : 22337 (java) S 22313 22316 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26194318 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 139915227528136 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22338] ppid=22313 vsize=9824732 CPUtime=1.74 cores=0,2,4,6
/proc/22316/task/22338/stat : 22338 (java) R 22313 22316 22091 0 -1 4202560 25 0 0 0 174 0 0 0 20 0 22 0 26194439 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 139915226472952 139915283306471 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22339] ppid=22313 vsize=9824732 CPUtime=1.6 cores=0,2,4,6
/proc/22316/task/22339/stat : 22339 (java) R 22313 22316 22091 0 -1 4202560 76 0 0 0 159 1 0 0 20 0 22 0 26194439 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 139915225419832 139915283661130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22340] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22340/stat : 22340 (java) S 22313 22316 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26194450 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 139915224368040 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22341] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22341/stat : 22341 (java) S 22313 22316 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26194453 10060525568 104387 33554432000 1073741824 1073778376 140733467061296 139915223315240 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.73
Current children cumulated vsize (KiB) 9824732

[startup+6.30089 s]
/proc/loadavg: 4.29 4.10 3.28 5/219 22341
/proc/meminfo: memFree=29612232/32872528 swapFree=1459628/1655852
[pid=22316] ppid=22313 vsize=9824732 CPUtime=13.63 cores=0,2,4,6
/proc/22316/stat : 22316 (java) S 22313 22316 22091 0 -1 4202496 17507 0 1 0 1334 29 0 0 20 0 22 0 26194313 10060525568 172066 33554432000 1073741824 1073778376 140733467061296 140733467052432 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22316/statm: 2456183 172066 2284 9 0 2446860 0
[pid=22316/tid=22318] ppid=22313 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/22316/task/22318/stat : 22318 (java) S 22313 22316 22091 0 -1 4202560 2505 0 1 0 108 4 0 0 20 0 22 0 26194314 10060525568 172066 33554432000 1073741824 1073778376 140733467061296 139915410707320 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22319] ppid=22313 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/22316/task/22319/stat : 22319 (java) S 22313 22316 22091 0 -1 4202560 42 0 0 0 5 1 0 0 20 0 22 0 26194314 10060525568 172066 33554432000 1073741824 1073778376 140733467061296 139915254676008 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22320] ppid=22313 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/22316/task/22320/stat : 22320 (java) S 22313 22316 22091 0 -1 4202560 95 0 0 0 12 3 0 0 20 0 22 0 26194314 10060525568 172066 33554432000 1073741824 1073778376 140733467061296 139915253623208 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22316/tid=22321] ppid=22313 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/22316/task/22321/stat : 22321 (java) S 22313 22316 22091 0 -1 4202560 205 0 0 0 12 3 0 0 20 0 22 0 26194314 10060525568 172066 33554432000 1073741824 1073778376 140733467061296 139915252570408 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22322] ppid=22313 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/22316/task/22322/stat : 22322 (java) S 22313 22316 22091 0 -1 4202560 231 0 0 0 4 1 0 0 20 0 22 0 26194314 10060525568 172066 33554432000 1073741824 1073778376 140733467061296 139915251517608 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22323] ppid=22313 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/22316/task/22323/stat : 22323 (java) S 22313 22316 22091 0 -1 4202560 108 0 0 0 11 3 0 0 20 0 22 0 26194314 10060525568 172066 33554432000 1073741824 1073778376 140733467061296 139915250465832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22324] ppid=22313 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/22316/task/22324/stat : 22324 (java) S 22313 22316 22091 0 -1 4202560 223 0 0 0 9 2 0 0 20 0 22 0 26194314 10060525568 172066 33554432000 1073741824 1073778376 140733467061296 139915249413032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22325] ppid=22313 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/22316/task/22325/stat : 22325 (java) S 22313 22316 22091 0 -1 4202560 48 0 0 0 5 3 0 0 20 0 22 0 26194314 10060525568 172066 33554432000 1073741824 1073778376 140733467061296 139915248360232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22326] ppid=22313 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/22316/task/22326/stat : 22326 (java) S 22313 22316 22091 0 -1 4202560 32 0 0 0 5 1 0 0 20 0 22 0 26194314 10060525568 172066 33554432000 1073741824 1073778376 140733467061296 139915247307432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22327] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22327/stat : 22327 (java) S 22313 22316 22091 0 -1 4202560 483 0 0 0 0 0 0 0 20 0 22 0 26194315 10060525568 172066 33554432000 1073741824 1073778376 140733467061296 139915234896360 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22328] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22328/stat : 22328 (java) S 22313 22316 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26194316 10060525568 172066 33554432000 1073741824 1073778376 140733467061296 139915233842424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22329] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22329/stat : 22329 (java) S 22313 22316 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26194316 10060525568 172066 33554432000 1073741824 1073778376 140733467061296 139915232789512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22333] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22333/stat : 22333 (java) S 22313 22316 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26194318 10060525568 172066 33554432000 1073741824 1073778376 140733467061296 139915231738000 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22334] ppid=22313 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/22316/task/22334/stat : 22334 (java) S 22313 22316 22091 0 -1 4202560 6323 0 0 0 93 2 0 0 20 0 22 0 26194318 10060525568 172066 33554432000 1073741824 1073778376 140733467061296 139915230686136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22316/tid=22335] ppid=22313 vsize=9824732 CPUtime=1.03 cores=0,2,4,6
/proc/22316/task/22335/stat : 22335 (java) S 22313 22316 22091 0 -1 4202560 5552 0 0 0 103 0 0 0 20 0 22 0 26194318 10060525568 172066 33554432000 1073741824 1073778376 140733467061296 139915229633336 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22336] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22336/stat : 22336 (java) S 22313 22316 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26194318 10060525568 172066 33554432000 1073741824 1073778376 140733467061296 139915228580728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22337] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22337/stat : 22337 (java) S 22313 22316 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26194318 10060525568 172066 33554432000 1073741824 1073778376 140733467061296 139915227528136 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22338] ppid=22313 vsize=9824732 CPUtime=4.82 cores=0,2,4,6

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

/proc/22316/task/22321/stat : 22321 (java) S 22313 22316 22091 0 -1 4202560 537 0 0 0 218 11 0 0 20 0 22 0 26194314 10060525568 420334 33554432000 1073741824 1073778376 140733467061296 139915252570408 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22316/tid=22322] ppid=22313 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/22316/task/22322/stat : 22322 (java) S 22313 22316 22091 0 -1 4202560 520 0 0 0 206 9 0 0 20 0 22 0 26194314 10060525568 420334 33554432000 1073741824 1073778376 140733467061296 139915251517608 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22316/tid=22323] ppid=22313 vsize=9824732 CPUtime=2.2 cores=0,2,4,6
/proc/22316/task/22323/stat : 22323 (java) S 22313 22316 22091 0 -1 4202560 481 0 0 0 208 12 0 0 20 0 22 0 26194314 10060525568 420334 33554432000 1073741824 1073778376 140733467061296 139915250465832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22316/tid=22324] ppid=22313 vsize=9824732 CPUtime=2.06 cores=0,2,4,6
/proc/22316/task/22324/stat : 22324 (java) S 22313 22316 22091 0 -1 4202560 525 0 0 0 197 9 0 0 20 0 22 0 26194314 10060525568 420334 33554432000 1073741824 1073778376 140733467061296 139915249413032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22325] ppid=22313 vsize=9824732 CPUtime=2.08 cores=0,2,4,6
/proc/22316/task/22325/stat : 22325 (java) S 22313 22316 22091 0 -1 4202560 409 0 0 0 198 10 0 0 20 0 22 0 26194314 10060525568 420334 33554432000 1073741824 1073778376 140733467061296 139915248360232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22326] ppid=22313 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/22316/task/22326/stat : 22326 (java) S 22313 22316 22091 0 -1 4202560 385 0 0 0 207 8 0 0 20 0 22 0 26194314 10060525568 420334 33554432000 1073741824 1073778376 140733467061296 139915247307432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22316/tid=22327] ppid=22313 vsize=9824732 CPUtime=2.63 cores=0,2,4,6
/proc/22316/task/22327/stat : 22327 (java) S 22313 22316 22091 0 -1 4202560 2891 0 0 0 250 13 0 0 20 0 22 0 26194315 10060525568 420334 33554432000 1073741824 1073778376 140733467061296 139915234896360 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22328] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22328/stat : 22328 (java) S 22313 22316 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26194316 10060525568 420334 33554432000 1073741824 1073778376 140733467061296 139915233842424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22329] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22329/stat : 22329 (java) S 22313 22316 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26194316 10060525568 420334 33554432000 1073741824 1073778376 140733467061296 139915232789512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22333] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22333/stat : 22333 (java) S 22313 22316 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26194318 10060525568 420334 33554432000 1073741824 1073778376 140733467061296 139915231738000 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22334] ppid=22313 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/22316/task/22334/stat : 22334 (java) S 22313 22316 22091 0 -1 4202560 6329 0 0 0 114 3 0 0 20 0 22 0 26194318 10060525568 420334 33554432000 1073741824 1073778376 140733467061296 139915230686136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22335] ppid=22313 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/22316/task/22335/stat : 22335 (java) S 22313 22316 22091 0 -1 4202560 5990 0 0 0 144 0 0 0 20 0 22 0 26194318 10060525568 420334 33554432000 1073741824 1073778376 140733467061296 139915229633336 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22336] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22336/stat : 22336 (java) S 22313 22316 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26194318 10060525568 420334 33554432000 1073741824 1073778376 140733467061296 139915228580728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22337] ppid=22313 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/22316/task/22337/stat : 22337 (java) S 22313 22316 22091 0 -1 4202560 51 0 0 0 12 17 0 0 20 0 22 0 26194318 10060525568 420334 33554432000 1073741824 1073778376 140733467061296 139915227528136 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22338] ppid=22313 vsize=9824732 CPUtime=871.07 cores=0,2,4,6
/proc/22316/task/22338/stat : 22338 (java) R 22313 22316 22091 0 -1 4202560 115 0 0 0 87091 16 0 0 20 0 22 0 26194439 10060525568 420334 33554432000 1073741824 1073778376 140733467061296 139915226471120 139915283875239 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22339] ppid=22313 vsize=9824732 CPUtime=871.02 cores=0,2,4,6
/proc/22316/task/22339/stat : 22339 (java) R 22313 22316 22091 0 -1 4202560 1830 0 0 0 87054 48 0 0 20 0 22 0 26194439 10060525568 420334 33554432000 1073741824 1073778376 140733467061296 139915225419112 139915283845982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22340] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22340/stat : 22340 (java) S 22313 22316 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26194450 10060525568 420334 33554432000 1073741824 1073778376 140733467061296 139915224368040 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22341] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22341/stat : 22341 (java) S 22313 22316 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26194453 10060525568 420334 33554432000 1073741824 1073778376 140733467061296 139915223315240 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1770.73
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+896.901 s]
/proc/loadavg: 4.25 4.35 3.92 5/219 22370
/proc/meminfo: memFree=26340712/32872528 swapFree=1459628/1655852
[pid=22316] ppid=22313 vsize=9824732 CPUtime=1800.02 cores=0,2,4,6
/proc/22316/stat : 22316 (java) S 22313 22316 22091 0 -1 4202496 24773 0 1 0 179843 159 0 0 20 0 22 0 26194313 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 140733467052432 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22316/statm: 2456183 420348 2293 9 0 2446860 0
[pid=22316/tid=22318] ppid=22313 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/22316/task/22318/stat : 22318 (java) S 22313 22316 22091 0 -1 4202560 2520 0 1 0 111 5 0 0 20 0 22 0 26194314 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915410707320 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22319] ppid=22313 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/22316/task/22319/stat : 22319 (java) S 22313 22316 22091 0 -1 4202560 424 0 0 0 204 9 0 0 20 0 22 0 26194314 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915254676008 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22320] ppid=22313 vsize=9824732 CPUtime=2.52 cores=0,2,4,6
/proc/22316/task/22320/stat : 22320 (java) S 22313 22316 22091 0 -1 4202560 485 0 0 0 240 12 0 0 20 0 22 0 26194314 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915253623208 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22321] ppid=22313 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/22316/task/22321/stat : 22321 (java) S 22313 22316 22091 0 -1 4202560 537 0 0 0 220 11 0 0 20 0 22 0 26194314 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915252570408 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22322] ppid=22313 vsize=9824732 CPUtime=2.17 cores=0,2,4,6
/proc/22316/task/22322/stat : 22322 (java) S 22313 22316 22091 0 -1 4202560 520 0 0 0 208 9 0 0 20 0 22 0 26194314 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915251517608 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22323] ppid=22313 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/22316/task/22323/stat : 22323 (java) S 22313 22316 22091 0 -1 4202560 481 0 0 0 209 12 0 0 20 0 22 0 26194314 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915250465832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22324] ppid=22313 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/22316/task/22324/stat : 22324 (java) S 22313 22316 22091 0 -1 4202560 525 0 0 0 201 9 0 0 20 0 22 0 26194314 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915249413032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22325] ppid=22313 vsize=9824732 CPUtime=2.12 cores=0,2,4,6
/proc/22316/task/22325/stat : 22325 (java) S 22313 22316 22091 0 -1 4202560 409 0 0 0 202 10 0 0 20 0 22 0 26194314 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915248360232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22326] ppid=22313 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/22316/task/22326/stat : 22326 (java) S 22313 22316 22091 0 -1 4202560 385 0 0 0 211 8 0 0 20 0 22 0 26194314 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915247307432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22327] ppid=22313 vsize=9824732 CPUtime=2.63 cores=0,2,4,6
/proc/22316/task/22327/stat : 22327 (java) S 22313 22316 22091 0 -1 4202560 2905 0 0 0 250 13 0 0 20 0 22 0 26194315 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915234896360 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22328] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22328/stat : 22328 (java) S 22313 22316 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26194316 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915233842424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22329] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22329/stat : 22329 (java) S 22313 22316 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26194316 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915232789512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22333] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22333/stat : 22333 (java) S 22313 22316 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26194318 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915231738000 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22334] ppid=22313 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/22316/task/22334/stat : 22334 (java) S 22313 22316 22091 0 -1 4202560 6329 0 0 0 114 3 0 0 20 0 22 0 26194318 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915230686136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22335] ppid=22313 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/22316/task/22335/stat : 22335 (java) S 22313 22316 22091 0 -1 4202560 5990 0 0 0 144 0 0 0 20 0 22 0 26194318 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915229633336 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22336] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22336/stat : 22336 (java) S 22313 22316 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26194318 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915228580728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22337] ppid=22313 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/22316/task/22337/stat : 22337 (java) S 22313 22316 22091 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 26194318 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915227528136 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22338] ppid=22313 vsize=9824732 CPUtime=885.55 cores=0,2,4,6
/proc/22316/task/22338/stat : 22338 (java) R 22313 22316 22091 0 -1 4202560 116 0 0 0 88539 16 0 0 20 0 22 0 26194439 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915226471152 139915283812092 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22316/tid=22339] ppid=22313 vsize=9824732 CPUtime=885.5 cores=0,2,4,6
/proc/22316/task/22339/stat : 22339 (java) R 22313 22316 22091 0 -1 4202560 1831 0 0 0 88502 48 0 0 20 0 22 0 26194439 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915225419104 139915283845324 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22340] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22340/stat : 22340 (java) S 22313 22316 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26194450 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915224368040 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22341] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22341/stat : 22341 (java) S 22313 22316 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26194453 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915223315240 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9824732

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 22316 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+896.901 s]
/proc/loadavg: 4.25 4.35 3.92 5/219 22370
/proc/meminfo: memFree=26340712/32872528 swapFree=1459628/1655852
[pid=22316] ppid=22313 vsize=9824732 CPUtime=1800.02 cores=0,2,4,6
/proc/22316/stat : 22316 (java) S 22313 22316 22091 0 -1 4202496 24773 0 1 0 179843 159 0 0 20 0 22 0 26194313 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 140733467052432 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22316/statm: 2456183 420348 2293 9 0 2446860 0
[pid=22316/tid=22318] ppid=22313 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/22316/task/22318/stat : 22318 (java) S 22313 22316 22091 0 -1 4202560 2520 0 1 0 111 5 0 0 20 0 22 0 26194314 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915410707320 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22319] ppid=22313 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/22316/task/22319/stat : 22319 (java) S 22313 22316 22091 0 -1 4202560 424 0 0 0 204 9 0 0 20 0 22 0 26194314 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915254676008 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22320] ppid=22313 vsize=9824732 CPUtime=2.52 cores=0,2,4,6
/proc/22316/task/22320/stat : 22320 (java) S 22313 22316 22091 0 -1 4202560 485 0 0 0 240 12 0 0 20 0 22 0 26194314 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915253623208 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22321] ppid=22313 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/22316/task/22321/stat : 22321 (java) S 22313 22316 22091 0 -1 4202560 537 0 0 0 220 11 0 0 20 0 22 0 26194314 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915252570408 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22322] ppid=22313 vsize=9824732 CPUtime=2.17 cores=0,2,4,6
/proc/22316/task/22322/stat : 22322 (java) S 22313 22316 22091 0 -1 4202560 520 0 0 0 208 9 0 0 20 0 22 0 26194314 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915251517608 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22323] ppid=22313 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/22316/task/22323/stat : 22323 (java) S 22313 22316 22091 0 -1 4202560 481 0 0 0 209 12 0 0 20 0 22 0 26194314 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915250465832 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22324] ppid=22313 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/22316/task/22324/stat : 22324 (java) S 22313 22316 22091 0 -1 4202560 525 0 0 0 201 9 0 0 20 0 22 0 26194314 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915249413032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22325] ppid=22313 vsize=9824732 CPUtime=2.12 cores=0,2,4,6
/proc/22316/task/22325/stat : 22325 (java) S 22313 22316 22091 0 -1 4202560 409 0 0 0 202 10 0 0 20 0 22 0 26194314 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915248360232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22326] ppid=22313 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/22316/task/22326/stat : 22326 (java) S 22313 22316 22091 0 -1 4202560 385 0 0 0 211 8 0 0 20 0 22 0 26194314 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915247307432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22327] ppid=22313 vsize=9824732 CPUtime=2.63 cores=0,2,4,6
/proc/22316/task/22327/stat : 22327 (java) S 22313 22316 22091 0 -1 4202560 2905 0 0 0 250 13 0 0 20 0 22 0 26194315 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915234896360 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22328] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22328/stat : 22328 (java) S 22313 22316 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26194316 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915233842424 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22329] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22329/stat : 22329 (java) S 22313 22316 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26194316 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915232789512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22333] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22333/stat : 22333 (java) S 22313 22316 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26194318 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915231738000 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22316/tid=22334] ppid=22313 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/22316/task/22334/stat : 22334 (java) S 22313 22316 22091 0 -1 4202560 6329 0 0 0 114 3 0 0 20 0 22 0 26194318 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915230686136 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22335] ppid=22313 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/22316/task/22335/stat : 22335 (java) S 22313 22316 22091 0 -1 4202560 5990 0 0 0 144 0 0 0 20 0 22 0 26194318 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915229633336 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22336] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22336/stat : 22336 (java) S 22313 22316 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26194318 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915228580728 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22337] ppid=22313 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/22316/task/22337/stat : 22337 (java) S 22313 22316 22091 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 26194318 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915227528136 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22316/tid=22338] ppid=22313 vsize=9824732 CPUtime=885.55 cores=0,2,4,6
/proc/22316/task/22338/stat : 22338 (java) R 22313 22316 22091 0 -1 4202560 116 0 0 0 88539 16 0 0 20 0 22 0 26194439 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915226471152 139915283812092 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22316/tid=22339] ppid=22313 vsize=9824732 CPUtime=885.5 cores=0,2,4,6
/proc/22316/task/22339/stat : 22339 (java) R 22313 22316 22091 0 -1 4202560 1831 0 0 0 88502 48 0 0 20 0 22 0 26194439 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915225419104 139915283845324 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22340] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22340/stat : 22340 (java) S 22313 22316 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26194450 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915224368040 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22316/tid=22341] ppid=22313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/22316/task/22341/stat : 22341 (java) S 22313 22316 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26194453 10060525568 420348 33554432000 1073741824 1073778376 140733467061296 139915223315240 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22316 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=949278
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=980698
# CPU time returned by wait4() is 1795.93
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 896.958
CPU time (s): 1800.02
CPU user time (s): 1798.43
CPU system time (s): 1.59
CPU usage (%): 200.681
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.95
system time used= 1.9807
maximum resident set size= 2921936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24815
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25886
involuntary context switches= 42198

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.26505 second user time and 6.64299 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 11:18:08
IDJOB=4103458
IDBENCH=2367
IDSOLVER=2543
FILE ID=node136/4103458-1466241488
RUNJOBID= node136-1466240588-22107
PBS_JOBID= 19918192
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-A1C1S1.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103458-1466241488/watcher-4103458-1466241488 -o /tmp/evaluation-result-4103458-1466241488/solver-4103458-1466241488 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466240588-22107 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4103458-1466241488.opb

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

MD5SUM BENCH= 1a4e4bfb1c77b43166d46bacbe01c892
RANDOM SEED=1831315611

node136.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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:        30193900 kB
Buffers:            3420 kB
Cached:            79116 kB
SwapCached:        47236 kB
Active:           233308 kB
Inactive:          85364 kB
Active(anon):     191712 kB
Inactive(anon):    47172 kB
Active(file):      41596 kB
Inactive(file):    38192 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67053956 kB
Dirty:              8276 kB
Writeback:             0 kB
AnonPages:       1845284 kB
Mapped:            16816 kB
Shmem:                 0 kB
Slab:             569688 kB
SReclaimable:      13576 kB
SUnreclaim:       556112 kB
KernelStack:        1600 kB
PageTables:         7876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2476004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    350208 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node136 at 2016-06-18 11:33:05