Trace number 4087268

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 NameAnswerCPU timeWall clock time
cdcl-cuttingplanes DEC 2016-05-01? (TO) 1800.02 1800.3

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K87.opb
MD5SUM800363f05bcd3a7fdae42567bbf8c0cf
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5916
Total number of constraints6092
Number of constraints which are clauses6005
Number of constraints which are cardinality constraints (but not clauses)87
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint87
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 88
Number of bits of the biggest sum of numbers7
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 * #variable= 5916 #constraint= 6092
0.79/0.80	c #Conflicts:       1000 | #Learnt:        998 | 0.001
0.79/0.80	c total clause space: 11.2235MB
0.79/0.80	c total #watches: 91898
3.09/3.16	c total #propagations: 412687 / total #impl: 4457261 (eff. 0.093)
3.09/3.16	c #Conflicts:       2000 | #Learnt:       1998 | 0.003
3.09/3.16	c total clause space: 18.2382MB
3.09/3.16	c total #watches: 156875
6.09/6.19	c total #propagations: 747664 / total #impl: 15875665 (eff. 0.047)
6.09/6.19	c GARBAGE COLLECT
6.09/6.19	c #Conflicts:       3000 | #Learnt:       2033 | 0.009
6.09/6.19	c total clause space: 18.2382MB
6.09/6.19	c total #watches: 174206
13.29/13.35	c total #propagations: 1047291 / total #impl: 30665918 (eff. 0.034)
13.29/13.35	c #Conflicts:       4000 | #Learnt:       3033 | 0.017
13.29/13.35	c total clause space: 29.637MB
13.29/13.35	c total #watches: 265651
20.89/20.96	c total #propagations: 1361653 / total #impl: 46994927 (eff. 0.029)
20.89/20.96	c GARBAGE COLLECT
20.89/20.96	c #Conflicts:       5000 | #Learnt:       2403 | 0.013
20.89/20.96	c total clause space: 48.1602MB
20.89/20.96	c total #watches: 255224
31.99/32.02	c total #propagations: 1712352 / total #impl: 77252734 (eff. 0.022)
31.99/32.02	c #Conflicts:       6000 | #Learnt:       3403 | 0.011
31.99/32.02	c total clause space: 48.1602MB
31.99/32.02	c total #watches: 353516
44.19/44.27	c total #propagations: 2063609 / total #impl: 105067962 (eff. 0.020)
44.19/44.27	c GARBAGE COLLECT
44.19/44.27	c #Conflicts:       7000 | #Learnt:       2304 | 0.010
44.19/44.27	c total clause space: 48.1602MB
44.19/44.27	c total #watches: 270222
58.08/58.17	c total #propagations: 2376420 / total #impl: 136137678 (eff. 0.017)
58.08/58.17	c #Conflicts:       8000 | #Learnt:       3304 | 0.009
58.08/58.17	c total clause space: 48.1602MB
58.08/58.17	c total #watches: 360955
83.78/83.81	c total #propagations: 2704011 / total #impl: 169220020 (eff. 0.016)
83.78/83.81	c #Conflicts:       9000 | #Learnt:       4304 | 0.008
83.78/83.81	c total clause space: 78.2603MB
83.78/83.81	c total #watches: 454367
109.98/110.10	c total #propagations: 3060330 / total #impl: 207665971 (eff. 0.015)
109.98/110.10	c GARBAGE COLLECT
109.98/110.10	c #Conflicts:      10000 | #Learnt:       2771 | 0.007
109.98/110.10	c total clause space: 78.2603MB
109.98/110.10	c total #watches: 324771
132.67/132.76	c total #propagations: 3405108 / total #impl: 253501555 (eff. 0.013)
132.67/132.76	c #Conflicts:      11000 | #Learnt:       3771 | 0.007
132.67/132.76	c total clause space: 78.2603MB
132.67/132.76	c total #watches: 433166
163.88/163.94	c total #propagations: 3776126 / total #impl: 319203507 (eff. 0.012)
163.88/163.94	c #Conflicts:      12000 | #Learnt:       4771 | 0.007
163.88/163.94	c total clause space: 78.2603MB
163.88/163.94	c total #watches: 556311
203.57/203.63	c total #propagations: 4159957 / total #impl: 407205152 (eff. 0.010)
203.57/203.63	c #Conflicts:      13000 | #Learnt:       5771 | 0.006
203.57/203.63	c total clause space: 78.2603MB
203.57/203.63	c total #watches: 649971
219.66/219.72	c total #propagations: 4555616 / total #impl: 491882374 (eff. 0.009)
219.66/219.72	c GARBAGE COLLECT
219.66/219.72	c #Conflicts:      14000 | #Learnt:       3919 | 0.006
219.66/219.72	c total clause space: 78.2603MB
219.66/219.72	c total #watches: 427383
239.56/239.65	c total #propagations: 4875675 / total #impl: 524282815 (eff. 0.009)
239.56/239.65	c #Conflicts:      15000 | #Learnt:       4919 | 0.006
239.56/239.65	c total clause space: 78.2603MB
239.56/239.65	c total #watches: 510405
263.55/263.64	c total #propagations: 5217539 / total #impl: 560637715 (eff. 0.009)
263.55/263.64	c #Conflicts:      16000 | #Learnt:       5919 | 0.006
263.55/263.64	c total clause space: 78.2603MB
263.55/263.64	c total #watches: 592398
284.75/284.83	c total #propagations: 5557362 / total #impl: 604863293 (eff. 0.009)
284.75/284.83	c GARBAGE COLLECT
284.75/284.83	c #Conflicts:      17000 | #Learnt:       3761 | 0.006
284.75/284.83	c total clause space: 78.2603MB
284.75/284.83	c total #watches: 405105
305.24/305.34	c total #propagations: 5873183 / total #impl: 642477095 (eff. 0.009)
305.24/305.34	c #Conflicts:      18000 | #Learnt:       4761 | 0.006
305.24/305.34	c total clause space: 78.2603MB
305.24/305.34	c total #watches: 507239
333.04/333.16	c total #propagations: 6206630 / total #impl: 684706716 (eff. 0.009)
333.04/333.16	c #Conflicts:      19000 | #Learnt:       5761 | 0.006
333.04/333.16	c total clause space: 78.2603MB
333.04/333.16	c total #watches: 594995
366.54/366.69	c total #propagations: 6526876 / total #impl: 723031385 (eff. 0.009)
366.54/366.69	c #Conflicts:      20000 | #Learnt:       6761 | 0.005
366.54/366.69	c total clause space: 127.173MB
366.54/366.69	c total #watches: 696874
395.83/395.95	c total #propagations: 6846554 / total #impl: 768811060 (eff. 0.009)
395.83/395.95	c GARBAGE COLLECT
395.83/395.95	c #Conflicts:      21000 | #Learnt:       4276 | 0.005
395.83/395.95	c total clause space: 127.173MB
395.83/395.95	c total #watches: 456465
419.33/419.43	c total #propagations: 7200372 / total #impl: 839167875 (eff. 0.009)
419.33/419.43	c #Conflicts:      22000 | #Learnt:       5276 | 0.005
419.33/419.43	c total clause space: 127.173MB
419.33/419.43	c total #watches: 587861
452.62/452.77	c total #propagations: 7515906 / total #impl: 893131919 (eff. 0.008)
452.62/452.77	c #Conflicts:      23000 | #Learnt:       6276 | 0.005
452.62/452.77	c total clause space: 127.173MB
452.62/452.77	c total #watches: 731357
504.82/504.93	c total #propagations: 7826702 / total #impl: 947242966 (eff. 0.008)
504.82/504.93	c #Conflicts:      24000 | #Learnt:       7276 | 0.005
504.82/504.93	c total clause space: 127.173MB
504.82/504.93	c total #watches: 944676
566.80/566.95	c total #propagations: 8168710 / total #impl: 1064632184 (eff. 0.008)
566.80/566.95	c GARBAGE COLLECT
566.80/566.95	c #Conflicts:      25000 | #Learnt:       4460 | 0.005
566.80/566.95	c total clause space: 127.173MB
566.80/566.95	c total #watches: 679713
621.19/621.34	c total #propagations: 8554498 / total #impl: 1142253665 (eff. 0.007)
621.19/621.34	c #Conflicts:      26000 | #Learnt:       5460 | 0.004
621.19/621.34	c total clause space: 127.173MB
621.19/621.34	c total #watches: 901161
678.88/679.00	c total #propagations: 8876986 / total #impl: 1218885746 (eff. 0.007)
678.88/679.00	c #Conflicts:      27000 | #Learnt:       6460 | 0.004
678.88/679.00	c total clause space: 127.173MB
678.88/679.00	c total #watches: 1170361
808.27/808.41	c total #propagations: 9109976 / total #impl: 1350913134 (eff. 0.007)
808.27/808.41	c #Conflicts:      28000 | #Learnt:       7460 | 0.004
808.27/808.41	c total clause space: 206.656MB
808.27/808.41	c total #watches: 1366892
1009.23/1009.41	c total #propagations: 9426022 / total #impl: 1494620218 (eff. 0.006)
1009.23/1009.41	c GARBAGE COLLECT
1009.23/1009.41	c #Conflicts:      29000 | #Learnt:       4362 | 0.004
1009.23/1009.41	c total clause space: 206.656MB
1009.23/1009.41	c total #watches: 720415
1105.02/1105.25	c total #propagations: 9850715 / total #impl: 1611435817 (eff. 0.006)
1105.02/1105.25	c #Conflicts:      30000 | #Learnt:       5362 | 0.004
1105.02/1105.25	c total clause space: 206.656MB
1105.02/1105.25	c total #watches: 905149
1193.31/1193.59	c total #propagations: 10214165 / total #impl: 1720049366 (eff. 0.006)
1193.31/1193.59	c #Conflicts:      31000 | #Learnt:       6362 | 0.004
1193.31/1193.59	c total clause space: 206.656MB
1193.31/1193.59	c total #watches: 1096175
1357.58/1357.82	c total #propagations: 10505422 / total #impl: 1821328373 (eff. 0.006)
1357.58/1357.82	c #Conflicts:      32000 | #Learnt:       7362 | 0.004
1357.58/1357.82	c total clause space: 206.656MB
1357.58/1357.82	c total #watches: 1401337
1566.94/1567.22	c total #propagations: 10872277 / total #impl: 2032099427 (eff. 0.005)
1566.94/1567.22	c #Conflicts:      33000 | #Learnt:       8362 | 0.004
1566.94/1567.22	c total clause space: 206.656MB
1566.94/1567.22	c total #watches: 1563416
1685.64/1685.94	c total #propagations: 11235411 / total #impl: 2296193269 (eff. 0.005)
1685.64/1685.94	c GARBAGE COLLECT
1685.64/1685.94	c #Conflicts:      34000 | #Learnt:       4966 | 0.003
1685.64/1685.94	c total clause space: 206.656MB
1685.64/1685.94	c total #watches: 793160
1778.22/1778.53	c total #propagations: 11566253 / total #impl: 2384045472 (eff. 0.005)
1778.22/1778.53	c #Conflicts:      35000 | #Learnt:       5966 | 0.003
1778.22/1778.53	c total clause space: 206.656MB
1778.22/1778.53	c total #watches: 880914

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-4087268-1465417970/watcher-4087268-1465417970 -o /tmp/evaluation-result-4087268-1465417970/solver-4087268-1465417970 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465387880-29693 --watchdog 1960 --input HOME/instance-4087268-1465417970.opb ./cdcl-cuttingplanes-release 

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

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


