Trace number 4087222

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/
ShortestPathNG/normalized-NG_K126.opb
MD5SUM8617651a414bb8902c12959cc1c92372
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 variables14994
Total number of constraints15248
Number of constraints which are clauses15122
Number of constraints which are cardinality constraints (but not clauses)126
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint126
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 127
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.01	c * #variable= 14994 #constraint= 15248
1.58/1.66	c #Conflicts:       1000 | #Learnt:        998 | 0.001
1.58/1.66	c total clause space: 11.2235MB
1.58/1.66	c total #watches: 153053
7.08/7.11	c total #propagations: 1274505 / total #impl: 23082907 (eff. 0.055)
7.08/7.11	c #Conflicts:       2000 | #Learnt:       1998 | 0.001
7.08/7.11	c total clause space: 29.637MB
7.08/7.11	c total #watches: 301859
16.28/16.32	c total #propagations: 2260636 / total #impl: 79716173 (eff. 0.028)
16.28/16.32	c GARBAGE COLLECT
16.28/16.32	c #Conflicts:       3000 | #Learnt:       2066 | 0.000
16.28/16.32	c total clause space: 48.1602MB
16.28/16.32	c total #watches: 339648
45.87/45.95	c total #propagations: 2768439 / total #impl: 130778066 (eff. 0.021)
45.87/45.95	c #Conflicts:       4000 | #Learnt:       3066 | 0.004
45.87/45.95	c total clause space: 78.2603MB
45.87/45.95	c total #watches: 495257
75.46/75.56	c total #propagations: 3538158 / total #impl: 225776619 (eff. 0.016)
75.46/75.56	c GARBAGE COLLECT
75.46/75.56	c #Conflicts:       5000 | #Learnt:       2455 | 0.004
75.46/75.56	c total clause space: 78.2603MB
75.46/75.56	c total #watches: 468445
100.76/100.85	c total #propagations: 4199226 / total #impl: 323907538 (eff. 0.013)
100.76/100.85	c #Conflicts:       6000 | #Learnt:       3455 | 0.004
100.76/100.85	c total clause space: 78.2603MB
100.76/100.85	c total #watches: 566549
145.84/145.94	c total #propagations: 4786458 / total #impl: 361113851 (eff. 0.013)
145.84/145.94	c GARBAGE COLLECT
145.84/145.94	c #Conflicts:       7000 | #Learnt:       2339 | 0.003
145.84/145.94	c total clause space: 127.173MB
145.84/145.94	c total #watches: 417126
171.14/171.28	c total #propagations: 5464811 / total #impl: 475018467 (eff. 0.012)
171.14/171.28	c #Conflicts:       8000 | #Learnt:       3339 | 0.003
171.14/171.28	c total clause space: 127.173MB
171.14/171.28	c total #watches: 585416
213.73/213.83	c total #propagations: 6113202 / total #impl: 604476362 (eff. 0.010)
213.73/213.83	c #Conflicts:       9000 | #Learnt:       4339 | 0.003
213.73/213.83	c total clause space: 127.173MB
213.73/213.83	c total #watches: 700166
254.62/254.77	c total #propagations: 6952241 / total #impl: 796867328 (eff. 0.009)
254.62/254.77	c GARBAGE COLLECT
254.62/254.77	c #Conflicts:      10000 | #Learnt:       2821 | 0.002
254.62/254.77	c total clause space: 127.173MB
254.62/254.77	c total #watches: 458630
271.41/271.50	c total #propagations: 7787036 / total #impl: 932666335 (eff. 0.008)
271.41/271.50	c #Conflicts:      11000 | #Learnt:       3821 | 0.002
271.41/271.50	c total clause space: 127.173MB
271.41/271.50	c total #watches: 623053
319.10/319.22	c total #propagations: 8414264 / total #impl: 1054179023 (eff. 0.008)
319.10/319.22	c #Conflicts:      12000 | #Learnt:       4821 | 0.002
319.10/319.22	c total clause space: 127.173MB
319.10/319.22	c total #watches: 784412
377.98/378.14	c total #propagations: 9205405 / total #impl: 1200647851 (eff. 0.008)
377.98/378.14	c #Conflicts:      13000 | #Learnt:       5821 | 0.003
377.98/378.14	c total clause space: 127.173MB
377.98/378.14	c total #watches: 975744
414.08/414.29	c total #propagations: 10018408 / total #impl: 1347500853 (eff. 0.007)
414.08/414.29	c GARBAGE COLLECT
414.08/414.29	c #Conflicts:      14000 | #Learnt:       3982 | 0.002
414.08/414.29	c total clause space: 127.173MB
414.08/414.29	c total #watches: 743437
464.27/464.43	c total #propagations: 10617787 / total #impl: 1460292630 (eff. 0.007)
464.27/464.43	c #Conflicts:      15000 | #Learnt:       4982 | 0.002
464.27/464.43	c total clause space: 127.173MB
464.27/464.43	c total #watches: 934901
525.66/525.86	c total #propagations: 11252207 / total #impl: 1614586885 (eff. 0.007)
525.66/525.86	c #Conflicts:      16000 | #Learnt:       5982 | 0.002
525.66/525.86	c total clause space: 206.656MB
525.66/525.86	c total #watches: 1066012
595.05/595.25	c total #propagations: 11806731 / total #impl: 1755410401 (eff. 0.007)
595.05/595.25	c GARBAGE COLLECT
595.05/595.25	c #Conflicts:      17000 | #Learnt:       3757 | 0.002
595.05/595.25	c total clause space: 206.656MB
595.05/595.25	c total #watches: 675973
648.54/648.74	c total #propagations: 12561665 / total #impl: 1910496473 (eff. 0.007)
648.54/648.74	c #Conflicts:      18000 | #Learnt:       4757 | 0.003
648.54/648.74	c total clause space: 206.656MB
648.54/648.74	c total #watches: 819671
698.23/698.49	c total #propagations: 13295984 / total #impl: 2031625649 (eff. 0.007)
698.23/698.49	c #Conflicts:      19000 | #Learnt:       5757 | 0.003
698.23/698.49	c total clause space: 206.656MB
698.23/698.49	c total #watches: 952025
774.52/774.75	c total #propagations: 13971167 / total #impl: 2152993808 (eff. 0.006)
774.52/774.75	c #Conflicts:      20000 | #Learnt:       6757 | 0.003
774.52/774.75	c total clause space: 206.656MB
774.52/774.75	c total #watches: 1161053
820.42/820.65	c total #propagations: 14755409 / total #impl: 2328537794 (eff. 0.006)
820.42/820.65	c GARBAGE COLLECT
820.42/820.65	c #Conflicts:      21000 | #Learnt:       4317 | 0.003
820.42/820.65	c total clause space: 206.656MB
820.42/820.65	c total #watches: 821386
896.20/896.41	c total #propagations: 15323549 / total #impl: 2466055798 (eff. 0.006)
896.20/896.41	c #Conflicts:      22000 | #Learnt:       5317 | 0.003
896.20/896.41	c total clause space: 206.656MB
896.20/896.41	c total #watches: 962623
1001.58/1001.87	c total #propagations: 16159188 / total #impl: 2667497152 (eff. 0.006)
1001.58/1001.87	c #Conflicts:      23000 | #Learnt:       6317 | 0.003
1001.58/1001.87	c total clause space: 206.656MB
1001.58/1001.87	c total #watches: 1131704
1121.77/1122.03	c total #propagations: 17111741 / total #impl: 2881083073 (eff. 0.006)
1121.77/1122.03	c #Conflicts:      24000 | #Learnt:       7317 | 0.003
1121.77/1122.03	c total clause space: 206.656MB
1121.77/1122.03	c total #watches: 1320717
1180.95/1181.23	c total #propagations: 17996726 / total #impl: 3133018326 (eff. 0.006)
1180.95/1181.23	c GARBAGE COLLECT
1180.95/1181.23	c #Conflicts:      25000 | #Learnt:       4536 | 0.002
1180.95/1181.23	c total clause space: 206.656MB
1180.95/1181.23	c total #watches: 779059
1235.85/1236.12	c total #propagations: 18657530 / total #impl: 3270526454 (eff. 0.006)
1235.85/1236.12	c #Conflicts:      26000 | #Learnt:       5536 | 0.003
1235.85/1236.12	c total clause space: 206.656MB
1235.85/1236.12	c total #watches: 923394
1311.14/1311.42	c total #propagations: 19371548 / total #impl: 3381181879 (eff. 0.006)
1311.14/1311.42	c #Conflicts:      27000 | #Learnt:       6536 | 0.002
1311.14/1311.42	c total clause space: 206.656MB
1311.14/1311.42	c total #watches: 1090363
1407.92/1408.24	c total #propagations: 20277200 / total #impl: 3599715940 (eff. 0.006)
1407.92/1408.24	c #Conflicts:      28000 | #Learnt:       7536 | 0.002
1407.92/1408.24	c total clause space: 206.656MB
1407.92/1408.24	c total #watches: 1224133
1507.21/1507.53	c total #propagations: 21164207 / total #impl: 3818633188 (eff. 0.006)
1507.21/1507.53	c GARBAGE COLLECT
1507.21/1507.53	c #Conflicts:      29000 | #Learnt:       4389 | 0.002
1507.21/1507.53	c total clause space: 206.656MB
1507.21/1507.53	c total #watches: 736441
1543.70/1544.05	c total #propagations: 22019041 / total #impl: 4069667969 (eff. 0.005)
1543.70/1544.05	c #Conflicts:      30000 | #Learnt:       5389 | 0.002
1543.70/1544.05	c total clause space: 206.656MB
1543.70/1544.05	c total #watches: 941780
1608.79/1609.17	c total #propagations: 22663313 / total #impl: 4199485107 (eff. 0.005)
1608.79/1609.17	c #Conflicts:      31000 | #Learnt:       6389 | 0.002
1608.79/1609.17	c total clause space: 206.656MB
1608.79/1609.17	c total #watches: 1132774
1703.97/1704.36	c total #propagations: 23428217 / total #impl: 4389898217 (eff. 0.005)
1703.97/1704.36	c #Conflicts:      32000 | #Learnt:       7389 | 0.002
1703.97/1704.36	c total clause space: 206.656MB
1703.97/1704.36	c total #watches: 1320270

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-4087222-1465428834/watcher-4087222-1465428834 -o /tmp/evaluation-result-4087222-1465428834/solver-4087222-1465428834 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465427032-23762 --watchdog 1960 --input HOME/instance-4087222-1465428834.opb ./cdcl-cuttingplanes-release 

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

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

