Trace number 4100712

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 linear search 2016-05-01? (TO) 1800.03 1800.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ship08s.opb
MD5SUM86f5ae05f91cc0663afe4f54ca2c84e2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables71610
Total number of constraints704
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 constraints704
Minimum length of a constraint30
Maximum length of a constraint1830
Number of terms in the objective function 71610
Biggest coefficient in the objective function 2031
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 584663
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 584663
Number of bits of the biggest sum of numbers20
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.00/0.00	c * #variable= 71610 #constraint= 704
1.29/1.31	c #Conflicts:       1000 | #Learnt:        999 | 1.549
1.29/1.31	c total clause space: 29.637MB
1.29/1.31	c total #watches: 366688
2.30/2.35	c total #propagations: 34736 / total #impl: 5161728 (eff. 0.007)
2.30/2.35	c #Conflicts:       2000 | #Learnt:       1999 | 2.329
2.30/2.35	c total clause space: 48.1602MB
2.30/2.35	c total #watches: 442949
3.19/3.29	c total #propagations: 54065 / total #impl: 5229891 (eff. 0.010)
3.19/3.29	c GC COLLECT
3.19/3.29	c #Conflicts:       3000 | #Learnt:       2003 | 2.323
3.19/3.29	c total clause space: 48.1602MB
3.19/3.29	c total #watches: 394306
6.60/6.64	c total #propagations: 67375 / total #impl: 5681809 (eff. 0.012)
6.60/6.64	c #Conflicts:       4000 | #Learnt:       3003 | 4.674
6.60/6.64	c total clause space: 78.2603MB
6.60/6.64	c total #watches: 657815
7.38/7.44	c total #propagations: 93716 / total #impl: 9718035 (eff. 0.010)
7.38/7.44	c GC COLLECT
7.38/7.44	c #Conflicts:       5000 | #Learnt:       2358 | 4.546
7.38/7.44	c total clause space: 78.2603MB
7.38/7.44	c total #watches: 568749
9.78/9.85	c total #propagations: 118358 / total #impl: 10932491 (eff. 0.011)
9.78/9.85	c #Conflicts:       6000 | #Learnt:       3358 | 3.887
9.78/9.85	c total clause space: 127.173MB
9.78/9.85	c total #watches: 787727
11.68/11.78	c total #propagations: 179469 / total #impl: 19439951 (eff. 0.009)
11.68/11.78	c GC COLLECT
11.68/11.78	c #Conflicts:       7000 | #Learnt:       2250 | 3.585
11.68/11.78	c total clause space: 127.173MB
11.68/11.78	c total #watches: 571867
13.29/13.33	c total #propagations: 195898 / total #impl: 22962805 (eff. 0.009)
13.29/13.33	c #Conflicts:       8000 | #Learnt:       3250 | 3.144
13.29/13.33	c total clause space: 127.173MB
13.29/13.33	c total #watches: 716368
17.70/17.72	c total #propagations: 199195 / total #impl: 24804778 (eff. 0.008)
17.70/17.72	c #Conflicts:       9000 | #Learnt:       4250 | 3.370
17.70/17.72	c total clause space: 127.173MB
17.70/17.72	c total #watches: 897715
24.98/25.00	c total #propagations: 223208 / total #impl: 26607337 (eff. 0.008)
24.98/25.00	c GC COLLECT
24.98/25.00	c #Conflicts:      10000 | #Learnt:       2725 | 3.979
24.98/25.00	c total clause space: 206.656MB
24.98/25.00	c total #watches: 880053
27.99/28.07	c total #propagations: 254811 / total #impl: 48826608 (eff. 0.005)
27.99/28.07	c #Conflicts:      11000 | #Learnt:       3725 | 4.136
27.99/28.07	c total clause space: 206.656MB
27.99/28.07	c total #watches: 1058211
36.49/36.53	c total #propagations: 270446 / total #impl: 54431635 (eff. 0.005)
36.49/36.53	c #Conflicts:      12000 | #Learnt:       4725 | 5.863
36.49/36.53	c total clause space: 206.656MB
36.49/36.53	c total #watches: 1208952
43.59/43.67	c total #propagations: 298106 / total #impl: 55576199 (eff. 0.005)
43.59/43.67	c #Conflicts:      13000 | #Learnt:       5725 | 6.439
43.59/43.67	c total clause space: 206.656MB
43.59/43.67	c total #watches: 1475195
53.99/54.04	c total #propagations: 339210 / total #impl: 57149630 (eff. 0.006)
53.99/54.04	c GC COLLECT
53.99/54.04	c #Conflicts:      14000 | #Learnt:       3866 | 6.782
53.99/54.04	c total clause space: 206.656MB
53.99/54.04	c total #watches: 1038824
58.29/58.39	c total #propagations: 412802 / total #impl: 61337843 (eff. 0.007)
58.29/58.39	c #Conflicts:      15000 | #Learnt:       4866 | 6.638
58.29/58.39	c total clause space: 206.656MB
58.29/58.40	c total #watches: 1252616
64.89/64.98	c total #propagations: 439565 / total #impl: 64150517 (eff. 0.007)
64.89/64.98	c #Conflicts:      16000 | #Learnt:       5866 | 6.231
64.89/64.98	c total clause space: 206.656MB
64.89/64.98	c total #watches: 1418700
69.29/69.40	c total #propagations: 478628 / total #impl: 73827432 (eff. 0.006)
69.29/69.40	c GC COLLECT
69.29/69.40	c #Conflicts:      17000 | #Learnt:       3691 | 5.887
69.29/69.40	c total clause space: 206.656MB
69.29/69.40	c total #watches: 1170836
71.08/71.13	c total #propagations: 495756 / total #impl: 80280345 (eff. 0.006)
71.08/71.13	c #Conflicts:      18000 | #Learnt:       4691 | 5.560
71.08/71.13	c total clause space: 206.656MB
71.08/71.13	c total #watches: 1495180
74.17/74.29	c total #propagations: 508387 / total #impl: 89753799 (eff. 0.006)
74.17/74.29	c #Conflicts:      19000 | #Learnt:       5691 | 5.267
74.17/74.29	c total clause space: 206.656MB
74.17/74.29	c total #watches: 1866554
85.18/85.23	c total #propagations: 524706 / total #impl: 105395367 (eff. 0.005)
85.18/85.23	c #Conflicts:      20000 | #Learnt:       6691 | 5.199
85.18/85.23	c total clause space: 206.656MB
85.18/85.23	c total #watches: 2127684
103.77/103.84	c total #propagations: 557170 / total #impl: 112450207 (eff. 0.005)
103.77/103.84	c GC COLLECT
103.77/103.84	c #Conflicts:      21000 | #Learnt:       4201 | 6.083
103.77/103.84	c total clause space: 206.656MB
103.77/103.84	c total #watches: 1679861
112.87/112.95	c total #propagations: 638684 / total #impl: 121739393 (eff. 0.005)
112.87/112.95	c #Conflicts:      22000 | #Learnt:       5201 | 6.005
112.87/112.95	c total clause space: 206.656MB
112.87/112.95	c total #watches: 1953684
119.98/120.05	c total #propagations: 691405 / total #impl: 134897009 (eff. 0.005)
119.98/120.05	c #Conflicts:      23000 | #Learnt:       6201 | 5.965
119.98/120.05	c total clause space: 206.656MB
119.98/120.05	c total #watches: 2186192
127.27/127.33	c total #propagations: 760720 / total #impl: 142778329 (eff. 0.005)
127.27/127.33	c #Conflicts:      24000 | #Learnt:       7201 | 6.068
127.27/127.33	c total clause space: 206.656MB
127.27/127.33	c total #watches: 2733903
130.77/130.81	c total #propagations: 836837 / total #impl: 195392461 (eff. 0.004)
130.77/130.81	c GC COLLECT
130.77/130.81	c #Conflicts:      25000 | #Learnt:       4402 | 5.825
130.77/130.81	c total clause space: 206.656MB
130.77/130.81	c total #watches: 1563246
133.57/133.69	c total #propagations: 845327 / total #impl: 207664015 (eff. 0.004)
133.57/133.69	c #Conflicts:      26000 | #Learnt:       5402 | 5.601
133.57/133.69	c total clause space: 206.656MB
133.57/133.69	c total #watches: 1643237
136.37/136.47	c total #propagations: 849274 / total #impl: 216698788 (eff. 0.004)
136.37/136.47	c #Conflicts:      27000 | #Learnt:       6402 | 5.394
136.37/136.47	c total clause space: 206.656MB
136.37/136.47	c total #watches: 1725092
145.18/145.21	c total #propagations: 854977 / total #impl: 226066697 (eff. 0.004)
145.18/145.21	c #Conflicts:      28000 | #Learnt:       7402 | 5.526
145.18/145.21	c total clause space: 206.656MB
145.18/145.21	c total #watches: 1928211
150.68/150.79	c total #propagations: 881158 / total #impl: 247209928 (eff. 0.004)
150.68/150.79	c GC COLLECT
150.68/150.79	c #Conflicts:      29000 | #Learnt:       4316 | 5.762
150.68/150.79	c total clause space: 335.816MB
150.68/150.79	c total #watches: 871443
152.07/152.11	c total #propagations: 939458 / total #impl: 261325217 (eff. 0.004)
152.07/152.11	c #Conflicts:      30000 | #Learnt:       5316 | 5.729
152.07/152.11	c total clause space: 335.816MB
152.07/152.11	c total #watches: 976345
156.86/156.95	c total #propagations: 956693 / total #impl: 264233938 (eff. 0.004)
156.86/156.95	c #Conflicts:      31000 | #Learnt:       6316 | 5.817
156.86/156.95	c total clause space: 335.816MB
156.86/156.95	c total #watches: 1054211
165.66/165.73	c total #propagations: 968783 / total #impl: 264842524 (eff. 0.004)
165.66/165.73	c #Conflicts:      32000 | #Learnt:       7316 | 6.210
165.66/165.73	c total clause space: 335.816MB
165.66/165.73	c total #watches: 1132748
176.76/176.87	c total #propagations: 982882 / total #impl: 265165772 (eff. 0.004)
176.76/176.87	c #Conflicts:      33000 | #Learnt:       8316 | 6.530
176.76/176.87	c total clause space: 335.816MB
176.76/176.87	c total #watches: 1202662
185.97/186.05	c total #propagations: 1007365 / total #impl: 265575437 (eff. 0.004)
185.97/186.05	c GC COLLECT
185.97/186.05	c #Conflicts:      34000 | #Learnt:       4915 | 6.817
185.97/186.05	c total clause space: 335.816MB
185.97/186.05	c total #watches: 647589
189.66/189.76	c total #propagations: 1020762 / total #impl: 265838815 (eff. 0.004)
189.66/189.76	c #Conflicts:      35000 | #Learnt:       5915 | 6.755
189.66/189.76	c total clause space: 335.816MB
189.66/189.76	c total #watches: 762269
194.46/194.53	c total #propagations: 1028928 / total #impl: 265993688 (eff. 0.004)
194.46/194.53	c #Conflicts:      36000 | #Learnt:       6915 | 6.729
194.46/194.53	c total clause space: 335.816MB
194.46/194.53	c total #watches: 902191
199.26/199.37	c total #propagations: 1037567 / total #impl: 266238513 (eff. 0.004)
199.26/199.37	c #Conflicts:      37000 | #Learnt:       7915 | 6.669
199.26/199.37	c total clause space: 335.816MB
199.26/199.37	c total #watches: 1024774
205.16/205.24	c total #propagations: 1044671 / total #impl: 266423515 (eff. 0.004)
205.16/205.24	c #Conflicts:      38000 | #Learnt:       8915 | 6.660
205.16/205.24	c total clause space: 335.816MB
205.16/205.24	c total #watches: 1173543
213.26/213.30	c total #propagations: 1052417 / total #impl: 266662895 (eff. 0.004)
213.26/213.30	c GC COLLECT
213.26/213.30	c #Conflicts:      39000 | #Learnt:       5210 | 6.598
213.26/213.30	c total clause space: 335.816MB
213.26/213.30	c total #watches: 813478
220.85/220.95	c total #propagations: 1057554 / total #impl: 266797818 (eff. 0.004)
220.85/220.95	c #Conflicts:      40000 | #Learnt:       6210 | 6.566
220.85/220.95	c total clause space: 335.816MB
220.85/220.95	c total #watches: 859391
231.15/231.27	c total #propagations: 1061928 / total #impl: 266871745 (eff. 0.004)
231.15/231.27	c #Conflicts:      41000 | #Learnt:       7210 | 6.610
231.15/231.27	c total clause space: 335.816MB
231.15/231.27	c total #watches: 911225
244.16/244.23	c total #propagations: 1066159 / total #impl: 266947668 (eff. 0.004)
244.16/244.23	c #Conflicts:      42000 | #Learnt:       8210 | 6.683
244.16/244.23	c total clause space: 335.816MB
244.16/244.23	c total #watches: 954570
257.55/257.62	c total #propagations: 1070678 / total #impl: 267028519 (eff. 0.004)
257.55/257.62	c #Conflicts:      43000 | #Learnt:       9210 | 6.721
257.55/257.62	c total clause space: 335.816MB
257.55/257.62	c total #watches: 984967
424.32/424.40	c total #propagations: 1075699 / total #impl: 267130017 (eff. 0.004)
424.32/424.40	c GC COLLECT
424.32/424.40	c #Conflicts:      44000 | #Learnt:       5243 | 6.598
424.32/424.40	c total clause space: 335.816MB
424.32/424.40	c total #watches: 2140028
703.68/703.81	c total #propagations: 3881428 / total #impl: 892611950 (eff. 0.004)
703.68/703.81	c #Conflicts:      45000 | #Learnt:       6243 | 6.452
703.68/703.81	c total clause space: 335.816MB
703.68/703.81	c total #watches: 6063506
1307.19/1307.40	c total #propagations: 9619079 / total #impl: 1643067697 (eff. 0.006)
1307.19/1307.40	c #Conflicts:      46000 | #Learnt:       7243 | 6.319
1307.19/1307.40	c total clause space: 545.701MB
1307.19/1307.40	c total #watches: 9987142

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-4100712-1466242935/watcher-4100712-1466242935 -o /tmp/evaluation-result-4100712-1466242935/solver-4100712-1466242935 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466241134-6654 --watchdog 1960 --input HOME/instance-4100712-1466242935.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=6863
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.03 2.12 2.10 4/174 6866
/proc/meminfo: memFree=30213348/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 26340475 29810688 5268 33554432000 4194304 6201397 140733364253664 140736907798072 4211056 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 7278 5268 130 491 0 6777 0

