Trace number 4118805

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

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay30h.lin.opb
MD5SUM220afe097734e84aa95a93161cea83a3
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark50985
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8640
Total number of constraints24529
Number of constraints which are clauses16324
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8204
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 8640
Biggest coefficient in the objective function 65126
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 550298
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 65126
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 550298
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.04	c * #variable= 8640 #constraint= 24529
0.08/0.11	c * #variable= 8640 #constraint= 24529
25.19/25.23	c S1->S2
25.19/25.23	c S2->S1
25.19/25.23	c #Conflicts:       1000 | #Learnt:       1000 | 0.000
25.19/25.23	c total clause space: 206.656MB
25.19/25.23	c total #watches: 401956
67.08/67.17	c total #propagations: 288410 / total #impl: 4595801 (eff. 0.063)
67.08/67.17	c #Conflicts:       2000 | #Learnt:       2000 | 0.000
67.08/67.17	c total clause space: 335.816MB
67.08/67.17	c total #watches: 548325
107.88/107.98	c total #propagations: 542476 / total #impl: 8120973 (eff. 0.067)
107.88/107.98	c GC COLLECT
107.88/107.98	c #Conflicts:       3000 | #Learnt:       2004 | 0.000
107.88/107.98	c total clause space: 335.816MB
107.88/107.98	c total #watches: 583232
172.46/172.58	c total #propagations: 754019 / total #impl: 13956739 (eff. 0.054)
172.46/172.58	c #Conflicts:       4000 | #Learnt:       3004 | 0.000
172.46/172.58	c total clause space: 545.701MB
172.46/172.58	c total #watches: 794853
237.95/238.09	c total #propagations: 989146 / total #impl: 19639366 (eff. 0.050)
237.95/238.09	c GC COLLECT
237.95/238.09	c #Conflicts:       5000 | #Learnt:       2361 | 0.000
237.95/238.09	c total clause space: 545.701MB
237.95/238.09	c total #watches: 750788
313.62/313.77	c total #propagations: 1215234 / total #impl: 24854285 (eff. 0.049)
313.62/313.77	c #Conflicts:       6000 | #Learnt:       3361 | 0.000
313.62/313.77	c total clause space: 545.701MB
313.62/313.77	c total #watches: 876362
375.82/375.93	c total #propagations: 1440603 / total #impl: 32915966 (eff. 0.044)
375.82/375.93	c GC COLLECT
375.82/375.93	c #Conflicts:       7000 | #Learnt:       2243 | 0.000
375.82/375.93	c total clause space: 545.701MB
375.82/375.93	c total #watches: 532720
412.81/412.96	c total #propagations: 1632487 / total #impl: 36497695 (eff. 0.045)
412.81/412.96	c #Conflicts:       8000 | #Learnt:       3243 | 0.000
412.81/412.96	c total clause space: 545.701MB
412.81/412.96	c total #watches: 631459
476.50/476.63	c total #propagations: 1813314 / total #impl: 39663541 (eff. 0.046)
476.50/476.63	c #Conflicts:       9000 | #Learnt:       4243 | 0.000
476.50/476.63	c total clause space: 545.701MB
476.50/476.63	c total #watches: 800258
543.59/543.76	c total #propagations: 2048070 / total #impl: 43611913 (eff. 0.047)
543.59/543.76	c GC COLLECT
543.59/543.76	c #Conflicts:      10000 | #Learnt:       2724 | 0.000
543.59/543.76	c total clause space: 886.764MB
543.59/543.76	c total #watches: 614696
593.08/593.25	c total #propagations: 2287436 / total #impl: 48370913 (eff. 0.047)
593.08/593.25	c #Conflicts:      11000 | #Learnt:       3724 | 0.000
593.08/593.25	c total clause space: 886.764MB
593.08/593.25	c total #watches: 775182
673.87/674.06	c total #propagations: 2480970 / total #impl: 53071529 (eff. 0.047)
673.87/674.06	c #Conflicts:      12000 | #Learnt:       4724 | 0.000
673.87/674.06	c total clause space: 886.764MB
673.87/674.06	c total #watches: 866310
758.16/758.37	c total #propagations: 2720155 / total #impl: 59410039 (eff. 0.046)
758.16/758.37	c #Conflicts:      13000 | #Learnt:       5724 | 0.000
758.16/758.37	c total clause space: 886.764MB
758.16/758.37	c total #watches: 1000861
810.75/810.99	c total #propagations: 2952121 / total #impl: 63951110 (eff. 0.046)
810.75/810.99	c GC COLLECT
810.75/810.99	c #Conflicts:      14000 | #Learnt:       3865 | 0.000
810.75/810.99	c total clause space: 886.764MB
810.75/810.99	c total #watches: 678216
873.44/873.62	c total #propagations: 3165683 / total #impl: 68621257 (eff. 0.046)
873.44/873.62	c #Conflicts:      15000 | #Learnt:       4865 | 0.000
873.44/873.62	c total clause space: 886.764MB
873.44/873.62	c total #watches: 773777
939.03/939.23	c total #propagations: 3369672 / total #impl: 71834842 (eff. 0.047)
939.03/939.23	c #Conflicts:      16000 | #Learnt:       5865 | 0.000
939.03/939.23	c total clause space: 886.764MB
939.03/939.23	c total #watches: 879363
1000.52/1000.77	c total #propagations: 3571920 / total #impl: 76856333 (eff. 0.046)
1000.52/1000.77	c GC COLLECT
1000.52/1000.77	c #Conflicts:      17000 | #Learnt:       3688 | 0.000
1000.52/1000.77	c total clause space: 886.764MB
1000.52/1000.77	c total #watches: 615606
1063.11/1063.37	c total #propagations: 3762351 / total #impl: 82321787 (eff. 0.046)
1063.11/1063.37	c #Conflicts:      18000 | #Learnt:       4688 | 0.000
1063.11/1063.37	c total clause space: 886.764MB
1063.11/1063.37	c total #watches: 707430
1147.69/1147.90	c total #propagations: 3958415 / total #impl: 87174413 (eff. 0.045)
1147.69/1147.90	c #Conflicts:      19000 | #Learnt:       5688 | 0.000
1147.69/1147.90	c total clause space: 886.764MB
1147.69/1147.90	c total #watches: 838520
1255.17/1255.41	c total #propagations: 4158973 / total #impl: 91073267 (eff. 0.046)
1255.17/1255.41	c #Conflicts:      20000 | #Learnt:       6688 | 0.000
1255.17/1255.41	c total clause space: 886.764MB
1255.17/1255.41	c total #watches: 942766
1327.36/1327.60	c total #propagations: 4389656 / total #impl: 95310873 (eff. 0.046)
1327.36/1327.60	c GC COLLECT
1327.36/1327.60	c #Conflicts:      21000 | #Learnt:       4196 | 0.000
1327.36/1327.60	c total clause space: 886.764MB
1327.36/1327.60	c total #watches: 640065
1377.65/1377.92	c total #propagations: 4602978 / total #impl: 99446668 (eff. 0.046)
1377.65/1377.92	c #Conflicts:      22000 | #Learnt:       5196 | 0.000
1377.65/1377.92	c total clause space: 886.764MB
1377.65/1377.92	c total #watches: 713986
1433.23/1433.54	c total #propagations: 4837052 / total #impl: 104709633 (eff. 0.046)
1433.23/1433.54	c #Conflicts:      23000 | #Learnt:       6196 | 0.000
1433.23/1433.54	c total clause space: 886.764MB
1433.23/1433.54	c total #watches: 814437
1495.92/1496.24	c total #propagations: 5071070 / total #impl: 108868912 (eff. 0.047)
1495.92/1496.24	c #Conflicts:      24000 | #Learnt:       7196 | 0.000
1495.92/1496.24	c total clause space: 886.764MB
1495.92/1496.24	c total #watches: 937445
1549.63/1549.99	c total #propagations: 5284285 / total #impl: 113269616 (eff. 0.047)
1549.63/1549.99	c GC COLLECT
1549.63/1549.99	c #Conflicts:      25000 | #Learnt:       4402 | 0.000
1549.63/1549.99	c total clause space: 886.764MB
1549.63/1549.99	c total #watches: 604801
1589.22/1589.55	c total #propagations: 5537166 / total #impl: 121699176 (eff. 0.045)
1589.22/1589.55	c #Conflicts:      26000 | #Learnt:       5402 | 0.000
1589.22/1589.55	c total clause space: 886.764MB
1589.22/1589.55	c total #watches: 679282
1634.60/1634.98	c total #propagations: 5764054 / total #impl: 127366918 (eff. 0.045)
1634.60/1634.98	c #Conflicts:      27000 | #Learnt:       6402 | 0.000
1634.60/1634.98	c total clause space: 886.764MB
1634.60/1634.98	c total #watches: 727475
1673.60/1673.97	c total #propagations: 5974713 / total #impl: 135538567 (eff. 0.044)
1673.60/1673.97	c #Conflicts:      28000 | #Learnt:       7402 | 0.000
1673.60/1673.97	c total clause space: 886.764MB
1673.60/1673.97	c total #watches: 793423
1711.10/1711.43	c total #propagations: 6228055 / total #impl: 141197954 (eff. 0.044)
1711.10/1711.43	c GC COLLECT
1711.10/1711.43	c #Conflicts:      29000 | #Learnt:       4309 | 0.000
1711.10/1711.43	c total clause space: 886.764MB
1711.10/1711.43	c total #watches: 396174
1735.89/1736.24	c total #propagations: 6558927 / total #impl: 145791536 (eff. 0.045)
1735.89/1736.24	c #Conflicts:      30000 | #Learnt:       5309 | 0.000
1735.89/1736.24	c total clause space: 886.764MB
1735.89/1736.24	c total #watches: 452063
1764.29/1764.65	c total #propagations: 6823705 / total #impl: 149951742 (eff. 0.046)
1764.29/1764.65	c #Conflicts:      31000 | #Learnt:       6309 | 0.000
1764.29/1764.65	c total clause space: 886.764MB
1764.29/1764.65	c total #watches: 491269
1789.08/1789.45	c total #propagations: 7086566 / total #impl: 155014391 (eff. 0.046)
1789.08/1789.45	c #Conflicts:      32000 | #Learnt:       7309 | 0.000
1789.08/1789.45	c total clause space: 886.764MB
1789.08/1789.45	c total #watches: 594457

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-4118805-1467227390/watcher-4118805-1467227390 -o /tmp/evaluation-result-4118805-1467227390/solver-4118805-1467227390 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467209106-3964 --watchdog 1960 --input HOME/instance-4118805-1467227390.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=5837
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.15 2.04 2.01 3/240 5840
/proc/meminfo: memFree=29299832/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 258 0 0 0 0 0 0 0 20 0 1 0 3845552 57319424 7805 33554432000 4194304 6211289 140735105675424 140733882913912 4206551 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 13994 7805 98 493 0 13491 0

