Trace number 4087233

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_K148.opb
MD5SUM75849fe0d0ba66aaca3a2fe3a07c685a
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 variables17612
Total number of constraints17910
Number of constraints which are clauses17762
Number of constraints which are cardinality constraints (but not clauses)148
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint148
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 149
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= 17612 #constraint= 17910
0.89/0.96	c #Conflicts:       1000 | #Learnt:        998 | 0.000
0.89/0.96	c total clause space: 18.2382MB
0.89/0.96	c total #watches: 138495
4.29/4.30	c total #propagations: 1267476 / total #impl: 10179171 (eff. 0.125)
4.29/4.30	c #Conflicts:       2000 | #Learnt:       1998 | 0.003
4.29/4.30	c total clause space: 18.2382MB
4.29/4.30	c total #watches: 240969
9.89/9.98	c total #propagations: 2630093 / total #impl: 41118664 (eff. 0.064)
9.89/9.98	c GARBAGE COLLECT
9.89/9.98	c #Conflicts:       3000 | #Learnt:       2080 | 0.015
9.89/9.98	c total clause space: 29.637MB
9.89/9.98	c total #watches: 300613
17.99/18.00	c total #propagations: 3929807 / total #impl: 92711403 (eff. 0.042)
17.99/18.00	c #Conflicts:       4000 | #Learnt:       3080 | 0.012
17.99/18.00	c total clause space: 29.637MB
17.99/18.00	c total #watches: 419558
27.39/27.46	c total #propagations: 4988355 / total #impl: 148152298 (eff. 0.034)
27.39/27.46	c GARBAGE COLLECT
27.39/27.46	c #Conflicts:       5000 | #Learnt:       2406 | 0.010
27.39/27.46	c total clause space: 48.1602MB
27.39/27.46	c total #watches: 371596
34.78/34.82	c total #propagations: 6221840 / total #impl: 214497062 (eff. 0.029)
34.78/34.82	c #Conflicts:       6000 | #Learnt:       3406 | 0.009
34.78/34.82	c total clause space: 48.1602MB
34.78/34.82	c total #watches: 500945
51.69/51.76	c total #propagations: 7045704 / total #impl: 269835621 (eff. 0.026)
51.69/51.76	c GARBAGE COLLECT
51.69/51.76	c #Conflicts:       7000 | #Learnt:       2276 | 0.008
51.69/51.76	c total clause space: 78.2603MB
51.69/51.76	c total #watches: 365876
65.68/65.71	c total #propagations: 7796189 / total #impl: 320231929 (eff. 0.024)
65.68/65.71	c #Conflicts:       8000 | #Learnt:       3276 | 0.007
65.68/65.71	c total clause space: 78.2603MB
65.68/65.71	c total #watches: 453313
103.28/103.30	c total #propagations: 8353239 / total #impl: 356087250 (eff. 0.023)
103.28/103.30	c #Conflicts:       9000 | #Learnt:       4276 | 0.006
103.28/103.30	c total clause space: 78.2603MB
103.28/103.30	c total #watches: 606130
132.77/132.89	c total #propagations: 9548008 / total #impl: 453262393 (eff. 0.021)
132.77/132.89	c GARBAGE COLLECT
132.77/132.89	c #Conflicts:      10000 | #Learnt:       2795 | 0.006
132.77/132.89	c total clause space: 78.2603MB
132.77/132.89	c total #watches: 481488
161.16/161.22	c total #propagations: 10514515 / total #impl: 553284043 (eff. 0.019)
161.16/161.22	c #Conflicts:      11000 | #Learnt:       3795 | 0.005
161.16/161.22	c total clause space: 78.2603MB
161.16/161.22	c total #watches: 629257
192.76/192.86	c total #propagations: 11616183 / total #impl: 647716928 (eff. 0.018)
192.76/192.86	c #Conflicts:      12000 | #Learnt:       4795 | 0.005
192.76/192.86	c total clause space: 78.2603MB
192.76/192.86	c total #watches: 767047
234.55/234.60	c total #propagations: 12616421 / total #impl: 763809743 (eff. 0.017)
234.55/234.60	c #Conflicts:      13000 | #Learnt:       5795 | 0.004
234.55/234.60	c total clause space: 78.2603MB
234.55/234.60	c total #watches: 904252
255.26/255.30	c total #propagations: 13587124 / total #impl: 898305959 (eff. 0.015)
255.26/255.30	c GARBAGE COLLECT
255.26/255.30	c #Conflicts:      14000 | #Learnt:       3963 | 0.004
255.26/255.30	c total clause space: 78.2603MB
255.26/255.30	c total #watches: 601501
283.25/283.32	c total #propagations: 14372842 / total #impl: 994240302 (eff. 0.014)
283.25/283.32	c #Conflicts:      15000 | #Learnt:       4963 | 0.004
283.25/283.32	c total clause space: 78.2603MB
283.25/283.32	c total #watches: 736674
310.95/311.07	c total #propagations: 15304643 / total #impl: 1132570799 (eff. 0.014)
310.95/311.07	c #Conflicts:      16000 | #Learnt:       5963 | 0.004
310.95/311.07	c total clause space: 78.2603MB
310.95/311.07	c total #watches: 907003
338.04/338.10	c total #propagations: 16062535 / total #impl: 1292776773 (eff. 0.012)
338.04/338.10	c GARBAGE COLLECT
338.04/338.10	c #Conflicts:      17000 | #Learnt:       3788 | 0.003
338.04/338.10	c total clause space: 127.173MB
338.04/338.10	c total #watches: 585315
353.14/353.22	c total #propagations: 16811657 / total #impl: 1403526431 (eff. 0.012)
353.14/353.22	c #Conflicts:      18000 | #Learnt:       4788 | 0.003
353.14/353.22	c total clause space: 127.173MB
353.14/353.22	c total #watches: 673502
372.53/372.61	c total #propagations: 17288810 / total #impl: 1470408546 (eff. 0.012)
372.53/372.61	c #Conflicts:      19000 | #Learnt:       5788 | 0.005
372.53/372.61	c total clause space: 127.173MB
372.53/372.61	c total #watches: 787867
410.43/410.56	c total #propagations: 17770956 / total #impl: 1542046484 (eff. 0.012)
410.43/410.56	c #Conflicts:      20000 | #Learnt:       6788 | 0.004
410.43/410.56	c total clause space: 206.656MB
410.43/410.56	c total #watches: 946933
455.82/455.97	c total #propagations: 18406738 / total #impl: 1651777664 (eff. 0.011)
455.82/455.97	c GARBAGE COLLECT
455.82/455.97	c #Conflicts:      21000 | #Learnt:       4336 | 0.005
455.82/455.97	c total clause space: 206.656MB
455.82/455.97	c total #watches: 681965
504.92/505.02	c total #propagations: 19278382 / total #impl: 1768629879 (eff. 0.011)
504.92/505.02	c #Conflicts:      22000 | #Learnt:       5336 | 0.005
504.92/505.02	c total clause space: 206.656MB
504.92/505.02	c total #watches: 828083
558.71/558.81	c total #propagations: 20244513 / total #impl: 1910206039 (eff. 0.011)
558.71/558.81	c #Conflicts:      23000 | #Learnt:       6336 | 0.005
558.71/558.81	c total clause space: 206.656MB
558.71/558.81	c total #watches: 968816
616.69/616.80	c total #propagations: 21089456 / total #impl: 2040358383 (eff. 0.010)
616.69/616.80	c #Conflicts:      24000 | #Learnt:       7336 | 0.005
616.69/616.80	c total clause space: 206.656MB
616.69/616.80	c total #watches: 1157703
679.79/679.97	c total #propagations: 21910705 / total #impl: 2209626125 (eff. 0.010)
679.79/679.97	c GARBAGE COLLECT
679.79/679.97	c #Conflicts:      25000 | #Learnt:       4498 | 0.005
679.79/679.97	c total clause space: 206.656MB
679.79/679.97	c total #watches: 774755
720.28/720.42	c total #propagations: 22847317 / total #impl: 2396345351 (eff. 0.010)
720.28/720.42	c #Conflicts:      26000 | #Learnt:       5498 | 0.005
720.28/720.42	c total clause space: 206.656MB
720.28/720.42	c total #watches: 949393
764.67/764.83	c total #propagations: 23774033 / total #impl: 2560495141 (eff. 0.009)
764.67/764.83	c #Conflicts:      27000 | #Learnt:       6498 | 0.005
764.67/764.83	c total clause space: 206.656MB
764.67/764.83	c total #watches: 1077495
835.76/835.95	c total #propagations: 24617647 / total #impl: 2721170575 (eff. 0.009)
835.76/835.95	c #Conflicts:      28000 | #Learnt:       7498 | 0.005
835.76/835.95	c total clause space: 206.656MB
835.76/835.95	c total #watches: 1238153
915.75/915.95	c total #propagations: 25537434 / total #impl: 2887880728 (eff. 0.009)
915.75/915.95	c GARBAGE COLLECT
915.75/915.95	c #Conflicts:      29000 | #Learnt:       4451 | 0.005
915.75/915.95	c total clause space: 206.656MB
915.75/915.95	c total #watches: 762034
960.34/960.56	c total #propagations: 26441277 / total #impl: 3101238267 (eff. 0.009)
960.34/960.56	c #Conflicts:      30000 | #Learnt:       5451 | 0.005
960.34/960.56	c total clause space: 206.656MB
960.34/960.56	c total #watches: 914537
1081.52/1081.72	c total #propagations: 27194796 / total #impl: 3230305326 (eff. 0.008)
1081.52/1081.72	c #Conflicts:      31000 | #Learnt:       6451 | 0.004
1081.52/1081.72	c total clause space: 206.656MB
1081.52/1081.72	c total #watches: 1254816
1214.80/1215.03	c total #propagations: 28027113 / total #impl: 3418869930 (eff. 0.008)
1214.80/1215.03	c #Conflicts:      32000 | #Learnt:       7451 | 0.004
1214.80/1215.03	c total clause space: 206.656MB
1214.80/1215.03	c total #watches: 1417166
1387.78/1388.07	c total #propagations: 28952840 / total #impl: 3611911541 (eff. 0.008)
1387.78/1388.07	c #Conflicts:      33000 | #Learnt:       8451 | 0.004
1387.78/1388.07	c total clause space: 206.656MB
1387.78/1388.07	c total #watches: 1573366
1494.06/1494.39	c total #propagations: 29918018 / total #impl: 3850441509 (eff. 0.008)
1494.06/1494.39	c GARBAGE COLLECT
1494.06/1494.39	c #Conflicts:      34000 | #Learnt:       5088 | 0.005
1494.06/1494.39	c total clause space: 206.656MB
1494.06/1494.39	c total #watches: 1029897
1554.55/1554.82	c total #propagations: 30694117 / total #impl: 4145739112 (eff. 0.007)
1554.55/1554.82	c #Conflicts:      35000 | #Learnt:       6088 | 0.005
1554.55/1554.82	c total clause space: 206.656MB
1554.55/1554.82	c total #watches: 1374459
1613.35/1613.65	c total #propagations: 31122236 / total #impl: 4373901976 (eff. 0.007)
1613.35/1613.65	c #Conflicts:      36000 | #Learnt:       7088 | 0.005
1613.35/1613.65	c total clause space: 206.656MB
1613.35/1613.65	c total #watches: 1682148
1712.53/1712.81	c total #propagations: 31567159 / total #impl: 4545197947 (eff. 0.007)
1712.53/1712.81	c #Conflicts:      37000 | #Learnt:       8088 | 0.005
1712.53/1712.81	c total clause space: 206.656MB
1712.53/1712.81	c total #watches: 1876502

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

