Trace number 4084642

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.79 1787.97

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K85.opb
MD5SUM1487741f4fc087d76a7a64081b5bebd6
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5780
Total number of constraints5952
Number of constraints which are clauses5867
Number of constraints which are cardinality constraints (but not clauses)85
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint85
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 86
Number of bits of the biggest sum of numbers7
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-4084642-1465283385.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  no objective function found
0.55/0.37	c ... done. Wall clock time 0.257s.
0.55/0.37	c declared #vars     5780
0.55/0.37	c #constraints  5952
0.55/0.37	c constraints type 
0.55/0.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4773
0.55/0.37	c org.sat4j.minisat.constraints.card.MinWatchCard => 85
0.55/0.37	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.55/0.37	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1092
0.55/0.37	c 5952 constraints processed.
1.78/1.12	c cleaning 2470 clauses out of 4993 with flag 26615/5000
2.91/1.89	c cleaning 4258 clauses out of 8517 with flag 65757/11000
3.82/2.73	c cleaning 5609 clauses out of 11252 with flag 113166/18000
4.83/3.73	c cleaning 6807 clauses out of 13640 with flag 170454/26000
5.96/4.86	c cleaning 7877 clauses out of 15833 with flag 234046/35000
7.25/6.11	c cleaning 8916 clauses out of 17954 with flag 300914/45000
8.55/7.50	c cleaning 9954 clauses out of 20036 with flag 365751/56000
10.15/9.06	c cleaning 10379 clauses out of 22085 with flag 444252/68003
12.05/10.94	c cleaning 11009 clauses out of 24700 with flag 550801/81000
13.96/12.89	c cleaning 12129 clauses out of 27690 with flag 655519/95000
16.06/14.97	c cleaning 13153 clauses out of 30561 with flag 766819/110000
18.35/17.22	c cleaning 13538 clauses out of 33405 with flag 865183/126000
20.85/19.74	c cleaning 14902 clauses out of 36867 with flag 971444/143000
23.55/22.47	c cleaning 15682 clauses out of 39965 with flag 1089067/161000
26.29/25.13	c cleaning 16491 clauses out of 43284 with flag 1207771/180001
29.29/28.18	c cleaning 17420 clauses out of 46792 with flag 1341628/200001
32.49/31.37	c cleaning 18252 clauses out of 50373 with flag 1473232/221002
35.89/34.78	c cleaning 19257 clauses out of 54120 with flag 1621711/243001
39.59/38.41	c cleaning 20166 clauses out of 57862 with flag 1779698/266000
43.39/42.25	c cleaning 21047 clauses out of 61702 with flag 1945287/290006
47.59/46.41	c cleaning 21976 clauses out of 65649 with flag 2113765/315001
52.10/50.95	c cleaning 22561 clauses out of 69675 with flag 2301176/341003
57.10/55.93	c cleaning 23733 clauses out of 74111 with flag 2496574/368000
62.15/60.91	c cleaning 24988 clauses out of 78377 with flag 2704180/396000
67.35/66.11	c cleaning 25726 clauses out of 82389 with flag 2905194/425000
73.05/71.84	c cleaning 26565 clauses out of 86665 with flag 3136006/455002
78.86/77.69	c cleaning 27638 clauses out of 91098 with flag 3365656/486000
85.16/83.95	c cleaning 28377 clauses out of 95460 with flag 3616103/518000
91.76/90.53	c cleaning 29493 clauses out of 100082 with flag 3865760/551000
98.48/97.29	c cleaning 30317 clauses out of 104589 with flag 4126392/585000
106.08/104.81	c cleaning 31366 clauses out of 109272 with flag 4394528/620000
113.48/112.23	c cleaning 32454 clauses out of 113906 with flag 4687685/656000
121.68/120.41	c cleaning 33033 clauses out of 118452 with flag 4997883/693000
129.96/128.66	c cleaning 34477 clauses out of 123424 with flag 5297956/731005
138.66/137.32	c cleaning 35248 clauses out of 127941 with flag 5615895/770000
147.76/146.45	c cleaning 36329 clauses out of 132694 with flag 5941685/810001
156.86/155.50	c cleaning 37267 clauses out of 137364 with flag 6278436/851000
166.96/165.67	c cleaning 38299 clauses out of 142098 with flag 6645622/893001
177.50/176.06	c cleaning 39437 clauses out of 146798 with flag 7034564/936000
188.39/186.90	c cleaning 40129 clauses out of 151364 with flag 7429875/980003
200.09/198.63	c cleaning 41178 clauses out of 156233 with flag 7815856/1025001
212.54/210.98	c cleaning 42266 clauses out of 161054 with flag 8259517/1071000
225.34/223.75	c cleaning 43474 clauses out of 165788 with flag 8720516/1118000
239.13/237.39	c cleaning 44356 clauses out of 170314 with flag 9226932/1166000
252.94/251.10	c cleaning 45230 clauses out of 174958 with flag 9681863/1215000
267.24/265.43	c cleaning 46319 clauses out of 179728 with flag 10155364/1265000
282.44/280.41	c cleaning 47488 clauses out of 184409 with flag 10639146/1316000
297.59/295.43	c cleaning 48510 clauses out of 188922 with flag 11147496/1368001
313.82/311.42	c cleaning 49659 clauses out of 193416 with flag 11673155/1421005
329.52/327.13	c cleaning 50543 clauses out of 197753 with flag 12230920/1475001
345.59/343.11	c cleaning 51750 clauses out of 202210 with flag 12809937/1530001
363.58/361.02	c cleaning 52598 clauses out of 206467 with flag 13379671/1586008
381.65/379.03	c cleaning 53648 clauses out of 210861 with flag 14050967/1643000
400.84/398.19	c cleaning 54770 clauses out of 215213 with flag 14729074/1701000
420.03/417.33	c cleaning 55368 clauses out of 219443 with flag 15357801/1760000
439.65/436.96	c cleaning 56549 clauses out of 224075 with flag 15978886/1820000
460.53/457.80	c cleaning 57612 clauses out of 228525 with flag 16704737/1881000
481.81/478.97	c cleaning 58799 clauses out of 232916 with flag 17462952/1943003
503.80/500.77	c cleaning 60048 clauses out of 237117 with flag 18250041/2006003
526.62/523.47	c cleaning 60867 clauses out of 241066 with flag 18970915/2070000
549.57/546.40	c cleaning 62033 clauses out of 245199 with flag 19671066/2135000
574.39/571.04	c cleaning 62775 clauses out of 249172 with flag 20463897/2201006
599.25/595.78	c cleaning 63905 clauses out of 253391 with flag 21264307/2268000
624.05/620.47	c cleaning 65061 clauses out of 257492 with flag 22074496/2336006
649.21/645.55	c cleaning 66081 clauses out of 261428 with flag 22861584/2405003
674.99/671.13	c cleaning 66952 clauses out of 265345 with flag 23688752/2475001
701.75/697.84	c cleaning 68279 clauses out of 269392 with flag 24523304/2546000
730.79/726.74	c cleaning 69325 clauses out of 273114 with flag 25537812/2618001
758.55/754.36	c cleaning 69951 clauses out of 276789 with flag 26460684/2691001
789.22/784.94	c cleaning 71228 clauses out of 280838 with flag 27509088/2765001
821.01/816.63	c cleaning 72226 clauses out of 284609 with flag 28517160/2840000
855.47/850.99	c cleaning 72980 clauses out of 288389 with flag 29692703/2916006
890.79/886.02	c cleaning 74393 clauses out of 292403 with flag 31137743/2993001
928.00/923.05	c cleaning 75545 clauses out of 296011 with flag 32656112/3071002
961.17/956.05	c cleaning 76855 clauses out of 299465 with flag 33774257/3150001
994.94/989.60	c cleaning 77259 clauses out of 302609 with flag 34872060/3230000
1030.42/1024.90	c cleaning 78709 clauses out of 306350 with flag 36073662/3311000
1066.03/1060.38	c cleaning 79345 clauses out of 309641 with flag 37144807/3393000
1103.36/1097.44	c cleaning 80454 clauses out of 313296 with flag 38278015/3476000
1142.05/1135.96	c cleaning 81594 clauses out of 316846 with flag 39427347/3560004
1180.68/1174.44	c cleaning 82396 clauses out of 320248 with flag 40618607/3645000
1220.96/1214.42	c cleaning 83932 clauses out of 323856 with flag 41948417/3731004
1270.42/1263.65	c cleaning 83815 clauses out of 326923 with flag 43850418/3818003
1315.10/1307.91	c cleaning 85954 clauses out of 331106 with flag 45248170/3906001
1358.59/1351.11	c cleaning 86727 clauses out of 334151 with flag 46527910/3995000
1407.35/1399.50	c cleaning 87348 clauses out of 337425 with flag 48108284/4085001
1453.48/1445.23	c cleaning 88872 clauses out of 341079 with flag 49737240/4176003
1499.03/1490.34	c cleaning 89780 clauses out of 344204 with flag 51131745/4268000
1545.39/1536.13	c cleaning 90893 clauses out of 347427 with flag 52613670/4361003
1591.81/1582.05	c cleaning 91880 clauses out of 350531 with flag 54185625/4455000
1643.84/1633.44	c cleaning 93342 clauses out of 353651 with flag 56089898/4550000
1694.54/1683.60	c cleaning 93742 clauses out of 356310 with flag 57460219/4646001
1744.42/1732.94	c cleaning 94814 clauses out of 359568 with flag 58890588/4743001
1798.18/1786.19	c cleaning 95566 clauses out of 362756 with flag 60432387/4841003
1800.03/1787.91	c starts		: 42101
1800.03/1787.91	c conflicts		: 4847123
1800.03/1787.91	c decisions		: 65036402
1800.03/1787.91	c propagations		: 1716525843
1800.03/1787.91	c inspects		: 19214384951
1800.03/1787.91	c shortcuts		: 0
1800.03/1787.91	c learnt literals	: 41
1800.03/1787.91	c learnt binary clauses	: 95691
1800.03/1787.91	c learnt ternary clauses	: 101982
1800.03/1787.91	c learnt constraints	: 4847082
1800.03/1787.91	c ignored constraints	: 0
1800.03/1787.91	c root simplifications	: 0
1800.03/1787.91	c removed literals (reason simplification)	: 0
1800.03/1787.91	c reason swapping (by a shorter reason)	: 0
1800.03/1787.91	c Calls to reduceDB	: 94
1800.03/1787.91	c Number of update (reduction) of LBD	: 4309037
1800.03/1787.91	c Imported unit clauses	: 0
1800.03/1787.91	c number of reductions to clauses (during analyze)	: 0
1800.03/1787.91	c number of learned constraints concerned by reduction	: 0
1800.03/1787.91	c number of learning phase by resolution	: 0
1800.03/1787.91	c number of learning phase by cutting planes	: 0
1800.03/1787.91	c speed (assignments/second)	: 960280.2101899496
1800.03/1787.91	c non guided choices	4862
1800.03/1787.91	c timeout
1800.03/1787.96	c learnt constraints type 
1800.03/1787.96	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 95691
1800.03/1787.96	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 177619
1800.03/1787.96	s UNKNOWN
1800.03/1787.96	c Total wall clock time (in seconds): 1787.847

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-4084642-1465283385/watcher-4084642-1465283385 -o /tmp/evaluation-result-4084642-1465283385/solver-4084642-1465283385 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1465253623-5697 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084642-1465283385.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.16 2.17 2.17 4/194 12316
/proc/meminfo: memFree=27609980/32872528 swapFree=13072/1184284
[pid=12316] ppid=12313 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/12316/stat : 12316 (java) D 12313 12316 5680 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 110273176 2560000 46 33554432000 1073741824 1073778376 140736245991984 140736245989112 271778409767 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/12316/statm: 625 46 37 9 0 29 0