[startup+0.100173 s]
/proc/loadavg: 2.15 2.04 2.01 3/240 5840
/proc/meminfo: memFree=29299832/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=63524 CPUtime=0.08 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 1642 0 0 0 8 0 0 0 20 0 1 0 3845552 65048576 13515 33554432000 4194304 6211289 140735105675424 140733882913912 4228081 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 15881 13517 144 493 0 15378 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 63524

[startup+0.20038 s]
/proc/loadavg: 2.15 2.04 2.01 3/240 5840
/proc/meminfo: memFree=29299832/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=72028 CPUtime=0.19 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 3074 0 0 0 18 1 0 0 20 0 1 0 3845552 73756672 15759 33554432000 4194304 6211289 140735105675424 140735105672888 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 18007 15759 203 493 0 17504 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 72028

[startup+0.300328 s]
/proc/loadavg: 2.15 2.04 2.01 3/240 5840
/proc/meminfo: memFree=29299832/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=72276 CPUtime=0.29 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 3301 0 0 0 28 1 0 0 20 0 1 0 3845552 74010624 15970 33554432000 4194304 6211289 140735105675424 140735105672888 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 18069 15970 204 493 0 17566 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72276

[startup+0.700223 s]
/proc/loadavg: 2.15 2.04 2.01 3/240 5840
/proc/meminfo: memFree=29299832/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=95552 CPUtime=0.69 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 3648 0 0 0 68 1 0 0 20 0 1 0 3845552 97845248 18334 33554432000 4194304 6211289 140735105675424 140735105672888 4209403 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 23888 18334 204 493 0 23385 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 95552

