Trace number 4087244

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.03 1800.3

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K180.opb
MD5SUMf1881d1e83243719865906bde58f94f2
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 variables21420
Total number of constraints21782
Number of constraints which are clauses21602
Number of constraints which are cardinality constraints (but not clauses)180
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint180
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 181
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= 21420 #constraint= 21782
1.20/1.27	c #Conflicts:       1000 | #Learnt:        998 | 0.000
1.20/1.27	c total clause space: 18.2382MB
1.20/1.27	c total #watches: 162935
6.09/6.16	c total #propagations: 1617150 / total #impl: 11632106 (eff. 0.139)
6.09/6.16	c #Conflicts:       2000 | #Learnt:       1998 | 0.000
6.09/6.16	c total clause space: 29.637MB
6.09/6.16	c total #watches: 278928
17.59/17.68	c total #propagations: 2983050 / total #impl: 50298848 (eff. 0.059)
17.59/17.68	c GARBAGE COLLECT
17.59/17.68	c #Conflicts:       3000 | #Learnt:       2063 | 0.000
17.59/17.68	c total clause space: 29.637MB
17.59/17.68	c total #watches: 330232
43.09/43.12	c total #propagations: 4458543 / total #impl: 112055165 (eff. 0.040)
43.09/43.12	c #Conflicts:       4000 | #Learnt:       3063 | 0.001
43.09/43.12	c total clause space: 48.1602MB
43.09/43.12	c total #watches: 471676
62.58/62.65	c total #propagations: 6193465 / total #impl: 239861991 (eff. 0.026)
62.58/62.65	c GARBAGE COLLECT
62.58/62.65	c #Conflicts:       5000 | #Learnt:       2500 | 0.001
62.58/62.65	c total clause space: 48.1602MB
62.58/62.65	c total #watches: 539335
101.57/101.68	c total #propagations: 7203503 / total #impl: 363096364 (eff. 0.020)
101.57/101.68	c #Conflicts:       6000 | #Learnt:       3500 | 0.001
101.57/101.68	c total clause space: 48.1602MB
101.57/101.68	c total #watches: 763303
143.97/144.08	c total #propagations: 8681804 / total #impl: 548864391 (eff. 0.016)
143.97/144.08	c GARBAGE COLLECT
143.97/144.08	c #Conflicts:       7000 | #Learnt:       2371 | 0.001
143.97/144.08	c total clause space: 78.2603MB
143.97/144.08	c total #watches: 550674
175.56/175.66	c total #propagations: 9731723 / total #impl: 735164742 (eff. 0.013)
175.56/175.66	c #Conflicts:       8000 | #Learnt:       3371 | 0.001
175.56/175.66	c total clause space: 78.2603MB
175.56/175.66	c total #watches: 689937
228.86/228.91	c total #propagations: 10884111 / total #impl: 922865124 (eff. 0.012)
228.86/228.91	c #Conflicts:       9000 | #Learnt:       4371 | 0.001
228.86/228.91	c total clause space: 78.2603MB
228.86/228.91	c total #watches: 810192
283.14/283.23	c total #propagations: 12491667 / total #impl: 1134550746 (eff. 0.011)
283.14/283.23	c GARBAGE COLLECT
283.14/283.23	c #Conflicts:      10000 | #Learnt:       2887 | 0.001
283.14/283.23	c total clause space: 78.2603MB
283.14/283.23	c total #watches: 513346
311.14/311.20	c total #propagations: 14068231 / total #impl: 1345526837 (eff. 0.010)
311.14/311.20	c #Conflicts:      11000 | #Learnt:       3887 | 0.001
311.14/311.20	c total clause space: 78.2603MB
311.14/311.20	c total #watches: 644016
348.13/348.25	c total #propagations: 15409969 / total #impl: 1519731211 (eff. 0.010)
348.13/348.25	c #Conflicts:      12000 | #Learnt:       4887 | 0.001
348.13/348.25	c total clause space: 78.2603MB
348.13/348.25	c total #watches: 823082
394.52/394.66	c total #propagations: 16775878 / total #impl: 1711019251 (eff. 0.010)
394.52/394.66	c #Conflicts:      13000 | #Learnt:       5887 | 0.001
394.52/394.66	c total clause space: 78.2603MB
394.52/394.66	c total #watches: 964451
423.82/423.97	c total #propagations: 18055020 / total #impl: 1896945795 (eff. 0.010)
423.82/423.97	c GARBAGE COLLECT
423.82/423.97	c #Conflicts:      14000 | #Learnt:       4066 | 0.001
423.82/423.97	c total clause space: 78.2603MB
423.82/423.97	c total #watches: 735711
462.62/462.76	c total #propagations: 19263611 / total #impl: 2034228802 (eff. 0.009)
462.62/462.76	c #Conflicts:      15000 | #Learnt:       5066 | 0.001
462.62/462.76	c total clause space: 78.2603MB
462.62/462.76	c total #watches: 931054
514.51/514.67	c total #propagations: 20175346 / total #impl: 2254538870 (eff. 0.009)
514.51/514.67	c #Conflicts:      16000 | #Learnt:       6066 | 0.001
514.51/514.67	c total clause space: 78.2603MB
514.51/514.67	c total #watches: 1231182
558.61/558.74	c total #propagations: 20965696 / total #impl: 2491940635 (eff. 0.008)
558.61/558.74	c GARBAGE COLLECT
558.61/558.74	c #Conflicts:      17000 | #Learnt:       3923 | 0.001
558.61/558.74	c total clause space: 127.173MB
558.61/558.74	c total #watches: 990156
648.29/648.40	c total #propagations: 21563061 / total #impl: 2686465228 (eff. 0.008)
648.29/648.40	c #Conflicts:      18000 | #Learnt:       4923 | 0.004
648.29/648.40	c total clause space: 127.173MB
648.29/648.40	c total #watches: 1123306
800.57/800.71	c total #propagations: 22431328 / total #impl: 2865446454 (eff. 0.008)
800.57/800.71	c #Conflicts:      19000 | #Learnt:       5923 | 0.004
800.57/800.71	c total clause space: 127.173MB
800.57/800.71	c total #watches: 1315204
953.24/953.43	c total #propagations: 23719338 / total #impl: 3171089066 (eff. 0.007)
953.24/953.43	c #Conflicts:      20000 | #Learnt:       6923 | 0.004
953.24/953.43	c total clause space: 127.173MB
953.24/953.43	c total #watches: 1516439
1058.42/1058.67	c total #propagations: 24861587 / total #impl: 3527995132 (eff. 0.007)
1058.42/1058.67	c GARBAGE COLLECT
1058.42/1058.67	c #Conflicts:      21000 | #Learnt:       4479 | 0.004
1058.42/1058.67	c total clause space: 127.173MB
1058.42/1058.67	c total #watches: 956705
1131.41/1131.60	c total #propagations: 26122953 / total #impl: 3806136977 (eff. 0.007)
1131.41/1131.60	c #Conflicts:      22000 | #Learnt:       5479 | 0.006
1131.41/1131.60	c total clause space: 127.173MB
1131.41/1131.60	c total #watches: 1125544
1269.30/1269.56	c total #propagations: 27087108 / total #impl: 4021090547 (eff. 0.007)
1269.30/1269.56	c #Conflicts:      23000 | #Learnt:       6479 | 0.006
1269.30/1269.56	c total clause space: 127.173MB
1269.30/1269.56	c total #watches: 1334206
1392.97/1393.27	c total #propagations: 28621077 / total #impl: 4385024623 (eff. 0.007)
1392.97/1393.27	c #Conflicts:      24000 | #Learnt:       7479 | 0.006
1392.97/1393.27	c total clause space: 127.173MB
1392.97/1393.27	c total #watches: 1499316
1484.26/1484.52	c total #propagations: 29819548 / total #impl: 4749751863 (eff. 0.006)
1484.26/1484.52	c GARBAGE COLLECT
1484.26/1484.52	c #Conflicts:      25000 | #Learnt:       4619 | 0.006
1484.26/1484.52	c total clause space: 127.173MB
1484.26/1484.52	c total #watches: 896575
1538.85/1539.16	c total #propagations: 30948709 / total #impl: 5007970345 (eff. 0.006)
1538.85/1539.16	c #Conflicts:      26000 | #Learnt:       5619 | 0.006
1538.85/1539.16	c total clause space: 127.173MB
1538.85/1539.16	c total #watches: 1067422
1563.65/1563.94	c total #propagations: 31877943 / total #impl: 5183367798 (eff. 0.006)
1563.65/1563.94	c #Conflicts:      27000 | #Learnt:       6619 | 0.006
1563.65/1563.94	c total clause space: 127.173MB
1563.65/1563.94	c total #watches: 1116139
1669.54/1669.87	c total #propagations: 32306408 / total #impl: 5270610455 (eff. 0.006)
1669.54/1669.87	c #Conflicts:      28000 | #Learnt:       7619 | 0.005
1669.54/1669.87	c total clause space: 127.173MB
1669.54/1669.87	c total #watches: 1303739
1729.83/1730.18	c total #propagations: 33573876 / total #impl: 5540645786 (eff. 0.006)
1729.83/1730.18	c GARBAGE COLLECT
1729.83/1730.18	c #Conflicts:      29000 | #Learnt:       4558 | 0.005
1729.83/1730.18	c total clause space: 206.656MB
1729.83/1730.18	c total #watches: 827698
1797.52/1797.80	c total #propagations: 34271009 / total #impl: 5733962165 (eff. 0.006)
1797.52/1797.80	c #Conflicts:      30000 | #Learnt:       5558 | 0.005
1797.52/1797.80	c total clause space: 206.656MB
1797.52/1797.80	c total #watches: 1044379

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