[startup+0.100167 s]
/proc/loadavg: 2.16 2.17 2.17 4/194 12316
/proc/meminfo: memFree=27609980/32872528 swapFree=13072/1184284
[pid=12316] ppid=12313 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/12316/stat : 12316 (java) S 12313 12316 5680 0 -1 4202496 4401 0 1 0 8 1 0 0 20 0 18 0 110273176 9787879424 6034 33554432000 1073741824 1073778376 140736245991984 140736245983120 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12316/statm: 2389619 6034 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200229 s]
/proc/loadavg: 2.16 2.17 2.17 4/194 12316
/proc/meminfo: memFree=27609980/32872528 swapFree=13072/1184284
[pid=12316] ppid=12313 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/12316/stat : 12316 (java) S 12313 12316 5680 0 -1 4202496 4950 0 1 0 27 1 0 0 20 0 18 0 110273176 9787879424 6960 33554432000 1073741824 1073778376 140736245991984 140736245983120 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12316/statm: 2389619 6960 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300238 s]
/proc/loadavg: 2.16 2.17 2.17 4/194 12316
/proc/meminfo: memFree=27609980/32872528 swapFree=13072/1184284
[pid=12316] ppid=12313 vsize=9558476 CPUtime=0.55 cores=1,3,5,7
/proc/12316/stat : 12316 (java) S 12313 12316 5680 0 -1 4202496 7264 0 1 0 53 2 0 0 20 0 18 0 110273176 9787879424 9820 33554432000 1073741824 1073778376 140736245991984 140736245983120 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12316/statm: 2389619 9820 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476

