Trace number 4121830

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.05 1798.74

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-67.cnf.gz-extracted.pb.metafix.opb
MD5SUM4c20504d6c6ffcff265e3c598c633234
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.010997
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables269
Total number of constraints268
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)268
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
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 8
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Glucose 2.1 dynamic restart strategy
0.08/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-4121830-1467315732.opb
0.08/0.11	c reading problem ... 
0.08/0.12	c  no objective function found
0.08/0.16	c ... done. Wall clock time 0.048s.
0.08/0.16	c declared #vars     269
0.08/0.16	c #constraints  268
0.08/0.16	c constraints type 
0.08/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 268
0.08/0.16	c 268 constraints processed.
0.66/0.44	c cleaning 2498 clauses out of 5002 with flag 25425/5002
0.91/0.63	c cleaning 4240 clauses out of 8503 with flag 55913/11001
1.14/0.86	c cleaning 5627 clauses out of 11266 with flag 91058/18004
1.46/1.19	c cleaning 6802 clauses out of 13636 with flag 132252/26001
1.87/1.57	c cleaning 7906 clauses out of 15834 with flag 186397/35001
2.26/1.97	c cleaning 8953 clauses out of 17928 with flag 242423/45001
2.76/2.43	c cleaning 9980 clauses out of 19974 with flag 309293/56000
3.26/2.97	c cleaning 10983 clauses out of 21996 with flag 373752/68002
3.96/3.63	c cleaning 11980 clauses out of 24012 with flag 450074/81001
4.66/4.32	c cleaning 13011 clauses out of 26032 with flag 530192/95001
5.46/5.11	c cleaning 13996 clauses out of 28021 with flag 620150/110001
6.26/5.99	c cleaning 15007 clauses out of 30025 with flag 718235/126001
7.36/7.02	c cleaning 15996 clauses out of 32018 with flag 820738/143001
8.46/8.16	c cleaning 17001 clauses out of 34021 with flag 926958/161000
9.66/9.31	c cleaning 17992 clauses out of 36020 with flag 1043926/180000
10.97/10.62	c cleaning 18998 clauses out of 38028 with flag 1163491/200000
12.37/12.07	c cleaning 19998 clauses out of 40031 with flag 1297747/221001
13.97/13.63	c cleaning 21000 clauses out of 42033 with flag 1436415/243001
15.78/15.41	c cleaning 22004 clauses out of 44033 with flag 1579807/266001
17.47/17.19	c cleaning 23008 clauses out of 46030 with flag 1729438/290002
19.57/19.25	c cleaning 23998 clauses out of 48020 with flag 1895795/315000
21.67/21.35	c cleaning 25004 clauses out of 50023 with flag 2069839/341001
23.87/23.59	c cleaning 25993 clauses out of 52020 with flag 2240051/368002
26.36/26.05	c cleaning 26999 clauses out of 54025 with flag 2416357/396000
28.86/28.58	c cleaning 28007 clauses out of 56026 with flag 2602462/425000
31.77/31.41	c cleaning 28994 clauses out of 58020 with flag 2794960/455001
34.77/34.41	c cleaning 30004 clauses out of 60026 with flag 2998346/486001
37.77/37.48	c cleaning 30994 clauses out of 62022 with flag 3212854/518001
40.97/40.63	c cleaning 31998 clauses out of 64027 with flag 3426977/551000
44.47/44.17	c cleaning 33001 clauses out of 66030 with flag 3646743/585001
48.26/47.96	c cleaning 34000 clauses out of 68028 with flag 3876063/620000
52.17/51.83	c cleaning 34999 clauses out of 70028 with flag 4105263/656000
56.16/55.80	c cleaning 36001 clauses out of 72029 with flag 4351023/693000
60.46/60.17	c cleaning 36990 clauses out of 74028 with flag 4603900/731000
64.96/64.65	c cleaning 38020 clauses out of 76040 with flag 4854546/770002
69.76/69.42	c cleaning 38990 clauses out of 78018 with flag 5110326/810000
74.76/74.40	c cleaning 40006 clauses out of 80029 with flag 5381769/851001
79.86/79.60	c cleaning 40991 clauses out of 82023 with flag 5649472/893001
85.37/85.08	c cleaning 41997 clauses out of 84031 with flag 5917865/936000
91.01/90.61	c cleaning 43007 clauses out of 86036 with flag 6201271/980002
96.61/96.25	c cleaning 44001 clauses out of 88028 with flag 6495439/1025001
102.61/102.28	c cleaning 44993 clauses out of 90027 with flag 6785954/1071001
109.21/108.82	c cleaning 46006 clauses out of 92033 with flag 7068864/1118000
115.71/115.31	c cleaning 47009 clauses out of 94029 with flag 7368908/1166002
122.81/122.44	c cleaning 48007 clauses out of 96018 with flag 7661614/1215000
130.01/129.63	c cleaning 48991 clauses out of 98014 with flag 7973099/1265003
137.20/136.87	c cleaning 50001 clauses out of 100020 with flag 8286617/1316000
144.80/144.40	c cleaning 51008 clauses out of 102022 with flag 8601055/1368003
152.71/152.39	c cleaning 51984 clauses out of 104011 with flag 8922834/1421000
161.01/160.69	c cleaning 53009 clauses out of 106027 with flag 9247457/1475000
169.41/169.02	c cleaning 53994 clauses out of 108018 with flag 9572151/1530000
177.91/177.53	c cleaning 55008 clauses out of 110026 with flag 9906102/1586002
186.92/186.50	c cleaning 56001 clauses out of 112018 with flag 10241754/1643002
196.12/195.74	c cleaning 56999 clauses out of 114017 with flag 10580189/1701002
205.92/205.55	c cleaning 57996 clauses out of 116016 with flag 10922998/1760000
215.81/215.48	c cleaning 59001 clauses out of 118020 with flag 11277943/1820000
226.22/225.85	c cleaning 59996 clauses out of 120020 with flag 11635937/1881001
237.12/236.72	c cleaning 61002 clauses out of 122023 with flag 12002551/1943000
247.96/247.57	c cleaning 61994 clauses out of 124021 with flag 12359765/2006000
259.36/258.93	c cleaning 63003 clauses out of 126027 with flag 12725469/2070000
270.76/270.39	c cleaning 63999 clauses out of 128025 with flag 13091998/2135001
282.86/282.41	c cleaning 65004 clauses out of 130025 with flag 13468135/2201000
294.67/294.24	c cleaning 65998 clauses out of 132021 with flag 13843208/2268000
307.18/306.71	c cleaning 67004 clauses out of 134024 with flag 14237758/2336001
320.38/319.90	c cleaning 68003 clauses out of 136020 with flag 14622508/2405001
334.30/333.80	c cleaning 69004 clauses out of 138017 with flag 15008010/2475001
347.70/347.27	c cleaning 70001 clauses out of 140015 with flag 15394102/2546003
361.60/361.14	c cleaning 70999 clauses out of 142011 with flag 15814484/2618000
376.80/376.32	c cleaning 71996 clauses out of 144014 with flag 16215706/2691002
391.50/391.08	c cleaning 72990 clauses out of 146016 with flag 16621070/2765000
406.51/406.09	c cleaning 73991 clauses out of 148026 with flag 17029623/2840000
421.30/420.88	c cleaning 75006 clauses out of 150037 with flag 17452428/2916002
437.76/437.29	c cleaning 75997 clauses out of 152029 with flag 17878042/2993000
454.06/453.56	c cleaning 77003 clauses out of 154032 with flag 18302446/3071000
470.77/470.25	c cleaning 78000 clauses out of 156030 with flag 18726403/3150001
487.38/486.85	c cleaning 79003 clauses out of 158029 with flag 19164081/3230000
504.58/504.06	c cleaning 80009 clauses out of 160030 with flag 19605833/3311004
522.98/522.45	c cleaning 80994 clauses out of 162017 with flag 20045599/3393000
541.68/541.10	c cleaning 82002 clauses out of 164026 with flag 20493126/3476003
560.48/559.94	c cleaning 82997 clauses out of 166022 with flag 20948898/3560001
579.78/579.24	c cleaning 84009 clauses out of 168025 with flag 21416758/3645001
600.68/600.17	c cleaning 84995 clauses out of 170015 with flag 21883938/3731000
621.00/620.43	c cleaning 85997 clauses out of 172022 with flag 22346492/3818002
642.50/641.99	c cleaning 86993 clauses out of 174025 with flag 22812315/3906002
662.49/661.88	c cleaning 88001 clauses out of 176030 with flag 23302758/3995000
683.99/683.30	c cleaning 88995 clauses out of 178029 with flag 23768953/4085000
707.79/707.15	c cleaning 90008 clauses out of 180034 with flag 24255943/4176000
729.39/728.77	c cleaning 91012 clauses out of 182026 with flag 24743387/4268000
752.79/752.10	c cleaning 91995 clauses out of 184014 with flag 25249168/4361000
776.30/775.66	c cleaning 92993 clauses out of 186020 with flag 25750893/4455001
800.50/799.84	c cleaning 93997 clauses out of 188027 with flag 26250699/4550001
825.00/824.37	c cleaning 95003 clauses out of 190030 with flag 26764398/4646001
850.60/849.97	c cleaning 96001 clauses out of 192026 with flag 27263497/4743000
877.20/876.59	c cleaning 96999 clauses out of 194025 with flag 27775850/4841000
903.21/902.54	c cleaning 98004 clauses out of 196027 with flag 28285105/4940001
929.54/928.77	c cleaning 99003 clauses out of 198024 with flag 28802225/5040002
958.14/957.32	c cleaning 99996 clauses out of 200020 with flag 29331057/5141001
985.84/985.03	c cleaning 100990 clauses out of 202023 with flag 29852181/5243000
1014.55/1013.75	c cleaning 102001 clauses out of 204033 with flag 30402869/5346000
1043.05/1042.26	c cleaning 103004 clauses out of 206032 with flag 30950069/5450000
1072.37/1071.54	c cleaning 104009 clauses out of 208031 with flag 31491898/5555003
1102.86/1102.07	c cleaning 105002 clauses out of 210020 with flag 32043233/5661001
1134.47/1133.67	c cleaning 105993 clauses out of 212017 with flag 32592150/5768000
1166.57/1165.74	c cleaning 107002 clauses out of 214025 with flag 33163036/5876001
1198.72/1197.79	c cleaning 108001 clauses out of 216024 with flag 33732865/5985002
1231.11/1230.13	c cleaning 109002 clauses out of 218021 with flag 34304222/6095000
1264.00/1263.01	c cleaning 110000 clauses out of 220020 with flag 34879580/6206001
1298.41/1297.44	c cleaning 110996 clauses out of 222020 with flag 35469469/6318001
1335.01/1334.01	c cleaning 111995 clauses out of 224023 with flag 36030586/6431000
1369.91/1368.90	c cleaning 113003 clauses out of 226028 with flag 36618615/6545000
1406.11/1405.11	c cleaning 114000 clauses out of 228025 with flag 37205890/6660000
1442.02/1441.05	c cleaning 115008 clauses out of 230026 with flag 37793873/6776001
1479.91/1479.00	c cleaning 115996 clauses out of 232019 with flag 38389447/6893002
1518.05/1516.96	c cleaning 116992 clauses out of 234021 with flag 38978933/7011000
1556.86/1555.78	c cleaning 118007 clauses out of 236029 with flag 39591922/7130000
1596.06/1594.97	c cleaning 119000 clauses out of 238022 with flag 40206421/7250000
1636.66/1635.54	c cleaning 119997 clauses out of 240023 with flag 40813764/7371001
1677.26/1676.10	c cleaning 121004 clauses out of 242025 with flag 41437536/7493000
1719.76/1718.65	c cleaning 122004 clauses out of 244022 with flag 42057814/7616001
1763.38/1762.26	c cleaning 123002 clauses out of 246018 with flag 42697540/7740001
1800.05/1798.70	c starts		: 22646
1800.05/1798.70	c conflicts		: 7852486
1800.05/1798.70	c decisions		: 11853094
1800.05/1798.70	c propagations		: 141998703
1800.05/1798.70	c inspects		: 38864193418
1800.05/1798.70	c shortcuts		: 0
1800.05/1798.70	c learnt literals	: 0
1800.05/1798.70	c learnt binary clauses	: 0
1800.05/1798.70	c learnt ternary clauses	: 0
1800.05/1798.70	c learnt constraints	: 7852487
1800.05/1798.70	c ignored constraints	: 0
1800.05/1798.70	c root simplifications	: 0
1800.05/1798.70	c removed literals (reason simplification)	: 0
1800.05/1798.70	c reason swapping (by a shorter reason)	: 0
1800.05/1798.70	c Calls to reduceDB	: 120
1800.05/1798.70	c timeout
1800.05/1798.70	c Number of update (reduction) of LBD	: 2331392
1800.05/1798.70	c Imported unit clauses	: 0
1800.05/1798.70	c number of reductions to clauses (during analyze)	: 0
1800.05/1798.70	c number of learned constraints concerned by reduction	: 0
1800.05/1798.70	c number of learning phase by resolution	: 0
1800.05/1798.70	c number of learning phase by cutting planes	: 0
1800.05/1798.70	c speed (assignments/second)	: 78952.25124392632
1800.05/1798.70	c non guided choices	38665
1800.05/1798.73	c learnt constraints type 
1800.05/1798.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 235502
1800.05/1798.73	s UNKNOWN
1800.05/1798.73	c Total wall clock time (in seconds): 1798.619

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-4121830-1467315732/watcher-4121830-1467315732 -o /tmp/evaluation-result-4121830-1467315732/solver-4121830-1467315732 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467310545-14395 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4121830-1467315732.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.20 2.18 3/192 15567
/proc/meminfo: memFree=29974272/32872528 swapFree=1299868/1463388
[pid=15567] ppid=15564 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/15567/stat : 15567 (java) D 15564 15567 12018 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 10599219 9515008 185 33554432000 1073741824 1073778376 140733269988416 140733269979640 227512315319 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/15567/statm: 2323 185 142 9 0 71 0

