Trace number 4087208

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K68.opb
MD5SUM506a6fce450974b6f48fc0e3b77d8777
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark40.6388
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3740
Total number of constraints3878
Number of constraints which are clauses3810
Number of constraints which are cardinality constraints (but not clauses)68
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint68
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 69
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= 3740 #constraint= 3878
0.54/0.64	c #Conflicts:       1000 | #Learnt:        996 | 0.000
0.54/0.64	c total clause space: 6.90675MB
0.54/0.64	c total #watches: 61251
2.14/2.21	c total #propagations: 276185 / total #impl: 4905033 (eff. 0.056)
2.14/2.21	c #Conflicts:       2000 | #Learnt:       1996 | 0.000
2.14/2.21	c total clause space: 11.2235MB
2.14/2.21	c total #watches: 113178
4.45/4.51	c total #propagations: 539197 / total #impl: 18242419 (eff. 0.030)
4.45/4.51	c GARBAGE COLLECT
4.45/4.51	c #Conflicts:       3000 | #Learnt:       2019 | 0.000
4.45/4.51	c total clause space: 18.2382MB
4.45/4.51	c total #watches: 148020
12.54/12.62	c total #propagations: 780322 / total #impl: 43329484 (eff. 0.018)
12.54/12.62	c #Conflicts:       4000 | #Learnt:       3019 | 0.000
12.54/12.62	c total clause space: 29.637MB
12.54/12.62	c total #watches: 240869
20.13/20.24	c total #propagations: 1070524 / total #impl: 85457019 (eff. 0.013)
20.13/20.24	c GARBAGE COLLECT
20.13/20.24	c #Conflicts:       5000 | #Learnt:       2382 | 0.000
20.13/20.24	c total clause space: 29.637MB
20.13/20.24	c total #watches: 216443
30.74/30.89	c total #propagations: 1319931 / total #impl: 124069340 (eff. 0.011)
30.74/30.89	c #Conflicts:       6000 | #Learnt:       3382 | 0.000
30.74/30.89	c total clause space: 29.637MB
30.74/30.89	c total #watches: 282767
43.13/43.23	c total #propagations: 1587281 / total #impl: 164333042 (eff. 0.010)
43.13/43.23	c GARBAGE COLLECT
43.13/43.23	c #Conflicts:       7000 | #Learnt:       2258 | 0.000
43.13/43.23	c total clause space: 48.1602MB
43.13/43.23	c total #watches: 193522
51.63/51.71	c total #propagations: 1852482 / total #impl: 214037554 (eff. 0.009)
51.63/51.71	c #Conflicts:       8000 | #Learnt:       3258 | 0.000
51.63/51.71	c total clause space: 48.1602MB
51.63/51.71	c total #watches: 261841
67.82/67.99	c total #propagations: 2124181 / total #impl: 254455435 (eff. 0.008)
67.82/67.99	c #Conflicts:       9000 | #Learnt:       4258 | 0.000
67.82/67.99	c total clause space: 48.1602MB
67.82/67.99	c total #watches: 370881
87.23/87.33	c total #propagations: 2406434 / total #impl: 307753900 (eff. 0.008)
87.23/87.33	c GARBAGE COLLECT
87.23/87.33	c #Conflicts:      10000 | #Learnt:       2755 | 0.000
87.23/87.33	c total clause space: 78.2603MB
87.23/87.33	c total #watches: 254479
103.93/104.05	c total #propagations: 2654085 / total #impl: 353537797 (eff. 0.008)
103.93/104.05	c #Conflicts:      11000 | #Learnt:       3755 | 0.000
103.93/104.05	c total clause space: 78.2603MB
103.93/104.05	c total #watches: 320315
129.62/129.70	c total #propagations: 2926916 / total #impl: 396222323 (eff. 0.007)
129.62/129.70	c #Conflicts:      12000 | #Learnt:       4755 | 0.000
129.62/129.70	c total clause space: 78.2603MB
129.62/129.70	c total #watches: 440265
177.21/177.32	c total #propagations: 3217676 / total #impl: 450132190 (eff. 0.007)
177.21/177.32	c #Conflicts:      13000 | #Learnt:       5755 | 0.000
177.21/177.32	c total clause space: 78.2603MB
177.21/177.32	c total #watches: 551736
197.01/197.11	c total #propagations: 3595230 / total #impl: 534314007 (eff. 0.007)
197.01/197.11	c GARBAGE COLLECT
197.01/197.11	c #Conflicts:      14000 | #Learnt:       3885 | 0.000
197.01/197.11	c total clause space: 78.2603MB
197.01/197.11	c total #watches: 390921
222.51/222.63	c total #propagations: 3850173 / total #impl: 579288086 (eff. 0.007)
222.51/222.63	c #Conflicts:      15000 | #Learnt:       4885 | 0.000
222.51/222.63	c total clause space: 78.2603MB
222.51/222.63	c total #watches: 456111
257.50/257.65	c total #propagations: 4094728 / total #impl: 628055650 (eff. 0.007)
257.50/257.65	c #Conflicts:      16000 | #Learnt:       5885 | 0.000
257.50/257.65	c total clause space: 127.173MB
257.50/257.65	c total #watches: 570356
312.69/312.84	c total #propagations: 4342238 / total #impl: 732139220 (eff. 0.006)
312.69/312.84	c GARBAGE COLLECT
312.69/312.84	c #Conflicts:      17000 | #Learnt:       3714 | 0.000
312.69/312.84	c total clause space: 127.173MB
312.69/312.84	c total #watches: 429437
362.28/362.44	c total #propagations: 4675064 / total #impl: 843478452 (eff. 0.006)
362.28/362.44	c #Conflicts:      18000 | #Learnt:       4714 | 0.000
362.28/362.44	c total clause space: 127.173MB
362.28/362.44	c total #watches: 583818
427.28/427.46	c total #propagations: 4939182 / total #impl: 1002812004 (eff. 0.005)
427.28/427.46	c #Conflicts:      19000 | #Learnt:       5714 | 0.000
427.28/427.46	c total clause space: 127.173MB
427.28/427.46	c total #watches: 720793
503.46/503.60	c total #propagations: 5222259 / total #impl: 1160484460 (eff. 0.005)
503.46/503.60	c #Conflicts:      20000 | #Learnt:       6714 | 0.000
503.46/503.60	c total clause space: 127.173MB
503.46/503.60	c total #watches: 818224
561.96/562.11	c total #propagations: 5490371 / total #impl: 1240104802 (eff. 0.004)
561.96/562.11	c GARBAGE COLLECT
561.96/562.11	c #Conflicts:      21000 | #Learnt:       4229 | 0.000
561.96/562.11	c total clause space: 127.173MB
561.96/562.11	c total #watches: 499885
615.05/615.20	c total #propagations: 5778960 / total #impl: 1325315617 (eff. 0.004)
615.05/615.20	c #Conflicts:      22000 | #Learnt:       5229 | 0.000
615.05/615.20	c total clause space: 127.173MB
615.05/615.20	c total #watches: 604930
687.73/687.94	c total #propagations: 6084790 / total #impl: 1398897368 (eff. 0.004)
687.73/687.94	c #Conflicts:      23000 | #Learnt:       6229 | 0.000
687.73/687.94	c total clause space: 127.173MB
687.73/687.94	c total #watches: 714426
790.72/790.93	c total #propagations: 6395317 / total #impl: 1494100483 (eff. 0.004)
790.72/790.93	c #Conflicts:      24000 | #Learnt:       7229 | 0.000
790.72/790.93	c total clause space: 127.173MB
790.72/790.93	c total #watches: 871879
851.61/851.84	c total #propagations: 6760658 / total #impl: 1627569554 (eff. 0.004)
851.61/851.84	c GARBAGE COLLECT
851.61/851.84	c #Conflicts:      25000 | #Learnt:       4433 | 0.000
851.61/851.84	c total clause space: 127.173MB
851.61/851.84	c total #watches: 569789
924.10/924.39	c total #propagations: 7015718 / total #impl: 1736123726 (eff. 0.004)
924.10/924.39	c #Conflicts:      26000 | #Learnt:       5433 | 0.000
924.10/924.39	c total clause space: 127.173MB
924.10/924.39	c total #watches: 728758
1006.48/1006.72	c total #propagations: 7334593 / total #impl: 1883468638 (eff. 0.004)
1006.48/1006.72	c #Conflicts:      27000 | #Learnt:       6433 | 0.000
1006.48/1006.72	c total clause space: 127.173MB
1006.48/1006.72	c total #watches: 842701
1110.37/1110.60	c total #propagations: 7589503 / total #impl: 2007936782 (eff. 0.004)
1110.37/1110.60	c #Conflicts:      28000 | #Learnt:       7433 | 0.001
1110.37/1110.60	c total clause space: 206.656MB
1110.37/1110.60	c total #watches: 1007112
1235.16/1235.47	c total #propagations: 7862322 / total #impl: 2124698046 (eff. 0.004)
1235.16/1235.47	c GARBAGE COLLECT
1235.16/1235.47	c #Conflicts:      29000 | #Learnt:       4345 | 0.000
1235.16/1235.47	c total clause space: 206.656MB
1235.16/1235.47	c total #watches: 620348
1308.64/1308.99	c total #propagations: 8124246 / total #impl: 2312538181 (eff. 0.004)
1308.64/1308.99	c #Conflicts:      30000 | #Learnt:       5345 | 0.001
1308.64/1308.99	c total clause space: 206.656MB
1308.64/1308.99	c total #watches: 772697
1413.02/1413.30	c total #propagations: 8392726 / total #impl: 2435942561 (eff. 0.003)
1413.02/1413.30	c #Conflicts:      31000 | #Learnt:       6345 | 0.000
1413.02/1413.30	c total clause space: 206.656MB
1413.02/1413.30	c total #watches: 973928
1551.40/1551.73	c total #propagations: 8662011 / total #impl: 2567331652 (eff. 0.003)
1551.40/1551.73	c #Conflicts:      32000 | #Learnt:       7345 | 0.000
1551.40/1551.73	c total clause space: 206.656MB
1551.40/1551.73	c total #watches: 1177122
1740.28/1740.62	c total #propagations: 8908459 / total #impl: 2706190664 (eff. 0.003)
1740.28/1740.62	c #Conflicts:      33000 | #Learnt:       8345 | 0.000
1740.28/1740.62	c total clause space: 206.656MB
1740.28/1740.62	c total #watches: 1320967

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-4087208-1465434246/watcher-4087208-1465434246 -o /tmp/evaluation-result-4087208-1465434246/solver-4087208-1465434246 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465427044-31682 --watchdog 1960 --input HOME/instance-4087208-1465434246.opb ./cdcl-cuttingplanes-release 

