Trace number 4108954

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 Res+CP PB16? (TO) 1800.17 896.178

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-27.opb
MD5SUMc3ba46c0ae63598a4f58d494ccf9f418
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 benchmark223.373
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9355
Total number of constraints199372
Number of constraints which are clauses178529
Number of constraints which are cardinality constraints (but not clauses)722
Number of constraints which are nor clauses,nor cardinality constraints20121
Minimum length of a constraint2
Maximum length of a constraint231
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 232
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4108954-1466289487.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  no objective function found
3.14/1.91	c ... done. Wall clock time 1.798s.
3.14/1.91	c declared #vars     9355
3.14/1.91	c #constraints  199742
3.14/1.91	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
3.14/1.91	c constraints type 
3.14/1.91	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 139053
3.14/1.91	c org.sat4j.minisat.constraints.card.MinWatchCard => 725
3.14/1.91	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 39843
3.14/1.91	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 20121
3.14/1.91	c 199742 constraints processed.
3.14/1.91	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
3.14/1.91	c constraints type 
3.14/1.91	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 39843
3.14/1.91	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 139053
3.14/1.91	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 725
3.14/1.91	c org.sat4j.pb.constraints.pb.MaxWatchPb => 20121
3.14/1.91	c 199742 constraints processed.
8.72/4.17	c cleaning 0 clauses out of 5000 with flag 0/5000
10.95/5.18	c cleaning 2496 clauses out of 5000 with flag 109807/5000
14.73/6.96	c cleaning 4212 clauses out of 8503 with flag 196256/11000
17.16/8.20	c cleaning 0 clauses out of 11002 with flag 0/11002
20.28/9.66	c cleaning 5594 clauses out of 11290 with flag 334946/18002
24.52/11.70	c cleaning 6767 clauses out of 13694 with flag 452119/26000
28.20/13.51	c cleaning 7899 clauses out of 15927 with flag 572085/35000
33.60/16.21	c cleaning 8930 clauses out of 18028 with flag 742347/45000
39.44/19.10	c cleaning 10010 clauses out of 20098 with flag 903057/56000
44.24/21.60	c cleaning 11034 clauses out of 22088 with flag 1032831/68000
50.90/24.87	c cleaning 11970 clauses out of 24054 with flag 1192927/81000
56.70/27.79	c cleaning 0 clauses out of 18000 with flag 0/18000
57.70/28.27	c cleaning 13031 clauses out of 26084 with flag 1369550/95000
64.53/31.66	c cleaning 13864 clauses out of 28053 with flag 1540505/110000
73.57/36.12	c cleaning 15056 clauses out of 30189 with flag 1760164/126000
83.40/41.00	c cleaning 15959 clauses out of 32133 with flag 1975775/143000
92.00/45.32	c cleaning 0 clauses out of 26000 with flag 0/26000
92.00/45.33	c cleaning 17010 clauses out of 34174 with flag 2160763/161000
101.50/50.01	c cleaning 18001 clauses out of 36164 with flag 2396624/180000
111.33/54.91	c cleaning 18973 clauses out of 38163 with flag 2616333/200000
120.16/59.32	c cleaning 20018 clauses out of 40191 with flag 2860087/221001
130.59/64.58	c cleaning 21083 clauses out of 42173 with flag 3129873/243001
140.43/69.49	c cleaning 22030 clauses out of 44089 with flag 3377989/266000
150.67/74.53	c cleaning 23008 clauses out of 46061 with flag 3623190/290002
160.71/79.55	c cleaning 23960 clauses out of 48051 with flag 3895345/315000
171.74/85.01	c cleaning 24954 clauses out of 50091 with flag 4202988/341000
182.19/90.22	c cleaning 26040 clauses out of 52137 with flag 4470589/368000
193.44/95.88	c cleaning 26999 clauses out of 54099 with flag 4734501/396002
205.25/101.76	c cleaning 28003 clauses out of 56098 with flag 5065304/425000
217.31/107.78	c cleaning 28948 clauses out of 58095 with flag 5396091/455000
220.31/109.24	c cleaning 0 clauses out of 35000 with flag 0/35000
232.18/115.18	c cleaning 29867 clauses out of 60147 with flag 5784630/486000
246.47/122.25	c cleaning 31031 clauses out of 62280 with flag 6155117/518000
261.70/129.86	c cleaning 32112 clauses out of 64252 with flag 6539550/551003
276.34/137.11	c cleaning 33008 clauses out of 66137 with flag 6888335/585000
291.42/144.66	c cleaning 34065 clauses out of 68129 with flag 7280046/620000
306.34/152.07	c cleaning 35002 clauses out of 70064 with flag 7614759/656000
322.05/159.84	c cleaning 35969 clauses out of 72063 with flag 7966854/693001
337.18/167.37	c cleaning 36885 clauses out of 74093 with flag 8363492/731000
351.83/174.69	c cleaning 38081 clauses out of 76208 with flag 8788017/770000
368.54/182.91	c cleaning 39013 clauses out of 78127 with flag 9204557/810000
384.64/190.98	c cleaning 40018 clauses out of 80114 with flag 9609588/851000
400.30/198.79	c cleaning 40991 clauses out of 82096 with flag 10042368/893000
418.64/207.87	c cleaning 42008 clauses out of 84105 with flag 10428555/936000
436.14/216.53	c cleaning 42879 clauses out of 86097 with flag 10876792/980000
455.48/226.12	c cleaning 44001 clauses out of 88218 with flag 11339223/1025000
459.89/228.38	c cleaning 0 clauses out of 45000 with flag 0/45000
474.23/235.44	c cleaning 45095 clauses out of 90217 with flag 11726618/1071000
492.31/244.47	c cleaning 45901 clauses out of 92122 with flag 12140285/1118000
513.42/254.96	c cleaning 47031 clauses out of 94221 with flag 12583593/1166000
534.32/265.39	c cleaning 48079 clauses out of 96190 with flag 13020108/1215000
557.24/276.75	c cleaning 49041 clauses out of 98114 with flag 13459635/1265003
578.99/287.52	c cleaning 49995 clauses out of 100072 with flag 13954753/1316002
603.59/299.74	c cleaning 51002 clauses out of 102075 with flag 14471665/1368000
627.28/311.79	c cleaning 51970 clauses out of 104074 with flag 14954195/1421001
652.58/324.34	c cleaning 53042 clauses out of 106105 with flag 15392874/1475002
677.14/336.60	c cleaning 53981 clauses out of 108061 with flag 15877003/1530000
703.08/349.42	c cleaning 55010 clauses out of 110080 with flag 16383641/1586000
730.45/363.09	c cleaning 56007 clauses out of 112071 with flag 16873364/1643001
757.73/376.66	c cleaning 56957 clauses out of 114063 with flag 17408295/1701000
785.70/390.54	c cleaning 58046 clauses out of 116106 with flag 17966141/1760000
812.63/403.97	c cleaning 58989 clauses out of 118060 with flag 18482203/1820000
840.16/417.62	c cleaning 59973 clauses out of 120071 with flag 19044877/1881000
869.07/432.04	c cleaning 60954 clauses out of 122098 with flag 19579412/1943000
870.87/432.94	c cleaning 0 clauses out of 56001 with flag 0/56001
899.62/447.27	c cleaning 62040 clauses out of 124144 with flag 20139447/2006000
931.14/463.20	c cleaning 62936 clauses out of 126104 with flag 20684408/2070000
960.25/477.61	c cleaning 64027 clauses out of 128170 with flag 21247865/2135002
993.40/494.16	c cleaning 64972 clauses out of 130141 with flag 21829504/2201000
1026.73/510.76	c cleaning 66056 clauses out of 132169 with flag 22367960/2268000
1058.30/526.46	c cleaning 66996 clauses out of 134113 with flag 22936995/2336000
1094.28/544.37	c cleaning 68056 clauses out of 136118 with flag 23548352/2405001
1128.64/561.49	c cleaning 69029 clauses out of 138062 with flag 24152452/2475001
1168.23/581.11	c cleaning 69961 clauses out of 140032 with flag 24762777/2546000
1204.98/599.47	c cleaning 70848 clauses out of 142073 with flag 25407625/2618002
1245.86/620.05	c cleaning 72043 clauses out of 144224 with flag 26149071/2691001
1287.26/640.64	c cleaning 73018 clauses out of 146180 with flag 26851806/2765000
1326.22/660.10	c cleaning 73965 clauses out of 148162 with flag 27511310/2840000
1368.21/680.96	c cleaning 74973 clauses out of 150197 with flag 28152973/2916000
1407.37/700.40	c cleaning 76041 clauses out of 152224 with flag 28801092/2993000
1452.66/722.92	c cleaning 77034 clauses out of 154183 with flag 29485022/3071000
1491.86/742.41	c cleaning 77967 clauses out of 156149 with flag 30198513/3150000
1531.61/762.25	c cleaning 78956 clauses out of 158182 with flag 30970364/3230000
1532.03/762.42	c cleaning 0 clauses out of 68001 with flag 0/68001
1574.75/784.00	c cleaning 80088 clauses out of 160227 with flag 31891926/3311001
1621.21/807.19	c cleaning 80990 clauses out of 162139 with flag 32638281/3393001
1672.47/832.69	c cleaning 82054 clauses out of 164148 with flag 33309542/3476000
1718.90/855.72	c cleaning 83027 clauses out of 166094 with flag 34061629/3560000
1765.16/878.72	c cleaning 83921 clauses out of 168067 with flag 34763709/3645000
1800.17/896.10	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.17/896.10	c starts		: 13818
1800.17/896.10	c conflicts		: 3710706
1800.17/896.10	c decisions		: 33853100
1800.17/896.10	c propagations		: 525882308
1800.17/896.10	c inspects		: 9308181752
1800.17/896.10	c shortcuts		: 0
1800.17/896.10	c learnt literals	: 4
1800.17/896.10	c learnt binary clauses	: 1749
1800.17/896.10	c learnt ternary clauses	: 6132
1800.17/896.10	c learnt constraints	: 3710702
1800.17/896.10	c ignored constraints	: 0
1800.17/896.10	c root simplifications	: 0
1800.17/896.10	c removed literals (reason simplification)	: 33668077
1800.17/896.10	c reason swapping (by a shorter reason)	: 0
1800.17/896.10	c Calls to reduceDB	: 81
1800.17/896.10	c Number of update (reduction) of LBD	: 2221128
1800.17/896.10	c Imported unit clauses	: 0
1800.17/896.10	c number of reductions to clauses (during analyze)	: 0
1800.17/896.10	c number of learned constraints concerned by reduction	: 0
1800.17/896.10	c number of learning phase by resolution	: 0
1800.17/896.10	c number of learning phase by cutting planes	: 0
1800.17/896.10	c speed (assignments/second)	: 588116.831063097
1800.17/896.10	c non guided choices	730155
1800.17/896.14	c learnt constraints type 
1800.17/896.14	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1749
1800.17/896.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 148103
1800.17/896.14	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.17/896.14	c starts		: 78
1800.17/896.14	c conflicts		: 71395
1800.17/896.14	c decisions		: 613109
1800.17/896.14	c propagations		: 24739702
1800.17/896.14	c inspects		: 1763386159
1800.17/896.14	c shortcuts		: 0
1800.17/896.14	c learnt literals	: 0
1800.17/896.14	c learnt binary clauses	: 44
1800.17/896.14	c learnt ternary clauses	: 741
1800.17/896.14	c learnt constraints	: 71395
1800.17/896.14	c ignored constraints	: 0
1800.17/896.14	c root simplifications	: 0
1800.17/896.14	c removed literals (reason simplification)	: 0
1800.17/896.14	c reason swapping (by a shorter reason)	: 0
1800.17/896.14	c Calls to reduceDB	: 8
1800.17/896.14	c Number of update (reduction) of LBD	: 0
1800.17/896.14	c Imported unit clauses	: 0
1800.17/896.14	c number of reductions to clauses (during analyze)	: 0
1800.17/896.14	c number of learned constraints concerned by reduction	: 0
1800.17/896.14	c number of learning phase by resolution	: 0
1800.17/896.14	c number of learning phase by cutting planes	: 0
1800.17/896.14	c speed (assignments/second)	: 27666.267435605816
1800.17/896.14	c non guided choices	8665
1800.17/896.16	c learnt constraints type 
1800.17/896.16	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 54441
1800.17/896.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
1800.17/896.16	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 44
1800.17/896.16	c org.sat4j.pb.constraints.pb.MaxWatchPb => 16908
1800.17/896.16	s UNKNOWN
1800.17/896.16	c Total wall clock time (in seconds): 896.054

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-4108954-1466289487/watcher-4108954-1466289487 -o /tmp/evaluation-result-4108954-1466289487/solver-4108954-1466289487 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466289484-30826 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4108954-1466289487.opb 

