Trace number 4087450

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
cdcl-cuttingplanes OPT binary search 2016-05-01? (TO) 1800.01 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
MD5SUMfad34197fa8b5ebd519d12750a352ad5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark366
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 480
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
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 constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 495457
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 495457
Number of bits of the biggest sum of numbers19
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.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.69/0.72	c * #variable= 10000 #constraint= 656900
2.09/2.10	c * #variable= 10000 #constraint= 656900
4.79/4.87	c S1->S2
4.79/4.87	c S1->S2
4.79/4.87	c S1->S2
4.79/4.87	c S1->S2
4.79/4.87	c #Conflicts:       1000 | #Learnt:       1003 | 0.000
4.79/4.87	c total clause space: 127.173MB
4.79/4.87	c total #watches: 1569020
15.18/15.23	c total #propagations: 209263 / total #impl: 8302717 (eff. 0.025)
15.18/15.23	c #Conflicts:       2000 | #Learnt:       2003 | 0.003
15.18/15.23	c total clause space: 206.656MB
15.18/15.23	c total #watches: 2452922
28.08/28.12	c total #propagations: 541259 / total #impl: 101250636 (eff. 0.005)
28.08/28.12	c #Conflicts:       3000 | #Learnt:       2012 | 0.002
28.08/28.12	c total clause space: 335.816MB
28.08/28.12	c total #watches: 3070906
50.69/50.72	c total #propagations: 807032 / total #impl: 269106683 (eff. 0.003)
50.69/50.72	c #Conflicts:       4000 | #Learnt:       3012 | 0.001
50.69/50.72	c total clause space: 335.816MB
50.69/50.72	c total #watches: 3779650
76.57/76.66	c total #propagations: 1174167 / total #impl: 411757730 (eff. 0.003)
76.57/76.66	c GC COLLECT
76.57/76.66	c #Conflicts:       5000 | #Learnt:       2365 | 0.005
76.57/76.66	c total clause space: 335.816MB
76.57/76.66	c total #watches: 3704913
99.98/100.01	c total #propagations: 1626372 / total #impl: 522626602 (eff. 0.003)
99.98/100.01	c #Conflicts:       6000 | #Learnt:       3365 | 0.005
99.98/100.01	c total clause space: 335.816MB
99.98/100.01	c total #watches: 4094478
125.67/125.70	c total #propagations: 2114054 / total #impl: 623287546 (eff. 0.003)
125.67/125.70	c GC COLLECT
125.67/125.70	c #Conflicts:       7000 | #Learnt:       2244 | 0.004
125.67/125.70	c total clause space: 335.816MB
125.67/125.70	c total #watches: 2893435
142.06/142.15	c total #propagations: 2557552 / total #impl: 763749398 (eff. 0.003)
142.06/142.15	c #Conflicts:       8000 | #Learnt:       3244 | 0.003
142.06/142.15	c total clause space: 335.816MB
142.06/142.15	c total #watches: 3120462
169.56/169.60	c total #propagations: 3009266 / total #impl: 904770059 (eff. 0.003)
169.56/169.60	c #Conflicts:       9000 | #Learnt:       4244 | 0.003
169.56/169.60	c total clause space: 545.701MB
169.56/169.60	c total #watches: 3366182
200.17/200.23	c total #propagations: 3452506 / total #impl: 1053427105 (eff. 0.003)
200.17/200.23	c GC COLLECT
200.17/200.23	c #Conflicts:      10000 | #Learnt:       2727 | 0.003
200.17/200.23	c total clause space: 545.701MB
200.17/200.23	c total #watches: 2785326
220.26/220.39	c total #propagations: 3946060 / total #impl: 1256954167 (eff. 0.003)
220.26/220.39	c #Conflicts:      11000 | #Learnt:       3727 | 0.002
220.26/220.39	c total clause space: 545.701MB
220.26/220.39	c total #watches: 3226595
253.15/253.23	c total #propagations: 4261628 / total #impl: 1451812361 (eff. 0.003)
253.15/253.23	c #Conflicts:      12000 | #Learnt:       4727 | 0.008
253.15/253.23	c total clause space: 545.701MB
253.15/253.23	c total #watches: 3733618
296.44/296.57	c total #propagations: 4637165 / total #impl: 1624815082 (eff. 0.003)
296.44/296.57	c #Conflicts:      13000 | #Learnt:       5727 | 0.007
296.44/296.57	c total clause space: 545.701MB
296.44/296.57	c total #watches: 4019421
320.15/320.26	c total #propagations: 5038812 / total #impl: 1697298258 (eff. 0.003)
320.15/320.26	c GC COLLECT
320.15/320.26	c #Conflicts:      14000 | #Learnt:       3873 | 0.007
320.15/320.26	c total clause space: 545.701MB
320.15/320.26	c total #watches: 3610513
347.64/347.74	c total #propagations: 5286480 / total #impl: 1817348688 (eff. 0.003)
347.64/347.74	c #Conflicts:      15000 | #Learnt:       4873 | 0.006
347.64/347.74	c total clause space: 545.701MB
347.64/347.74	c total #watches: 3993213
379.53/379.67	c total #propagations: 5561729 / total #impl: 2037485209 (eff. 0.003)
379.53/379.67	c #Conflicts:      16000 | #Learnt:       5873 | 0.006
379.53/379.67	c total clause space: 545.701MB
379.53/379.67	c total #watches: 4468561
410.32/410.49	c total #propagations: 5900570 / total #impl: 2360826649 (eff. 0.002)
410.32/410.49	c GC COLLECT
410.32/410.49	c #Conflicts:      17000 | #Learnt:       3694 | 0.006
410.32/410.49	c total clause space: 545.701MB
410.32/410.49	c total #watches: 3997699
440.91/441.05	c total #propagations: 6167775 / total #impl: 2614730666 (eff. 0.002)
440.91/441.05	c #Conflicts:      18000 | #Learnt:       4694 | 0.005
440.91/441.05	c total clause space: 545.701MB
440.91/441.05	c total #watches: 4340825
474.19/474.36	c total #propagations: 6481583 / total #impl: 2982039122 (eff. 0.002)
474.19/474.36	c #Conflicts:      19000 | #Learnt:       5694 | 0.005
474.19/474.36	c total clause space: 545.701MB
474.19/474.36	c total #watches: 4872900
525.89/526.00	c total #propagations: 6854984 / total #impl: 3382634953 (eff. 0.002)
525.89/526.00	c #Conflicts:      20000 | #Learnt:       6694 | 0.006
525.89/526.00	c total clause space: 545.701MB
525.89/526.00	c total #watches: 5529151
567.89/568.06	c total #propagations: 7250059 / total #impl: 3481696083 (eff. 0.002)
567.89/568.06	c GC COLLECT
567.89/568.06	c #Conflicts:      21000 | #Learnt:       4202 | 0.006
567.89/568.06	c total clause space: 545.701MB
567.89/568.06	c total #watches: 4734419
597.19/597.34	c total #propagations: 7631923 / total #impl: 3574747316 (eff. 0.002)
597.19/597.34	c #Conflicts:      22000 | #Learnt:       5202 | 0.006
597.19/597.34	c total clause space: 545.701MB
597.19/597.34	c total #watches: 5292253
638.08/638.26	c total #propagations: 8009513 / total #impl: 3703279077 (eff. 0.002)
638.08/638.26	c #Conflicts:      23000 | #Learnt:       6202 | 0.006
638.08/638.26	c total clause space: 545.701MB
638.08/638.26	c total #watches: 5611308
682.86/683.01	c total #propagations: 8486074 / total #impl: 3847550176 (eff. 0.002)
682.86/683.01	c #Conflicts:      24000 | #Learnt:       7202 | 0.006
682.86/683.01	c total clause space: 545.701MB
682.86/683.01	c total #watches: 6029290
721.16/721.34	c total #propagations: 8943630 / total #impl: 3984805780 (eff. 0.002)
721.16/721.34	c GC COLLECT
721.16/721.34	c #Conflicts:      25000 | #Learnt:       4414 | 0.007
721.16/721.34	c total clause space: 545.701MB
721.16/721.34	c total #watches: 4554467
746.95/747.17	c total #propagations: 9352068 / total #impl: 4124076616 (eff. 0.002)
746.95/747.17	c #Conflicts:      26000 | #Learnt:       5414 | 0.007
746.95/747.17	c total clause space: 545.701MB
746.95/747.17	c total #watches: 4993262
772.85/773.02	c total #propagations: 9685544 / total #impl: 4229145172 (eff. 0.002)
772.85/773.02	c #Conflicts:      27000 | #Learnt:       6414 | 0.007
772.85/773.02	c total clause space: 545.701MB
772.85/773.02	c total #watches: 5487497
816.84/817.02	c total #propagations: 9964323 / total #impl: 4351641130 (eff. 0.002)
816.84/817.02	c #Conflicts:      28000 | #Learnt:       7414 | 0.006
816.84/817.02	c total clause space: 545.701MB
816.84/817.02	c total #watches: 5980456
864.84/865.07	c total #propagations: 10224868 / total #impl: 4440688975 (eff. 0.002)
864.84/865.07	c GC COLLECT
864.84/865.07	c #Conflicts:      29000 | #Learnt:       4315 | 0.006
864.84/865.07	c total clause space: 545.701MB
864.84/865.07	c total #watches: 4433902
895.34/895.50	c total #propagations: 10518597 / total #impl: 4541104190 (eff. 0.002)
895.34/895.50	c #Conflicts:      30000 | #Learnt:       5315 | 0.006
895.34/895.50	c total clause space: 545.701MB
895.34/895.50	c total #watches: 5001716
933.03/933.29	c total #propagations: 10824344 / total #impl: 4654740062 (eff. 0.002)
933.03/933.29	c #Conflicts:      31000 | #Learnt:       6315 | 0.006
933.03/933.29	c total clause space: 545.701MB
933.03/933.29	c total #watches: 5419645
985.32/985.52	c total #propagations: 11171054 / total #impl: 4787589761 (eff. 0.002)
985.32/985.52	c #Conflicts:      32000 | #Learnt:       7315 | 0.006
985.32/985.52	c total clause space: 545.701MB
985.32/985.52	c total #watches: 5722248
1034.61/1034.85	c total #propagations: 11497289 / total #impl: 4937425047 (eff. 0.002)
1034.61/1034.85	c #Conflicts:      33000 | #Learnt:       8315 | 0.006
1034.61/1034.85	c total clause space: 886.764MB
1034.61/1034.85	c total #watches: 6165245
1062.30/1062.58	c total #propagations: 11817161 / total #impl: 5113258276 (eff. 0.002)
1062.30/1062.58	c GC COLLECT
1062.30/1062.58	c #Conflicts:      34000 | #Learnt:       4912 | 0.006
1062.30/1062.58	c total clause space: 886.764MB
1062.30/1062.58	c total #watches: 4731576
1084.20/1084.45	c total #propagations: 12028740 / total #impl: 5275501115 (eff. 0.002)
1084.20/1084.45	c #Conflicts:      35000 | #Learnt:       5912 | 0.005
1084.20/1084.45	c total clause space: 886.764MB
1084.20/1084.45	c total #watches: 5281735
1115.90/1116.14	c total #propagations: 12306463 / total #impl: 5461549069 (eff. 0.002)
1115.90/1116.14	c #Conflicts:      36000 | #Learnt:       6912 | 0.005
1115.90/1116.14	c total clause space: 886.764MB
1115.90/1116.14	c total #watches: 5721181
1142.50/1142.76	c total #propagations: 12542001 / total #impl: 5688692072 (eff. 0.002)
1142.50/1142.76	c #Conflicts:      37000 | #Learnt:       7912 | 0.005
1142.50/1142.76	c total clause space: 886.764MB
1142.50/1142.76	c total #watches: 6115031
1174.39/1174.66	c total #propagations: 12829670 / total #impl: 6018631260 (eff. 0.002)
1174.39/1174.66	c #Conflicts:      38000 | #Learnt:       8912 | 0.005
1174.39/1174.66	c total clause space: 886.764MB
1174.39/1174.66	c total #watches: 6445040
1206.19/1206.48	c total #propagations: 13172685 / total #impl: 6396275909 (eff. 0.002)
1206.19/1206.48	c GC COLLECT
1206.19/1206.48	c #Conflicts:      39000 | #Learnt:       5209 | 0.005
1206.19/1206.48	c total clause space: 886.764MB
1206.19/1206.48	c total #watches: 4591413
1236.08/1236.40	c total #propagations: 13483792 / total #impl: 6713625124 (eff. 0.002)
1236.08/1236.40	c #Conflicts:      40000 | #Learnt:       6209 | 0.005
1236.08/1236.40	c total clause space: 886.764MB
1236.08/1236.40	c total #watches: 5163278
1264.89/1265.11	c total #propagations: 13775871 / total #impl: 6906103050 (eff. 0.002)
1264.89/1265.11	c #Conflicts:      41000 | #Learnt:       7209 | 0.005
1264.89/1265.11	c total clause space: 886.764MB
1264.89/1265.11	c total #watches: 5735851
1292.67/1292.90	c total #propagations: 13992554 / total #impl: 7091385325 (eff. 0.002)
1292.67/1292.90	c #Conflicts:      42000 | #Learnt:       8209 | 0.005
1292.67/1292.90	c total clause space: 886.764MB
1292.67/1292.90	c total #watches: 6234363
1329.77/1330.07	c total #propagations: 14206348 / total #impl: 7366488276 (eff. 0.002)
1329.77/1330.07	c #Conflicts:      43000 | #Learnt:       9209 | 0.004
1329.77/1330.07	c total clause space: 886.764MB
1329.77/1330.07	c total #watches: 6634632
1366.27/1366.56	c total #propagations: 14443852 / total #impl: 7730675721 (eff. 0.002)
1366.27/1366.56	c GC COLLECT
1366.27/1366.56	c #Conflicts:      44000 | #Learnt:       5217 | 0.004
1366.27/1366.56	c total clause space: 886.764MB
1366.27/1366.56	c total #watches: 5047214
1395.96/1396.29	c total #propagations: 14661719 / total #impl: 7993993814 (eff. 0.002)
1395.96/1396.29	c #Conflicts:      45000 | #Learnt:       6217 | 0.004
1395.96/1396.29	c total clause space: 886.764MB
1395.96/1396.29	c total #watches: 5759413
1457.26/1457.56	c total #propagations: 14895846 / total #impl: 8282588867 (eff. 0.002)
1457.26/1457.56	c #Conflicts:      46000 | #Learnt:       7217 | 0.004
1457.26/1457.56	c total clause space: 886.764MB
1457.26/1457.56	c total #watches: 6345673
1533.04/1533.36	c total #propagations: 15188630 / total #impl: 8556880630 (eff. 0.002)
1533.04/1533.36	c #Conflicts:      47000 | #Learnt:       8217 | 0.004
1533.04/1533.36	c total clause space: 886.764MB
1533.04/1533.36	c total #watches: 6826067
1577.53/1577.80	c total #propagations: 15521400 / total #impl: 8790405437 (eff. 0.002)
1577.53/1577.80	c #Conflicts:      48000 | #Learnt:       9217 | 0.004
1577.53/1577.80	c total clause space: 886.764MB
1577.53/1577.80	c total #watches: 7479420
1661.51/1661.80	c total #propagations: 15736587 / total #impl: 9081850168 (eff. 0.002)
1661.51/1661.80	c #Conflicts:      49000 | #Learnt:      10217 | 0.004
1661.51/1661.80	c total clause space: 886.764MB
1661.51/1661.80	c total #watches: 8023674
1723.71/1724.09	c total #propagations: 16092072 / total #impl: 9343053772 (eff. 0.002)
1723.71/1724.09	c GC COLLECT
1723.71/1724.09	c #Conflicts:      50000 | #Learnt:       5908 | 0.004
1723.71/1724.09	c total clause space: 886.764MB
1723.71/1724.09	c total #watches: 6089065
1772.10/1772.45	c total #propagations: 16409026 / total #impl: 9569117146 (eff. 0.002)
1772.10/1772.45	c #Conflicts:      51000 | #Learnt:       6908 | 0.004
1772.10/1772.45	c total clause space: 886.764MB
1772.10/1772.45	c total #watches: 6675212

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-4087450-1465394607/watcher-4087450-1465394607 -o /tmp/evaluation-result-4087450-1465394607/solver-4087450-1465394607 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465387403-19478 --watchdog 1960 --input HOME/instance-4087450-1465394607.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

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

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


