Trace number 4087459

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 NameAnswerobjective functionCPU timeWall clock time
cdcl-cuttingplanes OPT binary search 2016-05-01? (TO) 1800.02 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
MD5SUM5f836d1b8d150c1925229546ed283812
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark375
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 453
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 491651
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 491651
Number of bits of the biggest sum of numbers19
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 OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.69/0.72	c * #variable= 10000 #constraint= 656900
1.98/2.09	c * #variable= 10000 #constraint= 656900
5.60/5.68	c S1->S2
5.60/5.68	c S1->S2
5.60/5.68	c S1->S2
5.60/5.68	c S1->S2
5.60/5.68	c #Conflicts:       1000 | #Learnt:       1003 | 0.000
5.60/5.68	c total clause space: 127.173MB
5.60/5.68	c total #watches: 1488624
22.49/22.58	c total #propagations: 294959 / total #impl: 5091668 (eff. 0.058)
22.49/22.58	c #Conflicts:       2000 | #Learnt:       2003 | 0.015
22.49/22.58	c total clause space: 206.656MB
22.49/22.58	c total #watches: 3293864
72.38/72.41	c total #propagations: 791675 / total #impl: 390804589 (eff. 0.002)
72.38/72.41	c #Conflicts:       3000 | #Learnt:       2012 | 0.013
72.38/72.41	c total clause space: 335.816MB
72.38/72.41	c total #watches: 5009273
134.67/134.79	c total #propagations: 1178147 / total #impl: 1296342412 (eff. 0.001)
134.67/134.79	c #Conflicts:       4000 | #Learnt:       3011 | 0.011
134.67/134.79	c total clause space: 335.816MB
134.67/134.79	c total #watches: 6846017
193.57/193.60	c total #propagations: 1527085 / total #impl: 2641267627 (eff. 0.001)
193.57/193.60	c GC COLLECT
193.57/193.60	c #Conflicts:       5000 | #Learnt:       2363 | 0.008
193.57/193.60	c total clause space: 545.701MB
193.57/193.60	c total #watches: 6966766
248.05/248.13	c total #propagations: 1905025 / total #impl: 4511241652 (eff. 0.000)
248.05/248.13	c #Conflicts:       6000 | #Learnt:       3363 | 0.007
248.05/248.13	c total clause space: 545.701MB
248.05/248.13	c total #watches: 9380626
310.14/310.28	c total #propagations: 2229338 / total #impl: 6640197890 (eff. 0.000)
310.14/310.28	c GC COLLECT
310.14/310.28	c #Conflicts:       7000 | #Learnt:       2240 | 0.006
310.14/310.28	c total clause space: 545.701MB
310.14/310.28	c total #watches: 8513092
357.23/357.37	c total #propagations: 2539922 / total #impl: 9314207537 (eff. 0.000)
357.23/357.37	c #Conflicts:       8000 | #Learnt:       3240 | 0.005
357.23/357.37	c total clause space: 545.701MB
357.23/357.37	c total #watches: 10205853
427.42/427.50	c total #propagations: 2842332 / total #impl: 11699421575 (eff. 0.000)
427.42/427.50	c #Conflicts:       9000 | #Learnt:       4240 | 0.005
427.42/427.50	c total clause space: 545.701MB
427.42/427.50	c total #watches: 11733824
505.50/505.60	c total #propagations: 3186894 / total #impl: 14521447427 (eff. 0.000)
505.50/505.60	c GC COLLECT
505.50/505.60	c #Conflicts:      10000 | #Learnt:       2733 | 0.004
505.50/505.60	c total clause space: 545.701MB
505.50/505.60	c total #watches: 6616313
556.29/556.47	c total #propagations: 3547685 / total #impl: 16943268976 (eff. 0.000)
556.29/556.47	c #Conflicts:      11000 | #Learnt:       3733 | 0.004
556.29/556.47	c total clause space: 545.701MB
556.29/556.47	c total #watches: 8305175
625.48/625.62	c total #propagations: 3832675 / total #impl: 19067000548 (eff. 0.000)
625.48/625.62	c #Conflicts:      12000 | #Learnt:       4733 | 0.004
625.48/625.62	c total clause space: 545.701MB
625.48/625.62	c total #watches: 9145526
696.27/696.42	c total #propagations: 4203697 / total #impl: 21380572300 (eff. 0.000)
696.27/696.42	c #Conflicts:      13000 | #Learnt:       5733 | 0.003
696.27/696.42	c total clause space: 545.701MB
696.27/696.42	c total #watches: 10460135
740.86/741.05	c total #propagations: 4513771 / total #impl: 23800116258 (eff. 0.000)
740.86/741.05	c GC COLLECT
740.86/741.05	c #Conflicts:      14000 | #Learnt:       3887 | 0.003
740.86/741.05	c total clause space: 545.701MB
740.86/741.05	c total #watches: 8452920
811.85/812.09	c total #propagations: 4777093 / total #impl: 25299126753 (eff. 0.000)
811.85/812.09	c #Conflicts:      15000 | #Learnt:       4887 | 0.003
811.85/812.09	c total clause space: 545.701MB
811.85/812.09	c total #watches: 9832940
885.45/885.66	c total #propagations: 5069948 / total #impl: 27318952898 (eff. 0.000)
885.45/885.66	c #Conflicts:      16000 | #Learnt:       5887 | 0.003
885.45/885.66	c total clause space: 886.764MB
885.45/885.66	c total #watches: 11480441
969.23/969.44	c total #propagations: 5341767 / total #impl: 29445538245 (eff. 0.000)
969.23/969.44	c GC COLLECT
969.23/969.44	c #Conflicts:      17000 | #Learnt:       3715 | 0.003
969.23/969.44	c total clause space: 886.764MB
969.23/969.44	c total #watches: 8971666
1042.42/1042.66	c total #propagations: 5652062 / total #impl: 31442655651 (eff. 0.000)
1042.42/1042.66	c #Conflicts:      18000 | #Learnt:       4715 | 0.002
1042.42/1042.66	c total clause space: 886.764MB
1042.42/1042.66	c total #watches: 10663088
1137.10/1137.40	c total #propagations: 5984638 / total #impl: 33654474614 (eff. 0.000)
1137.10/1137.40	c #Conflicts:      19000 | #Learnt:       5715 | 0.002
1137.10/1137.40	c total clause space: 886.764MB
1137.10/1137.40	c total #watches: 12578617
1245.59/1245.85	c total #propagations: 6287668 / total #impl: 36563392953 (eff. 0.000)
1245.59/1245.85	c #Conflicts:      20000 | #Learnt:       6715 | 0.002
1245.59/1245.85	c total clause space: 886.764MB
1245.59/1245.85	c total #watches: 13730033
1338.37/1338.69	c total #propagations: 6625587 / total #impl: 39501766297 (eff. 0.000)
1338.37/1338.69	c GC COLLECT
1338.37/1338.69	c #Conflicts:      21000 | #Learnt:       4222 | 0.002
1338.37/1338.69	c total clause space: 886.764MB
1338.37/1338.69	c total #watches: 9559076
1424.46/1424.73	c total #propagations: 7045089 / total #impl: 42318433590 (eff. 0.000)
1424.46/1424.73	c #Conflicts:      22000 | #Learnt:       5222 | 0.002
1424.46/1424.73	c total clause space: 886.764MB
1424.46/1424.73	c total #watches: 10928143
1515.55/1515.89	c total #propagations: 7348738 / total #impl: 45628943681 (eff. 0.000)
1515.55/1515.89	c #Conflicts:      23000 | #Learnt:       6222 | 0.002
1515.55/1515.89	c total clause space: 886.764MB
1515.55/1515.89	c total #watches: 12944974
1610.24/1610.58	c total #propagations: 7637495 / total #impl: 49243525702 (eff. 0.000)
1610.24/1610.58	c #Conflicts:      24000 | #Learnt:       7222 | 0.002
1610.24/1610.58	c total clause space: 886.764MB
1610.24/1610.58	c total #watches: 13889595
1729.71/1730.02	c total #propagations: 7944294 / total #impl: 52854387536 (eff. 0.000)
1729.71/1730.02	c GC COLLECT
1729.71/1730.02	c #Conflicts:      25000 | #Learnt:       4426 | 0.002
1729.71/1730.02	c total clause space: 886.764MB
1729.71/1730.02	c total #watches: 9029089
1796.20/1796.54	c total #propagations: 8410642 / total #impl: 56712953505 (eff. 0.000)
1796.20/1796.54	c #Conflicts:      26000 | #Learnt:       5426 | 0.002
1796.20/1796.54	c total clause space: 886.764MB
1796.20/1796.54	c total #watches: 10564828

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-4087459-1465394441/watcher-4087459-1465394441 -o /tmp/evaluation-result-4087459-1465394441/solver-4087459-1465394441 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465387127-25308 --watchdog 1960 --input HOME/instance-4087459-1465394441.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=26344
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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.16 2.11 2.04 3/175 26347
/proc/meminfo: memFree=29843800/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 255 0 0 0 0 0 0 0 20 0 1 0 121379036 57319424 7291 33554432000 4194304 6211289 140736465150848 140736777783160 4206544 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 13994 7291 98 493 0 13491 0

