Trace number 4098315

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.04 1795.54

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_12.opb
MD5SUM88c077ef261c9c72be220a244f8093f6
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5852
Total number of constraints28581
Number of constraints which are clauses28576
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint76
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 12
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 88
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.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 --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
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 No 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.minisat.core.VoidTracing@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4098315-1466120158.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  no objective function found
1.38/0.91	c ... done. Wall clock time 0.803s.
1.38/0.91	c declared #vars     5852
1.38/0.91	c #constraints  28585
1.38/0.91	c constraints type 
1.38/0.91	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17100
1.38/0.91	c org.sat4j.specs.Constr$1 => 4
1.38/0.91	c org.sat4j.minisat.constraints.card.MinWatchCard => 3
1.38/0.91	c org.sat4j.minisat.constraints.cnf.UnitClause => 3
1.38/0.91	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11475
1.38/0.91	c 28585 constraints processed.
3.85/3.15	c cleaning 2499 clauses out of 5000 with flag 48955/5000
6.21/5.48	c cleaning 4241 clauses out of 8502 with flag 103672/11001
9.11/8.31	c cleaning 5625 clauses out of 11262 with flag 170404/18002
12.02/11.22	c cleaning 6818 clauses out of 13635 with flag 224233/26000
14.83/14.09	c cleaning 7901 clauses out of 15817 with flag 282203/35000
18.56/17.78	c cleaning 8954 clauses out of 17918 with flag 347804/45002
22.86/22.08	c cleaning 9981 clauses out of 19964 with flag 439852/56002
27.55/26.75	c cleaning 10990 clauses out of 21981 with flag 534045/68000
32.15/31.35	c cleaning 11992 clauses out of 23992 with flag 632687/81001
36.85/36.00	c cleaning 12995 clauses out of 26002 with flag 720192/95003
42.36/41.57	c cleaning 14002 clauses out of 28006 with flag 843538/110002
47.66/46.89	c cleaning 14998 clauses out of 30002 with flag 965724/126000
53.96/53.15	c cleaning 16001 clauses out of 32006 with flag 1080927/143002
60.16/59.38	c cleaning 16995 clauses out of 34003 with flag 1206579/161000
66.86/66.09	c cleaning 18000 clauses out of 36012 with flag 1335282/180004
74.56/73.73	c cleaning 19000 clauses out of 38008 with flag 1489996/200000
82.15/81.30	c cleaning 19999 clauses out of 40010 with flag 1646619/221002
89.15/88.36	c cleaning 20996 clauses out of 42010 with flag 1793212/243001
97.03/96.17	c cleaning 21977 clauses out of 44013 with flag 1970127/266000
105.54/104.60	c cleaning 23016 clauses out of 46037 with flag 2146261/290001
113.83/112.90	c cleaning 24003 clauses out of 48021 with flag 2331862/315001
122.13/121.26	c cleaning 25003 clauses out of 50017 with flag 2512925/341000
130.93/130.09	c cleaning 26001 clauses out of 52018 with flag 2689001/368004
139.73/138.80	c cleaning 27004 clauses out of 54015 with flag 2879968/396002
148.56/147.66	c cleaning 27996 clauses out of 56012 with flag 3068219/425003
157.46/156.51	c cleaning 29002 clauses out of 58014 with flag 3244755/455001
167.26/166.30	c cleaning 29983 clauses out of 60011 with flag 3442266/486000
179.26/178.31	c cleaning 31001 clauses out of 62028 with flag 3669271/518000
191.05/190.14	c cleaning 31999 clauses out of 64028 with flag 3896147/551001
205.21/204.20	c cleaning 32984 clauses out of 66031 with flag 4164685/585003
217.73/216.76	c cleaning 34021 clauses out of 68046 with flag 4418441/620002
231.32/230.38	c cleaning 34999 clauses out of 70025 with flag 4687410/656002
244.71/243.76	c cleaning 36001 clauses out of 72024 with flag 4951655/693000
257.42/256.47	c cleaning 37009 clauses out of 74028 with flag 5226908/731005
271.41/270.46	c cleaning 38006 clauses out of 76017 with flag 5503650/770003
284.52/283.44	c cleaning 38997 clauses out of 78010 with flag 5779774/810002
299.42/298.32	c cleaning 39991 clauses out of 80011 with flag 6074862/851000
315.72/314.61	c cleaning 40994 clauses out of 82021 with flag 6393930/893001
332.41/331.35	c cleaning 42010 clauses out of 84026 with flag 6730530/936000
348.32/347.23	c cleaning 42999 clauses out of 86016 with flag 7039147/980000
365.68/364.50	c cleaning 43965 clauses out of 88017 with flag 7423560/1025000
381.79/380.69	c cleaning 45014 clauses out of 90052 with flag 7785894/1071000
397.49/396.32	c cleaning 46010 clauses out of 92039 with flag 8130694/1118001
412.19/411.03	c cleaning 47006 clauses out of 94030 with flag 8456029/1166002
428.09/426.87	c cleaning 47977 clauses out of 96022 with flag 8794632/1215000
444.04/442.66	c cleaning 49014 clauses out of 98045 with flag 9126887/1265000
462.15/460.73	c cleaning 50013 clauses out of 100036 with flag 9487444/1316005
481.75/480.38	c cleaning 50956 clauses out of 102018 with flag 9873295/1368000
500.53/498.95	c cleaning 51994 clauses out of 104062 with flag 10272375/1421000
520.73/519.12	c cleaning 53021 clauses out of 106068 with flag 10724067/1475000
541.23/539.63	c cleaning 53989 clauses out of 108049 with flag 11156046/1530002
561.04/559.28	c cleaning 55000 clauses out of 110058 with flag 11557464/1586000
580.45/578.67	c cleaning 56019 clauses out of 112058 with flag 11958761/1643000
599.04/597.20	c cleaning 57010 clauses out of 114042 with flag 12343016/1701003
620.54/618.54	c cleaning 58009 clauses out of 116029 with flag 12786768/1760000
643.24/641.27	c cleaning 59001 clauses out of 118020 with flag 13263727/1820000
664.85/662.75	c cleaning 59996 clauses out of 120019 with flag 13699808/1881000
686.46/684.32	c cleaning 61002 clauses out of 122023 with flag 14127837/1943000
709.28/707.03	c cleaning 62000 clauses out of 124021 with flag 14589818/2006000
731.78/729.50	c cleaning 63004 clauses out of 126021 with flag 15040404/2070000
753.35/751.03	c cleaning 63995 clauses out of 128018 with flag 15466893/2135001
777.86/775.52	c cleaning 65002 clauses out of 130022 with flag 15922705/2201000
803.32/800.96	c cleaning 65993 clauses out of 132021 with flag 16396850/2268001
833.33/830.96	c cleaning 66997 clauses out of 134027 with flag 16962566/2336000
861.49/859.02	c cleaning 68000 clauses out of 136030 with flag 17476141/2405000
888.98/886.44	c cleaning 68987 clauses out of 138032 with flag 17983977/2475002
915.08/912.50	c cleaning 70011 clauses out of 140043 with flag 18462023/2546000
939.47/936.73	c cleaning 71006 clauses out of 142032 with flag 18893566/2618000
970.57/967.84	c cleaning 71984 clauses out of 144028 with flag 19470285/2691002
1001.55/998.72	c cleaning 73003 clauses out of 146042 with flag 20006360/2765000
1033.45/1030.60	c cleaning 73977 clauses out of 148039 with flag 20564553/2840000
1062.54/1059.64	c cleaning 74995 clauses out of 150062 with flag 21088295/2916000
1091.88/1088.93	c cleaning 76000 clauses out of 152068 with flag 21632493/2993001
1125.17/1122.14	c cleaning 77008 clauses out of 154068 with flag 22246030/3071001
1159.17/1156.13	c cleaning 78017 clauses out of 156060 with flag 22867648/3150001
1194.23/1191.11	c cleaning 79002 clauses out of 158043 with flag 23484149/3230001
1229.02/1225.84	c cleaning 80006 clauses out of 160040 with flag 24037692/3311000
1266.48/1263.21	c cleaning 80934 clauses out of 162034 with flag 24629090/3393000
1304.25/1300.94	c cleaning 82046 clauses out of 164102 with flag 25210421/3476002
1341.94/1338.60	c cleaning 83025 clauses out of 166055 with flag 25817606/3560001
1380.76/1377.43	c cleaning 84006 clauses out of 168032 with flag 26470089/3645003
1420.20/1416.90	c cleaning 85008 clauses out of 170025 with flag 27151355/3731002
1460.58/1457.14	c cleaning 85983 clauses out of 172016 with flag 27817705/3818001
1500.97/1497.51	c cleaning 86973 clauses out of 174032 with flag 28491747/3906000
1541.28/1537.72	c cleaning 88019 clauses out of 176059 with flag 29135178/3995000
1582.17/1578.58	c cleaning 89014 clauses out of 178045 with flag 29793428/4085005
1621.21/1617.59	c cleaning 89997 clauses out of 180026 with flag 30449965/4176000
1659.63/1655.86	c cleaning 90997 clauses out of 182029 with flag 31094705/4268000
1697.34/1693.38	c cleaning 92004 clauses out of 184033 with flag 31704103/4361001
1734.00/1729.85	c cleaning 93002 clauses out of 186029 with flag 32309594/4455001
1769.99/1765.56	c cleaning 93987 clauses out of 188026 with flag 32838282/4550000
1800.04/1795.50	c starts		: 14930
1800.04/1795.50	c conflicts		: 4617583
1800.04/1795.50	c decisions		: 44810699
1800.04/1795.50	c propagations		: 1458186575
1800.04/1795.50	c inspects		: 20493502985
1800.04/1795.50	c shortcuts		: 0
1800.04/1795.50	c learnt literals	: 0
1800.04/1795.50	c learnt binary clauses	: 0
1800.04/1795.50	c learnt ternary clauses	: 0
1800.04/1795.50	c learnt constraints	: 4617584
1800.04/1795.50	c ignored constraints	: 0
1800.04/1795.50	c root simplifications	: 0
1800.04/1795.50	c removed literals (reason simplification)	: 0
1800.04/1795.50	c reason swapping (by a shorter reason)	: 0
1800.04/1795.50	c Calls to reduceDB	: 91
1800.04/1795.50	c Number of update (reduction) of LBD	: 2540020
1800.04/1795.50	c timeout
1800.04/1795.50	c Imported unit clauses	: 0
1800.04/1795.50	c number of reductions to clauses (during analyze)	: 0
1800.04/1795.50	c number of learned constraints concerned by reduction	: 0
1800.04/1795.50	c number of learning phase by resolution	: 0
1800.04/1795.50	c number of learning phase by cutting planes	: 0
1800.04/1795.50	c speed (assignments/second)	: 812548.0682163285
1800.04/1795.50	c non guided choices	4651
1800.04/1795.53	c learnt constraints type 
1800.04/1795.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 161623
1800.04/1795.53	s UNKNOWN
1800.04/1795.53	c Total wall clock time (in seconds): 1795.423

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

