Trace number 3709105

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
clasp 2.0.6-R5325 (opt)SAT (TO)-34 1800.11 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
MD5SUMf408a60720d5bae3e36cea0c41e2f7f1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark824.628
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -39
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41619
Number of constraints which are clauses41619
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 760
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 760
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 760
Number of bits of the biggest sum of numbers10
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 Calling clasp with: --sat-p=-1,50,160,-1,1 --heuristic=Vsids --restarts=256 --dinit=1000,10000 --del=3.0,1.1,10.0 --recursive-str --update-lbd --dglue=2 --otfs=2 --dgrowS=100,1.5  --reverse-arcs=2 --dsched=+,10000,2000 --dfrac=0.5 --opt-heu=2 --restart-on-model
0.00/0.00	c clasp version 2.0.6
0.00/0.00	c Reading from ...158580/instance-3709105-1338158580.opb
0.00/0.07	c Solving...
0.00/0.07	o 0
0.00/0.07	o -28
0.00/0.07	o -29
0.00/0.11	o -30
0.00/0.13	o -31
0.00/0.86	o -32
3.59/3.61	o -33
91.12/91.21	o -34
1800.09/1800.50	
1800.09/1800.50	*** INTERRUPTED! ***
1800.09/1800.50	c Answer: 8
1800.09/1800.50	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17
1800.09/1800.50	v -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32
1800.09/1800.50	v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47
1800.09/1800.50	v -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62
1800.09/1800.50	v -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77
1800.09/1800.50	v -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92
1800.09/1800.50	v -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.09/1800.50	v -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 x116 -x117 -x118
1800.09/1800.50	v -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
1800.09/1800.50	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142
1800.09/1800.50	v -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154
1800.09/1800.50	v -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1800.09/1800.50	v x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178
1800.09/1800.50	v x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1800.09/1800.50	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202
1800.09/1800.50	v -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214
1800.09/1800.50	v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226
1800.09/1800.50	v x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239
1800.09/1800.50	v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251
1800.09/1800.50	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263
1800.09/1800.50	v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275
1800.09/1800.50	v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287
1800.09/1800.50	v -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299
1800.09/1800.50	v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311
1800.09/1800.50	v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323
1800.09/1800.50	v -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.09/1800.50	v x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347
1800.09/1800.50	v x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359
1800.09/1800.50	v -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371
1800.09/1800.50	v -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383
1800.09/1800.50	v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395
1800.09/1800.50	v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407
1800.09/1800.50	v -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.09/1800.50	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431
1800.09/1800.50	v -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443
1800.09/1800.50	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455
1800.09/1800.50	v -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467
1800.09/1800.50	v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479
1800.09/1800.50	v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491
1800.09/1800.50	v -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.09/1800.50	v -x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515
1800.09/1800.50	v -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527
1800.09/1800.50	v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539
1800.09/1800.50	v x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551
1800.09/1800.50	v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563
1800.09/1800.50	v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575
1800.09/1800.50	v -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587
1800.09/1800.50	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599
1800.09/1800.50	v -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611
1800.09/1800.50	v -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623
1800.09/1800.50	v -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635
1800.09/1800.50	v -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647
1800.09/1800.50	v -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659
1800.09/1800.50	v -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1800.09/1800.50	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683
1800.09/1800.50	v -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695
1800.09/1800.50	v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707
1800.09/1800.50	v -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719
1800.09/1800.50	v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
1800.09/1800.50	v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743
1800.09/1800.50	v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.09/1800.50	v -x756 -x757 -x758 -x759 -x760
1800.09/1800.50	s SATISFIABLE
1800.09/1800.50	
1800.09/1800.50	c INTERRUPTED   : 1
1800.09/1800.50	c Models        : 1+    
1800.09/1800.50	c   Enumerated  : 8
1800.09/1800.50	c   Optimum     : unknown
1800.09/1800.50	c Optimization  : -34
1800.09/1800.50	c Time          : 1800.504s (Solving: 1800.43s 1st Model: 0.00s Unsat: 0.00s)
1800.09/1800.50	c CPU Time      : 1800.090s