pid=24205
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.25 2.22 2/170 24208
/proc/meminfo: memFree=29881896/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=29104 CPUtime=0 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 269 0 0 0 0 0 0 0 20 0 1 0 125176582 29802496 5261 33554432000 4194304 6199737 140737124929472 140735253907464 5193008 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 7276 5261 122 490 0 6777 0

[startup+0.100159 s]
/proc/loadavg: 2.19 2.25 2.22 2/170 24208
/proc/meminfo: memFree=29881896/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=34516 CPUtime=0.09 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 1461 0 0 0 9 0 0 0 20 0 1 0 125176582 35344384 7587 33554432000 4194304 6199737 140737124929472 140735253907464 4207822 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 8629 7588 134 490 0 8130 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34516

[startup+0.200324 s]
/proc/loadavg: 2.19 2.25 2.22 2/170 24208
/proc/meminfo: memFree=29881896/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=37772 CPUtime=0.19 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 2423 0 0 0 19 0 0 0 20 0 1 0 125176582 38678528 8207 33554432000 4194304 6199737 140737124929472 140735253907464 4207822 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 9443 8210 139 490 0 8944 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37772

[startup+0.300282 s]
/proc/loadavg: 2.19 2.25 2.22 2/170 24208
/proc/meminfo: memFree=29881896/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=42568 CPUtime=0.29 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 2713 0 0 0 29 0 0 0 20 0 1 0 125176582 43589632 8929 33554432000 4194304 6199737 140737124929472 140735253907464 4213147 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 10642 8929 139 490 0 10143 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42568