[startup+0 s]
/proc/loadavg: 2.07 2.24 2.20 3/172 20087
/proc/meminfo: memFree=29583036/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 257 0 0 0 0 0 0 0 20 0 1 0 121394341 57319424 7292 33554432000 4194304 6211289 140734403140496 140734506151288 4206544 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 13994 7292 98 493 0 13491 0

[startup+0.100067 s]
/proc/loadavg: 2.07 2.24 2.20 3/172 20087
/proc/meminfo: memFree=29583036/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=59556 CPUtime=0.09 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 1332 0 0 0 9 0 0 0 20 0 1 0 121394341 60985344 11759 33554432000 4194304 6211289 140734403140496 140734506151288 5418912 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 14889 11759 121 493 0 14386 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59556

[startup+0.200359 s]
/proc/loadavg: 2.07 2.24 2.20 3/172 20087
/proc/meminfo: memFree=29583036/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=62620 CPUtime=0.18 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 1586 0 0 0 18 0 0 0 20 0 1 0 121394341 64122880 12268 33554432000 4194304 6211289 140734403140496 140734506151288 5418912 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 15655 12268 121 493 0 15152 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 62620

[startup+0.300333 s]
/proc/loadavg: 2.07 2.24 2.20 3/172 20087
/proc/meminfo: memFree=29583036/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=68752 CPUtime=0.29 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 2092 0 0 0 28 1 0 0 20 0 1 0 121394341 70402048 12774 33554432000 4194304 6211289 140734403140496 140734403139336 5418912 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 17188 12774 121 493 0 16685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68752

