Trace number 4087228

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_K138.opb
MD5SUMb6be79d7c894904bfb5f7c9acfb80f53
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 variables16422
Total number of constraints16700
Number of constraints which are clauses16562
Number of constraints which are cardinality constraints (but not clauses)138
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint138
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 139
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= 16422 #constraint= 16700
1.59/1.62	c #Conflicts:       1000 | #Learnt:        999 | 0.000
1.59/1.62	c total clause space: 11.2235MB
1.59/1.62	c total #watches: 145015
3.99/4.05	c total #propagations: 1528715 / total #impl: 22266646 (eff. 0.069)
3.99/4.05	c #Conflicts:       2000 | #Learnt:       1998 | 0.000
3.99/4.05	c total clause space: 29.637MB
3.99/4.05	c total #watches: 232054
7.08/7.15	c total #propagations: 2478722 / total #impl: 50604969 (eff. 0.049)
7.08/7.15	c GARBAGE COLLECT
7.08/7.15	c #Conflicts:       3000 | #Learnt:       2051 | 0.000
7.08/7.15	c total clause space: 29.637MB
7.08/7.15	c total #watches: 275396
14.09/14.14	c total #propagations: 3451842 / total #impl: 84357261 (eff. 0.041)
14.09/14.14	c #Conflicts:       4000 | #Learnt:       3051 | 0.000
14.09/14.14	c total clause space: 29.637MB
14.09/14.14	c total #watches: 371011
23.29/23.32	c total #propagations: 4437172 / total #impl: 146711615 (eff. 0.030)
23.29/23.32	c GARBAGE COLLECT
23.29/23.32	c #Conflicts:       5000 | #Learnt:       2432 | 0.000
23.29/23.32	c total clause space: 48.1602MB
23.29/23.32	c total #watches: 371982
33.68/33.79	c total #propagations: 5436133 / total #impl: 203914912 (eff. 0.027)
33.68/33.79	c #Conflicts:       6000 | #Learnt:       3432 | 0.000
33.68/33.79	c total clause space: 48.1602MB
33.68/33.79	c total #watches: 485874
46.68/46.70	c total #propagations: 6227558 / total #impl: 290866231 (eff. 0.021)
46.68/46.70	c GARBAGE COLLECT
46.68/46.70	c #Conflicts:       7000 | #Learnt:       2344 | 0.000
46.68/46.70	c total clause space: 48.1602MB
46.68/46.70	c total #watches: 374226
60.78/60.84	c total #propagations: 6970819 / total #impl: 359556675 (eff. 0.019)
60.78/60.84	c #Conflicts:       8000 | #Learnt:       3344 | 0.000
60.78/60.84	c total clause space: 48.1602MB
60.78/60.84	c total #watches: 551518
89.18/89.29	c total #propagations: 7814332 / total #impl: 449813136 (eff. 0.017)
89.18/89.29	c #Conflicts:       9000 | #Learnt:       4344 | 0.000
89.18/89.29	c total clause space: 78.2603MB
89.18/89.29	c total #watches: 696806
116.07/116.19	c total #propagations: 8923383 / total #impl: 600058009 (eff. 0.015)
116.07/116.19	c GARBAGE COLLECT
116.07/116.19	c #Conflicts:      10000 | #Learnt:       2842 | 0.000
116.07/116.19	c total clause space: 78.2603MB
116.07/116.19	c total #watches: 491188
130.66/130.79	c total #propagations: 9864478 / total #impl: 723964678 (eff. 0.014)
130.66/130.79	c #Conflicts:      11000 | #Learnt:       3842 | 0.000
130.66/130.79	c total clause space: 78.2603MB
130.66/130.79	c total #watches: 617175
145.57/145.63	c total #propagations: 10616238 / total #impl: 829781786 (eff. 0.013)
145.57/145.63	c #Conflicts:      12000 | #Learnt:       4842 | 0.000
145.57/145.63	c total clause space: 78.2603MB
145.57/145.63	c total #watches: 735335
171.86/171.98	c total #propagations: 11270972 / total #impl: 917424623 (eff. 0.012)
171.86/171.98	c #Conflicts:      13000 | #Learnt:       5842 | 0.000
171.86/171.98	c total clause space: 78.2603MB
171.86/171.98	c total #watches: 926039
195.65/195.77	c total #propagations: 11980225 / total #impl: 1052291727 (eff. 0.011)
195.65/195.77	c GARBAGE COLLECT
195.65/195.77	c #Conflicts:      14000 | #Learnt:       4007 | 0.000
195.65/195.77	c total clause space: 78.2603MB
195.65/195.77	c total #watches: 692139
221.95/222.05	c total #propagations: 12781890 / total #impl: 1143494027 (eff. 0.011)
221.95/222.05	c #Conflicts:      15000 | #Learnt:       5007 | 0.000
221.95/222.05	c total clause space: 78.2603MB
221.95/222.05	c total #watches: 827160
261.75/261.85	c total #propagations: 13459605 / total #impl: 1267822313 (eff. 0.011)
261.75/261.85	c #Conflicts:      16000 | #Learnt:       6007 | 0.000
261.75/261.85	c total clause space: 78.2603MB
261.75/261.85	c total #watches: 1004254
288.95/289.00	c total #propagations: 14318597 / total #impl: 1448309901 (eff. 0.010)
288.95/289.00	c GARBAGE COLLECT
288.95/289.00	c #Conflicts:      17000 | #Learnt:       3845 | 0.000
288.95/289.00	c total clause space: 78.2603MB
288.95/289.01	c total #watches: 621445
307.44/307.60	c total #propagations: 15063259 / total #impl: 1603492697 (eff. 0.009)
307.44/307.60	c #Conflicts:      18000 | #Learnt:       4845 | 0.000
307.44/307.60	c total clause space: 78.2603MB
307.44/307.60	c total #watches: 736699
329.94/330.07	c total #propagations: 15724961 / total #impl: 1719373468 (eff. 0.009)
329.94/330.07	c #Conflicts:      19000 | #Learnt:       5845 | 0.000
329.94/330.07	c total clause space: 127.173MB
329.94/330.07	c total #watches: 861079
363.63/363.74	c total #propagations: 16383593 / total #impl: 1830054307 (eff. 0.009)
363.63/363.74	c #Conflicts:      20000 | #Learnt:       6845 | 0.000
363.63/363.74	c total clause space: 127.173MB
363.63/363.74	c total #watches: 979246
402.53/402.62	c total #propagations: 17118293 / total #impl: 1962256902 (eff. 0.009)
402.53/402.62	c GARBAGE COLLECT
402.53/402.62	c #Conflicts:      21000 | #Learnt:       4341 | 0.000
402.53/402.62	c total clause space: 127.173MB
402.53/402.62	c total #watches: 655686
429.52/429.67	c total #propagations: 18234228 / total #impl: 2115469527 (eff. 0.009)
429.52/429.67	c #Conflicts:      22000 | #Learnt:       5341 | 0.001
429.52/429.67	c total clause space: 127.173MB
429.52/429.67	c total #watches: 832837
470.61/470.79	c total #propagations: 19091110 / total #impl: 2254344871 (eff. 0.008)
470.61/470.79	c #Conflicts:      23000 | #Learnt:       6341 | 0.001
470.61/470.79	c total clause space: 127.173MB
470.61/470.79	c total #watches: 1000966
517.02/517.17	c total #propagations: 19869481 / total #impl: 2430859091 (eff. 0.008)
517.02/517.17	c #Conflicts:      24000 | #Learnt:       7341 | 0.001
517.02/517.17	c total clause space: 127.173MB
517.02/517.17	c total #watches: 1115422
564.50/564.67	c total #propagations: 20556358 / total #impl: 2610801028 (eff. 0.008)
564.50/564.67	c GARBAGE COLLECT
564.50/564.67	c #Conflicts:      25000 | #Learnt:       4533 | 0.001
564.50/564.67	c total clause space: 127.173MB
564.50/564.67	c total #watches: 694882
590.00/590.19	c total #propagations: 21672496 / total #impl: 2818856120 (eff. 0.008)
590.00/590.19	c #Conflicts:      26000 | #Learnt:       5533 | 0.001
590.00/590.19	c total clause space: 127.173MB
590.00/590.19	c total #watches: 881528
638.89/639.03	c total #propagations: 22323773 / total #impl: 2914493287 (eff. 0.008)
638.89/639.03	c #Conflicts:      27000 | #Learnt:       6533 | 0.001
638.89/639.03	c total clause space: 127.173MB
638.89/639.03	c total #watches: 1076035
713.18/713.39	c total #propagations: 23123039 / total #impl: 3078871794 (eff. 0.008)
713.18/713.39	c #Conflicts:      28000 | #Learnt:       7533 | 0.001
713.18/713.39	c total clause space: 127.173MB
713.18/713.39	c total #watches: 1304039
782.47/782.65	c total #propagations: 24003360 / total #impl: 3285032198 (eff. 0.007)
782.47/782.65	c GARBAGE COLLECT
782.47/782.65	c #Conflicts:      29000 | #Learnt:       4439 | 0.003
782.47/782.65	c total clause space: 127.173MB
782.47/782.65	c total #watches: 939031
859.86/860.07	c total #propagations: 24749119 / total #impl: 3501516083 (eff. 0.007)
859.86/860.07	c #Conflicts:      30000 | #Learnt:       5439 | 0.003
859.86/860.07	c total clause space: 127.173MB
859.86/860.07	c total #watches: 1185955
959.44/959.67	c total #propagations: 25627678 / total #impl: 3688765784 (eff. 0.007)
959.44/959.67	c #Conflicts:      31000 | #Learnt:       6439 | 0.003
959.44/959.67	c total clause space: 127.173MB
959.44/959.67	c total #watches: 1418221
1088.42/1088.69	c total #propagations: 26361386 / total #impl: 3854513504 (eff. 0.007)
1088.42/1088.69	c #Conflicts:      32000 | #Learnt:       7439 | 0.003
1088.42/1088.69	c total clause space: 127.173MB
1088.42/1088.69	c total #watches: 1597379
1227.20/1227.40	c total #propagations: 27188674 / total #impl: 4111277905 (eff. 0.007)
1227.20/1227.40	c #Conflicts:      33000 | #Learnt:       8439 | 0.003
1227.20/1227.40	c total clause space: 206.656MB
1227.20/1227.40	c total #watches: 1797055
1318.69/1318.94	c total #propagations: 27952356 / total #impl: 4328754110 (eff. 0.006)
1318.69/1318.94	c GARBAGE COLLECT
1318.69/1318.94	c #Conflicts:      34000 | #Learnt:       5092 | 0.003
1318.69/1318.94	c total clause space: 206.656MB
1318.69/1318.94	c total #watches: 952532
1427.17/1427.47	c total #propagations: 28521153 / total #impl: 4492411159 (eff. 0.006)
1427.17/1427.47	c #Conflicts:      35000 | #Learnt:       6092 | 0.003
1427.17/1427.47	c total clause space: 206.656MB
1427.17/1427.47	c total #watches: 1085305
1521.65/1521.93	c total #propagations: 29361808 / total #impl: 4651452365 (eff. 0.006)
1521.65/1521.93	c #Conflicts:      36000 | #Learnt:       7092 | 0.003
1521.65/1521.93	c total clause space: 206.656MB
1521.65/1521.93	c total #watches: 1292332
1676.33/1676.61	c total #propagations: 29944902 / total #impl: 4820258143 (eff. 0.006)
1676.33/1676.61	c #Conflicts:      37000 | #Learnt:       8092 | 0.002
1676.33/1676.61	c total clause space: 206.656MB
1676.33/1676.61	c total #watches: 1425621

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