pid=30941
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: 1.49 1.26 1.42 4/197 30944
/proc/meminfo: memFree=30249168/32872528 swapFree=1074772/1156532
[pid=30944] ppid=30941 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/30944/stat : 30944 (java) S 30941 30944 29682 0 -1 4202496 1250 0 0 0 0 0 0 0 20 0 2 0 30997928 91889664 893 33554432000 1073741824 1073778376 140737320214848 140737320205984 219517321277 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30944/statm: 22450 900 685 9 0 16769 0
[pid=30944/tid=30945] ppid=30941 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30945/stat : 30945 (java) D 30941 30944 29682 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 30997929 94019584 916 33554432000 1073741824 1073778376 140737320214848 140737320203912 219504799015 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.100113 s]
/proc/loadavg: 1.49 1.26 1.42 4/197 30944
/proc/meminfo: memFree=30249168/32872528 swapFree=1074772/1156532
[pid=30944] ppid=30941 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/30944/stat : 30944 (java) S 30941 30944 29682 0 -1 4202496 4459 0 1 0 9 1 0 0 20 0 18 0 30997928 9787879424 6092 33554432000 1073741824 1073778376 140737320214848 140737320205984 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30944/statm: 2389619 6092 2155 9 0 2380296 0
[pid=30944/tid=30945] ppid=30941 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/30944/task/30945/stat : 30945 (java) R 30941 30944 29682 0 -1 4202560 2385 0 1 0 6 1 0 0 20 0 18 0 30997929 9787879424 6092 33554432000 1073741824 1073778376 140737320214848 140219419597728 219517347085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200337 s]
/proc/loadavg: 1.49 1.26 1.42 4/197 30944
/proc/meminfo: memFree=30249168/32872528 swapFree=1074772/1156532
[pid=30944] ppid=30941 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/30944/stat : 30944 (java) S 30941 30944 29682 0 -1 4202496 4690 0 1 0 23 1 0 0 20 0 18 0 30997928 9787879424 7804 33554432000 1073741824 1073778376 140737320214848 140737320205984 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30944/statm: 2389619 7804 2202 9 0 2380296 0
[pid=30944/tid=30945] ppid=30941 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/30944/task/30945/stat : 30945 (java) R 30941 30944 29682 0 -1 4202560 2406 0 1 0 16 1 0 0 20 0 18 0 30997929 9787879424 7804 33554432000 1073741824 1073778376 140737320214848 140219419597728 219517336632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300288 s]
/proc/loadavg: 1.49 1.26 1.42 4/197 30944
/proc/meminfo: memFree=30249168/32872528 swapFree=1074772/1156532
[pid=30944] ppid=30941 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/30944/stat : 30944 (java) S 30941 30944 29682 0 -1 4202496 5874 0 1 0 47 1 0 0 20 0 18 0 30997928 9787879424 9923 33554432000 1073741824 1073778376 140737320214848 140737320205984 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30944/statm: 2389619 9923 2232 9 0 2380296 0
[pid=30944/tid=30945] ppid=30941 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/30944/task/30945/stat : 30945 (java) R 30941 30944 29682 0 -1 4202560 2409 0 1 0 26 1 0 0 20 0 18 0 30997929 9787879424 9923 33554432000 1073741824 1073778376 140737320214848 140219419597728 140219290576728 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700297 s]
/proc/loadavg: 1.49 1.26 1.42 4/197 30944
/proc/meminfo: memFree=30249168/32872528 swapFree=1074772/1156532
[pid=30944] ppid=30941 vsize=9558476 CPUtime=1.38 cores=1,3,5,7
/proc/30944/stat : 30944 (java) S 30941 30944 29682 0 -1 4202496 12606 0 1 0 132 6 0 0 20 0 18 0 30997928 9787879424 45449 33554432000 1073741824 1073778376 140737320214848 140737320205984 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30944/statm: 2389619 45449 2264 9 0 2380296 0
[pid=30944/tid=30945] ppid=30941 vsize=9558476 CPUtime=0.66 cores=1,3,5,7
/proc/30944/task/30945/stat : 30945 (java) R 30941 30944 29682 0 -1 4202560 2470 0 1 0 62 4 0 0 20 0 18 0 30997929 9787879424 45449 33554432000 1073741824 1073778376 140737320214848 140219419597696 219517347085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 9558476