[startup+0.700221 s]
/proc/loadavg: 2.19 2.25 2.22 2/170 24208
/proc/meminfo: memFree=29881896/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=43316 CPUtime=0.69 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 2901 0 0 0 69 0 0 0 20 0 1 0 125176582 44355584 9628 33554432000 4194304 6199737 140737124929472 140737124928168 4213238 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 10829 9628 139 490 0 10330 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43316

[startup+1.50024 s]
/proc/loadavg: 2.19 2.25 2.22 3/177 24224
/proc/meminfo: memFree=29802004/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=51244 CPUtime=1.49 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 3652 0 0 0 149 0 0 0 20 0 1 0 125176582 52473856 10673 33554432000 4194304 6199737 140737124929472 140737124928168 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 12811 10673 155 490 0 12312 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51244

[startup+3.10022 s]
/proc/loadavg: 2.19 2.25 2.22 3/177 24224
/proc/meminfo: memFree=29794312/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=51824 CPUtime=3.09 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 3814 0 0 0 308 1 0 0 20 0 1 0 125176582 53067776 11346 33554432000 4194304 6199737 140737124929472 140737124928088 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 12956 11346 155 490 0 12457 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51824

[startup+6.30022 s]
/proc/loadavg: 2.17 2.25 2.22 4/177 24224
/proc/meminfo: memFree=29783884/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=52688 CPUtime=6.29 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 4872 0 0 0 628 1 0 0 20 0 1 0 125176582 53952512 12060 33554432000 4194304 6199737 140737124929472 140737124928408 4213493 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 13172 12060 161 490 0 12673 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52688

