Trace number 4109134

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cdcl-cuttingplanes OPT binary search 2016-05-01? (TO) 1800.01 1800.3

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-547911.opb
MD5SUMb99304baf8f7edc2dec7db9e7f912244
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3528
Total number of constraints693
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)693
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint168
Maximum length of a constraint1288
Number of terms in the objective function 3528
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3528
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 3528
Number of bits of the biggest sum of numbers12
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.19/0.20	c * #variable= 3528 #constraint= 693
0.38/0.40	c * #variable= 3528 #constraint= 693
11.59/11.61	c S1->S2
11.59/11.61	c S1->S2
11.59/11.61	c S1->S2
11.59/11.61	c S1->S2
11.59/11.61	c S1->S2
11.59/11.61	c #Conflicts:       1000 | #Learnt:       1004 | 9.555
11.59/11.61	c total clause space: 78.2603MB
11.59/11.61	c total #watches: 811228
33.38/33.44	c total #propagations: 365578 / total #impl: 51948197 (eff. 0.007)
33.38/33.44	c S2->S1
33.38/33.44	c #Conflicts:       2000 | #Learnt:        283 | 6.735
33.38/33.44	c total clause space: 127.173MB
33.38/33.44	c total #watches: 1014398
66.38/66.43	c total #propagations: 790277 / total #impl: 99037820 (eff. 0.008)
66.38/66.43	c GC COLLECT
66.38/66.43	c #Conflicts:       3000 | #Learnt:       1032 | 5.167
66.38/66.43	c total clause space: 127.173MB
66.38/66.43	c total #watches: 972729
166.17/166.22	c total #propagations: 926732 / total #impl: 137089757 (eff. 0.007)
166.17/166.22	c S1->S2
166.17/166.22	c S1->S2
166.17/166.22	c #Conflicts:       4000 | #Learnt:       2034 | 4.470
166.17/166.22	c total clause space: 127.173MB
166.17/166.22	c total #watches: 1860850
236.95/237.07	c total #propagations: 1047394 / total #impl: 214530882 (eff. 0.005)
236.95/237.07	c S1->S2
236.95/237.07	c GC COLLECT
236.95/237.07	c #Conflicts:       5000 | #Learnt:       1876 | 3.755
236.95/237.07	c total clause space: 127.173MB
236.95/237.07	c total #watches: 1592946
305.44/305.59	c total #propagations: 1347875 / total #impl: 257684020 (eff. 0.005)
305.44/305.59	c #Conflicts:       6000 | #Learnt:       2876 | 3.493
305.44/305.59	c total clause space: 127.173MB
305.44/305.59	c total #watches: 1972034
362.44/362.54	c total #propagations: 1526313 / total #impl: 320348313 (eff. 0.005)
362.44/362.54	c GC COLLECT
362.44/362.54	c #Conflicts:       7000 | #Learnt:       1992 | 3.025
362.44/362.54	c total clause space: 206.656MB
362.44/362.54	c total #watches: 1402926
388.73/388.83	c total #propagations: 1669323 / total #impl: 411601663 (eff. 0.004)
388.73/388.83	c #Conflicts:       8000 | #Learnt:       2992 | 2.704
388.73/388.83	c total clause space: 206.656MB
388.73/388.83	c total #watches: 1949430
445.82/445.97	c total #propagations: 1789391 / total #impl: 539894568 (eff. 0.003)
445.82/445.97	c #Conflicts:       9000 | #Learnt:       3992 | 2.474
445.82/445.97	c total clause space: 206.656MB
445.82/445.97	c total #watches: 2276750
514.72/514.84	c total #propagations: 2082728 / total #impl: 583434365 (eff. 0.004)
514.72/514.84	c GC COLLECT
514.72/514.84	c #Conflicts:      10000 | #Learnt:       2603 | 2.280
514.72/514.84	c total clause space: 206.656MB
514.72/514.84	c total #watches: 1826300
558.71/558.88	c total #propagations: 2277251 / total #impl: 645995158 (eff. 0.004)
558.71/558.88	c #Conflicts:      11000 | #Learnt:       3603 | 2.100
558.71/558.88	c total clause space: 206.656MB
558.71/558.88	c total #watches: 2304709
631.49/631.64	c total #propagations: 2451075 / total #impl: 749075123 (eff. 0.003)
631.49/631.64	c #Conflicts:      12000 | #Learnt:       4603 | 2.029
631.49/631.64	c total clause space: 206.656MB
631.49/631.64	c total #watches: 2736402
696.19/696.40	c total #propagations: 2696139 / total #impl: 846494554 (eff. 0.003)
696.19/696.40	c #Conflicts:      13000 | #Learnt:       5603 | 1.886
696.19/696.40	c total clause space: 206.656MB
696.19/696.40	c total #watches: 3329845
787.85/788.02	c total #propagations: 2823536 / total #impl: 977866427 (eff. 0.003)
787.85/788.02	c GC COLLECT
787.85/788.02	c #Conflicts:      14000 | #Learnt:       3807 | 1.777
787.85/788.02	c total clause space: 206.656MB
787.85/788.02	c total #watches: 2637785
852.34/852.58	c total #propagations: 3170399 / total #impl: 1060596019 (eff. 0.003)
852.34/852.58	c #Conflicts:      15000 | #Learnt:       4807 | 1.681
852.34/852.58	c total clause space: 206.656MB
852.34/852.58	c total #watches: 3006795
910.13/910.33	c total #propagations: 3604679 / total #impl: 1239031597 (eff. 0.003)
910.13/910.33	c #Conflicts:      16000 | #Learnt:       5807 | 1.590
910.13/910.33	c total clause space: 206.656MB
910.13/910.33	c total #watches: 3361675
955.73/955.97	c total #propagations: 3929033 / total #impl: 1350116174 (eff. 0.003)
955.73/955.97	c GC COLLECT
955.73/955.97	c #Conflicts:      17000 | #Learnt:       3664 | 1.517
955.73/955.97	c total clause space: 206.656MB
955.73/955.97	c total #watches: 2650831
995.52/995.76	c total #propagations: 4095468 / total #impl: 1499930215 (eff. 0.003)
995.52/995.76	c #Conflicts:      18000 | #Learnt:       4664 | 1.435
995.52/995.76	c total clause space: 206.656MB
995.52/995.76	c total #watches: 3149138
1064.90/1065.17	c total #propagations: 4267737 / total #impl: 1780554905 (eff. 0.002)
1064.90/1065.17	c #Conflicts:      19000 | #Learnt:       5664 | 1.370
1064.90/1065.17	c total clause space: 206.656MB
1064.90/1065.17	c total #watches: 3556069
1172.40/1172.63	c total #propagations: 4479412 / total #impl: 1977789914 (eff. 0.002)
1172.40/1172.63	c #Conflicts:      20000 | #Learnt:       6664 | 1.309
1172.40/1172.63	c total clause space: 335.816MB
1172.40/1172.63	c total #watches: 3937818
1280.97/1281.21	c total #propagations: 4813898 / total #impl: 2039071790 (eff. 0.002)
1280.97/1281.21	c GC COLLECT
1280.97/1281.21	c #Conflicts:      21000 | #Learnt:       4194 | 1.282
1280.97/1281.21	c total clause space: 335.816MB
1280.97/1281.21	c total #watches: 2845325
1351.16/1351.48	c total #propagations: 5137696 / total #impl: 2084138456 (eff. 0.002)
1351.16/1351.48	c #Conflicts:      22000 | #Learnt:       5194 | 1.232
1351.16/1351.48	c total clause space: 335.816MB
1351.16/1351.48	c total #watches: 3452049
1465.05/1465.38	c total #propagations: 5335459 / total #impl: 2145994441 (eff. 0.002)
1465.05/1465.38	c #Conflicts:      23000 | #Learnt:       6194 | 1.233
1465.05/1465.38	c total clause space: 335.816MB
1465.05/1465.38	c total #watches: 3949961
1600.62/1600.96	c total #propagations: 5590250 / total #impl: 2224961477 (eff. 0.003)
1600.62/1600.96	c #Conflicts:      24000 | #Learnt:       7194 | 1.222
1600.62/1600.96	c total clause space: 335.816MB
1600.62/1600.96	c total #watches: 4471102
1693.72/1694.03	c total #propagations: 5881693 / total #impl: 2291572479 (eff. 0.003)
1693.72/1694.03	c GC COLLECT
1693.72/1694.03	c #Conflicts:      25000 | #Learnt:       4400 | 1.185
1693.72/1694.03	c total clause space: 335.816MB
1693.72/1694.03	c total #watches: 3390706
1753.60/1753.97	c total #propagations: 6148966 / total #impl: 2399220895 (eff. 0.003)
1753.60/1753.97	c #Conflicts:      26000 | #Learnt:       5400 | 1.143
1753.60/1753.97	c total clause space: 335.816MB
1753.60/1753.97	c total #watches: 3791114

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-4109134-1466287773/watcher-4109134-1466287773 -o /tmp/evaluation-result-4109134-1466287773/solver-4109134-1466287773 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466284166-15430 --watchdog 1960 --input HOME/instance-4109134-1466287773.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

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

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


