Trace number 4087229

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/
ShortestPathNG/normalized-NG_K139.opb
MD5SUM76516381ba4bc043f2da87444e256707
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 variables16541
Total number of constraints16821
Number of constraints which are clauses16682
Number of constraints which are cardinality constraints (but not clauses)139
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint139
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 140
Number of bits of the biggest sum of numbers8
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= 16541 #constraint= 16821
1.38/1.40	c #Conflicts:       1000 | #Learnt:        998 | 0.019
1.38/1.40	c total clause space: 18.2382MB
1.38/1.40	c total #watches: 144201
7.49/7.57	c total #propagations: 734443 / total #impl: 5876296 (eff. 0.125)
7.49/7.57	c #Conflicts:       2000 | #Learnt:       1998 | 0.020
7.49/7.57	c total clause space: 29.637MB
7.49/7.57	c total #watches: 290646
14.79/14.81	c total #propagations: 1578308 / total #impl: 32892365 (eff. 0.048)
14.79/14.81	c GARBAGE COLLECT
14.79/14.81	c #Conflicts:       3000 | #Learnt:       2048 | 0.013
14.79/14.81	c total clause space: 29.637MB
14.79/14.81	c total #watches: 384285
40.08/40.11	c total #propagations: 2489019 / total #impl: 72062798 (eff. 0.035)
40.08/40.11	c #Conflicts:       4000 | #Learnt:       3048 | 0.011
40.08/40.11	c total clause space: 48.1602MB
40.08/40.11	c total #watches: 552180
69.39/69.45	c total #propagations: 3469092 / total #impl: 135429174 (eff. 0.026)
69.39/69.45	c GARBAGE COLLECT
69.39/69.45	c #Conflicts:       5000 | #Learnt:       2449 | 0.009
69.39/69.45	c total clause space: 48.1602MB
69.39/69.45	c total #watches: 511381
102.28/102.34	c total #propagations: 4474204 / total #impl: 207865179 (eff. 0.022)
102.28/102.34	c #Conflicts:       6000 | #Learnt:       3449 | 0.009
102.28/102.34	c total clause space: 78.2603MB
102.28/102.34	c total #watches: 671749
139.47/139.53	c total #propagations: 5196917 / total #impl: 295550422 (eff. 0.018)
139.47/139.53	c GARBAGE COLLECT
139.47/139.53	c #Conflicts:       7000 | #Learnt:       2354 | 0.008
139.47/139.53	c total clause space: 78.2603MB
139.47/139.53	c total #watches: 445044
153.67/153.72	c total #propagations: 5927636 / total #impl: 383051524 (eff. 0.015)
153.67/153.72	c #Conflicts:       8000 | #Learnt:       3354 | 0.007
153.67/153.72	c total clause space: 78.2603MB
153.67/153.72	c total #watches: 595851
197.86/197.91	c total #propagations: 6520432 / total #impl: 474403658 (eff. 0.014)
197.86/197.91	c #Conflicts:       9000 | #Learnt:       4354 | 0.006
197.86/197.91	c total clause space: 78.2603MB
197.86/197.91	c total #watches: 759160
230.26/230.31	c total #propagations: 7523344 / total #impl: 616524646 (eff. 0.012)
230.26/230.31	c GARBAGE COLLECT
230.26/230.31	c #Conflicts:      10000 | #Learnt:       2819 | 0.006
230.26/230.31	c total clause space: 78.2603MB
230.26/230.31	c total #watches: 522921
256.15/256.26	c total #propagations: 8277269 / total #impl: 706732432 (eff. 0.012)
256.15/256.26	c #Conflicts:      11000 | #Learnt:       3819 | 0.005
256.15/256.26	c total clause space: 78.2603MB
256.15/256.27	c total #watches: 685238
314.24/314.32	c total #propagations: 9082424 / total #impl: 807395401 (eff. 0.011)
314.24/314.32	c #Conflicts:      12000 | #Learnt:       4819 | 0.005
314.24/314.32	c total clause space: 78.2603MB
314.24/314.32	c total #watches: 975522
403.02/403.17	c total #propagations: 9859735 / total #impl: 929255278 (eff. 0.011)
403.02/403.17	c #Conflicts:      13000 | #Learnt:       5819 | 0.005
403.02/403.17	c total clause space: 127.173MB
403.02/403.17	c total #watches: 1192644
476.12/476.20	c total #propagations: 10795334 / total #impl: 1093683462 (eff. 0.010)
476.12/476.20	c GARBAGE COLLECT
476.12/476.20	c #Conflicts:      14000 | #Learnt:       3951 | 0.005
476.12/476.20	c total clause space: 127.173MB
476.12/476.20	c total #watches: 875619
515.71/515.81	c total #propagations: 11834365 / total #impl: 1221443929 (eff. 0.010)
515.71/515.81	c #Conflicts:      15000 | #Learnt:       4951 | 0.004
515.71/515.81	c total clause space: 127.173MB
515.71/515.81	c total #watches: 977810
555.52/555.67	c total #propagations: 12383043 / total #impl: 1324243023 (eff. 0.009)
555.52/555.67	c #Conflicts:      16000 | #Learnt:       5951 | 0.004
555.52/555.67	c total clause space: 206.656MB
555.52/555.67	c total #watches: 1088903
633.39/633.57	c total #propagations: 12804574 / total #impl: 1422463434 (eff. 0.009)
633.39/633.57	c GARBAGE COLLECT
633.39/633.57	c #Conflicts:      17000 | #Learnt:       3822 | 0.004
633.39/633.57	c total clause space: 206.656MB
633.39/633.57	c total #watches: 595274
660.39/660.53	c total #propagations: 13727338 / total #impl: 1542547364 (eff. 0.009)
660.39/660.53	c #Conflicts:      18000 | #Learnt:       4822 | 0.004
660.39/660.53	c total clause space: 206.656MB
660.39/660.53	c total #watches: 706783
681.08/681.24	c total #propagations: 14342739 / total #impl: 1603012519 (eff. 0.009)
681.08/681.24	c #Conflicts:      19000 | #Learnt:       5822 | 0.004
681.08/681.24	c total clause space: 206.656MB
681.08/681.24	c total #watches: 761875
723.87/724.02	c total #propagations: 14847840 / total #impl: 1660935690 (eff. 0.009)
723.87/724.02	c #Conflicts:      20000 | #Learnt:       6822 | 0.003
723.87/724.02	c total clause space: 206.656MB
723.87/724.02	c total #watches: 890194
753.57/753.73	c total #propagations: 15591124 / total #impl: 1767131180 (eff. 0.009)
753.57/753.73	c GARBAGE COLLECT
753.57/753.73	c #Conflicts:      21000 | #Learnt:       4364 | 0.004
753.57/753.73	c total clause space: 206.656MB
753.57/753.73	c total #watches: 642367
790.26/790.43	c total #propagations: 16341922 / total #impl: 1846909660 (eff. 0.009)
790.26/790.43	c #Conflicts:      22000 | #Learnt:       5364 | 0.020
790.26/790.43	c total clause space: 206.656MB
790.26/790.43	c total #watches: 785883
838.95/839.14	c total #propagations: 17255145 / total #impl: 1967155039 (eff. 0.009)
838.95/839.14	c #Conflicts:      23000 | #Learnt:       6364 | 0.019
838.95/839.14	c total clause space: 206.656MB
838.95/839.14	c total #watches: 983912
894.04/894.28	c total #propagations: 18122467 / total #impl: 2092839161 (eff. 0.009)
894.04/894.28	c #Conflicts:      24000 | #Learnt:       7364 | 0.018
894.04/894.28	c total clause space: 206.656MB
894.04/894.28	c total #watches: 1135180
934.44/934.69	c total #propagations: 18911854 / total #impl: 2237922951 (eff. 0.008)
934.44/934.69	c GARBAGE COLLECT
934.44/934.69	c #Conflicts:      25000 | #Learnt:       4525 | 0.018
934.44/934.69	c total clause space: 206.656MB
934.44/934.69	c total #watches: 824518
967.84/968.10	c total #propagations: 19593900 / total #impl: 2359717599 (eff. 0.008)
967.84/968.10	c #Conflicts:      26000 | #Learnt:       5525 | 0.017
967.84/968.10	c total clause space: 206.656MB
967.84/968.10	c total #watches: 1015455
1007.54/1007.72	c total #propagations: 20187752 / total #impl: 2477204236 (eff. 0.008)
1007.54/1007.72	c #Conflicts:      27000 | #Learnt:       6525 | 0.016
1007.54/1007.72	c total clause space: 206.656MB
1007.54/1007.72	c total #watches: 1144830
1087.92/1088.10	c total #propagations: 20959999 / total #impl: 2645766134 (eff. 0.008)
1087.92/1088.10	c #Conflicts:      28000 | #Learnt:       7525 | 0.016
1087.92/1088.10	c total clause space: 206.656MB
1087.92/1088.10	c total #watches: 1334824
1183.30/1183.59	c total #propagations: 21785057 / total #impl: 2882082111 (eff. 0.008)
1183.30/1183.59	c GARBAGE COLLECT
1183.30/1183.59	c #Conflicts:      29000 | #Learnt:       4427 | 0.015
1183.30/1183.59	c total clause space: 206.656MB
1183.30/1183.59	c total #watches: 739008
1240.39/1240.68	c total #propagations: 22696202 / total #impl: 3116710612 (eff. 0.007)
1240.39/1240.68	c #Conflicts:      30000 | #Learnt:       5427 | 0.015
1240.39/1240.68	c total clause space: 206.656MB
1240.39/1240.68	c total #watches: 949115
1289.59/1289.85	c total #propagations: 23509587 / total #impl: 3242810160 (eff. 0.007)
1289.59/1289.85	c #Conflicts:      31000 | #Learnt:       6427 | 0.014
1289.59/1289.85	c total clause space: 206.656MB
1289.59/1289.85	c total #watches: 1125451
1373.17/1373.42	c total #propagations: 24103725 / total #impl: 3389992140 (eff. 0.007)
1373.17/1373.42	c #Conflicts:      32000 | #Learnt:       7427 | 0.014
1373.17/1373.42	c total clause space: 206.656MB
1373.17/1373.42	c total #watches: 1258582
1483.96/1484.22	c total #propagations: 24901838 / total #impl: 3547119295 (eff. 0.007)
1483.96/1484.22	c #Conflicts:      33000 | #Learnt:       8427 | 0.016
1483.96/1484.22	c total clause space: 206.656MB
1483.96/1484.22	c total #watches: 1509347
1543.45/1543.71	c total #propagations: 25808124 / total #impl: 3804147054 (eff. 0.007)
1543.45/1543.71	c GARBAGE COLLECT
1543.45/1543.71	c #Conflicts:      34000 | #Learnt:       5058 | 0.015
1543.45/1543.71	c total clause space: 206.656MB
1543.45/1543.71	c total #watches: 849083
1593.14/1593.45	c total #propagations: 26432073 / total #impl: 3958859415 (eff. 0.007)
1593.14/1593.45	c #Conflicts:      35000 | #Learnt:       6058 | 0.015
1593.14/1593.45	c total clause space: 206.656MB
1593.14/1593.45	c total #watches: 1068387
1646.73/1647.06	c total #propagations: 27213618 / total #impl: 4156230596 (eff. 0.007)
1646.73/1647.06	c #Conflicts:      36000 | #Learnt:       7058 | 0.014
1646.73/1647.06	c total clause space: 206.656MB
1646.73/1647.06	c total #watches: 1225583
1733.62/1733.96	c total #propagations: 27723306 / total #impl: 4317997830 (eff. 0.006)
1733.62/1733.96	c #Conflicts:      37000 | #Learnt:       8058 | 0.014
1733.62/1733.96	c total clause space: 206.656MB
1733.62/1733.96	c total #watches: 1381492

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-4087229-1465428858/watcher-4087229-1465428858 -o /tmp/evaluation-result-4087229-1465428858/solver-4087229-1465428858 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1465427057-32240 --watchdog 1960 --input HOME/instance-4087229-1465428858.opb ./cdcl-cuttingplanes-release 