[startup+0 s]
/proc/loadavg: 2.11 2.11 2.01 3/176 23928
/proc/meminfo: memFree=29850352/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/23928/stat : 23928 (runsolver) R 23925 23746 23746 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 1 0 124816432 24911872 50 33554432000 4194304 4338465 140733616274480 140733616272016 270707354559 0 0 4096 24578 0 0 0 17 6 0 0 0 0 0
/proc/23928/statm: 6082 50 4 36 0 2655 0
Current StackSize limit: 10240 KiB


[startup+0.100122 s]
/proc/loadavg: 2.11 2.11 2.01 3/176 23928
/proc/meminfo: memFree=29850352/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=34384 CPUtime=0.08 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 1209 0 0 0 8 0 0 0 20 0 1 0 124816432 35209216 7413 33554432000 4194304 6199737 140737423039728 140733616271976 4208371 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/23928/statm: 8596 7413 134 490 0 8097 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34384

[startup+0.200308 s]
/proc/loadavg: 2.11 2.11 2.01 3/176 23928
/proc/meminfo: memFree=29850352/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=37624 CPUtime=0.18 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 2068 0 0 0 18 0 0 0 20 0 1 0 124816432 38526976 7978 33554432000 4194304 6199737 140737423039728 140733616271976 4213368 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/23928/statm: 9406 7978 139 490 0 8907 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 37624