[startup+0 s]
/proc/loadavg: 2.35 2.26 2.20 3/176 6785
/proc/meminfo: memFree=29184924/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=29104 CPUtime=0 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 269 0 0 0 0 0 0 0 20 0 1 0 123730141 29802496 5260 33554432000 4194304 6199737 140735435271248 140736822726376 4209408 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 7276 5260 122 490 0 6777 0

[startup+0.100199 s]
/proc/loadavg: 2.35 2.26 2.20 3/176 6785
/proc/meminfo: memFree=29184924/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=34112 CPUtime=0.09 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 806 0 0 0 9 0 0 0 20 0 1 0 123730141 34930688 7185 33554432000 4194304 6199737 140735435271248 140736822726376 4213548 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 8528 7185 139 490 0 8029 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34112

[startup+0.200348 s]
/proc/loadavg: 2.35 2.26 2.20 3/176 6785
/proc/meminfo: memFree=29184924/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=34364 CPUtime=0.19 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 1168 0 0 0 19 0 0 0 20 0 1 0 123730141 35188736 7415 33554432000 4194304 6199737 140735435271248 140736822726376 4213368 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 8591 7415 139 490 0 8092 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34364

[startup+0.300219 s]
/proc/loadavg: 2.35 2.26 2.20 3/176 6785
/proc/meminfo: memFree=29184924/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=37336 CPUtime=0.29 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 1518 0 0 0 29 0 0 0 20 0 1 0 123730141 38232064 8156 33554432000 4194304 6199737 140735435271248 140735435270264 4213648 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 9334 8156 139 490 0 8835 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37336

