Trace number 4084577

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.08 1797.55

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-73.opb
MD5SUM56a27796f1168612394e164ff5d947f7
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark470.016
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7936
Total number of constraints176837
Number of constraints which are clauses158928
Number of constraints which are cardinality constraints (but not clauses)563
Number of constraints which are nor clauses,nor cardinality constraints17346
Minimum length of a constraint2
Maximum length of a constraint195
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 196
Number of bits of the biggest sum of numbers8
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.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Glucose 2.1 dynamic restart strategy
0.08/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.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-4084577-1465276189.opb
0.08/0.11	c reading problem ... 
0.08/0.11	c  no objective function found
1.96/1.48	c ... done. Wall clock time 1.362s.
1.96/1.48	c declared #vars     7936
1.96/1.48	c #constraints  177125
1.96/1.48	c constraints type 
1.96/1.48	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 121702
1.96/1.48	c org.sat4j.minisat.constraints.card.MinWatchCard => 564
1.96/1.48	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 37513
1.96/1.48	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 17346
1.96/1.48	c 177125 constraints processed.
3.53/2.59	c cleaning 2495 clauses out of 5000 with flag 54773/5000
4.79/3.71	c cleaning 4228 clauses out of 8505 with flag 152269/11000
6.08/5.05	c cleaning 5575 clauses out of 11277 with flag 261524/18000
7.18/6.17	c cleaning 6830 clauses out of 13702 with flag 362694/26000
8.70/7.70	c cleaning 7805 clauses out of 15872 with flag 464244/35000
10.10/9.01	c cleaning 8938 clauses out of 18066 with flag 594271/45002
11.91/10.83	c cleaning 10022 clauses out of 20126 with flag 745584/56000
14.11/13.05	c cleaning 11048 clauses out of 22105 with flag 876489/68001
16.42/15.32	c cleaning 12001 clauses out of 24053 with flag 1036003/81000
18.52/17.44	c cleaning 12997 clauses out of 26051 with flag 1201035/95000
20.82/19.80	c cleaning 14017 clauses out of 28055 with flag 1380007/110001
23.42/22.34	c cleaning 14999 clauses out of 30037 with flag 1524714/126000
25.33/24.25	c cleaning 16012 clauses out of 32038 with flag 1703348/143000
27.72/26.65	c cleaning 16949 clauses out of 34026 with flag 1894287/161000
29.73/28.61	c cleaning 18005 clauses out of 36077 with flag 2070123/180000
31.82/30.72	c cleaning 19005 clauses out of 38073 with flag 2262535/200001
34.92/33.83	c cleaning 20023 clauses out of 40068 with flag 2471936/221001
37.43/36.38	c cleaning 20969 clauses out of 42044 with flag 2717087/243000
41.22/40.17	c cleaning 22028 clauses out of 44075 with flag 2954623/266000
46.02/44.99	c cleaning 23018 clauses out of 46048 with flag 3267221/290001
49.32/48.26	c cleaning 23986 clauses out of 48029 with flag 3573286/315000
52.72/51.64	c cleaning 25007 clauses out of 50047 with flag 3905556/341004
56.33/55.28	c cleaning 25920 clauses out of 52036 with flag 4200260/368000
60.64/59.54	c cleaning 27013 clauses out of 54116 with flag 4514508/396000
66.73/65.66	c cleaning 28049 clauses out of 56103 with flag 4768880/425000
70.93/69.87	c cleaning 29010 clauses out of 58056 with flag 5058916/455002
76.53/75.41	c cleaning 29952 clauses out of 60044 with flag 5419653/486000
81.53/80.46	c cleaning 31005 clauses out of 62092 with flag 5856570/518000
86.22/85.16	c cleaning 32018 clauses out of 64091 with flag 6199939/551004
91.43/90.32	c cleaning 33014 clauses out of 66070 with flag 6519063/585001
96.83/95.80	c cleaning 34006 clauses out of 68055 with flag 6935739/620000
101.34/100.28	c cleaning 35006 clauses out of 70049 with flag 7311627/656000
107.64/106.52	c cleaning 35992 clauses out of 72043 with flag 7767751/693000
113.44/112.39	c cleaning 37013 clauses out of 74051 with flag 8197844/731000
119.34/118.28	c cleaning 37992 clauses out of 76038 with flag 8569115/770000
124.64/123.52	c cleaning 38866 clauses out of 78046 with flag 9038257/810000
130.94/129.82	c cleaning 40074 clauses out of 80181 with flag 9532815/851001
138.54/137.44	c cleaning 41021 clauses out of 82106 with flag 9989456/893000
145.94/144.79	c cleaning 42022 clauses out of 84085 with flag 10465001/936000
152.64/151.41	c cleaning 43030 clauses out of 86064 with flag 10909041/980001
159.25/158.06	c cleaning 44012 clauses out of 88035 with flag 11311515/1025002
166.44/165.29	c cleaning 45012 clauses out of 90023 with flag 11697717/1071002
173.34/172.13	c cleaning 45966 clauses out of 92009 with flag 12236548/1118000
180.96/179.75	c cleaning 47010 clauses out of 94043 with flag 12833053/1166000
189.66/188.41	c cleaning 47852 clauses out of 96033 with flag 13341731/1215000
197.96/196.78	c cleaning 49006 clauses out of 98181 with flag 13837790/1265000
206.55/205.39	c cleaning 50045 clauses out of 100175 with flag 14295373/1316000
214.96/213.79	c cleaning 51056 clauses out of 102131 with flag 14765852/1368001
225.17/223.90	c cleaning 52020 clauses out of 104074 with flag 15311425/1421000
234.07/232.84	c cleaning 52992 clauses out of 106055 with flag 15875947/1475001
244.07/242.82	c cleaning 54009 clauses out of 108065 with flag 16333636/1530003
254.67/253.47	c cleaning 55009 clauses out of 110053 with flag 16799941/1586000
264.97/263.73	c cleaning 55982 clauses out of 112044 with flag 17422687/1643000
275.88/274.63	c cleaning 56907 clauses out of 114062 with flag 17982398/1701000
286.58/285.39	c cleaning 58038 clauses out of 116156 with flag 18467586/1760001
296.89/295.64	c cleaning 59050 clauses out of 118119 with flag 19089535/1820002
309.19/307.93	c cleaning 59976 clauses out of 120067 with flag 19626763/1881000
322.89/321.65	c cleaning 60883 clauses out of 122091 with flag 20192411/1943000
337.69/336.46	c cleaning 62102 clauses out of 124211 with flag 20690328/2006003
350.29/349.09	c cleaning 63008 clauses out of 126107 with flag 21249884/2070001
363.39/362.14	c cleaning 64040 clauses out of 128101 with flag 21823650/2135003
377.12/375.85	c cleaning 64987 clauses out of 130060 with flag 22524720/2201002
392.93/391.68	c cleaning 66011 clauses out of 132073 with flag 23127521/2268002
408.33/407.07	c cleaning 67001 clauses out of 134060 with flag 23624038/2336000
426.32/425.04	c cleaning 68008 clauses out of 136059 with flag 24145967/2405000
441.52/440.05	c cleaning 69001 clauses out of 138051 with flag 24751180/2475000
457.32/455.88	c cleaning 70025 clauses out of 140056 with flag 25306952/2546006
475.03/473.55	c cleaning 70962 clauses out of 142026 with flag 25883961/2618001
491.54/490.06	c cleaning 72028 clauses out of 144064 with flag 26603184/2691001
508.95/507.43	c cleaning 72891 clauses out of 146035 with flag 27228306/2765000
525.55/524.04	c cleaning 74042 clauses out of 148144 with flag 27922972/2840000
541.06/539.58	c cleaning 75038 clauses out of 150105 with flag 28687312/2916003
561.26/559.73	c cleaning 76029 clauses out of 152065 with flag 29428185/2993001
580.56/579.01	c cleaning 76954 clauses out of 154035 with flag 30067019/3071000
601.07/599.58	c cleaning 78039 clauses out of 156082 with flag 30731797/3150001
626.18/624.62	c cleaning 79004 clauses out of 158043 with flag 31325490/3230001
649.68/648.16	c cleaning 80011 clauses out of 160039 with flag 31963570/3311001
670.29/668.80	c cleaning 81008 clauses out of 162027 with flag 32693383/3393000
691.40/689.86	c cleaning 81987 clauses out of 164019 with flag 33414305/3476000
715.30/713.75	c cleaning 82975 clauses out of 166032 with flag 34114868/3560000
738.50/736.99	c cleaning 83973 clauses out of 168058 with flag 34754581/3645001
760.80/759.20	c cleaning 85033 clauses out of 170084 with flag 35380544/3731000
785.80/784.22	c cleaning 86000 clauses out of 172051 with flag 36046868/3818000
814.01/812.42	c cleaning 87024 clauses out of 174051 with flag 36726907/3906000
842.82/841.06	c cleaning 88004 clauses out of 176027 with flag 37441212/3995000
871.13/869.35	c cleaning 88958 clauses out of 178023 with flag 38205552/4085000
893.74/891.92	c cleaning 90027 clauses out of 180066 with flag 39024550/4176001
923.45/921.62	c cleaning 91015 clauses out of 182038 with flag 39712097/4268000
955.76/953.98	c cleaning 92002 clauses out of 184023 with flag 40492404/4361000
988.37/986.50	c cleaning 93006 clauses out of 186022 with flag 41237093/4455001
1015.48/1013.66	c cleaning 93965 clauses out of 188016 with flag 42005841/4550001
1042.19/1040.33	c cleaning 95002 clauses out of 190050 with flag 42800356/4646000
1076.61/1074.73	c cleaning 95919 clauses out of 192048 with flag 43581304/4743000
1108.30/1106.47	c cleaning 97025 clauses out of 194128 with flag 44347187/4841000
1137.01/1135.13	c cleaning 98045 clauses out of 196105 with flag 45206890/4940002
1171.42/1169.52	c cleaning 99016 clauses out of 198057 with flag 45988341/5040000
1203.63/1201.72	c cleaning 99987 clauses out of 200042 with flag 46916430/5141001
1234.85/1232.95	c cleaning 100960 clauses out of 202054 with flag 47697895/5243000
1273.66/1271.72	c cleaning 101947 clauses out of 204094 with flag 48637797/5346000
1307.36/1305.48	c cleaning 103059 clauses out of 206149 with flag 49583912/5450002
1350.98/1349.00	c cleaning 103929 clauses out of 208088 with flag 50467438/5555000
1384.08/1382.19	c cleaning 105072 clauses out of 210159 with flag 51386016/5661000
1414.79/1412.80	c cleaning 105998 clauses out of 212087 with flag 52259538/5768000
1451.20/1449.28	c cleaning 107006 clauses out of 214089 with flag 53146495/5876000
1491.62/1489.64	c cleaning 108009 clauses out of 216085 with flag 54043565/5985002
1538.53/1536.52	c cleaning 108992 clauses out of 218074 with flag 54919307/6095000
1582.55/1580.60	c cleaning 109991 clauses out of 220082 with flag 55827846/6206000
1630.56/1628.54	c cleaning 111044 clauses out of 222092 with flag 56864861/6318001
1662.87/1660.89	c cleaning 112019 clauses out of 224047 with flag 57929081/6431000
1707.85/1705.35	c cleaning 112984 clauses out of 226028 with flag 58874305/6545000
1755.45/1752.92	c cleaning 113976 clauses out of 228043 with flag 59918870/6660000
1793.57/1791.05	c cleaning 114990 clauses out of 230067 with flag 61050897/6776000
1800.08/1797.51	c starts		: 31006
1800.08/1797.51	c conflicts		: 6803056
1800.08/1797.51	c decisions		: 30068247
1800.08/1797.51	c propagations		: 1485419571
1800.08/1797.51	c inspects		: 28248727440
1800.08/1797.51	c shortcuts		: 0
1800.08/1797.51	c learnt literals	: 10
1800.08/1797.51	c learnt binary clauses	: 408
1800.08/1797.51	c learnt ternary clauses	: 1854
1800.08/1797.51	c learnt constraints	: 6803046
1800.08/1797.51	c ignored constraints	: 0
1800.08/1797.51	c root simplifications	: 0
1800.08/1797.51	c removed literals (reason simplification)	: 0
1800.08/1797.51	c reason swapping (by a shorter reason)	: 0
1800.08/1797.51	c Calls to reduceDB	: 112
1800.08/1797.51	c Number of update (reduction) of LBD	: 4330171
1800.08/1797.51	c Imported unit clauses	: 0
1800.08/1797.51	c number of reductions to clauses (during analyze)	: 0
1800.08/1797.51	c number of learned constraints concerned by reduction	: 0
1800.08/1797.51	c number of learning phase by resolution	: 0
1800.08/1797.51	c number of learning phase by cutting planes	: 0
1800.08/1797.51	c speed (assignments/second)	: 827059.5181024763
1800.08/1797.51	c non guided choices	534744
1800.08/1797.51	c timeout
1800.08/1797.54	c learnt constraints type 
1800.08/1797.54	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 408
1800.08/1797.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 141726
1800.08/1797.54	s UNKNOWN
1800.08/1797.54	c Total wall clock time (in seconds): 1797.424

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-4084577-1465276189/watcher-4084577-1465276189 -o /tmp/evaluation-result-4084577-1465276189/solver-4084577-1465276189 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465257785-23301 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084577-1465276189.opb 