Verifier Data

OK	-34

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3709105-1338158580/watcher-3709105-1338158580 -o /tmp/evaluation-result-3709105-1338158580/solver-3709105-1338158580 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709105-1338158580.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.03 2.05 1.98 3/177 18047
/proc/meminfo: memFree=28782752/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0

[startup+0.0437141 s]
/proc/loadavg: 2.03 2.05 1.98 3/177 18047
/proc/meminfo: memFree=28782752/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100229 s]
/proc/loadavg: 2.03 2.05 1.98 3/177 18047
/proc/meminfo: memFree=28782752/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300187 s]
/proc/loadavg: 2.03 2.05 1.98 3/177 18047
/proc/meminfo: memFree=28782752/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700191 s]
/proc/loadavg: 2.03 2.05 1.98 3/177 18047
/proc/meminfo: memFree=28782752/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50024 s]
/proc/loadavg: 2.03 2.05 1.98 3/179 18089
/proc/meminfo: memFree=28746708/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=41032 CPUtime=1.49 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 10231 0 0 0 148 1 0 0 20 0 1 0 281984000 42016768 9923 33554432000 4194304 6212839 140736371621344 140736371619352 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 10258 9923 234 493 0 9763 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50184

[startup+3.10027 s]
/proc/loadavg: 2.03 2.05 1.98 3/179 18089
/proc/meminfo: memFree=28712460/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=51008 CPUtime=3.09 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 12739 0 0 0 308 1 0 0 20 0 1 0 281984000 52232192 12431 33554432000 4194304 6212839 140736371621344 140736371619352 4333845 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 12752 12431 234 493 0 12257 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60160

[startup+6.30026 s]
/proc/loadavg: 2.03 2.05 1.98 3/179 18089
/proc/meminfo: memFree=28682000/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=64672 CPUtime=6.28 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 16145 0 0 0 626 2 0 0 20 0 1 0 281984000 66224128 15837 33554432000 4194304 6212839 140736371621344 140736371619352 5437001 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 16168 15837 234 493 0 15673 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 73824

[startup+12.7002 s]
/proc/loadavg: 2.02 2.05 1.98 3/179 18089
/proc/meminfo: memFree=28650344/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=77848 CPUtime=12.68 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 19426 0 0 0 1265 3 0 0 20 0 1 0 281984000 79716352 19118 33554432000 4194304 6212839 140736371621344 140736371619352 4705024 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 19462 19118 234 493 0 18967 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 87000

[startup+25.5002 s]
/proc/loadavg: 2.09 2.06 1.98 3/179 18089
/proc/meminfo: memFree=28606192/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=95260 CPUtime=25.47 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 23783 0 0 0 2543 4 0 0 20 0 1 0 281984000 97546240 23459 33554432000 4194304 6212839 140736371621344 140736371619352 4705130 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 23815 23459 234 493 0 23320 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 104412

[startup+51.1003 s]
/proc/loadavg: 2.06 2.05 1.98 3/179 18090
/proc/meminfo: memFree=28553096/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=122260 CPUtime=51.05 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 30528 0 0 0 5100 5 0 0 20 0 1 0 281984000 125194240 30206 33554432000 4194304 6212839 140736371621344 140736371619352 4705100 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 30565 30206 234 493 0 30070 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 131412

[startup+102.306 s]
/proc/loadavg: 2.08 2.06 1.99 3/179 18090
/proc/meminfo: memFree=28503340/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=147256 CPUtime=102.22 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 36805 0 0 0 10215 7 0 0 20 0 1 0 281984000 150790144 36506 33554432000 4194304 6212839 140736371621344 140736371619352 4333806 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 36814 36506 234 493 0 36319 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 156408