pid=32561
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.35 2.25 2.12 4/176 32564
/proc/meminfo: memFree=29880136/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=29104 CPUtime=0 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 268 0 0 0 0 0 0 0 20 0 1 0 125000571 29802496 5260 33554432000 4194304 6199737 140734936844016 140736234054888 4209488 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 7276 5260 122 490 0 6777 0

[startup+0.100122 s]
/proc/loadavg: 2.35 2.25 2.12 4/176 32564
/proc/meminfo: memFree=29880136/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=34516 CPUtime=0.09 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 1457 0 0 0 9 0 0 0 20 0 1 0 125000571 35344384 7585 33554432000 4194304 6199737 140734936844016 140736234054888 4759616 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 8629 7586 134 490 0 8130 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34516

[startup+0.200334 s]
/proc/loadavg: 2.35 2.25 2.12 4/176 32564
/proc/meminfo: memFree=29880136/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=37584 CPUtime=0.19 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 1857 0 0 0 19 0 0 0 20 0 1 0 125000571 38486016 8368 33554432000 4194304 6199737 140734936844016 140736234054888 4213314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 9396 8368 139 490 0 8897 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37584

[startup+0.300271 s]
/proc/loadavg: 2.35 2.25 2.12 4/176 32564
/proc/meminfo: memFree=29880136/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=37980 CPUtime=0.29 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 1941 0 0 0 29 0 0 0 20 0 1 0 125000571 38891520 8452 33554432000 4194304 6199737 140734936844016 140736234054888 4213473 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 9495 8452 139 490 0 8996 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37980