pid=26860
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.00 2.00 2.00 2/196 26863
/proc/meminfo: memFree=29341760/32872528 swapFree=8144/8144
[pid=26863] ppid=26860 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/26863/stat : 26863 (java) R 26860 26863 23284 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 109550943 278528 33 33554432000 1073741824 1073778376 140736652739952 140735379521864 206399696167 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26863/statm: 68 33 25 9 0 25 0

[startup+0.100059 s]
/proc/loadavg: 2.00 2.00 2.00 2/196 26863
/proc/meminfo: memFree=29341760/32872528 swapFree=8144/8144
[pid=26863] ppid=26860 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/26863/stat : 26863 (java) S 26860 26863 23284 0 -1 4202496 4472 0 1 0 8 0 0 0 20 0 18 0 109550943 9787879424 5592 33554432000 1073741824 1073778376 140736652739952 140736652731088 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26863/statm: 2389619 5592 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200218 s]
/proc/loadavg: 2.00 2.00 2.00 2/196 26863
/proc/meminfo: memFree=29341760/32872528 swapFree=8144/8144
[pid=26863] ppid=26860 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/26863/stat : 26863 (java) S 26860 26863 23284 0 -1 4202496 4841 0 1 0 24 1 0 0 20 0 18 0 109550943 9787879424 6421 33554432000 1073741824 1073778376 140736652739952 140736652731088 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26863/statm: 2389619 6421 2211 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300253 s]
/proc/loadavg: 2.00 2.00 2.00 2/196 26863
/proc/meminfo: memFree=29341760/32872528 swapFree=8144/8144
[pid=26863] ppid=26860 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/26863/stat : 26863 (java) S 26860 26863 23284 0 -1 4202496 6167 0 1 0 45 1 0 0 20 0 18 0 109550943 9787879424 8807 33554432000 1073741824 1073778376 140736652739952 140736652731088 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26863/statm: 2389619 8807 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700193 s]
/proc/loadavg: 2.00 2.00 2.00 2/196 26863
/proc/meminfo: memFree=29341760/32872528 swapFree=8144/8144
[pid=26863] ppid=26860 vsize=9558476 CPUtime=1.11 cores=1,3,5,7
/proc/26863/stat : 26863 (java) S 26860 26863 23284 0 -1 4202496 7405 0 1 0 108 3 0 0 20 0 18 0 109550943 9787879424 39923 33554432000 1073741824 1073778376 140736652739952 140736652731088 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26863/statm: 2389619 39923 2263 9 0 2380296 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 9558476