[startup+162.3 s]
/proc/loadavg: 2.09 2.06 2.00 3/178 18090
/proc/meminfo: memFree=28458628/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=168556 CPUtime=162.21 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 42112 0 0 0 16213 8 0 0 20 0 1 0 281984000 172601344 41813 33554432000 4194304 6212839 140736371621344 140736371619352 4334696 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 42139 41813 234 493 0 41644 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 177708

[startup+222.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/179 18091
/proc/meminfo: memFree=28415580/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=190516 CPUtime=222.2 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 47633 0 0 0 22211 9 0 0 20 0 1 0 281984000 195088384 47101 33554432000 4194304 6212839 140736371621344 140736371619352 4411578 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 47629 47101 234 493 0 47134 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 199668

[startup+282.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/179 18091
/proc/meminfo: memFree=28368956/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=212236 CPUtime=282.18 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 53153 0 0 0 28208 10 0 0 20 0 1 0 281984000 217329664 52352 33554432000 4194304 6212839 140736371621344 140736371619352 4674276 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 53059 52352 234 493 0 52564 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 221388

[startup+342.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 18091
/proc/meminfo: memFree=28356064/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=216488 CPUtime=342.15 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 54247 0 0 0 34205 10 0 0 20 0 1 0 281984000 221683712 53751 33554432000 4194304 6212839 140736371621344 140736371619352 4685484 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 54122 53751 234 493 0 53627 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 225640

[startup+402.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 18092
/proc/meminfo: memFree=28344336/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7

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

/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=318936 CPUtime=1121.99 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 81518 0 0 0 112184 15 0 0 20 0 1 0 281984000 326590464 79284 33554432000 4194304 6212839 140736371621344 140736371619352 4705024 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 79734 79284 234 493 0 79239 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 328088

[startup+1182.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 18123
/proc/meminfo: memFree=28143080/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=319128 CPUtime=1181.99 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 82106 0 0 0 118183 16 0 0 20 0 1 0 281984000 326787072 79327 33554432000 4194304 6212839 140736371621344 140736371619352 4685365 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 79782 79327 234 493 0 79287 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 328280

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 18123
/proc/meminfo: memFree=28130768/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=324144 CPUtime=1241.98 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 83371 0 0 0 124182 16 0 0 20 0 1 0 281984000 331923456 80592 33554432000 4194304 6212839 140736371621344 140736371619352 4411578 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 81036 80592 234 493 0 80541 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 333296

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 18124
/proc/meminfo: memFree=28122692/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=325220 CPUtime=1301.98 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 84451 0 0 0 130182 16 0 0 20 0 1 0 281984000 333025280 80861 33554432000 4194304 6212839 140736371621344 140736371619352 4298129 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 81305 80861 234 493 0 80810 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 334372

[startup+1362.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 18124
/proc/meminfo: memFree=28116000/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=331468 CPUtime=1361.96 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 86287 0 0 0 136180 16 0 0 20 0 1 0 281984000 339423232 82356 33554432000 4194304 6212839 140736371621344 140736371619352 4685264 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 82867 82356 234 493 0 82372 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 340620

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 18124
/proc/meminfo: memFree=28104344/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=332016 CPUtime=1421.96 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 86797 0 0 0 142179 17 0 0 20 0 1 0 281984000 339984384 82477 33554432000 4194304 6212839 140736371621344 140736371619352 4298110 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 83004 82477 234 493 0 82509 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 341168

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18124
/proc/meminfo: memFree=28101468/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=334416 CPUtime=1481.94 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 87594 0 0 0 148177 17 0 0 20 0 1 0 281984000 342441984 83160 33554432000 4194304 6212839 140736371621344 140736371619352 4685336 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 83604 83160 234 493 0 83109 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 343568

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18124
/proc/meminfo: memFree=28066996/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=354388 CPUtime=1541.93 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 93073 0 0 0 154175 18 0 0 20 0 1 0 281984000 362893312 88148 33554432000 4194304 6212839 140736371621344 140736371619352 4308147 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 88597 88148 234 493 0 88102 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 363540

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18125
/proc/meminfo: memFree=28066996/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=353080 CPUtime=1601.92 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 93312 0 0 0 160174 18 0 0 20 0 1 0 281984000 361553920 87877 33554432000 4194304 6212839 140736371621344 140736371619352 4705165 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 88270 87877 234 493 0 87775 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 362232

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 18128
/proc/meminfo: memFree=28061832/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=355976 CPUtime=1661.91 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 93996 0 0 0 166173 18 0 0 20 0 1 0 281984000 364519424 88561 33554432000 4194304 6212839 140736371621344 140736371619352 4298171 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 88994 88561 234 493 0 88499 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 365128

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18128
/proc/meminfo: memFree=28053184/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=357792 CPUtime=1721.9 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 94658 0 0 0 172172 18 0 0 20 0 1 0 281984000 366379008 89001 33554432000 4194304 6212839 140736371621344 140736371619352 4312282 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 89448 89001 234 493 0 88953 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 366944

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18128
/proc/meminfo: memFree=28050580/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=359508 CPUtime=1781.89 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 95089 0 0 0 178171 18 0 0 20 0 1 0 281984000 368136192 89432 33554432000 4194304 6212839 140736371621344 140736371619352 4685283 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 89877 89432 234 493 0 89382 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 368660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18128
/proc/meminfo: memFree=28048472/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=359192 CPUtime=1800.09 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 95231 0 0 0 179991 18 0 0 20 0 1 0 281984000 367812608 89381 33554432000 4194304 6212839 140736371621344 140736371619640 4333776 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 89798 89381 234 493 0 89303 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 368344

Sending SIGTERM to process tree (bottom up)

Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18128
/proc/meminfo: memFree=28048472/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=359192 CPUtime=1800.09 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 95231 0 0 0 179991 18 0 0 20 0 1 0 281984000 367812608 89381 33554432000 4194304 6212839 140736371621344 140736371619640 4333776 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 89798 89381 234 493 0 89303 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 368344

Child status: 10
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1799.92
CPU system time (s): 0.19097
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 369188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.19097
maximum resident set size= 358296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95603
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= 158
involuntary context switches= 1848

runsolver used 2.73758 second user time and 7.2419 second system time

The end

Launcher Data

Begin job on node122 at 2012-05-28 00:43:00
IDJOB=3709105
IDBENCH=2240
IDSOLVER=2288
FILE ID=node122/3709105-1338158580
RUNJOBID= node122-1338154979-17717
PBS_JOBID= 14624523
Free space on /tmp= 71692 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
COMMAND LINE= HOME/clasp-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3709105-1338158580/watcher-3709105-1338158580 -o /tmp/evaluation-result-3709105-1338158580/solver-3709105-1338158580 -C 1800 -W 1900 -M 15500  HOME/clasp-opt.sh HOME/instance-3709105-1338158580.opb

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

MD5SUM BENCH= f408a60720d5bae3e36cea0c41e2f7f1
RANDOM SEED=668713624

node122.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.533
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.06
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.533
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	: 5331.91
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.533
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.04
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.533
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	: 5331.91
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.533
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	: 5331.91
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.533
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	: 5438.54
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.533
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	: 5331.91
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.533
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28783660 kB
Buffers:          315644 kB
Cached:          2950176 kB
SwapCached:            0 kB
Active:          1217280 kB
Inactive:        2073532 kB
Active(anon):      16340 kB
Inactive(anon):    11052 kB
Active(file):    1200940 kB
Inactive(file):  2062480 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3120 kB
Writeback:             0 kB
AnonPages:         40004 kB
Mapped:            14836 kB
Shmem:               200 kB
Slab:             661104 kB
SReclaimable:     105360 kB
SUnreclaim:       555744 kB
KernelStack:        1488 kB
PageTables:         3760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     139656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71688 MiB
End job on node122 at 2012-05-28 01:13:01