[startup+0.700199 s]
/proc/loadavg: 2.16 2.17 2.17 4/194 12316
/proc/meminfo: memFree=27609980/32872528 swapFree=13072/1184284
[pid=12316] ppid=12313 vsize=9625040 CPUtime=1.35 cores=1,3,5,7
/proc/12316/stat : 12316 (java) S 12313 12316 5680 0 -1 4202496 9116 0 1 0 132 3 0 0 20 0 19 0 110273176 9856040960 16501 33554432000 1073741824 1073778376 140736245991984 140736245983120 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12316/statm: 2406260 16501 2260 9 0 2396937 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9625040

[startup+1.5009 s]
/proc/loadavg: 2.16 2.17 2.17 4/213 12335
/proc/meminfo: memFree=27550872/32872528 swapFree=13072/1184284
[pid=12316] ppid=12313 vsize=9625040 CPUtime=2.57 cores=1,3,5,7
/proc/12316/stat : 12316 (java) S 12313 12316 5680 0 -1 4202496 15709 0 1 0 253 4 0 0 20 0 19 0 110273176 9856040960 21579 33554432000 1073741824 1073778376 140736245991984 140736245983120 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12316/statm: 2406260 21579 2267 9 0 2396937 0
[pid=12316/tid=12318] ppid=12313 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/12316/task/12318/stat : 12318 (java) R 12313 12316 5680 0 -1 4202560 2439 0 1 0 145 1 0 0 20 0 19 0 110273177 9856040960 21581 33554432000 1073741824 1073778376 140736245991984 140208126452248 140207949768971 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12316/tid=12319] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12319/stat : 12319 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 21582 33554432000 1073741824 1073778376 140736245991984 140208087943720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12320] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12320/stat : 12320 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 21583 33554432000 1073741824 1073778376 140736245991984 140208086890920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12321] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12321/stat : 12321 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 21584 33554432000 1073741824 1073778376 140736245991984 140208085838120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12316/tid=12322] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12322/stat : 12322 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 21584 33554432000 1073741824 1073778376 140736245991984 140208084785320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12316/tid=12323] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12323/stat : 12323 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 21584 33554432000 1073741824 1073778376 140736245991984 140208083733544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12324] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12324/stat : 12324 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 21584 33554432000 1073741824 1073778376 140736245991984 140208082680744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12316/tid=12325] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12325/stat : 12325 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 21584 33554432000 1073741824 1073778376 140736245991984 140208081627944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12326] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12326/stat : 12326 (java) S 12313 12316 5680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 21584 33554432000 1073741824 1073778376 140736245991984 140208080575144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12327] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12327/stat : 12327 (java) S 12313 12316 5680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110273179 9856040960 21584 33554432000 1073741824 1073778376 140736245991984 140208068164072 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12328] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12328/stat : 12328 (java) S 12313 12316 5680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110273180 9856040960 21584 33554432000 1073741824 1073778376 140736245991984 140207949079800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12329] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12329/stat : 12329 (java) S 12313 12316 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110273180 9856040960 21585 33554432000 1073741824 1073778376 140736245991984 140207948026888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12330] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12330/stat : 12330 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273182 9856040960 21587 33554432000 1073741824 1073778376 140736245991984 140207946975376 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12331] ppid=12313 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/12316/task/12331/stat : 12331 (java) S 12313 12316 5680 0 -1 4202560 2372 0 0 0 29 0 0 0 20 0 19 0 110273182 9856040960 21588 33554432000 1073741824 1073778376 140736245991984 140207945923512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12332] ppid=12313 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/12316/task/12332/stat : 12332 (java) R 12313 12316 5680 0 -1 4202560 9637 0 0 0 76 3 0 0 20 0 19 0 110273182 9856040960 21590 33554432000 1073741824 1073778376 140736245991984 140207944870712 271787242179 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12333] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12333/stat : 12333 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273182 9856040960 21590 33554432000 1073741824 1073778376 140736245991984 140207943818104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12316/tid=12334] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12334/stat : 12334 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273182 9856040960 21593 33554432000 1073741824 1073778376 140736245991984 140207942765512 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12335] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12335/stat : 12335 (java) S 12313 12316 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110273214 9856040960 21593 33554432000 1073741824 1073778376 140736245991984 140207941711016 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 9625040

