Trace number 4242882

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
R1: cosoco-sat 1.1? (TO) 2400.1 2401.1

General information on the benchmark

NameBinPacking/BinPacking-tab-sw120/
BinPacking-tab-sw120-31.xml
MD5SUM67c04303171609b86978ceecc7dcafe8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables133
Number of constraints25
Number of domains2
Minimum domain size23
Maximum domain size46
Distribution of domain sizes[{"size":23,"count":1},{"size":46,"count":132}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":110},{"degree":4,"count":22}]
Minimum constraint arity6
Maximum constraint arity132
Distribution of constraint arities[{"arity":6,"count":22},{"arity":23,"count":1},{"arity":132,"count":2}]
Number of extensional constraints22
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":22},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

24.38/24.42	c Create Cardinality(vars,values,occurs) constraint using 132 Exactly/AtMost.. constraint 
24.38/24.42	c
24.68/24.79	c SAT : Variables: 6095 -- Clauses: 137006
24.68/24.79	c best=?? lower=0 upper=22

Verifier Data 

One s line expected

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-4242882-1500665189/watcher-4242882-1500665189 -o /tmp/evaluation-result-4242882-1500665189/solver-4242882-1500665189 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500648174-9884 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242882-1500665189.xml 

pid=12544
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.92 2.00 2.04 3/245 12547
/proc/meminfo: memFree=31508140/32770624 swapFree=5920/203716
[pid=12547] ppid=12544 vsize=27388 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 1067 0 0 0 0 0 0 0 20 0 1 0 1785894 28045312 898 33554432000 4194304 5970956 140726190345040 140726190341688 5668454 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 6847 898 706 434 0 211 0

[startup+0.100179 s]
/proc/loadavg: 1.92 2.00 2.04 3/245 12547
/proc/meminfo: memFree=31508140/32770624 swapFree=5920/203716
[pid=12547] ppid=12544 vsize=27888 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 1162 0 0 0 9 0 0 0 20 0 1 0 1785894 28557312 964 33554432000 4194304 5970956 140726190345040 140726190341640 5674647 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 6972 964 709 434 0 336 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27888

[startup+0.200361 s]
/proc/loadavg: 1.92 2.00 2.04 3/245 12547
/proc/meminfo: memFree=31508140/32770624 swapFree=5920/203716
[pid=12547] ppid=12544 vsize=28728 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 1457 0 0 0 19 0 0 0 20 0 1 0 1785894 29417472 1127 33554432000 4194304 5970956 140726190345040 140726190341640 5673442 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 7182 1127 709 434 0 546 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28728

[startup+0.300331 s]
/proc/loadavg: 1.92 2.00 2.04 3/245 12547
/proc/meminfo: memFree=31508140/32770624 swapFree=5920/203716
[pid=12547] ppid=12544 vsize=29256 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 1648 0 0 0 29 0 0 0 20 0 1 0 1785894 29958144 1324 33554432000 4194304 5970956 140726190345040 140726190341640 5417067 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 7314 1324 709 434 0 678 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29256

[startup+0.700308 s]
/proc/loadavg: 1.92 2.00 2.04 3/245 12547
/proc/meminfo: memFree=31508140/32770624 swapFree=5920/203716
[pid=12547] ppid=12544 vsize=33144 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 2595 0 0 0 69 0 0 0 20 0 1 0 1785894 33939456 2190 33554432000 4194304 5970956 140726190345040 140726190341640 140598326451173 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 8286 2190 709 434 0 1650 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33144

[startup+1.50029 s]
/proc/loadavg: 1.92 2.00 2.04 3/246 12548
/proc/meminfo: memFree=31497980/32770624 swapFree=5920/203652
[pid=12547] ppid=12544 vsize=39648 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 3708 0 0 0 149 0 0 0 20 0 1 0 1785894 40599552 3545 33554432000 4194304 5970956 140726190345040 140726190341640 140598326451173 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 9912 3545 709 434 0 3276 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39648

[startup+3.10029 s]
/proc/loadavg: 1.92 2.00 2.04 3/246 12548
/proc/meminfo: memFree=31488840/32770624 swapFree=5920/204064
[pid=12547] ppid=12544 vsize=52656 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 6482 0 0 0 308 1 0 0 20 0 1 0 1785894 53919744 6805 33554432000 4194304 5970956 140726190345040 140726190341640 140598326451173 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 13164 6805 709 434 0 6528 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52656

[startup+6.30027 s]
/proc/loadavg: 1.93 2.00 2.04 3/246 12548
/proc/meminfo: memFree=31460204/32770624 swapFree=5920/204064
[pid=12547] ppid=12544 vsize=78672 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 10601 0 0 0 627 2 0 0 20 0 1 0 1785894 80560128 12791 33554432000 4194304 5970956 140726190345040 140726190341640 140598326451173 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 19668 12791 709 434 0 13032 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78672

[startup+12.7003 s]
/proc/loadavg: 1.94 2.00 2.04 3/246 12548
/proc/meminfo: memFree=31412920/32770624 swapFree=5920/204064
[pid=12547] ppid=12544 vsize=130968 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 18391 0 0 0 1265 4 0 0 20 0 1 0 1785894 134111232 24874 33554432000 4194304 5970956 140726190345040 140726190341640 140598326451173 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 32742 24874 709 434 0 26106 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 130968

[startup+25.5005 s]
/proc/loadavg: 1.95 2.00 2.04 3/246 12548
/proc/meminfo: memFree=30764972/32770624 swapFree=5920/204064
[pid=12547] ppid=12544 vsize=786836 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 109440 0 0 0 2528 20 0 0 20 0 1 0 1785894 805720064 185359 33554432000 4194304 5970956 140726190345040 140726190332360 4934545 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185359 807 434 0 190073 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 786836

[startup+51.1005 s]
/proc/loadavg: 1.97 2.00 2.04 3/246 12548
/proc/meminfo: memFree=30764860/32770624 swapFree=5920/204064
[pid=12547] ppid=12544 vsize=786836 CPUtime=51.07 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 148573 0 0 0 5085 22 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 786836

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/246 12550
/proc/meminfo: memFree=30764092/32770624 swapFree=5920/204128
[pid=12547] ppid=12544 vsize=786836 CPUtime=102.24 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 205182 0 0 0 10200 24 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 786836

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/245 12551
/proc/meminfo: memFree=30765288/32770624 swapFree=5920/204172
[pid=12547] ppid=12544 vsize=786836 CPUtime=162.2 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 239879 0 0 0 16195 25 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 786836

[startup+222.308 s]
/proc/loadavg: 2.00 2.00 2.04 3/247 12561
/proc/meminfo: memFree=30763772/32770624 swapFree=5920/204216
[pid=12547] ppid=12544 vsize=786836 CPUtime=222.18 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 275531 0 0 0 22191 27 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4933151 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 786836

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/247 12562
/proc/meminfo: memFree=30763424/32770624 swapFree=5920/204264
[pid=12547] ppid=12544 vsize=786836 CPUtime=282.15 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 296655 0 0 0 28186 29 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4933151 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 786836

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/247 12563
/proc/meminfo: memFree=30762552/32770624 swapFree=5920/204304
[pid=12547] ppid=12544 vsize=786836 CPUtime=342.12 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 314632 0 0 0 34183 29 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 786836

[startup+402.3 s]
/proc/loadavg: 2.06 2.01 2.05 3/247 12564
/proc/meminfo: memFree=30763164/32770624 swapFree=5920/204340
[pid=12547] ppid=12544 vsize=786836 CPUtime=402.09 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 329337 0 0 0 40179 30 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 786836

[startup+462.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/247 12565
/proc/meminfo: memFree=30763456/32770624 swapFree=5920/204380
[pid=12547] ppid=12544 vsize=786836 CPUtime=462.05 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 342303 0 0 0 46174 31 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 786836

[startup+522.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/247 12567
/proc/meminfo: memFree=30763752/32770624 swapFree=5920/204416
[pid=12547] ppid=12544 vsize=786836 CPUtime=522.02 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 342993 0 0 0 52171 31 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 786836

[startup+582.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/247 12568
/proc/meminfo: memFree=30763648/32770624 swapFree=5920/204460
[pid=12547] ppid=12544 vsize=786836 CPUtime=582 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 343705 0 0 0 58169 31 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 786836


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/246 12730
/proc/meminfo: memFree=24690256/32770624 swapFree=5920/205176
[pid=12547] ppid=12544 vsize=786836 CPUtime=1541.61 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 354824 0 0 0 154128 33 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 1541.61
Current children cumulated vsize (KiB) 786836

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/246 12731
/proc/meminfo: memFree=24689360/32770624 swapFree=5920/205176
[pid=12547] ppid=12544 vsize=786836 CPUtime=1601.58 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 355501 0 0 0 160125 33 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 1601.58
Current children cumulated vsize (KiB) 786836

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 12732
/proc/meminfo: memFree=24689544/32770624 swapFree=5920/205496
[pid=12547] ppid=12544 vsize=786836 CPUtime=1661.56 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 356221 0 0 0 166123 33 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 1661.56
Current children cumulated vsize (KiB) 786836

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 12734
/proc/meminfo: memFree=24689940/32770624 swapFree=5920/205496
[pid=12547] ppid=12544 vsize=786836 CPUtime=1721.53 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 356912 0 0 0 172120 33 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 1721.53
Current children cumulated vsize (KiB) 786836

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/246 12735
/proc/meminfo: memFree=24689804/32770624 swapFree=5920/205496
[pid=12547] ppid=12544 vsize=786836 CPUtime=1781.51 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 357585 0 0 0 178118 33 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (KiB) 786836

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/246 12736
/proc/meminfo: memFree=24688584/32770624 swapFree=5920/205496
[pid=12547] ppid=12544 vsize=786836 CPUtime=1841.49 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 358297 0 0 0 184116 33 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 1841.49
Current children cumulated vsize (KiB) 786836

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/246 12738
/proc/meminfo: memFree=24689272/32770624 swapFree=5920/205496
[pid=12547] ppid=12544 vsize=786836 CPUtime=1901.47 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 358974 0 0 0 190114 33 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 1901.47
Current children cumulated vsize (KiB) 786836

[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/246 12739
/proc/meminfo: memFree=24688972/32770624 swapFree=5920/205720
[pid=12547] ppid=12544 vsize=786836 CPUtime=1961.45 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 359687 0 0 0 196111 34 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934357 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 1961.45
Current children cumulated vsize (KiB) 786836

[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/246 12747
/proc/meminfo: memFree=24687112/32770624 swapFree=5920/205780
[pid=12547] ppid=12544 vsize=786836 CPUtime=2021.43 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 360368 0 0 0 202109 34 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934545 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 2021.43
Current children cumulated vsize (KiB) 786836

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/247 12771
/proc/meminfo: memFree=24686656/32770624 swapFree=5920/205780
[pid=12547] ppid=12544 vsize=786836 CPUtime=2081.42 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 361068 0 0 0 208108 34 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934527 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 2081.42
Current children cumulated vsize (KiB) 786836

[startup+2142.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/247 12772
/proc/meminfo: memFree=24686780/32770624 swapFree=5920/205780
[pid=12547] ppid=12544 vsize=786836 CPUtime=2141.39 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 361762 0 0 0 214105 34 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 2141.39
Current children cumulated vsize (KiB) 786836

[startup+2202.31 s]
/proc/loadavg: 2.04 2.04 2.05 3/247 12773
/proc/meminfo: memFree=24686932/32770624 swapFree=5920/205780
[pid=12547] ppid=12544 vsize=786836 CPUtime=2201.37 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 362462 0 0 0 220103 34 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 2201.37
Current children cumulated vsize (KiB) 786836

[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/247 12774
/proc/meminfo: memFree=24687448/32770624 swapFree=5920/205944
[pid=12547] ppid=12544 vsize=786836 CPUtime=2261.34 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 363169 0 0 0 226100 34 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 2261.34
Current children cumulated vsize (KiB) 786836

[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/247 12775
/proc/meminfo: memFree=24687344/32770624 swapFree=5920/205944
[pid=12547] ppid=12544 vsize=786836 CPUtime=2321.32 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 363839 0 0 0 232098 34 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 2321.32
Current children cumulated vsize (KiB) 786836

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/246 12776
/proc/meminfo: memFree=24687184/32770624 swapFree=5920/205944
[pid=12547] ppid=12544 vsize=786836 CPUtime=2381.3 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 364534 0 0 0 238096 34 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 2381.3
Current children cumulated vsize (KiB) 786836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.1 s]
/proc/loadavg: 2.00 2.02 2.05 3/246 12776
/proc/meminfo: memFree=24687276/32770624 swapFree=5920/205944
[pid=12547] ppid=12544 vsize=786836 CPUtime=2400.09 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 364657 0 0 0 239975 34 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 786836

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

[startup+2401.1 s]
/proc/loadavg: 2.00 2.02 2.05 3/246 12776
/proc/meminfo: memFree=24687276/32770624 swapFree=5920/205944
[pid=12547] ppid=12544 vsize=786836 CPUtime=2400.09 cores=0,2,4,6,8,10,12,14
/proc/12547/stat : 12547 (cosoco) R 12544 12547 9853 0 -1 4202496 364657 0 0 0 239975 34 0 0 20 0 1 0 1785894 805720064 185410 33554432000 4194304 5970956 140726190345040 140726190332360 4934366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 21340160 140726190351548 140726190351683 140726190351683 140726190354382 0
/proc/12547/statm: 196709 185410 854 434 0 190073 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 786836

Child status: 1
Real time (s): 2401.1
CPU time (s): 2400.1
CPU user time (s): 2399.76
CPU system time (s): 0.34686
CPU usage (%): 99.9584
Max. virtual memory (cumulated for all children) (KiB): 786836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.76
system time used= 0.34686
maximum resident set size= 741680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364677
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= 49
involuntary context switches= 120661

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5765 second user time and 7.72702 second system time

The end

Launcher Data 

Begin job on node135 at 2017-07-21 21:26:29
IDJOB=4242882
IDBENCH=138074
IDSOLVER=2621
FILE ID=node135/4242882-1500665189
RUNJOBID= node135-1500648174-9884
PBS_JOBID= 20623285
Free space on /tmp= 61772 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/BinPacking/BinPacking-tab-sw120/BinPacking-tab-sw120-31.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242882-1500665189/watcher-4242882-1500665189 -o /tmp/evaluation-result-4242882-1500665189/solver-4242882-1500665189 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500648174-9884 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4242882-1500665189.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 67c04303171609b86978ceecc7dcafe8
RANDOM SEED=555961304

node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.46
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
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.46
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
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.46
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
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.46
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
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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 sep 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 nopl 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 dtherm 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	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm 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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm 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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm 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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm 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:       32770624 kB
MemFree:        31508868 kB
MemAvailable:   31590096 kB
Buffers:           44548 kB
Cached:           346272 kB
SwapCached:            0 kB
Active:           674016 kB
Inactive:         212312 kB
Active(anon):     499028 kB
Inactive(anon):     8596 kB
Active(file):     174988 kB
Inactive(file):   203716 kB
Unevictable:        5920 kB
Mlocked:            5920 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             77316 kB
Writeback:             0 kB
AnonPages:        499996 kB
Mapped:            32372 kB
Shmem:              8872 kB
Slab:              68800 kB
SReclaimable:      36720 kB
SUnreclaim:        32080 kB
KernelStack:        4512 kB
PageTables:         6296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     837864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    430080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61768 MiB
End job on node135 at 2017-07-21 22:06:30