[startup+0.700192 s]
/proc/loadavg: 2.35 2.26 2.20 3/176 6785
/proc/meminfo: memFree=29184924/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=42132 CPUtime=0.69 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 1719 0 0 0 69 0 0 0 20 0 1 0 123730141 43143168 8323 33554432000 4194304 6199737 140735435271248 140735435270264 4223751 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 10533 8323 139 490 0 10034 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42132

[startup+1.5002 s]
/proc/loadavg: 2.40 2.27 2.20 3/177 6786
/proc/meminfo: memFree=29148740/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=42492 CPUtime=1.49 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 2292 0 0 0 149 0 0 0 20 0 1 0 123730141 43511808 9238 33554432000 4194304 6199737 140735435271248 140735435270184 4213385 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 10623 9238 155 490 0 10124 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42492

[startup+3.10019 s]
/proc/loadavg: 2.40 2.27 2.20 3/177 6786
/proc/meminfo: memFree=29147128/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=50396 CPUtime=3.09 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 3098 0 0 0 308 1 0 0 20 0 1 0 123730141 51605504 10305 33554432000 4194304 6199737 140735435271248 140735435270184 4213314 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 12599 10305 155 490 0 12100 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50396

[startup+6.30019 s]
/proc/loadavg: 2.40 2.27 2.20 4/177 6786
/proc/meminfo: memFree=29139952/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=51076 CPUtime=6.29 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 3942 0 0 0 628 1 0 0 20 0 1 0 123730141 52301824 11396 33554432000 4194304 6199737 140735435271248 140735435269992 4213320 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 12769 11396 161 490 0 12270 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51076