[startup+1.50075 s]
/proc/loadavg: 1.49 1.26 1.42 4/215 30962
/proc/meminfo: memFree=29870116/32872528 swapFree=1074772/1156532
[pid=30944] ppid=30941 vsize=9558476 CPUtime=2.57 cores=1,3,5,7
/proc/30944/stat : 30944 (java) S 30941 30944 29682 0 -1 4202496 13593 0 1 0 241 16 0 0 20 0 18 0 30997928 9787879424 88120 33554432000 1073741824 1073778376 140737320214848 140737320205984 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30944/statm: 2389619 88120 2264 9 0 2380296 0
[pid=30944/tid=30945] ppid=30941 vsize=9558476 CPUtime=1.38 cores=1,3,5,7
/proc/30944/task/30945/stat : 30945 (java) R 30941 30944 29682 0 -1 4202560 2530 0 1 0 131 7 0 0 20 0 18 0 30997929 9787879424 88120 33554432000 1073741824 1073778376 140737320214848 140219419590576 140219290936540 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=30944/tid=30947] ppid=30941 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30947/stat : 30947 (java) S 30941 30944 29682 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 30997930 9787879424 88120 33554432000 1073741824 1073778376 140737320214848 140219262909480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30948] ppid=30941 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/30944/task/30948/stat : 30948 (java) S 30941 30944 29682 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 30997930 9787879424 88120 33554432000 1073741824 1073778376 140737320214848 140219261856680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30949] ppid=30941 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30949/stat : 30949 (java) S 30941 30944 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 30997930 9787879424 88120 33554432000 1073741824 1073778376 140737320214848 140219260803880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30950] ppid=30941 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/30944/task/30950/stat : 30950 (java) S 30941 30944 29682 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 18 0 30997930 9787879424 88120 33554432000 1073741824 1073778376 140737320214848 140219259751080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30944/tid=30951] ppid=30941 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/30944/task/30951/stat : 30951 (java) S 30941 30944 29682 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 30997930 9787879424 88120 33554432000 1073741824 1073778376 140737320214848 140219258698280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30944/tid=30952] ppid=30941 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/30944/task/30952/stat : 30952 (java) S 30941 30944 29682 0 -1 4202560 23 0 0 0 3 1 0 0 20 0 18 0 30997930 9787879424 88120 33554432000 1073741824 1073778376 140737320214848 140219257645480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30944/tid=30953] ppid=30941 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/30944/task/30953/stat : 30953 (java) S 30941 30944 29682 0 -1 4202560 29 0 0 0 4 2 0 0 20 0 18 0 30997930 9787879424 88120 33554432000 1073741824 1073778376 140737320214848 140219256592680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30954] ppid=30941 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/30944/task/30954/stat : 30954 (java) S 30941 30944 29682 0 -1 4202560 28 0 0 0 4 2 0 0 20 0 18 0 30997930 9787879424 88120 33554432000 1073741824 1073778376 140737320214848 140219255539880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30955] ppid=30941 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30955/stat : 30955 (java) S 30941 30944 29682 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 30997931 9787879424 88120 33554432000 1073741824 1073778376 140737320214848 140219243342824 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30944/tid=30956] ppid=30941 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30956/stat : 30956 (java) S 30941 30944 29682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 30997931 9787879424 88120 33554432000 1073741824 1073778376 140737320214848 140219242288888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30957] ppid=30941 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30957/stat : 30957 (java) S 30941 30944 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 30997931 9787879424 88120 33554432000 1073741824 1073778376 140737320214848 140219241235976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30958] ppid=30941 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30958/stat : 30958 (java) S 30941 30944 29682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30997933 9787879424 88120 33554432000 1073741824 1073778376 140737320214848 140219240184464 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30959] ppid=30941 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/30944/task/30959/stat : 30959 (java) S 30941 30944 29682 0 -1 4202560 4615 0 0 0 45 0 0 0 20 0 18 0 30997933 9787879424 88120 33554432000 1073741824 1073778376 140737320214848 140219239131576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30960] ppid=30941 vsize=9558476 CPUtime=0.39 cores=1,3,5,7
/proc/30944/task/30960/stat : 30960 (java) S 30941 30944 29682 0 -1 4202560 4866 0 0 0 39 0 0 0 20 0 18 0 30997933 9787879424 88120 33554432000 1073741824 1073778376 140737320214848 140219238078776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30961] ppid=30941 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30961/stat : 30961 (java) S 30941 30944 29682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30997934 9787879424 88120 33554432000 1073741824 1073778376 140737320214848 140219237026168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30962] ppid=30941 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30962/stat : 30962 (java) S 30941 30944 29682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30997934 9787879424 88120 33554432000 1073741824 1073778376 140737320214848 140219235973576 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 9558476