[startup+0.100122 s]
/proc/loadavg: 2.03 2.12 2.10 4/174 6866
/proc/meminfo: memFree=30213348/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=36972 CPUtime=0.09 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 1793 0 0 0 9 0 0 0 20 0 1 0 26340475 37859328 7828 33554432000 4194304 6201397 140733364253664 140736907798072 4314324 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 9243 7828 142 491 0 8742 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36972

[startup+0.200306 s]
/proc/loadavg: 2.03 2.12 2.10 4/174 6866
/proc/meminfo: memFree=30213348/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=41044 CPUtime=0.19 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 2707 0 0 0 19 0 0 0 20 0 1 0 26340475 42029056 8555 33554432000 4194304 6201397 140733364253664 140736907798072 5408672 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 10261 8555 143 491 0 9760 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 41044

[startup+0.300275 s]
/proc/loadavg: 2.03 2.12 2.10 4/174 6866
/proc/meminfo: memFree=30213348/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=45888 CPUtime=0.28 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 3278 0 0 0 28 0 0 0 20 0 1 0 26340475 46989312 8862 33554432000 4194304 6201397 140733364253664 140736907798072 4207987 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 11472 8862 147 491 0 10971 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 45888

[startup+0.700228 s]
/proc/loadavg: 2.03 2.12 2.10 4/174 6866
/proc/meminfo: memFree=30213348/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=54804 CPUtime=0.69 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 4082 0 0 0 68 1 0 0 20 0 1 0 26340475 56119296 11588 33554432000 4194304 6201397 140733364253664 140736907798072 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 13701 11588 147 491 0 13200 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54804

