Trace number 4094517

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NaPS 1.02MSAT (TO) 1800.55 1800.87

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/celar/
normalized-celar6-sub1-24_wcsp.wbo
MD5SUM1923b56554147f45c1335542a0a2f539
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark3059
Best CPU time to get the best result obtained on this benchmark1800.55
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables336
Total number of constraints69031
Number of soft constraints69017
Number of constraints which are clauses69017
Number of constraints which are cardinality constraints (but not clauses)14
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint24
Top cost 47694
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 9891329
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 25
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c NaPS 1.02b.
1800.07/1800.40	o 40484
1800.07/1800.40	o 26484
1800.07/1800.40	o 17484
1800.07/1800.40	o 11555
1800.07/1800.40	o 7693
1800.07/1800.40	o 5127
1800.07/1800.40	o 3117
1800.07/1800.40	c 
1800.07/1800.40	c *** TERMINATED *** by signal 15
1800.07/1800.40	s SATISFIABLE
1800.07/1800.40	c _____________________________________________________________________________
1800.07/1800.40	c 
1800.07/1800.40	c std/band forms        : 23,0
1800.07/1800.40	c 2cl/3cl ITE-codings   : 308,0
1800.07/1800.40	c BDD/srt/adr Max costs : 45,8944528,0
1800.07/1800.40	c BDDraw/bin/mul/srt/adr: 14,0,0,9,0
1800.07/1800.40	c BDD nodes             : 644
1800.07/1800.40	c Es1/CC detections     : 0,0
1800.07/1800.40	c SAT/UNSAT calls       : 7,1
1800.07/1800.40	c restarts              : 1419
1800.07/1800.40	c conflicts             : 164870         (92 /sec)
1800.07/1800.40	c decisions             : 47060289       (26221 /sec)
1800.07/1800.40	c propagations          : 9111488335     (5076781 /sec)
1800.07/1800.40	c inspects              : 0              (0 /sec)
1800.07/1800.40	c CPU time (solving tm) : 1795 s        (1624 s)
1800.07/1800.40	c Time for Opt-base     : 18.71 s
1800.07/1800.40	c _____________________________________________________________________________
1800.07/1800.40	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v
1800.07/1800.40	v

Verifier Data 

OK	3059

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-4094517-1466104481/watcher-4094517-1466104481 -o /tmp/evaluation-result-4094517-1466104481/solver-4094517-1466104481 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466104481-32515 --watchdog 1960 naps-1.02 HOME/instance-4094517-1466104481.wbo 

pid=32530
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.18 1.25 1.60 4/172 32533
/proc/meminfo: memFree=30299708/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=6552 CPUtime=0 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 338 0 0 0 0 0 0 0 20 0 1 0 12494720 6709248 212 33554432000 4194304 5796924 140733611623632 140733611622856 5183584 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 1638 212 130 392 0 1237 0

[startup+0.100109 s]
/proc/loadavg: 1.18 1.25 1.60 4/172 32533
/proc/meminfo: memFree=30299708/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=9592 CPUtime=0.09 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1138 0 0 0 9 0 0 0 20 0 1 0 12494720 9822208 992 33554432000 4194304 5796924 140733611623632 140733611622856 5183584 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 2398 993 130 392 0 1997 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9592

[startup+0.200248 s]
/proc/loadavg: 1.18 1.25 1.60 4/172 32533
/proc/meminfo: memFree=30299708/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=12704 CPUtime=0.19 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 2016 0 0 0 19 0 0 0 20 0 1 0 12494720 13008896 1804 33554432000 4194304 5796924 140733611623632 140733611622856 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3176 1804 130 392 0 2775 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12704

[startup+0.30018 s]
/proc/loadavg: 1.18 1.25 1.60 4/172 32533
/proc/meminfo: memFree=30299708/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=15916 CPUtime=0.29 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 2982 0 0 0 29 0 0 0 20 0 1 0 12494720 16297984 2663 33554432000 4194304 5796924 140733611623632 140733611622856 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3979 2664 130 392 0 3578 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15916