[startup+3.101 s]
/proc/loadavg: 1.49 1.26 1.42 6/219 30966
/proc/meminfo: memFree=29652192/32872528 swapFree=1074772/1156532
[pid=30944] ppid=30941 vsize=9824732 CPUtime=6.42 cores=1,3,5,7
/proc/30944/stat : 30944 (java) S 30941 30944 29682 0 -1 4202496 16558 0 1 0 617 25 0 0 20 0 22 0 30997928 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140737320205984 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30944/statm: 2456183 133845 2282 9 0 2446860 0
[pid=30944/tid=30945] ppid=30941 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/30944/task/30945/stat : 30945 (java) S 30941 30944 29682 0 -1 4202560 2543 0 1 0 167 7 0 0 20 0 22 0 30997929 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140219419599736 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30947] ppid=30941 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/30944/task/30947/stat : 30947 (java) S 30941 30944 29682 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 30997930 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140219262909480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30948] ppid=30941 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/30944/task/30948/stat : 30948 (java) S 30941 30944 29682 0 -1 4202560 26 0 0 0 2 1 0 0 20 0 22 0 30997930 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140219261856680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30949] ppid=30941 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/30944/task/30949/stat : 30949 (java) S 30941 30944 29682 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 22 0 30997930 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140219260803880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30950] ppid=30941 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/30944/task/30950/stat : 30950 (java) S 30941 30944 29682 0 -1 4202560 31 0 0 0 3 1 0 0 20 0 22 0 30997930 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140219259751080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30951] ppid=30941 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/30944/task/30951/stat : 30951 (java) S 30941 30944 29682 0 -1 4202560 23 0 0 0 2 2 0 0 20 0 22 0 30997930 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140219258698280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30952] ppid=30941 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/30944/task/30952/stat : 30952 (java) S 30941 30944 29682 0 -1 4202560 58 0 0 0 7 3 0 0 20 0 22 0 30997930 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140219257645480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30953] ppid=30941 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/30944/task/30953/stat : 30953 (java) S 30941 30944 29682 0 -1 4202560 52 0 0 0 5 2 0 0 20 0 22 0 30997930 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140219256592680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30954] ppid=30941 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/30944/task/30954/stat : 30954 (java) S 30941 30944 29682 0 -1 4202560 44 0 0 0 6 2 0 0 20 0 22 0 30997930 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140219255539880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30955] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30955/stat : 30955 (java) S 30941 30944 29682 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 30997931 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140219243342824 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30956] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30956/stat : 30956 (java) S 30941 30944 29682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30997931 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140219242288888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30957] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30957/stat : 30957 (java) S 30941 30944 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30997931 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140219241235976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30958] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30958/stat : 30958 (java) S 30941 30944 29682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30997933 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140219240184464 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30959] ppid=30941 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/30944/task/30959/stat : 30959 (java) S 30941 30944 29682 0 -1 4202560 7281 0 0 0 90 2 0 0 20 0 22 0 30997933 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140219239131576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30944/tid=30960] ppid=30941 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/30944/task/30960/stat : 30960 (java) S 30941 30944 29682 0 -1 4202560 4883 0 0 0 83 0 0 0 20 0 22 0 30997933 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140219238078776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30961] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30961/stat : 30961 (java) S 30941 30944 29682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30997934 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140219237026168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30962] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30962/stat : 30962 (java) S 30941 30944 29682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30997934 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140219235973576 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30963] ppid=30941 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/30944/task/30963/stat : 30963 (java) R 30941 30944 29682 0 -1 4202560 16 0 0 0 116 0 0 0 20 0 22 0 30998120 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140219234917896 140219291337552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30964] ppid=30941 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/30944/task/30964/stat : 30964 (java) R 30941 30944 29682 0 -1 4202560 96 0 0 0 114 2 0 0 20 0 22 0 30998120 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140219233864856 140219291579686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30965] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30965/stat : 30965 (java) S 30941 30944 29682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30998121 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140219232814504 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30966] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30966/stat : 30966 (java) S 30941 30944 29682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 30998121 10060525568 133845 33554432000 1073741824 1073778376 140737320214848 140219231761704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 9824732