[startup+3.10081 s]
/proc/loadavg: 2.16 2.17 2.17 3/213 12335
/proc/meminfo: memFree=27529664/32872528 swapFree=13072/1184284
[pid=12316] ppid=12313 vsize=9625040 CPUtime=4.23 cores=1,3,5,7
/proc/12316/stat : 12316 (java) S 12313 12316 5680 0 -1 4202496 15810 0 1 0 419 4 0 0 20 0 19 0 110273176 9856040960 23212 33554432000 1073741824 1073778376 140736245991984 140736245983120 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12316/statm: 2406260 23212 2267 9 0 2396937 0
[pid=12316/tid=12318] ppid=12313 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/12316/task/12318/stat : 12318 (java) R 12313 12316 5680 0 -1 4202560 2443 0 1 0 305 1 0 0 20 0 19 0 110273177 9856040960 23212 33554432000 1073741824 1073778376 140736245991984 140208126452216 140207949864080 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12316/tid=12319] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12319/stat : 12319 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 23212 33554432000 1073741824 1073778376 140736245991984 140208087943720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12320] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12320/stat : 12320 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 23212 33554432000 1073741824 1073778376 140736245991984 140208086890920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12321] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12321/stat : 12321 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 23212 33554432000 1073741824 1073778376 140736245991984 140208085838120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12316/tid=12322] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12322/stat : 12322 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 23212 33554432000 1073741824 1073778376 140736245991984 140208084785320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12316/tid=12323] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12323/stat : 12323 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 23212 33554432000 1073741824 1073778376 140736245991984 140208083733544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12324] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12324/stat : 12324 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 23212 33554432000 1073741824 1073778376 140736245991984 140208082680744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12316/tid=12325] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12325/stat : 12325 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 23212 33554432000 1073741824 1073778376 140736245991984 140208081627944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12326] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12326/stat : 12326 (java) S 12313 12316 5680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 23212 33554432000 1073741824 1073778376 140736245991984 140208080575144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12327] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12327/stat : 12327 (java) S 12313 12316 5680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110273179 9856040960 23212 33554432000 1073741824 1073778376 140736245991984 140208068164072 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12328] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12328/stat : 12328 (java) S 12313 12316 5680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110273180 9856040960 23212 33554432000 1073741824 1073778376 140736245991984 140207949079800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12329] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12329/stat : 12329 (java) S 12313 12316 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110273180 9856040960 23212 33554432000 1073741824 1073778376 140736245991984 140207948026888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12330] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12330/stat : 12330 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273182 9856040960 23212 33554432000 1073741824 1073778376 140736245991984 140207946975376 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12331] ppid=12313 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/12316/task/12331/stat : 12331 (java) S 12313 12316 5680 0 -1 4202560 2372 0 0 0 31 0 0 0 20 0 19 0 110273182 9856040960 23212 33554432000 1073741824 1073778376 140736245991984 140207945923512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12332] ppid=12313 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/12316/task/12332/stat : 12332 (java) S 12313 12316 5680 0 -1 4202560 9723 0 0 0 79 3 0 0 20 0 19 0 110273182 9856040960 23212 33554432000 1073741824 1073778376 140736245991984 140207944870712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12333] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12333/stat : 12333 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273182 9856040960 23212 33554432000 1073741824 1073778376 140736245991984 140207943818104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12316/tid=12334] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12334/stat : 12334 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273182 9856040960 23212 33554432000 1073741824 1073778376 140736245991984 140207942765512 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12335] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12335/stat : 12335 (java) S 12313 12316 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110273214 9856040960 23212 33554432000 1073741824 1073778376 140736245991984 140207941711016 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 9625040