[startup+0 s]
/proc/loadavg: 2.18 2.21 2.18 4/176 15904
/proc/meminfo: memFree=29786896/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 257 0 0 0 0 0 0 0 20 0 1 0 30824041 57319424 7292 33554432000 4194304 6211289 140734034829168 140735801548408 4206563 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 13994 7292 98 493 0 13491 0

[startup+0.100169 s]
/proc/loadavg: 2.18 2.21 2.18 4/176 15904
/proc/meminfo: memFree=29786896/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=59976 CPUtime=0.09 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 1541 0 0 0 8 1 0 0 20 0 1 0 30824041 61415424 11749 33554432000 4194304 6211289 140734034829168 140735801548408 5418912 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 14994 11749 121 493 0 14491 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59976

[startup+0.200263 s]
/proc/loadavg: 2.18 2.21 2.18 4/176 15904
/proc/meminfo: memFree=29786896/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=63832 CPUtime=0.19 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 1877 0 0 0 18 1 0 0 20 0 1 0 30824041 65363968 12654 33554432000 4194304 6211289 140734034829168 140735801548408 5418912 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 15958 12654 121 493 0 15455 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 63832

[startup+0.300326 s]
/proc/loadavg: 2.18 2.21 2.18 4/176 15904
/proc/meminfo: memFree=29786896/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=80580 CPUtime=0.29 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 2802 0 0 0 28 1 0 0 20 0 1 0 30824041 82513920 17156 33554432000 4194304 6211289 140734034829168 140734034827048 5051772 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 20145 17156 144 493 0 19642 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 80580