[startup+6.30098 s]
/proc/loadavg: 1.69 1.30 1.44 5/219 30966
/proc/meminfo: memFree=28848924/32872528 swapFree=1074772/1156532
[pid=30944] ppid=30941 vsize=9824732 CPUtime=13.44 cores=1,3,5,7
/proc/30944/stat : 30944 (java) S 30941 30944 29682 0 -1 4202496 20149 0 1 0 1307 37 0 0 20 0 22 0 30997928 10060525568 237965 33554432000 1073741824 1073778376 140737320214848 140737320205984 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30944/statm: 2456183 237965 2290 9 0 2446860 0
[pid=30944/tid=30945] ppid=30941 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/30944/task/30945/stat : 30945 (java) S 30941 30944 29682 0 -1 4202560 2543 0 1 0 167 7 0 0 20 0 22 0 30997929 10060525568 237965 33554432000 1073741824 1073778376 140737320214848 140219419599736 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30947] ppid=30941 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/30944/task/30947/stat : 30947 (java) S 30941 30944 29682 0 -1 4202560 28 0 0 0 3 2 0 0 20 0 22 0 30997930 10060525568 237965 33554432000 1073741824 1073778376 140737320214848 140219262909480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30944/tid=30948] ppid=30941 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/30944/task/30948/stat : 30948 (java) S 30941 30944 29682 0 -1 4202560 43 0 0 0 7 2 0 0 20 0 22 0 30997930 10060525568 237965 33554432000 1073741824 1073778376 140737320214848 140219261856680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30949] ppid=30941 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/30944/task/30949/stat : 30949 (java) S 30941 30944 29682 0 -1 4202560 35 0 0 0 3 2 0 0 20 0 22 0 30997930 10060525568 237965 33554432000 1073741824 1073778376 140737320214848 140219260803880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30944/tid=30950] ppid=30941 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/30944/task/30950/stat : 30950 (java) S 30941 30944 29682 0 -1 4202560 40 0 0 0 5 2 0 0 20 0 22 0 30997930 10060525568 237965 33554432000 1073741824 1073778376 140737320214848 140219259751080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30951] ppid=30941 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/30944/task/30951/stat : 30951 (java) S 30941 30944 29682 0 -1 4202560 36 0 0 0 4 2 0 0 20 0 22 0 30997930 10060525568 237965 33554432000 1073741824 1073778376 140737320214848 140219258698280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30952] ppid=30941 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/30944/task/30952/stat : 30952 (java) S 30941 30944 29682 0 -1 4202560 71 0 0 0 9 4 0 0 20 0 22 0 30997930 10060525568 237965 33554432000 1073741824 1073778376 140737320214848 140219257645480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30944/tid=30953] ppid=30941 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/30944/task/30953/stat : 30953 (java) S 30941 30944 29682 0 -1 4202560 63 0 0 0 8 2 0 0 20 0 22 0 30997930 10060525568 237965 33554432000 1073741824 1073778376 140737320214848 140219256592680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30954] ppid=30941 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/30944/task/30954/stat : 30954 (java) S 30941 30944 29682 0 -1 4202560 70 0 0 0 12 4 0 0 20 0 22 0 30997930 10060525568 237965 33554432000 1073741824 1073778376 140737320214848 140219255539880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30955] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30955/stat : 30955 (java) S 30941 30944 29682 0 -1 4202560 472 0 0 0 0 0 0 0 20 0 22 0 30997931 10060525568 237965 33554432000 1073741824 1073778376 140737320214848 140219243342824 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30956] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30956/stat : 30956 (java) S 30941 30944 29682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30997931 10060525568 237965 33554432000 1073741824 1073778376 140737320214848 140219242288888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30957] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30957/stat : 30957 (java) S 30941 30944 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30997931 10060525568 237965 33554432000 1073741824 1073778376 140737320214848 140219241235976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30958] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7

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