[startup+0.100163 s]
/proc/loadavg: 2.16 2.11 2.04 3/175 26347
/proc/meminfo: memFree=29843800/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=59556 CPUtime=0.09 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 1622 0 0 0 8 1 0 0 20 0 1 0 121379036 60985344 11539 33554432000 4194304 6211289 140736465150848 140736777783160 5252361 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 14889 11540 121 493 0 14386 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59556

[startup+0.200333 s]
/proc/loadavg: 2.16 2.11 2.04 3/175 26347
/proc/meminfo: memFree=29843800/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=62620 CPUtime=0.19 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 2118 0 0 0 18 1 0 0 20 0 1 0 121379036 64122880 12290 33554432000 4194304 6211289 140736465150848 140736777783160 5418912 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 15655 12290 121 493 0 15152 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 62620

[startup+0.300317 s]
/proc/loadavg: 2.16 2.11 2.04 3/175 26347
/proc/meminfo: memFree=29843800/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=68752 CPUtime=0.29 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 2624 0 0 0 28 1 0 0 20 0 1 0 121379036 70402048 12796 33554432000 4194304 6211289 140736465150848 140736777783160 5418912 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 17188 12796 121 493 0 16685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68752

[startup+0.700275 s]
/proc/loadavg: 2.16 2.11 2.04 3/175 26347
/proc/meminfo: memFree=29843800/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=81016 CPUtime=0.69 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 3128 0 0 0 67 2 0 0 20 0 1 0 121379036 82960384 15344 33554432000 4194304 6211289 140736465150848 140736465149688 5418912 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 20254 15344 121 493 0 19751 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81016