pid=32402
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.02 2.08 1.90 3/176 32405
/proc/meminfo: memFree=29878616/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=29104 CPUtime=0 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 269 0 0 0 0 0 0 0 20 0 1 0 124820499 29802496 5261 33554432000 4194304 6199737 140734323793664 140733422979528 4209408 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 7276 5261 122 490 0 6777 0

[startup+0.100075 s]
/proc/loadavg: 2.02 2.08 1.90 3/176 32405
/proc/meminfo: memFree=29878616/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=34516 CPUtime=0.09 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 1380 0 0 0 9 0 0 0 20 0 1 0 124820499 35344384 7541 33554432000 4194304 6199737 140734323793664 140733422979528 4207822 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 8629 7541 134 490 0 8130 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34516

[startup+0.200404 s]
/proc/loadavg: 2.02 2.08 1.90 3/176 32405
/proc/meminfo: memFree=29878616/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=37664 CPUtime=0.19 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 1807 0 0 0 19 0 0 0 20 0 1 0 124820499 38567936 8342 33554432000 4194304 6199737 140734323793664 140733422979528 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 9416 8342 139 490 0 8917 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37664

[startup+0.300349 s]
/proc/loadavg: 2.02 2.08 1.90 3/176 32405
/proc/meminfo: memFree=29878616/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=42448 CPUtime=0.29 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 2289 0 0 0 29 0 0 0 20 0 1 0 124820499 43466752 8679 33554432000 4194304 6199737 140734323793664 140733422979528 4237310 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 10612 8681 139 490 0 10113 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42448