[startup+1.50023 s]
/proc/loadavg: 2.03 2.12 2.10 4/175 6867
/proc/meminfo: memFree=30162812/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=68468 CPUtime=1.49 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 4974 0 0 0 148 1 0 0 20 0 1 0 26340475 70111232 14915 33554432000 4194304 6201397 140733364253664 140733364252696 4219736 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 17117 14915 160 491 0 16616 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68468

[startup+3.10022 s]
/proc/loadavg: 2.03 2.12 2.10 4/175 6867
/proc/meminfo: memFree=30141936/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=89464 CPUtime=3.09 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 6821 0 0 0 308 1 0 0 20 0 1 0 26340475 91611136 17858 33554432000 4194304 6201397 140733364253664 140733364252280 4232697 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 22366 17858 166 491 0 21865 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89464

[startup+6.30022 s]
/proc/loadavg: 2.11 2.14 2.11 3/175 6867
/proc/meminfo: memFree=30099448/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=126276 CPUtime=6.29 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 8535 0 0 0 627 2 0 0 20 0 1 0 26340475 129306624 26167 33554432000 4194304 6201397 140733364253664 140733364252328 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 31569 26167 166 491 0 31068 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 126276

[startup+12.7002 s]
/proc/loadavg: 2.10 2.13 2.11 3/175 6867
/proc/meminfo: memFree=30043628/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=187516 CPUtime=12.68 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 12839 0 0 0 1265 3 0 0 20 0 1 0 26340475 192016384 39442 33554432000 4194304 6201397 140733364253664 140733364252264 4213365 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 46879 39442 166 491 0 46378 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 187516