/proc/30944/task/30949/stat : 30949 (java) S 30941 30944 29682 0 -1 4202560 443 0 0 0 264 6 0 0 20 0 22 0 30997930 10060525568 510439 33554432000 1073741824 1073778376 140737320214848 140219260803880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30944/tid=30950] ppid=30941 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/30944/task/30950/stat : 30950 (java) S 30941 30944 29682 0 -1 4202560 440 0 0 0 280 7 0 0 20 0 22 0 30997930 10060525568 510439 33554432000 1073741824 1073778376 140737320214848 140219259751080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30951] ppid=30941 vsize=9824732 CPUtime=2.88 cores=1,3,5,7
/proc/30944/task/30951/stat : 30951 (java) S 30941 30944 29682 0 -1 4202560 434 0 0 0 281 7 0 0 20 0 22 0 30997930 10060525568 510439 33554432000 1073741824 1073778376 140737320214848 140219258698280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30944/tid=30952] ppid=30941 vsize=9824732 CPUtime=3.03 cores=1,3,5,7
/proc/30944/task/30952/stat : 30952 (java) S 30941 30944 29682 0 -1 4202560 534 0 0 0 295 8 0 0 20 0 22 0 30997930 10060525568 510439 33554432000 1073741824 1073778376 140737320214848 140219257645480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30953] ppid=30941 vsize=9824732 CPUtime=2.86 cores=1,3,5,7
/proc/30944/task/30953/stat : 30953 (java) S 30941 30944 29682 0 -1 4202560 513 0 0 0 276 10 0 0 20 0 22 0 30997930 10060525568 510439 33554432000 1073741824 1073778376 140737320214848 140219256592680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30954] ppid=30941 vsize=9824732 CPUtime=2.86 cores=1,3,5,7
/proc/30944/task/30954/stat : 30954 (java) S 30941 30944 29682 0 -1 4202560 490 0 0 0 276 10 0 0 20 0 22 0 30997930 10060525568 510439 33554432000 1073741824 1073778376 140737320214848 140219255539880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30955] ppid=30941 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/30944/task/30955/stat : 30955 (java) S 30941 30944 29682 0 -1 4202560 4692 0 0 0 214 39 0 0 20 0 22 0 30997931 10060525568 510439 33554432000 1073741824 1073778376 140737320214848 140219243342824 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30956] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30956/stat : 30956 (java) S 30941 30944 29682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30997931 10060525568 510439 33554432000 1073741824 1073778376 140737320214848 140219242288888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30957] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30957/stat : 30957 (java) S 30941 30944 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30997931 10060525568 510439 33554432000 1073741824 1073778376 140737320214848 140219241235976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30958] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30958/stat : 30958 (java) S 30941 30944 29682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30997933 10060525568 510439 33554432000 1073741824 1073778376 140737320214848 140219240184464 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30959] ppid=30941 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/30944/task/30959/stat : 30959 (java) S 30941 30944 29682 0 -1 4202560 8096 0 0 0 107 2 0 0 20 0 22 0 30997933 10060525568 510439 33554432000 1073741824 1073778376 140737320214848 140219239131576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30944/tid=30960] ppid=30941 vsize=9824732 CPUtime=1.49 cores=1,3,5,7
/proc/30944/task/30960/stat : 30960 (java) S 30941 30944 29682 0 -1 4202560 7190 0 0 0 147 2 0 0 20 0 22 0 30997933 10060525568 510439 33554432000 1073741824 1073778376 140737320214848 140219238078776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30961] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30961/stat : 30961 (java) S 30941 30944 29682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30997934 10060525568 510439 33554432000 1073741824 1073778376 140737320214848 140219237026168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30962] ppid=30941 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/30944/task/30962/stat : 30962 (java) S 30941 30944 29682 0 -1 4202560 51 0 0 0 12 24 0 0 20 0 22 0 30997934 10060525568 510439 33554432000 1073741824 1073778376 140737320214848 140219235973576 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30963] ppid=30941 vsize=9824732 CPUtime=869.02 cores=1,3,5,7
/proc/30944/task/30963/stat : 30963 (java) R 30941 30944 29682 0 -1 4202560 121 0 0 0 86885 17 0 0 20 0 22 0 30998120 10060525568 510439 33554432000 1073741824 1073778376 140737320214848 140219234918432 140219291434828 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30964] ppid=30941 vsize=9824732 CPUtime=869.06 cores=1,3,5,7
/proc/30944/task/30964/stat : 30964 (java) R 30941 30944 29682 0 -1 4202560 2203 0 0 0 86854 52 0 0 20 0 22 0 30998120 10060525568 510439 33554432000 1073741824 1073778376 140737320214848 140219233864720 140219291268326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30965] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30965/stat : 30965 (java) S 30941 30944 29682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30998121 10060525568 510439 33554432000 1073741824 1073778376 140737320214848 140219232814504 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30966] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30966/stat : 30966 (java) S 30941 30944 29682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 30998121 10060525568 510439 33554432000 1073741824 1073778376 140737320214848 140219231761704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1772.41
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+896.101 s]
/proc/loadavg: 4.00 3.98 3.09 6/219 31133
/proc/meminfo: memFree=27741188/32872528 swapFree=1074772/1156532
[pid=30944] ppid=30941 vsize=9824732 CPUtime=1800.17 cores=1,3,5,7
/proc/30944/stat : 30944 (java) S 30941 30944 29682 0 -1 4202496 30009 0 1 0 179838 179 0 0 20 0 22 0 30997928 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140737320205984 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30944/statm: 2456183 524938 2300 9 0 2446860 0
[pid=30944/tid=30945] ppid=30941 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/30944/task/30945/stat : 30945 (java) S 30941 30944 29682 0 -1 4202560 2552 0 1 0 170 9 0 0 20 0 22 0 30997929 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219419599736 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30947] ppid=30941 vsize=9824732 CPUtime=2.74 cores=1,3,5,7
/proc/30944/task/30947/stat : 30947 (java) S 30941 30944 29682 0 -1 4202560 514 0 0 0 268 6 0 0 20 0 22 0 30997930 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219262909480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30944/tid=30948] ppid=30941 vsize=9824732 CPUtime=2.88 cores=1,3,5,7
/proc/30944/task/30948/stat : 30948 (java) S 30941 30944 29682 0 -1 4202560 379 0 0 0 279 9 0 0 20 0 22 0 30997930 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219261856680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30949] ppid=30941 vsize=9824732 CPUtime=2.73 cores=1,3,5,7
/proc/30944/task/30949/stat : 30949 (java) S 30941 30944 29682 0 -1 4202560 446 0 0 0 267 6 0 0 20 0 22 0 30997930 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219260803880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30950] ppid=30941 vsize=9824732 CPUtime=2.9 cores=1,3,5,7
/proc/30944/task/30950/stat : 30950 (java) S 30941 30944 29682 0 -1 4202560 440 0 0 0 283 7 0 0 20 0 22 0 30997930 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219259751080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30951] ppid=30941 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/30944/task/30951/stat : 30951 (java) S 30941 30944 29682 0 -1 4202560 441 0 0 0 286 7 0 0 20 0 22 0 30997930 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219258698280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30944/tid=30952] ppid=30941 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/30944/task/30952/stat : 30952 (java) S 30941 30944 29682 0 -1 4202560 541 0 0 0 302 8 0 0 20 0 22 0 30997930 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219257645480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30953] ppid=30941 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/30944/task/30953/stat : 30953 (java) S 30941 30944 29682 0 -1 4202560 521 0 0 0 282 11 0 0 20 0 22 0 30997930 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219256592680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30944/tid=30954] ppid=30941 vsize=9824732 CPUtime=2.9 cores=1,3,5,7
/proc/30944/task/30954/stat : 30954 (java) S 30941 30944 29682 0 -1 4202560 491 0 0 0 280 10 0 0 20 0 22 0 30997930 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219255539880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30955] ppid=30941 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/30944/task/30955/stat : 30955 (java) S 30941 30944 29682 0 -1 4202560 4730 0 0 0 214 39 0 0 20 0 22 0 30997931 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219243342824 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30956] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30956/stat : 30956 (java) S 30941 30944 29682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30997931 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219242288888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30957] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30957/stat : 30957 (java) S 30941 30944 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30997931 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219241235976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30958] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30958/stat : 30958 (java) S 30941 30944 29682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30997933 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219240184464 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30959] ppid=30941 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/30944/task/30959/stat : 30959 (java) S 30941 30944 29682 0 -1 4202560 8096 0 0 0 107 2 0 0 20 0 22 0 30997933 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219239131576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30944/tid=30960] ppid=30941 vsize=9824732 CPUtime=1.49 cores=1,3,5,7
/proc/30944/task/30960/stat : 30960 (java) S 30941 30944 29682 0 -1 4202560 7190 0 0 0 147 2 0 0 20 0 22 0 30997933 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219238078776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30961] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30961/stat : 30961 (java) S 30941 30944 29682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30997934 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219237026168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30962] ppid=30941 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/30944/task/30962/stat : 30962 (java) S 30941 30944 29682 0 -1 4202560 51 0 0 0 12 24 0 0 20 0 22 0 30997934 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219235973576 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30963] ppid=30941 vsize=9824732 CPUtime=882.66 cores=1,3,5,7
/proc/30944/task/30963/stat : 30963 (java) R 30941 30944 29682 0 -1 4202560 122 0 0 0 88249 17 0 0 20 0 22 0 30998120 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219234917680 140219291741585 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30964] ppid=30941 vsize=9824732 CPUtime=882.7 cores=1,3,5,7
/proc/30944/task/30964/stat : 30964 (java) R 30941 30944 29682 0 -1 4202560 2227 0 0 0 88217 53 0 0 20 0 22 0 30998120 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219233865584 140219291561447 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30965] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30965/stat : 30965 (java) S 30941 30944 29682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30998121 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219232814504 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30966] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30966/stat : 30966 (java) S 30941 30944 29682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 30998121 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219231761704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 9824732

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

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