[startup+0.700247 s]
/proc/loadavg: 2.02 2.08 1.90 3/176 32405
/proc/meminfo: memFree=29878616/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=50128 CPUtime=0.68 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 2794 0 0 0 68 0 0 0 20 0 1 0 124820499 51331072 10094 33554432000 4194304 6199737 140734323793664 140734323792600 4235392 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 12532 10094 139 490 0 12033 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 50128

[startup+1.50024 s]
/proc/loadavg: 2.02 2.08 1.90 3/177 32406
/proc/meminfo: memFree=29831288/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=50868 CPUtime=1.48 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 3035 0 0 0 148 0 0 0 20 0 1 0 124820499 52088832 10829 33554432000 4194304 6199737 140734323793664 140734323792600 4207822 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 12717 10829 155 490 0 12218 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 50868

[startup+3.10026 s]
/proc/loadavg: 2.02 2.08 1.90 3/177 32406
/proc/meminfo: memFree=29823092/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=63684 CPUtime=3.09 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 3631 0 0 0 308 1 0 0 20 0 1 0 124820499 65212416 12346 33554432000 4194304 6199737 140734323793664 140734323792456 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 15921 12346 155 490 0 15422 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63684

[startup+6.30026 s]
/proc/loadavg: 2.02 2.08 1.90 3/177 32406
/proc/meminfo: memFree=29814040/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=64176 CPUtime=6.29 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 3763 0 0 0 628 1 0 0 20 0 1 0 124820499 65716224 12989 33554432000 4194304 6199737 140734323793664 140734323792600 4213493 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 16044 12989 155 490 0 15545 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64176