pid=32282
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.06 2.08 2.09 3/172 32286
/proc/meminfo: memFree=29779064/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=29104 CPUtime=0 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 270 0 0 0 0 0 0 0 20 0 1 0 125357796 29802496 5261 33554432000 4194304 6199737 140736776344368 140736373591192 4209408 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/32286/statm: 7276 5261 122 490 0 6777 0

[startup+0.100184 s]
/proc/loadavg: 2.06 2.08 2.09 3/172 32286
/proc/meminfo: memFree=29779064/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=34092 CPUtime=0.09 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 1259 0 0 0 9 0 0 0 20 0 1 0 125357796 34910208 7435 33554432000 4194304 6199737 140736776344368 140736373591192 5149722 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/32286/statm: 8523 7435 139 490 0 8024 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34092

[startup+0.200367 s]
/proc/loadavg: 2.06 2.08 2.09 3/172 32286
/proc/meminfo: memFree=29779064/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=34092 CPUtime=0.15 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 1277 0 0 0 15 0 0 0 20 0 1 0 125357796 34910208 7453 33554432000 4194304 6199737 140736776344368 140736776343304 4213381 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/32286/statm: 8523 7453 139 490 0 8024 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 34092

[startup+0.300275 s]
/proc/loadavg: 2.06 2.08 2.09 3/172 32286
/proc/meminfo: memFree=29779064/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=34216 CPUtime=0.25 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 1315 0 0 0 25 0 0 0 20 0 1 0 125357796 35037184 7491 33554432000 4194304 6199737 140736776344368 140736776343192 4213368 0 0 4096 8388610 0 0 0 17 7 0 0 0 0 0
/proc/32286/statm: 8554 7491 139 490 0 8055 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 34216

