Trace number 4084629

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.04 1789.58

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K102.opb
MD5SUM2946edf6ae8af40eb44098433ff3dcec
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark549.21
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6936
Total number of constraints7142
Number of constraints which are clauses7040
Number of constraints which are cardinality constraints (but not clauses)102
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint102
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 103
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.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4084629-1465282975.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
0.72/0.40	c ... done. Wall clock time 0.28s.
0.72/0.40	c declared #vars     6936
0.72/0.40	c #constraints  7142
0.72/0.40	c constraints type 
0.72/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5725
0.72/0.40	c org.sat4j.minisat.constraints.card.MinWatchCard => 102
0.72/0.40	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.72/0.40	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1313
0.72/0.40	c 7142 constraints processed.
1.89/1.26	c cleaning 2470 clauses out of 4989 with flag 23759/5000
2.82/2.07	c cleaning 4245 clauses out of 8520 with flag 60783/11005
3.73/2.92	c cleaning 5606 clauses out of 11268 with flag 108003/18000
4.84/4.09	c cleaning 6799 clauses out of 13658 with flag 163965/26000
6.05/5.24	c cleaning 7899 clauses out of 15854 with flag 218727/35001
7.35/6.55	c cleaning 8977 clauses out of 17954 with flag 276534/45001
8.85/8.02	c cleaning 9728 clauses out of 19974 with flag 336127/56000
10.56/9.73	c cleaning 10171 clauses out of 22245 with flag 402819/68000
12.35/11.53	c cleaning 11112 clauses out of 25074 with flag 474719/81000
14.35/13.51	c cleaning 11847 clauses out of 27960 with flag 556789/95000
16.66/15.80	c cleaning 12859 clauses out of 31112 with flag 644469/110001
19.06/18.24	c cleaning 13556 clauses out of 34250 with flag 739742/126000
21.66/20.82	c cleaning 14558 clauses out of 37695 with flag 836788/143001
24.60/23.75	c cleaning 15290 clauses out of 41137 with flag 945820/161001
27.60/26.70	c cleaning 16222 clauses out of 44845 with flag 1063250/180000
30.60/29.79	c cleaning 17088 clauses out of 48623 with flag 1183522/200000
33.90/33.06	c cleaning 17990 clauses out of 52535 with flag 1308064/221001
37.60/36.74	c cleaning 18718 clauses out of 56544 with flag 1442540/243001
41.61/40.74	c cleaning 19662 clauses out of 60825 with flag 1593712/266000
45.70/44.86	c cleaning 20776 clauses out of 65166 with flag 1742626/290003
50.20/49.37	c cleaning 21561 clauses out of 69387 with flag 1905316/315001
55.20/54.31	c cleaning 22626 clauses out of 73824 with flag 2079362/341000
60.16/59.28	c cleaning 23444 clauses out of 78198 with flag 2252567/368000
65.37/64.43	c cleaning 24017 clauses out of 82754 with flag 2441929/396000
70.87/69.96	c cleaning 25217 clauses out of 87737 with flag 2641130/425000
76.78/75.86	c cleaning 26154 clauses out of 92521 with flag 2845366/455001
82.58/81.63	c cleaning 27219 clauses out of 97366 with flag 3050335/486000
88.78/87.81	c cleaning 28008 clauses out of 102146 with flag 3268219/518000
95.25/94.25	c cleaning 29062 clauses out of 107139 with flag 3498970/551001
102.05/101.08	c cleaning 29873 clauses out of 112076 with flag 3736961/585000
109.25/108.25	c cleaning 30805 clauses out of 117202 with flag 3973954/620001
116.66/115.64	c cleaning 31675 clauses out of 122397 with flag 4220970/656001
124.75/123.73	c cleaning 32742 clauses out of 127720 with flag 4491564/693000
133.51/132.33	c cleaning 33794 clauses out of 132978 with flag 4776221/731000
142.41/141.21	c cleaning 34503 clauses out of 138184 with flag 5065527/770000
151.42/150.29	c cleaning 35585 clauses out of 143682 with flag 5358946/810001
161.32/160.11	c cleaning 36498 clauses out of 149097 with flag 5666585/851001
171.42/170.24	c cleaning 37251 clauses out of 154598 with flag 5982628/893000
182.40/181.05	c cleaning 38406 clauses out of 160350 with flag 6306087/936003
193.40/192.06	c cleaning 39402 clauses out of 165942 with flag 6638620/980001
205.30/203.90	c cleaning 40258 clauses out of 171539 with flag 6994518/1025000
217.31/215.93	c cleaning 41671 clauses out of 177281 with flag 7367376/1071000
230.40/228.87	c cleaning 42243 clauses out of 182611 with flag 7751591/1118001
243.61/242.08	c cleaning 43243 clauses out of 188368 with flag 8134027/1166001
257.41/255.89	c cleaning 44303 clauses out of 194124 with flag 8532063/1215000
271.95/270.17	c cleaning 45309 clauses out of 199821 with flag 8937630/1265000
286.35/284.58	c cleaning 46161 clauses out of 205512 with flag 9346925/1316000
302.34/300.22	c cleaning 47649 clauses out of 211354 with flag 9794449/1368003
318.96/316.87	c cleaning 48366 clauses out of 216702 with flag 10264921/1421000
335.18/332.85	c cleaning 49425 clauses out of 222339 with flag 10721760/1475003
351.84/349.48	c cleaning 50339 clauses out of 227911 with flag 11215731/1530000
369.50/367.02	c cleaning 51301 clauses out of 233573 with flag 11697052/1586001
387.82/385.27	c cleaning 52494 clauses out of 239271 with flag 12212905/1643000
406.12/403.58	c cleaning 53320 clauses out of 244777 with flag 12777531/1701000
425.49/422.80	c cleaning 54666 clauses out of 250458 with flag 13323483/1760001
445.66/443.00	c cleaning 55321 clauses out of 255792 with flag 13935112/1820001
466.36/463.56	c cleaning 56516 clauses out of 261472 with flag 14513427/1881002
487.89/485.05	c cleaning 57530 clauses out of 266954 with flag 15168759/1943000
509.77/506.88	c cleaning 58535 clauses out of 272424 with flag 15739047/2006000
532.15/529.14	c cleaning 59757 clauses out of 277890 with flag 16359928/2070001
554.98/551.85	c cleaning 60606 clauses out of 283132 with flag 16964280/2135000
580.05/576.86	c cleaning 61583 clauses out of 288527 with flag 17601527/2201001
605.46/602.12	c cleaning 62407 clauses out of 293943 with flag 18255863/2268000
632.01/628.53	c cleaning 63546 clauses out of 299537 with flag 19020346/2336001
657.41/653.87	c cleaning 64890 clauses out of 304991 with flag 19757199/2405001
683.92/680.27	c cleaning 65842 clauses out of 310100 with flag 20458413/2475000
711.65/707.85	c cleaning 67001 clauses out of 315260 with flag 21198872/2546002
741.30/737.34	c cleaning 67613 clauses out of 320257 with flag 21965256/2618000
770.29/766.21	c cleaning 68747 clauses out of 325644 with flag 22682826/2691000
800.04/795.83	c cleaning 70123 clauses out of 330897 with flag 23403764/2765000
830.84/826.58	c cleaning 70810 clauses out of 335774 with flag 24191189/2840000
863.51/859.00	c cleaning 72115 clauses out of 340971 with flag 25105460/2916007
896.55/891.98	c cleaning 72757 clauses out of 345850 with flag 25961683/2993001
930.42/925.62	c cleaning 73927 clauses out of 351092 with flag 26797594/3071000
965.09/960.13	c cleaning 75301 clauses out of 356166 with flag 27634903/3150001
1001.12/996.07	c cleaning 75850 clauses out of 360863 with flag 28535342/3230000
1037.66/1032.43	c cleaning 77007 clauses out of 366013 with flag 29501665/3311000
1073.30/1067.96	c cleaning 77941 clauses out of 371005 with flag 30341808/3393000
1109.81/1104.28	c cleaning 79116 clauses out of 376066 with flag 31301671/3476002
1147.24/1141.51	c cleaning 80031 clauses out of 380949 with flag 32152925/3560001
1186.89/1181.03	c cleaning 81194 clauses out of 385917 with flag 33075558/3645000
1227.38/1221.36	c cleaning 82054 clauses out of 390722 with flag 34041387/3731000
1270.20/1263.91	c cleaning 83104 clauses out of 395668 with flag 35089123/3818000
1312.01/1305.53	c cleaning 83992 clauses out of 400564 with flag 36011162/3906001
1356.60/1349.91	c cleaning 84959 clauses out of 405571 with flag 37059747/3995000
1401.51/1394.65	c cleaning 86371 clauses out of 410612 with flag 38014436/4085000
1447.11/1439.99	c cleaning 87103 clauses out of 415244 with flag 38979814/4176004
1493.75/1486.23	c cleaning 88246 clauses out of 420137 with flag 40028006/4268000
1541.50/1533.69	c cleaning 89194 clauses out of 424896 with flag 41195172/4361005
1591.20/1582.90	c cleaning 90282 clauses out of 429697 with flag 42343288/4455001
1641.19/1632.50	c cleaning 91103 clauses out of 434415 with flag 43498054/4550001
1692.96/1683.68	c cleaning 92473 clauses out of 439311 with flag 44624878/4646000
1744.47/1734.67	c cleaning 93840 clauses out of 443839 with flag 45893383/4743001
1798.71/1788.20	c cleaning 94293 clauses out of 447998 with flag 47067637/4841000
1800.04/1789.51	c starts		: 37238
1800.04/1789.51	c conflicts		: 4845342
1800.04/1789.51	c decisions		: 90970847
1800.04/1789.51	c propagations		: 1863649730
1800.04/1789.51	c inspects		: 18574828810
1800.04/1789.51	c shortcuts		: 0
1800.04/1789.51	c learnt literals	: 52
1800.04/1789.51	c learnt binary clauses	: 133875
1800.04/1789.51	c learnt ternary clauses	: 141138
1800.04/1789.51	c learnt constraints	: 4845290
1800.04/1789.51	c ignored constraints	: 0
1800.04/1789.51	c root simplifications	: 0
1800.04/1789.51	c removed literals (reason simplification)	: 0
1800.04/1789.51	c reason swapping (by a shorter reason)	: 0
1800.04/1789.51	c Calls to reduceDB	: 94
1800.04/1789.51	c Number of update (reduction) of LBD	: 3928978
1800.04/1789.51	c Imported unit clauses	: 0
1800.04/1789.51	c number of reductions to clauses (during analyze)	: 0
1800.04/1789.51	c number of learned constraints concerned by reduction	: 0
1800.04/1789.51	c number of learning phase by resolution	: 0
1800.04/1789.51	c number of learning phase by cutting planes	: 0
1800.04/1789.51	c speed (assignments/second)	: 1041666.5157531367
1800.04/1789.51	c non guided choices	7543
1800.04/1789.51	c timeout
1800.04/1789.57	c learnt constraints type 
1800.04/1789.57	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 133875
1800.04/1789.57	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 224172
1800.04/1789.57	s UNKNOWN
1800.04/1789.57	c Total wall clock time (in seconds): 1789.452

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-4084629-1465282975/watcher-4084629-1465282975 -o /tmp/evaluation-result-4084629-1465282975/solver-4084629-1465282975 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465255130-5982 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084629-1465282975.opb 

