Trace number 4101671

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.06 1800.4

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-air05.opb
MD5SUM2b7e03ead6dfd4071784021865da4458
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4098
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4324
Optimality of the best value was proved NO
Number of variables7195
Total number of constraints426
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)426
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint404
Number of terms in the objective function 7195
Biggest coefficient in the objective function 360
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 527812
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 360
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 527812
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.02	c * #variable= 7195 #constraint= 426
0.00/0.05	c * #variable= 7195 #constraint= 426
3.69/3.71	c S1->S2
3.69/3.71	c #Conflicts:       1000 | #Learnt:        974 | 0.159
3.69/3.71	c total clause space: 29.637MB
3.69/3.71	c total #watches: 303380
14.30/14.35	c total #propagations: 423152 / total #impl: 9070953 (eff. 0.047)
14.30/14.35	c #Conflicts:       2000 | #Learnt:       1971 | 0.138
14.30/14.35	c total clause space: 78.2603MB
14.30/14.35	c total #watches: 566732
29.38/29.42	c total #propagations: 708699 / total #impl: 23928340 (eff. 0.030)
29.38/29.42	c GC COLLECT
29.38/29.42	c #Conflicts:       3000 | #Learnt:       2030 | 0.111
29.38/29.42	c total clause space: 78.2603MB
29.38/29.42	c total #watches: 806196
62.07/62.16	c total #propagations: 998208 / total #impl: 40568971 (eff. 0.025)
62.07/62.16	c #Conflicts:       4000 | #Learnt:       3029 | 0.110
62.07/62.16	c total clause space: 127.173MB
62.07/62.16	c total #watches: 1191677
102.77/102.83	c total #propagations: 1251727 / total #impl: 63890338 (eff. 0.020)
102.77/102.83	c GC COLLECT
102.77/102.83	c #Conflicts:       5000 | #Learnt:       2390 | 0.094
102.77/102.83	c total clause space: 206.656MB
102.77/102.83	c total #watches: 1401335
155.16/155.24	c total #propagations: 1449990 / total #impl: 90218703 (eff. 0.016)
155.16/155.24	c #Conflicts:       6000 | #Learnt:       3390 | 0.080
155.16/155.24	c total clause space: 206.656MB
155.16/155.24	c total #watches: 1735769
192.25/192.38	c total #propagations: 1636083 / total #impl: 115146078 (eff. 0.014)
192.25/192.38	c GC COLLECT
192.25/192.38	c #Conflicts:       7000 | #Learnt:       2277 | 0.075
192.25/192.38	c total clause space: 206.656MB
192.25/192.38	c total #watches: 1225462
211.94/212.08	c total #propagations: 1795974 / total #impl: 130819095 (eff. 0.014)
211.94/212.08	c #Conflicts:       8000 | #Learnt:       3277 | 0.066
211.94/212.08	c total clause space: 206.656MB
211.94/212.08	c total #watches: 1400994
274.13/274.22	c total #propagations: 1960909 / total #impl: 147834874 (eff. 0.013)
274.13/274.22	c #Conflicts:       9000 | #Learnt:       4273 | 0.060
274.13/274.22	c total clause space: 206.656MB
274.13/274.22	c total #watches: 1601785
343.02/343.18	c total #propagations: 2268107 / total #impl: 163778714 (eff. 0.014)
343.02/343.18	c GC COLLECT
343.02/343.18	c #Conflicts:      10000 | #Learnt:       2759 | 0.070
343.02/343.18	c total clause space: 206.656MB
343.02/343.18	c total #watches: 1338782
389.01/389.17	c total #propagations: 2584949 / total #impl: 187682150 (eff. 0.014)
389.01/389.17	c #Conflicts:      11000 | #Learnt:       3758 | 0.066
389.01/389.17	c total clause space: 206.656MB
389.01/389.17	c total #watches: 1656681
447.51/447.63	c total #propagations: 2885568 / total #impl: 218689697 (eff. 0.013)
447.51/447.63	c #Conflicts:      12000 | #Learnt:       4758 | 0.061
447.51/447.63	c total clause space: 206.656MB
447.51/447.63	c total #watches: 1880580
504.91/505.04	c total #propagations: 3113978 / total #impl: 237514805 (eff. 0.013)
504.91/505.04	c #Conflicts:      13000 | #Learnt:       5758 | 0.059
504.91/505.04	c total clause space: 206.656MB
504.91/505.04	c total #watches: 2108213
545.40/545.54	c total #propagations: 3375515 / total #impl: 252030757 (eff. 0.013)
545.40/545.54	c GC COLLECT
545.40/545.54	c #Conflicts:      14000 | #Learnt:       3891 | 0.071
545.40/545.54	c total clause space: 206.656MB
545.40/545.54	c total #watches: 1736475
575.20/575.37	c total #propagations: 3617403 / total #impl: 271945376 (eff. 0.013)
575.20/575.37	c #Conflicts:      15000 | #Learnt:       4891 | 0.068
575.20/575.37	c total clause space: 206.656MB
575.20/575.37	c total #watches: 1967314
613.38/613.57	c total #propagations: 3774251 / total #impl: 289862367 (eff. 0.013)
613.38/613.57	c #Conflicts:      16000 | #Learnt:       5891 | 0.064
613.38/613.57	c total clause space: 335.816MB
613.38/613.57	c total #watches: 2242810
668.68/668.82	c total #propagations: 3965089 / total #impl: 315059159 (eff. 0.013)
668.68/668.82	c GC COLLECT
668.68/668.82	c #Conflicts:      17000 | #Learnt:       3722 | 0.061
668.68/668.82	c total clause space: 335.816MB
668.68/668.82	c total #watches: 1674737
727.56/727.78	c total #propagations: 4201070 / total #impl: 336628515 (eff. 0.012)
727.56/727.78	c #Conflicts:      18000 | #Learnt:       4722 | 0.058
727.56/727.78	c total clause space: 335.816MB
727.56/727.78	c total #watches: 1976990
794.33/794.51	c total #propagations: 4456197 / total #impl: 357620395 (eff. 0.012)
794.33/794.51	c #Conflicts:      19000 | #Learnt:       5722 | 0.059
794.33/794.51	c total clause space: 335.816MB
794.33/794.51	c total #watches: 2293663
906.39/906.65	c total #propagations: 4707411 / total #impl: 379517333 (eff. 0.012)
906.39/906.65	c #Conflicts:      20000 | #Learnt:       6722 | 0.058
906.39/906.65	c total clause space: 335.816MB
906.39/906.65	c total #watches: 2655358
988.18/988.40	c total #propagations: 4989610 / total #impl: 404931018 (eff. 0.012)
988.18/988.40	c GC COLLECT
988.18/988.40	c #Conflicts:      21000 | #Learnt:       4241 | 0.057
988.18/988.40	c total clause space: 335.816MB
988.18/988.40	c total #watches: 2012463
1049.46/1049.70	c total #propagations: 5278110 / total #impl: 427354034 (eff. 0.012)
1049.46/1049.70	c #Conflicts:      22000 | #Learnt:       5241 | 0.055
1049.46/1049.70	c total clause space: 335.816MB
1049.46/1049.70	c total #watches: 2289427
1124.07/1124.33	c total #propagations: 5459655 / total #impl: 450570113 (eff. 0.012)
1124.07/1124.33	c #Conflicts:      23000 | #Learnt:       6241 | 0.053
1124.07/1124.33	c total clause space: 335.816MB
1124.07/1124.33	c total #watches: 2509806
1214.54/1214.83	c total #propagations: 5678482 / total #impl: 473221910 (eff. 0.012)
1214.54/1214.83	c #Conflicts:      24000 | #Learnt:       7240 | 0.051
1214.54/1214.83	c total clause space: 335.816MB
1214.54/1214.83	c total #watches: 2872648
1294.33/1294.67	c total #propagations: 6010570 / total #impl: 501337751 (eff. 0.012)
1294.33/1294.67	c GC COLLECT
1294.33/1294.67	c #Conflicts:      25000 | #Learnt:       4433 | 0.051
1294.33/1294.67	c total clause space: 335.816MB
1294.33/1294.67	c total #watches: 2001216
1349.54/1349.86	c total #propagations: 6380138 / total #impl: 519609548 (eff. 0.012)
1349.54/1349.86	c #Conflicts:      26000 | #Learnt:       5433 | 0.051
1349.54/1349.86	c total clause space: 335.816MB
1349.54/1349.86	c total #watches: 2244261
1407.21/1407.54	c total #propagations: 6790707 / total #impl: 539902042 (eff. 0.013)
1407.21/1407.54	c #Conflicts:      27000 | #Learnt:       6433 | 0.049
1407.21/1407.54	c total clause space: 335.816MB
1407.21/1407.54	c total #watches: 2465238
1480.80/1481.14	c total #propagations: 7107638 / total #impl: 566164360 (eff. 0.013)
1480.80/1481.14	c #Conflicts:      28000 | #Learnt:       7433 | 0.047
1480.80/1481.14	c total clause space: 335.816MB
1480.80/1481.14	c total #watches: 2809823
1588.48/1588.85	c total #propagations: 7421120 / total #impl: 592679650 (eff. 0.013)
1588.48/1588.85	c GC COLLECT
1588.48/1588.85	c #Conflicts:      29000 | #Learnt:       4333 | 0.049
1588.48/1588.85	c total clause space: 335.816MB
1588.48/1588.85	c total #watches: 1992751
1655.78/1656.15	c total #propagations: 7740618 / total #impl: 621602904 (eff. 0.012)
1655.78/1656.15	c #Conflicts:      30000 | #Learnt:       5333 | 0.048
1655.78/1656.15	c total clause space: 335.816MB
1655.78/1656.15	c total #watches: 2376119
1738.77/1739.13	c total #propagations: 7995458 / total #impl: 657654742 (eff. 0.012)
1738.77/1739.13	c #Conflicts:      31000 | #Learnt:       6332 | 0.046
1738.77/1739.13	c total clause space: 335.816MB
1738.77/1739.13	c total #watches: 2729656

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-4101671-1466256691/watcher-4101671-1466256691 -o /tmp/evaluation-result-4101671-1466256691/solver-4101671-1466256691 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466229528-27534 --watchdog 1960 --input HOME/instance-4101671-1466256691.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=30851
running on 8 cores: 4-7,12-15

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.01 2.02 2.05 3/258 30854
/proc/meminfo: memFree=31387492/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=56116 CPUtime=0 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 315 0 0 0 0 0 0 0 20 0 1 0 27713688 57462784 10927 33554432000 4194304 6211289 140735883847008 140733994413848 4261036 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 14029 10927 120 493 0 13526 0