[startup+25.5003 s]
/proc/loadavg: 2.15 2.14 2.11 3/175 6867
/proc/meminfo: memFree=30005720/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=279572 CPUtime=25.48 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 16272 0 0 0 2544 4 0 0 20 0 1 0 26340475 286281728 48129 33554432000 4194304 6201397 140733364253664 140733364252280 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 69893 48129 166 491 0 69392 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 279572

[startup+51.1003 s]
/proc/loadavg: 2.18 2.15 2.11 3/175 6867
/proc/meminfo: memFree=29979788/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=288436 CPUtime=51.09 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 18676 0 0 0 5103 6 0 0 20 0 1 0 26340475 295358464 53578 33554432000 4194304 6201397 140733364253664 140733364252280 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 72109 53578 166 491 0 71608 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 288436

[startup+102.3 s]
/proc/loadavg: 2.35 2.19 2.12 4/175 6868
/proc/meminfo: memFree=29913976/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=321672 CPUtime=102.28 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 26319 0 0 0 10220 8 0 0 20 0 1 0 26340475 329392128 68886 33554432000 4194304 6201397 140733364253664 140733364252328 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 80418 68886 166 491 0 79917 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 321672

[startup+162.3 s]
/proc/loadavg: 2.35 2.22 2.14 3/175 6869
/proc/meminfo: memFree=29838768/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=488260 CPUtime=162.26 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 35194 0 0 0 16216 10 0 0 20 0 1 0 26340475 499978240 87115 33554432000 4194304 6201397 140733364253664 140733364252376 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 122065 87115 166 491 0 121564 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 488260