pid=13741
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.35 2.23 2.19 3/194 13744
/proc/meminfo: memFree=29703472/32872528 swapFree=16360/1798728
[pid=13744] ppid=13741 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/13744/stat : 13744 (java) R 13741 13744 5965 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 110230650 2560000 42 33554432000 1073741824 1073778376 140733278663120 140735434336600 260181163592 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13744/statm: 625 46 37 9 0 29 0

[startup+0.100061 s]
/proc/loadavg: 2.35 2.23 2.19 3/194 13744
/proc/meminfo: memFree=29703472/32872528 swapFree=16360/1798728
[pid=13744] ppid=13741 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/13744/stat : 13744 (java) S 13741 13744 5965 0 -1 4202496 4385 0 1 0 8 1 0 0 20 0 18 0 110230650 9787879424 6019 33554432000 1073741824 1073778376 140733278663120 140733278654256 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13744/statm: 2389619 6019 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200228 s]
/proc/loadavg: 2.35 2.23 2.19 3/194 13744
/proc/meminfo: memFree=29703472/32872528 swapFree=16360/1798728
[pid=13744] ppid=13741 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/13744/stat : 13744 (java) S 13741 13744 5965 0 -1 4202496 5027 0 1 0 26 1 0 0 20 0 18 0 110230650 9787879424 6935 33554432000 1073741824 1073778376 140733278663120 140733278654256 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13744/statm: 2389619 6935 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300231 s]
/proc/loadavg: 2.35 2.23 2.19 3/194 13744
/proc/meminfo: memFree=29703472/32872528 swapFree=16360/1798728
[pid=13744] ppid=13741 vsize=9558476 CPUtime=0.52 cores=1,3,5,7
/proc/13744/stat : 13744 (java) S 13741 13744 5965 0 -1 4202496 7463 0 1 0 51 1 0 0 20 0 18 0 110230650 9787879424 9855 33554432000 1073741824 1073778376 140733278663120 140733278654256 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13744/statm: 2389619 9855 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476