[startup+1.50081 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 26881
/proc/meminfo: memFree=29124324/32872528 swapFree=8144/8144
[pid=26863] ppid=26860 vsize=9625040 CPUtime=2.12 cores=1,3,5,7
/proc/26863/stat : 26863 (java) S 26860 26863 23284 0 -1 4202496 9084 0 1 0 205 7 0 0 20 0 19 0 109550943 9856040960 78923 33554432000 1073741824 1073778376 140736652739952 140736652731088 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26863/statm: 2406260 78949 2269 9 0 2396937 0
[pid=26863/tid=26865] ppid=26860 vsize=9625040 CPUtime=1.39 cores=1,3,5,7
/proc/26863/task/26865/stat : 26865 (java) R 26860 26863 23284 0 -1 4202560 2594 0 1 0 134 5 0 0 20 0 19 0 109550944 9856040960 78950 33554432000 1073741824 1073778376 140736652739952 139962045665200 206412243381 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26866] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26866/stat : 26866 (java) S 26860 26863 23284 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 109550945 9856040960 78950 33554432000 1073741824 1073778376 140736652739952 139961984395432 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26867] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26867/stat : 26867 (java) S 26860 26863 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 109550945 9856040960 78950 33554432000 1073741824 1073778376 140736652739952 139961983342888 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26868] ppid=26860 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/26863/task/26868/stat : 26868 (java) S 26860 26863 23284 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 109550945 9856040960 78926 33554432000 1073741824 1073778376 140736652739952 139961982290344 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26863/tid=26869] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26869/stat : 26869 (java) S 26860 26863 23284 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 109550945 9856040960 78926 33554432000 1073741824 1073778376 140736652739952 139961981237800 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26863/tid=26870] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26870/stat : 26870 (java) S 26860 26863 23284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 109550945 9856040960 78926 33554432000 1073741824 1073778376 140736652739952 139961980185256 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26871] ppid=26860 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/26863/task/26871/stat : 26871 (java) S 26860 26863 23284 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 109550945 9856040960 78926 33554432000 1073741824 1073778376 140736652739952 139961883638568 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26863/tid=26872] ppid=26860 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/26863/task/26872/stat : 26872 (java) S 26860 26863 23284 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 109550945 9856040960 78926 33554432000 1073741824 1073778376 140736652739952 139961882586024 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26873] ppid=26860 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/26863/task/26873/stat : 26873 (java) S 26860 26863 23284 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 109550945 9856040960 78926 33554432000 1073741824 1073778376 140736652739952 139961881533480 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26874] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26874/stat : 26874 (java) S 26860 26863 23284 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 19 0 109550946 9856040960 78926 33554432000 1073741824 1073778376 140736652739952 139961869334632 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26875] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26875/stat : 26875 (java) S 26860 26863 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109550947 9856040960 78927 33554432000 1073741824 1073778376 140736652739952 139961868280952 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26876] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26876/stat : 26876 (java) S 26860 26863 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109550947 9856040960 78927 33554432000 1073741824 1073778376 140736652739952 139961867228296 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26877] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26877/stat : 26877 (java) S 26860 26863 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109550949 9856040960 78927 33554432000 1073741824 1073778376 140736652739952 139961866177040 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26878] ppid=26860 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/26863/task/26878/stat : 26878 (java) R 26860 26863 23284 0 -1 4202560 2687 0 0 0 29 0 0 0 20 0 19 0 109550949 9856040960 78927 33554432000 1073741824 1073778376 140736652739952 139961865124248 206408526134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26879] ppid=26860 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/26863/task/26879/stat : 26879 (java) R 26860 26863 23284 0 -1 4202560 2306 0 0 0 23 0 0 0 20 0 19 0 109550949 9856040960 78927 33554432000 1073741824 1073778376 140736652739952 139961864071704 139962052467376 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26880] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26880/stat : 26880 (java) S 26860 26863 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109550949 9856040960 78927 33554432000 1073741824 1073778376 140736652739952 139961863019512 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26881] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26881/stat : 26881 (java) S 26860 26863 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109550949 9856040960 78927 33554432000 1073741824 1073778376 140736652739952 139961861967176 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 26882
/proc/meminfo: memFree=28979112/32872528 swapFree=8144/8144
[pid=26863] ppid=26860 vsize=9625040 CPUtime=4.17 cores=1,3,5,7
/proc/26863/stat : 26863 (java) S 26860 26863 23284 0 -1 4202496 12160 0 1 0 409 8 0 0 20 0 19 0 109550943 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 140736652731088 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26863/statm: 2406260 79017 2284 9 0 2396937 0
[pid=26863/tid=26865] ppid=26860 vsize=9625040 CPUtime=2.98 cores=1,3,5,7
/proc/26863/task/26865/stat : 26865 (java) R 26860 26863 23284 0 -1 4202560 2597 0 1 0 292 6 0 0 20 0 19 0 109550944 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139962045663712 139961986073830 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=26863/tid=26866] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26866/stat : 26866 (java) S 26860 26863 23284 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 109550945 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961984395432 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26867] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26867/stat : 26867 (java) S 26860 26863 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 109550945 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961983342888 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26868] ppid=26860 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/26863/task/26868/stat : 26868 (java) S 26860 26863 23284 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 109550945 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961982290344 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26863/tid=26869] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26869/stat : 26869 (java) S 26860 26863 23284 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 109550945 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961981237800 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26863/tid=26870] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26870/stat : 26870 (java) S 26860 26863 23284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 109550945 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961980185256 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26871] ppid=26860 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/26863/task/26871/stat : 26871 (java) S 26860 26863 23284 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 109550945 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961883638568 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26863/tid=26872] ppid=26860 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/26863/task/26872/stat : 26872 (java) S 26860 26863 23284 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 109550945 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961882586024 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26873] ppid=26860 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/26863/task/26873/stat : 26873 (java) S 26860 26863 23284 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 109550945 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961881533480 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26874] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26874/stat : 26874 (java) S 26860 26863 23284 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 109550946 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961869334632 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26875] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26875/stat : 26875 (java) S 26860 26863 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109550947 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961868280952 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26876] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26876/stat : 26876 (java) S 26860 26863 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109550947 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961867228296 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26877] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26877/stat : 26877 (java) S 26860 26863 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109550949 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961866177040 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26878] ppid=26860 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/26863/task/26878/stat : 26878 (java) S 26860 26863 23284 0 -1 4202560 3397 0 0 0 46 0 0 0 20 0 19 0 109550949 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961865124408 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26879] ppid=26860 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/26863/task/26879/stat : 26879 (java) S 26860 26863 23284 0 -1 4202560 4637 0 0 0 52 0 0 0 20 0 19 0 109550949 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961864071864 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26880] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26880/stat : 26880 (java) S 26860 26863 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109550949 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961863019512 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26881] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26881/stat : 26881 (java) S 26860 26863 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109550949 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961861967176 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26882] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26882/stat : 26882 (java) S 26860 26863 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109551092 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961860911912 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 9625040