pid=31989
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.19 2.18 2.13 2/170 31992
/proc/meminfo: memFree=29781796/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=29104 CPUtime=0 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 269 0 0 0 0 0 0 0 20 0 1 0 124997664 29802496 5260 33554432000 4194304 6199737 140735467972240 140736212594168 4209408 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 7276 5260 122 490 0 6777 0

[startup+0.100154 s]
/proc/loadavg: 2.19 2.18 2.13 2/170 31992
/proc/meminfo: memFree=29781796/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=34516 CPUtime=0.09 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 1441 0 0 0 8 1 0 0 20 0 1 0 124997664 35344384 7581 33554432000 4194304 6199737 140735467972240 140735467970472 5407536 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 8629 7581 134 490 0 8130 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34516

[startup+0.200364 s]
/proc/loadavg: 2.19 2.18 2.13 2/170 31992
/proc/meminfo: memFree=29781796/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=38100 CPUtime=0.19 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 2820 0 0 0 18 1 0 0 20 0 1 0 124997664 39014400 8458 33554432000 4194304 6199737 140735467972240 140735467970472 4208100 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 9525 8458 139 490 0 9026 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 38100

[startup+0.300343 s]
/proc/loadavg: 2.19 2.18 2.13 2/170 31992
/proc/meminfo: memFree=29781796/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=42764 CPUtime=0.29 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 2979 0 0 0 28 1 0 0 20 0 1 0 124997664 43790336 9096 33554432000 4194304 6199737 140735467972240 140735467970472 4213493 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 10691 9096 139 490 0 10192 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42764