[startup+0.700206 s]
/proc/loadavg: 2.18 2.21 2.18 4/176 15904
/proc/meminfo: memFree=29786896/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=138136 CPUtime=0.69 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 6104 0 0 0 67 2 0 0 20 0 1 0 30824041 141451264 26461 33554432000 4194304 6211289 140734034829168 140734034827048 4239674 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 34534 26461 150 493 0 34031 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 138136

[startup+1.50027 s]
/proc/loadavg: 2.18 2.21 2.18 4/177 15905
/proc/meminfo: memFree=29677652/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=138136 CPUtime=1.48 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 6224 0 0 0 146 2 0 0 20 0 1 0 30824041 141451264 30158 33554432000 4194304 6211289 140734034829168 140734034827048 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 34534 30158 204 493 0 34031 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 138136

[startup+3.10024 s]
/proc/loadavg: 2.16 2.20 2.18 4/177 15905
/proc/meminfo: memFree=29633344/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=189728 CPUtime=3.09 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 7189 0 0 0 306 3 0 0 20 0 1 0 30824041 194281472 38685 33554432000 4194304 6211289 140734034829168 140734034827448 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 47432 38685 204 493 0 46929 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 189728

[startup+6.30023 s]
/proc/loadavg: 2.16 2.20 2.18 3/177 15905
/proc/meminfo: memFree=29622180/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=211636 CPUtime=6.29 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 8151 0 0 0 625 4 0 0 20 0 1 0 30824041 216715264 42139 33554432000 4194304 6211289 140734034829168 140734034827160 4209328 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 52909 42139 204 493 0 52406 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 211636

[startup+12.7002 s]
/proc/loadavg: 2.14 2.20 2.18 3/170 15936
/proc/meminfo: memFree=30245404/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=246572 CPUtime=12.69 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 9490 0 0 0 1265 4 0 0 20 0 1 0 30824041 252489728 46983 33554432000 4194304 6211289 140734034829168 140734034827512 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 61643 46983 214 493 0 61140 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 246572