[startup+0.100157 s]
/proc/loadavg: 2.23 2.20 2.18 3/192 15567
/proc/meminfo: memFree=29974272/32872528 swapFree=1299868/1463388
[pid=15567] ppid=15564 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/15567/stat : 15567 (java) S 15564 15567 12018 0 -1 4202496 4420 0 1 0 7 1 0 0 20 0 18 0 10599219 9787879424 6041 33554432000 1073741824 1073778376 140737055672768 140737055663904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15567/statm: 2389619 6041 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200322 s]
/proc/loadavg: 2.23 2.20 2.18 3/192 15567
/proc/meminfo: memFree=29974272/32872528 swapFree=1299868/1463388
[pid=15567] ppid=15564 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/15567/stat : 15567 (java) S 15564 15567 12018 0 -1 4202496 5979 0 1 0 24 1 0 0 20 0 19 0 10599219 9856040960 7602 33554432000 1073741824 1073778376 140737055672768 140737055663904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15567/statm: 2406260 7602 2228 9 0 2396937 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9625040

[startup+0.300339 s]
/proc/loadavg: 2.23 2.20 2.18 3/192 15567
/proc/meminfo: memFree=29974272/32872528 swapFree=1299868/1463388
[pid=15567] ppid=15564 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/15567/stat : 15567 (java) S 15564 15567 12018 0 -1 4202496 7182 0 1 0 50 2 0 0 20 0 19 0 10599219 9856040960 7763 33554432000 1073741824 1073778376 140737055672768 140737055663904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15567/statm: 2406260 7763 2244 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625040