[startup+0.300253 s]
/proc/loadavg: 2.11 2.11 2.01 3/176 23928
/proc/meminfo: memFree=29850352/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=37864 CPUtime=0.28 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 2395 0 0 0 28 0 0 0 20 0 1 0 124816432 38772736 8201 33554432000 4194304 6199737 140737423039728 140733616271976 4213389 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/23928/statm: 9466 8201 139 490 0 8967 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 37864

[startup+0.700207 s]
/proc/loadavg: 2.11 2.11 2.01 3/176 23928
/proc/meminfo: memFree=29850352/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=42804 CPUtime=0.68 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 2949 0 0 0 68 0 0 0 20 0 1 0 124816432 43831296 9082 33554432000 4194304 6199737 140737423039728 140737423038024 4200074 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/23928/statm: 10701 9082 139 490 0 10202 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 42804

[startup+1.5002 s]
/proc/loadavg: 2.10 2.11 2.01 3/177 23929
/proc/meminfo: memFree=29803632/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=43180 CPUtime=1.48 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 3052 0 0 0 148 0 0 0 20 0 1 0 124816432 44216320 9185 33554432000 4194304 6199737 140737423039728 140737423038664 4213385 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/23928/statm: 10795 9185 139 490 0 10296 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 43180

[startup+3.1002 s]
/proc/loadavg: 2.10 2.11 2.01 3/177 23929
/proc/meminfo: memFree=29798856/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=51220 CPUtime=3.08 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 3834 0 0 0 308 0 0 0 20 0 1 0 124816432 52449280 10253 33554432000 4194304 6199737 140737423039728 140737423038744 4213368 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/23928/statm: 12805 10253 155 490 0 12306 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 51220

