Trace number 3708937

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)3788 1800.11 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
MD5SUM8d2c17131f0dd6c2b5d472cf1eef4c89
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2967
Best CPU time to get the best result obtained on this benchmark0.208968
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2967
Optimality of the best value was proved YES
Number of variables1086
Total number of constraints85
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)84
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint1086
Number of terms in the objective function 1086
Biggest coefficient in the objective function 283
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 197191
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 283
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 197191
Number of bits of the biggest sum of numbers18
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 ...144630/instance-3708937-1338144630.opb
0.00/0.00	c Solving...
0.00/0.01	o 4586
0.00/0.03	o 4204
3.19/3.26	o 4189
9.59/9.69	o 4093
12.38/12.41	o 4091
12.48/12.59	o 4054
12.78/12.84	o 4027
13.08/13.19	o 3992
84.86/84.93	o 3920
108.96/109.04	o 3917
116.77/116.81	o 3876
325.03/325.15	o 3788
1800.10/1800.40	
1800.10/1800.40	*** INTERRUPTED! ***
1800.10/1800.40	c Answer: 12
1800.10/1800.40	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17
1800.10/1800.40	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32
1800.10/1800.40	v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47
1800.10/1800.40	v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62
1800.10/1800.40	v -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77
1800.10/1800.40	v -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92
1800.10/1800.40	v -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.10/1800.40	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117
1800.10/1800.40	v -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x129 -x130
1800.10/1800.40	v -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142
1800.10/1800.40	v -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154
1800.10/1800.40	v -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 x166 -x167
1800.10/1800.40	v -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179
1800.10/1800.40	v -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191
1800.10/1800.40	v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203
1800.10/1800.40	v -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215
1800.10/1800.40	v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227
1800.10/1800.40	v -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239
1800.10/1800.40	v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.10/1800.40	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263
1800.10/1800.40	v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275
1800.10/1800.40	v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287
1800.10/1800.40	v -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299
1800.10/1800.40	v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311
1800.10/1800.40	v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323
1800.10/1800.40	v -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.10/1800.40	v -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347
1800.10/1800.40	v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359
1800.10/1800.40	v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371
1800.10/1800.40	v -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383
1800.10/1800.40	v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395
1800.10/1800.40	v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407
1800.10/1800.40	v -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.10/1800.40	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431
1800.10/1800.40	v -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443
1800.10/1800.40	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455
1800.10/1800.40	v -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467
1800.10/1800.40	v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479
1800.10/1800.40	v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491
1800.10/1800.40	v -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.10/1800.40	v x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515
1800.10/1800.40	v -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527
1800.10/1800.40	v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539
1800.10/1800.40	v -x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551
1800.10/1800.40	v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563
1800.10/1800.40	v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575
1800.10/1800.40	v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1800.10/1800.40	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599
1800.10/1800.40	v -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611
1800.10/1800.40	v -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623
1800.10/1800.40	v -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635
1800.10/1800.40	v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647
1800.10/1800.40	v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659
1800.10/1800.40	v -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1800.10/1800.40	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683
1800.10/1800.40	v -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695
1800.10/1800.40	v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707
1800.10/1800.40	v -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719
1800.10/1800.40	v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
1800.10/1800.40	v -x732 -x733 -x734 -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743
1800.10/1800.40	v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.10/1800.40	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767
1800.10/1800.40	v -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779
1800.10/1800.40	v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791
1800.10/1800.40	v -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803
1800.10/1800.40	v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
1800.10/1800.40	v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827
1800.10/1800.40	v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1800.10/1800.40	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851
1800.10/1800.40	v -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863
1800.10/1800.40	v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875
1800.10/1800.40	v -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887
1800.10/1800.40	v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899
1800.10/1800.40	v -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911
1800.10/1800.40	v -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1800.10/1800.40	v -x924 -x925 -x926 -x927 x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935
1800.10/1800.40	v -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947
1800.10/1800.40	v -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959
1800.10/1800.40	v -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971
1800.10/1800.40	v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983
1800.10/1800.40	v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995
1800.10/1800.40	v -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1800.10/1800.40	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017
1800.10/1800.40	v -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028
1800.10/1800.40	v -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1800.10/1800.40	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
1800.10/1800.40	v -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061
1800.10/1800.40	v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072
1800.10/1800.40	v -x1073 -x1074 -x1075 -x1076 x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083
1800.10/1800.40	v -x1084 -x1085 -x1086
1800.10/1800.40	s SATISFIABLE
1800.10/1800.40	
1800.10/1800.40	c INTERRUPTED   : 1
1800.10/1800.40	c Models        : 1+    
1800.10/1800.40	c   Enumerated  : 12
1800.10/1800.40	c   Optimum     : unknown
1800.10/1800.40	c Optimization  : 3788
1800.10/1800.40	c Time          : 1800.404s (Solving: 1800.40s 1st Model: 0.01s Unsat: 0.00s)
1800.10/1800.40	c CPU Time      : 1800.100s