[startup+12.7002 s]
/proc/loadavg: 2.01 2.07 1.90 3/176 32406
/proc/meminfo: memFree=29795484/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=64976 CPUtime=12.69 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 5038 0 0 0 1268 1 0 0 20 0 1 0 124820499 66535424 14439 33554432000 4194304 6199737 140734323793664 140734323792600 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 16244 14439 161 490 0 15745 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64976

[startup+25.5004 s]
/proc/loadavg: 2.01 2.07 1.90 3/177 32407
/proc/meminfo: memFree=29774788/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=86284 CPUtime=25.49 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 5877 0 0 0 2548 1 0 0 20 0 1 0 124820499 88354816 15711 33554432000 4194304 6199737 140734323793664 140734323792680 4213320 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 21571 15711 161 490 0 21072 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86284

[startup+51.1003 s]
/proc/loadavg: 2.01 2.06 1.90 3/177 32407
/proc/meminfo: memFree=29751900/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=87900 CPUtime=51.09 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 6360 0 0 0 5107 2 0 0 20 0 1 0 124820499 90009600 18724 33554432000 4194304 6199737 140734323793664 140734323792312 4213314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 21975 18724 161 490 0 21476 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87900

[startup+102.3 s]
/proc/loadavg: 2.07 2.07 1.91 3/177 32408
/proc/meminfo: memFree=29719604/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=120872 CPUtime=102.28 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 7543 0 0 0 10226 2 0 0 20 0 1 0 124820499 123772928 22201 33554432000 4194304 6199737 140734323793664 140734323792600 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 30218 22201 161 490 0 29719 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 120872