[startup+0.70026 s]
/proc/loadavg: 2.07 2.24 2.20 3/172 20087
/proc/meminfo: memFree=29583036/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=81016 CPUtime=0.69 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 2596 0 0 0 68 1 0 0 20 0 1 0 121394341 82960384 15322 33554432000 4194304 6211289 140734403140496 140734403139336 5418912 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 20254 15322 121 493 0 19751 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81016

[startup+1.50028 s]
/proc/loadavg: 2.07 2.24 2.20 3/177 20099
/proc/meminfo: memFree=29357464/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=201576 CPUtime=1.49 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 6483 0 0 0 146 3 0 0 20 0 1 0 121394341 206413824 39649 33554432000 4194304 6211289 140734403140496 140734403138376 5166412 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 50394 39649 144 493 0 49891 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 201576

[startup+3.10019 s]
/proc/loadavg: 2.07 2.24 2.20 3/177 20099
/proc/meminfo: memFree=29180096/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=351420 CPUtime=3.09 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 10282 0 0 0 303 6 0 0 20 0 1 0 121394341 359854080 72455 33554432000 4194304 6211289 140734403140496 140734403137912 4767728 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 87855 72455 144 493 0 87352 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 351420

[startup+6.30025 s]
/proc/loadavg: 2.14 2.26 2.21 3/177 20099
/proc/meminfo: memFree=28665964/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=564284 CPUtime=6.29 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 11207 0 0 0 619 10 0 0 20 0 1 0 121394341 577826816 115728 33554432000 4194304 6211289 140734403140496 140734403138728 4201956 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 141071 115728 214 493 0 140568 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 564284