pid=30237
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.19 2.09 1.91 2/194 30240
/proc/meminfo: memFree=30302072/32872528 swapFree=1073984/1155744
[pid=30240] ppid=30237 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/30240/stat : 30240 (java) S 30237 30240 27601 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 14065021 98570240 978 33554432000 1073741824 1073778376 140735119394624 140735119385760 219517321277 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30240/statm: 24065 978 744 9 0 16771 0
[pid=30240/tid=30241] ppid=30237 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30241/stat : 30241 (java) R 30237 30240 27601 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 14065022 98570240 978 33554432000 1073741824 1073778376 140735119394624 140248166825512 219513963904 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100114 s]
/proc/loadavg: 2.19 2.09 1.91 2/194 30240
/proc/meminfo: memFree=30302072/32872528 swapFree=1073984/1155744
[pid=30240] ppid=30237 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/30240/stat : 30240 (java) S 30237 30240 27601 0 -1 4202496 4437 0 1 0 9 1 0 0 20 0 18 0 14065021 9787879424 6064 33554432000 1073741824 1073778376 140735119394624 140735119385760 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30240/statm: 2389619 6065 2140 9 0 2380296 0
[pid=30240/tid=30241] ppid=30237 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/30240/task/30241/stat : 30241 (java) R 30237 30240 27601 0 -1 4202560 2377 0 1 0 7 0 0 0 20 0 18 0 14065022 9787879424 6068 33554432000 1073741824 1073778376 140735119394624 140248166828960 219517347085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200315 s]
/proc/loadavg: 2.19 2.09 1.91 2/194 30240
/proc/meminfo: memFree=30302072/32872528 swapFree=1073984/1155744
[pid=30240] ppid=30237 vsize=9558476 CPUtime=0.3 cores=0,2,4,6
/proc/30240/stat : 30240 (java) S 30237 30240 27601 0 -1 4202496 5089 0 1 0 29 1 0 0 20 0 18 0 14065021 9787879424 6871 33554432000 1073741824 1073778376 140735119394624 140735119385760 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30240/statm: 2389619 6871 2217 9 0 2380296 0
[pid=30240/tid=30241] ppid=30237 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/30240/task/30241/stat : 30241 (java) R 30237 30240 27601 0 -1 4202560 2397 0 1 0 17 0 0 0 20 0 18 0 14065022 9787879424 6871 33554432000 1073741824 1073778376 140735119394624 140248166828960 140248013191628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476