[startup+0.700188 s]
/proc/loadavg: 2.35 2.23 2.19 3/194 13744
/proc/meminfo: memFree=29703472/32872528 swapFree=16360/1798728
[pid=13744] ppid=13741 vsize=9625040 CPUtime=1.37 cores=1,3,5,7
/proc/13744/stat : 13744 (java) S 13741 13744 5965 0 -1 4202496 8413 0 1 0 135 2 0 0 20 0 19 0 110230650 9856040960 17062 33554432000 1073741824 1073778376 140733278663120 140733278654256 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13744/statm: 2406260 17062 2262 9 0 2396937 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 9625040

[startup+1.50082 s]
/proc/loadavg: 2.35 2.23 2.19 3/213 13763
/proc/meminfo: memFree=29641560/32872528 swapFree=16360/1798728
[pid=13744] ppid=13741 vsize=9625040 CPUtime=2.3 cores=1,3,5,7
/proc/13744/stat : 13744 (java) S 13741 13744 5965 0 -1 4202496 10019 0 1 0 228 2 0 0 20 0 19 0 110230650 9856040960 18584 33554432000 1073741824 1073778376 140733278663120 140733278654256 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13744/statm: 2406260 18584 2268 9 0 2396937 0
[pid=13744/tid=13746] ppid=13741 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/13744/task/13746/stat : 13746 (java) R 13741 13744 5965 0 -1 4202560 2422 0 1 0 144 1 0 0 20 0 19 0 110230651 9856040960 18584 33554432000 1073741824 1073778376 140733278663120 140311431974608 140311297362951 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13744/tid=13747] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13747/stat : 13747 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 18584 33554432000 1073741824 1073778376 140733278663120 140311421045800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13748] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13748/stat : 13748 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 18584 33554432000 1073741824 1073778376 140733278663120 140311419993000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13749] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13749/stat : 13749 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 18584 33554432000 1073741824 1073778376 140733278663120 140311418940200 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13744/tid=13750] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13750/stat : 13750 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 18584 33554432000 1073741824 1073778376 140733278663120 140311417887400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13744/tid=13751] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13751/stat : 13751 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 18584 33554432000 1073741824 1073778376 140733278663120 140311416834600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13752] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13752/stat : 13752 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 18584 33554432000 1073741824 1073778376 140733278663120 140311415781800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13744/tid=13753] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13753/stat : 13753 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 18584 33554432000 1073741824 1073778376 140733278663120 140311269161256 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13754] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13754/stat : 13754 (java) S 13741 13744 5965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 18584 33554432000 1073741824 1073778376 140733278663120 140311268108456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13755] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13755/stat : 13755 (java) S 13741 13744 5965 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110230653 9856040960 18584 33554432000 1073741824 1073778376 140733278663120 140311255911400 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13756] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13756/stat : 13756 (java) S 13741 13744 5965 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110230653 9856040960 18584 33554432000 1073741824 1073778376 140733278663120 140311254857464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13757] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13757/stat : 13757 (java) S 13741 13744 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110230653 9856040960 18584 33554432000 1073741824 1073778376 140733278663120 140311253804552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13758] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13758/stat : 13758 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230656 9856040960 18584 33554432000 1073741824 1073778376 140733278663120 140311252753040 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13759] ppid=13741 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/13744/task/13759/stat : 13759 (java) S 13741 13744 5965 0 -1 4202560 3543 0 0 0 40 0 0 0 20 0 19 0 110230656 9856040960 18584 33554432000 1073741824 1073778376 140733278663120 140311251700152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13760] ppid=13741 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/13744/task/13760/stat : 13760 (java) S 13741 13744 5965 0 -1 4202560 2783 0 0 0 40 0 0 0 20 0 19 0 110230656 9856040960 18584 33554432000 1073741824 1073778376 140733278663120 140311250647352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13744/tid=13761] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13761/stat : 13761 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230656 9856040960 18584 33554432000 1073741824 1073778376 140733278663120 140311249594744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13744/tid=13762] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13762/stat : 13762 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230656 9856040960 18584 33554432000 1073741824 1073778376 140733278663120 140311248542152 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13763] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13763/stat : 13763 (java) S 13741 13744 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110230691 9856040960 18584 33554432000 1073741824 1073778376 140733278663120 140311247488680 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 9625040