[startup+222.307 s]
/proc/loadavg: 2.52 2.29 2.16 3/175 6871
/proc/meminfo: memFree=29821692/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=506012 CPUtime=222.26 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 38889 0 0 0 22215 11 0 0 20 0 1 0 26340475 518156288 90810 33554432000 4194304 6201397 140733364253664 140733364252792 4213170 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 126503 90810 166 491 0 126002 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 506012

[startup+282.3 s]
/proc/loadavg: 2.34 2.28 2.17 3/175 6872
/proc/meminfo: memFree=29818844/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=507464 CPUtime=282.25 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 39286 0 0 0 28214 11 0 0 20 0 1 0 26340475 519643136 91207 33554432000 4194304 6201397 140733364253664 140733364252232 4213168 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 126866 91207 166 491 0 126365 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 507464

[startup+342.3 s]
/proc/loadavg: 2.29 2.27 2.17 3/175 6873
/proc/meminfo: memFree=29758568/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=516288 CPUtime=342.24 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 41550 0 0 0 34212 12 0 0 20 0 1 0 26340475 528678912 102051 33554432000 4194304 6201397 140733364253664 140733364252232 4213371 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 129072 102051 166 491 0 128571 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 516288

[startup+402.3 s]
/proc/loadavg: 2.34 2.29 2.18 3/175 6874
/proc/meminfo: memFree=29652804/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=528244 CPUtime=402.23 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 44500 0 0 0 40210 13 0 0 20 0 1 0 26340475 540921856 117759 33554432000 4194304 6201397 140733364253664 140733364251944 4216020 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 132061 117759 166 491 0 131560 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 528244

[startup+462.3 s]
/proc/loadavg: 2.33 2.30 2.19 3/175 6875
/proc/meminfo: memFree=29631756/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=540300 CPUtime=462.22 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 47591 0 0 0 46208 14 0 0 20 0 1 0 26340475 553267200 122876 33554432000 4194304 6201397 140733364253664 140733364251944 4215962 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 135075 122876 166 491 0 134574 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 540300