[startup+0.300314 s]
/proc/loadavg: 2.19 2.09 1.91 2/194 30240
/proc/meminfo: memFree=30302072/32872528 swapFree=1073984/1155744
[pid=30240] ppid=30237 vsize=9558476 CPUtime=0.57 cores=0,2,4,6
/proc/30240/stat : 30240 (java) S 30237 30240 27601 0 -1 4202496 7260 0 1 0 55 2 0 0 20 0 18 0 14065021 9787879424 10770 33554432000 1073741824 1073778376 140735119394624 140735119385760 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30240/statm: 2389619 10770 2236 9 0 2380296 0
[pid=30240/tid=30241] ppid=30237 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/30240/task/30241/stat : 30241 (java) R 30237 30240 27601 0 -1 4202560 2402 0 1 0 26 1 0 0 20 0 18 0 14065022 9787879424 10770 33554432000 1073741824 1073778376 140735119394624 140248166828960 140248013488294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558476

[startup+0.700283 s]
/proc/loadavg: 2.19 2.09 1.91 2/194 30240
/proc/meminfo: memFree=30302072/32872528 swapFree=1073984/1155744
[pid=30240] ppid=30237 vsize=9558476 CPUtime=0.98 cores=0,2,4,6
/proc/30240/stat : 30240 (java) S 30237 30240 27601 0 -1 4202496 7445 0 1 0 95 3 0 0 20 0 18 0 14065021 9787879424 39980 33554432000 1073741824 1073778376 140735119394624 140735119385760 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30240/statm: 2389619 39980 2256 9 0 2380296 0
[pid=30240/tid=30241] ppid=30237 vsize=9558476 CPUtime=0.67 cores=0,2,4,6
/proc/30240/task/30241/stat : 30241 (java) R 30237 30240 27601 0 -1 4202560 2462 0 1 0 64 3 0 0 20 0 18 0 14065022 9787879424 39980 33554432000 1073741824 1073778376 140735119394624 140248166821808 140248013623929 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 9558476