[startup+12.7003 s]
/proc/loadavg: 2.21 2.27 2.21 4/177 20099
/proc/meminfo: memFree=28613500/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=564284 CPUtime=12.68 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 11221 0 0 0 1258 10 0 0 20 0 1 0 121394341 577826816 122896 33554432000 4194304 6211289 140734403140496 140734403138728 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 141071 122896 214 493 0 140568 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 564284

[startup+25.5004 s]
/proc/loadavg: 2.31 2.29 2.22 4/177 20099
/proc/meminfo: memFree=28539664/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=700288 CPUtime=25.49 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 12318 0 0 0 2537 12 0 0 20 0 1 0 121394341 717094912 137259 33554432000 4194304 6211289 140734403140496 140734403138488 4209306 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 175072 137259 219 493 0 174569 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 700288

[startup+51.1003 s]
/proc/loadavg: 2.20 2.26 2.21 3/177 20099
/proc/meminfo: memFree=28392716/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=715896 CPUtime=51.08 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 16248 0 0 0 5095 13 0 0 20 0 1 0 121394341 733077504 159585 33554432000 4194304 6211289 140734403140496 140734403138488 4240830 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 178974 159585 219 493 0 178471 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 715896

[startup+102.3 s]
/proc/loadavg: 2.34 2.28 2.22 4/177 20101
/proc/meminfo: memFree=28278148/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=721948 CPUtime=102.28 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 18302 0 0 0 10214 14 0 0 20 0 1 0 121394341 739274752 164500 33554432000 4194304 6211289 140734403140496 140734403138488 4241730 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 180487 164500 219 493 0 179984 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 721948