[startup+6.30087 s]
/proc/loadavg: 2.14 2.17 2.17 3/213 12335
/proc/meminfo: memFree=27523760/32872528 swapFree=13072/1184284
[pid=12316] ppid=12313 vsize=9625040 CPUtime=7.45 cores=1,3,5,7
/proc/12316/stat : 12316 (java) S 12313 12316 5680 0 -1 4202496 15820 0 1 0 740 5 0 0 20 0 19 0 110273176 9856040960 24530 33554432000 1073741824 1073778376 140736245991984 140736245983120 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12316/statm: 2406260 24530 2268 9 0 2396937 0
[pid=12316/tid=12318] ppid=12313 vsize=9625040 CPUtime=6.27 cores=1,3,5,7
/proc/12316/task/12318/stat : 12318 (java) R 12313 12316 5680 0 -1 4202560 2452 0 1 0 625 2 0 0 20 0 19 0 110273177 9856040960 24530 33554432000 1073741824 1073778376 140736245991984 140208126450344 140207949768352 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12316/tid=12319] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12319/stat : 12319 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 24530 33554432000 1073741824 1073778376 140736245991984 140208087943720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12320] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12320/stat : 12320 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 24530 33554432000 1073741824 1073778376 140736245991984 140208086890920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12321] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12321/stat : 12321 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 24530 33554432000 1073741824 1073778376 140736245991984 140208085838120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12316/tid=12322] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12322/stat : 12322 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 24530 33554432000 1073741824 1073778376 140736245991984 140208084785320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12316/tid=12323] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12323/stat : 12323 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 24530 33554432000 1073741824 1073778376 140736245991984 140208083733544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12324] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12324/stat : 12324 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 24530 33554432000 1073741824 1073778376 140736245991984 140208082680744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12316/tid=12325] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12325/stat : 12325 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 24530 33554432000 1073741824 1073778376 140736245991984 140208081627944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12326] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12326/stat : 12326 (java) S 12313 12316 5680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110273178 9856040960 24530 33554432000 1073741824 1073778376 140736245991984 140208080575144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12327] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12327/stat : 12327 (java) S 12313 12316 5680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110273179 9856040960 24530 33554432000 1073741824 1073778376 140736245991984 140208068164072 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12328] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12328/stat : 12328 (java) S 12313 12316 5680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110273180 9856040960 24530 33554432000 1073741824 1073778376 140736245991984 140207949079800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12329] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12329/stat : 12329 (java) S 12313 12316 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110273180 9856040960 24530 33554432000 1073741824 1073778376 140736245991984 140207948026888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12330] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12330/stat : 12330 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273182 9856040960 24530 33554432000 1073741824 1073778376 140736245991984 140207946975376 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12331] ppid=12313 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/12316/task/12331/stat : 12331 (java) S 12313 12316 5680 0 -1 4202560 2372 0 0 0 31 0 0 0 20 0 19 0 110273182 9856040960 24530 33554432000 1073741824 1073778376 140736245991984 140207945923512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12332] ppid=12313 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/12316/task/12332/stat : 12332 (java) S 12313 12316 5680 0 -1 4202560 9723 0 0 0 81 3 0 0 20 0 19 0 110273182 9856040960 24530 33554432000 1073741824 1073778376 140736245991984 140207944870712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12333] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12333/stat : 12333 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273182 9856040960 24530 33554432000 1073741824 1073778376 140736245991984 140207943818104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12316/tid=12334] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12334/stat : 12334 (java) S 12313 12316 5680 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110273182 9856040960 24530 33554432000 1073741824 1073778376 140736245991984 140207942765512 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12335] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12335/stat : 12335 (java) S 12313 12316 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110273214 9856040960 24530 33554432000 1073741824 1073778376 140736245991984 140207941711016 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 9625040


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

