Trace number 4118128

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)-16683 1800.6 1776.92

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-25.opb
MD5SUMbc38c022b32687c2e89585edeef8fc31
Bench CategoryOPT-BIGINT-NLC (optimisation, big integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-30412
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 14412
Biggest coefficient in the objective function 8912
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 2257216
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 8912
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 2257216
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)14362
Sum of products size (including duplicates)46564
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	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.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	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.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4118128-1467223458.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  objective function found
4.33/3.73	c ... done. Wall clock time 3.628s.
4.33/3.73	c declared #vars     50
4.33/3.73	c internal #vars     14412
4.33/3.73	c #constraints  28724
4.33/3.73	c constraints type 
4.33/3.73	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 14362
4.33/3.73	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14362
4.33/3.73	c 28724 constraints processed.
4.33/3.73	c objective function length is 14412 literals
4.60/3.89	c SATISFIABLE
4.60/3.89	c OPTIMIZING...
4.60/3.89	c Got one! Elapsed wall clock time (in seconds):3.793
4.60/3.89	o 0
4.80/3.99	c Got one! Elapsed wall clock time (in seconds):3.893
5.04/4.00	o -276
5.04/4.06	c Got one! Elapsed wall clock time (in seconds):3.96
5.04/4.06	o -552
5.32/4.10	c Got one! Elapsed wall clock time (in seconds):4.004
5.32/4.10	o -1037
5.32/4.14	c Got one! Elapsed wall clock time (in seconds):4.041
5.32/4.14	o -1334
5.32/4.19	c Got one! Elapsed wall clock time (in seconds):4.086
5.32/4.19	o -1522
5.51/4.21	c Got one! Elapsed wall clock time (in seconds):4.114
5.51/4.21	o -2157
5.51/4.27	c Got one! Elapsed wall clock time (in seconds):4.167
5.51/4.27	o -2175
5.63/4.32	c Got one! Elapsed wall clock time (in seconds):4.224
5.63/4.32	o -2365
5.63/4.36	c Got one! Elapsed wall clock time (in seconds):4.261
5.63/4.36	o -2475
5.63/4.39	c Got one! Elapsed wall clock time (in seconds):4.287
5.63/4.39	o -2792
5.74/4.43	c Got one! Elapsed wall clock time (in seconds):4.328
5.74/4.43	o -3526
5.84/4.56	c Got one! Elapsed wall clock time (in seconds):4.46
5.84/4.56	o -4095
6.03/4.75	c Got one! Elapsed wall clock time (in seconds):4.648
6.03/4.75	o -4218
6.13/4.81	c Got one! Elapsed wall clock time (in seconds):4.708
6.13/4.81	o -4260
6.13/4.87	c Got one! Elapsed wall clock time (in seconds):4.765
6.13/4.87	o -5050
6.66/5.26	c Got one! Elapsed wall clock time (in seconds):5.157
6.66/5.26	o -5066
6.76/5.30	c Got one! Elapsed wall clock time (in seconds):5.201
6.76/5.30	o -5646
7.06/5.68	c Got one! Elapsed wall clock time (in seconds):5.583
7.06/5.68	o -5807
7.26/5.90	c Got one! Elapsed wall clock time (in seconds):5.796
7.26/5.90	o -5840
7.46/6.01	c Got one! Elapsed wall clock time (in seconds):5.913
7.46/6.01	o -5856
7.56/6.10	c Got one! Elapsed wall clock time (in seconds):6.001
7.56/6.10	o -5872
7.56/6.15	c Got one! Elapsed wall clock time (in seconds):6.049
7.56/6.15	o -6697
8.46/7.08	c Got one! Elapsed wall clock time (in seconds):6.983
8.46/7.08	o -6714
8.96/7.56	c Got one! Elapsed wall clock time (in seconds):7.461
8.96/7.56	o -6731
9.06/7.61	c Got one! Elapsed wall clock time (in seconds):7.514
9.06/7.61	o -6746
9.06/7.67	c Got one! Elapsed wall clock time (in seconds):7.57
9.06/7.67	o -7590
10.79/9.22	c Got one! Elapsed wall clock time (in seconds):9.118
10.79/9.22	o -7605
11.89/10.33	c Got one! Elapsed wall clock time (in seconds):10.233
11.89/10.33	o -7620
12.09/10.57	c Got one! Elapsed wall clock time (in seconds):10.473
12.09/10.57	o -8212
14.50/12.93	c Got one! Elapsed wall clock time (in seconds):12.825
14.50/12.93	o -8307
16.33/14.54	c Got one! Elapsed wall clock time (in seconds):14.436
16.33/14.54	o -8319
16.73/14.99	c Got one! Elapsed wall clock time (in seconds):14.893
16.73/14.99	o -8322
17.34/15.52	c Got one! Elapsed wall clock time (in seconds):15.423
17.34/15.52	o -8338
17.63/15.87	c Got one! Elapsed wall clock time (in seconds):15.764
17.63/15.87	o -8342
17.74/15.97	c Got one! Elapsed wall clock time (in seconds):15.868
17.74/15.97	o -8361
17.83/16.00	c Got one! Elapsed wall clock time (in seconds):15.902
17.83/16.00	o -8413
17.83/16.03	c Got one! Elapsed wall clock time (in seconds):15.931
17.83/16.03	o -8419
17.83/16.05	c Got one! Elapsed wall clock time (in seconds):15.954
17.83/16.05	o -8428
17.83/16.08	c Got one! Elapsed wall clock time (in seconds):15.978
17.83/16.08	o -8434
17.93/16.11	c Got one! Elapsed wall clock time (in seconds):16.007
17.93/16.11	o -8457
17.93/16.15	c Got one! Elapsed wall clock time (in seconds):16.044
17.93/16.15	o -8478
17.93/16.17	c Got one! Elapsed wall clock time (in seconds):16.066
17.93/16.17	o -8479
17.93/16.20	c Got one! Elapsed wall clock time (in seconds):16.094
17.93/16.20	o -8494
18.03/16.23	c Got one! Elapsed wall clock time (in seconds):16.124
18.03/16.23	o -8502
18.28/16.36	c Got one! Elapsed wall clock time (in seconds):16.259
18.28/16.36	o -8523
18.38/16.43	c Got one! Elapsed wall clock time (in seconds):16.334
18.38/16.43	o -8538
18.38/16.47	c Got one! Elapsed wall clock time (in seconds):16.372
18.38/16.47	o -8544
18.38/16.49	c Got one! Elapsed wall clock time (in seconds):16.39
18.38/16.49	o -8559
18.48/16.54	c Got one! Elapsed wall clock time (in seconds):16.441
18.48/16.54	o -9174
23.28/21.36	c Got one! Elapsed wall clock time (in seconds):21.256
23.28/21.36	o -9255
24.88/22.99	c cleaning 5883 clauses out of 11768 with flag 2013/11768
26.30/24.39	c Got one! Elapsed wall clock time (in seconds):24.289
26.30/24.39	o -9261
27.69/25.74	c Got one! Elapsed wall clock time (in seconds):25.639
27.69/25.74	o -9398
29.03/26.84	c Got one! Elapsed wall clock time (in seconds):26.741
29.03/26.84	o -9456
29.43/27.27	c Got one! Elapsed wall clock time (in seconds):27.173
29.43/27.27	o -9458
29.63/27.46	c Got one! Elapsed wall clock time (in seconds):27.361
29.63/27.46	o -9477
29.74/27.57	c Got one! Elapsed wall clock time (in seconds):27.473
29.74/27.57	o -9478
29.84/27.61	c Got one! Elapsed wall clock time (in seconds):27.511
29.84/27.61	o -9498
29.84/27.69	c Got one! Elapsed wall clock time (in seconds):27.594
29.84/27.69	o -10288
37.13/34.92	c cleaning 6783 clauses out of 13566 with flag 10003/19449
39.58/37.13	c Got one! Elapsed wall clock time (in seconds):37.03
39.58/37.13	o -10373
44.18/41.75	c Got one! Elapsed wall clock time (in seconds):41.651
44.18/41.75	o -10384
45.90/43.41	c cleaning 6253 clauses out of 12507 with flag 2039/25173
46.53/44.05	c Got one! Elapsed wall clock time (in seconds):43.946
46.53/44.05	o -10396
48.22/45.79	c Got one! Elapsed wall clock time (in seconds):45.691
48.22/45.79	o -10413
48.92/46.43	c Got one! Elapsed wall clock time (in seconds):46.333
48.92/46.43	o -10416
49.12/46.70	c Got one! Elapsed wall clock time (in seconds):46.595
49.12/46.70	o -10449
49.72/47.21	c Got one! Elapsed wall clock time (in seconds):47.112
49.72/47.21	o -10461
49.83/47.34	c Got one! Elapsed wall clock time (in seconds):47.237
49.83/47.34	o -10478
49.83/47.39	c Got one! Elapsed wall clock time (in seconds):47.292
49.83/47.39	o -10484
50.02/47.58	c Got one! Elapsed wall clock time (in seconds):47.481
50.02/47.58	o -11388
56.02/53.55	c cleaning 6331 clauses out of 12662 with flag 8003/31581
65.06/62.21	c cleaning 6164 clauses out of 12330 with flag 20001/37580
66.17/63.36	c Got one! Elapsed wall clock time (in seconds):63.258
66.17/63.36	o -11424
73.96/71.15	c cleaning 5993 clauses out of 11988 with flag 10076/43402
84.37/81.05	c cleaning 5996 clauses out of 11995 with flag 22126/49402
84.78/81.42	c Got one! Elapsed wall clock time (in seconds):81.322
84.78/81.42	o -11441
86.87/83.58	c Got one! Elapsed wall clock time (in seconds):83.476
86.87/83.58	o -11444
88.38/85.06	c Got one! Elapsed wall clock time (in seconds):84.959
88.38/85.06	o -11447
89.19/85.90	c Got one! Elapsed wall clock time (in seconds):85.796
89.19/85.90	o -11450
89.38/86.09	c Got one! Elapsed wall clock time (in seconds):85.987
89.38/86.09	o -11458
89.48/86.13	c Got one! Elapsed wall clock time (in seconds):86.031
89.48/86.13	o -11464
89.48/86.17	c Got one! Elapsed wall clock time (in seconds):86.065
89.48/86.17	o -11470
89.68/86.32	c Got one! Elapsed wall clock time (in seconds):86.215
89.68/86.32	o -12402
95.68/92.37	c cleaning 6629 clauses out of 13263 with flag 8001/56666
103.98/100.63	c cleaning 6315 clauses out of 12634 with flag 20001/62666
114.55/110.85	c cleaning 6658 clauses out of 13320 with flag 34003/69667
125.96/122.21	c cleaning 7328 clauses out of 14662 with flag 50003/77667
138.36/134.68	c Got one! Elapsed wall clock time (in seconds):134.58
138.36/134.68	o -12417
146.91/142.70	c cleaning 10520 clauses out of 21041 with flag 10003/91374
154.11/149.96	c Got one! Elapsed wall clock time (in seconds):149.857
154.11/149.96	o -12423
155.71/151.52	c cleaning 8017 clauses out of 16034 with flag 2007/96887
157.61/153.40	c Got one! Elapsed wall clock time (in seconds):153.304
157.61/153.40	o -12440
159.41/155.21	c Got one! Elapsed wall clock time (in seconds):155.107
159.41/155.21	o -12446
160.71/156.53	c Got one! Elapsed wall clock time (in seconds):156.434
160.71/156.53	o -12459
161.41/157.25	c Got one! Elapsed wall clock time (in seconds):157.152
161.41/157.25	o -12462
161.51/157.33	c Got one! Elapsed wall clock time (in seconds):157.229
161.51/157.33	o -12476
161.51/157.40	c Got one! Elapsed wall clock time (in seconds):157.298
161.51/157.40	o -12482
161.61/157.45	c Got one! Elapsed wall clock time (in seconds):157.35
161.61/157.45	o -12492
161.71/157.50	c Got one! Elapsed wall clock time (in seconds):157.403
161.71/157.50	o -12498
161.71/157.53	c Got one! Elapsed wall clock time (in seconds):157.425
161.71/157.53	o -12499
161.71/157.54	c Got one! Elapsed wall clock time (in seconds):157.442
161.71/157.54	o -12505
162.41/158.24	c Got one! Elapsed wall clock time (in seconds):158.136
162.41/158.24	o -13168
166.41/162.24	c cleaning 7549 clauses out of 15102 with flag 6003/103972
174.81/170.69	c cleaning 6776 clauses out of 13553 with flag 18003/109972
184.54/180.14	c cleaning 6883 clauses out of 13776 with flag 32001/116971
196.05/191.60	c cleaning 7444 clauses out of 14893 with flag 48001/124971
208.66/204.25	c cleaning 8220 clauses out of 16449 with flag 66001/133971
217.07/212.20	c Got one! Elapsed wall clock time (in seconds):212.102
217.07/212.20	o -13199
224.57/219.79	c cleaning 9305 clauses out of 18611 with flag 10002/144353
233.27/228.41	c cleaning 7651 clauses out of 15307 with flag 22004/150354
243.77/238.92	c cleaning 7326 clauses out of 14656 with flag 36004/157354
254.84/249.99	c Got one! Elapsed wall clock time (in seconds):249.884
254.84/249.99	o -13236
262.98/257.94	c cleaning 9901 clauses out of 19810 with flag 10003/169834
272.38/267.38	c cleaning 7948 clauses out of 15909 with flag 22003/175834
277.77/272.72	c Got one! Elapsed wall clock time (in seconds):272.618
277.77/272.72	o -13259
281.07/276.03	c cleaning 6827 clauses out of 13660 with flag 4006/181533
285.47/280.44	c Got one! Elapsed wall clock time (in seconds):280.337
285.47/280.44	o -13264
290.37/285.37	c Got one! Elapsed wall clock time (in seconds):285.264
290.37/285.37	o -13271
291.37/286.38	c Got one! Elapsed wall clock time (in seconds):286.277
291.37/286.38	o -13418
293.07/288.07	c cleaning 6989 clauses out of 13980 with flag 2005/188680
298.57/293.35	c Got one! Elapsed wall clock time (in seconds):293.246
298.57/293.35	o -13445
300.57/295.39	c Got one! Elapsed wall clock time (in seconds):295.293
300.57/295.39	o -13464
301.07/295.87	c Got one! Elapsed wall clock time (in seconds):295.773
301.07/295.87	o -13465
302.17/296.94	c Got one! Elapsed wall clock time (in seconds):296.842
302.17/296.94	o -13480
303.87/298.69	c cleaning 6580 clauses out of 13159 with flag 2007/194848
303.97/298.75	c Got one! Elapsed wall clock time (in seconds):298.649
303.97/298.75	o -13487
304.07/298.82	c Got one! Elapsed wall clock time (in seconds):298.724
304.07/298.82	o -13494
304.17/298.90	c Got one! Elapsed wall clock time (in seconds):298.799
304.17/298.90	o -13517
304.37/299.11	c Got one! Elapsed wall clock time (in seconds):299.005
304.37/299.11	o -13533
304.48/299.27	c Got one! Elapsed wall clock time (in seconds):299.171
304.48/299.27	o -13540
305.77/300.53	c Got one! Elapsed wall clock time (in seconds):300.427
305.77/300.53	o -14373
312.77/307.54	c cleaning 6321 clauses out of 12641 with flag 10003/200910
321.37/316.13	c cleaning 6158 clauses out of 12319 with flag 22001/206909
331.07/325.76	c cleaning 6579 clauses out of 13161 with flag 36001/213909
341.78/336.47	c cleaning 7290 clauses out of 14582 with flag 52001/221909
354.48/349.15	c cleaning 8141 clauses out of 16293 with flag 70003/230910
368.93/363.48	c cleaning 9073 clauses out of 18152 with flag 90003/240910
384.33/378.85	c cleaning 10036 clauses out of 20079 with flag 112003/251910
401.23/395.58	c cleaning 11020 clauses out of 22043 with flag 136003/263910
408.03/402.32	c Got one! Elapsed wall clock time (in seconds):402.222
408.03/402.32	o -14421
409.63/403.91	c cleaning 8386 clauses out of 16779 with flag 2004/269666
419.07/413.13	c cleaning 7196 clauses out of 14393 with flag 14004/275666
428.87/422.92	c cleaning 7095 clauses out of 14196 with flag 28002/282665
440.27/434.36	c cleaning 7548 clauses out of 15102 with flag 44004/290666
452.91/446.86	c cleaning 8276 clauses out of 16553 with flag 62002/299665
467.81/461.75	c cleaning 9136 clauses out of 18277 with flag 82002/309665
477.33/471.05	c Got one! Elapsed wall clock time (in seconds):470.95
477.33/471.05	o -14449
484.84/478.58	c cleaning 10284 clauses out of 20574 with flag 10005/321098
493.64/487.32	c cleaning 8141 clauses out of 16289 with flag 22003/327097
504.48/497.99	c cleaning 7572 clauses out of 15148 with flag 36003/334097
516.68/510.20	c cleaning 7788 clauses out of 15577 with flag 52005/342098
520.88/514.34	c Got one! Elapsed wall clock time (in seconds):514.24
520.88/514.34	o -14456
525.68/519.12	c cleaning 6799 clauses out of 13601 with flag 6006/347910
535.06/528.47	c cleaning 6397 clauses out of 12801 with flag 18004/353909
544.36/537.72	c Got one! Elapsed wall clock time (in seconds):537.623
544.36/537.72	o -14487
551.17/544.54	c Got one! Elapsed wall clock time (in seconds):544.441
551.17/544.54	o -14497
552.97/546.34	c cleaning 8740 clauses out of 17486 with flag 2011/364991
554.87/548.20	c Got one! Elapsed wall clock time (in seconds):548.1
554.87/548.20	o -14499
556.68/550.01	c Got one! Elapsed wall clock time (in seconds):549.905
556.68/550.01	o -14504
556.97/550.36	c Got one! Elapsed wall clock time (in seconds):550.256
556.97/550.36	o -14510
557.07/550.45	c Got one! Elapsed wall clock time (in seconds):550.347
557.07/550.45	o -14511
557.27/550.62	c Got one! Elapsed wall clock time (in seconds):550.518
557.27/550.62	o -14539
558.39/551.68	c Got one! Elapsed wall clock time (in seconds):551.583
558.39/551.68	o -14555
563.40/556.64	c cleaning 7385 clauses out of 14775 with flag 6017/371020
565.19/558.48	c Got one! Elapsed wall clock time (in seconds):558.375
565.19/558.48	o -14558
566.89/560.17	c Got one! Elapsed wall clock time (in seconds):560.068
566.89/560.17	o -14565
567.09/560.33	c Got one! Elapsed wall clock time (in seconds):560.234
567.09/560.33	o -14572
567.29/560.56	c Got one! Elapsed wall clock time (in seconds):560.459
567.29/560.56	o -14588
567.39/560.68	c Got one! Elapsed wall clock time (in seconds):560.58
567.39/560.68	o -14595
567.59/560.82	c Got one! Elapsed wall clock time (in seconds):560.723
567.59/560.82	o -14601
567.80/561.07	c Got one! Elapsed wall clock time (in seconds):560.964
567.80/561.07	o -14605
567.80/561.09	c Got one! Elapsed wall clock time (in seconds):560.99
567.80/561.09	o -14611
571.89/565.13	c Got one! Elapsed wall clock time (in seconds):565.031
571.89/565.13	o -15443
574.59/567.88	c cleaning 7153 clauses out of 14320 with flag 4001/377950
582.92/576.08	c cleaning 6580 clauses out of 13168 with flag 16003/383951
592.52/585.64	c cleaning 6792 clauses out of 13588 with flag 30003/390951
604.32/597.20	c cleaning 7393 clauses out of 14795 with flag 46001/398950
617.32/610.23	c cleaning 8200 clauses out of 16402 with flag 64001/407950
631.38/624.10	c cleaning 9099 clauses out of 18202 with flag 84001/417950
647.33/639.83	c cleaning 10051 clauses out of 20104 with flag 106003/428951
663.93/656.40	c cleaning 11026 clauses out of 22053 with flag 130003/440951
681.28/673.75	c cleaning 12009 clauses out of 24026 with flag 156001/453950
700.80/692.97	c cleaning 13008 clauses out of 26017 with flag 184001/467950
721.61/713.24	c cleaning 14004 clauses out of 28009 with flag 214001/482950
743.45/734.97	c cleaning 15001 clauses out of 30006 with flag 246003/498951
758.80/750.12	c Got one! Elapsed wall clock time (in seconds):750.015
758.80/750.12	o -15475
767.16/758.22	c cleaning 15646 clauses out of 31298 with flag 10004/515244
776.06/767.16	c cleaning 10821 clauses out of 21651 with flag 22002/521243
785.95/776.90	c cleaning 8910 clauses out of 17831 with flag 36004/528244
797.66/788.57	c cleaning 8455 clauses out of 16920 with flag 52002/536243
810.50/801.29	c cleaning 8729 clauses out of 17466 with flag 70004/545244
825.06/815.68	c cleaning 9365 clauses out of 18736 with flag 90002/555243
841.39/831.89	c cleaning 10185 clauses out of 20372 with flag 112004/566244
859.29/849.63	c cleaning 11091 clauses out of 22186 with flag 136002/578243
879.14/869.15	c cleaning 12047 clauses out of 24095 with flag 162002/591243
891.79/881.62	c Got one! Elapsed wall clock time (in seconds):881.523
891.79/881.62	o -15581
899.89/889.76	c cleaning 12667 clauses out of 25342 with flag 10005/604537
908.72/898.42	c cleaning 9334 clauses out of 18675 with flag 22005/610537
918.50/908.18	c cleaning 8167 clauses out of 16340 with flag 36003/617536
930.20/919.78	c cleaning 8086 clauses out of 16174 with flag 52005/625537
943.55/933.07	c cleaning 8541 clauses out of 17087 with flag 70003/634536
958.32/947.63	c cleaning 9273 clauses out of 18547 with flag 90005/644537
963.32/952.65	c Got one! Elapsed wall clock time (in seconds):952.546
963.32/952.65	o -15584
966.73/955.92	c cleaning 7378 clauses out of 14768 with flag 4004/650031
976.56/965.61	c cleaning 6692 clauses out of 13391 with flag 16006/656032
988.09/977.07	c cleaning 6846 clauses out of 13699 with flag 30006/663032
1001.00/989.88	c cleaning 7421 clauses out of 14853 with flag 46006/671032
1014.11/1002.83	c Got one! Elapsed wall clock time (in seconds):1002.726
1014.11/1002.83	o -15620
1022.78/1011.33	c cleaning 10124 clauses out of 20251 with flag 10005/683851
1032.64/1021.20	c cleaning 8062 clauses out of 16128 with flag 22007/689852
1041.99/1030.41	c Got one! Elapsed wall clock time (in seconds):1030.31
1041.99/1030.41	o -15654
1050.71/1039.03	c cleaning 9374 clauses out of 18750 with flag 10031/700536
1058.29/1046.58	c Got one! Elapsed wall clock time (in seconds):1046.475
1058.29/1046.58	o -15660
1060.09/1048.35	c cleaning 7492 clauses out of 14996 with flag 2049/706156
1064.73/1052.99	c Got one! Elapsed wall clock time (in seconds):1052.892
1064.73/1052.99	o -15666
1065.43/1053.60	c Got one! Elapsed wall clock time (in seconds):1053.498
1065.43/1053.60	o -15676
1065.83/1054.06	c Got one! Elapsed wall clock time (in seconds):1053.956
1065.83/1054.06	o -15682
1069.13/1057.33	c Got one! Elapsed wall clock time (in seconds):1057.232
1069.13/1057.33	o -15873
1072.04/1060.14	c cleaning 7356 clauses out of 14725 with flag 4003/713377
1080.54/1068.51	c cleaning 6680 clauses out of 13368 with flag 16001/719376
1090.11/1077.94	c cleaning 6844 clauses out of 13689 with flag 30003/726377
1101.40/1089.12	c cleaning 7422 clauses out of 14845 with flag 46003/734377
1114.63/1102.24	c cleaning 8211 clauses out of 16423 with flag 64003/743377
1129.53/1116.93	c cleaning 9104 clauses out of 18211 with flag 84001/753376
1145.88/1133.09	c cleaning 10053 clauses out of 20107 with flag 106001/764376
1163.28/1150.16	c cleaning 11024 clauses out of 22055 with flag 130003/776377
1181.40/1167.85	c cleaning 12015 clauses out of 24030 with flag 156001/789376
1200.69/1186.81	c cleaning 13003 clauses out of 26016 with flag 184003/803377
1223.11/1208.94	c cleaning 14005 clauses out of 28012 with flag 214001/818376
1247.30/1232.75	c cleaning 15002 clauses out of 30008 with flag 246003/834377
1261.58/1246.83	c Got one! Elapsed wall clock time (in seconds):1246.727
1261.58/1246.83	o -15910
1269.82/1254.82	c cleaning 14797 clauses out of 29597 with flag 10004/848968
1279.22/1264.12	c cleaning 10396 clauses out of 20800 with flag 22004/854968
1289.36/1274.29	c cleaning 8694 clauses out of 17403 with flag 36002/861967
1301.16/1286.00	c cleaning 8354 clauses out of 16711 with flag 52006/869969
1314.12/1298.79	c cleaning 8677 clauses out of 17357 with flag 70006/878969
1329.41/1313.84	c cleaning 9337 clauses out of 18679 with flag 90004/888968
1345.92/1330.09	c cleaning 10170 clauses out of 20342 with flag 112004/899968
1364.69/1348.48	c cleaning 11083 clauses out of 22171 with flag 136002/911967
1384.73/1368.23	c cleaning 12042 clauses out of 24089 with flag 162004/924968
1399.31/1382.70	c Got one! Elapsed wall clock time (in seconds):1382.602
1399.31/1382.70	o -15936
1407.77/1390.88	c cleaning 13169 clauses out of 26339 with flag 10005/939260
1416.53/1399.56	c cleaning 9579 clauses out of 19169 with flag 22003/945259
1426.76/1409.64	c cleaning 8294 clauses out of 16590 with flag 36003/952259
1439.02/1421.77	c cleaning 8141 clauses out of 16296 with flag 52003/960259
1452.79/1435.20	c cleaning 8578 clauses out of 17155 with flag 70003/969259
1467.85/1450.02	c cleaning 9289 clauses out of 18577 with flag 90003/979259
1477.34/1459.49	c Got one! Elapsed wall clock time (in seconds):1459.392
1477.34/1459.49	o -15948
1484.87/1466.86	c cleaning 10310 clauses out of 20620 with flag 10004/990591
1493.95/1475.83	c cleaning 8153 clauses out of 16310 with flag 22004/996591
1504.51/1486.23	c cleaning 7574 clauses out of 15158 with flag 36006/1003592
1516.72/1498.38	c cleaning 7790 clauses out of 15584 with flag 52006/1011592
1525.41/1506.93	c Got one! Elapsed wall clock time (in seconds):1506.831
1525.41/1506.93	o -16054
1534.10/1515.41	c cleaning 9114 clauses out of 18236 with flag 10007/1022034
1544.24/1525.43	c cleaning 7557 clauses out of 15122 with flag 22007/1028034
1552.92/1534.01	c Got one! Elapsed wall clock time (in seconds):1533.911
1552.92/1534.01	o -16090
1561.86/1542.79	c cleaning 8858 clauses out of 17719 with flag 10008/1038188
1562.36/1543.26	c Got one! Elapsed wall clock time (in seconds):1543.162
1562.36/1543.26	o -16097
1566.08/1546.97	c Got one! Elapsed wall clock time (in seconds):1546.873
1566.08/1546.97	o -16103
1567.08/1547.91	c Got one! Elapsed wall clock time (in seconds):1547.811
1567.08/1547.91	o -16105
1568.26/1549.00	c Got one! Elapsed wall clock time (in seconds):1548.896
1568.26/1549.00	o -16107
1573.63/1554.32	c cleaning 7723 clauses out of 15450 with flag 6043/1044777
1575.22/1555.99	c Got one! Elapsed wall clock time (in seconds):1555.89
1575.22/1555.99	o -16121
1575.52/1556.24	c Got one! Elapsed wall clock time (in seconds):1556.141
1575.52/1556.24	o -16124
1575.72/1556.45	c Got one! Elapsed wall clock time (in seconds):1556.347
1575.72/1556.45	o -16126
1575.82/1556.51	c Got one! Elapsed wall clock time (in seconds):1556.406
1575.82/1556.51	o -16136
1576.12/1556.85	c Got one! Elapsed wall clock time (in seconds):1556.753
1576.12/1556.85	o -16142
1576.97/1557.70	c Got one! Elapsed wall clock time (in seconds):1557.601
1576.97/1557.70	o -16146
1577.17/1557.89	c Got one! Elapsed wall clock time (in seconds):1557.786
1577.17/1557.89	o -16152
1577.37/1558.02	c Got one! Elapsed wall clock time (in seconds):1557.914
1577.37/1558.02	o -16171
1578.17/1558.89	c Got one! Elapsed wall clock time (in seconds):1558.792
1578.17/1558.89	o -16173
1578.27/1558.92	c Got one! Elapsed wall clock time (in seconds):1558.815
1578.27/1558.92	o -16175
1578.27/1558.94	c Got one! Elapsed wall clock time (in seconds):1558.84
1578.27/1558.94	o -16177
1582.45/1563.02	c Got one! Elapsed wall clock time (in seconds):1562.915
1582.45/1563.02	o -16555
1585.45/1565.92	c cleaning 7316 clauses out of 14646 with flag 4002/1051696
1593.60/1573.99	c cleaning 6659 clauses out of 13330 with flag 16002/1057696
1603.44/1583.60	c cleaning 6832 clauses out of 13672 with flag 30004/1064697
1615.04/1595.09	c cleaning 7417 clauses out of 14839 with flag 46002/1072696
1627.89/1607.64	c cleaning 8210 clauses out of 16422 with flag 64002/1081696
1642.22/1621.79	c cleaning 9103 clauses out of 18212 with flag 84002/1091696
1658.41/1637.68	c cleaning 10052 clauses out of 20109 with flag 106002/1102696
1676.30/1655.22	c cleaning 11025 clauses out of 22058 with flag 130004/1114697
1694.91/1673.44	c cleaning 12015 clauses out of 24033 with flag 156004/1127697
1715.00/1693.23	c cleaning 13008 clauses out of 26018 with flag 184004/1141697
1736.83/1714.66	c cleaning 14002 clauses out of 28010 with flag 214004/1156697
1759.59/1736.94	c cleaning 15001 clauses out of 30007 with flag 246002/1172696
1784.03/1761.07	c cleaning 16004 clauses out of 32007 with flag 280004/1189697
1789.12/1766.04	c Got one! Elapsed wall clock time (in seconds):1765.94
1789.12/1766.04	o -16683
1792.22/1769.15	c cleaning 10667 clauses out of 21343 with flag 4003/1195037
1800.09/1776.90	c starts		: 160
1800.09/1776.90	c conflicts		: 1200242
1800.09/1776.90	c decisions		: 1207177
1800.09/1776.90	c propagations		: 750198415
1800.09/1776.90	c inspects		: 3699749194
1800.09/1776.90	c shortcuts		: 0
1800.09/1776.90	c learnt literals	: 0
1800.09/1776.90	c learnt binary clauses	: 0
1800.09/1776.90	c learnt ternary clauses	: 0
1800.09/1776.90	c learnt constraints	: 1200242
1800.09/1776.90	c ignored constraints	: 0
1800.09/1776.90	c root simplifications	: 0
1800.09/1776.90	c removed literals (reason simplification)	: 0
1800.09/1776.90	c reason swapping (by a shorter reason)	: 0
1800.09/1776.90	c Calls to reduceDB	: 132
1800.09/1776.90	c Number of update (reduction) of LBD	: 267
1800.09/1776.90	c Imported unit clauses	: 0
1800.09/1776.90	c number of reductions to clauses (during analyze)	: 0
1800.09/1776.90	c number of learned constraints concerned by reduction	: 0
1800.09/1776.90	c number of learning phase by resolution	: 0
1800.09/1776.90	c number of learning phase by cutting planes	: 0
1800.09/1776.90	c speed (assignments/second)	: 423095.3579539783
1800.09/1776.90	c non guided choices	0
1800.09/1776.91	c learnt constraints type 
1800.09/1776.91	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 15882
1800.09/1776.91	s SATISFIABLE
1800.09/1776.91	c Found 159 solution(s)
1800.09/1776.91	v x1 x2 x3 -x4 x5 -x6 -x7 x8 -x9 -x10 -x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 -x41 -x42 -x43 -x44 x45 -x46 x47 -x48 x49 -x50 
1800.09/1776.91	c objective function=-16683
1800.09/1776.91	c Total wall clock time (in seconds): 1776.812