[startup+0.700124 s]
/proc/loadavg: 2.06 2.08 2.09 3/172 32286
/proc/meminfo: memFree=29779064/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=37328 CPUtime=0.64 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 1882 0 0 0 64 0 0 0 20 0 1 0 125357796 38223872 7863 33554432000 4194304 6199737 140736776344368 140736776343480 4213320 0 0 4096 8388610 0 0 0 17 7 0 0 0 0 0
/proc/32286/statm: 9332 7863 155 490 0 8833 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 37328

[startup+1.50025 s]
/proc/loadavg: 2.06 2.08 2.09 3/178 32302
/proc/meminfo: memFree=29708692/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=42256 CPUtime=1.44 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 2865 0 0 0 144 0 0 0 20 0 1 0 125357796 43270144 8487 33554432000 4194304 6199737 140736776344368 140736776343304 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 10564 8487 155 490 0 10065 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 42256

[startup+3.10024 s]
/proc/loadavg: 2.06 2.08 2.09 3/178 32302
/proc/meminfo: memFree=29700628/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=42736 CPUtime=3.04 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 3388 0 0 0 303 1 0 0 20 0 1 0 125357796 43761664 9362 33554432000 4194304 6199737 140736776344368 140736776343304 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 10684 9362 161 490 0 10185 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 42736