[startup+0.700299 s]
/proc/loadavg: 2.19 2.18 2.13 2/170 31992
/proc/meminfo: memFree=29781796/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=43520 CPUtime=0.69 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 3145 0 0 0 68 1 0 0 20 0 1 0 124997664 44564480 9773 33554432000 4194304 6199737 140735467972240 140735467970472 4213564 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 10880 9773 139 490 0 10381 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43520

[startup+1.50024 s]
/proc/loadavg: 2.19 2.18 2.13 3/177 32008
/proc/meminfo: memFree=29697252/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=51416 CPUtime=1.49 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 3661 0 0 0 148 1 0 0 20 0 1 0 124997664 52649984 10702 33554432000 4194304 6199737 140735467972240 140735467971176 4217029 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 12854 10702 155 490 0 12355 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51416

[startup+3.10025 s]
/proc/loadavg: 2.19 2.18 2.13 3/177 32008
/proc/meminfo: memFree=29690428/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=52096 CPUtime=3.09 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 3861 0 0 0 308 1 0 0 20 0 1 0 124997664 53346304 11404 33554432000 4194304 6199737 140735467972240 140735467971176 4213133 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 13024 11404 155 490 0 12525 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52096

[startup+6.30024 s]
/proc/loadavg: 2.17 2.18 2.13 3/177 32008
/proc/meminfo: memFree=29683440/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=64516 CPUtime=6.29 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 5256 0 0 0 628 1 0 0 20 0 1 0 124997664 66064384 12806 33554432000 4194304 6199737 140735467972240 140735467970936 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 16129 12806 155 490 0 15630 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64516