[startup+12.7002 s]
/proc/loadavg: 2.42 2.28 2.20 3/177 6786
/proc/meminfo: memFree=29127264/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=64280 CPUtime=12.69 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 4528 0 0 0 1268 1 0 0 20 0 1 0 123730141 65822720 14484 33554432000 4194304 6199737 140735435271248 140735435270184 4213306 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 16070 14484 161 490 0 15571 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64280

[startup+25.5003 s]
/proc/loadavg: 2.51 2.30 2.21 3/177 6786
/proc/meminfo: memFree=29124344/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=84064 CPUtime=25.48 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 5712 0 0 0 2547 1 0 0 20 0 1 0 123730141 86081536 15229 33554432000 4194304 6199737 140735435271248 140735435270184 4213385 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 21016 15229 161 490 0 20517 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84064

[startup+51.1003 s]
/proc/loadavg: 2.33 2.28 2.21 3/177 6786
/proc/meminfo: memFree=29102200/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=85688 CPUtime=51.08 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 6749 0 0 0 5106 2 0 0 20 0 1 0 123730141 87744512 20121 33554432000 4194304 6199737 140735435271248 140735435270184 4213320 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 21422 20121 161 490 0 20923 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85688

[startup+102.3 s]
/proc/loadavg: 2.17 2.24 2.19 3/177 6788
/proc/meminfo: memFree=29065756/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=118824 CPUtime=102.28 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 7592 0 0 0 10226 2 0 0 20 0 1 0 123730141 121675776 25507 33554432000 4194304 6199737 140735435271248 140735435270184 4213306 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 29706 25507 161 490 0 29207 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 118824