[startup+12.7002 s]
/proc/loadavg: 2.16 2.24 2.22 3/177 24224
/proc/meminfo: memFree=29757620/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=65636 CPUtime=12.69 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 5519 0 0 0 1267 2 0 0 20 0 1 0 125176582 67211264 13605 33554432000 4194304 6199737 140737124929472 140737124928168 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 16409 13605 161 490 0 15910 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65636

[startup+25.5003 s]
/proc/loadavg: 2.19 2.24 2.22 3/177 24224
/proc/meminfo: memFree=29737084/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=86140 CPUtime=25.49 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 6632 0 0 0 2547 2 0 0 20 0 1 0 125176582 88207360 16416 33554432000 4194304 6199737 140737124929472 140737124928408 4213306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 21535 16416 161 490 0 21036 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86140

[startup+51.1003 s]
/proc/loadavg: 2.26 2.26 2.22 3/177 24224
/proc/meminfo: memFree=29698804/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=119736 CPUtime=51.09 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 8107 0 0 0 5106 3 0 0 20 0 1 0 125176582 122609664 24178 33554432000 4194304 6199737 140737124929472 140737124928408 4213306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 29934 24178 161 490 0 29435 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 119736

[startup+102.3 s]
/proc/loadavg: 2.15 2.23 2.21 3/177 24225
/proc/meminfo: memFree=29693424/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=120960 CPUtime=102.28 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 8625 0 0 0 10225 3 0 0 20 0 1 0 125176582 123863040 24673 33554432000 4194304 6199737 140737124929472 140737124928408 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 30240 24673 161 490 0 29741 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 120960