[startup+6.30076 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 26882
/proc/meminfo: memFree=28978748/32872528 swapFree=8144/8144
[pid=26863] ppid=26860 vsize=9625040 CPUtime=7.41 cores=1,3,5,7
/proc/26863/stat : 26863 (java) S 26860 26863 23284 0 -1 4202496 12170 0 1 0 733 8 0 0 20 0 19 0 109550943 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 140736652731088 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26863/statm: 2406260 79017 2284 9 0 2396937 0
[pid=26863/tid=26865] ppid=26860 vsize=9625040 CPUtime=6.14 cores=1,3,5,7
/proc/26863/task/26865/stat : 26865 (java) R 26860 26863 23284 0 -1 4202560 2599 0 1 0 608 6 0 0 20 0 19 0 109550944 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139962045665408 139961986182656 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=26863/tid=26866] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26866/stat : 26866 (java) S 26860 26863 23284 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 109550945 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961984395432 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26867] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26867/stat : 26867 (java) S 26860 26863 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 109550945 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961983342888 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26868] ppid=26860 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/26863/task/26868/stat : 26868 (java) S 26860 26863 23284 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 109550945 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961982290344 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26863/tid=26869] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26869/stat : 26869 (java) S 26860 26863 23284 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 109550945 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961981237800 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26863/tid=26870] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26870/stat : 26870 (java) S 26860 26863 23284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 109550945 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961980185256 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26871] ppid=26860 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/26863/task/26871/stat : 26871 (java) S 26860 26863 23284 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 109550945 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961883638568 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26863/tid=26872] ppid=26860 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/26863/task/26872/stat : 26872 (java) S 26860 26863 23284 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 109550945 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961882586024 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26873] ppid=26860 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/26863/task/26873/stat : 26873 (java) S 26860 26863 23284 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 109550945 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961881533480 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26874] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26874/stat : 26874 (java) S 26860 26863 23284 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 109550946 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961869334632 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26875] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26875/stat : 26875 (java) S 26860 26863 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109550947 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961868280952 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26876] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26876/stat : 26876 (java) S 26860 26863 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109550947 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961867228296 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26877] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26877/stat : 26877 (java) S 26860 26863 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109550949 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961866177040 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26878] ppid=26860 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/26863/task/26878/stat : 26878 (java) S 26860 26863 23284 0 -1 4202560 3404 0 0 0 50 0 0 0 20 0 19 0 109550949 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961865124408 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26879] ppid=26860 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/26863/task/26879/stat : 26879 (java) S 26860 26863 23284 0 -1 4202560 4638 0 0 0 55 0 0 0 20 0 19 0 109550949 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961864071864 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26880] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26880/stat : 26880 (java) S 26860 26863 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109550949 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961863019512 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26881] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26881/stat : 26881 (java) S 26860 26863 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109550949 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961861967176 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26882] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26882/stat : 26882 (java) S 26860 26863 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109551092 9856040960 79017 33554432000 1073741824 1073778376 140736652739952 139961860911912 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 9625040