[startup+162.3 s]
/proc/loadavg: 2.34 2.27 2.20 3/177 6789
/proc/meminfo: memFree=29063888/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=119804 CPUtime=162.27 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 8082 0 0 0 16224 3 0 0 20 0 1 0 123730141 122679296 25914 33554432000 4194304 6199737 140735435271248 140735435270184 4213314 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 29951 25914 161 490 0 29452 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 119804

[startup+222.307 s]
/proc/loadavg: 2.21 2.25 2.20 3/177 6790
/proc/meminfo: memFree=29056872/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=120780 CPUtime=222.27 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 8365 0 0 0 22224 3 0 0 20 0 1 0 123730141 123678720 27713 33554432000 4194304 6199737 140735435271248 140735435270360 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 30195 27713 161 490 0 29696 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 120780

[startup+282.3 s]
/proc/loadavg: 2.21 2.25 2.20 3/177 6791
/proc/meminfo: memFree=29050452/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=121728 CPUtime=282.25 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 8702 0 0 0 28222 3 0 0 20 0 1 0 123730141 124649472 29038 33554432000 4194304 6199737 140735435271248 140735435270184 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 30432 29038 161 490 0 29933 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 121728

[startup+342.3 s]
/proc/loadavg: 2.21 2.24 2.19 3/177 6792
/proc/meminfo: memFree=29040916/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=172412 CPUtime=342.24 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 9191 0 0 0 34221 3 0 0 20 0 1 0 123730141 176549888 31477 33554432000 4194304 6199737 140735435271248 140735435270184 4213385 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 43103 31477 161 490 0 42604 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 172412

[startup+402.3 s]
/proc/loadavg: 2.24 2.24 2.19 3/177 6840
/proc/meminfo: memFree=29197492/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=174216 CPUtime=402.23 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 9893 0 0 0 40219 4 0 0 20 0 1 0 123730141 178397184 34483 33554432000 4194304 6199737 140735435271248 140735435270184 4213368 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 43554 34483 161 490 0 43055 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 174216

[startup+462.3 s]
/proc/loadavg: 2.13 2.21 2.18 4/178 6844
/proc/meminfo: memFree=29157572/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=174660 CPUtime=462.22 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 10017 0 0 0 46218 4 0 0 20 0 1 0 123730141 178851840 34602 33554432000 4194304 6199737 140735435271248 140735435270184 4213389 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 43665 34602 161 490 0 43166 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 174660

[startup+522.3 s]
/proc/loadavg: 2.21 2.23 2.18 3/177 6845
/proc/meminfo: memFree=29134648/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=176564 CPUtime=522.21 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 10629 0 0 0 52217 4 0 0 20 0 1 0 123730141 180801536 36230 33554432000 4194304 6199737 140735435271248 140735435270184 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 44141 36230 161 490 0 43642 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 176564

[startup+582.3 s]
/proc/loadavg: 2.13 2.20 2.18 3/177 6846
/proc/meminfo: memFree=29125096/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=177244 CPUtime=582.2 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 10816 0 0 0 58216 4 0 0 20 0 1 0 123730141 181497856 36910 33554432000 4194304 6199737 140735435271248 140735435270360 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 44311 36910 161 490 0 43812 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 177244


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


[startup+942.3 s]
/proc/loadavg: 2.10 2.16 2.17 3/177 6853
/proc/meminfo: memFree=28985480/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=266028 CPUtime=942.15 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 12922 0 0 0 94209 6 0 0 20 0 1 0 123730141 272412672 54317 33554432000 4194304 6199737 140735435271248 140735435270184 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 66507 54317 161 490 0 66008 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 266028

[startup+1002.3 s]
/proc/loadavg: 2.13 2.15 2.17 3/177 6854
/proc/meminfo: memFree=28975808/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=267212 CPUtime=1002.13 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 13423 0 0 0 100207 6 0 0 20 0 1 0 123730141 273625088 56634 33554432000 4194304 6199737 140735435271248 140735435270184 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 66803 56634 161 490 0 66304 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 267212