[startup+162.3 s]
/proc/loadavg: 2.31 2.28 2.22 3/177 20102
/proc/meminfo: memFree=28215972/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=724344 CPUtime=162.26 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 19235 0 0 0 16212 14 0 0 20 0 1 0 121394341 741728256 171986 33554432000 4194304 6211289 140734403140496 140734403138488 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 181086 171986 219 493 0 180583 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 724344

[startup+222.307 s]
/proc/loadavg: 2.26 2.27 2.22 3/177 20103
/proc/meminfo: memFree=28054860/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=939716 CPUtime=222.26 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 19860 0 0 0 22209 17 0 0 20 0 1 0 121394341 962269184 185118 33554432000 4194304 6211289 140734403140496 140734403138840 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 234929 185118 219 493 0 234426 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 939716

[startup+282.3 s]
/proc/loadavg: 2.26 2.26 2.21 4/177 20104
/proc/meminfo: memFree=28004832/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=939996 CPUtime=282.25 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 19952 0 0 0 28207 18 0 0 20 0 1 0 121394341 962555904 196966 33554432000 4194304 6211289 140734403140496 140734403138840 4201944 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 234999 196966 219 493 0 234496 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 939996

[startup+342.3 s]
/proc/loadavg: 2.20 2.24 2.21 4/177 20105
/proc/meminfo: memFree=27950332/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=940464 CPUtime=342.23 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 20188 0 0 0 34205 18 0 0 20 0 1 0 121394341 963035136 199700 33554432000 4194304 6211289 140734403140496 140734403138408 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 235116 199700 219 493 0 234613 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 940464