Verifier Data 

OK	-16683

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-4118128-1467223458/watcher-4118128-1467223458 -o /tmp/evaluation-result-4118128-1467223458/solver-4118128-1467223458 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467209106-4306 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118128-1467223458.opb 

pid=5975
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.07 2.11 2.09 3/194 5978
/proc/meminfo: memFree=29204184/32872528 swapFree=242912/249044
[pid=5978] ppid=5975 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/5978/stat : 5978 (java) S 5975 5978 4289 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 3452176 98570240 977 33554432000 1073741824 1073778376 140736582096352 140736582087488 247067607101 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5978/statm: 24065 977 743 9 0 16771 0
[pid=5978/tid=5979] ppid=5975 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5979/stat : 5979 (java) R 5975 5978 4289 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 3452176 98570240 977 33554432000 1073741824 1073778376 140736582096352 140721353403944 247064249728 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100151 s]
/proc/loadavg: 2.07 2.11 2.09 3/194 5978
/proc/meminfo: memFree=29204184/32872528 swapFree=242912/249044
[pid=5978] ppid=5975 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/5978/stat : 5978 (java) S 5975 5978 4289 0 -1 4202496 4493 0 1 0 10 1 0 0 20 0 18 0 3452176 9787879424 6120 33554432000 1073741824 1073778376 140736582096352 140736582087488 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5978/statm: 2389619 6121 2157 9 0 2380296 0
[pid=5978/tid=5979] ppid=5975 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/5978/task/5979/stat : 5979 (java) R 5975 5978 4289 0 -1 4202560 2378 0 1 0 7 0 0 0 20 0 18 0 3452176 9787879424 6121 33554432000 1073741824 1073778376 140736582096352 140721353407392 247067632909 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.2004 s]
/proc/loadavg: 2.07 2.11 2.09 3/194 5978
/proc/meminfo: memFree=29204184/32872528 swapFree=242912/249044
[pid=5978] ppid=5975 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/5978/stat : 5978 (java) S 5975 5978 4289 0 -1 4202496 4709 0 1 0 25 1 0 0 20 0 18 0 3452176 9787879424 6781 33554432000 1073741824 1073778376 140736582096352 140736582087488 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5978/statm: 2389619 6781 2223 9 0 2380296 0
[pid=5978/tid=5979] ppid=5975 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/5978/task/5979/stat : 5979 (java) R 5975 5978 4289 0 -1 4202560 2402 0 1 0 17 0 0 0 20 0 18 0 3452176 9787879424 6781 33554432000 1073741824 1073778376 140736582096352 140721353407392 140721197753520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300387 s]
/proc/loadavg: 2.07 2.11 2.09 3/194 5978
/proc/meminfo: memFree=29204184/32872528 swapFree=242912/249044
[pid=5978] ppid=5975 vsize=9558476 CPUtime=0.5 cores=1,3,5,7
/proc/5978/stat : 5978 (java) S 5975 5978 4289 0 -1 4202496 6343 0 1 0 49 1 0 0 20 0 18 0 3452176 9787879424 8430 33554432000 1073741824 1073778376 140736582096352 140736582087488 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5978/statm: 2389619 8430 2239 9 0 2380296 0
[pid=5978/tid=5979] ppid=5975 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/5978/task/5979/stat : 5979 (java) R 5975 5978 4289 0 -1 4202560 2405 0 1 0 27 0 0 0 20 0 18 0 3452176 9787879424 8430 33554432000 1073741824 1073778376 140736582096352 140721353407608 140721198096291 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476