[startup+1.50029 s]
/proc/loadavg: 2.15 2.04 2.01 3/241 5841
/proc/meminfo: memFree=29220948/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=114960 CPUtime=1.49 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 3814 0 0 0 148 1 0 0 20 0 1 0 3845552 117719040 21561 33554432000 4194304 6211289 140735105675424 140735105673336 4209464 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 28740 21561 204 493 0 28237 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 114960

[startup+3.10023 s]
/proc/loadavg: 2.14 2.04 2.01 3/241 5841
/proc/meminfo: memFree=29209716/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=146476 CPUtime=3.09 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 4142 0 0 0 307 2 0 0 20 0 1 0 3845552 149991424 26474 33554432000 4194304 6211289 140735105675424 140735105673416 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 36619 26474 204 493 0 36116 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 146476

[startup+6.30023 s]
/proc/loadavg: 2.14 2.04 2.01 3/241 5841
/proc/meminfo: memFree=29181368/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=147340 CPUtime=6.29 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 4396 0 0 0 627 2 0 0 20 0 1 0 3845552 150876160 31327 33554432000 4194304 6211289 140735105675424 140735105673336 4209304 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 36835 31327 204 493 0 36332 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 147340

[startup+12.7002 s]
/proc/loadavg: 2.13 2.04 2.01 3/242 5844
/proc/meminfo: memFree=29156592/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=198580 CPUtime=12.69 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 4793 0 0 0 1266 3 0 0 20 0 1 0 3845552 203345920 36313 33554432000 4194304 6211289 140735105675424 140735105673336 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 49645 36313 204 493 0 49142 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 198580