[startup+0.100161 s]
/proc/loadavg: 2.01 2.02 2.05 3/258 30854
/proc/meminfo: memFree=31387492/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=67416 CPUtime=0.09 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 1940 0 0 0 8 1 0 0 20 0 1 0 27713688 69033984 14861 33554432000 4194304 6211289 140735883847008 140733994413848 4205291 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 16854 14861 150 493 0 16351 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 67416

[startup+0.200341 s]
/proc/loadavg: 2.01 2.02 2.05 3/258 30854
/proc/meminfo: memFree=31387492/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=73536 CPUtime=0.19 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 2670 0 0 0 18 1 0 0 20 0 1 0 27713688 75300864 15403 33554432000 4194304 6211289 140735883847008 140733994413848 4241789 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 18384 15403 204 493 0 17881 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 73536

[startup+0.300281 s]
/proc/loadavg: 2.01 2.02 2.05 3/258 30854
/proc/meminfo: memFree=31387492/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=73668 CPUtime=0.29 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 2803 0 0 0 28 1 0 0 20 0 1 0 27713688 75436032 15502 33554432000 4194304 6211289 140735883847008 140733994413848 4205291 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 18417 15502 204 493 0 17914 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 73668

[startup+0.700227 s]
/proc/loadavg: 2.01 2.02 2.05 3/258 30854
/proc/meminfo: memFree=31387492/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=78560 CPUtime=0.69 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 3228 0 0 0 68 1 0 0 20 0 1 0 27713688 80445440 16360 33554432000 4194304 6211289 140735883847008 140733994413848 4240630 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 19640 16360 204 493 0 19137 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78560