[startup+6.3002 s]
/proc/loadavg: 2.05 2.08 2.08 2/172 32333
/proc/meminfo: memFree=29733428/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=50576 CPUtime=6.24 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 3903 0 0 0 623 1 0 0 20 0 1 0 125357796 51789824 11311 33554432000 4194304 6199737 140736776344368 140736776343016 4213414 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 12644 11311 161 490 0 12145 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 50576

[startup+12.7002 s]
/proc/loadavg: 2.05 2.08 2.08 4/178 32348
/proc/meminfo: memFree=29680784/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=63360 CPUtime=12.64 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 4621 0 0 0 1263 1 0 0 20 0 1 0 125357796 64880640 12896 33554432000 4194304 6199737 140736776344368 140736776343480 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 15840 12896 161 490 0 15341 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 63360

[startup+25.5003 s]
/proc/loadavg: 1.95 2.06 2.08 2/171 32380
/proc/meminfo: memFree=29723108/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=63884 CPUtime=25.43 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 5305 0 0 0 2542 1 0 0 20 0 1 0 125357796 65417216 13852 33554432000 4194304 6199737 140736776344368 140736776343304 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 15971 13852 161 490 0 15472 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 63884

[startup+51.1003 s]
/proc/loadavg: 1.63 1.97 2.05 2/171 32380
/proc/meminfo: memFree=29709264/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=84040 CPUtime=51.03 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 6268 0 0 0 5102 1 0 0 20 0 1 0 125357796 86056960 17398 33554432000 4194304 6199737 140736776344368 140736776343304 4213476 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 21010 17398 161 490 0 20511 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 84040

[startup+102.3 s]
/proc/loadavg: 1.36 1.85 2.00 3/171 32381
/proc/meminfo: memFree=29687696/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=117112 CPUtime=102.23 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 7368 0 0 0 10221 2 0 0 20 0 1 0 125357796 119922688 22802 33554432000 4194304 6199737 140736776344368 140736776343480 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 29278 22802 161 490 0 28779 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 117112