[startup+0.700258 s]
/proc/loadavg: 2.35 2.25 2.12 4/176 32564
/proc/meminfo: memFree=29880136/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=42792 CPUtime=0.69 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 2397 0 0 0 69 0 0 0 20 0 1 0 125000571 43819008 8776 33554432000 4194304 6199737 140734936844016 140736234054888 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 10698 8776 139 490 0 10199 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42792

[startup+1.50026 s]
/proc/loadavg: 2.35 2.25 2.12 4/177 32565
/proc/meminfo: memFree=29830944/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=43524 CPUtime=1.49 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 2843 0 0 0 149 0 0 0 20 0 1 0 125000571 44568576 9628 33554432000 4194304 6199737 140734936844016 140734936842952 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 10881 9628 139 490 0 10382 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43524

[startup+3.10029 s]
/proc/loadavg: 2.35 2.25 2.12 3/177 32565
/proc/meminfo: memFree=29823872/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=51628 CPUtime=3.09 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 3627 0 0 0 309 0 0 0 20 0 1 0 125000571 52867072 11226 33554432000 4194304 6199737 140734936844016 140734936842952 4222221 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 12907 11226 155 490 0 12408 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51628

[startup+6.3003 s]
/proc/loadavg: 2.32 2.24 2.12 3/177 32565
/proc/meminfo: memFree=29812100/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=64184 CPUtime=6.28 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 5035 0 0 0 628 0 0 0 20 0 1 0 125000571 65724416 12627 33554432000 4194304 6199737 140734936844016 140734936842952 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 16046 12627 161 490 0 15547 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 64184