[startup+1.50019 s]
/proc/loadavg: 2.01 2.02 2.05 3/259 30855
/proc/meminfo: memFree=31321040/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=79196 CPUtime=1.49 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 3383 0 0 0 148 1 0 0 20 0 1 0 27713688 81096704 17019 33554432000 4194304 6211289 140735883847008 140735883844920 4202014 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 19799 17019 204 493 0 19296 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 79196

[startup+3.1002 s]
/proc/loadavg: 2.01 2.02 2.05 3/259 30855
/proc/meminfo: memFree=31315456/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=87692 CPUtime=3.09 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 3761 0 0 0 308 1 0 0 20 0 1 0 27713688 89796608 18916 33554432000 4194304 6211289 140735883847008 140735883845000 4244721 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 21923 18916 204 493 0 21420 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87692

[startup+6.30023 s]
/proc/loadavg: 2.01 2.02 2.05 3/259 30855
/proc/meminfo: memFree=31297808/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=120400 CPUtime=6.28 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 4835 0 0 0 627 1 0 0 20 0 1 0 27713688 123289600 22918 33554432000 4194304 6211289 140735883847008 140735883845000 4209403 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 30100 22918 214 493 0 29597 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 120400

[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/259 30855
/proc/meminfo: memFree=31278504/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=122720 CPUtime=12.69 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 5478 0 0 0 1267 2 0 0 20 0 1 0 27713688 125665280 27125 33554432000 4194304 6211289 140735883847008 140735883844920 4209403 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 30680 27125 214 493 0 30177 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 122720

[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.05 3/259 30855
/proc/meminfo: memFree=31249792/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=157000 CPUtime=25.48 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 8688 0 0 0 2546 2 0 0 20 0 1 0 27713688 160768000 32501 33554432000 4194304 6211289 140735883847008 140735883844920 4209322 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 39250 32501 219 493 0 38747 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 157000

[startup+51.1004 s]
/proc/loadavg: 2.08 2.03 2.05 3/259 30855
/proc/meminfo: memFree=31179736/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=213408 CPUtime=51.08 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 10437 0 0 0 5104 4 0 0 20 0 1 0 27713688 218529792 46494 33554432000 4194304 6211289 140735883847008 140735883845000 4209388 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 53352 46494 219 493 0 52849 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 213408

[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.04 3/259 30856
/proc/meminfo: memFree=31113432/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=301124 CPUtime=102.28 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 13097 0 0 0 10223 5 0 0 20 0 1 0 27713688 308350976 54341 33554432000 4194304 6211289 140735883847008 140735883844920 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 75281 54341 219 493 0 74778 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 301124

[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.04 3/258 30857
/proc/meminfo: memFree=31052352/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=306772 CPUtime=162.25 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 14632 0 0 0 16219 6 0 0 20 0 1 0 27713688 314134528 63010 33554432000 4194304 6211289 140735883847008 140735883844872 4209403 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 76693 63010 219 493 0 76190 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 306772

[startup+222.311 s]
/proc/loadavg: 2.02 2.02 2.04 3/259 30859
/proc/meminfo: memFree=31010064/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=309504 CPUtime=222.25 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 15450 0 0 0 22218 7 0 0 20 0 1 0 27713688 316932096 70692 33554432000 4194304 6211289 140735883847008 140735883845000 4209304 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 77376 70692 219 493 0 76873 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 309504

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/259 30860
/proc/meminfo: memFree=31003780/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=310676 CPUtime=282.23 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 15739 0 0 0 28216 7 0 0 20 0 1 0 27713688 318132224 70981 33554432000 4194304 6211289 140735883847008 140735883844920 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 77669 70981 219 493 0 77166 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 310676

[startup+342.3 s]
/proc/loadavg: 2.09 2.04 2.04 3/259 30861
/proc/meminfo: memFree=30994280/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=313556 CPUtime=342.22 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 16443 0 0 0 34215 7 0 0 20 0 1 0 27713688 321081344 71682 33554432000 4194304 6211289 140735883847008 140735883844920 4209392 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 78389 71682 219 493 0 77886 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 313556

[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.03 3/259 30862
/proc/meminfo: memFree=30983776/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=315072 CPUtime=402.21 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 16867 0 0 0 40214 7 0 0 20 0 1 0 27713688 322633728 72106 33554432000 4194304 6211289 140735883847008 140735883845000 4209304 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 78768 72106 219 493 0 78265 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 315072

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/259 30863
/proc/meminfo: memFree=30979000/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=318440 CPUtime=462.21 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 17691 0 0 0 46213 8 0 0 20 0 1 0 27713688 326082560 72930 33554432000 4194304 6211289 140735883847008 140735883844920 4209322 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 79610 72930 219 493 0 79107 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 318440

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/260 30868
/proc/meminfo: memFree=30958624/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=319812 CPUtime=522.2 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 18454 0 0 0 52211 9 0 0 20 0 1 0 27713688 327487488 77531 33554432000 4194304 6211289 140735883847008 140735883845000 4209403 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 79953 77531 219 493 0 79450 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 319812

[startup+582.3 s]
/proc/loadavg: 2.06 2.03 2.02 3/259 30869
/proc/meminfo: memFree=30949612/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=321728 CPUtime=582.19 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 18959 0 0 0 58210 9 0 0 20 0 1 0 27713688 329449472 78036 33554432000 4194304 6211289 140735883847008 140735883844920 4242778 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 80432 78036 219 493 0 79929 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 321728


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


[startup+882.311 s]
/proc/loadavg: 2.05 2.04 2.01 3/259 30875
/proc/meminfo: memFree=30715976/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=466680 CPUtime=882.11 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 23088 0 0 0 88197 14 0 0 20 0 1 0 27713688 477880320 99133 33554432000 4194304 6211289 140735883847008 140735883845000 4209392 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 116670 99133 219 493 0 116167 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 466680

[startup+942.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/259 30876
/proc/meminfo: memFree=30687232/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=468632 CPUtime=942.08 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 23623 0 0 0 94194 14 0 0 20 0 1 0 27713688 479879168 104213 33554432000 4194304 6211289 140735883847008 140735883844920 4209322 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 117158 104213 219 493 0 116655 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 468632

[startup+1002.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/259 30877
/proc/meminfo: memFree=30684924/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=468792 CPUtime=1002.07 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 23693 0 0 0 100193 14 0 0 20 0 1 0 27713688 480043008 104283 33554432000 4194304 6211289 140735883847008 140735883845352 4209322 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 117198 104283 219 493 0 116695 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 468792

[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/259 30878
/proc/meminfo: memFree=30683796/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=469096 CPUtime=1062.06 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 23899 0 0 0 106192 14 0 0 20 0 1 0 27713688 480354304 104487 33554432000 4194304 6211289 140735883847008 140735883845352 4209388 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 117274 104487 219 493 0 116771 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 469096

[startup+1122.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/260 30929
/proc/meminfo: memFree=31193772/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=470152 CPUtime=1122.06 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 24157 0 0 0 112191 15 0 0 20 0 1 0 27713688 481435648 104745 33554432000 4194304 6211289 140735883847008 140735883845000 4209328 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 117538 104745 219 493 0 117035 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 470152

[startup+1182.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/260 30930
/proc/meminfo: memFree=31155896/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=471556 CPUtime=1182.05 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 24493 0 0 0 118189 16 0 0 20 0 1 0 27713688 482873344 105152 33554432000 4194304 6211289 140735883847008 140735883844920 4209392 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 117889 105152 219 493 0 117386 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 471556

[startup+1242.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/259 30931
/proc/meminfo: memFree=31143296/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=473740 CPUtime=1242.03 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 25011 0 0 0 124187 16 0 0 20 0 1 0 27713688 485109760 105670 33554432000 4194304 6211289 140735883847008 140735883845000 4209388 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 118435 105670 219 493 0 117932 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 473740

[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/259 30932
/proc/meminfo: memFree=31129308/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=474188 CPUtime=1302.03 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 25144 0 0 0 130187 16 0 0 20 0 1 0 27713688 485568512 105797 33554432000 4194304 6211289 140735883847008 140735883845352 4209328 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 118547 105797 219 493 0 118044 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 474188

[startup+1362.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/259 30933
/proc/meminfo: memFree=31120636/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=474320 CPUtime=1362.02 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 25173 0 0 0 136185 17 0 0 20 0 1 0 27713688 485703680 105826 33554432000 4194304 6211289 140735883847008 140735883845352 4209392 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 118580 105826 219 493 0 118077 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 474320

[startup+1422.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/259 30935
/proc/meminfo: memFree=31113084/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=474768 CPUtime=1422.02 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 25364 0 0 0 142185 17 0 0 20 0 1 0 27713688 486162432 106017 33554432000 4194304 6211289 140735883847008 140735883845000 4209392 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 118692 106017 219 493 0 118189 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 474768

[startup+1482.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/259 30936
/proc/meminfo: memFree=31040488/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=476700 CPUtime=1482 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 25840 0 0 0 148183 17 0 0 20 0 1 0 27713688 488140800 106493 33554432000 4194304 6211289 140735883847008 140735883845352 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 119175 106493 219 493 0 118672 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 476700

[startup+1542.31 s]
/proc/loadavg: 2.09 2.06 2.00 3/259 30937
/proc/meminfo: memFree=31001056/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=478384 CPUtime=1542 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 26285 0 0 0 154182 18 0 0 20 0 1 0 27713688 489865216 110515 33554432000 4194304 6211289 140735883847008 140735883844872 4209392 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 119596 110515 219 493 0 119093 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 478384

[startup+1602.3 s]
/proc/loadavg: 2.16 2.08 2.01 3/259 30938
/proc/meminfo: memFree=30982656/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=479532 CPUtime=1601.98 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 26551 0 0 0 160180 18 0 0 20 0 1 0 27713688 491040768 113847 33554432000 4194304 6211289 140735883847008 140735883844920 4209314 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 119883 113847 219 493 0 119380 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 479532

[startup+1662.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/259 30939
/proc/meminfo: memFree=30974988/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=480028 CPUtime=1661.98 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 26736 0 0 0 166179 19 0 0 20 0 1 0 27713688 491548672 114032 33554432000 4194304 6211289 140735883847008 140735883845352 4209392 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 120007 114032 219 493 0 119504 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 480028

[startup+1722.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/260 30944
/proc/meminfo: memFree=30906628/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=481068 CPUtime=1721.96 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 26996 0 0 0 172177 19 0 0 20 0 1 0 27713688 492613632 114325 33554432000 4194304 6211289 140735883847008 140735883844920 4209392 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 120267 114325 219 493 0 119764 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 481068

[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/260 30968
/proc/meminfo: memFree=30839904/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=482460 CPUtime=1781.95 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 27325 0 0 0 178176 19 0 0 20 0 1 0 27713688 494039040 114654 33554432000 4194304 6211289 140735883847008 140735883844920 4209388 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 120615 114654 219 493 0 120112 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 482460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.04 2.06 2.00 3/260 30968
/proc/meminfo: memFree=30840312/32872528 swapFree=7804/7804
[pid=30854] ppid=30851 vsize=482736 CPUtime=1800.05 cores=4-7,12-15
/proc/30854/stat : 30854 (cdcl-cuttingpla) R 30851 30854 27517 0 -1 4202496 27389 0 0 0 179986 19 0 0 20 0 1 0 27713688 494321664 114718 33554432000 4194304 6211289 140735883847008 140735883845000 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/30854/statm: 120684 114718 219 493 0 120181 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 482736

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.4
CPU time (s): 1800.06
CPU user time (s): 1799.87
CPU system time (s): 0.19697
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 482736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.19697
maximum resident set size= 458872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27389
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= 101
involuntary context switches= 1960

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.64684 second user time and 10.5994 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-18 15:31:31
IDJOB=4101671
IDBENCH=1779
IDSOLVER=2549
FILE ID=node132/4101671-1466256691
RUNJOBID= node132-1466229528-27534
PBS_JOBID= 19918175
Free space on /tmp= 71732 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-air05.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101671-1466256691/watcher-4101671-1466256691 -o /tmp/evaluation-result-4101671-1466256691/solver-4101671-1466256691 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466229528-27534 --watchdog 1960 --input HOME/instance-4101671-1466256691.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 2b7e03ead6dfd4071784021865da4458
RANDOM SEED=2093237284

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

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31387160 kB
Buffers:          101296 kB
Cached:           170860 kB
SwapCached:         1776 kB
Active:           527248 kB
Inactive:         196256 kB
Active(anon):     451972 kB
Inactive(anon):     2324 kB
Active(file):      75276 kB
Inactive(file):   193932 kB
Unevictable:        7804 kB
Mlocked:            7804 kB
SwapTotal:      67108856 kB
SwapFree:       67099332 kB
Dirty:              3196 kB
Writeback:             0 kB
AnonPages:        464544 kB
Mapped:             8000 kB
Shmem:                 0 kB
Slab:             608788 kB
SReclaimable:      48500 kB
SUnreclaim:       560288 kB
KernelStack:        2136 kB
PageTables:         5004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     592036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    444416 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= 71732 MiB
End job on node132 at 2016-06-18 16:01:31