[startup+12.7002 s]
/proc/loadavg: 2.24 2.19 2.14 3/177 32008
/proc/meminfo: memFree=29669220/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=65572 CPUtime=12.69 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 5575 0 0 0 1268 1 0 0 20 0 1 0 124997664 67145728 14142 33554432000 4194304 6199737 140735467972240 140735467971176 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 16393 14142 161 490 0 15894 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65572

[startup+25.5003 s]
/proc/loadavg: 2.26 2.20 2.14 3/177 32008
/proc/meminfo: memFree=29648388/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=85588 CPUtime=25.48 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 6206 0 0 0 2547 1 0 0 20 0 1 0 124997664 87642112 15652 33554432000 4194304 6199737 140735467972240 140735467971176 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 21397 15652 161 490 0 20898 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85588

[startup+51.1003 s]
/proc/loadavg: 2.17 2.18 2.14 3/177 32008
/proc/meminfo: memFree=29625808/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=87744 CPUtime=51.08 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 7187 0 0 0 5106 2 0 0 20 0 1 0 124997664 89849856 19000 33554432000 4194304 6199737 140735467972240 140735467970888 4213499 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 21936 19000 161 490 0 21437 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 87744

[startup+102.3 s]
/proc/loadavg: 2.24 2.19 2.14 3/177 32009
/proc/meminfo: memFree=29602816/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=90432 CPUtime=102.28 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 7963 0 0 0 10226 2 0 0 20 0 1 0 124997664 92602368 20261 33554432000 4194304 6199737 140735467972240 140735467971176 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 22608 20261 161 490 0 22109 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 90432

[startup+162.3 s]
/proc/loadavg: 2.15 2.17 2.14 4/177 32010
/proc/meminfo: memFree=29586252/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=122852 CPUtime=162.27 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 9055 0 0 0 16224 3 0 0 20 0 1 0 124997664 125800448 23077 33554432000 4194304 6199737 140735467972240 140735467971176 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 30713 23077 161 490 0 30214 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 122852

[startup+222.307 s]
/proc/loadavg: 2.14 2.17 2.13 4/177 32011
/proc/meminfo: memFree=29583152/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=123336 CPUtime=222.26 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 9188 0 0 0 22223 3 0 0 20 0 1 0 124997664 126296064 23210 33554432000 4194304 6199737 140735467972240 140735467971064 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 30834 23210 161 490 0 30335 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 123336

[startup+282.3 s]
/proc/loadavg: 2.20 2.18 2.14 4/177 32013
/proc/meminfo: memFree=29570316/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=124536 CPUtime=282.25 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 9602 0 0 0 28222 3 0 0 20 0 1 0 124997664 127524864 24088 33554432000 4194304 6199737 140735467972240 140735467971176 4213499 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 31134 24088 161 490 0 30635 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 124536

[startup+342.3 s]
/proc/loadavg: 2.17 2.17 2.14 3/177 32014
/proc/meminfo: memFree=29565460/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=125060 CPUtime=342.23 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 9780 0 0 0 34220 3 0 0 20 0 1 0 124997664 128061440 24257 33554432000 4194304 6199737 140735467972240 140735467971176 4213377 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 31265 24257 161 490 0 30766 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 125060

[startup+402.3 s]
/proc/loadavg: 2.06 2.14 2.13 4/178 32018
/proc/meminfo: memFree=29545980/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=126296 CPUtime=402.22 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 10152 0 0 0 40219 3 0 0 20 0 1 0 124997664 129327104 26149 33554432000 4194304 6199737 140735467972240 140735467971176 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 31574 26149 161 490 0 31075 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 126296

[startup+462.3 s]
/proc/loadavg: 2.14 2.14 2.13 3/177 32019
/proc/meminfo: memFree=29541524/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=127580 CPUtime=462.22 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 10495 0 0 0 46218 4 0 0 20 0 1 0 124997664 130641920 26491 33554432000 4194304 6199737 140735467972240 140735467971176 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 31895 26491 161 490 0 31396 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 127580

[startup+522.3 s]
/proc/loadavg: 2.11 2.13 2.12 3/177 32020
/proc/meminfo: memFree=29519004/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=179864 CPUtime=522.2 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 11447 0 0 0 52216 4 0 0 20 0 1 0 124997664 184180736 31910 33554432000 4194304 6199737 140735467972240 140735467970888 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 44966 31910 161 490 0 44467 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 179864