[startup+0.7002 s]
/proc/loadavg: 2.07 2.11 2.09 3/194 5978
/proc/meminfo: memFree=29204184/32872528 swapFree=242912/249044
[pid=5978] ppid=5975 vsize=9558476 CPUtime=1.05 cores=1,3,5,7
/proc/5978/stat : 5978 (java) S 5975 5978 4289 0 -1 4202496 7434 0 1 0 103 2 0 0 20 0 18 0 3452176 9787879424 11266 33554432000 1073741824 1073778376 140736582096352 140736582087488 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5978/statm: 2389619 11266 2242 9 0 2380296 0
[pid=5978/tid=5979] ppid=5975 vsize=9558476 CPUtime=0.67 cores=1,3,5,7
/proc/5978/task/5979/stat : 5979 (java) R 5975 5978 4289 0 -1 4202560 2410 0 1 0 66 1 0 0 20 0 18 0 3452176 9787879424 11266 33554432000 1073741824 1073778376 140736582096352 140721353408392 140721198171633 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 9558476

[startup+1.50083 s]
/proc/loadavg: 2.15 2.13 2.09 3/212 5996
/proc/meminfo: memFree=29159424/32872528 swapFree=242912/249044
[pid=5978] ppid=5975 vsize=9558476 CPUtime=1.9 cores=1,3,5,7
/proc/5978/stat : 5978 (java) S 5975 5978 4289 0 -1 4202496 7621 0 1 0 188 2 0 0 20 0 18 0 3452176 9787879424 13833 33554432000 1073741824 1073778376 140736582096352 140736582087488 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5978/statm: 2389619 13833 2249 9 0 2380296 0
[pid=5978/tid=5979] ppid=5975 vsize=9558476 CPUtime=1.48 cores=1,3,5,7
/proc/5978/task/5979/stat : 5979 (java) R 5975 5978 4289 0 -1 4202560 2416 0 1 0 146 2 0 0 20 0 18 0 3452176 9787879424 13833 33554432000 1073741824 1073778376 140736582096352 140721353400016 140721198096114 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5981] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5981/stat : 5981 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3452177 9787879424 13833 33554432000 1073741824 1073778376 140736582096352 140721325861672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5982] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5982/stat : 5982 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3452177 9787879424 13833 33554432000 1073741824 1073778376 140736582096352 140721324808872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5978/tid=5983] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5983/stat : 5983 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3452177 9787879424 13833 33554432000 1073741824 1073778376 140736582096352 140721323756584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5978/tid=5984] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5984/stat : 5984 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3452177 9787879424 13833 33554432000 1073741824 1073778376 140736582096352 140721322703784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5978/tid=5985] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5985/stat : 5985 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3452177 9787879424 13833 33554432000 1073741824 1073778376 140736582096352 140721321650472 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5986] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5986/stat : 5986 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3452177 9787879424 13833 33554432000 1073741824 1073778376 140736582096352 140721320597672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5978/tid=5987] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5987/stat : 5987 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3452177 9787879424 13833 33554432000 1073741824 1073778376 140736582096352 140721319545384 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5988] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5988/stat : 5988 (java) S 5975 5978 4289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3452177 9787879424 13833 33554432000 1073741824 1073778376 140736582096352 140721318492584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5989] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5989/stat : 5989 (java) S 5975 5978 4289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3452178 9787879424 13833 33554432000 1073741824 1073778376 140736582096352 140720706923240 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5978/tid=5990] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5990/stat : 5990 (java) S 5975 5978 4289 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 3452179 9787879424 13833 33554432000 1073741824 1073778376 140736582096352 140720705869304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5991] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5991/stat : 5991 (java) S 5975 5978 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 3452179 9787879424 13833 33554432000 1073741824 1073778376 140736582096352 140720704816904 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5992] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5992/stat : 5992 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3452181 9787879424 13833 33554432000 1073741824 1073778376 140736582096352 140720703765392 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5993] ppid=5975 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/5978/task/5993/stat : 5993 (java) S 5975 5978 4289 0 -1 4202560 1982 0 0 0 22 0 0 0 20 0 18 0 3452181 9787879424 13833 33554432000 1073741824 1073778376 140736582096352 140720702711992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5994] ppid=5975 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/5978/task/5994/stat : 5994 (java) S 5975 5978 4289 0 -1 4202560 1959 0 0 0 18 0 0 0 20 0 18 0 3452181 9787879424 13833 33554432000 1073741824 1073778376 140736582096352 140720701659192 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5978/tid=5995] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5995/stat : 5995 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3452181 9787879424 13833 33554432000 1073741824 1073778376 140736582096352 140720700607096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5978/tid=5996] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5996/stat : 5996 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3452181 9787879424 13833 33554432000 1073741824 1073778376 140736582096352 140720699554504 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 9558476