Verifier Data 

OK	3788

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.17 1.70 1.89 3/175 23702
/proc/meminfo: memFree=31503996/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0

[startup+0.0181659 s]
/proc/loadavg: 1.17 1.70 1.89 3/175 23702
/proc/meminfo: memFree=31503996/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100269 s]
/proc/loadavg: 1.17 1.70 1.89 3/175 23702
/proc/meminfo: memFree=31503996/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300238 s]
/proc/loadavg: 1.17 1.70 1.89 3/175 23702
/proc/meminfo: memFree=31503996/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700182 s]
/proc/loadavg: 1.17 1.70 1.89 3/175 23702
/proc/meminfo: memFree=31503996/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50028 s]
/proc/loadavg: 1.17 1.70 1.89 3/180 23749
/proc/meminfo: memFree=31498900/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=5208 CPUtime=1.49 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 1071 0 0 0 149 0 0 0 20 0 1 0 280589788 5332992 1008 33554432000 4194304 6212839 140736524264720 140736524262888 4298075 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 1302 1008 237 493 0 807 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14360

[startup+3.10027 s]
/proc/loadavg: 1.17 1.70 1.89 3/180 23749
/proc/meminfo: memFree=31496784/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=6236 CPUtime=3.09 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 1308 0 0 0 309 0 0 0 20 0 1 0 280589788 6385664 1245 33554432000 4194304 6212839 140736524264720 140736524262872 4357059 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 1559 1245 237 493 0 1064 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15388

[startup+6.30027 s]
/proc/loadavg: 1.24 1.70 1.89 3/180 23749
/proc/meminfo: memFree=31492368/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=9480 CPUtime=6.29 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 2121 0 0 0 629 0 0 0 20 0 1 0 280589788 9707520 2058 33554432000 4194304 6212839 140736524264720 140736524263016 4683216 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 2370 2058 237 493 0 1875 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18632

[startup+12.7003 s]
/proc/loadavg: 1.30 1.71 1.89 3/180 23749
/proc/meminfo: memFree=31487064/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=13356 CPUtime=12.68 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 3095 0 0 0 1268 0 0 0 20 0 1 0 280589788 13676544 3028 33554432000 4194304 6212839 140736524264720 140736524263016 4334413 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 3339 3028 237 493 0 2844 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22508

[startup+25.5003 s]
/proc/loadavg: 1.45 1.72 1.89 3/180 23749
/proc/meminfo: memFree=31486624/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=13624 CPUtime=25.48 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 3172 0 0 0 2548 0 0 0 20 0 1 0 280589788 13950976 3105 33554432000 4194304 6212839 140736524264720 140736524262792 4333845 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 3406 3105 237 493 0 2911 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22776

[startup+51.1003 s]
/proc/loadavg: 1.64 1.74 1.89 3/179 23749
/proc/meminfo: memFree=31482548/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=16536 CPUtime=51.07 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 3873 0 0 0 5107 0 0 0 20 0 1 0 280589788 16932864 3813 33554432000 4194304 6212839 140736524264720 140736524263016 4744795 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 4134 3813 237 493 0 3639 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 25688

[startup+102.306 s]
/proc/loadavg: 1.88 1.79 1.90 3/179 23750
/proc/meminfo: memFree=31478136/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=19936 CPUtime=102.27 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 4730 0 0 0 10227 0 0 0 20 0 1 0 280589788 20414464 4656 33554432000 4194304 6212839 140736524264720 140736524262872 4333818 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 4984 4656 237 493 0 4489 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29088

[startup+162.3 s]
/proc/loadavg: 1.95 1.83 1.91 3/179 23750
/proc/meminfo: memFree=31464576/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=31780 CPUtime=162.25 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 7697 0 0 0 16224 1 0 0 20 0 1 0 280589788 32542720 7644 33554432000 4194304 6212839 140736524264720 140736524263016 4298175 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 7945 7644 237 493 0 7450 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 40932