[startup+25.5004 s]
/proc/loadavg: 2.04 2.17 2.17 2/170 15936
/proc/meminfo: memFree=30231928/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=246992 CPUtime=25.48 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 9596 0 0 0 2544 4 0 0 20 0 1 0 30824041 252919808 50155 33554432000 4194304 6211289 140734034829168 140734034827160 4209384 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 61748 50155 214 493 0 61245 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 246992

[startup+51.1003 s]
/proc/loadavg: 1.82 2.11 2.15 2/171 15939
/proc/meminfo: memFree=30208312/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=301732 CPUtime=51.08 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 11253 0 0 0 5103 5 0 0 20 0 1 0 30824041 308973568 55806 33554432000 4194304 6211289 140734034829168 140734034827160 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 75433 55806 219 493 0 74930 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 301732

[startup+102.3 s]
/proc/loadavg: 1.36 1.93 2.08 3/170 15940
/proc/meminfo: memFree=30026196/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=467960 CPUtime=102.28 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 20488 0 0 0 10219 9 0 0 20 0 1 0 30824041 479191040 101211 33554432000 4194304 6211289 140734034829168 140734034827080 4216766 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 116990 101211 219 493 0 116487 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 467960

[startup+162.3 s]
/proc/loadavg: 1.34 1.84 2.04 2/170 15942
/proc/meminfo: memFree=30003288/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=472064 CPUtime=162.26 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 21546 0 0 0 16216 10 0 0 20 0 1 0 30824041 483393536 106868 33554432000 4194304 6211289 140734034829168 140734034827080 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 118016 106868 219 493 0 117513 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 472064

[startup+222.307 s]
/proc/loadavg: 1.39 1.76 2.00 2/170 15943
/proc/meminfo: memFree=29862544/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=629008 CPUtime=222.27 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 28412 0 0 0 22214 13 0 0 20 0 1 0 30824041 644104192 142001 33554432000 4194304 6211289 140734034829168 140734034827160 4209392 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 157252 142001 219 493 0 156749 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 629008

[startup+282.3 s]
/proc/loadavg: 1.38 1.68 1.95 2/170 15944
/proc/meminfo: memFree=29859800/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=631512 CPUtime=282.25 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 29022 0 0 0 28212 13 0 0 20 0 1 0 30824041 646668288 142611 33554432000 4194304 6211289 140734034829168 140734034827160 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 157878 142611 219 493 0 157375 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 631512

[startup+342.3 s]
/proc/loadavg: 1.32 1.61 1.91 3/170 15945
/proc/meminfo: memFree=29843648/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=716412 CPUtime=342.24 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 29960 0 0 0 34210 14 0 0 20 0 1 0 30824041 733605888 146598 33554432000 4194304 6211289 140734034829168 140734034827080 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 179103 146598 219 493 0 178600 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 716412

[startup+402.3 s]
/proc/loadavg: 1.21 1.53 1.86 2/170 15946
/proc/meminfo: memFree=29824580/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=720244 CPUtime=402.23 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 31229 0 0 0 40208 15 0 0 20 0 1 0 30824041 737529856 151342 33554432000 4194304 6211289 140734034829168 140734034827080 4209304 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 180061 151342 219 493 0 179558 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 720244

[startup+462.3 s]
/proc/loadavg: 1.23 1.47 1.82 2/170 15948
/proc/meminfo: memFree=29818852/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=721920 CPUtime=462.22 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 31648 0 0 0 46207 15 0 0 20 0 1 0 30824041 739246080 152783 33554432000 4194304 6211289 140734034829168 140734034827160 4209304 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 180480 152783 219 493 0 179977 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 721920

[startup+522.3 s]
/proc/loadavg: 1.29 1.45 1.79 2/170 15949
/proc/meminfo: memFree=29790852/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=727516 CPUtime=522.21 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 32962 0 0 0 52205 16 0 0 20 0 1 0 30824041 744976384 159713 33554432000 4194304 6211289 140734034829168 140734034827512 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 181879 159713 219 493 0 181376 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 727516

[startup+582.3 s]
/proc/loadavg: 1.29 1.41 1.75 3/170 15950
/proc/meminfo: memFree=29790092/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=727924 CPUtime=582.2 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 33088 0 0 0 58204 16 0 0 20 0 1 0 30824041 745394176 159839 33554432000 4194304 6211289 140734034829168 140734034827160 4241730 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 181981 159839 219 493 0 181478 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 727924


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