[startup+12.7003 s]
/proc/loadavg: 2.29 2.24 2.12 4/177 32565
/proc/meminfo: memFree=29798164/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=65592 CPUtime=12.69 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 5493 0 0 0 1268 1 0 0 20 0 1 0 125000571 67166208 14606 33554432000 4194304 6199737 140734936844016 140734936842664 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 16398 14606 161 490 0 15899 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65592

[startup+25.5003 s]
/proc/loadavg: 2.30 2.24 2.12 3/177 32565
/proc/meminfo: memFree=29781672/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=85724 CPUtime=25.49 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 6471 0 0 0 2548 1 0 0 20 0 1 0 125000571 87781376 16287 33554432000 4194304 6199737 140734936844016 140734936842952 4213314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 21431 16287 161 490 0 20932 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85724

[startup+51.1003 s]
/proc/loadavg: 2.27 2.24 2.13 3/176 32565
/proc/meminfo: memFree=29758904/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=88260 CPUtime=51.09 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 7323 0 0 0 5107 2 0 0 20 0 1 0 125000571 90378240 20667 33554432000 4194304 6199737 140734936844016 140734936842952 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 22065 20667 161 490 0 21566 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 88260

[startup+102.3 s]
/proc/loadavg: 2.28 2.24 2.13 3/177 32567
/proc/meminfo: memFree=29722072/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=121612 CPUtime=102.28 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 8478 0 0 0 10226 2 0 0 20 0 1 0 125000571 124530688 23176 33554432000 4194304 6199737 140734936844016 140734936842952 4213296 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 30403 23176 161 490 0 29904 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 121612