[startup+1.50027 s]
/proc/loadavg: 2.16 2.11 2.04 3/176 26348
/proc/meminfo: memFree=29712536/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=201576 CPUtime=1.49 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 6527 0 0 0 145 4 0 0 20 0 1 0 121379036 206413824 39694 33554432000 4194304 6211289 140736465150848 140736465148728 4770928 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 50394 39694 144 493 0 49891 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 201576

[startup+3.10028 s]
/proc/loadavg: 2.16 2.11 2.04 3/176 26348
/proc/meminfo: memFree=29630068/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=351420 CPUtime=3.09 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 10860 0 0 0 302 7 0 0 20 0 1 0 121379036 359854080 72523 33554432000 4194304 6211289 140736465150848 140736465148264 4361599 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 87855 72523 144 493 0 87352 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 351420

[startup+6.30025 s]
/proc/loadavg: 2.15 2.11 2.04 3/176 26348
/proc/meminfo: memFree=29383728/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=564284 CPUtime=6.29 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 11649 0 0 0 618 11 0 0 20 0 1 0 121379036 577826816 113649 33554432000 4194304 6211289 140736465150848 140736465149544 4205291 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 141071 113649 214 493 0 140568 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 564284

[startup+12.7003 s]
/proc/loadavg: 2.13 2.11 2.04 3/176 26348
/proc/meminfo: memFree=29340744/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=564912 CPUtime=12.69 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 11874 0 0 0 1258 11 0 0 20 0 1 0 121379036 578469888 122551 33554432000 4194304 6211289 140736465150848 140736465148760 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 141228 122551 214 493 0 140725 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 564912

[startup+25.5004 s]
/proc/loadavg: 2.10 2.10 2.04 3/176 26371
/proc/meminfo: memFree=29273436/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=572692 CPUtime=25.48 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 13854 0 0 0 2536 12 0 0 20 0 1 0 121379036 586436608 135262 33554432000 4194304 6211289 140736465150848 140736465148840 4202026 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 143173 135262 214 493 0 142670 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 572692