[startup+896.101 s]
/proc/loadavg: 4.00 3.98 3.09 6/219 31133
/proc/meminfo: memFree=27741188/32872528 swapFree=1074772/1156532
[pid=30944] ppid=30941 vsize=9824732 CPUtime=1800.17 cores=1,3,5,7
/proc/30944/stat : 30944 (java) S 30941 30944 29682 0 -1 4202496 30009 0 1 0 179838 179 0 0 20 0 22 0 30997928 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140737320205984 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30944/statm: 2456183 524938 2300 9 0 2446860 0
[pid=30944/tid=30945] ppid=30941 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/30944/task/30945/stat : 30945 (java) S 30941 30944 29682 0 -1 4202560 2552 0 1 0 170 9 0 0 20 0 22 0 30997929 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219419599736 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30947] ppid=30941 vsize=9824732 CPUtime=2.74 cores=1,3,5,7
/proc/30944/task/30947/stat : 30947 (java) S 30941 30944 29682 0 -1 4202560 514 0 0 0 268 6 0 0 20 0 22 0 30997930 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219262909480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30944/tid=30948] ppid=30941 vsize=9824732 CPUtime=2.88 cores=1,3,5,7
/proc/30944/task/30948/stat : 30948 (java) S 30941 30944 29682 0 -1 4202560 379 0 0 0 279 9 0 0 20 0 22 0 30997930 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219261856680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30949] ppid=30941 vsize=9824732 CPUtime=2.73 cores=1,3,5,7
/proc/30944/task/30949/stat : 30949 (java) S 30941 30944 29682 0 -1 4202560 446 0 0 0 267 6 0 0 20 0 22 0 30997930 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219260803880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30950] ppid=30941 vsize=9824732 CPUtime=2.9 cores=1,3,5,7
/proc/30944/task/30950/stat : 30950 (java) S 30941 30944 29682 0 -1 4202560 440 0 0 0 283 7 0 0 20 0 22 0 30997930 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219259751080 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30951] ppid=30941 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/30944/task/30951/stat : 30951 (java) S 30941 30944 29682 0 -1 4202560 441 0 0 0 286 7 0 0 20 0 22 0 30997930 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219258698280 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30944/tid=30952] ppid=30941 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/30944/task/30952/stat : 30952 (java) S 30941 30944 29682 0 -1 4202560 541 0 0 0 302 8 0 0 20 0 22 0 30997930 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219257645480 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30953] ppid=30941 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/30944/task/30953/stat : 30953 (java) S 30941 30944 29682 0 -1 4202560 521 0 0 0 282 11 0 0 20 0 22 0 30997930 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219256592680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30944/tid=30954] ppid=30941 vsize=9824732 CPUtime=2.9 cores=1,3,5,7
/proc/30944/task/30954/stat : 30954 (java) S 30941 30944 29682 0 -1 4202560 491 0 0 0 280 10 0 0 20 0 22 0 30997930 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219255539880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30955] ppid=30941 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/30944/task/30955/stat : 30955 (java) S 30941 30944 29682 0 -1 4202560 4730 0 0 0 214 39 0 0 20 0 22 0 30997931 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219243342824 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30956] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30956/stat : 30956 (java) S 30941 30944 29682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30997931 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219242288888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30957] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30957/stat : 30957 (java) S 30941 30944 29682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30997931 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219241235976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30958] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30958/stat : 30958 (java) S 30941 30944 29682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30997933 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219240184464 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30944/tid=30959] ppid=30941 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/30944/task/30959/stat : 30959 (java) S 30941 30944 29682 0 -1 4202560 8096 0 0 0 107 2 0 0 20 0 22 0 30997933 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219239131576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30944/tid=30960] ppid=30941 vsize=9824732 CPUtime=1.49 cores=1,3,5,7
/proc/30944/task/30960/stat : 30960 (java) S 30941 30944 29682 0 -1 4202560 7190 0 0 0 147 2 0 0 20 0 22 0 30997933 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219238078776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30961] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30961/stat : 30961 (java) S 30941 30944 29682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30997934 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219237026168 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30962] ppid=30941 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/30944/task/30962/stat : 30962 (java) S 30941 30944 29682 0 -1 4202560 51 0 0 0 12 24 0 0 20 0 22 0 30997934 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219235973576 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30963] ppid=30941 vsize=9824732 CPUtime=882.66 cores=1,3,5,7
/proc/30944/task/30963/stat : 30963 (java) R 30941 30944 29682 0 -1 4202560 122 0 0 0 88249 17 0 0 20 0 22 0 30998120 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219234917680 140219291741585 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30964] ppid=30941 vsize=9824732 CPUtime=882.7 cores=1,3,5,7
/proc/30944/task/30964/stat : 30964 (java) R 30941 30944 29682 0 -1 4202560 2227 0 0 0 88217 53 0 0 20 0 22 0 30998120 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219233865584 140219291561447 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30944/tid=30965] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30965/stat : 30965 (java) S 30941 30944 29682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30998121 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219232814504 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30944/tid=30966] ppid=30941 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30944/task/30966/stat : 30966 (java) S 30941 30944 29682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 30998121 10060525568 524938 33554432000 1073741824 1073778376 140737320214848 140219231761704 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30944 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=948278
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=280653
# CPU time returned by wait4() is 1796.23
# while last known CPU time is 1800.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 896.178
CPU time (s): 1800.17
CPU user time (s): 1798.38
CPU system time (s): 1.79
CPU usage (%): 200.872
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.95
system time used= 2.28065
maximum resident set size= 2814940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30043
page faults= 1
swaps= 0
block input operations= 8
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32153
involuntary context switches= 49007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9241 second user time and 7.35488 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-19 00:38:07
IDJOB=4108954
IDBENCH=89757
IDSOLVER=2543
FILE ID=node114/4108954-1466289487
RUNJOBID= node114-1466289484-30826
PBS_JOBID= 19918267
Free space on /tmp= 71712 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-27.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108954-1466289487/watcher-4108954-1466289487 -o /tmp/evaluation-result-4108954-1466289487/solver-4108954-1466289487 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466289484-30826 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4108954-1466289487.opb

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

MD5SUM BENCH= c3ba46c0ae63598a4f58d494ccf9f418
RANDOM SEED=230568566

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.761
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:        30257740 kB
Buffers:          108684 kB
Cached:           187732 kB
SwapCached:          800 kB
Active:           497436 kB
Inactive:         211052 kB
Active(anon):     412960 kB
Inactive(anon):     1668 kB
Active(file):      84476 kB
Inactive(file):   209384 kB
Unevictable:     1156532 kB
Mlocked:         1074772 kB
SwapTotal:      67108856 kB
SwapFree:       67100508 kB
Dirty:             14580 kB
Writeback:             0 kB
AnonPages:       1545672 kB
Mapped:            16400 kB
Shmem:                 0 kB
Slab:             610396 kB
SReclaimable:      53400 kB
SUnreclaim:       556996 kB
KernelStack:        1784 kB
PageTables:         7056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2233416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    436224 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= 71696 MiB
End job on node114 at 2016-06-19 00:53:03