Trace number 4242744

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.02 2401

General information on the benchmark

NameBinPacking/
BinPacking-tab-ft/BinPacking-tab-ft249-09.xml
MD5SUMa945271e4f3ca829c58581a3c461a76e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark2400.08
Satisfiable
(Un)Satisfiability was proved
Number of variables397
Number of constraints102
Number of domains2
Minimum domain size100
Maximum domain size142
Distribution of domain sizes[{"size":100,"count":1},{"size":142,"count":396}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":297},{"degree":4,"count":99}]
Minimum constraint arity4
Maximum constraint arity396
Distribution of constraint arities[{"arity":4,"count":99},{"arity":100,"count":1},{"arity":396,"count":2}]
Number of extensional constraints99
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":99},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.79/0.86	c Create Cardinality(vars,values,occurs) constraint using 396 Exactly/AtMost.. constraint 
0.79/0.86	c
1.20/1.26	c SAT : Variables: 56332 -- Clauses: 3969703
1.20/1.26	c best=?? lower=0 upper=99 
2274.05/2275.08	c
2274.05/2275.08	c This is cosoco 1.0 --  
2274.05/2275.08	c
2274.05/2275.08	c enable optimization
2274.05/2275.08	c ========================================[ Problem Statistics ]===========================================
2274.05/2275.08	c |                                                                                                       
2274.05/2275.08	c |  Parse time        :         1.17 s 
2274.05/2275.08	c |
2274.05/2275.08	c |               Variables: 397
2274.05/2275.08	c |            Domain Sizes: 100..142
2274.05/2275.08	c |
2274.05/2275.08	c |             Constraints: 341
2274.05/2275.08	c |                   Arity: 1..396  -- Unary: 1
2274.05/2275.08	c | 
2274.05/2275.08	c |                   Types: 
2274.05/2275.08	c |                          Exactly K: 142
2274.05/2275.08	c |                          Exactly K variable: 1
2274.05/2275.08	c |                          Extension: 99  (nb tuples: 157719..157719) -- (shared: 98)
2274.05/2275.08	c |                          Intension: 1
2274.05/2275.08	c |                          Lex: 98
2274.05/2275.08	c |                          
2274.05/2275.08	c =========================================================================================================
2274.05/2275.08	conflict 212lvl : 158 bt156-46535:0(8310)X16102327

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-4242744-1500662317/watcher-4242744-1500662317 -o /tmp/evaluation-result-4242744-1500662317/solver-4242744-1500662317 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500648178-2504 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242744-1500662317.xml 

pid=5113
running on 8 cores: 1,3,5,7,9,11,13,15

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: 2.00 2.01 2.05 3/242 5116
/proc/meminfo: memFree=32148328/32770624 swapFree=5792/25420
[pid=5116] ppid=5113 vsize=28048 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 1205 0 0 0 0 0 0 0 20 0 1 0 1499033 28721152 1030 33554432000 4194304 5970956 140731271690448 140731271689640 140526945545189 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 7012 1030 703 434 0 376 0

[startup+0.100152 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 5116
/proc/meminfo: memFree=32148328/32770624 swapFree=5792/25420
[pid=5116] ppid=5113 vsize=31256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 2046 0 0 0 9 0 0 0 20 0 1 0 1499033 32006144 1808 33554432000 4194304 5970956 140731271690448 140731271687048 5672402 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 7814 1808 709 434 0 1178 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31256

[startup+0.20031 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 5116
/proc/meminfo: memFree=32148328/32770624 swapFree=5792/25420
[pid=5116] ppid=5113 vsize=32300 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 2397 0 0 0 19 0 0 0 20 0 1 0 1499033 33075200 2051 33554432000 4194304 5970956 140731271690448 140731271687048 5417044 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 8075 2051 709 434 0 1439 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32300

[startup+0.300242 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 5116
/proc/meminfo: memFree=32148328/32770624 swapFree=5792/25420
[pid=5116] ppid=5113 vsize=33728 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 2873 0 0 0 29 0 0 0 20 0 1 0 1499033 34537472 2341 33554432000 4194304 5970956 140731271690448 140731271687048 5672942 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 8432 2341 709 434 0 1796 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33728

[startup+0.700218 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 5116
/proc/meminfo: memFree=32148328/32770624 swapFree=5792/25420
[pid=5116] ppid=5113 vsize=40844 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 4036 0 0 0 69 0 0 0 20 0 1 0 1499033 41824256 3912 33554432000 4194304 5970956 140731271690448 140731271687048 5674027 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 10211 3912 709 434 0 3575 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40844

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5117
/proc/meminfo: memFree=31931704/32770624 swapFree=5792/25412
[pid=5116] ppid=5113 vsize=353632 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 61397 0 0 0 141 8 0 0 20 0 1 0 1499033 362119168 77402 33554432000 4194304 5970956 140731271690448 140731271687208 5136587 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88408 77402 839 434 0 81772 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 353632

[startup+3.10029 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5117
/proc/meminfo: memFree=31838452/32770624 swapFree=5792/25180
[pid=5116] ppid=5113 vsize=353632 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 85357 0 0 0 300 9 0 0 20 0 1 0 1499033 362119168 77482 33554432000 4194304 5970956 140731271690448 140731271687208 5136623 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88408 77482 853 434 0 81772 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 353632

[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5117
/proc/meminfo: memFree=31838904/32770624 swapFree=5792/25188
[pid=5116] ppid=5113 vsize=354036 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 116564 0 0 0 618 10 0 0 20 0 1 0 1499033 362532864 77579 33554432000 4194304 5970956 140731271690448 140731271687400 5136625 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88509 77579 853 434 0 81873 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 354036

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5117
/proc/meminfo: memFree=31838268/32770624 swapFree=5792/25192
[pid=5116] ppid=5113 vsize=354468 CPUtime=12.67 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 133060 0 0 0 1256 11 0 0 20 0 1 0 1499033 362975232 77671 33554432000 4194304 5970956 140731271690448 140731271687272 5031455 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88617 77671 853 434 0 81981 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 354468

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5183
/proc/meminfo: memFree=31794644/32770624 swapFree=5792/25244
[pid=5116] ppid=5113 vsize=354616 CPUtime=25.47 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 164876 0 0 0 2534 13 0 0 20 0 1 0 1499033 363126784 77780 33554432000 4194304 5970956 140731271690448 140731271687288 5136625 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88654 77780 853 434 0 82018 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 354616

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5183
/proc/meminfo: memFree=31793984/32770624 swapFree=5792/25272
[pid=5116] ppid=5113 vsize=354616 CPUtime=51.07 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 188816 0 0 0 5092 15 0 0 20 0 1 0 1499033 363126784 77786 33554432000 4194304 5970956 140731271690448 140731271687288 5136623 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88654 77786 853 434 0 82018 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 354616

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 5193
/proc/meminfo: memFree=31793436/32770624 swapFree=5792/25336
[pid=5116] ppid=5113 vsize=354880 CPUtime=102.24 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 204819 0 0 0 10209 15 0 0 20 0 1 0 1499033 363397120 77824 33554432000 4194304 5970956 140731271690448 140731271687208 5136625 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 77824 853 434 0 82084 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 354880

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 5194
/proc/meminfo: memFree=31792820/32770624 swapFree=5792/25364
[pid=5116] ppid=5113 vsize=354880 CPUtime=162.2 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 205350 0 0 0 16205 15 0 0 20 0 1 0 1499033 363397120 78086 33554432000 4194304 5970956 140731271690448 140731271687208 4934460 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78086 853 434 0 82084 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 354880

[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 5195
/proc/meminfo: memFree=31789148/32770624 swapFree=5792/25400
[pid=5116] ppid=5113 vsize=354880 CPUtime=222.17 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 205962 0 0 0 22202 15 0 0 20 0 1 0 1499033 363397120 78086 33554432000 4194304 5970956 140731271690448 140731271687208 5136623 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78086 853 434 0 82084 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 354880

[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/245 5196
/proc/meminfo: memFree=31789372/32770624 swapFree=5792/25440
[pid=5116] ppid=5113 vsize=354880 CPUtime=282.13 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 206524 0 0 0 28197 16 0 0 20 0 1 0 1499033 363397120 78086 33554432000 4194304 5970956 140731271690448 140731271687208 4934342 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78086 853 434 0 82084 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 354880

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/245 5197
/proc/meminfo: memFree=31789108/32770624 swapFree=5792/25476
[pid=5116] ppid=5113 vsize=354880 CPUtime=342.1 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 207042 0 0 0 34194 16 0 0 20 0 1 0 1499033 363397120 78086 33554432000 4194304 5970956 140731271690448 140731271687208 4934449 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78086 853 434 0 82084 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 354880

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5198
/proc/meminfo: memFree=31789344/32770624 swapFree=5792/25520
[pid=5116] ppid=5113 vsize=354880 CPUtime=402.07 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 207741 0 0 0 40191 16 0 0 20 0 1 0 1499033 363397120 78086 33554432000 4194304 5970956 140731271690448 140731271687208 5136625 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78086 853 434 0 82084 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 354880

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5199
/proc/meminfo: memFree=31789740/32770624 swapFree=5792/25552
[pid=5116] ppid=5113 vsize=354880 CPUtime=462.05 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 208370 0 0 0 46189 16 0 0 20 0 1 0 1499033 363397120 78086 33554432000 4194304 5970956 140731271690448 140731271687208 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78086 853 434 0 82084 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 354880

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5200
/proc/meminfo: memFree=31789796/32770624 swapFree=5792/25592
[pid=5116] ppid=5113 vsize=354880 CPUtime=522.02 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 208985 0 0 0 52186 16 0 0 20 0 1 0 1499033 363397120 78086 33554432000 4194304 5970956 140731271690448 140731271687208 5136625 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78086 853 434 0 82084 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 354880

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5201
/proc/meminfo: memFree=31789556/32770624 swapFree=5792/25620
[pid=5116] ppid=5113 vsize=354880 CPUtime=582 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 209602 0 0 0 58184 16 0 0 20 0 1 0 1499033 363397120 78086 33554432000 4194304 5970956 140731271690448 140731271687208 5136625 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78086 853 434 0 82084 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 354880


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 5258
/proc/meminfo: memFree=31785668/32770624 swapFree=5792/26176
[pid=5116] ppid=5113 vsize=354880 CPUtime=1481.65 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 219016 0 0 0 148148 17 0 0 20 0 1 0 1499033 363397120 78618 33554432000 4194304 5970956 140731271690448 140731271687208 5136623 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78618 853 434 0 82084 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 354880

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 5259
/proc/meminfo: memFree=31785600/32770624 swapFree=5792/26208
[pid=5116] ppid=5113 vsize=354880 CPUtime=1541.64 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 219645 0 0 0 154147 17 0 0 20 0 1 0 1499033 363397120 78619 33554432000 4194304 5970956 140731271690448 140731271687208 4933153 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78619 853 434 0 82084 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 354880

[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/245 5260
/proc/meminfo: memFree=31786132/32770624 swapFree=5792/26252
[pid=5116] ppid=5113 vsize=354880 CPUtime=1601.6 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 220284 0 0 0 160143 17 0 0 20 0 1 0 1499033 363397120 78620 33554432000 4194304 5970956 140731271690448 140731271687208 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78620 853 434 0 82084 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 354880

[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/243 5261
/proc/meminfo: memFree=31786248/32770624 swapFree=5792/26280
[pid=5116] ppid=5113 vsize=354880 CPUtime=1661.58 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 220919 0 0 0 166141 17 0 0 20 0 1 0 1499033 363397120 78620 33554432000 4194304 5970956 140731271690448 140731271687208 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78620 853 434 0 82084 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 354880

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 5262
/proc/meminfo: memFree=31786612/32770624 swapFree=5792/26316
[pid=5116] ppid=5113 vsize=354880 CPUtime=1721.56 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 221554 0 0 0 172139 17 0 0 20 0 1 0 1499033 363397120 78620 33554432000 4194304 5970956 140731271690448 140731271687208 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78620 853 434 0 82084 0
Current children cumulated CPU time (s) 1721.56
Current children cumulated vsize (KiB) 354880

[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/243 5263
/proc/meminfo: memFree=31786728/32770624 swapFree=5792/26348
[pid=5116] ppid=5113 vsize=354880 CPUtime=1781.53 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 222193 0 0 0 178136 17 0 0 20 0 1 0 1499033 363397120 78620 33554432000 4194304 5970956 140731271690448 140731271687208 5136625 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78620 853 434 0 82084 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (KiB) 354880

[startup+1842.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/243 5264
/proc/meminfo: memFree=31787132/32770624 swapFree=5792/26388
[pid=5116] ppid=5113 vsize=354880 CPUtime=1841.51 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 222877 0 0 0 184134 17 0 0 20 0 1 0 1499033 363397120 78621 33554432000 4194304 5970956 140731271690448 140731271687208 5136623 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78621 853 434 0 82084 0
Current children cumulated CPU time (s) 1841.51
Current children cumulated vsize (KiB) 354880

[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/245 5274
/proc/meminfo: memFree=31787428/32770624 swapFree=5792/26432
[pid=5116] ppid=5113 vsize=354880 CPUtime=1901.49 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 223482 0 0 0 190132 17 0 0 20 0 1 0 1499033 363397120 78621 33554432000 4194304 5970956 140731271690448 140731271687208 5031479 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78621 853 434 0 82084 0
Current children cumulated CPU time (s) 1901.49
Current children cumulated vsize (KiB) 354880

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/245 5275
/proc/meminfo: memFree=31788016/32770624 swapFree=5792/26464
[pid=5116] ppid=5113 vsize=354880 CPUtime=1961.46 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 224149 0 0 0 196129 17 0 0 20 0 1 0 1499033 363397120 78622 33554432000 4194304 5970956 140731271690448 140731271687208 5136615 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78622 853 434 0 82084 0
Current children cumulated CPU time (s) 1961.46
Current children cumulated vsize (KiB) 354880

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/245 5276
/proc/meminfo: memFree=31785888/32770624 swapFree=5792/26500
[pid=5116] ppid=5113 vsize=354880 CPUtime=2021.44 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 224805 0 0 0 202127 17 0 0 20 0 1 0 1499033 363397120 78622 33554432000 4194304 5970956 140731271690448 140731271687208 5136620 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78622 853 434 0 82084 0
Current children cumulated CPU time (s) 2021.44
Current children cumulated vsize (KiB) 354880

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 5277
/proc/meminfo: memFree=31786196/32770624 swapFree=5792/26536
[pid=5116] ppid=5113 vsize=354880 CPUtime=2081.42 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 225466 0 0 0 208125 17 0 0 20 0 1 0 1499033 363397120 78622 33554432000 4194304 5970956 140731271690448 140731271687208 5337412 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78622 853 434 0 82084 0
Current children cumulated CPU time (s) 2081.42
Current children cumulated vsize (KiB) 354880

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 5278
/proc/meminfo: memFree=31785832/32770624 swapFree=5792/26568
[pid=5116] ppid=5113 vsize=354880 CPUtime=2141.39 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 226109 0 0 0 214122 17 0 0 20 0 1 0 1499033 363397120 78623 33554432000 4194304 5970956 140731271690448 140731271687208 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78623 853 434 0 82084 0
Current children cumulated CPU time (s) 2141.39
Current children cumulated vsize (KiB) 354880

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5279
/proc/meminfo: memFree=31786080/32770624 swapFree=5792/26608
[pid=5116] ppid=5113 vsize=354880 CPUtime=2201.38 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 226718 0 0 0 220121 17 0 0 20 0 1 0 1499033 363397120 78623 33554432000 4194304 5970956 140731271690448 140731271687208 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78623 853 434 0 82084 0
Current children cumulated CPU time (s) 2201.38
Current children cumulated vsize (KiB) 354880

[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 5280
/proc/meminfo: memFree=31785908/32770624 swapFree=5792/26644
[pid=5116] ppid=5113 vsize=354880 CPUtime=2261.35 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 227377 0 0 0 226118 17 0 0 20 0 1 0 1499033 363397120 78623 33554432000 4194304 5970956 140731271690448 140731271687208 5136625 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78623 853 434 0 82084 0
Current children cumulated CPU time (s) 2261.35
Current children cumulated vsize (KiB) 354880

[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 5281
/proc/meminfo: memFree=31785984/32770624 swapFree=5792/26676
[pid=5116] ppid=5113 vsize=354880 CPUtime=2321.33 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 228017 0 0 0 232116 17 0 0 20 0 1 0 1499033 363397120 78632 33554432000 4194304 5970956 140731271690448 140731271687784 5136625 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78632 858 434 0 82084 0
Current children cumulated CPU time (s) 2321.33
Current children cumulated vsize (KiB) 354880

[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5282
/proc/meminfo: memFree=31786480/32770624 swapFree=5792/26708
[pid=5116] ppid=5113 vsize=354880 CPUtime=2381.31 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 228686 0 0 0 238114 17 0 0 20 0 1 0 1499033 363397120 78632 33554432000 4194304 5970956 140731271690448 140731271687784 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78632 858 434 0 82084 0
Current children cumulated CPU time (s) 2381.31
Current children cumulated vsize (KiB) 354880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5282
/proc/meminfo: memFree=31786976/32770624 swapFree=5792/26716
[pid=5116] ppid=5113 vsize=354880 CPUtime=2400 cores=1,3,5,7,9,11,13,15
/proc/5116/stat : 5116 (cosoco) R 5113 5116 2471 0 -1 4202496 228710 0 0 0 239983 17 0 0 20 0 1 0 1499033 363397120 78632 33554432000 4194304 5970956 140731271690448 140731271687784 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16912384 140731271697596 140731271697731 140731271697731 140731271700430 0
/proc/5116/statm: 88720 78632 858 434 0 82084 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 354880

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

Child status: 1
Real time (s): 2401
CPU time (s): 2400.02
CPU user time (s): 2399.84
CPU system time (s): 0.177927
CPU usage (%): 99.959
Max. virtual memory (cumulated for all children) (KiB): 354880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.84
system time used= 0.177927
maximum resident set size= 314576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228737
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= 25
involuntary context switches= 120729

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.34607 second user time and 11.6191 second system time

The end

Launcher Data 

Begin job on node129 at 2017-07-21 20:38:37
IDJOB=4242744
IDBENCH=135979
IDSOLVER=2621
FILE ID=node129/4242744-1500662317
RUNJOBID= node129-1500648178-2504
PBS_JOBID= 20623291
Free space on /tmp= 61980 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/BinPacking/BinPacking-tab-ft/BinPacking-tab-ft249-09.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242744-1500662317/watcher-4242744-1500662317 -o /tmp/evaluation-result-4242744-1500662317/solver-4242744-1500662317 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500648178-2504 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4242744-1500662317.xml

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

MD5SUM BENCH= a945271e4f3ca829c58581a3c461a76e
RANDOM SEED=2103734610

node129.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		: 1600.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.96
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		: 1867.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.96
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.96
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.96
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		: 1600.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.96
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		: 1600.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.96
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		: 1733.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		: 2668.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.96
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		: 1600.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.96
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:        32149204 kB
MemAvailable:   32050228 kB
Buffers:           50780 kB
Cached:           108332 kB
SwapCached:            0 kB
Active:           126768 kB
Inactive:          92088 kB
Active(anon):       4604 kB
Inactive(anon):    66668 kB
Active(file):     122164 kB
Inactive(file):    25420 kB
Unevictable:        5792 kB
Mlocked:            5792 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4864 kB
Writeback:             0 kB
AnonPages:         65400 kB
Mapped:            29600 kB
Shmem:              8844 kB
Slab:              93164 kB
SReclaimable:      60888 kB
SUnreclaim:        32276 kB
KernelStack:        4240 kB
PageTables:         5108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61980 MiB
End job on node129 at 2017-07-21 21:18:38