[startup+6.30023 s]
/proc/loadavg: 2.09 2.11 2.01 3/177 23929
/proc/meminfo: memFree=29787140/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=64072 CPUtime=6.28 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 4398 0 0 0 627 1 0 0 20 0 1 0 124816432 65609728 12798 33554432000 4194304 6199737 140737423039728 140737423038552 4213296 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/23928/statm: 16018 12798 155 490 0 15519 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 64072

[startup+12.7002 s]
/proc/loadavg: 2.16 2.12 2.01 3/177 23929
/proc/meminfo: memFree=29770796/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=64748 CPUtime=12.68 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 5491 0 0 0 1267 1 0 0 20 0 1 0 124816432 66301952 13479 33554432000 4194304 6199737 140737423039728 140737423038664 4213296 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/23928/statm: 16187 13479 161 490 0 15688 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 64748

[startup+25.5003 s]
/proc/loadavg: 2.19 2.13 2.02 3/177 23929
/proc/meminfo: memFree=29729436/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=116624 CPUtime=25.48 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 6410 0 0 0 2546 2 0 0 20 0 1 0 124816432 119422976 21990 33554432000 4194304 6199737 140737423039728 140737423038664 4213381 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/23928/statm: 29156 21990 161 490 0 28657 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 116624

[startup+51.1003 s]
/proc/loadavg: 2.21 2.14 2.02 3/177 23929
/proc/meminfo: memFree=29707040/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=117812 CPUtime=51.06 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 6732 0 0 0 5104 2 0 0 20 0 1 0 124816432 120639488 24867 33554432000 4194304 6199737 140737423039728 140737423038664 4213456 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/23928/statm: 29453 24867 161 490 0 28954 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 117812

[startup+102.3 s]
/proc/loadavg: 2.21 2.15 2.03 3/177 23930
/proc/meminfo: memFree=29680060/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=119452 CPUtime=102.27 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 8161 0 0 0 10224 3 0 0 20 0 1 0 124816432 122318848 26988 33554432000 4194304 6199737 140737423039728 140737423038840 4213389 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/23928/statm: 29863 26988 161 490 0 29364 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 119452