[startup+1062.3 s]
/proc/loadavg: 2.15 2.15 2.17 3/178 6859
/proc/meminfo: memFree=28974628/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=267212 CPUtime=1062.12 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 13471 0 0 0 106206 6 0 0 20 0 1 0 123730141 273625088 56682 33554432000 4194304 6199737 140735435271248 140735435270360 4213385 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 66803 56682 161 490 0 66304 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 267212

[startup+1122.3 s]
/proc/loadavg: 2.14 2.15 2.16 3/177 6860
/proc/meminfo: memFree=28974272/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=267236 CPUtime=1122.12 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 13486 0 0 0 112206 6 0 0 20 0 1 0 123730141 273649664 56696 33554432000 4194304 6199737 140735435271248 140735435270360 4213476 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 66809 56696 161 490 0 66310 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 267236

[startup+1182.3 s]
/proc/loadavg: 2.15 2.15 2.16 3/177 6861
/proc/meminfo: memFree=28970424/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=267236 CPUtime=1182.11 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 13486 0 0 0 118205 6 0 0 20 0 1 0 123730141 273649664 56696 33554432000 4194304 6199737 140735435271248 140735435270360 4213389 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 66809 56696 161 490 0 66310 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 267236

[startup+1242.3 s]
/proc/loadavg: 2.16 2.15 2.16 3/177 6862
/proc/meminfo: memFree=28969568/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=267236 CPUtime=1242.1 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 13486 0 0 0 124204 6 0 0 20 0 1 0 123730141 273649664 56696 33554432000 4194304 6199737 140735435271248 140735435270360 4213489 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 66809 56696 161 490 0 66310 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 267236

[startup+1302.3 s]
/proc/loadavg: 2.20 2.16 2.17 3/177 6863
/proc/meminfo: memFree=28967948/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=267512 CPUtime=1302.09 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 13718 0 0 0 130203 6 0 0 20 0 1 0 123730141 273932288 56911 33554432000 4194304 6199737 140735435271248 140735435270184 4213489 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 66878 56911 161 490 0 66379 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 267512

[startup+1362.3 s]
/proc/loadavg: 2.19 2.16 2.17 3/177 6865
/proc/meminfo: memFree=28956644/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=267952 CPUtime=1362.08 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 13820 0 0 0 136202 6 0 0 20 0 1 0 123730141 274382848 57013 33554432000 4194304 6199737 140735435271248 140735435270184 4213215 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 66988 57013 161 490 0 66489 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 267952

[startup+1422.3 s]
/proc/loadavg: 2.30 2.19 2.18 3/177 6866
/proc/meminfo: memFree=28954216/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=268128 CPUtime=1422.07 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 13872 0 0 0 142201 6 0 0 20 0 1 0 123730141 274563072 57065 33554432000 4194304 6199737 140735435271248 140735435270184 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 67032 57065 161 490 0 66533 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 268128

[startup+1482.3 s]
/proc/loadavg: 2.46 2.25 2.19 3/177 6867
/proc/meminfo: memFree=28953472/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=268508 CPUtime=1482.06 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 13963 0 0 0 148200 6 0 0 20 0 1 0 123730141 274952192 57156 33554432000 4194304 6199737 140735435271248 140735435270184 4213320 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 67127 57156 161 490 0 66628 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 268508

[startup+1542.31 s]
/proc/loadavg: 2.46 2.28 2.20 3/177 6868
/proc/meminfo: memFree=28952984/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=268792 CPUtime=1542.06 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 14031 0 0 0 154200 6 0 0 20 0 1 0 123730141 275243008 57224 33554432000 4194304 6199737 140735435271248 140735435270184 4213385 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 67198 57224 161 490 0 66699 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 268792

[startup+1602.3 s]
/proc/loadavg: 2.55 2.32 2.22 3/177 6869
/proc/meminfo: memFree=28950316/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=269304 CPUtime=1602.04 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 14144 0 0 0 160198 6 0 0 20 0 1 0 123730141 275767296 57848 33554432000 4194304 6199737 140735435271248 140735435270184 4213396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 67326 57848 161 490 0 66827 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 269304