[startup+0.700233 s]
/proc/loadavg: 2.23 2.20 2.18 3/192 15567
/proc/meminfo: memFree=29974272/32872528 swapFree=1299868/1463388
[pid=15567] ppid=15564 vsize=9625040 CPUtime=1.04 cores=1,3,5,7
/proc/15567/stat : 15567 (java) S 15564 15567 12018 0 -1 4202496 8357 0 1 0 102 2 0 0 20 0 19 0 10599219 9856040960 8538 33554432000 1073741824 1073778376 140737055672768 140737055663904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15567/statm: 2406260 8538 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 9625040

[startup+1.50068 s]
/proc/loadavg: 2.23 2.20 2.18 3/211 15586
/proc/meminfo: memFree=29948568/32872528 swapFree=1299868/1463388
[pid=15567] ppid=15564 vsize=9625040 CPUtime=1.87 cores=1,3,5,7
/proc/15567/stat : 15567 (java) S 15564 15567 12018 0 -1 4202496 8446 0 1 0 185 2 0 0 20 0 19 0 10599219 9856040960 9053 33554432000 1073741824 1073778376 140737055672768 140737055663904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15567/statm: 2406260 9053 2256 9 0 2396937 0
[pid=15567/tid=15569] ppid=15564 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/15567/task/15569/stat : 15569 (java) R 15564 15567 12018 0 -1 4202560 2410 0 1 0 145 2 0 0 20 0 19 0 10599220 9856040960 9053 33554432000 1073741824 1073778376 140737055672768 140540499382520 140540339758640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15570] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15570/stat : 15570 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 9053 33554432000 1073741824 1073778376 140737055672768 140540460873896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15571] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15571/stat : 15571 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 9053 33554432000 1073741824 1073778376 140737055672768 140540459821352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15567/tid=15572] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15572/stat : 15572 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 9053 33554432000 1073741824 1073778376 140737055672768 140540458768808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15567/tid=15573] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15573/stat : 15573 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 9053 33554432000 1073741824 1073778376 140737055672768 140540339284520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15574] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15574/stat : 15574 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 9053 33554432000 1073741824 1073778376 140737055672768 140540338231976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15575] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15575/stat : 15575 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 9053 33554432000 1073741824 1073778376 140737055672768 140540337179432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15576] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15576/stat : 15576 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 9053 33554432000 1073741824 1073778376 140737055672768 140540336126888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15577] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15577/stat : 15577 (java) S 15564 15567 12018 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 9053 33554432000 1073741824 1073778376 140737055672768 140540335074344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15578] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15578/stat : 15578 (java) S 15564 15567 12018 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 10599223 9856040960 9053 33554432000 1073741824 1073778376 140737055672768 140539852744808 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15579] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15579/stat : 15579 (java) S 15564 15567 12018 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10599223 9856040960 9053 33554432000 1073741824 1073778376 140737055672768 140539851691128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15580] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15580/stat : 15580 (java) S 15564 15567 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10599223 9856040960 9053 33554432000 1073741824 1073778376 140737055672768 140539850638472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15581] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15581/stat : 15581 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599225 9856040960 9053 33554432000 1073741824 1073778376 140737055672768 140539849587216 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15582] ppid=15564 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/15567/task/15582/stat : 15582 (java) S 15564 15567 12018 0 -1 4202560 2959 0 0 0 18 0 0 0 20 0 19 0 10599225 9856040960 9053 33554432000 1073741824 1073778376 140737055672768 140539848534584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15583] ppid=15564 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/15567/task/15583/stat : 15583 (java) S 15564 15567 12018 0 -1 4202560 1804 0 0 0 18 0 0 0 20 0 19 0 10599225 9856040960 9053 33554432000 1073741824 1073778376 140737055672768 140539847482040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15567/tid=15584] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15584/stat : 15584 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599226 9856040960 9053 33554432000 1073741824 1073778376 140737055672768 140539846429688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15567/tid=15585] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15585/stat : 15585 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599226 9856040960 9053 33554432000 1073741824 1073778376 140737055672768 140539845377352 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15586] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15586/stat : 15586 (java) S 15564 15567 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10599236 9856040960 9053 33554432000 1073741824 1073778376 140737055672768 140539844322088 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 9625040