[startup+162.3 s]
/proc/loadavg: 2.14 2.13 2.03 3/177 23932
/proc/meminfo: memFree=29654264/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=172028 CPUtime=162.24 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 9249 0 0 0 16221 3 0 0 20 0 1 0 124816432 176156672 29908 33554432000 4194304 6199737 140737423039728 140737423038664 4213396 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/23928/statm: 43007 29908 161 490 0 42508 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 172028

[startup+222.307 s]
/proc/loadavg: 2.15 2.14 2.03 3/177 23933
/proc/meminfo: memFree=29652424/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=173060 CPUtime=222.23 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 9572 0 0 0 22220 3 0 0 20 0 1 0 124816432 177213440 30226 33554432000 4194304 6199737 140737423039728 140737423038664 4213368 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/23928/statm: 43265 30226 161 490 0 42766 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 173060

[startup+282.3 s]
/proc/loadavg: 2.17 2.14 2.04 4/177 23934
/proc/meminfo: memFree=29638104/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=174468 CPUtime=282.21 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 10030 0 0 0 28218 3 0 0 20 0 1 0 124816432 178655232 30617 33554432000 4194304 6199737 140737423039728 140737423038664 4213389 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/23928/statm: 43617 30617 161 490 0 43118 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 174468

[startup+342.3 s]
/proc/loadavg: 2.12 2.13 2.04 4/177 23935
/proc/meminfo: memFree=29631140/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=175708 CPUtime=342.19 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 10562 0 0 0 34216 3 0 0 20 0 1 0 124816432 179924992 31084 33554432000 4194304 6199737 140737423039728 140737423038664 4213368 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/23928/statm: 43927 31084 161 490 0 43428 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 175708

[startup+402.3 s]
/proc/loadavg: 2.09 2.12 2.03 3/178 23939
/proc/meminfo: memFree=29612436/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=176764 CPUtime=402.18 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 10937 0 0 0 40215 3 0 0 20 0 1 0 124816432 181006336 33935 33554432000 4194304 6199737 140737423039728 140737423038664 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 44191 33935 161 490 0 43692 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 176764

[startup+462.3 s]
/proc/loadavg: 2.34 2.18 2.06 4/177 23941
/proc/meminfo: memFree=29609804/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=177636 CPUtime=462.17 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 11200 0 0 0 46214 3 0 0 20 0 1 0 124816432 181899264 34184 33554432000 4194304 6199737 140737423039728 140737423038664 4213389 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 44409 34184 161 490 0 43910 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 177636

[startup+522.3 s]
/proc/loadavg: 2.19 2.16 2.06 3/177 23942
/proc/meminfo: memFree=29569760/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=260340 CPUtime=522.16 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 11742 0 0 0 52212 4 0 0 20 0 1 0 124816432 266588160 44397 33554432000 4194304 6199737 140737423039728 140737423038744 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 65085 44397 161 490 0 64586 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 260340

[startup+582.3 s]
/proc/loadavg: 2.17 2.16 2.07 4/177 23943
/proc/meminfo: memFree=29556088/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=261356 CPUtime=582.15 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 12095 0 0 0 58211 4 0 0 20 0 1 0 124816432 267628544 47121 33554432000 4194304 6199737 140737423039728 140737423038376 4213385 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 65339 47121 161 490 0 64840 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 261356


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


[startup+882.307 s]
/proc/loadavg: 2.20 2.18 2.10 3/177 23949
/proc/meminfo: memFree=29550672/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=263448 CPUtime=882.1 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 13179 0 0 0 88206 4 0 0 20 0 1 0 124816432 269770752 47676 33554432000 4194304 6199737 140737423039728 140737423038664 4213368 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 65862 47676 161 490 0 65363 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 263448

[startup+942.3 s]
/proc/loadavg: 2.19 2.19 2.10 3/177 23950
/proc/meminfo: memFree=29550392/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=263684 CPUtime=942.09 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 13305 0 0 0 94205 4 0 0 20 0 1 0 124816432 270012416 47736 33554432000 4194304 6199737 140737423039728 140737423038664 4213368 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 65921 47736 161 490 0 65422 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 263684