[startup+1.50073 s]
/proc/loadavg: 2.19 2.09 1.91 3/213 30259
/proc/meminfo: memFree=30146176/32872528 swapFree=1073984/1155744
[pid=30240] ppid=30237 vsize=9625040 CPUtime=2.21 cores=0,2,4,6
/proc/30240/stat : 30240 (java) S 30237 30240 27601 0 -1 4202496 8793 0 1 0 217 4 0 0 20 0 19 0 14065021 9856040960 41152 33554432000 1073741824 1073778376 140735119394624 140735119385760 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30240/statm: 2406260 41152 2280 9 0 2396937 0
[pid=30240/tid=30241] ppid=30237 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/30240/task/30241/stat : 30241 (java) R 30237 30240 27601 0 -1 4202560 2477 0 1 0 144 3 0 0 20 0 19 0 14065022 9856040960 41152 33554432000 1073741824 1073778376 140735119394624 140248166830360 140248013755475 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30243] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30243/stat : 30243 (java) S 30237 30240 27601 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 41152 33554432000 1073741824 1073778376 140735119394624 140248139283496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30244] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30244/stat : 30244 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 41152 33554432000 1073741824 1073778376 140735119394624 140248138230696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30245] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30245/stat : 30245 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 41152 33554432000 1073741824 1073778376 140735119394624 140248137177896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30240/tid=30246] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30246/stat : 30246 (java) S 30237 30240 27601 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 41152 33554432000 1073741824 1073778376 140735119394624 140248136125096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30247] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30247/stat : 30247 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 41152 33554432000 1073741824 1073778376 140735119394624 140248135072296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30248] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30248/stat : 30248 (java) S 30237 30240 27601 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 41152 33554432000 1073741824 1073778376 140735119394624 140248134019496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30249] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30249/stat : 30249 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 41152 33554432000 1073741824 1073778376 140735119394624 140248132966696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30250] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30250/stat : 30250 (java) S 30237 30240 27601 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 41152 33554432000 1073741824 1073778376 140735119394624 140248131913896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30240/tid=30251] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30251/stat : 30251 (java) S 30237 30240 27601 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 14065024 9856040960 41152 33554432000 1073741824 1073778376 140735119394624 140247520218088 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30252] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30252/stat : 30252 (java) S 30237 30240 27601 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 14065024 9856040960 41152 33554432000 1073741824 1073778376 140735119394624 140247519164152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30253] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30253/stat : 30253 (java) S 30237 30240 27601 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 14065024 9856040960 41152 33554432000 1073741824 1073778376 140735119394624 140247518111240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30254] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30254/stat : 30254 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065026 9856040960 41152 33554432000 1073741824 1073778376 140735119394624 140247517059728 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30255] ppid=30237 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/30240/task/30255/stat : 30255 (java) S 30237 30240 27601 0 -1 4202560 2575 0 0 0 36 0 0 0 20 0 19 0 14065026 9856040960 41152 33554432000 1073741824 1073778376 140735119394624 140247516006840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30256] ppid=30237 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/30240/task/30256/stat : 30256 (java) S 30237 30240 27601 0 -1 4202560 2449 0 0 0 32 0 0 0 20 0 19 0 14065026 9856040960 41152 33554432000 1073741824 1073778376 140735119394624 140247514954040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30257] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30257/stat : 30257 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065026 9856040960 41152 33554432000 1073741824 1073778376 140735119394624 140247513901432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30240/tid=30258] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30258/stat : 30258 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065026 9856040960 41152 33554432000 1073741824 1073778376 140735119394624 140247512848840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30259] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30259/stat : 30259 (java) S 30237 30240 27601 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 14065113 9856040960 41152 33554432000 1073741824 1073778376 140735119394624 140247511795368 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 9625040