[startup+162.3 s]
/proc/loadavg: 2.15 2.21 2.13 3/177 32568
/proc/meminfo: memFree=29690044/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=124204 CPUtime=162.26 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 9448 0 0 0 16223 3 0 0 20 0 1 0 125000571 127184896 27070 33554432000 4194304 6199737 140734936844016 140734936842952 4213515 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 31051 27070 161 490 0 30552 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 124204

[startup+222.307 s]
/proc/loadavg: 2.20 2.22 2.13 3/177 32569
/proc/meminfo: memFree=29674172/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=125528 CPUtime=222.26 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 9862 0 0 0 22223 3 0 0 20 0 1 0 125000571 128540672 28475 33554432000 4194304 6199737 140734936844016 140734936842952 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 31382 28475 161 490 0 30883 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 125528

[startup+282.3 s]
/proc/loadavg: 2.21 2.22 2.13 3/177 32570
/proc/meminfo: memFree=29659464/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=127248 CPUtime=282.25 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 10305 0 0 0 28221 4 0 0 20 0 1 0 125000571 130301952 30447 33554432000 4194304 6199737 140734936844016 140734936842952 4223968 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 31812 30447 161 490 0 31313 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 127248

[startup+342.3 s]
/proc/loadavg: 2.21 2.22 2.14 3/177 32571
/proc/meminfo: memFree=29651208/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=178488 CPUtime=342.24 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 10826 0 0 0 34220 4 0 0 20 0 1 0 125000571 182771712 32465 33554432000 4194304 6199737 140734936844016 140734936842952 4213298 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 44622 32465 161 490 0 44123 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 178488

[startup+402.3 s]
/proc/loadavg: 2.17 2.21 2.14 3/178 32576
/proc/meminfo: memFree=29636944/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=179416 CPUtime=402.22 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 11303 0 0 0 40218 4 0 0 20 0 1 0 125000571 183721984 35755 33554432000 4194304 6199737 140734936844016 140734936842952 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 44854 35755 161 490 0 44355 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 179416

[startup+462.3 s]
/proc/loadavg: 2.10 2.18 2.13 3/177 32577
/proc/meminfo: memFree=29634612/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=180572 CPUtime=462.21 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 11600 0 0 0 46217 4 0 0 20 0 1 0 125000571 184905728 36052 33554432000 4194304 6199737 140734936844016 140734936842664 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 45143 36052 161 490 0 44644 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 180572

[startup+522.3 s]
/proc/loadavg: 2.11 2.16 2.12 3/177 32578
/proc/meminfo: memFree=29630176/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=181588 CPUtime=522.21 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 12069 0 0 0 52216 5 0 0 20 0 1 0 125000571 185946112 37007 33554432000 4194304 6199737 140734936844016 140734936842952 4213306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 45397 37007 161 490 0 44898 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 181588

[startup+582.3 s]
/proc/loadavg: 2.04 2.13 2.11 3/177 32579
/proc/meminfo: memFree=29626392/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=182040 CPUtime=582.2 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 12226 0 0 0 58215 5 0 0 20 0 1 0 125000571 186408960 37653 33554432000 4194304 6199737 140734936844016 140734936842952 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 45510 37653 161 490 0 45011 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 182040


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


[startup+942.3 s]
/proc/loadavg: 2.13 2.14 2.11 3/177 32586
/proc/meminfo: memFree=29602060/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=186316 CPUtime=942.14 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 13550 0 0 0 94208 6 0 0 20 0 1 0 125000571 190787584 42383 33554432000 4194304 6199737 140734936844016 140734936842952 4213314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 46579 42383 161 490 0 46080 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 186316