[startup+942.3 s]
/proc/loadavg: 1.12 1.21 1.54 2/170 15960
/proc/meminfo: memFree=29733104/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=741368 CPUtime=942.12 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 36266 0 0 0 94194 18 0 0 20 0 1 0 30824041 759160832 173982 33554432000 4194304 6211289 140734034829168 140734034827160 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 185342 173982 219 493 0 184839 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 741368

[startup+1002.3 s]
/proc/loadavg: 1.08 1.18 1.51 2/170 15961
/proc/meminfo: memFree=29731052/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=742232 CPUtime=1002.11 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 36498 0 0 0 100193 18 0 0 20 0 1 0 30824041 760045568 174548 33554432000 4194304 6211289 140734034829168 140734034827160 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 185558 174548 219 493 0 185055 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 742232

[startup+1062.3 s]
/proc/loadavg: 1.13 1.18 1.49 2/170 15963
/proc/meminfo: memFree=29728668/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=742796 CPUtime=1062.1 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 36666 0 0 0 106192 18 0 0 20 0 1 0 30824041 760623104 175061 33554432000 4194304 6211289 140734034829168 140734034827080 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 185699 175061 219 493 0 185196 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 742796

[startup+1122.3 s]
/proc/loadavg: 1.17 1.18 1.47 2/170 15964
/proc/meminfo: memFree=29707068/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=880500 CPUtime=1122.1 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 38067 0 0 0 112191 19 0 0 20 0 1 0 30824041 901632000 180499 33554432000 4194304 6211289 140734034829168 140734034827032 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 220125 180499 219 493 0 219622 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 880500

[startup+1182.3 s]
/proc/loadavg: 1.25 1.20 1.45 2/170 15965
/proc/meminfo: memFree=29698612/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=880820 CPUtime=1182.09 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 38143 0 0 0 118190 19 0 0 20 0 1 0 30824041 901959680 182619 33554432000 4194304 6211289 140734034829168 140734034827512 4209314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 220205 182619 219 493 0 219702 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 880820

[startup+1242.3 s]
/proc/loadavg: 1.25 1.21 1.44 2/171 15969
/proc/meminfo: memFree=29693564/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=881268 CPUtime=1242.08 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 38552 0 0 0 124189 19 0 0 20 0 1 0 30824041 902418432 183760 33554432000 4194304 6211289 140734034829168 140734034827032 4209306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 220317 183760 219 493 0 219814 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 881268

[startup+1302.3 s]
/proc/loadavg: 1.23 1.22 1.43 2/170 15970
/proc/meminfo: memFree=29693492/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=881412 CPUtime=1302.07 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 38564 0 0 0 130188 19 0 0 20 0 1 0 30824041 902565888 183772 33554432000 4194304 6211289 140734034829168 140734034827160 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 220353 183772 219 493 0 219850 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 881412

[startup+1362.3 s]
/proc/loadavg: 1.22 1.22 1.41 2/170 15972
/proc/meminfo: memFree=29692984/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=881556 CPUtime=1362.06 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 38623 0 0 0 136187 19 0 0 20 0 1 0 30824041 902713344 183831 33554432000 4194304 6211289 140734034829168 140734034827160 4209244 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 220389 183831 219 493 0 219886 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 881556

[startup+1422.3 s]
/proc/loadavg: 1.18 1.21 1.39 2/170 15973
/proc/meminfo: memFree=29691612/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=882580 CPUtime=1422.05 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 38981 0 0 0 142186 19 0 0 20 0 1 0 30824041 903761920 184184 33554432000 4194304 6211289 140734034829168 140734034827160 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 220645 184184 219 493 0 220142 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 882580

[startup+1482.3 s]
/proc/loadavg: 1.20 1.21 1.38 2/170 15974
/proc/meminfo: memFree=29690356/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=883892 CPUtime=1482.04 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 39288 0 0 0 148184 20 0 0 20 0 1 0 30824041 905105408 184491 33554432000 4194304 6211289 140734034829168 140734034827080 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 220973 184491 219 493 0 220470 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 883892

[startup+1542.31 s]
/proc/loadavg: 1.23 1.21 1.37 2/170 15975
/proc/meminfo: memFree=29672968/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=884756 CPUtime=1542.04 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 39530 0 0 0 154184 20 0 0 20 0 1 0 30824041 905990144 188821 33554432000 4194304 6211289 140734034829168 140734034827080 4209403 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 221189 188821 219 493 0 220686 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 884756