[startup+162.3 s]
/proc/loadavg: 2.26 2.24 2.21 3/177 24226
/proc/meminfo: memFree=29663200/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=122556 CPUtime=162.26 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 9045 0 0 0 16223 3 0 0 20 0 1 0 125176582 125497344 27125 33554432000 4194304 6199737 140737124929472 140737124928584 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 30639 27125 161 490 0 30140 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 122556

[startup+222.307 s]
/proc/loadavg: 2.26 2.24 2.21 3/176 24228
/proc/meminfo: memFree=29650700/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=123888 CPUtime=222.26 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 9421 0 0 0 22223 3 0 0 20 0 1 0 125176582 126861312 27501 33554432000 4194304 6199737 140737124929472 140737124928408 4213296 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 30972 27501 161 490 0 30473 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 123888

[startup+282.3 s]
/proc/loadavg: 2.21 2.23 2.21 4/177 24230
/proc/meminfo: memFree=29648060/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=124952 CPUtime=282.25 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 9775 0 0 0 28221 4 0 0 20 0 1 0 125176582 127950848 27834 33554432000 4194304 6199737 140737124929472 140737124928408 4213476 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 31238 27834 161 490 0 30739 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 124952

[startup+342.3 s]
/proc/loadavg: 2.21 2.23 2.20 3/177 24231
/proc/meminfo: memFree=29626284/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=176888 CPUtime=342.24 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 10809 0 0 0 34220 4 0 0 20 0 1 0 125176582 181133312 31147 33554432000 4194304 6199737 140737124929472 140737124928408 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 44222 31147 161 490 0 43723 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 176888

[startup+402.3 s]
/proc/loadavg: 2.25 2.23 2.20 3/178 24235
/proc/meminfo: memFree=29564332/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=260972 CPUtime=402.23 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 11826 0 0 0 40217 6 0 0 20 0 1 0 125176582 267235328 45910 33554432000 4194304 6199737 140737124929472 140737124928408 4213645 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 65243 45910 161 490 0 64744 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 260972

[startup+462.3 s]
/proc/loadavg: 2.24 2.23 2.20 3/177 24236
/proc/meminfo: memFree=29554360/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=261848 CPUtime=462.22 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 12384 0 0 0 46216 6 0 0 20 0 1 0 125176582 268132352 48207 33554432000 4194304 6199737 140737124929472 140737124928584 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 65462 48207 161 490 0 64963 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 261848

[startup+522.3 s]
/proc/loadavg: 2.32 2.26 2.21 3/177 24238
/proc/meminfo: memFree=29548584/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=262288 CPUtime=522.21 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 12579 0 0 0 52215 6 0 0 20 0 1 0 125176582 268582912 48390 33554432000 4194304 6199737 140737124929472 140737124928408 4213314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 65572 48390 161 490 0 65073 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 262288

[startup+582.3 s]
/proc/loadavg: 2.23 2.24 2.20 3/177 24239
/proc/meminfo: memFree=29546364/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=263096 CPUtime=582.2 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 12775 0 0 0 58214 6 0 0 20 0 1 0 125176582 269410304 48586 33554432000 4194304 6199737 140737124929472 140737124928408 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 65774 48586 161 490 0 65275 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 263096


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