[startup+3.10074 s]
/proc/loadavg: 2.19 2.09 1.91 3/213 30259
/proc/meminfo: memFree=30145300/32872528 swapFree=1073984/1155744
[pid=30240] ppid=30237 vsize=9625040 CPUtime=3.85 cores=0,2,4,6
/proc/30240/stat : 30240 (java) S 30237 30240 27601 0 -1 4202496 9334 0 1 0 381 4 0 0 20 0 19 0 14065021 9856040960 41154 33554432000 1073741824 1073778376 140735119394624 140735119385760 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30240/statm: 2406260 41154 2281 9 0 2396937 0
[pid=30240/tid=30241] ppid=30237 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/30240/task/30241/stat : 30241 (java) R 30237 30240 27601 0 -1 4202560 2478 0 1 0 304 3 0 0 20 0 19 0 14065022 9856040960 41154 33554432000 1073741824 1073778376 140735119394624 140248166830632 140248013701863 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30243] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30243/stat : 30243 (java) S 30237 30240 27601 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 41154 33554432000 1073741824 1073778376 140735119394624 140248139283496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30244] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30244/stat : 30244 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 41154 33554432000 1073741824 1073778376 140735119394624 140248138230696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30245] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30245/stat : 30245 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 41154 33554432000 1073741824 1073778376 140735119394624 140248137177896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30240/tid=30246] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30246/stat : 30246 (java) S 30237 30240 27601 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 41154 33554432000 1073741824 1073778376 140735119394624 140248136125096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30247] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30247/stat : 30247 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 41154 33554432000 1073741824 1073778376 140735119394624 140248135072296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30248] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30248/stat : 30248 (java) S 30237 30240 27601 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 41154 33554432000 1073741824 1073778376 140735119394624 140248134019496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30249] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30249/stat : 30249 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 41154 33554432000 1073741824 1073778376 140735119394624 140248132966696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30250] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30250/stat : 30250 (java) S 30237 30240 27601 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 41154 33554432000 1073741824 1073778376 140735119394624 140248131913896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30240/tid=30251] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30251/stat : 30251 (java) S 30237 30240 27601 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 14065024 9856040960 41154 33554432000 1073741824 1073778376 140735119394624 140247520218088 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30252] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30252/stat : 30252 (java) S 30237 30240 27601 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 14065024 9856040960 41154 33554432000 1073741824 1073778376 140735119394624 140247519164152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30253] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30253/stat : 30253 (java) S 30237 30240 27601 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 14065024 9856040960 41154 33554432000 1073741824 1073778376 140735119394624 140247518111240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30254] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30254/stat : 30254 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065026 9856040960 41154 33554432000 1073741824 1073778376 140735119394624 140247517059728 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30255] ppid=30237 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/30240/task/30255/stat : 30255 (java) S 30237 30240 27601 0 -1 4202560 2575 0 0 0 37 0 0 0 20 0 19 0 14065026 9856040960 41154 33554432000 1073741824 1073778376 140735119394624 140247516006840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30256] ppid=30237 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/30240/task/30256/stat : 30256 (java) S 30237 30240 27601 0 -1 4202560 2988 0 0 0 36 0 0 0 20 0 19 0 14065026 9856040960 41154 33554432000 1073741824 1073778376 140735119394624 140247514954040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30257] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30257/stat : 30257 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065026 9856040960 41154 33554432000 1073741824 1073778376 140735119394624 140247513901432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30240/tid=30258] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30258/stat : 30258 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065026 9856040960 41154 33554432000 1073741824 1073778376 140735119394624 140247512848840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30259] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30259/stat : 30259 (java) S 30237 30240 27601 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 14065113 9856040960 41154 33554432000 1073741824 1073778376 140735119394624 140247511795368 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 9625040

[startup+6.30076 s]
/proc/loadavg: 2.18 2.09 1.91 3/213 30259
/proc/meminfo: memFree=30145096/32872528 swapFree=1073984/1155744
[pid=30240] ppid=30237 vsize=9625040 CPUtime=7.11 cores=0,2,4,6
/proc/30240/stat : 30240 (java) S 30237 30240 27601 0 -1 4202496 9344 0 1 0 707 4 0 0 20 0 19 0 14065021 9856040960 40920 33554432000 1073741824 1073778376 140735119394624 140735119385760 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30240/statm: 2406260 40920 2285 9 0 2396937 0
[pid=30240/tid=30241] ppid=30237 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/30240/task/30241/stat : 30241 (java) R 30237 30240 27601 0 -1 4202560 2481 0 1 0 623 3 0 0 20 0 19 0 14065022 9856040960 40920 33554432000 1073741824 1073778376 140735119394624 140248166830632 140248013838784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30243] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30243/stat : 30243 (java) S 30237 30240 27601 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 40920 33554432000 1073741824 1073778376 140735119394624 140248139283496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30244] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30244/stat : 30244 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 40920 33554432000 1073741824 1073778376 140735119394624 140248138230696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30245] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30245/stat : 30245 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 40920 33554432000 1073741824 1073778376 140735119394624 140248137177896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30240/tid=30246] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30246/stat : 30246 (java) S 30237 30240 27601 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 40920 33554432000 1073741824 1073778376 140735119394624 140248136125096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30247] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30247/stat : 30247 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 40920 33554432000 1073741824 1073778376 140735119394624 140248135072296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30248] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30248/stat : 30248 (java) S 30237 30240 27601 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 40920 33554432000 1073741824 1073778376 140735119394624 140248134019496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30249] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30249/stat : 30249 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 40920 33554432000 1073741824 1073778376 140735119394624 140248132966696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30250] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30250/stat : 30250 (java) S 30237 30240 27601 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 14065022 9856040960 40920 33554432000 1073741824 1073778376 140735119394624 140248131913896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30240/tid=30251] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30251/stat : 30251 (java) S 30237 30240 27601 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 14065024 9856040960 40920 33554432000 1073741824 1073778376 140735119394624 140247520218088 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30252] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30252/stat : 30252 (java) S 30237 30240 27601 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 14065024 9856040960 40920 33554432000 1073741824 1073778376 140735119394624 140247519164152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30253] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30253/stat : 30253 (java) S 30237 30240 27601 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 14065024 9856040960 40920 33554432000 1073741824 1073778376 140735119394624 140247518111240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30254] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30254/stat : 30254 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065026 9856040960 40920 33554432000 1073741824 1073778376 140735119394624 140247517059728 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30255] ppid=30237 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/30240/task/30255/stat : 30255 (java) S 30237 30240 27601 0 -1 4202560 2579 0 0 0 40 0 0 0 20 0 19 0 14065026 9856040960 40920 33554432000 1073741824 1073778376 140735119394624 140247516006840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30256] ppid=30237 vsize=9625040 CPUtime=0.39 cores=0,2,4,6

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