[startup+582.3 s]
/proc/loadavg: 2.17 2.15 2.12 3/177 32022
/proc/meminfo: memFree=29502008/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=182584 CPUtime=582.2 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 12321 0 0 0 58215 5 0 0 20 0 1 0 124997664 186966016 34143 33554432000 4194304 6199737 140735467972240 140735467970888 4213476 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 45646 34143 161 490 0 45147 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 182584


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


[startup+942.3 s]
/proc/loadavg: 2.10 2.13 2.11 3/177 32029
/proc/meminfo: memFree=29440908/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=185628 CPUtime=942.14 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 13329 0 0 0 94209 5 0 0 20 0 1 0 124997664 190083072 40207 33554432000 4194304 6199737 140735467972240 140735467971176 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 46407 40207 161 490 0 45908 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 185628

[startup+1002.3 s]
/proc/loadavg: 2.22 2.15 2.11 3/178 32033
/proc/meminfo: memFree=29436312/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=185952 CPUtime=1002.13 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 13414 0 0 0 100208 5 0 0 20 0 1 0 124997664 190414848 41314 33554432000 4194304 6199737 140735467972240 140735467971176 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 46488 41314 161 490 0 45989 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 185952

[startup+1062.3 s]
/proc/loadavg: 2.27 2.17 2.12 3/177 32034
/proc/meminfo: memFree=29435212/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=186552 CPUtime=1062.12 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 13587 0 0 0 106207 5 0 0 20 0 1 0 124997664 191029248 41477 33554432000 4194304 6199737 140735467972240 140735467971352 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 46638 41477 161 490 0 46139 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 186552

[startup+1122.3 s]
/proc/loadavg: 2.28 2.19 2.13 3/177 32035
/proc/meminfo: memFree=29433844/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=186756 CPUtime=1122.11 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 13647 0 0 0 112206 5 0 0 20 0 1 0 124997664 191238144 41527 33554432000 4194304 6199737 140735467972240 140735467971176 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 46689 41527 161 490 0 46190 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 186756

[startup+1182.3 s]
/proc/loadavg: 2.25 2.20 2.13 4/176 32036
/proc/meminfo: memFree=29433360/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=186904 CPUtime=1182.1 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 13682 0 0 0 118205 5 0 0 20 0 1 0 124997664 191389696 41562 33554432000 4194304 6199737 140735467972240 140735467971176 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 46726 41562 161 490 0 46227 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 186904

[startup+1242.3 s]
/proc/loadavg: 2.15 2.18 2.12 3/177 32038
/proc/meminfo: memFree=29431868/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=187044 CPUtime=1242.1 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 13697 0 0 0 124205 5 0 0 20 0 1 0 124997664 191533056 41577 33554432000 4194304 6199737 140735467972240 140735467971064 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 46761 41577 161 490 0 46262 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 187044

[startup+1302.3 s]
/proc/loadavg: 2.10 2.16 2.12 3/177 32039
/proc/meminfo: memFree=29431008/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=187376 CPUtime=1302.09 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 13821 0 0 0 130204 5 0 0 20 0 1 0 124997664 191873024 41697 33554432000 4194304 6199737 140735467972240 140735467970936 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 46844 41697 161 490 0 46345 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 187376

[startup+1362.3 s]
/proc/loadavg: 2.24 2.19 2.13 4/177 32040
/proc/meminfo: memFree=29428696/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=187668 CPUtime=1362.08 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 13905 0 0 0 136203 5 0 0 20 0 1 0 124997664 192172032 41780 33554432000 4194304 6199737 140735467972240 140735467971176 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 46917 41780 161 490 0 46418 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 187668

[startup+1422.3 s]
/proc/loadavg: 2.17 2.18 2.13 3/177 32041
/proc/meminfo: memFree=29426092/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=187876 CPUtime=1422.07 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 13956 0 0 0 142202 5 0 0 20 0 1 0 124997664 192385024 41831 33554432000 4194304 6199737 140735467972240 140735467971176 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 46969 41831 161 490 0 46470 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 187876

[startup+1482.3 s]
/proc/loadavg: 2.20 2.18 2.12 3/177 32042
/proc/meminfo: memFree=29424716/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=188260 CPUtime=1482.06 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 14076 0 0 0 148201 5 0 0 20 0 1 0 124997664 192778240 41939 33554432000 4194304 6199737 140735467972240 140735467971176 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 47065 41939 161 490 0 46566 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 188260