[startup+942.3 s]
/proc/loadavg: 2.26 2.24 2.20 4/177 24246
/proc/meminfo: memFree=29499444/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=267448 CPUtime=942.14 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 13924 0 0 0 94207 7 0 0 20 0 1 0 125176582 273866752 49710 33554432000 4194304 6199737 140737124929472 140737124928408 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 66862 49710 161 490 0 66363 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 267448

[startup+1002.3 s]
/proc/loadavg: 2.29 2.25 2.20 3/178 24250
/proc/meminfo: memFree=29490292/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=269024 CPUtime=1002.14 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 15020 0 0 0 100206 8 0 0 20 0 1 0 125176582 275480576 50111 33554432000 4194304 6199737 140737124929472 140737124928120 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 67256 50111 161 490 0 66757 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 269024

[startup+1062.3 s]
/proc/loadavg: 2.20 2.23 2.19 3/177 24251
/proc/meminfo: memFree=29481164/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=269552 CPUtime=1062.13 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 15164 0 0 0 106205 8 0 0 20 0 1 0 125176582 276021248 50255 33554432000 4194304 6199737 140737124929472 140737124928408 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 67388 50255 161 490 0 66889 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 269552

[startup+1122.3 s]
/proc/loadavg: 2.16 2.22 2.19 3/177 24253
/proc/meminfo: memFree=29476204/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=269720 CPUtime=1122.12 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 15210 0 0 0 112204 8 0 0 20 0 1 0 125176582 276193280 50301 33554432000 4194304 6199737 140737124929472 140737124928408 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 67430 50301 161 490 0 66931 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 269720

[startup+1182.3 s]
/proc/loadavg: 2.29 2.25 2.20 3/177 24254
/proc/meminfo: memFree=29475160/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=270068 CPUtime=1182.11 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 15419 0 0 0 118203 8 0 0 20 0 1 0 125176582 276549632 50501 33554432000 4194304 6199737 140737124929472 140737124928408 4213495 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 67517 50501 161 490 0 67018 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 270068

[startup+1242.3 s]
/proc/loadavg: 2.20 2.23 2.19 4/177 24255
/proc/meminfo: memFree=29472168/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=270564 CPUtime=1242.1 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 15535 0 0 0 124202 8 0 0 20 0 1 0 125176582 277057536 51128 33554432000 4194304 6199737 140737124929472 140737124928408 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 67641 51128 161 490 0 67142 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 270564

[startup+1302.3 s]
/proc/loadavg: 2.18 2.22 2.18 4/177 24256
/proc/meminfo: memFree=29467208/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=271184 CPUtime=1302.09 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 15707 0 0 0 130201 8 0 0 20 0 1 0 125176582 277692416 52322 33554432000 4194304 6199737 140737124929472 140737124928120 4213314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 67796 52322 161 490 0 67297 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 271184