[startup+1002.3 s]
/proc/loadavg: 2.22 2.20 2.11 4/178 23954
/proc/meminfo: memFree=29548188/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=263972 CPUtime=1002.08 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 13379 0 0 0 100204 4 0 0 20 0 1 0 124816432 270307328 47810 33554432000 4194304 6199737 140737423039728 140737423038840 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 65993 47810 161 490 0 65494 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 263972

[startup+1062.3 s]
/proc/loadavg: 2.27 2.21 2.11 3/177 23956
/proc/meminfo: memFree=29542340/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=264568 CPUtime=1062.07 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 13546 0 0 0 106203 4 0 0 20 0 1 0 124816432 270917632 47941 33554432000 4194304 6199737 140737423039728 140737423038664 4213389 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 66142 47941 161 490 0 65643 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 264568

[startup+1122.3 s]
/proc/loadavg: 2.27 2.22 2.12 3/177 23957
/proc/meminfo: memFree=29541948/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=264972 CPUtime=1122.06 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 13683 0 0 0 112202 4 0 0 20 0 1 0 124816432 271331328 48058 33554432000 4194304 6199737 140737423039728 140737423038840 4213368 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 66243 48058 161 490 0 65744 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 264972

[startup+1182.3 s]
/proc/loadavg: 2.27 2.24 2.13 4/177 23958
/proc/meminfo: memFree=29540924/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=265372 CPUtime=1182.05 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 13775 0 0 0 118201 4 0 0 20 0 1 0 124816432 271740928 48150 33554432000 4194304 6199737 140737423039728 140737423038840 4213298 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 66343 48150 161 490 0 65844 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 265372

[startup+1242.3 s]
/proc/loadavg: 2.24 2.24 2.13 3/177 23959
/proc/meminfo: memFree=29535068/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=265504 CPUtime=1242.05 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 14049 0 0 0 124200 5 0 0 20 0 1 0 124816432 271876096 48192 33554432000 4194304 6199737 140737423039728 140737423038664 4213389 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 66376 48192 161 490 0 65877 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 265504

[startup+1302.3 s]
/proc/loadavg: 2.18 2.22 2.13 3/177 23960
/proc/meminfo: memFree=29525188/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=265652 CPUtime=1302.04 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 14084 0 0 0 130199 5 0 0 20 0 1 0 124816432 272027648 48227 33554432000 4194304 6199737 140737423039728 140737423038664 4213389 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 66413 48227 161 490 0 65914 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 265652

[startup+1362.3 s]
/proc/loadavg: 2.24 2.24 2.14 4/177 23962
/proc/meminfo: memFree=29524332/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=266084 CPUtime=1362.03 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 14200 0 0 0 136198 5 0 0 20 0 1 0 124816432 272470016 48343 33554432000 4194304 6199737 140737423039728 140737423038664 4213396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 66521 48343 161 490 0 66022 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 266084

[startup+1422.3 s]
/proc/loadavg: 2.19 2.22 2.14 4/177 23963
/proc/meminfo: memFree=29485804/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=266704 CPUtime=1422.03 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 14348 0 0 0 142198 5 0 0 20 0 1 0 124816432 273104896 48491 33554432000 4194304 6199737 140737423039728 140737423038520 4213385 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 66676 48491 161 490 0 66177 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 266704

[startup+1482.3 s]
/proc/loadavg: 2.32 2.25 2.16 3/177 23964
/proc/meminfo: memFree=29480072/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=267496 CPUtime=1482.01 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 14553 0 0 0 148196 5 0 0 20 0 1 0 124816432 273915904 48696 33554432000 4194304 6199737 140737423039728 140737423038664 4213368 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 66874 48696 161 490 0 66375 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 267496