[pid=30240/tid=30259] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30259/stat : 30259 (java) S 30237 30240 27601 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 14065113 9856040960 102358 33554432000 1073741824 1073778376 140735119394624 140247511795368 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1726.5
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 1.32 1.33 1.61 2/188 30358
/proc/meminfo: memFree=30272876/32872528 swapFree=1073984/1155744
[pid=30240] ppid=30237 vsize=9625040 CPUtime=1786.78 cores=0,2,4,6
/proc/30240/stat : 30240 (java) S 30237 30240 27601 0 -1 4202496 13087 0 1 0 178594 84 0 0 20 0 19 0 14065021 9856040960 115966 33554432000 1073741824 1073778376 140735119394624 140735119385760 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30240/statm: 2406260 115966 2294 9 0 2396937 0
[pid=30240/tid=30241] ppid=30237 vsize=9625040 CPUtime=1775.65 cores=0,2,4,6
/proc/30240/task/30241/stat : 30241 (java) R 30237 30240 27601 0 -1 4202560 2526 0 1 0 177534 31 0 0 20 0 19 0 14065022 9856040960 115966 33554432000 1073741824 1073778376 140735119394624 140248166821584 140248013755517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30243] ppid=30237 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/30240/task/30243/stat : 30243 (java) S 30237 30240 27601 0 -1 4202560 422 0 0 0 45 9 0 0 20 0 19 0 14065022 9856040960 115966 33554432000 1073741824 1073778376 140735119394624 140248139283496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30244] ppid=30237 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/30240/task/30244/stat : 30244 (java) S 30237 30240 27601 0 -1 4202560 407 0 0 0 58 7 0 0 20 0 19 0 14065022 9856040960 115966 33554432000 1073741824 1073778376 140735119394624 140248138230696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30245] ppid=30237 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/30240/task/30245/stat : 30245 (java) S 30237 30240 27601 0 -1 4202560 517 0 0 0 52 8 0 0 20 0 19 0 14065022 9856040960 115966 33554432000 1073741824 1073778376 140735119394624 140248137177896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30246] ppid=30237 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/30240/task/30246/stat : 30246 (java) S 30237 30240 27601 0 -1 4202560 445 0 0 0 60 8 0 0 20 0 19 0 14065022 9856040960 115966 33554432000 1073741824 1073778376 140735119394624 140248136125096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30247] ppid=30237 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/30240/task/30247/stat : 30247 (java) S 30237 30240 27601 0 -1 4202560 337 0 0 0 45 7 0 0 20 0 19 0 14065022 9856040960 115966 33554432000 1073741824 1073778376 140735119394624 140248135072296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30240/tid=30248] ppid=30237 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/30240/task/30248/stat : 30248 (java) S 30237 30240 27601 0 -1 4202560 363 0 0 0 56 7 0 0 20 0 19 0 14065022 9856040960 115966 33554432000 1073741824 1073778376 140735119394624 140248134019496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30249] ppid=30237 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/30240/task/30249/stat : 30249 (java) S 30237 30240 27601 0 -1 4202560 362 0 0 0 50 6 0 0 20 0 19 0 14065022 9856040960 115966 33554432000 1073741824 1073778376 140735119394624 140248132966696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30250] ppid=30237 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/30240/task/30250/stat : 30250 (java) S 30237 30240 27601 0 -1 4202560 330 0 0 0 56 7 0 0 20 0 19 0 14065022 9856040960 115966 33554432000 1073741824 1073778376 140735119394624 140248131913896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30240/tid=30251] ppid=30237 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/30240/task/30251/stat : 30251 (java) S 30237 30240 27601 0 -1 4202560 296 0 0 0 52 2 0 0 20 0 19 0 14065024 9856040960 115966 33554432000 1073741824 1073778376 140735119394624 140247520218088 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30252] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30252/stat : 30252 (java) S 30237 30240 27601 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 14065024 9856040960 115966 33554432000 1073741824 1073778376 140735119394624 140247519164152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30253] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30253/stat : 30253 (java) S 30237 30240 27601 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 14065024 9856040960 115966 33554432000 1073741824 1073778376 140735119394624 140247518111240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30254] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30254/stat : 30254 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065026 9856040960 115966 33554432000 1073741824 1073778376 140735119394624 140247517059728 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30255] ppid=30237 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/30240/task/30255/stat : 30255 (java) S 30237 30240 27601 0 -1 4202560 2579 0 0 0 41 0 0 0 20 0 19 0 14065026 9856040960 115966 33554432000 1073741824 1073778376 140735119394624 140247516006840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30256] ppid=30237 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/30240/task/30256/stat : 30256 (java) S 30237 30240 27601 0 -1 4202560 3142 0 0 0 43 0 0 0 20 0 19 0 14065026 9856040960 115966 33554432000 1073741824 1073778376 140735119394624 140247514954040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30240/tid=30257] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30257/stat : 30257 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065026 9856040960 115966 33554432000 1073741824 1073778376 140735119394624 140247513901432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30240/tid=30258] ppid=30237 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/30240/task/30258/stat : 30258 (java) S 30237 30240 27601 0 -1 4202560 103 0 0 0 30 29 0 0 20 0 19 0 14065026 9856040960 115966 33554432000 1073741824 1073778376 140735119394624 140247512848840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30259] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30259/stat : 30259 (java) S 30237 30240 27601 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 14065113 9856040960 115966 33554432000 1073741824 1073778376 140735119394624 140247511795368 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1786.78
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.5 s]
/proc/loadavg: 1.40 1.35 1.61 2/188 30358
/proc/meminfo: memFree=30276100/32872528 swapFree=1073984/1155744
[pid=30240] ppid=30237 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6
/proc/30240/stat : 30240 (java) S 30237 30240 27601 0 -1 4202496 13129 0 1 0 179919 85 0 0 20 0 19 0 14065021 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140735119385760 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30240/statm: 2406260 115204 2294 9 0 2396937 0
[pid=30240/tid=30241] ppid=30237 vsize=9625040 CPUtime=1788.79 cores=0,2,4,6
/proc/30240/task/30241/stat : 30241 (java) R 30237 30240 27601 0 -1 4202560 2527 0 1 0 178847 32 0 0 20 0 19 0 14065022 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140248166829280 140248013773048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30243] ppid=30237 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/30240/task/30243/stat : 30243 (java) S 30237 30240 27601 0 -1 4202560 422 0 0 0 46 9 0 0 20 0 19 0 14065022 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140248139283496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30244] ppid=30237 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/30240/task/30244/stat : 30244 (java) S 30237 30240 27601 0 -1 4202560 446 0 0 0 59 7 0 0 20 0 19 0 14065022 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140248138230696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30240/tid=30245] ppid=30237 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/30240/task/30245/stat : 30245 (java) S 30237 30240 27601 0 -1 4202560 517 0 0 0 53 8 0 0 20 0 19 0 14065022 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140248137177896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30246] ppid=30237 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/30240/task/30246/stat : 30246 (java) S 30237 30240 27601 0 -1 4202560 445 0 0 0 60 8 0 0 20 0 19 0 14065022 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140248136125096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30247] ppid=30237 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/30240/task/30247/stat : 30247 (java) S 30237 30240 27601 0 -1 4202560 337 0 0 0 47 7 0 0 20 0 19 0 14065022 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140248135072296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30248] ppid=30237 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/30240/task/30248/stat : 30248 (java) S 30237 30240 27601 0 -1 4202560 363 0 0 0 57 7 0 0 20 0 19 0 14065022 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140248134019496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30249] ppid=30237 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/30240/task/30249/stat : 30249 (java) S 30237 30240 27601 0 -1 4202560 362 0 0 0 50 6 0 0 20 0 19 0 14065022 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140248132966696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30250] ppid=30237 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/30240/task/30250/stat : 30250 (java) S 30237 30240 27601 0 -1 4202560 330 0 0 0 58 7 0 0 20 0 19 0 14065022 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140248131913896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30251] ppid=30237 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/30240/task/30251/stat : 30251 (java) S 30237 30240 27601 0 -1 4202560 298 0 0 0 52 2 0 0 20 0 19 0 14065024 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140247520218088 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30252] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30252/stat : 30252 (java) S 30237 30240 27601 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 14065024 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140247519164152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30253] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30253/stat : 30253 (java) S 30237 30240 27601 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 14065024 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140247518111240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30254] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30254/stat : 30254 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065026 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140247517059728 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30255] ppid=30237 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/30240/task/30255/stat : 30255 (java) S 30237 30240 27601 0 -1 4202560 2579 0 0 0 41 0 0 0 20 0 19 0 14065026 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140247516006840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30256] ppid=30237 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/30240/task/30256/stat : 30256 (java) S 30237 30240 27601 0 -1 4202560 3142 0 0 0 43 0 0 0 20 0 19 0 14065026 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140247514954040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30240/tid=30257] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30257/stat : 30257 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065026 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140247513901432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30240/tid=30258] ppid=30237 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/30240/task/30258/stat : 30258 (java) S 30237 30240 27601 0 -1 4202560 103 0 0 0 30 30 0 0 20 0 19 0 14065026 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140247512848840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30259] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30259/stat : 30259 (java) S 30237 30240 27601 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 14065113 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140247511795368 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040

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

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