[startup+3.10069 s]
/proc/loadavg: 2.23 2.20 2.18 3/211 15586
/proc/meminfo: memFree=29944100/32872528 swapFree=1299868/1463388
[pid=15567] ppid=15564 vsize=9625040 CPUtime=3.46 cores=1,3,5,7
/proc/15567/stat : 15567 (java) S 15564 15567 12018 0 -1 4202496 8450 0 1 0 344 2 0 0 20 0 19 0 10599219 9856040960 10589 33554432000 1073741824 1073778376 140737055672768 140737055663904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15567/statm: 2406260 10589 2256 9 0 2396937 0
[pid=15567/tid=15569] ppid=15564 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/15567/task/15569/stat : 15569 (java) R 15564 15567 12018 0 -1 4202560 2414 0 1 0 304 2 0 0 20 0 19 0 10599220 9856040960 10589 33554432000 1073741824 1073778376 140737055672768 140540499373760 140540339767642 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15570] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15570/stat : 15570 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 10589 33554432000 1073741824 1073778376 140737055672768 140540460873896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15571] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15571/stat : 15571 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 10589 33554432000 1073741824 1073778376 140737055672768 140540459821352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15567/tid=15572] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15572/stat : 15572 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 10589 33554432000 1073741824 1073778376 140737055672768 140540458768808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15567/tid=15573] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15573/stat : 15573 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 10589 33554432000 1073741824 1073778376 140737055672768 140540339284520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15574] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15574/stat : 15574 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 10589 33554432000 1073741824 1073778376 140737055672768 140540338231976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15575] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15575/stat : 15575 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 10589 33554432000 1073741824 1073778376 140737055672768 140540337179432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15576] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15576/stat : 15576 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 10589 33554432000 1073741824 1073778376 140737055672768 140540336126888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15577] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15577/stat : 15577 (java) S 15564 15567 12018 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 10589 33554432000 1073741824 1073778376 140737055672768 140540335074344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15578] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15578/stat : 15578 (java) S 15564 15567 12018 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 10599223 9856040960 10589 33554432000 1073741824 1073778376 140737055672768 140539852744808 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15579] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15579/stat : 15579 (java) S 15564 15567 12018 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10599223 9856040960 10589 33554432000 1073741824 1073778376 140737055672768 140539851691128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15580] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15580/stat : 15580 (java) S 15564 15567 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10599223 9856040960 10589 33554432000 1073741824 1073778376 140737055672768 140539850638472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15581] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15581/stat : 15581 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599225 9856040960 10589 33554432000 1073741824 1073778376 140737055672768 140539849587216 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15582] ppid=15564 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/15567/task/15582/stat : 15582 (java) S 15564 15567 12018 0 -1 4202560 2959 0 0 0 18 0 0 0 20 0 19 0 10599225 9856040960 10589 33554432000 1073741824 1073778376 140737055672768 140539848534584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15583] ppid=15564 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/15567/task/15583/stat : 15583 (java) S 15564 15567 12018 0 -1 4202560 1804 0 0 0 18 0 0 0 20 0 19 0 10599225 9856040960 10589 33554432000 1073741824 1073778376 140737055672768 140539847482040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15567/tid=15584] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15584/stat : 15584 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599226 9856040960 10589 33554432000 1073741824 1073778376 140737055672768 140539846429688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15567/tid=15585] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15585/stat : 15585 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599226 9856040960 10589 33554432000 1073741824 1073778376 140737055672768 140539845377352 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15586] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15586/stat : 15586 (java) S 15564 15567 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10599236 9856040960 10589 33554432000 1073741824 1073778376 140737055672768 140539844322088 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 9625040