[startup+51.1003 s]
/proc/loadavg: 2.07 2.09 2.04 3/176 26371
/proc/meminfo: memFree=29188408/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=724064 CPUtime=51.08 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 18771 0 0 0 5094 14 0 0 20 0 1 0 121379036 741441536 151407 33554432000 4194304 6211289 140736465150848 140736465148840 4201964 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 181016 151407 219 493 0 180513 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 724064

[startup+102.3 s]
/proc/loadavg: 2.12 2.11 2.04 3/175 26372
/proc/meminfo: memFree=29105948/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=746880 CPUtime=102.28 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 24499 0 0 0 10212 16 0 0 20 0 1 0 121379036 764805120 169399 33554432000 4194304 6211289 140736465150848 140736465148840 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 186720 169399 219 493 0 186217 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 746880

[startup+162.3 s]
/proc/loadavg: 2.02 2.08 2.04 3/175 26419
/proc/meminfo: memFree=29929424/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=965420 CPUtime=162.26 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 26494 0 0 0 16207 19 0 0 20 0 1 0 121379036 988590080 183812 33554432000 4194304 6211289 140736465150848 140736465148840 4210632 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 241355 183812 219 493 0 240852 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 965420

[startup+222.307 s]
/proc/loadavg: 2.08 2.09 2.04 3/175 26420
/proc/meminfo: memFree=29496312/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=984288 CPUtime=222.27 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 30579 0 0 0 22207 20 0 0 20 0 1 0 121379036 1007910912 187894 33554432000 4194304 6211289 140736465150848 140736465148840 4209501 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 246072 187894 219 493 0 245569 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 984288

[startup+282.3 s]
/proc/loadavg: 2.17 2.12 2.05 3/175 26422
/proc/meminfo: memFree=29283756/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1040576 CPUtime=282.24 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 44298 0 0 0 28201 23 0 0 20 0 1 0 121379036 1065549824 223674 33554432000 4194304 6211289 140736465150848 140736465148760 4241570 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 260144 223674 219 493 0 259641 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1040576

[startup+342.3 s]
/proc/loadavg: 2.09 2.11 2.05 3/175 26423
/proc/meminfo: memFree=29226924/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1045824 CPUtime=342.23 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 45849 0 0 0 34199 24 0 0 20 0 1 0 121379036 1070923776 235781 33554432000 4194304 6211289 140736465150848 140736465149192 4209464 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 261456 235781 219 493 0 260953 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1045824

[startup+402.3 s]
/proc/loadavg: 2.03 2.08 2.05 3/175 26424
/proc/meminfo: memFree=29156548/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1045824 CPUtime=402.22 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 45856 0 0 0 40198 24 0 0 20 0 1 0 121379036 1070923776 235788 33554432000 4194304 6211289 140736465150848 140736465149192 4209380 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 261456 235788 219 493 0 260953 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1045824

[startup+462.3 s]
/proc/loadavg: 2.01 2.07 2.04 3/175 26425
/proc/meminfo: memFree=29133420/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1045984 CPUtime=462.21 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 45913 0 0 0 46196 25 0 0 20 0 1 0 121379036 1071087616 241458 33554432000 4194304 6211289 140736465150848 140736465148760 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 261496 241458 219 493 0 260993 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1045984

[startup+522.3 s]
/proc/loadavg: 2.00 2.05 2.03 3/175 26426
/proc/meminfo: memFree=29053320/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1045984 CPUtime=522.19 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 45954 0 0 0 52194 25 0 0 20 0 1 0 121379036 1071087616 245066 33554432000 4194304 6211289 140736465150848 140736465149192 4209515 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 261496 245066 219 493 0 260993 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 1045984

[startup+582.3 s]
/proc/loadavg: 2.07 2.07 2.04 3/176 26431
/proc/meminfo: memFree=29018164/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1045984 CPUtime=582.18 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 45986 0 0 0 58193 25 0 0 20 0 1 0 121379036 1071087616 245098 33554432000 4194304 6211289 140736465150848 140736465149192 4202033 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 261496 245098 219 493 0 260993 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 1045984


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


[startup+942.3 s]
/proc/loadavg: 2.11 2.11 2.06 3/175 26439
/proc/meminfo: memFree=28855408/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1396868 CPUtime=942.13 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 47061 0 0 0 94185 28 0 0 20 0 1 0 121379036 1430392832 267916 33554432000 4194304 6211289 140736465150848 140736465148760 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 349217 267916 219 493 0 348714 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 1396868