[startup+0.70023 s]
/proc/loadavg: 1.18 1.25 1.60 4/172 32533
/proc/meminfo: memFree=30299708/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=31216 CPUtime=0.69 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 6789 0 0 0 68 1 0 0 20 0 1 0 12494720 31965184 6180 33554432000 4194304 5796924 140733611623632 140733611622904 5183584 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 7804 6180 130 392 0 7403 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31216

[startup+1.50023 s]
/proc/loadavg: 1.18 1.25 1.60 4/177 32545
/proc/meminfo: memFree=30189160/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=72184 CPUtime=1.49 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 21939 0 0 0 145 4 0 0 20 0 1 0 12494720 73916416 15110 33554432000 4194304 5796924 140733611623632 140733611620072 5092427 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 18046 15110 150 392 0 17645 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72184

[startup+3.10023 s]
/proc/loadavg: 1.18 1.25 1.60 3/177 32545
/proc/meminfo: memFree=30160636/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=72184 CPUtime=3.09 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 21939 0 0 0 305 4 0 0 20 0 1 0 12494720 73916416 15110 33554432000 4194304 5796924 140733611623632 140733611620072 5096673 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 18046 15110 150 392 0 17645 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72184

[startup+6.30021 s]
/proc/loadavg: 1.24 1.26 1.61 3/177 32545
/proc/meminfo: memFree=29898580/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=72184 CPUtime=6.29 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 21939 0 0 0 625 4 0 0 20 0 1 0 12494720 73916416 15110 33554432000 4194304 5796924 140733611623632 140733611620072 4295723 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 18046 15110 150 392 0 17645 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72184

[startup+12.7003 s]
/proc/loadavg: 1.30 1.28 1.61 3/177 32545
/proc/meminfo: memFree=29960888/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=72184 CPUtime=12.69 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 21939 0 0 0 1265 4 0 0 20 0 1 0 12494720 73916416 15110 33554432000 4194304 5796924 140733611623632 140733611620072 5100108 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 18046 15110 150 392 0 17645 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 72184

[startup+25.5004 s]
/proc/loadavg: 1.46 1.31 1.61 3/177 32545
/proc/meminfo: memFree=28919648/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=1268752 CPUtime=25.49 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 147843 0 0 0 2511 38 0 0 20 0 1 0 12494720 1299202048 285615 33554432000 4194304 5796924 140733611623632 140733611603096 4601168 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 317188 285615 157 392 0 316787 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1268752

[startup+51.1004 s]
/proc/loadavg: 1.71 1.38 1.63 3/177 32545
/proc/meminfo: memFree=25858248/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=5077168 CPUtime=51.08 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 338610 0 0 0 4987 121 0 0 20 0 1 0 12494720 5199020032 1045606 33554432000 4194304 5796924 140733611623632 140733611620600 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 1269292 1045606 162 392 0 1268891 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 5077168

[startup+102.3 s]
/proc/loadavg: 2.00 1.51 1.66 3/177 32546
/proc/meminfo: memFree=23342976/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=5667992 CPUtime=102.28 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 431542 0 0 0 10056 172 0 0 20 0 1 0 12494720 5804023808 1220579 33554432000 4194304 5796924 140733611623632 140733611591368 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 1416998 1220579 179 392 0 1416597 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 5667992

[startup+162.3 s]
/proc/loadavg: 2.13 1.64 1.69 3/177 32548
/proc/meminfo: memFree=9250336/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=9357080 CPUtime=162.26 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 776176 0 0 0 15926 300 0 0 20 0 1 0 12494720 9581649920 2012121 33554432000 4194304 5796924 140733611623632 140733611622024 4648630 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 2339270 2012121 179 392 0 2338869 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 9357080