[startup+1362.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/177 24257
/proc/meminfo: memFree=29460016/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=271888 CPUtime=1362.07 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 15872 0 0 0 136199 8 0 0 20 0 1 0 125176582 278413312 54020 33554432000 4194304 6199737 140737124929472 140737124928408 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 67972 54020 161 490 0 67473 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 271888

[startup+1422.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 24259
/proc/meminfo: memFree=29453568/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=272364 CPUtime=1422.08 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 15992 0 0 0 142199 9 0 0 20 0 1 0 125176582 278900736 55162 33554432000 4194304 6199737 140737124929472 140737124928408 4213314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 68091 55162 161 490 0 67592 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 272364

[startup+1482.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/177 24260
/proc/meminfo: memFree=29442352/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=272564 CPUtime=1482.06 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 16099 0 0 0 148197 9 0 0 20 0 1 0 125176582 279105536 57788 33554432000 4194304 6199737 140737124929472 140737124928408 4213396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 68141 57788 161 490 0 67642 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 272564

[startup+1542.31 s]
/proc/loadavg: 2.21 2.20 2.18 3/177 24261
/proc/meminfo: memFree=29441564/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=273088 CPUtime=1542.06 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 16479 0 0 0 154197 9 0 0 20 0 1 0 125176582 279642112 57927 33554432000 4194304 6199737 140737124929472 140737124928408 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 68272 57927 161 490 0 67773 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 273088

[startup+1602.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/178 24265
/proc/meminfo: memFree=29439964/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=273788 CPUtime=1602.05 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 16646 0 0 0 160195 10 0 0 20 0 1 0 125176582 280358912 58094 33554432000 4194304 6199737 140737124929472 140737124928408 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 68447 58094 161 490 0 67948 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 273788

[startup+1662.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/179 24289
/proc/meminfo: memFree=29437240/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=275024 CPUtime=1662.04 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 17107 0 0 0 166194 10 0 0 20 0 1 0 125176582 281624576 58475 33554432000 4194304 6199737 140737124929472 140737124928408 4213296 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 68756 58475 161 490 0 68257 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 275024

[startup+1722.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/177 24290
/proc/meminfo: memFree=29412596/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=275384 CPUtime=1722.03 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 18022 0 0 0 172192 11 0 0 20 0 1 0 125176582 281993216 64713 33554432000 4194304 6199737 140737124929472 140737124928408 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 68846 64713 161 490 0 68347 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 275384

[startup+1782.3 s]
/proc/loadavg: 2.39 2.25 2.20 4/178 24292
/proc/meminfo: memFree=29381696/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=408352 CPUtime=1782.01 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 19342 0 0 0 178190 11 0 0 20 0 1 0 125176582 418152448 72229 33554432000 4194304 6199737 140737124929472 140737124928408 4213296 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 102088 72229 161 490 0 101589 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 408352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/178 24292
/proc/meminfo: memFree=29365560/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=408512 CPUtime=1800.02 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 20296 0 0 0 179989 13 0 0 20 0 1 0 125176582 418316288 76877 33554432000 4194304 6199737 140737124929472 140737124928408 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 102128 76877 161 490 0 101629 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 408512

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

[startup+1800.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/178 24292
/proc/meminfo: memFree=29365560/32872528 swapFree=16384/1696552
[pid=24208] ppid=24205 vsize=408512 CPUtime=1800.02 cores=1,3,5,7
/proc/24208/stat : 24208 (cdcl-cuttingpla) R 24205 24208 23746 0 -1 4202496 20296 0 0 0 179989 13 0 0 20 0 1 0 125176582 418316288 76877 33554432000 4194304 6199737 140737124929472 140737124928408 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24208/statm: 102128 76877 161 490 0 101629 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 408512

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.132979
maximum resident set size= 307508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20296
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= 16
involuntary context switches= 2130

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.66829 second user time and 6.80297 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-09 02:33:55
IDJOB=4087233
IDBENCH=90209
IDSOLVER=2548
FILE ID=node125/4087233-1465432435
RUNJOBID= node125-1465427032-23763
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_K148.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087233-1465432435/watcher-4087233-1465432435 -o /tmp/evaluation-result-4087233-1465432435/solver-4087233-1465432435 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465427032-23763 --watchdog 1960 --input HOME/instance-4087233-1465432435.opb ./cdcl-cuttingplanes-release

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

MD5SUM BENCH= 75849fe0d0ba66aaca3a2fe3a07c685a
RANDOM SEED=1710989010

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:        29882160 kB
Buffers:          129724 kB
Cached:           412444 kB
SwapCached:         1700 kB
Active:           102368 kB
Inactive:         442300 kB
Active(anon):       2016 kB
Inactive(anon):     2960 kB
Active(file):     100352 kB
Inactive(file):   439340 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098584 kB
Dirty:              3524 kB
Writeback:             0 kB
AnonPages:       1698444 kB
Mapped:             7128 kB
Shmem:                 0 kB
Slab:             614504 kB
SReclaimable:      58280 kB
SUnreclaim:       556224 kB
KernelStack:        1424 kB
PageTables:         7632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1793888 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 03:03:56