[startup+3.10088 s]
/proc/loadavg: 2.35 2.23 2.19 4/213 13763
/proc/meminfo: memFree=29635464/32872528 swapFree=16360/1798728
[pid=13744] ppid=13741 vsize=9625040 CPUtime=3.94 cores=1,3,5,7
/proc/13744/stat : 13744 (java) S 13741 13744 5965 0 -1 4202496 10024 0 1 0 392 2 0 0 20 0 19 0 110230650 9856040960 20120 33554432000 1073741824 1073778376 140733278663120 140733278654256 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13744/statm: 2406260 20120 2268 9 0 2396937 0
[pid=13744/tid=13746] ppid=13741 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/13744/task/13746/stat : 13746 (java) R 13741 13744 5965 0 -1 4202560 2427 0 1 0 304 1 0 0 20 0 19 0 110230651 9856040960 20120 33554432000 1073741824 1073778376 140733278663120 140311431981608 140311297449460 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13744/tid=13747] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13747/stat : 13747 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 20120 33554432000 1073741824 1073778376 140733278663120 140311421045800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13748] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13748/stat : 13748 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 20120 33554432000 1073741824 1073778376 140733278663120 140311419993000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13749] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13749/stat : 13749 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 20120 33554432000 1073741824 1073778376 140733278663120 140311418940200 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13744/tid=13750] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13750/stat : 13750 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 20120 33554432000 1073741824 1073778376 140733278663120 140311417887400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13744/tid=13751] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13751/stat : 13751 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 20120 33554432000 1073741824 1073778376 140733278663120 140311416834600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13752] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13752/stat : 13752 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 20120 33554432000 1073741824 1073778376 140733278663120 140311415781800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13744/tid=13753] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13753/stat : 13753 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 20120 33554432000 1073741824 1073778376 140733278663120 140311269161256 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13754] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13754/stat : 13754 (java) S 13741 13744 5965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 20120 33554432000 1073741824 1073778376 140733278663120 140311268108456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13755] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13755/stat : 13755 (java) S 13741 13744 5965 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110230653 9856040960 20120 33554432000 1073741824 1073778376 140733278663120 140311255911400 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13756] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13756/stat : 13756 (java) S 13741 13744 5965 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110230653 9856040960 20120 33554432000 1073741824 1073778376 140733278663120 140311254857464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13757] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13757/stat : 13757 (java) S 13741 13744 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110230653 9856040960 20120 33554432000 1073741824 1073778376 140733278663120 140311253804552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13758] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13758/stat : 13758 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230656 9856040960 20120 33554432000 1073741824 1073778376 140733278663120 140311252753040 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13759] ppid=13741 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/13744/task/13759/stat : 13759 (java) S 13741 13744 5965 0 -1 4202560 3543 0 0 0 42 0 0 0 20 0 19 0 110230656 9856040960 20120 33554432000 1073741824 1073778376 140733278663120 140311251700152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13760] ppid=13741 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/13744/task/13760/stat : 13760 (java) S 13741 13744 5965 0 -1 4202560 2783 0 0 0 42 0 0 0 20 0 19 0 110230656 9856040960 20120 33554432000 1073741824 1073778376 140733278663120 140311250647352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13744/tid=13761] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13761/stat : 13761 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230656 9856040960 20120 33554432000 1073741824 1073778376 140733278663120 140311249594744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13744/tid=13762] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13762/stat : 13762 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230656 9856040960 20120 33554432000 1073741824 1073778376 140733278663120 140311248542152 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13763] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13763/stat : 13763 (java) S 13741 13744 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110230691 9856040960 20120 33554432000 1073741824 1073778376 140733278663120 140311247488680 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 9625040