[startup+222.3 s]
/proc/loadavg: 1.98 1.86 1.91 3/179 23750
/proc/meminfo: memFree=31462592/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=32800 CPUtime=222.24 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 7912 0 0 0 22223 1 0 0 20 0 1 0 280589788 33587200 7859 33554432000 4194304 6212839 140736524264720 140736524262872 4661322 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 8200 7859 237 493 0 7705 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 41952

[startup+282.3 s]
/proc/loadavg: 1.99 1.88 1.91 3/179 23750
/proc/meminfo: memFree=31459208/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=35004 CPUtime=282.23 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 8489 0 0 0 28221 2 0 0 20 0 1 0 280589788 35844096 8436 33554432000 4194304 6212839 140736524264720 140736524262872 4298163 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 8751 8436 237 493 0 8256 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 44156

[startup+342.3 s]
/proc/loadavg: 1.99 1.90 1.91 3/179 23750
/proc/meminfo: memFree=31457188/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=36756 CPUtime=342.22 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 8891 0 0 0 34220 2 0 0 20 0 1 0 280589788 37638144 8848 33554432000 4194304 6212839 140736524264720 140736524262872 4676463 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 9189 8848 237 493 0 8694 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 45908

[startup+402.3 s]
/proc/loadavg: 1.99 1.91 1.91 3/179 23751
/proc/meminfo: memFree=31454892/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6

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

/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=48512 CPUtime=1062.11 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 11752 0 0 0 106208 3 0 0 20 0 1 0 280589788 49676288 11792 33554432000 4194304 6212839 140736524264720 140736524262872 4745339 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 12128 11792 237 493 0 11633 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 57664