[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 2.00 4/215 26948

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

[pid=26863/tid=26882] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26882/stat : 26882 (java) S 26860 26863 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109551092 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961860911912 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1724.85
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 26991
/proc/meminfo: memFree=28969272/32872528 swapFree=8144/8144
[pid=26863] ppid=26860 vsize=9625040 CPUtime=1784.86 cores=1,3,5,7
/proc/26863/stat : 26863 (java) S 26860 26863 23284 0 -1 4202496 15234 0 1 0 178376 110 0 0 20 0 19 0 109550943 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 140736652731088 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26863/statm: 2406260 355145 2285 9 0 2396937 0
[pid=26863/tid=26865] ppid=26860 vsize=9625040 CPUtime=1777.24 cores=1,3,5,7
/proc/26863/task/26865/stat : 26865 (java) R 26860 26863 23284 0 -1 4202560 3402 0 1 0 177673 51 0 0 20 0 19 0 109550944 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139962045656880 139961986073830 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26866] ppid=26860 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/26863/task/26866/stat : 26866 (java) S 26860 26863 23284 0 -1 4202560 128 0 0 0 8 5 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961984395432 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26863/tid=26867] ppid=26860 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/26863/task/26867/stat : 26867 (java) S 26860 26863 23284 0 -1 4202560 112 0 0 0 10 7 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961983342888 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26868] ppid=26860 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/26863/task/26868/stat : 26868 (java) S 26860 26863 23284 0 -1 4202560 114 0 0 0 11 7 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961982290344 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26869] ppid=26860 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/26863/task/26869/stat : 26869 (java) S 26860 26863 23284 0 -1 4202560 188 0 0 0 11 5 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961981237800 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26863/tid=26870] ppid=26860 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/26863/task/26870/stat : 26870 (java) S 26860 26863 23284 0 -1 4202560 177 0 0 0 9 6 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961980185256 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26871] ppid=26860 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/26863/task/26871/stat : 26871 (java) S 26860 26863 23284 0 -1 4202560 95 0 0 0 11 5 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961883638568 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26872] ppid=26860 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/26863/task/26872/stat : 26872 (java) S 26860 26863 23284 0 -1 4202560 156 0 0 0 11 6 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961882586024 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26863/tid=26873] ppid=26860 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/26863/task/26873/stat : 26873 (java) S 26860 26863 23284 0 -1 4202560 200 0 0 0 15 6 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961881533480 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26874] ppid=26860 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/26863/task/26874/stat : 26874 (java) S 26860 26863 23284 0 -1 4202560 1090 0 0 0 0 2 0 0 20 0 19 0 109550946 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961869334632 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26875] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26875/stat : 26875 (java) S 26860 26863 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109550947 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961868280952 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26876] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26876/stat : 26876 (java) S 26860 26863 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109550947 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961867228296 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26877] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26877/stat : 26877 (java) S 26860 26863 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109550949 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961866177040 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26878] ppid=26860 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/26863/task/26878/stat : 26878 (java) S 26860 26863 23284 0 -1 4202560 3573 0 0 0 55 0 0 0 20 0 19 0 109550949 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961865124408 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26879] ppid=26860 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/26863/task/26879/stat : 26879 (java) S 26860 26863 23284 0 -1 4202560 4638 0 0 0 55 0 0 0 20 0 19 0 109550949 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961864071864 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26880] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26880/stat : 26880 (java) S 26860 26863 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109550949 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961863019512 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26881] ppid=26860 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/26863/task/26881/stat : 26881 (java) S 26860 26863 23284 0 -1 4202560 103 0 0 0 33 35 0 0 20 0 19 0 109550949 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961861967176 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26882] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26882/stat : 26882 (java) S 26860 26863 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109551092 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961860911912 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1784.86
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 26991
/proc/meminfo: memFree=28969276/32872528 swapFree=8144/8144
[pid=26863] ppid=26860 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/26863/stat : 26863 (java) S 26860 26863 23284 0 -1 4202496 15234 0 1 0 179897 111 0 0 20 0 19 0 109550943 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 140736652731088 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26863/statm: 2406260 355145 2285 9 0 2396937 0
[pid=26863/tid=26865] ppid=26860 vsize=9625040 CPUtime=1792.4 cores=1,3,5,7
/proc/26863/task/26865/stat : 26865 (java) R 26860 26863 23284 0 -1 4202560 3402 0 1 0 179189 51 0 0 20 0 19 0 109550944 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139962045656880 139961986089853 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26866] ppid=26860 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/26863/task/26866/stat : 26866 (java) S 26860 26863 23284 0 -1 4202560 128 0 0 0 8 5 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961984395432 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26863/tid=26867] ppid=26860 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/26863/task/26867/stat : 26867 (java) S 26860 26863 23284 0 -1 4202560 112 0 0 0 10 7 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961983342888 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26868] ppid=26860 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/26863/task/26868/stat : 26868 (java) S 26860 26863 23284 0 -1 4202560 114 0 0 0 11 7 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961982290344 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26869] ppid=26860 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/26863/task/26869/stat : 26869 (java) S 26860 26863 23284 0 -1 4202560 188 0 0 0 11 5 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961981237800 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26863/tid=26870] ppid=26860 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/26863/task/26870/stat : 26870 (java) S 26860 26863 23284 0 -1 4202560 177 0 0 0 9 6 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961980185256 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26871] ppid=26860 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/26863/task/26871/stat : 26871 (java) S 26860 26863 23284 0 -1 4202560 95 0 0 0 11 5 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961883638568 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26872] ppid=26860 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/26863/task/26872/stat : 26872 (java) S 26860 26863 23284 0 -1 4202560 156 0 0 0 11 6 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961882586024 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26863/tid=26873] ppid=26860 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/26863/task/26873/stat : 26873 (java) S 26860 26863 23284 0 -1 4202560 200 0 0 0 15 6 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961881533480 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26874] ppid=26860 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/26863/task/26874/stat : 26874 (java) S 26860 26863 23284 0 -1 4202560 1090 0 0 0 0 2 0 0 20 0 19 0 109550946 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961869334632 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26875] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26875/stat : 26875 (java) S 26860 26863 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109550947 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961868280952 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26876] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26876/stat : 26876 (java) S 26860 26863 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109550947 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961867228296 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26877] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26877/stat : 26877 (java) S 26860 26863 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109550949 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961866177040 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26878] ppid=26860 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/26863/task/26878/stat : 26878 (java) S 26860 26863 23284 0 -1 4202560 3573 0 0 0 55 0 0 0 20 0 19 0 109550949 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961865124408 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26879] ppid=26860 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/26863/task/26879/stat : 26879 (java) S 26860 26863 23284 0 -1 4202560 4638 0 0 0 55 0 0 0 20 0 19 0 109550949 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961864071864 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26880] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26880/stat : 26880 (java) S 26860 26863 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109550949 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961863019512 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26881] ppid=26860 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/26863/task/26881/stat : 26881 (java) S 26860 26863 23284 0 -1 4202560 103 0 0 0 33 35 0 0 20 0 19 0 109550949 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961861967176 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26882] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26882/stat : 26882 (java) S 26860 26863 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109551092 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961860911912 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

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

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