[startup+3.10078 s]
/proc/loadavg: 2.15 2.13 2.09 5/212 5996
/proc/meminfo: memFree=29141436/32872528 swapFree=242912/249044
[pid=5978] ppid=5975 vsize=9558476 CPUtime=3.73 cores=1,3,5,7
/proc/5978/stat : 5978 (java) S 5975 5978 4289 0 -1 4202496 12637 0 1 0 370 3 0 0 20 0 18 0 3452176 9787879424 18736 33554432000 1073741824 1073778376 140736582096352 140736582087488 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5978/statm: 2389619 18736 2251 9 0 2380296 0
[pid=5978/tid=5979] ppid=5975 vsize=9558476 CPUtime=3.07 cores=1,3,5,7
/proc/5978/task/5979/stat : 5979 (java) R 5975 5978 4289 0 -1 4202560 2422 0 1 0 305 2 0 0 20 0 18 0 3452176 9787879424 18736 33554432000 1073741824 1073778376 140736582096352 140721353400016 140721198096291 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5981] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5981/stat : 5981 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3452177 9787879424 18736 33554432000 1073741824 1073778376 140736582096352 140721325861672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5982] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5982/stat : 5982 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3452177 9787879424 18736 33554432000 1073741824 1073778376 140736582096352 140721324808872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5978/tid=5983] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5983/stat : 5983 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3452177 9787879424 18736 33554432000 1073741824 1073778376 140736582096352 140721323756584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5978/tid=5984] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5984/stat : 5984 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3452177 9787879424 18736 33554432000 1073741824 1073778376 140736582096352 140721322703784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5978/tid=5985] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5985/stat : 5985 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3452177 9787879424 18736 33554432000 1073741824 1073778376 140736582096352 140721321650472 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5986] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5986/stat : 5986 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3452177 9787879424 18736 33554432000 1073741824 1073778376 140736582096352 140721320597672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5978/tid=5987] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5987/stat : 5987 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3452177 9787879424 18736 33554432000 1073741824 1073778376 140736582096352 140721319545384 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5988] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5988/stat : 5988 (java) S 5975 5978 4289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3452177 9787879424 18736 33554432000 1073741824 1073778376 140736582096352 140721318492584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5989] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5989/stat : 5989 (java) S 5975 5978 4289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3452178 9787879424 18736 33554432000 1073741824 1073778376 140736582096352 140720706923240 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5978/tid=5990] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5990/stat : 5990 (java) S 5975 5978 4289 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 3452179 9787879424 18736 33554432000 1073741824 1073778376 140736582096352 140720705869304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5991] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5991/stat : 5991 (java) S 5975 5978 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 3452179 9787879424 18736 33554432000 1073741824 1073778376 140736582096352 140720704816904 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5992] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5992/stat : 5992 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3452181 9787879424 18736 33554432000 1073741824 1073778376 140736582096352 140720703765392 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5993] ppid=5975 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/5978/task/5993/stat : 5993 (java) S 5975 5978 4289 0 -1 4202560 2726 0 0 0 29 0 0 0 20 0 18 0 3452181 9787879424 18736 33554432000 1073741824 1073778376 140736582096352 140720702711992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5994] ppid=5975 vsize=9558476 CPUtime=0.33 cores=1,3,5,7
/proc/5978/task/5994/stat : 5994 (java) S 5975 5978 4289 0 -1 4202560 6225 0 0 0 33 0 0 0 20 0 18 0 3452181 9787879424 18736 33554432000 1073741824 1073778376 140736582096352 140720701659192 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5978/tid=5995] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5995/stat : 5995 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3452181 9787879424 18736 33554432000 1073741824 1073778376 140736582096352 140720700607096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5978/tid=5996] ppid=5975 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5996/stat : 5996 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3452181 9787879424 18736 33554432000 1073741824 1073778376 140736582096352 140720699554504 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 9558476