[startup+402.3 s]
/proc/loadavg: 2.07 2.20 2.19 4/178 20110
/proc/meminfo: memFree=27810700/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=945988 CPUtime=402.21 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 21645 0 0 0 40202 19 0 0 20 0 1 0 121394341 968691712 220554 33554432000 4194304 6211289 140734403140496 140734403138488 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 236497 220554 219 493 0 235994 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 945988

[startup+462.3 s]
/proc/loadavg: 2.07 2.17 2.18 4/177 20111
/proc/meminfo: memFree=27769856/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=946180 CPUtime=462.19 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 21745 0 0 0 46200 19 0 0 20 0 1 0 121394341 968888320 220642 33554432000 4194304 6211289 140734403140496 140734403138408 4209501 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 236545 220642 219 493 0 236042 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 946180

[startup+522.3 s]
/proc/loadavg: 2.16 2.17 2.18 3/177 20112
/proc/meminfo: memFree=27764140/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=952564 CPUtime=522.19 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 23300 0 0 0 52199 20 0 0 20 0 1 0 121394341 975425536 222196 33554432000 4194304 6211289 140734403140496 140734403138408 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 238141 222196 219 493 0 237638 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 952564

[startup+582.3 s]
/proc/loadavg: 2.23 2.18 2.18 3/177 20113
/proc/meminfo: memFree=27741300/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=958576 CPUtime=582.18 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 24735 0 0 0 58197 21 0 0 20 0 1 0 121394341 981581824 227719 33554432000 4194304 6211289 140734403140496 140734403138840 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 239644 227719 219 493 0 239141 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 958576


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


[startup+942.3 s]
/proc/loadavg: 2.22 2.19 2.18 3/177 20120
/proc/meminfo: memFree=27584620/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=980064 CPUtime=942.13 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 30032 0 0 0 94191 22 0 0 20 0 1 0 121394341 1003585536 237205 33554432000 4194304 6211289 140734403140496 140734403138840 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 245016 237205 219 493 0 244513 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 980064