[startup+1797.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 26991
/proc/meminfo: memFree=28969276/32872528 swapFree=8144/8144
[pid=26863] ppid=26860 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/26863/stat : 26863 (java) S 26860 26863 23284 0 -1 4202496 15234 0 1 0 179897 111 0 0 20 0 19 0 109550943 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 140736652731088 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26863/statm: 2406260 355145 2285 9 0 2396937 0
[pid=26863/tid=26865] ppid=26860 vsize=9625040 CPUtime=1792.4 cores=1,3,5,7
/proc/26863/task/26865/stat : 26865 (java) R 26860 26863 23284 0 -1 4202560 3402 0 1 0 179189 51 0 0 20 0 19 0 109550944 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139962045656880 139961986089853 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26866] ppid=26860 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/26863/task/26866/stat : 26866 (java) S 26860 26863 23284 0 -1 4202560 128 0 0 0 8 5 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961984395432 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26863/tid=26867] ppid=26860 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/26863/task/26867/stat : 26867 (java) S 26860 26863 23284 0 -1 4202560 112 0 0 0 10 7 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961983342888 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26868] ppid=26860 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/26863/task/26868/stat : 26868 (java) S 26860 26863 23284 0 -1 4202560 114 0 0 0 11 7 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961982290344 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26869] ppid=26860 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/26863/task/26869/stat : 26869 (java) S 26860 26863 23284 0 -1 4202560 188 0 0 0 11 5 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961981237800 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26863/tid=26870] ppid=26860 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/26863/task/26870/stat : 26870 (java) S 26860 26863 23284 0 -1 4202560 177 0 0 0 9 6 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961980185256 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26871] ppid=26860 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/26863/task/26871/stat : 26871 (java) S 26860 26863 23284 0 -1 4202560 95 0 0 0 11 5 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961883638568 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26872] ppid=26860 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/26863/task/26872/stat : 26872 (java) S 26860 26863 23284 0 -1 4202560 156 0 0 0 11 6 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961882586024 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26863/tid=26873] ppid=26860 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/26863/task/26873/stat : 26873 (java) S 26860 26863 23284 0 -1 4202560 200 0 0 0 15 6 0 0 20 0 19 0 109550945 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961881533480 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26874] ppid=26860 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/26863/task/26874/stat : 26874 (java) S 26860 26863 23284 0 -1 4202560 1090 0 0 0 0 2 0 0 20 0 19 0 109550946 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961869334632 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26875] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26875/stat : 26875 (java) S 26860 26863 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109550947 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961868280952 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26876] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26876/stat : 26876 (java) S 26860 26863 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109550947 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961867228296 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26877] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26877/stat : 26877 (java) S 26860 26863 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109550949 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961866177040 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26878] ppid=26860 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/26863/task/26878/stat : 26878 (java) S 26860 26863 23284 0 -1 4202560 3573 0 0 0 55 0 0 0 20 0 19 0 109550949 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961865124408 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26879] ppid=26860 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/26863/task/26879/stat : 26879 (java) S 26860 26863 23284 0 -1 4202560 4638 0 0 0 55 0 0 0 20 0 19 0 109550949 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961864071864 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26880] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26880/stat : 26880 (java) S 26860 26863 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109550949 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961863019512 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26863/tid=26881] ppid=26860 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/26863/task/26881/stat : 26881 (java) S 26860 26863 23284 0 -1 4202560 103 0 0 0 33 35 0 0 20 0 19 0 109550949 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961861967176 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26863/tid=26882] ppid=26860 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26863/task/26882/stat : 26882 (java) S 26860 26863 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109551092 9856040960 355145 33554432000 1073741824 1073778376 140736652739952 139961860911912 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1797.55
CPU time (s): 1800.08
CPU user time (s): 1798.97
CPU system time (s): 1.11
CPU usage (%): 100.141
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.36
system time used= 1.49277
maximum resident set size= 1420716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15273
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38236
involuntary context switches= 3523

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7216 second user time and 8.20575 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-07 07:09:49
IDJOB=4084577
IDBENCH=89699
IDSOLVER=2546
FILE ID=node133/4084577-1465276189
RUNJOBID= node133-1465257785-23301
PBS_JOBID= 19843288
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-73.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084577-1465276189/watcher-4084577-1465276189 -o /tmp/evaluation-result-4084577-1465276189/solver-4084577-1465276189 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465257785-23301 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4084577-1465276189.opb

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

MD5SUM BENCH= 56a27796f1168612394e164ff5d947f7
RANDOM SEED=331792992

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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.065
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:        29342140 kB
Buffers:           84320 kB
Cached:           155564 kB
SwapCached:         2064 kB
Active:          2628876 kB
Inactive:         160028 kB
Active(anon):    2549612 kB
Inactive(anon):     1428 kB
Active(file):      79264 kB
Inactive(file):   158600 kB
Unevictable:        8144 kB
Mlocked:            8144 kB
SwapTotal:      67108856 kB
SwapFree:       67098268 kB
Dirty:              8012 kB
Writeback:             0 kB
AnonPages:       2556500 kB
Mapped:            15536 kB
Shmem:                 0 kB
Slab:             597888 kB
SReclaimable:      41092 kB
SUnreclaim:       556796 kB
KernelStack:        1616 kB
PageTables:         8648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3136796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2510848 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 node133 at 2016-06-07 07:39:47