[startup+6.3009 s]
/proc/loadavg: 2.14 2.13 2.09 3/213 5997
/proc/meminfo: memFree=29012344/32872528 swapFree=242912/249044
[pid=5978] ppid=5975 vsize=9625040 CPUtime=7.76 cores=1,3,5,7
/proc/5978/stat : 5978 (java) S 5975 5978 4289 0 -1 4202496 13906 0 1 0 769 7 0 0 20 0 19 0 3452176 9856040960 48138 33554432000 1073741824 1073778376 140736582096352 140736582087488 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5978/statm: 2406260 48138 2287 9 0 2396937 0
[pid=5978/tid=5979] ppid=5975 vsize=9625040 CPUtime=6.23 cores=1,3,5,7
/proc/5978/task/5979/stat : 5979 (java) R 5975 5978 4289 0 -1 4202560 2485 0 1 0 619 4 0 0 20 0 19 0 3452176 9856040960 48138 33554432000 1073741824 1073778376 140736582096352 140721353400624 140721198589559 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5978/tid=5981] ppid=5975 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/5978/task/5981/stat : 5981 (java) S 5975 5978 4289 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 3452177 9856040960 48138 33554432000 1073741824 1073778376 140736582096352 140721325861672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5978/tid=5982] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5982/stat : 5982 (java) S 5975 5978 4289 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 3452177 9856040960 48138 33554432000 1073741824 1073778376 140736582096352 140721324808872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5978/tid=5983] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5983/stat : 5983 (java) S 5975 5978 4289 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 3452177 9856040960 48138 33554432000 1073741824 1073778376 140736582096352 140721323756584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5978/tid=5984] ppid=5975 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/5978/task/5984/stat : 5984 (java) S 5975 5978 4289 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 3452177 9856040960 48138 33554432000 1073741824 1073778376 140736582096352 140721322703784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5978/tid=5985] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5985/stat : 5985 (java) S 5975 5978 4289 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3452177 9856040960 48138 33554432000 1073741824 1073778376 140736582096352 140721321650472 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5978/tid=5986] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5986/stat : 5986 (java) S 5975 5978 4289 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 3452177 9856040960 48138 33554432000 1073741824 1073778376 140736582096352 140721320597672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5978/tid=5987] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5987/stat : 5987 (java) S 5975 5978 4289 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 3452177 9856040960 48138 33554432000 1073741824 1073778376 140736582096352 140721319545384 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5988] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5988/stat : 5988 (java) S 5975 5978 4289 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3452177 9856040960 48138 33554432000 1073741824 1073778376 140736582096352 140721318492584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5989] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5989/stat : 5989 (java) S 5975 5978 4289 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 3452178 9856040960 48138 33554432000 1073741824 1073778376 140736582096352 140720706923240 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5978/tid=5990] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5990/stat : 5990 (java) S 5975 5978 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3452179 9856040960 48138 33554432000 1073741824 1073778376 140736582096352 140720705869304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5991] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5991/stat : 5991 (java) S 5975 5978 4289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3452179 9856040960 48138 33554432000 1073741824 1073778376 140736582096352 140720704816904 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5992] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5992/stat : 5992 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3452181 9856040960 48138 33554432000 1073741824 1073778376 140736582096352 140720703765392 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5993] ppid=5975 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/5978/task/5993/stat : 5993 (java) S 5975 5978 4289 0 -1 4202560 3116 0 0 0 64 0 0 0 20 0 19 0 3452181 9856040960 48138 33554432000 1073741824 1073778376 140736582096352 140720702711992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5994] ppid=5975 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/5978/task/5994/stat : 5994 (java) S 5975 5978 4289 0 -1 4202560 6973 0 0 0 76 0 0 0 20 0 19 0 3452181 9856040960 48138 33554432000 1073741824 1073778376 140736582096352 140720701659192 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5978/tid=5995] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5995/stat : 5995 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3452181 9856040960 48138 33554432000 1073741824 1073778376 140736582096352 140720700607096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5978/tid=5996] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7

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