[startup+1002.3 s]
/proc/loadavg: 2.07 2.10 2.06 3/175 26440
/proc/meminfo: memFree=28788652/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1396868 CPUtime=1002.12 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 47067 0 0 0 100184 28 0 0 20 0 1 0 121379036 1430392832 267922 33554432000 4194304 6211289 140736465150848 140736465149192 4209501 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 349217 267922 219 493 0 348714 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 1396868

[startup+1062.3 s]
/proc/loadavg: 2.12 2.11 2.06 3/175 26441
/proc/meminfo: memFree=28745764/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1396868 CPUtime=1062.11 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 47068 0 0 0 106183 28 0 0 20 0 1 0 121379036 1430392832 267923 33554432000 4194304 6211289 140736465150848 140736465149192 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 349217 267923 219 493 0 348714 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 1396868

[startup+1122.3 s]
/proc/loadavg: 2.04 2.09 2.06 3/175 26442
/proc/meminfo: memFree=28743812/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1397548 CPUtime=1122.11 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 47233 0 0 0 112183 28 0 0 20 0 1 0 121379036 1431089152 268088 33554432000 4194304 6211289 140736465150848 140736465148840 4209314 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 349387 268088 219 493 0 348884 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1397548

[startup+1182.3 s]
/proc/loadavg: 2.08 2.10 2.06 3/176 26447
/proc/meminfo: memFree=28699400/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1398748 CPUtime=1182.09 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 47649 0 0 0 118181 28 0 0 20 0 1 0 121379036 1432317952 268500 33554432000 4194304 6211289 140736465150848 140736465148840 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 349687 268500 219 493 0 349184 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1398748

[startup+1242.3 s]
/proc/loadavg: 2.08 2.09 2.06 3/175 26448
/proc/meminfo: memFree=28613184/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1399876 CPUtime=1242.09 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 47960 0 0 0 124180 29 0 0 20 0 1 0 121379036 1433473024 275965 33554432000 4194304 6211289 140736465150848 140736465148760 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 349969 275965 219 493 0 349466 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1399876

[startup+1302.3 s]
/proc/loadavg: 2.11 2.10 2.07 3/175 26449
/proc/meminfo: memFree=28566388/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1400392 CPUtime=1302.08 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 48144 0 0 0 130179 29 0 0 20 0 1 0 121379036 1434001408 280200 33554432000 4194304 6211289 140736465150848 140736465148760 4209392 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 350098 280200 219 493 0 349595 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1400392

[startup+1362.3 s]
/proc/loadavg: 2.14 2.12 2.08 3/175 26450
/proc/meminfo: memFree=28566872/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1400392 CPUtime=1362.07 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 48151 0 0 0 136178 29 0 0 20 0 1 0 121379036 1434001408 280207 33554432000 4194304 6211289 140736465150848 140736465149192 4209484 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 350098 280207 219 493 0 349595 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1400392

[startup+1422.3 s]
/proc/loadavg: 2.14 2.13 2.08 3/175 26451
/proc/meminfo: memFree=28566248/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1400584 CPUtime=1422.06 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 48168 0 0 0 142177 29 0 0 20 0 1 0 121379036 1434198016 280224 33554432000 4194304 6211289 140736465150848 140736465148760 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 350146 280224 219 493 0 349643 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1400584

[startup+1482.3 s]
/proc/loadavg: 2.13 2.13 2.09 3/175 26453
/proc/meminfo: memFree=28565504/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1400584 CPUtime=1482.05 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 48265 0 0 0 148176 29 0 0 20 0 1 0 121379036 1434198016 280320 33554432000 4194304 6211289 140736465150848 140736465149192 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 350146 280320 219 493 0 349643 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1400584

[startup+1542.31 s]
/proc/loadavg: 2.23 2.16 2.10 3/175 26454
/proc/meminfo: memFree=28564500/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1400744 CPUtime=1542.05 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 48289 0 0 0 154176 29 0 0 20 0 1 0 121379036 1434361856 280344 33554432000 4194304 6211289 140736465150848 140736465149192 4209501 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 350186 280344 219 493 0 349683 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1400744