[startup+222.307 s]
/proc/loadavg: 2.19 1.75 1.72 4/177 32594
/proc/meminfo: memFree=20361788/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=11030292 CPUtime=222.26 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 982212 0 0 0 21847 379 0 0 20 0 1 0 12494720 11295019008 2409115 33554432000 4194304 5796924 140733611623632 140733611621160 4569794 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 2757573 2409115 181 392 0 2757172 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 11030292

[startup+282.3 s]
/proc/loadavg: 2.26 1.85 1.76 4/177 32595
/proc/meminfo: memFree=15255588/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=12527028 CPUtime=282.25 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1105505 0 0 0 27794 431 0 0 20 0 1 0 12494720 12827676672 2788811 33554432000 4194304 5796924 140733611623632 140733611621160 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3131757 2788811 184 392 0 3131356 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 12527028

[startup+342.3 s]
/proc/loadavg: 2.15 1.89 1.77 3/178 32645
/proc/meminfo: memFree=18245624/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=13413256 CPUtime=342.24 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1181040 0 0 0 33762 462 0 0 20 0 1 0 12494720 13735174144 2984783 33554432000 4194304 5796924 140733611623632 140733611620600 4648608 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3353314 2984783 184 392 0 3352913 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 13413256

[startup+402.3 s]
/proc/loadavg: 2.17 1.95 1.80 3/177 32646
/proc/meminfo: memFree=18087556/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=13413520 CPUtime=402.23 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1181107 0 0 0 39761 462 0 0 20 0 1 0 12494720 13735444480 2985361 33554432000 4194304 5796924 140733611623632 140733611620744 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3353380 2985361 184 392 0 3352979 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 13413520

[startup+462.3 s]
/proc/loadavg: 2.31 2.03 1.84 3/177 32648
/proc/meminfo: memFree=13197188/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=13413792 CPUtime=462.22 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1181184 0 0 0 45760 462 0 0 20 0 1 0 12494720 13735723008 2986013 33554432000 4194304 5796924 140733611623632 140733611620744 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3353448 2986013 184 392 0 3353047 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 13413792

[startup+522.3 s]
/proc/loadavg: 2.21 2.05 1.85 3/177 32694
/proc/meminfo: memFree=18084760/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=13414196 CPUtime=522.21 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1181267 0 0 0 51759 462 0 0 20 0 1 0 12494720 13736136704 2986096 33554432000 4194304 5796924 140733611623632 140733611620744 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3353549 2986096 184 392 0 3353148 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 13414196

[startup+582.3 s]
/proc/loadavg: 2.19 2.08 1.88 4/177 32695
/proc/meminfo: memFree=18082856/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=13414520 CPUtime=582.2 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1181335 0 0 0 57758 462 0 0 20 0 1 0 12494720 13736468480 2986672 33554432000 4194304 5796924 140733611623632 140733611620744 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3353630 2986672 184 392 0 3353229 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 13414520


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


[startup+942.3 s]
/proc/loadavg: 2.09 2.12 1.95 3/178 328
/proc/meminfo: memFree=18244488/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=13416244 CPUtime=942.14 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1181797 0 0 0 93751 463 0 0 20 0 1 0 12494720 13738233856 2989661 33554432000 4194304 5796924 140733611623632 140733611620744 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3354061 2989661 184 392 0 3353660 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 13416244

[startup+1002.3 s]
/proc/loadavg: 2.27 2.17 1.98 3/177 329
/proc/meminfo: memFree=18241956/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=13416708 CPUtime=1002.13 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1181888 0 0 0 99750 463 0 0 20 0 1 0 12494720 13738708992 2990261 33554432000 4194304 5796924 140733611623632 140733611620904 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3354177 2990261 184 392 0 3353776 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 13416708