[startup+6.30075 s]
/proc/loadavg: 2.21 2.19 2.18 3/211 15586
/proc/meminfo: memFree=29936116/32872528 swapFree=1299868/1463388
[pid=15567] ppid=15564 vsize=9625040 CPUtime=6.66 cores=1,3,5,7
/proc/15567/stat : 15567 (java) S 15564 15567 12018 0 -1 4202496 8455 0 1 0 664 2 0 0 20 0 19 0 10599219 9856040960 12102 33554432000 1073741824 1073778376 140737055672768 140737055663904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15567/statm: 2406260 12102 2257 9 0 2396937 0
[pid=15567/tid=15569] ppid=15564 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/15567/task/15569/stat : 15569 (java) R 15564 15567 12018 0 -1 4202560 2418 0 1 0 624 2 0 0 20 0 19 0 10599220 9856040960 12102 33554432000 1073741824 1073778376 140737055672768 140540499373760 140540339768384 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15570] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15570/stat : 15570 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 12102 33554432000 1073741824 1073778376 140737055672768 140540460873896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15571] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15571/stat : 15571 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 12102 33554432000 1073741824 1073778376 140737055672768 140540459821352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15567/tid=15572] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15572/stat : 15572 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 12102 33554432000 1073741824 1073778376 140737055672768 140540458768808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15567/tid=15573] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15573/stat : 15573 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 12102 33554432000 1073741824 1073778376 140737055672768 140540339284520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15574] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15574/stat : 15574 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 12102 33554432000 1073741824 1073778376 140737055672768 140540338231976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15575] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15575/stat : 15575 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 12102 33554432000 1073741824 1073778376 140737055672768 140540337179432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15576] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15576/stat : 15576 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 12102 33554432000 1073741824 1073778376 140737055672768 140540336126888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15577] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15577/stat : 15577 (java) S 15564 15567 12018 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10599222 9856040960 12102 33554432000 1073741824 1073778376 140737055672768 140540335074344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15578] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15578/stat : 15578 (java) S 15564 15567 12018 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 10599223 9856040960 12102 33554432000 1073741824 1073778376 140737055672768 140539852744808 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15579] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15579/stat : 15579 (java) S 15564 15567 12018 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10599223 9856040960 12102 33554432000 1073741824 1073778376 140737055672768 140539851691128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15580] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15580/stat : 15580 (java) S 15564 15567 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10599223 9856040960 12102 33554432000 1073741824 1073778376 140737055672768 140539850638472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15581] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15581/stat : 15581 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599225 9856040960 12102 33554432000 1073741824 1073778376 140737055672768 140539849587216 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15582] ppid=15564 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/15567/task/15582/stat : 15582 (java) S 15564 15567 12018 0 -1 4202560 2959 0 0 0 18 0 0 0 20 0 19 0 10599225 9856040960 12102 33554432000 1073741824 1073778376 140737055672768 140539848534584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15583] ppid=15564 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/15567/task/15583/stat : 15583 (java) S 15564 15567 12018 0 -1 4202560 1804 0 0 0 18 0 0 0 20 0 19 0 10599225 9856040960 12102 33554432000 1073741824 1073778376 140737055672768 140539847482040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15567/tid=15584] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15584/stat : 15584 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599226 9856040960 12102 33554432000 1073741824 1073778376 140737055672768 140539846429688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15567/tid=15585] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15585/stat : 15585 (java) S 15564 15567 12018 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10599226 9856040960 12102 33554432000 1073741824 1073778376 140737055672768 140539845377352 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15586] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15586/stat : 15586 (java) S 15564 15567 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10599236 9856040960 12102 33554432000 1073741824 1073778376 140737055672768 140539844322088 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.66
Current children cumulated vsize (KiB) 9625040


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