[startup+1002.3 s]
/proc/loadavg: 2.17 2.16 2.11 3/178 32591
/proc/meminfo: memFree=29600368/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=186964 CPUtime=1002.13 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 13714 0 0 0 100207 6 0 0 20 0 1 0 125000571 191451136 42547 33554432000 4194304 6199737 140734936844016 140734936842808 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 46741 42547 161 490 0 46242 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 186964

[startup+1062.3 s]
/proc/loadavg: 2.17 2.16 2.11 3/177 32592
/proc/meminfo: memFree=29595788/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=187932 CPUtime=1062.12 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 14010 0 0 0 106206 6 0 0 20 0 1 0 125000571 192442368 42791 33554432000 4194304 6199737 140734936844016 140734936842952 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 46983 42791 161 490 0 46484 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 187932

[startup+1122.3 s]
/proc/loadavg: 2.22 2.17 2.12 4/177 32593
/proc/meminfo: memFree=29587656/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=188808 CPUtime=1122.12 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 14427 0 0 0 112205 7 0 0 20 0 1 0 125000571 193339392 44550 33554432000 4194304 6199737 140734936844016 140734936842952 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 47202 44550 161 490 0 46703 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 188808

[startup+1182.3 s]
/proc/loadavg: 2.19 2.17 2.11 3/177 32594
/proc/meminfo: memFree=29564076/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=189620 CPUtime=1182.1 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 14799 0 0 0 118203 7 0 0 20 0 1 0 125000571 194170880 46287 33554432000 4194304 6199737 140734936844016 140734936842952 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 47405 46287 161 490 0 46906 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 189620

[startup+1242.3 s]
/proc/loadavg: 2.25 2.18 2.12 3/177 32595
/proc/meminfo: memFree=29510520/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=271940 CPUtime=1242.1 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 16134 0 0 0 124201 9 0 0 20 0 1 0 125000571 278466560 58466 33554432000 4194304 6199737 140734936844016 140734936842840 4213238 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 67985 58466 161 490 0 67486 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 271940

[startup+1302.3 s]
/proc/loadavg: 2.17 2.18 2.12 3/177 32597
/proc/meminfo: memFree=29462988/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=272524 CPUtime=1302.09 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 17674 0 0 0 130199 10 0 0 20 0 1 0 125000571 279064576 66487 33554432000 4194304 6199737 140734936844016 140734936842952 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 68131 66487 161 490 0 67632 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 272524

[startup+1362.3 s]
/proc/loadavg: 2.13 2.17 2.12 3/177 32598
/proc/meminfo: memFree=29462984/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=272800 CPUtime=1362.08 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 17799 0 0 0 136198 10 0 0 20 0 1 0 125000571 279347200 66553 33554432000 4194304 6199737 140734936844016 140734936842952 4213489 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 68200 66553 161 490 0 67701 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 272800

[startup+1422.3 s]
/proc/loadavg: 2.16 2.17 2.12 3/177 32599
/proc/meminfo: memFree=29462364/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=272860 CPUtime=1422.07 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 18012 0 0 0 142197 10 0 0 20 0 1 0 125000571 279408640 66754 33554432000 4194304 6199737 140734936844016 140734936842952 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 68215 66754 161 490 0 67716 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 272860

[startup+1482.3 s]
/proc/loadavg: 2.17 2.17 2.11 3/177 32600
/proc/meminfo: memFree=29461848/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=273100 CPUtime=1482.06 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 18058 0 0 0 148196 10 0 0 20 0 1 0 125000571 279654400 66800 33554432000 4194304 6199737 140734936844016 140734936842952 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 68275 66800 161 490 0 67776 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 273100

[startup+1542.31 s]
/proc/loadavg: 2.17 2.16 2.11 4/178 32604
/proc/meminfo: memFree=29460948/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=273344 CPUtime=1542.06 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 18127 0 0 0 154196 10 0 0 20 0 1 0 125000571 279904256 66869 33554432000 4194304 6199737 140734936844016 140734936842952 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 68336 66869 161 490 0 67837 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 273344