[startup+162.3 s]
/proc/loadavg: 1.31 1.75 1.96 2/171 32382
/proc/meminfo: memFree=29679872/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=118720 CPUtime=162.22 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 7958 0 0 0 16220 2 0 0 20 0 1 0 125357796 121569280 24900 33554432000 4194304 6199737 140736776344368 140736776343016 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 29680 24900 161 490 0 29181 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 118720

[startup+222.307 s]
/proc/loadavg: 1.48 1.73 1.94 2/171 32383
/proc/meminfo: memFree=29675148/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=119048 CPUtime=222.21 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 8141 0 0 0 22219 2 0 0 20 0 1 0 125357796 121905152 26075 33554432000 4194304 6199737 140736776344368 140736776343304 4213476 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 29762 26075 161 490 0 29263 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 119048

[startup+282.3 s]
/proc/loadavg: 1.43 1.68 1.90 3/171 32384
/proc/meminfo: memFree=29654668/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=170112 CPUtime=282.19 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 8702 0 0 0 28217 2 0 0 20 0 1 0 125357796 174194688 31149 33554432000 4194304 6199737 140736776344368 140736776343304 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 42528 31149 161 490 0 42029 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 170112

[startup+342.3 s]
/proc/loadavg: 1.30 1.60 1.86 3/171 32386
/proc/meminfo: memFree=29650264/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=170288 CPUtime=342.18 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 9024 0 0 0 34216 2 0 0 20 0 1 0 125357796 174374912 32250 33554432000 4194304 6199737 140736776344368 140736776343192 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 42572 32250 161 490 0 42073 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 170288

[startup+402.3 s]
/proc/loadavg: 1.36 1.56 1.83 2/172 32390
/proc/meminfo: memFree=29647532/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=171024 CPUtime=402.17 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 9320 0 0 0 40215 2 0 0 20 0 1 0 125357796 175128576 33053 33554432000 4194304 6199737 140736776344368 140736776343304 4213320 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 42756 33053 161 490 0 42257 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 171024

[startup+462.3 s]
/proc/loadavg: 1.31 1.50 1.79 3/171 32391
/proc/meminfo: memFree=29628984/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=173376 CPUtime=462.17 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 9895 0 0 0 46214 3 0 0 20 0 1 0 125357796 177537024 37716 33554432000 4194304 6199737 140736776344368 140736776343016 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 43344 37716 161 490 0 42845 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 173376

[startup+522.3 s]
/proc/loadavg: 1.26 1.45 1.75 3/171 32392
/proc/meminfo: memFree=29617572/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=174372 CPUtime=522.16 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 10140 0 0 0 52213 3 0 0 20 0 1 0 125357796 178556928 40516 33554432000 4194304 6199737 140736776344368 140736776343304 4213515 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 43593 40516 161 490 0 43094 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 174372

[startup+582.3 s]
/proc/loadavg: 1.26 1.41 1.72 3/170 32393
/proc/meminfo: memFree=29616292/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=174472 CPUtime=582.15 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 10222 0 0 0 58212 3 0 0 20 0 1 0 125357796 178659328 41091 33554432000 4194304 6199737 140736776344368 140736776343480 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 43618 41091 161 490 0 43119 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 174472


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


[startup+882.307 s]
/proc/loadavg: 1.20 1.26 1.56 2/171 32400
/proc/meminfo: memFree=29613760/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=175624 CPUtime=882.11 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 10605 0 0 0 88208 3 0 0 20 0 1 0 125357796 179838976 41472 33554432000 4194304 6199737 140736776344368 140736776343480 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 43906 41472 161 490 0 43407 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 175624

[startup+942.3 s]
/proc/loadavg: 1.24 1.26 1.54 2/171 32402
/proc/meminfo: memFree=29613120/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=175648 CPUtime=942.09 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 10645 0 0 0 94206 3 0 0 20 0 1 0 125357796 179863552 41550 33554432000 4194304 6199737 140736776344368 140736776343304 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 43912 41550 161 490 0 43413 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 175648