[startup+1602.3 s]
/proc/loadavg: 1.18 1.20 1.35 2/170 15976
/proc/meminfo: memFree=29663400/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=886488 CPUtime=1602.02 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 39929 0 0 0 160182 20 0 0 20 0 1 0 30824041 907763712 191264 33554432000 4194304 6211289 140734034829168 140734034827512 4241570 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 221622 191264 219 493 0 221119 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 886488

[startup+1662.3 s]
/proc/loadavg: 1.18 1.19 1.34 2/170 15978
/proc/meminfo: memFree=29651408/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=888248 CPUtime=1662.02 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 40317 0 0 0 166181 21 0 0 20 0 1 0 30824041 909565952 194192 33554432000 4194304 6211289 140734034829168 140734034827080 4209328 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 222062 194192 219 493 0 221559 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 888248

[startup+1722.3 s]
/proc/loadavg: 1.16 1.19 1.33 2/170 15979
/proc/meminfo: memFree=29651520/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=888248 CPUtime=1722.01 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 40317 0 0 0 172180 21 0 0 20 0 1 0 30824041 909565952 194192 33554432000 4194304 6211289 140734034829168 140734034827512 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 222062 194192 219 493 0 221559 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 888248

[startup+1782.3 s]
/proc/loadavg: 1.23 1.20 1.32 2/170 15980
/proc/meminfo: memFree=29651136/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=888248 CPUtime=1782 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 40417 0 0 0 178179 21 0 0 20 0 1 0 30824041 909565952 194289 33554432000 4194304 6211289 140734034829168 140734034827512 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 222062 194289 219 493 0 221559 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 888248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.18 1.18 1.31 2/170 15980
/proc/meminfo: memFree=29651012/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=888248 CPUtime=1800 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 40429 0 0 0 179979 21 0 0 20 0 1 0 30824041 909565952 194301 33554432000 4194304 6211289 140734034829168 140734034827512 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 222062 194301 219 493 0 221559 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 888248

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

[startup+1800.3 s]
/proc/loadavg: 1.18 1.18 1.31 2/170 15980
/proc/meminfo: memFree=29651012/32872528 swapFree=1286400/1433568
[pid=15904] ppid=15901 vsize=888248 CPUtime=1800 cores=1,3,5,7
/proc/15904/stat : 15904 (cdcl-cuttingpla) R 15901 15904 3621 0 -1 4202496 40429 0 0 0 179979 21 0 0 20 0 1 0 30824041 909565952 194301 33554432000 4194304 6211289 140734034829168 140734034827512 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/15904/statm: 222062 194301 219 493 0 221559 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 888248

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.79
CPU system time (s): 0.213967
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 888248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.213967
maximum resident set size= 777204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40429
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= 46
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.09938 second user time and 7.36588 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-19 00:09:33
IDJOB=4109134
IDBENCH=89872
IDSOLVER=2549
FILE ID=node130/4109134-1466287773
RUNJOBID= node130-1466284166-15430
PBS_JOBID= 19918227
Free space on /tmp= 71736 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-547911.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109134-1466287773/watcher-4109134-1466287773 -o /tmp/evaluation-result-4109134-1466287773/solver-4109134-1466287773 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466284166-15430 --watchdog 1960 --input HOME/instance-4109134-1466287773.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= b99304baf8f7edc2dec7db9e7f912244
RANDOM SEED=783819378

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
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.53
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.365
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.365
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:        29787424 kB
Buffers:           68088 kB
Cached:           209636 kB
SwapCached:         1872 kB
Active:           707336 kB
Inactive:         204632 kB
Active(anon):     634792 kB
Inactive(anon):     2212 kB
Active(file):      72544 kB
Inactive(file):   202420 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67098744 kB
Dirty:              7408 kB
Writeback:             0 kB
AnonPages:       2067296 kB
Mapped:             7964 kB
Shmem:                 0 kB
Slab:             603476 kB
SReclaimable:      46944 kB
SUnreclaim:       556532 kB
KernelStack:        1488 kB
PageTables:         7944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2237392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    765952 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= 71740 MiB
End job on node130 at 2016-06-19 00:39:33