[startup+1542.31 s]
/proc/loadavg: 2.16 2.22 2.15 4/177 23965
/proc/meminfo: memFree=29466600/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=267808 CPUtime=1542.01 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 14623 0 0 0 154196 5 0 0 20 0 1 0 124816432 274235392 48766 33554432000 4194304 6199737 140737423039728 140737423038840 4213389 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 66952 48766 161 490 0 66453 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 267808

[startup+1602.3 s]
/proc/loadavg: 2.20 2.22 2.16 3/178 23969
/proc/meminfo: memFree=29461808/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=268076 CPUtime=1601.99 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 14702 0 0 0 160194 5 0 0 20 0 1 0 124816432 274509824 48845 33554432000 4194304 6199737 140737423039728 140737423038552 4213822 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 67019 48845 161 490 0 66520 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 268076

[startup+1662.3 s]
/proc/loadavg: 2.31 2.25 2.17 3/177 23993
/proc/meminfo: memFree=29458064/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=268436 CPUtime=1661.98 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 14849 0 0 0 166193 5 0 0 20 0 1 0 124816432 274878464 48942 33554432000 4194304 6199737 140737423039728 140737423038664 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 67109 48942 161 490 0 66610 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 268436

[startup+1722.3 s]
/proc/loadavg: 2.15 2.22 2.16 4/177 23995
/proc/meminfo: memFree=29458628/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=268668 CPUtime=1721.97 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 14906 0 0 0 172192 5 0 0 20 0 1 0 124816432 275116032 48999 33554432000 4194304 6199737 140737423039728 140737423038840 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 67167 48999 161 490 0 66668 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 268668

[startup+1782.3 s]
/proc/loadavg: 2.24 2.24 2.17 3/177 23996
/proc/meminfo: memFree=29457440/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=269488 CPUtime=1781.96 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 15107 0 0 0 178191 5 0 0 20 0 1 0 124816432 275955712 49200 33554432000 4194304 6199737 140737423039728 140737423038552 4213306 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 67372 49200 161 490 0 66873 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 269488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.19 2.22 2.17 3/177 23996
/proc/meminfo: memFree=29457688/32872528 swapFree=16384/1696552
[pid=23928] ppid=23925 vsize=269656 CPUtime=1800.06 cores=0,2,4,6
/proc/23928/stat : 23928 (cdcl-cuttingpla) R 23925 23928 23746 0 -1 4202496 15168 0 0 0 180001 5 0 0 20 0 1 0 124816432 276127744 49227 33554432000 4194304 6199737 140737423039728 140737423038376 4213377 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 67414 49227 161 490 0 66915 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 269656

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 23928 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.01
CPU system time (s): 0.05999
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 269656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.05999
maximum resident set size= 196908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15168
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= 2039

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.15837 second user time and 7.31589 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-09 01:33:54
IDJOB=4087222
IDBENCH=90146
IDSOLVER=2548
FILE ID=node125/4087222-1465428834
RUNJOBID= node125-1465427032-23762
PBS_JOBID= 19859786
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_K126.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087222-1465428834/watcher-4087222-1465428834 -o /tmp/evaluation-result-4087222-1465428834/solver-4087222-1465428834 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465427032-23762 --watchdog 1960 --input HOME/instance-4087222-1465428834.opb ./cdcl-cuttingplanes-release

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

MD5SUM BENCH= 8617651a414bb8902c12959cc1c92372
RANDOM SEED=1330838785

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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:        29852020 kB
Buffers:          128084 kB
Cached:           415000 kB
SwapCached:         1700 kB
Active:           135916 kB
Inactive:         440028 kB
Active(anon):      32492 kB
Inactive(anon):     2960 kB
Active(file):     103424 kB
Inactive(file):   437068 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098584 kB
Dirty:              7076 kB
Writeback:             0 kB
AnonPages:       1702636 kB
Mapped:             7372 kB
Shmem:                 0 kB
Slab:             614236 kB
SReclaimable:      58124 kB
SUnreclaim:       556112 kB
KernelStack:        1472 kB
PageTables:         7044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1848264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1683456 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 node125 at 2016-06-09 02:03:54