[pid=15567/tid=15586] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15586/stat : 15586 (java) S 15564 15567 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10599236 9856040960 68120 33554432000 1073741824 1073778376 140737055672768 140539844322088 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1723.46
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/211 15912
/proc/meminfo: memFree=29728336/32872528 swapFree=1299868/1463388
[pid=15567] ppid=15564 vsize=9625040 CPUtime=1783.47 cores=1,3,5,7
/proc/15567/stat : 15567 (java) S 15564 15567 12018 0 -1 4202496 10102 0 1 0 178305 42 0 0 20 0 19 0 10599219 9856040960 68120 33554432000 1073741824 1073778376 140737055672768 140737055663904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15567/statm: 2406260 68120 2272 9 0 2396937 0
[pid=15567/tid=15569] ppid=15564 vsize=9625040 CPUtime=1777.4 cores=1,3,5,7
/proc/15567/task/15569/stat : 15569 (java) R 15564 15567 12018 0 -1 4202560 2480 0 1 0 177705 35 0 0 20 0 19 0 10599220 9856040960 68120 33554432000 1073741824 1073778376 140737055672768 140540499373856 140540339767836 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15570] ppid=15564 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/15567/task/15570/stat : 15570 (java) S 15564 15567 12018 0 -1 4202560 70 0 0 0 6 1 0 0 20 0 19 0 10599222 9856040960 68120 33554432000 1073741824 1073778376 140737055672768 140540460873896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15567/tid=15571] ppid=15564 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/15567/task/15571/stat : 15571 (java) S 15564 15567 12018 0 -1 4202560 39 0 0 0 10 2 0 0 20 0 19 0 10599222 9856040960 68120 33554432000 1073741824 1073778376 140737055672768 140540459821352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15567/tid=15572] ppid=15564 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/15567/task/15572/stat : 15572 (java) S 15564 15567 12018 0 -1 4202560 175 0 0 0 9 2 0 0 20 0 19 0 10599222 9856040960 68120 33554432000 1073741824 1073778376 140737055672768 140540458768808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15573] ppid=15564 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/15567/task/15573/stat : 15573 (java) S 15564 15567 12018 0 -1 4202560 187 0 0 0 10 2 0 0 20 0 19 0 10599222 9856040960 68120 33554432000 1073741824 1073778376 140737055672768 140540339284520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15574] ppid=15564 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/15567/task/15574/stat : 15574 (java) S 15564 15567 12018 0 -1 4202560 42 0 0 0 7 2 0 0 20 0 19 0 10599222 9856040960 68120 33554432000 1073741824 1073778376 140737055672768 140540338231976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15575] ppid=15564 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/15567/task/15575/stat : 15575 (java) S 15564 15567 12018 0 -1 4202560 174 0 0 0 5 2 0 0 20 0 19 0 10599222 9856040960 68120 33554432000 1073741824 1073778376 140737055672768 140540337179432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15576] ppid=15564 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/15567/task/15576/stat : 15576 (java) S 15564 15567 12018 0 -1 4202560 190 0 0 0 10 2 0 0 20 0 19 0 10599222 9856040960 68120 33554432000 1073741824 1073778376 140737055672768 140540336126888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15567/tid=15577] ppid=15564 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/15567/task/15577/stat : 15577 (java) S 15564 15567 12018 0 -1 4202560 97 0 0 0 5 0 0 0 20 0 19 0 10599222 9856040960 68120 33554432000 1073741824 1073778376 140737055672768 140540335074344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15578] ppid=15564 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/15567/task/15578/stat : 15578 (java) S 15564 15567 12018 0 -1 4202560 50 0 0 0 1 0 0 0 20 0 19 0 10599223 9856040960 68120 33554432000 1073741824 1073778376 140737055672768 140539852744808 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15579] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15579/stat : 15579 (java) S 15564 15567 12018 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10599223 9856040960 68120 33554432000 1073741824 1073778376 140737055672768 140539851691128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15580] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15580/stat : 15580 (java) S 15564 15567 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 10599223 9856040960 68120 33554432000 1073741824 1073778376 140737055672768 140539850638472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15581] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15581/stat : 15581 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599225 9856040960 68120 33554432000 1073741824 1073778376 140737055672768 140539849587216 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15582] ppid=15564 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/15567/task/15582/stat : 15582 (java) S 15564 15567 12018 0 -1 4202560 2959 0 0 0 18 0 0 0 20 0 19 0 10599225 9856040960 68120 33554432000 1073741824 1073778376 140737055672768 140539848534584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15583] ppid=15564 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/15567/task/15583/stat : 15583 (java) S 15564 15567 12018 0 -1 4202560 2276 0 0 0 21 0 0 0 20 0 19 0 10599225 9856040960 68120 33554432000 1073741824 1073778376 140737055672768 140539847482040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15567/tid=15584] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15584/stat : 15584 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599226 9856040960 68120 33554432000 1073741824 1073778376 140737055672768 140539846429688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15567/tid=15585] ppid=15564 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/15567/task/15585/stat : 15585 (java) S 15564 15567 12018 0 -1 4202560 104 0 0 0 26 24 0 0 20 0 19 0 10599226 9856040960 68120 33554432000 1073741824 1073778376 140737055672768 140539845377352 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15586] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15586/stat : 15586 (java) S 15564 15567 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10599236 9856040960 68120 33554432000 1073741824 1073778376 140737055672768 140539844322088 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1783.47
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.7 s]
/proc/loadavg: 2.16 2.20 2.18 4/211 15912
/proc/meminfo: memFree=29701092/32872528 swapFree=1299868/1463388
[pid=15567] ppid=15564 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/15567/stat : 15567 (java) S 15564 15567 12018 0 -1 4202496 10429 0 1 0 179959 46 0 0 20 0 19 0 10599219 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140737055663904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15567/statm: 2406260 75051 2272 9 0 2396937 0
[pid=15567/tid=15569] ppid=15564 vsize=9625040 CPUtime=1793.7 cores=1,3,5,7
/proc/15567/task/15569/stat : 15569 (java) R 15564 15567 12018 0 -1 4202560 2481 0 1 0 179335 35 0 0 20 0 19 0 10599220 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140540499381568 140540339767945 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15567/tid=15570] ppid=15564 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/15567/task/15570/stat : 15570 (java) S 15564 15567 12018 0 -1 4202560 96 0 0 0 8 2 0 0 20 0 19 0 10599222 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140540460873896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15571] ppid=15564 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/15567/task/15571/stat : 15571 (java) S 15564 15567 12018 0 -1 4202560 97 0 0 0 12 2 0 0 20 0 19 0 10599222 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140540459821352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15572] ppid=15564 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/15567/task/15572/stat : 15572 (java) S 15564 15567 12018 0 -1 4202560 177 0 0 0 10 2 0 0 20 0 19 0 10599222 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140540458768808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15573] ppid=15564 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/15567/task/15573/stat : 15573 (java) S 15564 15567 12018 0 -1 4202560 190 0 0 0 11 2 0 0 20 0 19 0 10599222 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140540339284520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15574] ppid=15564 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/15567/task/15574/stat : 15574 (java) S 15564 15567 12018 0 -1 4202560 95 0 0 0 12 2 0 0 20 0 19 0 10599222 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140540338231976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15567/tid=15575] ppid=15564 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/15567/task/15575/stat : 15575 (java) S 15564 15567 12018 0 -1 4202560 217 0 0 0 7 2 0 0 20 0 19 0 10599222 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140540337179432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15576] ppid=15564 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/15567/task/15576/stat : 15576 (java) S 15564 15567 12018 0 -1 4202560 246 0 0 0 15 3 0 0 20 0 19 0 10599222 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140540336126888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15567/tid=15577] ppid=15564 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/15567/task/15577/stat : 15577 (java) S 15564 15567 12018 0 -1 4202560 169 0 0 0 6 0 0 0 20 0 19 0 10599222 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140540335074344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15578] ppid=15564 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/15567/task/15578/stat : 15578 (java) S 15564 15567 12018 0 -1 4202560 63 0 0 0 1 0 0 0 20 0 19 0 10599223 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140539852744808 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15579] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15579/stat : 15579 (java) S 15564 15567 12018 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10599223 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140539851691128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15580] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15580/stat : 15580 (java) S 15564 15567 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 10599223 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140539850638472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15581] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15581/stat : 15581 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599225 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140539849587216 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15582] ppid=15564 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/15567/task/15582/stat : 15582 (java) S 15564 15567 12018 0 -1 4202560 2959 0 0 0 18 0 0 0 20 0 19 0 10599225 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140539848534584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15583] ppid=15564 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/15567/task/15583/stat : 15583 (java) S 15564 15567 12018 0 -1 4202560 2276 0 0 0 21 0 0 0 20 0 19 0 10599225 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140539847482040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15567/tid=15584] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15584/stat : 15584 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599226 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140539846429688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15567/tid=15585] ppid=15564 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/15567/task/15585/stat : 15585 (java) S 15564 15567 12018 0 -1 4202560 104 0 0 0 27 24 0 0 20 0 19 0 10599226 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140539845377352 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15586] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15586/stat : 15586 (java) S 15564 15567 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10599236 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140539844322088 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 15567 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1798.7 s]
/proc/loadavg: 2.16 2.20 2.18 4/211 15912
/proc/meminfo: memFree=29701092/32872528 swapFree=1299868/1463388
[pid=15567] ppid=15564 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/15567/stat : 15567 (java) S 15564 15567 12018 0 -1 4202496 10429 0 1 0 179959 46 0 0 20 0 19 0 10599219 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140737055663904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15567/statm: 2406260 75051 2272 9 0 2396937 0
[pid=15567/tid=15569] ppid=15564 vsize=9625040 CPUtime=1793.7 cores=1,3,5,7
/proc/15567/task/15569/stat : 15569 (java) R 15564 15567 12018 0 -1 4202560 2481 0 1 0 179335 35 0 0 20 0 19 0 10599220 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140540499381568 140540339767945 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15567/tid=15570] ppid=15564 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/15567/task/15570/stat : 15570 (java) S 15564 15567 12018 0 -1 4202560 96 0 0 0 8 2 0 0 20 0 19 0 10599222 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140540460873896 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15571] ppid=15564 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/15567/task/15571/stat : 15571 (java) S 15564 15567 12018 0 -1 4202560 97 0 0 0 12 2 0 0 20 0 19 0 10599222 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140540459821352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15572] ppid=15564 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/15567/task/15572/stat : 15572 (java) S 15564 15567 12018 0 -1 4202560 177 0 0 0 10 2 0 0 20 0 19 0 10599222 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140540458768808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15573] ppid=15564 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/15567/task/15573/stat : 15573 (java) S 15564 15567 12018 0 -1 4202560 190 0 0 0 11 2 0 0 20 0 19 0 10599222 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140540339284520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15574] ppid=15564 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/15567/task/15574/stat : 15574 (java) S 15564 15567 12018 0 -1 4202560 95 0 0 0 12 2 0 0 20 0 19 0 10599222 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140540338231976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15567/tid=15575] ppid=15564 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/15567/task/15575/stat : 15575 (java) S 15564 15567 12018 0 -1 4202560 217 0 0 0 7 2 0 0 20 0 19 0 10599222 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140540337179432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15576] ppid=15564 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/15567/task/15576/stat : 15576 (java) S 15564 15567 12018 0 -1 4202560 246 0 0 0 15 3 0 0 20 0 19 0 10599222 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140540336126888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15567/tid=15577] ppid=15564 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/15567/task/15577/stat : 15577 (java) S 15564 15567 12018 0 -1 4202560 169 0 0 0 6 0 0 0 20 0 19 0 10599222 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140540335074344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15578] ppid=15564 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/15567/task/15578/stat : 15578 (java) S 15564 15567 12018 0 -1 4202560 63 0 0 0 1 0 0 0 20 0 19 0 10599223 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140539852744808 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15579] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15579/stat : 15579 (java) S 15564 15567 12018 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10599223 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140539851691128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15580] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15580/stat : 15580 (java) S 15564 15567 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 10599223 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140539850638472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15581] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15581/stat : 15581 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599225 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140539849587216 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15582] ppid=15564 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/15567/task/15582/stat : 15582 (java) S 15564 15567 12018 0 -1 4202560 2959 0 0 0 18 0 0 0 20 0 19 0 10599225 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140539848534584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15567/tid=15583] ppid=15564 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/15567/task/15583/stat : 15583 (java) S 15564 15567 12018 0 -1 4202560 2276 0 0 0 21 0 0 0 20 0 19 0 10599225 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140539847482040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15567/tid=15584] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15584/stat : 15584 (java) S 15564 15567 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10599226 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140539846429688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15567/tid=15585] ppid=15564 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/15567/task/15585/stat : 15585 (java) S 15564 15567 12018 0 -1 4202560 104 0 0 0 27 24 0 0 20 0 19 0 10599226 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140539845377352 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15567/tid=15586] ppid=15564 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/15567/task/15586/stat : 15586 (java) S 15564 15567 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10599236 9856040960 75051 33554432000 1073741824 1073778376 140737055672768 140539844322088 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15567 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=8117
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=882865
# CPU time returned by wait4() is 1795.89
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.74
CPU time (s): 1800.05
CPU user time (s): 1799.59
CPU system time (s): 0.46
CPU usage (%): 100.073
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.01
system time used= 0.882865
maximum resident set size= 300364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10474
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38201
involuntary context switches= 6625

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.78151 second user time and 12.8051 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-30 21:42:12
IDJOB=4121830
IDBENCH=110695
IDSOLVER=2546
FILE ID=node121/4121830-1467315732
RUNJOBID= node121-1467310545-14395
PBS_JOBID= 20005265
Free space on /tmp= 71700 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-67.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4121830-1467315732/watcher-4121830-1467315732 -o /tmp/evaluation-result-4121830-1467315732/solver-4121830-1467315732 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467310545-14395 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4121830-1467315732.opb

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

MD5SUM BENCH= 4c20504d6c6ffcff265e3c598c633234
RANDOM SEED=836441360

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.172
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:        29975180 kB
Buffers:          122256 kB
Cached:           338636 kB
SwapCached:            0 kB
Active:           457672 kB
Inactive:         232396 kB
Active(anon):     216856 kB
Inactive(anon):    14756 kB
Active(file):     240816 kB
Inactive(file):   217640 kB
Unevictable:     1463388 kB
Mlocked:         1299868 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               860 kB
Writeback:             0 kB
AnonPages:       1751576 kB
Mapped:            22052 kB
Shmem:               204 kB
Slab:             609952 kB
SReclaimable:      54132 kB
SUnreclaim:       555820 kB
KernelStack:        1744 kB
PageTables:         7288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2157304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    428032 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= 71700 MiB
End job on node121 at 2016-06-30 22:12:11