[pid=12316/tid=12328] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12328/stat : 12328 (java) S 12313 12316 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110273180 9856040960 66230 33554432000 1073741824 1073778376 140736245991984 140207949079800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12329] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12329/stat : 12329 (java) S 12313 12316 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110273180 9856040960 66230 33554432000 1073741824 1073778376 140736245991984 140207948026888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12330] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12330/stat : 12330 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273182 9856040960 66230 33554432000 1073741824 1073778376 140736245991984 140207946975376 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12331] ppid=12313 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/12316/task/12331/stat : 12331 (java) S 12313 12316 5680 0 -1 4202560 2440 0 0 0 34 0 0 0 20 0 19 0 110273182 9856040960 66230 33554432000 1073741824 1073778376 140736245991984 140207945923512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12332] ppid=12313 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/12316/task/12332/stat : 12332 (java) S 12313 12316 5680 0 -1 4202560 9723 0 0 0 81 3 0 0 20 0 19 0 110273182 9856040960 66230 33554432000 1073741824 1073778376 140736245991984 140207944870712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12333] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12333/stat : 12333 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273182 9856040960 66230 33554432000 1073741824 1073778376 140736245991984 140207943818104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12316/tid=12334] ppid=12313 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/12316/task/12334/stat : 12334 (java) S 12313 12316 5680 0 -1 4202560 100 0 0 0 29 36 0 0 20 0 19 0 110273182 9856040960 66230 33554432000 1073741824 1073778376 140736245991984 140207942765512 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12316/tid=12335] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12335/stat : 12335 (java) S 12313 12316 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110273214 9856040960 66230 33554432000 1073741824 1073778376 140736245991984 140207941711016 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1733.75
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.13 2.17 2.17 3/213 12445
/proc/meminfo: memFree=29825780/32872528 swapFree=13072/1184284
[pid=12316] ppid=12313 vsize=9625040 CPUtime=1794.37 cores=1,3,5,7
/proc/12316/stat : 12316 (java) S 12313 12316 5680 0 -1 4202496 23150 0 1 0 179295 142 0 0 20 0 19 0 110273176 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140736245983120 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12316/statm: 2406260 70729 2290 9 0 2396937 0
[pid=12316/tid=12318] ppid=12313 vsize=9625040 CPUtime=1774.16 cores=1,3,5,7
/proc/12316/task/12318/stat : 12318 (java) R 12313 12316 5680 0 -1 4202560 2683 0 1 0 177385 31 0 0 20 0 19 0 110273177 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208126450992 140207949354928 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12316/tid=12319] ppid=12313 vsize=9625040 CPUtime=1.92 cores=1,3,5,7
/proc/12316/task/12319/stat : 12319 (java) S 12313 12316 5680 0 -1 4202560 676 0 0 0 182 10 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208087943720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12316/tid=12320] ppid=12313 vsize=9625040 CPUtime=1.82 cores=1,3,5,7
/proc/12316/task/12320/stat : 12320 (java) S 12313 12316 5680 0 -1 4202560 712 0 0 0 167 15 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208086890920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12316/tid=12321] ppid=12313 vsize=9625040 CPUtime=1.87 cores=1,3,5,7
/proc/12316/task/12321/stat : 12321 (java) S 12313 12316 5680 0 -1 4202560 905 0 0 0 174 13 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208085838120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12322] ppid=12313 vsize=9625040 CPUtime=1.93 cores=1,3,5,7
/proc/12316/task/12322/stat : 12322 (java) S 12313 12316 5680 0 -1 4202560 649 0 0 0 180 13 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208084785320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12323] ppid=12313 vsize=9625040 CPUtime=1.89 cores=1,3,5,7
/proc/12316/task/12323/stat : 12323 (java) S 12313 12316 5680 0 -1 4202560 1102 0 0 0 176 13 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208083733544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12316/tid=12324] ppid=12313 vsize=9625040 CPUtime=1.83 cores=1,3,5,7
/proc/12316/task/12324/stat : 12324 (java) S 12313 12316 5680 0 -1 4202560 685 0 0 0 172 11 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208082680744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12325] ppid=12313 vsize=9625040 CPUtime=1.9 cores=1,3,5,7
/proc/12316/task/12325/stat : 12325 (java) S 12313 12316 5680 0 -1 4202560 754 0 0 0 179 11 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208081627944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12326] ppid=12313 vsize=9625040 CPUtime=1.89 cores=1,3,5,7
/proc/12316/task/12326/stat : 12326 (java) S 12313 12316 5680 0 -1 4202560 714 0 0 0 176 13 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208080575144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12327] ppid=12313 vsize=9625040 CPUtime=3.72 cores=1,3,5,7
/proc/12316/task/12327/stat : 12327 (java) S 12313 12316 5680 0 -1 4202560 745 0 0 0 367 5 0 0 20 0 19 0 110273179 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208068164072 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12328] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12328/stat : 12328 (java) S 12313 12316 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110273180 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207949079800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12329] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12329/stat : 12329 (java) S 12313 12316 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110273180 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207948026888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12330] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12330/stat : 12330 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273182 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207946975376 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12331] ppid=12313 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/12316/task/12331/stat : 12331 (java) S 12313 12316 5680 0 -1 4202560 2440 0 0 0 34 0 0 0 20 0 19 0 110273182 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207945923512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12332] ppid=12313 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/12316/task/12332/stat : 12332 (java) S 12313 12316 5680 0 -1 4202560 9723 0 0 0 81 3 0 0 20 0 19 0 110273182 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207944870712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12333] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12333/stat : 12333 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273182 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207943818104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12316/tid=12334] ppid=12313 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/12316/task/12334/stat : 12334 (java) S 12313 12316 5680 0 -1 4202560 104 0 0 0 30 37 0 0 20 0 19 0 110273182 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207942765512 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12335] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12335/stat : 12335 (java) S 12313 12316 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110273214 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207941711016 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.37
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787.9 s]
/proc/loadavg: 2.12 2.17 2.17 3/213 12446
/proc/meminfo: memFree=29825656/32872528 swapFree=13072/1184284
[pid=12316] ppid=12313 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/12316/stat : 12316 (java) S 12313 12316 5680 0 -1 4202496 23152 0 1 0 179860 143 0 0 20 0 19 0 110273176 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140736245983120 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12316/statm: 2406260 70729 2290 9 0 2396937 0
[pid=12316/tid=12318] ppid=12313 vsize=9625040 CPUtime=1779.73 cores=1,3,5,7
/proc/12316/task/12318/stat : 12318 (java) R 12313 12316 5680 0 -1 4202560 2685 0 1 0 177941 32 0 0 20 0 19 0 110273177 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208126450992 140207949768840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12316/tid=12319] ppid=12313 vsize=9625040 CPUtime=1.93 cores=1,3,5,7
/proc/12316/task/12319/stat : 12319 (java) S 12313 12316 5680 0 -1 4202560 676 0 0 0 183 10 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208087943720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12320] ppid=12313 vsize=9625040 CPUtime=1.83 cores=1,3,5,7
/proc/12316/task/12320/stat : 12320 (java) S 12313 12316 5680 0 -1 4202560 712 0 0 0 168 15 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208086890920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12316/tid=12321] ppid=12313 vsize=9625040 CPUtime=1.88 cores=1,3,5,7
/proc/12316/task/12321/stat : 12321 (java) S 12313 12316 5680 0 -1 4202560 905 0 0 0 175 13 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208085838120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12316/tid=12322] ppid=12313 vsize=9625040 CPUtime=1.95 cores=1,3,5,7
/proc/12316/task/12322/stat : 12322 (java) S 12313 12316 5680 0 -1 4202560 649 0 0 0 182 13 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208084785320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12323] ppid=12313 vsize=9625040 CPUtime=1.9 cores=1,3,5,7
/proc/12316/task/12323/stat : 12323 (java) S 12313 12316 5680 0 -1 4202560 1102 0 0 0 177 13 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208083733544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12324] ppid=12313 vsize=9625040 CPUtime=1.83 cores=1,3,5,7
/proc/12316/task/12324/stat : 12324 (java) S 12313 12316 5680 0 -1 4202560 685 0 0 0 172 11 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208082680744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12325] ppid=12313 vsize=9625040 CPUtime=1.91 cores=1,3,5,7
/proc/12316/task/12325/stat : 12325 (java) S 12313 12316 5680 0 -1 4202560 754 0 0 0 180 11 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208081627944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12316/tid=12326] ppid=12313 vsize=9625040 CPUtime=1.9 cores=1,3,5,7
/proc/12316/task/12326/stat : 12326 (java) S 12313 12316 5680 0 -1 4202560 714 0 0 0 177 13 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208080575144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12327] ppid=12313 vsize=9625040 CPUtime=3.72 cores=1,3,5,7
/proc/12316/task/12327/stat : 12327 (java) S 12313 12316 5680 0 -1 4202560 745 0 0 0 367 5 0 0 20 0 19 0 110273179 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208068164072 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12328] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12328/stat : 12328 (java) S 12313 12316 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110273180 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207949079800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12329] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12329/stat : 12329 (java) S 12313 12316 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110273180 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207948026888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12330] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12330/stat : 12330 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273182 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207946975376 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12331] ppid=12313 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/12316/task/12331/stat : 12331 (java) S 12313 12316 5680 0 -1 4202560 2440 0 0 0 34 0 0 0 20 0 19 0 110273182 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207945923512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12332] ppid=12313 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/12316/task/12332/stat : 12332 (java) S 12313 12316 5680 0 -1 4202560 9723 0 0 0 81 3 0 0 20 0 19 0 110273182 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207944870712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12333] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12333/stat : 12333 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273182 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207943818104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12316/tid=12334] ppid=12313 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/12316/task/12334/stat : 12334 (java) S 12313 12316 5680 0 -1 4202560 104 0 0 0 30 37 0 0 20 0 19 0 110273182 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207942765512 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12335] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12335/stat : 12335 (java) S 12313 12316 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110273214 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207941711016 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12316 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1787.9 s]
/proc/loadavg: 2.12 2.17 2.17 3/213 12446
/proc/meminfo: memFree=29825656/32872528 swapFree=13072/1184284
[pid=12316] ppid=12313 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/12316/stat : 12316 (java) S 12313 12316 5680 0 -1 4202496 23152 0 1 0 179860 143 0 0 20 0 19 0 110273176 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140736245983120 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12316/statm: 2406260 70729 2290 9 0 2396937 0
[pid=12316/tid=12318] ppid=12313 vsize=9625040 CPUtime=1779.73 cores=1,3,5,7
/proc/12316/task/12318/stat : 12318 (java) R 12313 12316 5680 0 -1 4202560 2685 0 1 0 177941 32 0 0 20 0 19 0 110273177 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208126450992 140207949768840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12316/tid=12319] ppid=12313 vsize=9625040 CPUtime=1.93 cores=1,3,5,7
/proc/12316/task/12319/stat : 12319 (java) S 12313 12316 5680 0 -1 4202560 676 0 0 0 183 10 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208087943720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12320] ppid=12313 vsize=9625040 CPUtime=1.83 cores=1,3,5,7
/proc/12316/task/12320/stat : 12320 (java) S 12313 12316 5680 0 -1 4202560 712 0 0 0 168 15 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208086890920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12316/tid=12321] ppid=12313 vsize=9625040 CPUtime=1.88 cores=1,3,5,7
/proc/12316/task/12321/stat : 12321 (java) S 12313 12316 5680 0 -1 4202560 905 0 0 0 175 13 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208085838120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12316/tid=12322] ppid=12313 vsize=9625040 CPUtime=1.95 cores=1,3,5,7
/proc/12316/task/12322/stat : 12322 (java) S 12313 12316 5680 0 -1 4202560 649 0 0 0 182 13 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208084785320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12323] ppid=12313 vsize=9625040 CPUtime=1.9 cores=1,3,5,7
/proc/12316/task/12323/stat : 12323 (java) S 12313 12316 5680 0 -1 4202560 1102 0 0 0 177 13 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208083733544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12324] ppid=12313 vsize=9625040 CPUtime=1.83 cores=1,3,5,7
/proc/12316/task/12324/stat : 12324 (java) S 12313 12316 5680 0 -1 4202560 685 0 0 0 172 11 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208082680744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12325] ppid=12313 vsize=9625040 CPUtime=1.91 cores=1,3,5,7
/proc/12316/task/12325/stat : 12325 (java) S 12313 12316 5680 0 -1 4202560 754 0 0 0 180 11 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208081627944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12316/tid=12326] ppid=12313 vsize=9625040 CPUtime=1.9 cores=1,3,5,7
/proc/12316/task/12326/stat : 12326 (java) S 12313 12316 5680 0 -1 4202560 714 0 0 0 177 13 0 0 20 0 19 0 110273178 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208080575144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12327] ppid=12313 vsize=9625040 CPUtime=3.72 cores=1,3,5,7
/proc/12316/task/12327/stat : 12327 (java) S 12313 12316 5680 0 -1 4202560 745 0 0 0 367 5 0 0 20 0 19 0 110273179 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140208068164072 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12328] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12328/stat : 12328 (java) S 12313 12316 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110273180 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207949079800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12329] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12329/stat : 12329 (java) S 12313 12316 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110273180 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207948026888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12330] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12330/stat : 12330 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273182 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207946975376 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12331] ppid=12313 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/12316/task/12331/stat : 12331 (java) S 12313 12316 5680 0 -1 4202560 2440 0 0 0 34 0 0 0 20 0 19 0 110273182 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207945923512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12332] ppid=12313 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/12316/task/12332/stat : 12332 (java) S 12313 12316 5680 0 -1 4202560 9723 0 0 0 81 3 0 0 20 0 19 0 110273182 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207944870712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12316/tid=12333] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12333/stat : 12333 (java) S 12313 12316 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110273182 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207943818104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12316/tid=12334] ppid=12313 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/12316/task/12334/stat : 12334 (java) S 12313 12316 5680 0 -1 4202560 104 0 0 0 30 37 0 0 20 0 19 0 110273182 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207942765512 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12316/tid=12335] ppid=12313 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12316/task/12335/stat : 12335 (java) S 12313 12316 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110273214 9856040960 70729 33554432000 1073741824 1073778376 140736245991984 140207941711016 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1787.97
CPU time (s): 1800.79
CPU user time (s): 1798.89
CPU system time (s): 1.89971
CPU usage (%): 100.717
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.89
system time used= 1.89971
maximum resident set size= 689692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23188
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43721
involuntary context switches= 35980

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2837 second user time and 8.92264 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-07 09:09:45
IDJOB=4084642
IDBENCH=90118
IDSOLVER=2546
FILE ID=node115/4084642-1465283385
RUNJOBID= node115-1465253623-5697
PBS_JOBID= 19843266
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K85.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084642-1465283385/watcher-4084642-1465283385 -o /tmp/evaluation-result-4084642-1465283385/solver-4084642-1465283385 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1465253623-5697 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4084642-1465283385.opb

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

MD5SUM BENCH= 1487741f4fc087d76a7a64081b5bebd6
RANDOM SEED=2072841333

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.174
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.57
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.174
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.174
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.57
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.174
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.57
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.174
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:        27610524 kB
Buffers:          109440 kB
Cached:           292484 kB
SwapCached:         2020 kB
Active:          3005656 kB
Inactive:         312696 kB
Active(anon):    2916796 kB
Inactive(anon):     2100 kB
Active(file):      88860 kB
Inactive(file):   310596 kB
Unevictable:     1184284 kB
Mlocked:           13072 kB
SwapTotal:      67108856 kB
SwapFree:       67098836 kB
Dirty:              1248 kB
Writeback:             0 kB
AnonPages:       4104088 kB
Mapped:            16364 kB
Shmem:                 0 kB
Slab:             616952 kB
SReclaimable:      60600 kB
SUnreclaim:       556352 kB
KernelStack:        1584 kB
PageTables:        12064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4450148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4057088 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= 71740 MiB
End job on node115 at 2016-06-07 09:39:33