[startup+1002.3 s]
/proc/loadavg: 2.12 2.16 2.17 4/178 20125
/proc/meminfo: memFree=27469920/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=980248 CPUtime=1002.12 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 30076 0 0 0 100190 22 0 0 20 0 1 0 121394341 1003773952 237249 33554432000 4194304 6211289 140734403140496 140734403138408 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 245062 237249 219 493 0 244559 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 980248

[startup+1062.3 s]
/proc/loadavg: 2.19 2.18 2.18 3/177 20126
/proc/meminfo: memFree=27428368/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=1330588 CPUtime=1062.1 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 30856 0 0 0 106188 22 0 0 20 0 1 0 121394341 1362522112 247421 33554432000 4194304 6211289 140734403140496 140734403138408 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 332647 247421 219 493 0 332144 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 1330588

[startup+1122.3 s]
/proc/loadavg: 2.12 2.16 2.17 3/177 20127
/proc/meminfo: memFree=27427324/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=1331004 CPUtime=1122.1 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 30962 0 0 0 112188 22 0 0 20 0 1 0 121394341 1362948096 247527 33554432000 4194304 6211289 140734403140496 140734403138840 4209495 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 332751 247527 219 493 0 332248 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1331004

[startup+1182.3 s]
/proc/loadavg: 2.08 2.14 2.17 4/177 20128
/proc/meminfo: memFree=27321132/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=1332068 CPUtime=1182.09 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 31401 0 0 0 118186 23 0 0 20 0 1 0 121394341 1364037632 274027 33554432000 4194304 6211289 140734403140496 140734403138408 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 333017 274027 219 493 0 332514 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1332068

[startup+1242.3 s]
/proc/loadavg: 2.21 2.17 2.18 3/177 20129
/proc/meminfo: memFree=27300100/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=1333648 CPUtime=1242.08 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 31908 0 0 0 124184 24 0 0 20 0 1 0 121394341 1365655552 279067 33554432000 4194304 6211289 140734403140496 140734403138840 4202033 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 333412 279067 219 493 0 332909 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1333648

[startup+1302.3 s]
/proc/loadavg: 2.28 2.20 2.18 4/177 20131
/proc/meminfo: memFree=27298376/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=1334048 CPUtime=1302.07 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 32067 0 0 0 130183 24 0 0 20 0 1 0 121394341 1366065152 279226 33554432000 4194304 6211289 140734403140496 140734403138840 4209484 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 333512 279226 219 493 0 333009 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1334048

[startup+1362.3 s]
/proc/loadavg: 2.35 2.23 2.19 4/177 20132
/proc/meminfo: memFree=27221916/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=1340504 CPUtime=1362.07 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 33681 0 0 0 136181 26 0 0 20 0 1 0 121394341 1372676096 296170 33554432000 4194304 6211289 140734403140496 140734403138488 4240863 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 335126 296170 219 493 0 334623 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1340504

[startup+1422.3 s]
/proc/loadavg: 2.33 2.25 2.20 3/177 20133
/proc/meminfo: memFree=27208020/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=1341416 CPUtime=1422.06 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 33896 0 0 0 142180 26 0 0 20 0 1 0 121394341 1373609984 296385 33554432000 4194304 6211289 140734403140496 140734403138408 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 335354 296385 219 493 0 334851 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1341416

[startup+1482.3 s]
/proc/loadavg: 2.17 2.22 2.18 3/177 20134
/proc/meminfo: memFree=27198328/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=1341800 CPUtime=1482.05 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 34080 0 0 0 148179 26 0 0 20 0 1 0 121394341 1374003200 296569 33554432000 4194304 6211289 140734403140496 140734403138840 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 335450 296569 219 493 0 334947 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1341800

[startup+1542.31 s]
/proc/loadavg: 2.34 2.25 2.19 4/177 20135
/proc/meminfo: memFree=27181896/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=1342436 CPUtime=1542.05 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 34216 0 0 0 154179 26 0 0 20 0 1 0 121394341 1374654464 296705 33554432000 4194304 6211289 140734403140496 140734403138408 4209403 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 335609 296705 219 493 0 335106 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1342436