[startup+162.3 s]
/proc/loadavg: 2.02 2.05 1.91 3/177 32409
/proc/meminfo: memFree=29692692/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=123472 CPUtime=162.26 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 8727 0 0 0 16223 3 0 0 20 0 1 0 124820499 126435328 26729 33554432000 4194304 6199737 140734323793664 140734323792600 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 30868 26729 161 490 0 30369 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 123472

[startup+222.307 s]
/proc/loadavg: 2.09 2.06 1.92 4/177 32410
/proc/meminfo: memFree=29679444/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=125040 CPUtime=222.27 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 9137 0 0 0 22223 4 0 0 20 0 1 0 124820499 128040960 29694 33554432000 4194304 6199737 140734323793664 140734323792312 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 31260 29694 161 490 0 30761 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 125040

[startup+282.3 s]
/proc/loadavg: 2.14 2.08 1.93 3/177 32411
/proc/meminfo: memFree=29676964/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=126224 CPUtime=282.25 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 9499 0 0 0 28221 4 0 0 20 0 1 0 124820499 129253376 30033 33554432000 4194304 6199737 140734323793664 140734323792488 4213396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 31556 30033 161 490 0 31057 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 126224

[startup+342.3 s]
/proc/loadavg: 2.20 2.10 1.95 3/177 32413
/proc/meminfo: memFree=29667536/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=177908 CPUtime=342.24 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 10359 0 0 0 34220 4 0 0 20 0 1 0 124820499 182177792 31246 33554432000 4194304 6199737 140734323793664 140734323792600 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 44477 31246 161 490 0 43978 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 177908

[startup+402.3 s]
/proc/loadavg: 2.07 2.08 1.95 4/178 32417
/proc/meminfo: memFree=29633436/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=178984 CPUtime=402.22 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 10625 0 0 0 40218 4 0 0 20 0 1 0 124820499 183279616 33556 33554432000 4194304 6199737 140734323793664 140734323792312 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 44746 33556 161 490 0 44247 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 178984

[startup+462.3 s]
/proc/loadavg: 2.02 2.06 1.95 3/177 32418
/proc/meminfo: memFree=29627488/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=179108 CPUtime=462.22 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 10875 0 0 0 46217 5 0 0 20 0 1 0 124820499 183406592 33655 33554432000 4194304 6199737 140734323793664 140734323792600 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 44777 33655 161 490 0 44278 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 179108

[startup+522.3 s]
/proc/loadavg: 2.01 2.05 1.95 3/177 32419
/proc/meminfo: memFree=29610408/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=179688 CPUtime=522.21 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 11085 0 0 0 52216 5 0 0 20 0 1 0 124820499 184000512 34373 33554432000 4194304 6199737 140734323793664 140734323792600 4213396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 44922 34373 161 490 0 44423 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 179688

[startup+582.3 s]
/proc/loadavg: 2.28 2.12 1.97 4/177 32420
/proc/meminfo: memFree=29551736/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=262816 CPUtime=582.21 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 12005 0 0 0 58215 6 0 0 20 0 1 0 124820499 269123584 45833 33554432000 4194304 6199737 140734323793664 140734323792456 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 65704 45833 161 490 0 65205 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 262816


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


[startup+942.3 s]
/proc/loadavg: 2.18 2.13 2.02 3/177 32428
/proc/meminfo: memFree=29530080/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=267336 CPUtime=942.14 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 13516 0 0 0 94208 6 0 0 20 0 1 0 124820499 273752064 48155 33554432000 4194304 6199737 140734323793664 140734323792360 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 66834 48155 161 490 0 66335 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 267336

[startup+1002.3 s]
/proc/loadavg: 2.16 2.13 2.02 3/178 32432
/proc/meminfo: memFree=29528724/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=267924 CPUtime=1002.13 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 13662 0 0 0 100206 7 0 0 20 0 1 0 124820499 274354176 48301 33554432000 4194304 6199737 140734323793664 140734323792600 4213306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 66981 48301 161 490 0 66482 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 267924