[startup+1795.5 s]
/proc/loadavg: 1.40 1.35 1.61 2/188 30358
/proc/meminfo: memFree=30276100/32872528 swapFree=1073984/1155744
[pid=30240] ppid=30237 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6
/proc/30240/stat : 30240 (java) S 30237 30240 27601 0 -1 4202496 13129 0 1 0 179919 85 0 0 20 0 19 0 14065021 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140735119385760 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30240/statm: 2406260 115204 2294 9 0 2396937 0
[pid=30240/tid=30241] ppid=30237 vsize=9625040 CPUtime=1788.79 cores=0,2,4,6
/proc/30240/task/30241/stat : 30241 (java) R 30237 30240 27601 0 -1 4202560 2527 0 1 0 178847 32 0 0 20 0 19 0 14065022 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140248166829280 140248013773048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30243] ppid=30237 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/30240/task/30243/stat : 30243 (java) S 30237 30240 27601 0 -1 4202560 422 0 0 0 46 9 0 0 20 0 19 0 14065022 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140248139283496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30244] ppid=30237 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/30240/task/30244/stat : 30244 (java) S 30237 30240 27601 0 -1 4202560 446 0 0 0 59 7 0 0 20 0 19 0 14065022 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140248138230696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30240/tid=30245] ppid=30237 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/30240/task/30245/stat : 30245 (java) S 30237 30240 27601 0 -1 4202560 517 0 0 0 53 8 0 0 20 0 19 0 14065022 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140248137177896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30246] ppid=30237 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/30240/task/30246/stat : 30246 (java) S 30237 30240 27601 0 -1 4202560 445 0 0 0 60 8 0 0 20 0 19 0 14065022 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140248136125096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30247] ppid=30237 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/30240/task/30247/stat : 30247 (java) S 30237 30240 27601 0 -1 4202560 337 0 0 0 47 7 0 0 20 0 19 0 14065022 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140248135072296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30248] ppid=30237 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/30240/task/30248/stat : 30248 (java) S 30237 30240 27601 0 -1 4202560 363 0 0 0 57 7 0 0 20 0 19 0 14065022 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140248134019496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30249] ppid=30237 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/30240/task/30249/stat : 30249 (java) S 30237 30240 27601 0 -1 4202560 362 0 0 0 50 6 0 0 20 0 19 0 14065022 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140248132966696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30240/tid=30250] ppid=30237 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/30240/task/30250/stat : 30250 (java) S 30237 30240 27601 0 -1 4202560 330 0 0 0 58 7 0 0 20 0 19 0 14065022 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140248131913896 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30251] ppid=30237 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/30240/task/30251/stat : 30251 (java) S 30237 30240 27601 0 -1 4202560 298 0 0 0 52 2 0 0 20 0 19 0 14065024 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140247520218088 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30252] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30252/stat : 30252 (java) S 30237 30240 27601 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 14065024 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140247519164152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30253] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30253/stat : 30253 (java) S 30237 30240 27601 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 14065024 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140247518111240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30254] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30254/stat : 30254 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065026 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140247517059728 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30255] ppid=30237 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/30240/task/30255/stat : 30255 (java) S 30237 30240 27601 0 -1 4202560 2579 0 0 0 41 0 0 0 20 0 19 0 14065026 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140247516006840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30240/tid=30256] ppid=30237 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/30240/task/30256/stat : 30256 (java) S 30237 30240 27601 0 -1 4202560 3142 0 0 0 43 0 0 0 20 0 19 0 14065026 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140247514954040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30240/tid=30257] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30257/stat : 30257 (java) S 30237 30240 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14065026 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140247513901432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30240/tid=30258] ppid=30237 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/30240/task/30258/stat : 30258 (java) S 30237 30240 27601 0 -1 4202560 103 0 0 0 30 30 0 0 20 0 19 0 14065026 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140247512848840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30240/tid=30259] ppid=30237 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30240/task/30259/stat : 30259 (java) S 30237 30240 27601 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 14065113 9856040960 115204 33554432000 1073741824 1073778376 140735119394624 140247511795368 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1795.54
CPU time (s): 1800.04
CPU user time (s): 1799.19
CPU system time (s): 0.85
CPU usage (%): 100.251
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.61
system time used= 1.37179
maximum resident set size= 611064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13164
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39390
involuntary context switches= 17912

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3114 second user time and 13.245 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-17 01:35:58
IDJOB=4098315
IDBENCH=107882
IDSOLVER=2546
FILE ID=node114/4098315-1466120158
RUNJOBID= node114-1466119443-29785
PBS_JOBID= 19904125
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_12.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098315-1466120158/watcher-4098315-1466120158 -o /tmp/evaluation-result-4098315-1466120158/solver-4098315-1466120158 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466119443-29785 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4098315-1466120158.opb

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

MD5SUM BENCH= 88c077ef261c9c72be220a244f8093f6
RANDOM SEED=470800537

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:        30302244 kB
Buffers:           56812 kB
Cached:           142752 kB
SwapCached:        80112 kB
Active:           509504 kB
Inactive:         198204 kB
Active(anon):     430672 kB
Inactive(anon):    79672 kB
Active(file):      78832 kB
Inactive(file):   118532 kB
Unevictable:     1155744 kB
Mlocked:         1073984 kB
SwapTotal:      67108856 kB
SwapFree:       67022276 kB
Dirty:              4540 kB
Writeback:             0 kB
AnonPages:       1613224 kB
Mapped:            16996 kB
Shmem:                 0 kB
Slab:             571152 kB
SReclaimable:      14812 kB
SUnreclaim:       556340 kB
KernelStack:        1760 kB
PageTables:         7836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1958792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    518144 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= 71728 MiB
End job on node114 at 2016-06-17 02:05:54