[startup+1602.3 s]
/proc/loadavg: 2.22 2.23 2.19 3/177 20139
/proc/meminfo: memFree=27174884/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=1349464 CPUtime=1602.03 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 35972 0 0 0 160177 26 0 0 20 0 1 0 121394341 1381851136 298461 33554432000 4194304 6211289 140734403140496 140734403138488 4209314 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 337366 298461 219 493 0 336863 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1349464

[startup+1662.3 s]
/proc/loadavg: 2.13 2.20 2.18 3/177 20141
/proc/meminfo: memFree=27153280/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=1352888 CPUtime=1662.01 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 36842 0 0 0 166175 26 0 0 20 0 1 0 121394341 1385357312 303930 33554432000 4194304 6211289 140734403140496 140734403138840 4209403 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 338222 303930 219 493 0 337719 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1352888

[startup+1722.3 s]
/proc/loadavg: 2.25 2.22 2.18 4/177 20142
/proc/meminfo: memFree=27125416/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=1354288 CPUtime=1722.01 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 37212 0 0 0 172174 27 0 0 20 0 1 0 121394341 1386790912 310943 33554432000 4194304 6211289 140734403140496 140734403138408 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 338572 310943 219 493 0 338069 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1354288

[startup+1782.3 s]
/proc/loadavg: 2.27 2.23 2.18 3/177 20143
/proc/meminfo: memFree=27124432/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=1354288 CPUtime=1782 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 37291 0 0 0 178173 27 0 0 20 0 1 0 121394341 1386790912 311022 33554432000 4194304 6211289 140734403140496 140734403138840 4209501 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 338572 311022 219 493 0 338069 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1354288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 20143
/proc/meminfo: memFree=27124308/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=1354448 CPUtime=1800 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 37307 0 0 0 179973 27 0 0 20 0 1 0 121394341 1386954752 311038 33554432000 4194304 6211289 140734403140496 140734403138488 4209306 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 338612 311038 219 493 0 338109 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1354448

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 20087 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 20143
/proc/meminfo: memFree=27124308/32872528 swapFree=15644/1722384
[pid=20087] ppid=20084 vsize=1354448 CPUtime=1800 cores=0,2,4,6
/proc/20087/stat : 20087 (cdcl-cuttingpla) R 20084 20087 19462 0 -1 4202496 37307 0 0 0 179973 27 0 0 20 0 1 0 121394341 1386954752 311038 33554432000 4194304 6211289 140734403140496 140734403138488 4209306 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/20087/statm: 338612 311038 219 493 0 338109 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1354448

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1799.73
CPU system time (s): 0.282956
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 1354448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.282956
maximum resident set size= 1244152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37307
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45
involuntary context switches= 1850

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.63429 second user time and 6.82496 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-08 16:03:28
IDJOB=4087450
IDBENCH=1974
IDSOLVER=2549
FILE ID=node120/4087450-1465394607
RUNJOBID= node120-1465387403-19478
PBS_JOBID= 19853858
Free space on /tmp= 71720 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087450-1465394607/watcher-4087450-1465394607 -o /tmp/evaluation-result-4087450-1465394607/solver-4087450-1465394607 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465387403-19478 --watchdog 1960 --input HOME/instance-4087450-1465394607.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= fad34197fa8b5ebd519d12750a352ad5
RANDOM SEED=970906568

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.425
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.425
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.425
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:        29584036 kB
Buffers:          134776 kB
Cached:           673284 kB
SwapCached:         1084 kB
Active:           175860 kB
Inactive:         639532 kB
Active(anon):       6436 kB
Inactive(anon):     3328 kB
Active(file):     169424 kB
Inactive(file):   636204 kB
Unevictable:     1722384 kB
Mlocked:           15644 kB
SwapTotal:      67108856 kB
SwapFree:       67099696 kB
Dirty:             24428 kB
Writeback:             0 kB
AnonPages:       1734760 kB
Mapped:             8300 kB
Shmem:                 0 kB
Slab:             615564 kB
SReclaimable:      59660 kB
SUnreclaim:       555904 kB
KernelStack:        1472 kB
PageTables:         7204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1823664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1718272 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 node120 at 2016-06-08 16:33:28