[startup+1062.3 s]
/proc/loadavg: 2.28 2.17 2.04 3/177 32433
/proc/meminfo: memFree=29526748/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=268712 CPUtime=1062.12 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 14115 0 0 0 106205 7 0 0 20 0 1 0 124820499 275161088 48511 33554432000 4194304 6199737 140734323793664 140734323792600 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 67178 48511 161 490 0 66679 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 268712

[startup+1122.3 s]
/proc/loadavg: 2.25 2.18 2.05 3/177 32434
/proc/meminfo: memFree=29526252/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=269160 CPUtime=1122.11 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 14229 0 0 0 112204 7 0 0 20 0 1 0 124820499 275619840 48625 33554432000 4194304 6199737 140734323793664 140734323792600 4217750 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 67290 48625 161 490 0 66791 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 269160

[startup+1182.3 s]
/proc/loadavg: 2.19 2.17 2.05 3/177 32435
/proc/meminfo: memFree=29525140/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=269608 CPUtime=1182.1 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 15047 0 0 0 118203 7 0 0 20 0 1 0 124820499 276078592 48754 33554432000 4194304 6199737 140734323793664 140734323792600 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 67402 48754 161 490 0 66903 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 269608

[startup+1242.3 s]
/proc/loadavg: 2.12 2.15 2.05 3/176 32436
/proc/meminfo: memFree=29524520/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=270304 CPUtime=1242.09 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 15215 0 0 0 124202 7 0 0 20 0 1 0 124820499 276791296 48922 33554432000 4194304 6199737 140734323793664 140734323792776 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 67576 48922 161 490 0 67077 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 270304

[startup+1302.3 s]
/proc/loadavg: 2.08 2.14 2.05 3/177 32438
/proc/meminfo: memFree=29522284/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=271608 CPUtime=1302.09 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 15588 0 0 0 130202 7 0 0 20 0 1 0 124820499 278126592 49254 33554432000 4194304 6199737 140734323793664 140734323792600 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 67902 49254 161 490 0 67403 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 271608

[startup+1362.3 s]
/proc/loadavg: 2.22 2.17 2.07 3/177 32439
/proc/meminfo: memFree=29521904/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=271896 CPUtime=1362.08 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 15660 0 0 0 136201 7 0 0 20 0 1 0 124820499 278421504 49326 33554432000 4194304 6199737 140734323793664 140734323792600 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 67974 49326 161 490 0 67475 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 271896

[startup+1422.3 s]
/proc/loadavg: 2.18 2.17 2.07 3/177 32440
/proc/meminfo: memFree=29520660/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=272152 CPUtime=1422.07 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 15750 0 0 0 142200 7 0 0 20 0 1 0 124820499 278683648 49416 33554432000 4194304 6199737 140734323793664 140734323792600 4215763 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 68038 49416 161 490 0 67539 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 272152

[startup+1482.3 s]
/proc/loadavg: 2.16 2.16 2.08 3/177 32441
/proc/meminfo: memFree=29519320/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=272356 CPUtime=1482.06 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 15871 0 0 0 148199 7 0 0 20 0 1 0 124820499 278892544 49529 33554432000 4194304 6199737 140734323793664 140734323792600 4213298 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 68089 49529 161 490 0 67590 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 272356

[startup+1542.31 s]
/proc/loadavg: 2.19 2.18 2.09 3/177 32442
/proc/meminfo: memFree=29503964/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=272744 CPUtime=1542.05 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 16008 0 0 0 154198 7 0 0 20 0 1 0 124820499 279289856 51162 33554432000 4194304 6199737 140734323793664 140734323792600 4213489 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 68186 51162 161 490 0 67687 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 272744

[startup+1602.3 s]
/proc/loadavg: 2.19 2.18 2.09 4/178 32447
/proc/meminfo: memFree=29500604/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=272944 CPUtime=1602.04 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 16210 0 0 0 160197 7 0 0 20 0 1 0 124820499 279494656 51221 33554432000 4194304 6199737 140734323793664 140734323792600 4213493 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 68236 51221 161 490 0 67737 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 272944