[startup+1002.3 s]
/proc/loadavg: 1.20 1.24 1.51 3/172 32406
/proc/meminfo: memFree=29612892/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=175840 CPUtime=1002.09 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 10681 0 0 0 100206 3 0 0 20 0 1 0 125357796 180060160 41586 33554432000 4194304 6199737 140736776344368 140736776343304 4213298 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 43960 41586 161 490 0 43461 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 175840

[startup+1062.3 s]
/proc/loadavg: 1.21 1.24 1.49 2/171 32407
/proc/meminfo: memFree=29593160/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=257752 CPUtime=1062.07 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 11031 0 0 0 106204 3 0 0 20 0 1 0 125357796 263938048 46496 33554432000 4194304 6199737 140736776344368 140736776343304 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 64438 46496 161 490 0 63939 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 257752

[startup+1122.3 s]
/proc/loadavg: 1.13 1.21 1.46 2/171 32408
/proc/meminfo: memFree=29579940/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=258628 CPUtime=1122.07 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 11257 0 0 0 112203 4 0 0 20 0 1 0 125357796 264835072 49788 33554432000 4194304 6199737 140736776344368 140736776343304 4213296 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 64657 49788 161 490 0 64158 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 258628

[startup+1182.3 s]
/proc/loadavg: 1.17 1.21 1.45 3/171 32409
/proc/meminfo: memFree=29567092/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=259568 CPUtime=1182.06 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 11493 0 0 0 118202 4 0 0 20 0 1 0 125357796 265797632 53090 33554432000 4194304 6199737 140736776344368 140736776343016 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 64892 53090 161 490 0 64393 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 259568

[startup+1242.3 s]
/proc/loadavg: 1.26 1.23 1.44 3/171 32411
/proc/meminfo: memFree=29561444/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=260824 CPUtime=1242.05 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 11814 0 0 0 124201 4 0 0 20 0 1 0 125357796 267083776 54392 33554432000 4194304 6199737 140736776344368 140736776343480 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 65206 54392 161 490 0 64707 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 260824

[startup+1302.3 s]
/proc/loadavg: 1.18 1.21 1.42 2/171 32412
/proc/meminfo: memFree=29561508/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=260824 CPUtime=1302.04 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 11814 0 0 0 130200 4 0 0 20 0 1 0 125357796 267083776 54392 33554432000 4194304 6199737 140736776344368 140736776343480 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 65206 54392 161 490 0 64707 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 260824

[startup+1362.3 s]
/proc/loadavg: 1.13 1.19 1.40 3/171 32617
/proc/meminfo: memFree=29560432/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=260824 CPUtime=1362.03 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 11843 0 0 0 136199 4 0 0 20 0 1 0 125357796 267083776 54421 33554432000 4194304 6199737 140736776344368 140736776343480 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 65206 54421 161 490 0 64707 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 260824

[startup+1422.3 s]
/proc/loadavg: 1.11 1.17 1.37 2/170 32618
/proc/meminfo: memFree=29560748/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=260824 CPUtime=1422.03 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 11847 0 0 0 142199 4 0 0 20 0 1 0 125357796 267083776 54425 33554432000 4194304 6199737 140736776344368 140736776343480 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 65206 54425 161 490 0 64707 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 260824

[startup+1482.3 s]
/proc/loadavg: 1.10 1.15 1.35 2/170 32619
/proc/meminfo: memFree=29560060/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=260956 CPUtime=1482.01 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 12056 0 0 0 148197 4 0 0 20 0 1 0 125357796 267218944 54595 33554432000 4194304 6199737 140736776344368 140736776343304 4213306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 65239 54595 161 490 0 64740 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 260956

[startup+1542.31 s]
/proc/loadavg: 1.22 1.17 1.35 3/169 32620
/proc/meminfo: memFree=29560252/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=261408 CPUtime=1542.01 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 12166 0 0 0 154197 4 0 0 20 0 1 0 125357796 267681792 54705 33554432000 4194304 6199737 140736776344368 140736776343304 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 65352 54705 161 490 0 64853 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 261408