[startup+1542.31 s]
/proc/loadavg: 2.19 2.17 2.12 4/177 32044
/proc/meminfo: memFree=29424608/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=188544 CPUtime=1542.06 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 14137 0 0 0 154201 5 0 0 20 0 1 0 124997664 193069056 42000 33554432000 4194304 6199737 140735467972240 140735467971064 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 47136 42000 161 490 0 46637 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 188544

[startup+1602.3 s]
/proc/loadavg: 2.17 2.17 2.12 3/178 32048
/proc/meminfo: memFree=29423600/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=189276 CPUtime=1602.05 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 14348 0 0 0 160199 6 0 0 20 0 1 0 124997664 193818624 42211 33554432000 4194304 6199737 140735467972240 140735467971176 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 47319 42211 161 490 0 46820 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 189276

[startup+1662.3 s]
/proc/loadavg: 2.17 2.17 2.12 3/177 32049
/proc/meminfo: memFree=29422984/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=189508 CPUtime=1662.04 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 14409 0 0 0 166198 6 0 0 20 0 1 0 124997664 194056192 42272 33554432000 4194304 6199737 140735467972240 140735467971176 4213314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 47377 42272 161 490 0 46878 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 189508

[startup+1722.3 s]
/proc/loadavg: 2.18 2.17 2.12 4/177 32050
/proc/meminfo: memFree=29405352/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=190312 CPUtime=1722.03 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 14618 0 0 0 172197 6 0 0 20 0 1 0 124997664 194879488 46569 33554432000 4194304 6199737 140735467972240 140735467971176 4213314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 47578 46569 161 490 0 47079 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 190312

[startup+1782.3 s]
/proc/loadavg: 2.07 2.13 2.11 3/177 32051
/proc/meminfo: memFree=29403988/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=271764 CPUtime=1782.02 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 14778 0 0 0 178196 6 0 0 20 0 1 0 124997664 278286336 46647 33554432000 4194304 6199737 140735467972240 140735467971176 4222552 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 67941 46647 161 490 0 67442 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 271764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.05 2.12 2.11 3/177 32052
/proc/meminfo: memFree=29403868/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=271796 CPUtime=1800.02 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 14786 0 0 0 179996 6 0 0 20 0 1 0 124997664 278319104 46655 33554432000 4194304 6199737 140735467972240 140735467971352 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 67949 46655 161 490 0 67450 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 271796

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

[startup+1800.3 s]
/proc/loadavg: 2.05 2.12 2.11 3/177 32052
/proc/meminfo: memFree=29403868/32872528 swapFree=16252/1391864
[pid=31992] ppid=31989 vsize=271796 CPUtime=1800.02 cores=1,3,5,7
/proc/31992/stat : 31992 (cdcl-cuttingpla) R 31989 31992 31665 0 -1 4202496 14786 0 0 0 179996 6 0 0 20 0 1 0 124997664 278319104 46655 33554432000 4194304 6199737 140735467972240 140735467971352 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/31992/statm: 67949 46655 161 490 0 67450 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 271796

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.96
CPU system time (s): 0.06499
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 271796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.06499
maximum resident set size= 186620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14786
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= 12
involuntary context switches= 1871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5953 second user time and 6.91395 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-09 02:04:05
IDJOB=4087244
IDBENCH=90186
IDSOLVER=2548
FILE ID=node119/4087244-1465430645
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/ShortestPathNG/normalized-NG_K180.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087244-1465430645/watcher-4087244-1465430645 -o /tmp/evaluation-result-4087244-1465430645/solver-4087244-1465430645 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465427044-31682 --watchdog 1960 --input HOME/instance-4087244-1465430645.opb ./cdcl-cuttingplanes-release

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

MD5SUM BENCH= f1881d1e83243719865906bde58f94f2
RANDOM SEED=26065472

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:        29781440 kB
Buffers:          146472 kB
Cached:           808752 kB
SwapCached:          816 kB
Active:           443712 kB
Inactive:         514224 kB
Active(anon):       2628 kB
Inactive(anon):     2712 kB
Active(file):     441084 kB
Inactive(file):   511512 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100208 kB
Dirty:              3904 kB
Writeback:             0 kB
AnonPages:       1546252 kB
Mapped:             7628 kB
Shmem:                 0 kB
Slab:             608508 kB
SReclaimable:      52696 kB
SUnreclaim:       555812 kB
KernelStack:        1472 kB
PageTables:         6492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1487484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1529856 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= 71732 MiB
End job on node119 at 2016-06-09 02:34:06