[startup+1062.3 s]
/proc/loadavg: 2.19 2.17 1.99 3/177 330
/proc/meminfo: memFree=18241408/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=13416708 CPUtime=1062.12 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1181889 0 0 0 105749 463 0 0 20 0 1 0 12494720 13738708992 2990261 33554432000 4194304 5796924 140733611623632 140733611620904 4569038 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3354177 2990261 184 392 0 3353776 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 13416708

[startup+1122.3 s]
/proc/loadavg: 2.20 2.18 2.00 4/176 332
/proc/meminfo: memFree=18240060/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=13416708 CPUtime=1122.11 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1181893 0 0 0 111748 463 0 0 20 0 1 0 12494720 13738708992 2990774 33554432000 4194304 5796924 140733611623632 140733611620904 4569014 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3354177 2990774 184 392 0 3353776 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 13416708

[startup+1182.3 s]
/proc/loadavg: 2.22 2.19 2.01 4/177 334
/proc/meminfo: memFree=18236872/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=13416708 CPUtime=1182.1 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1181927 0 0 0 117747 463 0 0 20 0 1 0 12494720 13738708992 2991313 33554432000 4194304 5796924 140733611623632 140733611620904 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3354177 2991313 184 392 0 3353776 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 13416708

[startup+1242.3 s]
/proc/loadavg: 2.25 2.20 2.02 3/177 335
/proc/meminfo: memFree=18234160/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=13417008 CPUtime=1242.08 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1182003 0 0 0 123745 463 0 0 20 0 1 0 12494720 13739016192 2991895 33554432000 4194304 5796924 140733611623632 140733611620744 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3354252 2991895 184 392 0 3353851 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 13417008

[startup+1302.3 s]
/proc/loadavg: 2.17 2.19 2.03 3/177 336
/proc/meminfo: memFree=18233760/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=13417496 CPUtime=1302.06 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1182122 0 0 0 129743 463 0 0 20 0 1 0 12494720 13739515904 2991990 33554432000 4194304 5796924 140733611623632 140733611620744 4569014 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3354374 2991990 184 392 0 3353973 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 13417496

[startup+1362.3 s]
/proc/loadavg: 2.32 2.23 2.05 3/177 337
/proc/meminfo: memFree=18231848/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=13417496 CPUtime=1362.05 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1182168 0 0 0 135742 463 0 0 20 0 1 0 12494720 13739515904 2992529 33554432000 4194304 5796924 140733611623632 140733611620744 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3354374 2992529 184 392 0 3353973 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 13417496

[startup+1422.3 s]
/proc/loadavg: 2.33 2.24 2.07 3/177 339
/proc/meminfo: memFree=18229072/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=13417928 CPUtime=1422.04 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1182283 0 0 0 141741 463 0 0 20 0 1 0 12494720 13739958272 2993140 33554432000 4194304 5796924 140733611623632 140733611620744 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3354482 2993140 184 392 0 3354081 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 13417928

[startup+1482.3 s]
/proc/loadavg: 2.31 2.26 2.08 4/177 340
/proc/meminfo: memFree=18229660/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=13417928 CPUtime=1482.02 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1182283 0 0 0 147739 463 0 0 20 0 1 0 12494720 13739958272 2993140 33554432000 4194304 5796924 140733611623632 140733611620744 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3354482 2993140 184 392 0 3354081 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 13417928

[startup+1542.31 s]
/proc/loadavg: 2.40 2.28 2.10 3/178 344
/proc/meminfo: memFree=18226860/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=13418060 CPUtime=1542.02 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1182314 0 0 0 153739 463 0 0 20 0 1 0 12494720 13740093440 2993682 33554432000 4194304 5796924 140733611623632 140733611620744 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3354515 2993682 184 392 0 3354114 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 13418060

[startup+1602.3 s]
/proc/loadavg: 2.37 2.29 2.11 3/177 345
/proc/meminfo: memFree=18224720/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=13418208 CPUtime=1602 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1182346 0 0 0 159737 463 0 0 20 0 1 0 12494720 13740244992 2994223 33554432000 4194304 5796924 140733611623632 140733611620744 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3354552 2994223 184 392 0 3354151 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 13418208