[startup+522.3 s]
/proc/loadavg: 2.35 2.30 2.19 3/176 6880
/proc/meminfo: memFree=29614704/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=557760 CPUtime=522.2 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 51955 0 0 0 52206 14 0 0 20 0 1 0 26340475 571146240 127240 33554432000 4194304 6201397 140733364253664 140733364251944 4213178 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 139440 127240 166 491 0 138939 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 557760

[startup+582.3 s]
/proc/loadavg: 2.20 2.27 2.19 3/175 6881
/proc/meminfo: memFree=29581628/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=587900 CPUtime=582.2 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 57935 0 0 0 58204 16 0 0 20 0 1 0 26340475 602009600 135264 33554432000 4194304 6201397 140733364253664 140733364252328 4213192 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 146975 135264 166 491 0 146474 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 587900


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


[startup+942.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/175 6888
/proc/meminfo: memFree=29474508/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=803976 CPUtime=942.15 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 59422 0 0 0 94197 18 0 0 20 0 1 0 26340475 823271424 156669 33554432000 4194304 6201397 140733364253664 140733364252376 4216020 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 200994 156669 166 491 0 200493 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 803976

[startup+1002.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/175 6935
/proc/meminfo: memFree=29588436/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=803976 CPUtime=1002.14 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 59523 0 0 0 100196 18 0 0 20 0 1 0 26340475 823271424 157792 33554432000 4194304 6201397 140733364253664 140733364252376 4213328 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 200994 157792 166 491 0 200493 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 803976

[startup+1062.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/175 6936
/proc/meminfo: memFree=29512092/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=804316 CPUtime=1062.13 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 59643 0 0 0 106195 18 0 0 20 0 1 0 26340475 823619584 161489 33554432000 4194304 6201397 140733364253664 140733364251944 4213249 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 201079 161489 166 491 0 200578 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 804316

[startup+1122.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/176 6941
/proc/meminfo: memFree=29460912/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=805128 CPUtime=1122.12 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 59931 0 0 0 112194 18 0 0 20 0 1 0 26340475 824451072 161777 33554432000 4194304 6201397 140733364253664 140733364251944 4213328 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 201282 161777 166 491 0 200781 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 805128

[startup+1182.3 s]
/proc/loadavg: 2.10 2.18 2.17 3/176 6965
/proc/meminfo: memFree=29342216/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=809736 CPUtime=1182.11 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 61114 0 0 0 118192 19 0 0 20 0 1 0 26340475 829169664 170114 33554432000 4194304 6201397 140733364253664 140733364251944 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 202434 170114 166 491 0 201933 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 809736

[startup+1242.3 s]
/proc/loadavg: 2.13 2.17 2.17 3/175 6966
/proc/meminfo: memFree=29326340/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=809736 CPUtime=1242.1 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 61123 0 0 0 124191 19 0 0 20 0 1 0 26340475 829169664 170123 33554432000 4194304 6201397 140733364253664 140733364251944 4213168 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 202434 170123 166 491 0 201933 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 809736

[startup+1302.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/175 6967
/proc/meminfo: memFree=29269080/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=823968 CPUtime=1302.09 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 64424 0 0 0 130189 20 0 0 20 0 1 0 26340475 843743232 183133 33554432000 4194304 6201397 140733364253664 140733364252376 4213365 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 205992 183133 166 491 0 205491 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 823968

[startup+1362.3 s]
/proc/loadavg: 2.25 2.19 2.18 3/175 6968
/proc/meminfo: memFree=29218408/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=852464 CPUtime=1362.08 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 70517 0 0 0 136186 22 0 0 20 0 1 0 26340475 872923136 192803 33554432000 4194304 6201397 140733364253664 140733364252328 4213249 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 213116 192803 166 491 0 212615 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 852464

[startup+1422.3 s]
/proc/loadavg: 2.26 2.20 2.18 3/175 6970
/proc/meminfo: memFree=29191360/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=853232 CPUtime=1422.08 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 70798 0 0 0 142186 22 0 0 20 0 1 0 26340475 873709568 194617 33554432000 4194304 6201397 140733364253664 140733364251944 4214961 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 213308 194617 166 491 0 212807 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 853232

[startup+1482.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/175 6971
/proc/meminfo: memFree=29171828/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=853232 CPUtime=1482.06 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 70892 0 0 0 148184 22 0 0 20 0 1 0 26340475 873709568 196244 33554432000 4194304 6201397 140733364253664 140733364251944 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 213308 196244 166 491 0 212807 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 853232

[startup+1542.31 s]
/proc/loadavg: 2.22 2.21 2.18 3/175 6972
/proc/meminfo: memFree=29117172/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=856880 CPUtime=1542.06 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 71750 0 0 0 154184 22 0 0 20 0 1 0 26340475 877445120 199657 33554432000 4194304 6201397 140733364253664 140733364252376 4213168 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 214220 199657 166 491 0 213719 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 856880

[startup+1602.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/175 6973
/proc/meminfo: memFree=29094812/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=861268 CPUtime=1602.05 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 72722 0 0 0 160182 23 0 0 20 0 1 0 26340475 881938432 201682 33554432000 4194304 6201397 140733364253664 140733364252328 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 215317 201682 166 491 0 214816 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 861268

[startup+1662.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/175 6974
/proc/meminfo: memFree=29014188/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=863248 CPUtime=1662.03 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 73250 0 0 0 166180 23 0 0 20 0 1 0 26340475 883965952 210263 33554432000 4194304 6201397 140733364253664 140733364252280 4213170 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 215812 210263 166 491 0 215311 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 863248

[startup+1722.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/176 6979
/proc/meminfo: memFree=28967504/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=865168 CPUtime=1722.02 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 73607 0 0 0 172179 23 0 0 20 0 1 0 26340475 885932032 210620 33554432000 4194304 6201397 140733364253664 140733364252328 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 216292 210620 166 491 0 215791 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 865168

[startup+1782.3 s]
/proc/loadavg: 2.24 2.21 2.18 3/175 6980
/proc/meminfo: memFree=28950444/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=1216560 CPUtime=1782.02 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 74118 0 0 0 178178 24 0 0 20 0 1 0 26340475 1245757440 214703 33554432000 4194304 6201397 140733364253664 140733364252696 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 304140 214703 166 491 0 303639 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 1216560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/175 6980
/proc/meminfo: memFree=28946724/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=1218000 CPUtime=1800.01 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 74400 0 0 0 179977 24 0 0 20 0 1 0 26340475 1247232000 214985 33554432000 4194304 6201397 140733364253664 140733364252328 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 304500 214985 166 491 0 303999 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1218000

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

[startup+1800.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/175 6980
/proc/meminfo: memFree=28946724/32872528 swapFree=1316768/1463936
[pid=6866] ppid=6863 vsize=1218000 CPUtime=1800.01 cores=0,2,4,6
/proc/6866/stat : 6866 (cdcl-cuttingpla) R 6863 6866 6638 0 -1 4202496 74400 0 0 0 179977 24 0 0 20 0 1 0 26340475 1247232000 214985 33554432000 4194304 6201397 140733364253664 140733364252328 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6866/statm: 304500 214985 166 491 0 303999 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1218000

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.78
CPU system time (s): 0.251961
CPU usage (%): 99.9848
Max. virtual memory (cumulated for all children) (KiB): 1218000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.251961
maximum resident set size= 859940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74400
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= 7
involuntary context switches= 1856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.79527 second user time and 6.67399 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-18 11:42:15
IDJOB=4100712
IDBENCH=1651
IDSOLVER=2550
FILE ID=node121/4100712-1466242935
RUNJOBID= node121-1466241134-6654
PBS_JOBID= 19918202
Free space on /tmp= 71712 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship08s.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100712-1466242935/watcher-4100712-1466242935 -o /tmp/evaluation-result-4100712-1466242935/solver-4100712-1466242935 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466241134-6654 --watchdog 1960 --input HOME/instance-4100712-1466242935.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 86f5ae05f91cc0663afe4f54ca2c84e2
RANDOM SEED=354057569

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
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:        30213248 kB
Buffers:          122240 kB
Cached:           181116 kB
SwapCached:         1900 kB
Active:           225948 kB
Inactive:         226212 kB
Active(anon):     148548 kB
Inactive(anon):     2792 kB
Active(file):      77400 kB
Inactive(file):   223420 kB
Unevictable:     1463936 kB
Mlocked:         1316768 kB
SwapTotal:      67108856 kB
SwapFree:       67101124 kB
Dirty:              5268 kB
Writeback:             0 kB
AnonPages:       1613672 kB
Mapped:             9392 kB
Shmem:                 0 kB
Slab:             610368 kB
SReclaimable:      54324 kB
SUnreclaim:       556044 kB
KernelStack:        1424 kB
PageTables:         7220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1722424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 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= 71712 MiB
End job on node121 at 2016-06-18 12:12:16