[startup+6.30085 s]
/proc/loadavg: 2.32 2.23 2.19 3/213 13763
/proc/meminfo: memFree=29621332/32872528 swapFree=16360/1798728
[pid=13744] ppid=13741 vsize=9625040 CPUtime=7.15 cores=1,3,5,7
/proc/13744/stat : 13744 (java) S 13741 13744 5965 0 -1 4202496 10034 0 1 0 713 2 0 0 20 0 19 0 110230650 9856040960 23058 33554432000 1073741824 1073778376 140733278663120 140733278654256 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13744/statm: 2406260 23058 2269 9 0 2396937 0
[pid=13744/tid=13746] ppid=13741 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/13744/task/13746/stat : 13746 (java) R 13741 13744 5965 0 -1 4202560 2436 0 1 0 623 1 0 0 20 0 19 0 110230651 9856040960 23058 33554432000 1073741824 1073778376 140733278663120 140311431974592 140311297388829 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13744/tid=13747] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13747/stat : 13747 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 23058 33554432000 1073741824 1073778376 140733278663120 140311421045800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13748] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13748/stat : 13748 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 23058 33554432000 1073741824 1073778376 140733278663120 140311419993000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13749] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13749/stat : 13749 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 23058 33554432000 1073741824 1073778376 140733278663120 140311418940200 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13744/tid=13750] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13750/stat : 13750 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 23058 33554432000 1073741824 1073778376 140733278663120 140311417887400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13744/tid=13751] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13751/stat : 13751 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 23058 33554432000 1073741824 1073778376 140733278663120 140311416834600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13752] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13752/stat : 13752 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 23058 33554432000 1073741824 1073778376 140733278663120 140311415781800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13744/tid=13753] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13753/stat : 13753 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 23058 33554432000 1073741824 1073778376 140733278663120 140311269161256 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13754] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13754/stat : 13754 (java) S 13741 13744 5965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110230652 9856040960 23058 33554432000 1073741824 1073778376 140733278663120 140311268108456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13755] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13755/stat : 13755 (java) S 13741 13744 5965 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110230653 9856040960 23058 33554432000 1073741824 1073778376 140733278663120 140311255911400 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13756] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13756/stat : 13756 (java) S 13741 13744 5965 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110230653 9856040960 23058 33554432000 1073741824 1073778376 140733278663120 140311254857464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13757] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13757/stat : 13757 (java) S 13741 13744 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110230653 9856040960 23058 33554432000 1073741824 1073778376 140733278663120 140311253804552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13758] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13758/stat : 13758 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230656 9856040960 23058 33554432000 1073741824 1073778376 140733278663120 140311252753040 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13759] ppid=13741 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/13744/task/13759/stat : 13759 (java) S 13741 13744 5965 0 -1 4202560 3543 0 0 0 43 0 0 0 20 0 19 0 110230656 9856040960 23058 33554432000 1073741824 1073778376 140733278663120 140311251700152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13760] ppid=13741 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/13744/task/13760/stat : 13760 (java) S 13741 13744 5965 0 -1 4202560 2783 0 0 0 43 0 0 0 20 0 19 0 110230656 9856040960 23058 33554432000 1073741824 1073778376 140733278663120 140311250647352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13744/tid=13761] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13761/stat : 13761 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230656 9856040960 23058 33554432000 1073741824 1073778376 140733278663120 140311249594744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13744/tid=13762] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13762/stat : 13762 (java) S 13741 13744 5965 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110230656 9856040960 23058 33554432000 1073741824 1073778376 140733278663120 140311248542152 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13763] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13763/stat : 13763 (java) S 13741 13744 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110230691 9856040960 23058 33554432000 1073741824 1073778376 140733278663120 140311247488680 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.15
Current children cumulated vsize (KiB) 9625040


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