[startup+1662.3 s]
/proc/loadavg: 2.25 2.27 2.11 3/177 346
/proc/meminfo: memFree=13664500/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=13418480 CPUtime=1661.99 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1182399 0 0 0 165736 463 0 0 20 0 1 0 12494720 13740523520 2994787 33554432000 4194304 5796924 140733611623632 140733611620744 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3354620 2994787 184 392 0 3354219 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 13418480

[startup+1722.3 s]
/proc/loadavg: 2.26 2.26 2.11 3/177 348
/proc/meminfo: memFree=10542460/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=14829112 CPUtime=1721.99 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1315099 0 0 0 171668 531 0 0 20 0 1 0 12494720 15185010688 3314508 33554432000 4194304 5796924 140733611623632 140733611620840 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3707278 3314508 184 392 0 3706877 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 14829112

[startup+1782.3 s]
/proc/loadavg: 2.19 2.24 2.11 3/177 349
/proc/meminfo: memFree=7397412/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=14867616 CPUtime=1781.98 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1319319 0 0 0 177664 534 0 0 20 0 1 0 12494720 15224438784 3327182 33554432000 4194304 5796924 140733611623632 140733611621160 4606531 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3716904 3327182 184 392 0 3716503 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 14867616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.14 2.22 2.11 4/177 349
/proc/meminfo: memFree=7104904/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=14867616 CPUtime=1800.07 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202496 1319324 0 0 0 179473 534 0 0 20 0 1 0 12494720 15224438784 3327182 33554432000 4194304 5796924 140733611623632 140733611621160 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 3716904 3327182 184 392 0 3716503 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 14867616

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

[startup+1800.81 s]
/proc/loadavg: 2.14 2.22 2.11 4/177 349
/proc/meminfo: memFree=15116012/32872528 swapFree=1541688/1694988
[pid=32533] ppid=32530 vsize=0 CPUtime=1800.48 cores=1,3,5,7
/proc/32533/stat : 32533 (naps-1.02) R 32530 32533 31715 0 -1 4202500 1319334 0 0 0 179473 575 0 0 20 0 1 0 12494720 0 0 33554432000 0 0 0 0 0 0 16384 4096 17954 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32533/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1800.87
CPU time (s): 1800.55
CPU user time (s): 1794.74
CPU system time (s): 5.81012
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 14929904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.74
system time used= 5.81012
maximum resident set size= 13354616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1319334
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= 119
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6093 second user time and 6.86096 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-16 21:14:41
IDJOB=4094517
IDBENCH=79554
IDSOLVER=2554
FILE ID=node125/4094517-1466104481
RUNJOBID= node125-1466104481-32515
PBS_JOBID= 19904034
Free space on /tmp= 71744 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar6-sub1-24_wcsp.wbo
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4094517-1466104481/watcher-4094517-1466104481 -o /tmp/evaluation-result-4094517-1466104481/solver-4094517-1466104481 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466104481-32515 --watchdog 1960  naps-1.02 HOME/instance-4094517-1466104481.wbo

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

MD5SUM BENCH= 1923b56554147f45c1335542a0a2f539
RANDOM SEED=3928868

node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30301352 kB
Buffers:           53928 kB
Cached:           111160 kB
SwapCached:         2660 kB
Active:            67520 kB
Inactive:         104080 kB
Active(anon):       6968 kB
Inactive(anon):     2116 kB
Active(file):      60552 kB
Inactive(file):   101964 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67096844 kB
Dirty:              8568 kB
Writeback:             0 kB
AnonPages:       1700664 kB
Mapped:             7080 kB
Shmem:                 0 kB
Slab:             569160 kB
SReclaimable:      13180 kB
SUnreclaim:       555980 kB
KernelStack:        1408 kB
PageTables:         7156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1795508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node125 at 2016-06-16 21:44:42