[startup+25.5003 s]
/proc/loadavg: 2.17 2.06 2.01 3/241 5844
/proc/meminfo: memFree=29101044/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=282176 CPUtime=25.49 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 5490 0 0 0 2545 4 0 0 20 0 1 0 3845552 288948224 50282 33554432000 4194304 6211289 140735105675424 140735105673336 4209314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 70544 50282 214 493 0 70041 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 282176

[startup+51.1003 s]
/proc/loadavg: 2.11 2.05 2.01 3/242 5845
/proc/meminfo: memFree=29007432/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=417748 CPUtime=51.08 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 6522 0 0 0 5101 7 0 0 20 0 1 0 3845552 427773952 70207 33554432000 4194304 6211289 140735105675424 140735105673288 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 104437 70207 214 493 0 103934 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 417748

[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/241 5846
/proc/meminfo: memFree=28880320/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=419580 CPUtime=102.28 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 9922 0 0 0 10220 8 0 0 20 0 1 0 3845552 429649920 85835 33554432000 4194304 6211289 140735105675424 140735105673336 4209392 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 104895 85835 219 493 0 104392 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 419580

[startup+162.3 s]
/proc/loadavg: 2.20 2.08 2.02 3/241 5847
/proc/meminfo: memFree=28777872/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=637976 CPUtime=162.26 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 11004 0 0 0 16217 9 0 0 20 0 1 0 3845552 653287424 108362 33554432000 4194304 6211289 140735105675424 140735105673416 4209314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 159494 108362 219 493 0 158991 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 637976

[startup+222.307 s]
/proc/loadavg: 2.15 2.09 2.02 3/241 5848
/proc/meminfo: memFree=28690676/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=642872 CPUtime=222.26 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 12698 0 0 0 22215 11 0 0 20 0 1 0 3845552 658300928 124574 33554432000 4194304 6211289 140735105675424 140735105673336 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 160718 124574 219 493 0 160215 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 642872

[startup+282.3 s]
/proc/loadavg: 2.17 2.10 2.03 3/241 5849
/proc/meminfo: memFree=28679916/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=644196 CPUtime=282.24 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 13143 0 0 0 28213 11 0 0 20 0 1 0 3845552 659656704 125006 33554432000 4194304 6211289 140735105675424 140735105673336 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 161049 125006 219 493 0 160546 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 644196

[startup+342.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/241 5851
/proc/meminfo: memFree=28645960/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=644628 CPUtime=342.22 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 13317 0 0 0 34210 12 0 0 20 0 1 0 3845552 660099072 132314 33554432000 4194304 6211289 140735105675424 140735105673768 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 161157 132314 219 493 0 160654 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 644628

[startup+402.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/241 5852
/proc/meminfo: memFree=28530848/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=645316 CPUtime=402.22 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 13709 0 0 0 40209 13 0 0 20 0 1 0 3845552 660803584 145992 33554432000 4194304 6211289 140735105675424 140735105673768 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 161329 145992 219 493 0 160826 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 645316

[startup+462.3 s]
/proc/loadavg: 2.07 2.08 2.02 3/241 5853
/proc/meminfo: memFree=28529984/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=646116 CPUtime=462.21 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 13912 0 0 0 46208 13 0 0 20 0 1 0 3845552 661622784 146195 33554432000 4194304 6211289 140735105675424 140735105673336 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 161529 146195 219 493 0 161026 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 646116

[startup+522.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/241 5854
/proc/meminfo: memFree=28479836/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=647248 CPUtime=522.19 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 14259 0 0 0 52206 13 0 0 20 0 1 0 3845552 662781952 159317 33554432000 4194304 6211289 140735105675424 140735105673416 4209304 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 161812 159317 219 493 0 161309 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 647248

[startup+582.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/241 5855
/proc/meminfo: memFree=28463156/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=996976 CPUtime=582.18 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 15138 0 0 0 58201 17 0 0 20 0 1 0 3845552 1020903424 162750 33554432000 4194304 6211289 140735105675424 140735105673336 4209314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 249244 162750 219 493 0 248741 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 996976


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


[startup+882.307 s]
/proc/loadavg: 2.16 2.11 2.03 3/241 5864
/proc/meminfo: memFree=28360000/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=1001180 CPUtime=882.15 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 16460 0 0 0 88196 19 0 0 20 0 1 0 3845552 1025208320 180918 33554432000 4194304 6211289 140735105675424 140735105673768 4209306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 250295 180918 219 493 0 249792 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 1001180

[startup+942.3 s]
/proc/loadavg: 2.06 2.09 2.03 3/240 5865
/proc/meminfo: memFree=28341460/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=1001348 CPUtime=942.13 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 16555 0 0 0 94194 19 0 0 20 0 1 0 3845552 1025380352 185101 33554432000 4194304 6211289 140735105675424 140735105673768 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 250337 185101 219 493 0 249834 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 1001348

[startup+1002.3 s]
/proc/loadavg: 2.02 2.07 2.02 3/241 5867
/proc/meminfo: memFree=28286964/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=1002128 CPUtime=1002.12 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 16850 0 0 0 100192 20 0 0 20 0 1 0 3845552 1026179072 198171 33554432000 4194304 6211289 140735105675424 140735105673768 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 250532 198171 219 493 0 250029 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 1002128

[startup+1062.3 s]
/proc/loadavg: 2.13 2.10 2.03 3/241 5868
/proc/meminfo: memFree=28272380/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=1002276 CPUtime=1062.11 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 16862 0 0 0 106191 20 0 0 20 0 1 0 3845552 1026330624 198183 33554432000 4194304 6211289 140735105675424 140735105673336 4209328 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 250569 198183 219 493 0 250066 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 1002276

[startup+1122.3 s]
/proc/loadavg: 2.16 2.11 2.04 3/241 5869
/proc/meminfo: memFree=28267688/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=1002276 CPUtime=1122.1 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 16984 0 0 0 112190 20 0 0 20 0 1 0 3845552 1026330624 198296 33554432000 4194304 6211289 140735105675424 140735105673768 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 250569 198296 219 493 0 250066 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1002276

[startup+1182.3 s]
/proc/loadavg: 2.06 2.09 2.03 3/241 5870
/proc/meminfo: memFree=28254884/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=1004160 CPUtime=1182.08 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 17476 0 0 0 118188 20 0 0 20 0 1 0 3845552 1028259840 198775 33554432000 4194304 6211289 140735105675424 140735105673416 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 251040 198775 219 493 0 250537 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 1004160

[startup+1242.3 s]
/proc/loadavg: 2.09 2.08 2.03 3/242 5874
/proc/meminfo: memFree=28236596/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=1005892 CPUtime=1242.08 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 17929 0 0 0 124187 21 0 0 20 0 1 0 3845552 1030033408 203306 33554432000 4194304 6211289 140735105675424 140735105673416 4209392 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 251473 203306 219 493 0 250970 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1005892

[startup+1302.3 s]
/proc/loadavg: 2.13 2.10 2.03 3/241 5876
/proc/meminfo: memFree=28186356/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=1007056 CPUtime=1302.06 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 18211 0 0 0 130185 21 0 0 20 0 1 0 3845552 1031225344 215846 33554432000 4194304 6211289 140735105675424 140735105673416 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 251764 215846 219 493 0 251261 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1007056

[startup+1362.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/241 5877
/proc/meminfo: memFree=28186256/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=1007056 CPUtime=1362.05 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 18228 0 0 0 136184 21 0 0 20 0 1 0 3845552 1031225344 215854 33554432000 4194304 6211289 140735105675424 140735105673768 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 251764 215854 219 493 0 251261 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1007056

[startup+1422.3 s]
/proc/loadavg: 2.13 2.09 2.03 3/241 5878
/proc/meminfo: memFree=28185060/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=1007280 CPUtime=1422.04 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 18338 0 0 0 142183 21 0 0 20 0 1 0 3845552 1031454720 215956 33554432000 4194304 6211289 140735105675424 140735105673336 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 251820 215956 219 493 0 251317 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1007280

[startup+1482.3 s]
/proc/loadavg: 2.05 2.07 2.03 3/241 5879
/proc/meminfo: memFree=28184860/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=1007412 CPUtime=1482.03 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 18405 0 0 0 148182 21 0 0 20 0 1 0 3845552 1031589888 216019 33554432000 4194304 6211289 140735105675424 140735105673416 4209392 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 251853 216019 219 493 0 251350 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1007412

[startup+1542.31 s]
/proc/loadavg: 2.05 2.07 2.03 3/241 5926
/proc/meminfo: memFree=28623916/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=1008068 CPUtime=1542.03 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 18595 0 0 0 154181 22 0 0 20 0 1 0 3845552 1032261632 226429 33554432000 4194304 6211289 140735105675424 140735105673336 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 252017 226429 219 493 0 251514 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1008068

[startup+1602.3 s]
/proc/loadavg: 2.14 2.09 2.03 3/241 5928
/proc/meminfo: memFree=28590300/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=1008068 CPUtime=1602.01 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 18676 0 0 0 160179 22 0 0 20 0 1 0 3845552 1032261632 226510 33554432000 4194304 6211289 140735105675424 140735105673768 4209304 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 252017 226510 219 493 0 251514 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1008068

[startup+1662.3 s]
/proc/loadavg: 2.10 2.08 2.03 3/241 5929
/proc/meminfo: memFree=28579080/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=1008068 CPUtime=1662 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 18689 0 0 0 166178 22 0 0 20 0 1 0 3845552 1032261632 226523 33554432000 4194304 6211289 140735105675424 140735105673768 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 252017 226523 219 493 0 251514 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1008068

[startup+1722.3 s]
/proc/loadavg: 2.16 2.10 2.04 3/241 5930
/proc/meminfo: memFree=28536076/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=1008068 CPUtime=1721.99 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 18708 0 0 0 172176 23 0 0 20 0 1 0 3845552 1032261632 235740 33554432000 4194304 6211289 140735105675424 140735105673768 4209392 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 252017 235740 219 493 0 251514 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1008068

[startup+1782.3 s]
/proc/loadavg: 2.11 2.09 2.04 3/241 5931
/proc/meminfo: memFree=28527140/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=1008204 CPUtime=1781.99 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 18747 0 0 0 178176 23 0 0 20 0 1 0 3845552 1032400896 235779 33554432000 4194304 6211289 140735105675424 140735105673768 4209392 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 252051 235779 219 493 0 251548 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1008204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.14 2.10 2.04 3/241 5931
/proc/meminfo: memFree=28521564/32872528 swapFree=189444/189444
[pid=5840] ppid=5837 vsize=1008204 CPUtime=1800.08 cores=1,3,5,7
/proc/5840/stat : 5840 (cdcl-cuttingpla) R 5837 5840 3947 0 -1 4202496 18747 0 0 0 179985 23 0 0 20 0 1 0 3845552 1032400896 235779 33554432000 4194304 6211289 140735105675424 140735105673768 4209346 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5840/statm: 252051 235779 219 493 0 251548 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1008204

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 5840 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.09
CPU user time (s): 1799.86
CPU system time (s): 0.235964
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 1008204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.235964
maximum resident set size= 943116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18747
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= 102
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.24036 second user time and 7.28789 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-29 21:09:50
IDJOB=4118805
IDBENCH=111534
IDSOLVER=2549
FILE ID=node102/4118805-1467227390
RUNJOBID= node102-1467209106-3964
PBS_JOBID= 19997591
Free space on /tmp= 71704 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay30h.lin.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118805-1467227390/watcher-4118805-1467227390 -o /tmp/evaluation-result-4118805-1467227390/solver-4118805-1467227390 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467209106-3964 --watchdog 1960 --input HOME/instance-4118805-1467227390.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 220afe097734e84aa95a93161cea83a3
RANDOM SEED=2028065216

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
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:        29300740 kB
Buffers:          100220 kB
Cached:          2208192 kB
SwapCached:            0 kB
Active:           655240 kB
Inactive:        1987392 kB
Active(anon):     336784 kB
Inactive(anon):        0 kB
Active(file):     318456 kB
Inactive(file):  1987392 kB
Unevictable:      189444 kB
Mlocked:          189444 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3116 kB
Writeback:             0 kB
AnonPages:        534108 kB
Mapped:            15364 kB
Shmem:               204 kB
Slab:             608136 kB
SReclaimable:      52200 kB
SUnreclaim:       555936 kB
KernelStack:        1984 kB
PageTables:         5352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     744388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    292864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node102 at 2016-06-29 21:39:51