[startup+1662.3 s]
/proc/loadavg: 2.29 2.21 2.10 4/178 32471
/proc/meminfo: memFree=29500048/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=273364 CPUtime=1662.03 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 16315 0 0 0 166196 7 0 0 20 0 1 0 124820499 279924736 51310 33554432000 4194304 6199737 140734323793664 140734323792600 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 68341 51310 161 490 0 67842 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 273364

[startup+1722.3 s]
/proc/loadavg: 2.30 2.23 2.11 3/177 32472
/proc/meminfo: memFree=29498736/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=273788 CPUtime=1722.03 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 16480 0 0 0 172195 8 0 0 20 0 1 0 124820499 280358912 51445 33554432000 4194304 6199737 140734323793664 140734323792600 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 68447 51445 161 490 0 67948 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 273788

[startup+1782.3 s]
/proc/loadavg: 2.27 2.23 2.12 3/177 32473
/proc/meminfo: memFree=29497248/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=274260 CPUtime=1782.02 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 16635 0 0 0 178194 8 0 0 20 0 1 0 124820499 280842240 51598 33554432000 4194304 6199737 140734323793664 140734323792600 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 68565 51598 161 490 0 68066 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 274260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.29 2.24 2.12 4/177 32473
/proc/meminfo: memFree=29486760/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=274264 CPUtime=1800.01 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 17862 0 0 0 179993 8 0 0 20 0 1 0 124820499 280846336 54171 33554432000 4194304 6199737 140734323793664 140734323792600 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 68566 54171 161 490 0 68067 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 274264

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

[startup+1800.3 s]
/proc/loadavg: 2.29 2.24 2.12 4/177 32473
/proc/meminfo: memFree=29486760/32872528 swapFree=13072/1184284
[pid=32405] ppid=32402 vsize=274264 CPUtime=1800.01 cores=1,3,5,7
/proc/32405/stat : 32405 (cdcl-cuttingpla) R 32402 32405 32223 0 -1 4202496 17862 0 0 0 179993 8 0 0 20 0 1 0 124820499 280846336 54171 33554432000 4194304 6199737 140734323793664 140734323792600 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32405/statm: 68566 54171 161 490 0 68067 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 274264

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.93
CPU system time (s): 0.088986
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 274264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.088986
maximum resident set size= 216768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17862
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= 19
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.33658 second user time and 11.6942 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-09 01:34:18
IDJOB=4087229
IDBENCH=90159
IDSOLVER=2548
FILE ID=node115/4087229-1465428858
RUNJOBID= node115-1465427057-32240
PBS_JOBID= 19859792
Free space on /tmp= 71740 MiB

SOLVER NAME= cdcl-cuttingplanes DEC 2016-05-01
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K139.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087229-1465428858/watcher-4087229-1465428858 -o /tmp/evaluation-result-4087229-1465428858/solver-4087229-1465428858 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1465427057-32240 --watchdog 1960 --input HOME/instance-4087229-1465428858.opb ./cdcl-cuttingplanes-release

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

MD5SUM BENCH= 76516381ba4bc043f2da87444e256707
RANDOM SEED=959626069

node115.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.174
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.34
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.174
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.56
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.174
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		: 2666.174
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.57
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.174
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.174
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		: 2666.174
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.57
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.174
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:        29879028 kB
Buffers:           97964 kB
Cached:           918100 kB
SwapCached:         1732 kB
Active:           626976 kB
Inactive:         425664 kB
Active(anon):      35604 kB
Inactive(anon):     3280 kB
Active(file):     591372 kB
Inactive(file):   422384 kB
Unevictable:     1184284 kB
Mlocked:           13072 kB
SwapTotal:      67108856 kB
SwapFree:       67098844 kB
Dirty:              6980 kB
Writeback:             0 kB
AnonPages:       1191792 kB
Mapped:             8468 kB
Shmem:                 0 kB
Slab:             622944 kB
SReclaimable:      66736 kB
SUnreclaim:       556208 kB
KernelStack:        1424 kB
PageTables:         5808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1339344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1173504 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 node115 at 2016-06-09 02:04:18