[pid=13744/tid=13763] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13763/stat : 13763 (java) S 13741 13744 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110230691 9856040960 68368 33554432000 1073741824 1073778376 140733278663120 140311247488680 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1732.13
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.28 2.32 2.25 3/213 13872
/proc/meminfo: memFree=29562228/32872528 swapFree=16360/1798728
[pid=13744] ppid=13741 vsize=9625040 CPUtime=1792.74 cores=1,3,5,7
/proc/13744/stat : 13744 (java) S 13741 13744 5965 0 -1 4202496 16150 0 1 0 179140 134 0 0 20 0 19 0 110230650 9856040960 59904 33554432000 1073741824 1073778376 140733278663120 140733278654256 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13744/statm: 2406260 59904 2291 9 0 2396937 0
[pid=13744/tid=13746] ppid=13741 vsize=9625040 CPUtime=1770.39 cores=1,3,5,7
/proc/13744/task/13746/stat : 13746 (java) R 13741 13744 5965 0 -1 4202560 2641 0 1 0 177009 30 0 0 20 0 19 0 110230651 9856040960 59904 33554432000 1073741824 1073778376 140733278663120 140311431982400 140311297472160 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13747] ppid=13741 vsize=9625040 CPUtime=1.51 cores=1,3,5,7
/proc/13744/task/13747/stat : 13747 (java) S 13741 13744 5965 0 -1 4202560 800 0 0 0 141 10 0 0 20 0 19 0 110230652 9856040960 59904 33554432000 1073741824 1073778376 140733278663120 140311421045800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13744/tid=13748] ppid=13741 vsize=9625040 CPUtime=1.62 cores=1,3,5,7
/proc/13744/task/13748/stat : 13748 (java) S 13741 13744 5965 0 -1 4202560 627 0 0 0 153 9 0 0 20 0 19 0 110230652 9856040960 59904 33554432000 1073741824 1073778376 140733278663120 140311419993000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13744/tid=13749] ppid=13741 vsize=9625040 CPUtime=1.64 cores=1,3,5,7
/proc/13744/task/13749/stat : 13749 (java) S 13741 13744 5965 0 -1 4202560 529 0 0 0 154 10 0 0 20 0 19 0 110230652 9856040960 59904 33554432000 1073741824 1073778376 140733278663120 140311418940200 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13750] ppid=13741 vsize=9625040 CPUtime=1.65 cores=1,3,5,7
/proc/13744/task/13750/stat : 13750 (java) S 13741 13744 5965 0 -1 4202560 401 0 0 0 155 10 0 0 20 0 19 0 110230652 9856040960 59904 33554432000 1073741824 1073778376 140733278663120 140311417887400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13751] ppid=13741 vsize=9625040 CPUtime=1.68 cores=1,3,5,7
/proc/13744/task/13751/stat : 13751 (java) S 13741 13744 5965 0 -1 4202560 937 0 0 0 157 11 0 0 20 0 19 0 110230652 9856040960 59904 33554432000 1073741824 1073778376 140733278663120 140311416834600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13744/tid=13752] ppid=13741 vsize=9625040 CPUtime=1.6 cores=1,3,5,7
/proc/13744/task/13752/stat : 13752 (java) S 13741 13744 5965 0 -1 4202560 782 0 0 0 148 12 0 0 20 0 19 0 110230652 9856040960 59904 33554432000 1073741824 1073778376 140733278663120 140311415781800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13744/tid=13753] ppid=13741 vsize=9625040 CPUtime=1.74 cores=1,3,5,7
/proc/13744/task/13753/stat : 13753 (java) S 13741 13744 5965 0 -1 4202560 548 0 0 0 162 12 0 0 20 0 19 0 110230652 9856040960 59904 33554432000 1073741824 1073778376 140733278663120 140311269161256 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13754] ppid=13741 vsize=9625040 CPUtime=1.53 cores=1,3,5,7
/proc/13744/task/13754/stat : 13754 (java) S 13741 13744 5965 0 -1 4202560 524 0 0 0 144 9 0 0 20 0 19 0 110230652 9856040960 59904 33554432000 1073741824 1073778376 140733278663120 140311268108456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13755] ppid=13741 vsize=9625040 CPUtime=3.39 cores=1,3,5,7
/proc/13744/task/13755/stat : 13755 (java) S 13741 13744 5965 0 -1 4202560 644 0 0 0 334 5 0 0 20 0 19 0 110230653 9856040960 59904 33554432000 1073741824 1073778376 140733278663120 140311255911400 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13756] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13756/stat : 13756 (java) S 13741 13744 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110230653 9856040960 59904 33554432000 1073741824 1073778376 140733278663120 140311254857464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13757] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13757/stat : 13757 (java) S 13741 13744 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110230653 9856040960 59904 33554432000 1073741824 1073778376 140733278663120 140311253804552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13758] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13758/stat : 13758 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230656 9856040960 59904 33554432000 1073741824 1073778376 140733278663120 140311252753040 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13759] ppid=13741 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/13744/task/13759/stat : 13759 (java) S 13741 13744 5965 0 -1 4202560 3543 0 0 0 43 0 0 0 20 0 19 0 110230656 9856040960 59904 33554432000 1073741824 1073778376 140733278663120 140311251700152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13760] ppid=13741 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/13744/task/13760/stat : 13760 (java) S 13741 13744 5965 0 -1 4202560 2813 0 0 0 46 0 0 0 20 0 19 0 110230656 9856040960 59904 33554432000 1073741824 1073778376 140733278663120 140311250647352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13761] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13761/stat : 13761 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230656 9856040960 59904 33554432000 1073741824 1073778376 140733278663120 140311249594744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13744/tid=13762] ppid=13741 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/13744/task/13762/stat : 13762 (java) S 13741 13744 5965 0 -1 4202560 104 0 0 0 29 43 0 0 20 0 19 0 110230656 9856040960 59904 33554432000 1073741824 1073778376 140733278663120 140311248542152 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13763] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13763/stat : 13763 (java) S 13741 13744 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110230691 9856040960 59904 33554432000 1073741824 1073778376 140733278663120 140311247488680 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1792.74
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789.5 s]
/proc/loadavg: 2.26 2.32 2.25 3/213 13872
/proc/meminfo: memFree=29555960/32872528 swapFree=16360/1798728
[pid=13744] ppid=13741 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/13744/stat : 13744 (java) S 13741 13744 5965 0 -1 4202496 16162 0 1 0 179869 135 0 0 20 0 19 0 110230650 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140733278654256 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13744/statm: 2406260 61439 2291 9 0 2396937 0
[pid=13744/tid=13746] ppid=13741 vsize=9625040 CPUtime=1777.51 cores=1,3,5,7
/proc/13744/task/13746/stat : 13746 (java) R 13741 13744 5965 0 -1 4202560 2645 0 1 0 177720 31 0 0 20 0 19 0 110230651 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311431982384 140311297449045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13747] ppid=13741 vsize=9625040 CPUtime=1.52 cores=1,3,5,7
/proc/13744/task/13747/stat : 13747 (java) S 13741 13744 5965 0 -1 4202560 800 0 0 0 142 10 0 0 20 0 19 0 110230652 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311421045800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13744/tid=13748] ppid=13741 vsize=9625040 CPUtime=1.64 cores=1,3,5,7
/proc/13744/task/13748/stat : 13748 (java) S 13741 13744 5965 0 -1 4202560 628 0 0 0 155 9 0 0 20 0 19 0 110230652 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311419993000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13749] ppid=13741 vsize=9625040 CPUtime=1.66 cores=1,3,5,7
/proc/13744/task/13749/stat : 13749 (java) S 13741 13744 5965 0 -1 4202560 531 0 0 0 155 11 0 0 20 0 19 0 110230652 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311418940200 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13750] ppid=13741 vsize=9625040 CPUtime=1.67 cores=1,3,5,7
/proc/13744/task/13750/stat : 13750 (java) S 13741 13744 5965 0 -1 4202560 402 0 0 0 157 10 0 0 20 0 19 0 110230652 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311417887400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13751] ppid=13741 vsize=9625040 CPUtime=1.7 cores=1,3,5,7
/proc/13744/task/13751/stat : 13751 (java) S 13741 13744 5965 0 -1 4202560 938 0 0 0 159 11 0 0 20 0 19 0 110230652 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311416834600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13744/tid=13752] ppid=13741 vsize=9625040 CPUtime=1.62 cores=1,3,5,7
/proc/13744/task/13752/stat : 13752 (java) S 13741 13744 5965 0 -1 4202560 782 0 0 0 150 12 0 0 20 0 19 0 110230652 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311415781800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13753] ppid=13741 vsize=9625040 CPUtime=1.76 cores=1,3,5,7
/proc/13744/task/13753/stat : 13753 (java) S 13741 13744 5965 0 -1 4202560 550 0 0 0 164 12 0 0 20 0 19 0 110230652 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311269161256 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13744/tid=13754] ppid=13741 vsize=9625040 CPUtime=1.54 cores=1,3,5,7
/proc/13744/task/13754/stat : 13754 (java) S 13741 13744 5965 0 -1 4202560 525 0 0 0 145 9 0 0 20 0 19 0 110230652 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311268108456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13755] ppid=13741 vsize=9625040 CPUtime=3.4 cores=1,3,5,7
/proc/13744/task/13755/stat : 13755 (java) S 13741 13744 5965 0 -1 4202560 644 0 0 0 335 5 0 0 20 0 19 0 110230653 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311255911400 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13756] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13756/stat : 13756 (java) S 13741 13744 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110230653 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311254857464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13757] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13757/stat : 13757 (java) S 13741 13744 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110230653 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311253804552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13758] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13758/stat : 13758 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230656 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311252753040 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13759] ppid=13741 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/13744/task/13759/stat : 13759 (java) S 13741 13744 5965 0 -1 4202560 3543 0 0 0 43 0 0 0 20 0 19 0 110230656 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311251700152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13760] ppid=13741 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/13744/task/13760/stat : 13760 (java) S 13741 13744 5965 0 -1 4202560 2813 0 0 0 46 0 0 0 20 0 19 0 110230656 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311250647352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13761] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13761/stat : 13761 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230656 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311249594744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13744/tid=13762] ppid=13741 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/13744/task/13762/stat : 13762 (java) S 13741 13744 5965 0 -1 4202560 104 0 0 0 29 43 0 0 20 0 19 0 110230656 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311248542152 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13763] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13763/stat : 13763 (java) S 13741 13744 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110230691 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311247488680 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 13744 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1789.5 s]
/proc/loadavg: 2.26 2.32 2.25 3/213 13872
/proc/meminfo: memFree=29555960/32872528 swapFree=16360/1798728
[pid=13744] ppid=13741 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/13744/stat : 13744 (java) S 13741 13744 5965 0 -1 4202496 16162 0 1 0 179869 135 0 0 20 0 19 0 110230650 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140733278654256 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13744/statm: 2406260 61439 2291 9 0 2396937 0
[pid=13744/tid=13746] ppid=13741 vsize=9625040 CPUtime=1777.51 cores=1,3,5,7
/proc/13744/task/13746/stat : 13746 (java) R 13741 13744 5965 0 -1 4202560 2645 0 1 0 177720 31 0 0 20 0 19 0 110230651 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311431982384 140311297449045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13747] ppid=13741 vsize=9625040 CPUtime=1.52 cores=1,3,5,7
/proc/13744/task/13747/stat : 13747 (java) S 13741 13744 5965 0 -1 4202560 800 0 0 0 142 10 0 0 20 0 19 0 110230652 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311421045800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13744/tid=13748] ppid=13741 vsize=9625040 CPUtime=1.64 cores=1,3,5,7
/proc/13744/task/13748/stat : 13748 (java) S 13741 13744 5965 0 -1 4202560 628 0 0 0 155 9 0 0 20 0 19 0 110230652 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311419993000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13749] ppid=13741 vsize=9625040 CPUtime=1.66 cores=1,3,5,7
/proc/13744/task/13749/stat : 13749 (java) S 13741 13744 5965 0 -1 4202560 531 0 0 0 155 11 0 0 20 0 19 0 110230652 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311418940200 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13750] ppid=13741 vsize=9625040 CPUtime=1.67 cores=1,3,5,7
/proc/13744/task/13750/stat : 13750 (java) S 13741 13744 5965 0 -1 4202560 402 0 0 0 157 10 0 0 20 0 19 0 110230652 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311417887400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13751] ppid=13741 vsize=9625040 CPUtime=1.7 cores=1,3,5,7
/proc/13744/task/13751/stat : 13751 (java) S 13741 13744 5965 0 -1 4202560 938 0 0 0 159 11 0 0 20 0 19 0 110230652 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311416834600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13744/tid=13752] ppid=13741 vsize=9625040 CPUtime=1.62 cores=1,3,5,7
/proc/13744/task/13752/stat : 13752 (java) S 13741 13744 5965 0 -1 4202560 782 0 0 0 150 12 0 0 20 0 19 0 110230652 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311415781800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13753] ppid=13741 vsize=9625040 CPUtime=1.76 cores=1,3,5,7
/proc/13744/task/13753/stat : 13753 (java) S 13741 13744 5965 0 -1 4202560 550 0 0 0 164 12 0 0 20 0 19 0 110230652 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311269161256 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13744/tid=13754] ppid=13741 vsize=9625040 CPUtime=1.54 cores=1,3,5,7
/proc/13744/task/13754/stat : 13754 (java) S 13741 13744 5965 0 -1 4202560 525 0 0 0 145 9 0 0 20 0 19 0 110230652 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311268108456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13755] ppid=13741 vsize=9625040 CPUtime=3.4 cores=1,3,5,7
/proc/13744/task/13755/stat : 13755 (java) S 13741 13744 5965 0 -1 4202560 644 0 0 0 335 5 0 0 20 0 19 0 110230653 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311255911400 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13756] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13756/stat : 13756 (java) S 13741 13744 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110230653 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311254857464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13757] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13757/stat : 13757 (java) S 13741 13744 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110230653 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311253804552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13758] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13758/stat : 13758 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230656 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311252753040 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13759] ppid=13741 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/13744/task/13759/stat : 13759 (java) S 13741 13744 5965 0 -1 4202560 3543 0 0 0 43 0 0 0 20 0 19 0 110230656 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311251700152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13744/tid=13760] ppid=13741 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/13744/task/13760/stat : 13760 (java) S 13741 13744 5965 0 -1 4202560 2813 0 0 0 46 0 0 0 20 0 19 0 110230656 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311250647352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13761] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13761/stat : 13761 (java) S 13741 13744 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110230656 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311249594744 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13744/tid=13762] ppid=13741 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/13744/task/13762/stat : 13762 (java) S 13741 13744 5965 0 -1 4202560 104 0 0 0 29 43 0 0 20 0 19 0 110230656 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311248542152 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13744/tid=13763] ppid=13741 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13744/task/13763/stat : 13763 (java) S 13741 13744 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110230691 9856040960 61439 33554432000 1073741824 1073778376 140733278663120 140311247488680 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1789.58
CPU time (s): 1800.04
CPU user time (s): 1798.69
CPU system time (s): 1.35
CPU usage (%): 100.585
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.25
system time used= 1.77073
maximum resident set size= 773832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16199
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42994
involuntary context switches= 31113

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4003 second user time and 12.5651 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-07 09:02:55
IDJOB=4084629
IDBENCH=90112
IDSOLVER=2546
FILE ID=node123/4084629-1465282975
RUNJOBID= node123-1465255130-5982
PBS_JOBID= 19843274
Free space on /tmp= 71712 MiB

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

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

MD5SUM BENCH= 2946edf6ae8af40eb44098433ff3dcec
RANDOM SEED=1252680701

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.117
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:        29703628 kB
Buffers:          111224 kB
Cached:           162528 kB
SwapCached:         1808 kB
Active:           444984 kB
Inactive:         185772 kB
Active(anon):     357004 kB
Inactive(anon):     2248 kB
Active(file):      87980 kB
Inactive(file):   183524 kB
Unevictable:     1798728 kB
Mlocked:           16360 kB
SwapTotal:      67108856 kB
SwapFree:       67098808 kB
Dirty:               844 kB
Writeback:             0 kB
AnonPages:       2185588 kB
Mapped:            15432 kB
Shmem:                 0 kB
Slab:             600576 kB
SReclaimable:      44376 kB
SUnreclaim:       556200 kB
KernelStack:        1760 kB
PageTables:         8544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2862832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2148352 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 node123 at 2016-06-07 09:32:45