[startup+1602.3 s]
/proc/loadavg: 2.14 2.14 2.09 3/175 26455
/proc/meminfo: memFree=28560160/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1401624 CPUtime=1602.03 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 48520 0 0 0 160174 29 0 0 20 0 1 0 121379036 1435262976 280575 33554432000 4194304 6211289 140736465150848 140736465148760 4209507 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 350406 280575 219 493 0 349903 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1401624

[startup+1662.3 s]
/proc/loadavg: 2.09 2.13 2.09 3/175 26456
/proc/meminfo: memFree=28544884/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1402464 CPUtime=1662.02 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 48719 0 0 0 166173 29 0 0 20 0 1 0 121379036 1436123136 283329 33554432000 4194304 6211289 140736465150848 140736465148760 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 350616 283329 219 493 0 350113 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1402464

[startup+1722.3 s]
/proc/loadavg: 2.24 2.17 2.10 3/175 26457
/proc/meminfo: memFree=28542024/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1402464 CPUtime=1722.01 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 48726 0 0 0 172172 29 0 0 20 0 1 0 121379036 1436123136 283336 33554432000 4194304 6211289 140736465150848 140736465148760 4209497 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 350616 283336 219 493 0 350113 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1402464

[startup+1782.3 s]
/proc/loadavg: 2.18 2.16 2.10 3/175 26461
/proc/meminfo: memFree=28541788/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1402464 CPUtime=1782 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 48737 0 0 0 178171 29 0 0 20 0 1 0 121379036 1436123136 283347 33554432000 4194304 6211289 140736465150848 140736465149192 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 350616 283347 219 493 0 350113 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1402464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.20 2.17 2.10 3/176 26462
/proc/meminfo: memFree=28541416/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1402464 CPUtime=1800 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 48738 0 0 0 179971 29 0 0 20 0 1 0 121379036 1436123136 283348 33554432000 4194304 6211289 140736465150848 140736465149192 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 350616 283348 219 493 0 350113 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1402464

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

[startup+1800.3 s]
/proc/loadavg: 2.20 2.17 2.10 3/176 26462
/proc/meminfo: memFree=28541416/32872528 swapFree=13256/481332
[pid=26347] ppid=26344 vsize=1402464 CPUtime=1800 cores=0,2,4,6
/proc/26347/stat : 26347 (cdcl-cuttingpla) R 26344 26347 25292 0 -1 4202496 48738 0 0 0 179971 29 0 0 20 0 1 0 121379036 1436123136 283348 33554432000 4194304 6211289 140736465150848 140736465149192 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/26347/statm: 350616 283348 219 493 0 350113 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1402464

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.71
CPU system time (s): 0.301954
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 1402464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.301954
maximum resident set size= 1133392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48738
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= 30
involuntary context switches= 1849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.25935 second user time and 7.2269 second system time

The end

Launcher Data

Begin job on node104 at 2016-06-08 16:00:42
IDJOB=4087459
IDBENCH=1970
IDSOLVER=2549
FILE ID=node104/4087459-1465394441
RUNJOBID= node104-1465387127-25308
PBS_JOBID= 19853856
Free space on /tmp= 71704 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087459-1465394441/watcher-4087459-1465394441 -o /tmp/evaluation-result-4087459-1465394441/solver-4087459-1465394441 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465387127-25308 --watchdog 1960 --input HOME/instance-4087459-1465394441.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 5f836d1b8d150c1925229546ed283812
RANDOM SEED=907025074

node104.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.775
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	: 5333.55
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.775
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.775
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.775
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.775
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.775
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.775
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.775
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29844444 kB
Buffers:          119772 kB
Cached:           554596 kB
SwapCached:         1724 kB
Active:          1355456 kB
Inactive:         450224 kB
Active(anon):    1130664 kB
Inactive(anon):     3024 kB
Active(file):     224792 kB
Inactive(file):   447200 kB
Unevictable:      481332 kB
Mlocked:           13256 kB
SwapTotal:      67108856 kB
SwapFree:       67097284 kB
Dirty:             19024 kB
Writeback:             0 kB
AnonPages:       1615520 kB
Mapped:             7984 kB
Shmem:                 0 kB
Slab:             604084 kB
SReclaimable:      48020 kB
SUnreclaim:       556064 kB
KernelStack:        1424 kB
PageTables:         7124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1983188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1589248 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= 71700 MiB
End job on node104 at 2016-06-08 16:30:42