[startup+1602.3 s]
/proc/loadavg: 1.26 1.18 1.34 2/171 32625
/proc/meminfo: memFree=29559804/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=261880 CPUtime=1601.99 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 12276 0 0 0 160195 4 0 0 20 0 1 0 125357796 268165120 54815 33554432000 4194304 6199737 140736776344368 140736776343304 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 65470 54815 161 490 0 64971 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 261880

[startup+1662.3 s]
/proc/loadavg: 1.26 1.19 1.33 2/170 32626
/proc/meminfo: memFree=29559380/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=262588 CPUtime=1661.99 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 12443 0 0 0 166194 5 0 0 20 0 1 0 125357796 268890112 54982 33554432000 4194304 6199737 140736776344368 140736776343304 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 65647 54982 161 490 0 65148 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 262588

[startup+1722.3 s]
/proc/loadavg: 1.17 1.18 1.32 3/170 32627
/proc/meminfo: memFree=29559072/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=263004 CPUtime=1721.98 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 12545 0 0 0 172193 5 0 0 20 0 1 0 125357796 269316096 55084 33554432000 4194304 6199737 140736776344368 140736776343016 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 65751 55084 161 490 0 65252 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 263004

[startup+1782.3 s]
/proc/loadavg: 1.25 1.20 1.32 2/170 32628
/proc/meminfo: memFree=29549196/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=264036 CPUtime=1781.97 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 12805 0 0 0 178192 5 0 0 20 0 1 0 125357796 270372864 57388 33554432000 4194304 6199737 140736776344368 140736776343304 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 66009 57388 161 490 0 65510 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 264036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.24 1.21 1.31 2/170 32628
/proc/meminfo: memFree=29547520/32872528 swapFree=16252/1391864
[pid=32286] ppid=32282 vsize=264124 CPUtime=1800.06 cores=1,3,5,7
/proc/32286/stat : 32286 (cdcl-cuttingpla) R 32282 32286 31665 0 -1 4202496 12825 0 0 0 180001 5 0 0 20 0 1 0 125357796 270462976 57919 33554432000 4194304 6199737 140736776344368 140736776343160 4213372 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32286/statm: 66031 57919 161 490 0 65532 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 264124

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.4
CPU time (s): 1800.07
CPU user time (s): 1800.02
CPU system time (s): 0.054991
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 264124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.054991
maximum resident set size= 231676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12825
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= 11
involuntary context switches= 1934

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.00224 second user time and 6.82096 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-09 03:04:07
IDJOB=4087208
IDBENCH=90229
IDSOLVER=2548
FILE ID=node119/4087208-1465434246
RUNJOBID= node119-1465427044-31682
PBS_JOBID= 19859789
Free space on /tmp= 71736 MiB

SOLVER NAME= cdcl-cuttingplanes DEC 2016-05-01
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K68.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087208-1465434246/watcher-4087208-1465434246 -o /tmp/evaluation-result-4087208-1465434246/solver-4087208-1465434246 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465427044-31682 --watchdog 1960 --input HOME/instance-4087208-1465434246.opb ./cdcl-cuttingplanes-release

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

MD5SUM BENCH= 506a6fce450974b6f48fc0e3b77d8777
RANDOM SEED=620319550

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
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:        29776740 kB
Buffers:          148160 kB
Cached:           811400 kB
SwapCached:          816 kB
Active:           446564 kB
Inactive:         516436 kB
Active(anon):       3096 kB
Inactive(anon):     2712 kB
Active(file):     443468 kB
Inactive(file):   513724 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100208 kB
Dirty:              2356 kB
Writeback:             0 kB
AnonPages:       1386336 kB
Mapped:             7416 kB
Shmem:                 0 kB
Slab:             608552 kB
SReclaimable:      52784 kB
SUnreclaim:       555768 kB
KernelStack:        1464 kB
PageTables:         7336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1488864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1370112 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= 71736 MiB
End job on node119 at 2016-06-09 03:34:07