[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 23779
/proc/meminfo: memFree=31443344/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=49048 CPUtime=1122.1 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 11897 0 0 0 112207 3 0 0 20 0 1 0 280589788 50225152 11915 33554432000 4194304 6212839 140736524264720 140736524262872 4739486 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 12262 11915 238 493 0 11767 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 58200

[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/180 23782
/proc/meminfo: memFree=31439732/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=51984 CPUtime=1182.09 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 12814 0 0 0 118206 3 0 0 20 0 1 0 280589788 53231616 12660 33554432000 4194304 6212839 140736524264720 140736524263016 4421856 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 12996 12660 238 493 0 12501 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 61136

[startup+1242.3 s]
/proc/loadavg: 2.05 1.99 1.91 3/179 23782
/proc/meminfo: memFree=31439696/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=51984 CPUtime=1242.08 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 12816 0 0 0 124205 3 0 0 20 0 1 0 280589788 53231616 12704 33554432000 4194304 6212839 140736524264720 140736524263016 4356288 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 12996 12704 238 493 0 12501 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 61136

[startup+1302.3 s]
/proc/loadavg: 2.02 1.99 1.91 3/179 23782
/proc/meminfo: memFree=31438332/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=53484 CPUtime=1302.07 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 13247 0 0 0 130204 3 0 0 20 0 1 0 280589788 54767616 13078 33554432000 4194304 6212839 140736524264720 140736524263016 4298129 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 13371 13078 238 493 0 12876 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 62636

[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 23783
/proc/meminfo: memFree=31438332/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=53484 CPUtime=1362.06 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 13247 0 0 0 136203 3 0 0 20 0 1 0 280589788 54767616 13078 33554432000 4194304 6212839 140736524264720 140736524263016 4298154 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 13371 13078 238 493 0 12876 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 62636

[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 23783
/proc/meminfo: memFree=31438088/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=53484 CPUtime=1422.06 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 13247 0 0 0 142203 3 0 0 20 0 1 0 280589788 54767616 13078 33554432000 4194304 6212839 140736524264720 140736524263016 4298107 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 13371 13078 238 493 0 12876 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 62636

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 23783
/proc/meminfo: memFree=31438088/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=53624 CPUtime=1482.04 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 13270 0 0 0 148201 3 0 0 20 0 1 0 280589788 54910976 13101 33554432000 4194304 6212839 140736524264720 140736524262872 4683122 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 13406 13101 238 493 0 12911 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 62776

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 23783
/proc/meminfo: memFree=31437776/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=53904 CPUtime=1542.03 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 13308 0 0 0 154200 3 0 0 20 0 1 0 280589788 55197696 13149 33554432000 4194304 6212839 140736524264720 140736524262872 4307955 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 13476 13149 238 493 0 12981 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 63056

[startup+1602.3 s]
/proc/loadavg: 2.05 2.00 1.92 3/179 23783
/proc/meminfo: memFree=31437300/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=54448 CPUtime=1602.02 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 13496 0 0 0 160199 3 0 0 20 0 1 0 280589788 55754752 13295 33554432000 4194304 6212839 140736524264720 140736524263016 4421867 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 13612 13295 238 493 0 13117 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 63600

[startup+1662.3 s]
/proc/loadavg: 2.02 2.00 1.92 3/179 23784
/proc/meminfo: memFree=31437056/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=55048 CPUtime=1662.01 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 13599 0 0 0 166198 3 0 0 20 0 1 0 280589788 56369152 13398 33554432000 4194304 6212839 140736524264720 140736524262872 4421873 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 13762 13398 238 493 0 13267 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 64200

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/179 23784
/proc/meminfo: memFree=31436932/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=55196 CPUtime=1722 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 13651 0 0 0 172197 3 0 0 20 0 1 0 280589788 56520704 13450 33554432000 4194304 6212839 140736524264720 140736524262872 4685294 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 13799 13450 238 493 0 13304 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 64348

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/180 23787
/proc/meminfo: memFree=31435932/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=55740 CPUtime=1781.99 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 13748 0 0 0 178196 3 0 0 20 0 1 0 280589788 57077760 13547 33554432000 4194304 6212839 140736524264720 140736524262872 4674259 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 13935 13547 238 493 0 13440 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 64892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 1.93 3/180 23787
/proc/meminfo: memFree=31436056/32873648 swapFree=6852/6852
[pid=23702] ppid=23700 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23702/stat : 23702 (clasp-opt.sh) S 23700 23702 9266 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 280589788 9371648 275 33554432000 4194304 5064252 140737076713184 140737076712096 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23702/statm: 2288 275 232 213 0 73 0
[pid=23703] ppid=23702 vsize=55740 CPUtime=1800.1 cores=0,2,4,6
/proc/23703/stat : 23703 (clasp-R5325) R 23702 23702 9266 0 -1 4202496 13769 0 0 0 180007 3 0 0 20 0 1 0 280589788 57077760 13568 33554432000 4194304 6212839 140736524264720 140736524262872 4298317 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23703/statm: 13935 13568 238 493 0 13440 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 64892

Sending SIGTERM to process tree (bottom up)

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

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1800.07
CPU system time (s): 0.035994
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 64892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.035994
maximum resident set size= 54304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14141
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= 29
involuntary context switches= 1973

runsolver used 2.77958 second user time and 7.09092 second system time

The end

Launcher Data 

Begin job on node115 at 2012-05-27 20:50:30
IDJOB=3708937
IDBENCH=1856
IDSOLVER=2288
FILE ID=node115/3708937-1338144630
RUNJOBID= node115-1338144630-23679
PBS_JOBID= 14624500
Free space on /tmp= 71652 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
COMMAND LINE= HOME/clasp-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708937-1338144630/watcher-3708937-1338144630 -o /tmp/evaluation-result-3708937-1338144630/solver-3708937-1338144630 -C 1800 -W 1900 -M 15500  HOME/clasp-opt.sh HOME/instance-3708937-1338144630.opb

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

MD5SUM BENCH= 8d2c17131f0dd6c2b5d472cf1eef4c89
RANDOM SEED=1091252207

node115.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.462
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	: 5332.92
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.462
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.462
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	: 5331.92
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.462
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.462
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.92
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.462
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	: 5331.91
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.462
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.462
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:        31504376 kB
Buffers:          303436 kB
Cached:           235728 kB
SwapCached:          936 kB
Active:           497688 kB
Inactive:          50724 kB
Active(anon):       1652 kB
Inactive(anon):     9952 kB
Active(file):     496036 kB
Inactive(file):    40772 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67106408 kB
Dirty:              4720 kB
Writeback:             0 kB
AnonPages:         15084 kB
Mapped:            10852 kB
Shmem:                96 kB
Slab:             682564 kB
SReclaimable:     126924 kB
SUnreclaim:       555640 kB
KernelStack:        1400 kB
PageTables:         3792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     103612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71648 MiB
End job on node115 at 2012-05-27 21:20:31