[startup+1602.3 s]
/proc/loadavg: 2.19 2.16 2.11 3/178 32606
/proc/meminfo: memFree=29460980/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=273872 CPUtime=1602.04 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 18257 0 0 0 160194 10 0 0 20 0 1 0 125000571 280444928 66999 33554432000 4194304 6199737 140734936844016 140734936842952 4213296 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 68468 66999 161 490 0 67969 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 273872

[startup+1662.3 s]
/proc/loadavg: 2.11 2.14 2.11 3/177 32607
/proc/meminfo: memFree=29440828/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=274316 CPUtime=1662.03 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 18489 0 0 0 166193 10 0 0 20 0 1 0 125000571 280899584 67101 33554432000 4194304 6199737 140734936844016 140734936842952 4213296 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 68579 67101 161 490 0 68080 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 274316

[startup+1722.3 s]
/proc/loadavg: 2.23 2.16 2.11 3/177 32608
/proc/meminfo: memFree=29439212/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=275552 CPUtime=1722.02 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 19566 0 0 0 172192 10 0 0 20 0 1 0 125000571 282165248 67472 33554432000 4194304 6199737 140734936844016 140734936842952 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 68888 67472 161 490 0 68389 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 275552

[startup+1782.3 s]
/proc/loadavg: 2.24 2.18 2.12 4/177 32609
/proc/meminfo: memFree=29426752/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=408472 CPUtime=1782.01 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 19905 0 0 0 178190 11 0 0 20 0 1 0 125000571 418275328 70267 33554432000 4194304 6199737 140734936844016 140734936842952 4213493 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 102118 70267 161 490 0 101619 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 408472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.26 2.18 2.12 3/177 32609
/proc/meminfo: memFree=29425076/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=408472 CPUtime=1800.01 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 19914 0 0 0 179990 11 0 0 20 0 1 0 125000571 418275328 71298 33554432000 4194304 6199737 140734936844016 140734936842952 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 102118 71298 161 490 0 101619 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 408472

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

[startup+1800.3 s]
/proc/loadavg: 2.26 2.18 2.12 3/177 32609
/proc/meminfo: memFree=29425076/32872528 swapFree=13072/1184284
[pid=32564] ppid=32561 vsize=408472 CPUtime=1800.01 cores=1,3,5,7
/proc/32564/stat : 32564 (cdcl-cuttingpla) R 32561 32564 32223 0 -1 4202496 19914 0 0 0 179990 11 0 0 20 0 1 0 125000571 418275328 71298 33554432000 4194304 6199737 140734936844016 140734936842952 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32564/statm: 102118 71298 161 490 0 101619 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 408472

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.117982
maximum resident set size= 285192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19914
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= 13
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.73413 second user time and 7.72382 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-09 02:04:19
IDJOB=4087228
IDBENCH=90190
IDSOLVER=2548
FILE ID=node115/4087228-1465430659
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_K138.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087228-1465430659/watcher-4087228-1465430659 -o /tmp/evaluation-result-4087228-1465430659/solver-4087228-1465430659 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1465427057-32240 --watchdog 1960 --input HOME/instance-4087228-1465430659.opb ./cdcl-cuttingplanes-release

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

MD5SUM BENCH= b6be79d7c894904bfb5f7c9acfb80f53
RANDOM SEED=2033579899

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:        29881292 kB
Buffers:           98864 kB
Cached:           919704 kB
SwapCached:         1732 kB
Active:           624608 kB
Inactive:         427336 kB
Active(anon):      32316 kB
Inactive(anon):     3280 kB
Active(file):     592292 kB
Inactive(file):   424056 kB
Unevictable:     1184284 kB
Mlocked:           13072 kB
SwapTotal:      67108856 kB
SwapFree:       67098844 kB
Dirty:              7316 kB
Writeback:            40 kB
AnonPages:       1196404 kB
Mapped:             8880 kB
Shmem:                 0 kB
Slab:             622804 kB
SReclaimable:      66784 kB
SUnreclaim:       556020 kB
KernelStack:        1480 kB
PageTables:         6212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1336004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1179648 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:34:19