[pid=5978/tid=5990] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5990/stat : 5990 (java) S 5975 5978 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3452179 9856040960 259712 33554432000 1073741824 1073778376 140736582096352 140720705869304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5991] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5991/stat : 5991 (java) S 5975 5978 4289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3452179 9856040960 259712 33554432000 1073741824 1073778376 140736582096352 140720704816904 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5992] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5992/stat : 5992 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3452181 9856040960 259712 33554432000 1073741824 1073778376 140736582096352 140720703765392 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5993] ppid=5975 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/5978/task/5993/stat : 5993 (java) S 5975 5978 4289 0 -1 4202560 3134 0 0 0 71 0 0 0 20 0 19 0 3452181 9856040960 259712 33554432000 1073741824 1073778376 140736582096352 140720702711992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5994] ppid=5975 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/5978/task/5994/stat : 5994 (java) S 5975 5978 4289 0 -1 4202560 6974 0 0 0 86 0 0 0 20 0 19 0 3452181 9856040960 259712 33554432000 1073741824 1073778376 140736582096352 140720701659192 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5978/tid=5995] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5995/stat : 5995 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3452181 9856040960 259712 33554432000 1073741824 1073778376 140736582096352 140720700607096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5978/tid=5996] ppid=5975 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/5978/task/5996/stat : 5996 (java) S 5975 5978 4289 0 -1 4202560 97 0 0 0 15 17 0 0 20 0 19 0 3452181 9856040960 259712 33554432000 1073741824 1073778376 140736582096352 140720699554504 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5978/tid=5997] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5997/stat : 5997 (java) S 5975 5978 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3452555 9856040960 259712 33554432000 1073741824 1073778376 140736582096352 140720698500520 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1683.47
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.03 2.07 2.02 3/213 6107
/proc/meminfo: memFree=28264592/32872528 swapFree=242912/249044
[pid=5978] ppid=5975 vsize=9625040 CPUtime=1744.64 cores=1,3,5,7
/proc/5978/stat : 5978 (java) S 5975 5978 4289 0 -1 4202496 35018 0 1 0 174091 373 0 0 20 0 19 0 3452176 9856040960 307988 33554432000 1073741824 1073778376 140736582096352 140736582087488 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5978/statm: 2406260 307988 2301 9 0 2396937 0
[pid=5978/tid=5979] ppid=5975 vsize=9625040 CPUtime=1710.7 cores=1,3,5,7
/proc/5978/task/5979/stat : 5979 (java) R 5975 5978 4289 0 -1 4202560 3008 0 1 0 171034 36 0 0 20 0 19 0 3452176 9856040960 307988 33554432000 1073741824 1073778376 140736582096352 140721353407712 140721198589834 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5981] ppid=5975 vsize=9625040 CPUtime=3.32 cores=1,3,5,7
/proc/5978/task/5981/stat : 5981 (java) S 5975 5978 4289 0 -1 4202560 1713 0 0 0 294 38 0 0 20 0 19 0 3452177 9856040960 307988 33554432000 1073741824 1073778376 140736582096352 140721325861672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5982] ppid=5975 vsize=9625040 CPUtime=3.64 cores=1,3,5,7
/proc/5978/task/5982/stat : 5982 (java) S 5975 5978 4289 0 -1 4202560 1671 0 0 0 319 45 0 0 20 0 19 0 3452177 9856040960 307988 33554432000 1073741824 1073778376 140736582096352 140721324808872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5983] ppid=5975 vsize=9625040 CPUtime=3.48 cores=1,3,5,7
/proc/5978/task/5983/stat : 5983 (java) S 5975 5978 4289 0 -1 4202560 2130 0 0 0 301 47 0 0 20 0 19 0 3452177 9856040960 307988 33554432000 1073741824 1073778376 140736582096352 140721323756584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5978/tid=5984] ppid=5975 vsize=9625040 CPUtime=3.73 cores=1,3,5,7
/proc/5978/task/5984/stat : 5984 (java) S 5975 5978 4289 0 -1 4202560 2681 0 0 0 330 43 0 0 20 0 19 0 3452177 9856040960 307988 33554432000 1073741824 1073778376 140736582096352 140721322703784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5978/tid=5985] ppid=5975 vsize=9625040 CPUtime=3.61 cores=1,3,5,7
/proc/5978/task/5985/stat : 5985 (java) S 5975 5978 4289 0 -1 4202560 3390 0 0 0 312 49 0 0 20 0 19 0 3452177 9856040960 307988 33554432000 1073741824 1073778376 140736582096352 140721321650472 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5986] ppid=5975 vsize=9625040 CPUtime=3.57 cores=1,3,5,7
/proc/5978/task/5986/stat : 5986 (java) S 5975 5978 4289 0 -1 4202560 2358 0 0 0 321 36 0 0 20 0 19 0 3452177 9856040960 307988 33554432000 1073741824 1073778376 140736582096352 140721320597672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5987] ppid=5975 vsize=9625040 CPUtime=3.39 cores=1,3,5,7
/proc/5978/task/5987/stat : 5987 (java) S 5975 5978 4289 0 -1 4202560 1510 0 0 0 304 35 0 0 20 0 19 0 3452177 9856040960 307988 33554432000 1073741824 1073778376 140736582096352 140721319545384 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5978/tid=5988] ppid=5975 vsize=9625040 CPUtime=3.76 cores=1,3,5,7
/proc/5978/task/5988/stat : 5988 (java) S 5975 5978 4289 0 -1 4202560 1891 0 0 0 330 46 0 0 20 0 19 0 3452177 9856040960 307988 33554432000 1073741824 1073778376 140736582096352 140721318492584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5978/tid=5989] ppid=5975 vsize=9625040 CPUtime=3.79 cores=1,3,5,7
/proc/5978/task/5989/stat : 5989 (java) S 5975 5978 4289 0 -1 4202560 3200 0 0 0 373 6 0 0 20 0 19 0 3452178 9856040960 307988 33554432000 1073741824 1073778376 140736582096352 140720706923240 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5978/tid=5990] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5990/stat : 5990 (java) S 5975 5978 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3452179 9856040960 307988 33554432000 1073741824 1073778376 140736582096352 140720705869304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5991] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5991/stat : 5991 (java) S 5975 5978 4289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3452179 9856040960 307988 33554432000 1073741824 1073778376 140736582096352 140720704816904 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5992] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5992/stat : 5992 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3452181 9856040960 307988 33554432000 1073741824 1073778376 140736582096352 140720703765392 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5993] ppid=5975 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/5978/task/5993/stat : 5993 (java) S 5975 5978 4289 0 -1 4202560 3134 0 0 0 71 0 0 0 20 0 19 0 3452181 9856040960 307988 33554432000 1073741824 1073778376 140736582096352 140720702711992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5994] ppid=5975 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/5978/task/5994/stat : 5994 (java) S 5975 5978 4289 0 -1 4202560 6974 0 0 0 86 0 0 0 20 0 19 0 3452181 9856040960 307988 33554432000 1073741824 1073778376 140736582096352 140720701659192 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5978/tid=5995] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5995/stat : 5995 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3452181 9856040960 307988 33554432000 1073741824 1073778376 140736582096352 140720700607096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5978/tid=5996] ppid=5975 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/5978/task/5996/stat : 5996 (java) S 5975 5978 4289 0 -1 4202560 99 0 0 0 15 18 0 0 20 0 19 0 3452181 9856040960 307988 33554432000 1073741824 1073778376 140736582096352 140720699554504 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5978/tid=5997] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5997/stat : 5997 (java) S 5975 5978 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3452555 9856040960 307988 33554432000 1073741824 1073778376 140736582096352 140720698500520 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1744.64
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1776.9 s]
/proc/loadavg: 2.13 2.09 2.02 3/213 6108
/proc/meminfo: memFree=28123832/32872528 swapFree=242912/249044
[pid=5978] ppid=5975 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/5978/stat : 5978 (java) S 5975 5978 4289 0 -1 4202496 35478 0 1 0 179620 389 0 0 20 0 19 0 3452176 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140736582087488 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5978/statm: 2406260 343014 2301 9 0 2396937 0
[pid=5978/tid=5979] ppid=5975 vsize=9625040 CPUtime=1764.86 cores=1,3,5,7
/proc/5978/task/5979/stat : 5979 (java) R 5975 5978 4289 0 -1 4202560 3014 0 1 0 176450 36 0 0 20 0 19 0 3452176 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140721353407664 140721198395021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5978/tid=5981] ppid=5975 vsize=9625040 CPUtime=3.44 cores=1,3,5,7
/proc/5978/task/5981/stat : 5981 (java) S 5975 5978 4289 0 -1 4202560 1739 0 0 0 305 39 0 0 20 0 19 0 3452177 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140721325861672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5978/tid=5982] ppid=5975 vsize=9625040 CPUtime=3.73 cores=1,3,5,7
/proc/5978/task/5982/stat : 5982 (java) S 5975 5978 4289 0 -1 4202560 1693 0 0 0 326 47 0 0 20 0 19 0 3452177 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140721324808872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5978/tid=5983] ppid=5975 vsize=9625040 CPUtime=3.61 cores=1,3,5,7
/proc/5978/task/5983/stat : 5983 (java) S 5975 5978 4289 0 -1 4202560 2155 0 0 0 312 49 0 0 20 0 19 0 3452177 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140721323756584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5984] ppid=5975 vsize=9625040 CPUtime=3.86 cores=1,3,5,7
/proc/5978/task/5984/stat : 5984 (java) S 5975 5978 4289 0 -1 4202560 2698 0 0 0 341 45 0 0 20 0 19 0 3452177 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140721322703784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5978/tid=5985] ppid=5975 vsize=9625040 CPUtime=3.81 cores=1,3,5,7
/proc/5978/task/5985/stat : 5985 (java) S 5975 5978 4289 0 -1 4202560 3461 0 0 0 327 54 0 0 20 0 19 0 3452177 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140721321650472 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5986] ppid=5975 vsize=9625040 CPUtime=3.68 cores=1,3,5,7
/proc/5978/task/5986/stat : 5986 (java) S 5975 5978 4289 0 -1 4202560 2380 0 0 0 330 38 0 0 20 0 19 0 3452177 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140721320597672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5987] ppid=5975 vsize=9625040 CPUtime=3.57 cores=1,3,5,7
/proc/5978/task/5987/stat : 5987 (java) S 5975 5978 4289 0 -1 4202560 1523 0 0 0 321 36 0 0 20 0 19 0 3452177 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140721319545384 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5988] ppid=5975 vsize=9625040 CPUtime=3.94 cores=1,3,5,7
/proc/5978/task/5988/stat : 5988 (java) S 5975 5978 4289 0 -1 4202560 1931 0 0 0 345 49 0 0 20 0 19 0 3452177 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140721318492584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5978/tid=5989] ppid=5975 vsize=9625040 CPUtime=3.91 cores=1,3,5,7
/proc/5978/task/5989/stat : 5989 (java) S 5975 5978 4289 0 -1 4202560 3414 0 0 0 385 6 0 0 20 0 19 0 3452178 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140720706923240 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5978/tid=5990] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5990/stat : 5990 (java) S 5975 5978 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3452179 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140720705869304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5991] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5991/stat : 5991 (java) S 5975 5978 4289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3452179 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140720704816904 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5992] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5992/stat : 5992 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3452181 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140720703765392 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5993] ppid=5975 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/5978/task/5993/stat : 5993 (java) S 5975 5978 4289 0 -1 4202560 3134 0 0 0 71 0 0 0 20 0 19 0 3452181 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140720702711992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5994] ppid=5975 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/5978/task/5994/stat : 5994 (java) S 5975 5978 4289 0 -1 4202560 6974 0 0 0 86 0 0 0 20 0 19 0 3452181 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140720701659192 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5978/tid=5995] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5995/stat : 5995 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3452181 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140720700607096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5978/tid=5996] ppid=5975 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/5978/task/5996/stat : 5996 (java) S 5975 5978 4289 0 -1 4202560 103 0 0 0 16 18 0 0 20 0 19 0 3452181 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140720699554504 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5978/tid=5997] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5997/stat : 5997 (java) S 5975 5978 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3452555 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140720698500520 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 5978 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1776.9 s]
/proc/loadavg: 2.13 2.09 2.02 3/213 6108
/proc/meminfo: memFree=28123832/32872528 swapFree=242912/249044
[pid=5978] ppid=5975 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/5978/stat : 5978 (java) S 5975 5978 4289 0 -1 4202496 35478 0 1 0 179620 389 0 0 20 0 19 0 3452176 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140736582087488 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5978/statm: 2406260 343014 2301 9 0 2396937 0
[pid=5978/tid=5979] ppid=5975 vsize=9625040 CPUtime=1764.86 cores=1,3,5,7
/proc/5978/task/5979/stat : 5979 (java) R 5975 5978 4289 0 -1 4202560 3014 0 1 0 176450 36 0 0 20 0 19 0 3452176 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140721353407664 140721198395021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5978/tid=5981] ppid=5975 vsize=9625040 CPUtime=3.44 cores=1,3,5,7
/proc/5978/task/5981/stat : 5981 (java) S 5975 5978 4289 0 -1 4202560 1739 0 0 0 305 39 0 0 20 0 19 0 3452177 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140721325861672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5978/tid=5982] ppid=5975 vsize=9625040 CPUtime=3.73 cores=1,3,5,7
/proc/5978/task/5982/stat : 5982 (java) S 5975 5978 4289 0 -1 4202560 1693 0 0 0 326 47 0 0 20 0 19 0 3452177 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140721324808872 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5978/tid=5983] ppid=5975 vsize=9625040 CPUtime=3.61 cores=1,3,5,7
/proc/5978/task/5983/stat : 5983 (java) S 5975 5978 4289 0 -1 4202560 2155 0 0 0 312 49 0 0 20 0 19 0 3452177 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140721323756584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5984] ppid=5975 vsize=9625040 CPUtime=3.86 cores=1,3,5,7
/proc/5978/task/5984/stat : 5984 (java) S 5975 5978 4289 0 -1 4202560 2698 0 0 0 341 45 0 0 20 0 19 0 3452177 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140721322703784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5978/tid=5985] ppid=5975 vsize=9625040 CPUtime=3.81 cores=1,3,5,7
/proc/5978/task/5985/stat : 5985 (java) S 5975 5978 4289 0 -1 4202560 3461 0 0 0 327 54 0 0 20 0 19 0 3452177 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140721321650472 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5986] ppid=5975 vsize=9625040 CPUtime=3.68 cores=1,3,5,7
/proc/5978/task/5986/stat : 5986 (java) S 5975 5978 4289 0 -1 4202560 2380 0 0 0 330 38 0 0 20 0 19 0 3452177 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140721320597672 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5987] ppid=5975 vsize=9625040 CPUtime=3.57 cores=1,3,5,7
/proc/5978/task/5987/stat : 5987 (java) S 5975 5978 4289 0 -1 4202560 1523 0 0 0 321 36 0 0 20 0 19 0 3452177 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140721319545384 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5988] ppid=5975 vsize=9625040 CPUtime=3.94 cores=1,3,5,7
/proc/5978/task/5988/stat : 5988 (java) S 5975 5978 4289 0 -1 4202560 1931 0 0 0 345 49 0 0 20 0 19 0 3452177 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140721318492584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5978/tid=5989] ppid=5975 vsize=9625040 CPUtime=3.91 cores=1,3,5,7
/proc/5978/task/5989/stat : 5989 (java) S 5975 5978 4289 0 -1 4202560 3414 0 0 0 385 6 0 0 20 0 19 0 3452178 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140720706923240 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5978/tid=5990] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5990/stat : 5990 (java) S 5975 5978 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3452179 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140720705869304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5991] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5991/stat : 5991 (java) S 5975 5978 4289 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3452179 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140720704816904 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5992] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5992/stat : 5992 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3452181 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140720703765392 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5993] ppid=5975 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/5978/task/5993/stat : 5993 (java) S 5975 5978 4289 0 -1 4202560 3134 0 0 0 71 0 0 0 20 0 19 0 3452181 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140720702711992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5978/tid=5994] ppid=5975 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/5978/task/5994/stat : 5994 (java) S 5975 5978 4289 0 -1 4202560 6974 0 0 0 86 0 0 0 20 0 19 0 3452181 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140720701659192 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5978/tid=5995] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5995/stat : 5995 (java) S 5975 5978 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3452181 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140720700607096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5978/tid=5996] ppid=5975 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/5978/task/5996/stat : 5996 (java) S 5975 5978 4289 0 -1 4202560 103 0 0 0 16 18 0 0 20 0 19 0 3452181 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140720699554504 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5978/tid=5997] ppid=5975 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5978/task/5997/stat : 5997 (java) S 5975 5978 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3452555 9856040960 343014 33554432000 1073741824 1073778376 140736582096352 140720698500520 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1776.92
CPU time (s): 1800.6
CPU user time (s): 1796.29
CPU system time (s): 4.31234
CPU usage (%): 101.333
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.29
system time used= 4.31234
maximum resident set size= 2153196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35531
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43584
involuntary context switches= 32802

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.79151 second user time and 13.5769 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-29 20:04:19
IDJOB=4118128
IDBENCH=111457
IDSOLVER=2546
FILE ID=node103/4118128-1467223458
RUNJOBID= node103-1467209106-4306
PBS_JOBID= 19997590
Free space on /tmp= 71712 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-25.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118128-1467223458/watcher-4118128-1467223458 -o /tmp/evaluation-result-4118128-1467223458/solver-4118128-1467223458 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467209106-4306 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118128-1467223458.opb

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

MD5SUM BENCH= bc38c022b32687c2e89585edeef8fc31
RANDOM SEED=1517704698

node103.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.456
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	: 5332.91
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.456
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		: 2666.456
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.456
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.456
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		: 2666.456
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.456
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.456
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29204464 kB
Buffers:           95860 kB
Cached:          1225628 kB
SwapCached:            0 kB
Active:          2259632 kB
Inactive:         421040 kB
Active(anon):    1362124 kB
Inactive(anon):        0 kB
Active(file):     897508 kB
Inactive(file):   421040 kB
Unevictable:      249044 kB
Mlocked:          242912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               824 kB
Writeback:             0 kB
AnonPages:       1610584 kB
Mapped:            22172 kB
Shmem:               204 kB
Slab:             603340 kB
SReclaimable:      47212 kB
SUnreclaim:       556128 kB
KernelStack:        1616 kB
PageTables:         7300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2171384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1308672 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= 71708 MiB
End job on node103 at 2016-06-29 20:33:56