[startup+1662.3 s]
/proc/loadavg: 2.39 2.31 2.22 3/178 6874
/proc/meminfo: memFree=28946164/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=269448 CPUtime=1662.04 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 14215 0 0 0 166197 7 0 0 20 0 1 0 123730141 275914752 58909 33554432000 4194304 6199737 140735435271248 140735435269896 4213385 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 67362 58909 161 490 0 66863 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 269448

[startup+1722.3 s]
/proc/loadavg: 2.37 2.31 2.22 3/178 6898
/proc/meminfo: memFree=28944000/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=269544 CPUtime=1722.03 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 14237 0 0 0 172196 7 0 0 20 0 1 0 123730141 276013056 58984 33554432000 4194304 6199737 140735435271248 140735435270360 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 67386 58984 161 490 0 66887 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 269544

[startup+1782.3 s]
/proc/loadavg: 2.30 2.30 2.22 3/177 6899
/proc/meminfo: memFree=28939224/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=269544 CPUtime=1782.02 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 14273 0 0 0 178195 7 0 0 20 0 1 0 123730141 276013056 59019 33554432000 4194304 6199737 140735435271248 140735435270360 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 67386 59019 161 490 0 66887 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 269544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.30 2.30 2.22 3/177 6899
/proc/meminfo: memFree=28933364/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=269544 CPUtime=1800.01 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 14273 0 0 0 179994 7 0 0 20 0 1 0 123730141 276013056 59019 33554432000 4194304 6199737 140735435271248 140735435270360 4213389 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 67386 59019 161 490 0 66887 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 269544

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

[startup+1800.3 s]
/proc/loadavg: 2.30 2.30 2.22 3/177 6899
/proc/meminfo: memFree=28933364/32872528 swapFree=16360/1798728
[pid=6785] ppid=6782 vsize=269544 CPUtime=1800.01 cores=0,2,4,6
/proc/6785/stat : 6785 (cdcl-cuttingpla) R 6782 6785 29677 0 -1 4202496 14273 0 0 0 179994 7 0 0 20 0 1 0 123730141 276013056 59019 33554432000 4194304 6199737 140735435271248 140735435270360 4213389 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/6785/statm: 67386 59019 161 490 0 66887 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 269544

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.95
CPU system time (s): 0.072988
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 269544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.072988
maximum resident set size= 236076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14273
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= 18
involuntary context switches= 1854

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

The end

Launcher Data 

Begin job on node123 at 2016-06-08 22:32:50
IDJOB=4087268
IDBENCH=90113
IDSOLVER=2548
FILE ID=node123/4087268-1465417970
RUNJOBID= node123-1465387880-29693
PBS_JOBID= 19853801
Free space on /tmp= 71632 MiB

SOLVER NAME= cdcl-cuttingplanes DEC 2016-05-01
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K87.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087268-1465417970/watcher-4087268-1465417970 -o /tmp/evaluation-result-4087268-1465417970/solver-4087268-1465417970 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465387880-29693 --watchdog 1960 --input HOME/instance-4087268-1465417970.opb ./cdcl-cuttingplanes-release

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

MD5SUM BENCH= 800363f05bcd3a7fdae42567bbf8c0cf
RANDOM SEED=686149135

node123.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		: 2667.117
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	: 5334.23
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		: 2667.117
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		: 2667.117
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.56
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		: 2667.117
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		: 2667.117
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		: 2667.117
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.57
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		: 2667.117
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		: 2667.117
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:        29185088 kB
Buffers:          182092 kB
Cached:           763152 kB
SwapCached:         1756 kB
Active:           435572 kB
Inactive:         704312 kB
Active(anon):     194188 kB
Inactive(anon):     2668 kB
Active(file):     241384 kB
Inactive(file):   701644 kB
Unevictable:     1798728 kB
Mlocked:           16360 kB
SwapTotal:      67108856 kB
SwapFree:       67098836 kB
Dirty:              2732 kB
Writeback:             0 kB
AnonPages:       1966092 kB
Mapped:             8024 kB
Shmem:                 0 kB
Slab:             614580 kB
SReclaimable:      58768 kB
SUnreclaim:       555812 kB
KernelStack:        1472 kB
PageTables:         7712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2182856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1935360 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= 71632 MiB
End job on node123 at 2016-06-08 23:02:50