Trace number 3736780

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
PB07: PB-clasp 2007-04-10SAT (TO)21 1802.14 1802.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_3.opb
MD5SUMd5313ea0d4ce989dad692c9adfb6f827
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark1796.85
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint61
Maximum length of a constraint111
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)37460
Sum of products size (including duplicates)74920
Number of different products37460
Sum of products size74920

Quality of the solution as a function of time


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

Solver Data 

3.96/4.07	o 26
5.37/5.42	o 25
6.73/6.87	o 24
9.79/9.94	o 23
31.18/31.32	o 22
67.77/67.97	sh: line 1: 30405 Done                    cat HOME/temp/instance-3736780-1338732399.opb.op
67.77/67.97	     30406 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3736780-1338732399.opb.clasp
429.46/429.72	o 21
1800.10/1800.61	sh: line 1: 30519 Done                    cat HOME/temp/instance-3736780-1338732399.opb.op
1800.10/1800.61	     30520 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3736780-1338732399.opb.clasp
1800.10/1800.62	c Somebody sent me a SIGTERM
1800.10/1800.62	s SATISFIABLE
1800.10/1800.62	v x52 x53 x90 x91 x155 x181 x213 x225 x248 x256 x269 x286 x366 x376 x416 x443 x457 x461 x462 x484 x486 x502 x535 x556 x583 x593 x609 x627 x631 x646 x653 x689 x726 x730 x737 x769 x812 x819 x821 x830 x884 x892 x925 x970 x992 x999 x1006 x1018 x1021 x1101 x1123 x1126 x1155 x1204 x1214 x1239 x1242 x1295 x1312 x1322 x1349 x1364 x1370 x1378 x1396 x1400 x1410 x1421 x1425 x1433 x1447 x1461 x1536 x1552 x1567 x1611 x1619 x1627 x1632 x1641 x1647 x1722 x1749 x1758 x1770 x1792 x1844 x1878 x1902 x1916 x1972 x1980 x2015 x2062 x2098 x2141 x2147 x2155 x2188 x2209 x2225 x2257 x2262 x2301 x2302 x2304 x2351 x2359 x2411 x2457 x2473 x2524 x2545 x2547 x2591 x2602 x2612 x2647 x2656 x2657 x2685 x2688 x2753 x2759 x2788 x2819 x2840 x2878 x2932 x2939 x2953 x2956 x2966 x2973 x2989 x3007 x3022 x3044 x3053 x3065 x3067 x3124 x3162 x3170 x3178 x3182 x3217 x3254 x3255 x3263 x3274 x3303 x3310 x3346 x3354 x3454 x3495 x3525 x3535 x3541 x3543 x3553 x3559 x3560 x3573 x3614 x3671 x3699 x3736 x3796 x3802 x3851 x3866 x3918 x3929 x3951 x3952 x3986 x4003 x4048 x4060 x4061 x4076 x4099 x4129 x4135 x4191 x4195 x4227 x4230 x4258 x4264 x4277 x4315 x4335 x4381 x4401 x4418 x4427 x4445 x4482 x4540 x4543 x4544 x4576 x4596 x4622 x4643 x4729 x4781 x4808 x4880 x4885 x4886 x4906 x4927 x4957 x4963 x5062 x5075 x5081 x5084 x5101 x5127 x5145 x5162 x5174 x5179 x5191 x5200 x5403 x5416 x5453 x5477 x5499 x5500 x5510 x5514 x5580 x5678 x5684 x5704 x5821 x5874 x5878 x5879 x5881 x5920 x5925 x5946 x5954 x5965 x5994 x5999 x6024 x6055 x6066 x6080 x6082 x6113 x6118 x6129 x6144 x6216 x6230 x6302 x6304 x6319 x6383 x6387 x6416 x6458 x6484 x6492 x6494 x6527 x6528 x6529 x6571 x6637 x6645 x6656 x6663 x6689 x6702 x6712 x6737 x6765 x6805 x6821 x6896 x6897 x6910 x6925 x6933 x6939 x6950 x6978 x6982 x7064 x7070 x7096 x7110 x7132 x7145 x7267 x7299 x7383 x7436 x7449 x7450 x7479 x7521 x7522 x7530 x7578 x7588 x7596 x7602 x7642 x7649 x7692 x7697 x7732 x7838 x7895 x7909 x7922 x7987 x8018 x8059 x8077 x8114 x8125 x8165 x8171 x8204 x8221 x8231 x8245 x8268 x8327 x8345 x8365 x8389 x8455 x8470 x8472 x8488 x8528 x8550 x8742 x8766 x8786 x8810 x8820 x8864 x8869 x8919 x8950 x9034 x9090 x9105 x9112 x9113 x9125 x9136 x9184 x9187 x9197 x9199 x9238 x9240 x9271 x9273 x9291 x9300 x9310 x9325 x9365 x9458 x9461 x9468 x9491 x9503 x9522 x9561 x9610 x9652 x9671 x9698 x9713 x9730 x9831 x9867 x9882 x9903 x9933 x9941 x9949 x9951 x9952 x9960 x10034 x10040 x10052 x10056 x10084 x10100 x10129 x10146 x10206 x10217 x10231 x10303 x10309 x10310 x10435 x10468 x10498 x10509 x10560 x10580 x10603 x10613 x10627 x10665 x10679 x10681 x10699 x10720 x10738 x10770 x10788 x10806 x10850 x10855 x10886 x10938 x10953 x10993 x11040 x11058 x11070 x11077 x11166 x11169 x11175 x11192 x11211 x11212 x11227 x11231 x11244 x11246 x11250 x11269 x11286 x11302 x11312 x11336 x11347 x11368 x11402 x11413 x11416 x11446 x11467 x11484 x11530 x11570 x11598 x11648 x11761 x11778 x11780 x11783 x11845 x11856 x11857 x11933 x11936 x11938 x11953 x11960 x11962 x11995 x12004 x12034 x12042 x12057 x12058 x12107 x12108 x12112 x12122 x12136 x12156 x12181 x12195 x12220 x12240 x12243 x12271 x12287 x12321 x12356 x12359 x12447 x12467 x12496 x12501 x12549 x12550 x12618 x12672 x12698 x12699 x12749 x12803 x12851 x12864 x12866 x12915 x12923 x12926 x12935 x12936 x12947 x13001 x13002 x13012 x13017 x13074 x13081 x13083 x13087 x13134 x13146 x13170 x13179 x13190 x13252 x13281 x13287 x13312 x13329 x13335 x13361 x13362 x13396 x13403 x13429 x13433 x13490 x13530 x13585 x13646 x13652 x13665 x13671 x13724 x13727 x13798 x13878 x13886 x13898 x13941 x13945 x13946 x13981 x13997 x14092 x14099 x14115 x14118 x14128 x14145 x14152 x14179 x14203 x14212 x14214 x14215 x14224 x14228 x14233 x14287 x14298 x14312 x14314 x14352 x14370 x14383 x14384 x14392 x14403 x14424 x14461 x14505 x14534 x14554 x14559 x14584 x14608 x14614 x14616 x14619 x14623 x14659 x14684 x14693 x14695 x14748 x14768 x14788 x14793 x14800 x14808 x14861 x14920 x14922 x14935 x14936 x14945 x14948 x14987 x15063 x15078 x15161 x15178 x15195 x15240 x15290 x15303 x15316 x15322 x15323 x15339 x15349 x15387 x15388 x15400 x15448 x15489 x15495 x15524 x15532 x15533 x15563 x15570 x15601 x15685 x15702 x15707 x15730 x15794 x15800 x15808 x15831 x15875 x15930 x15945 x15960 x15965 x15974 x16021 x16064 x16160 x16174 x16179 x16185 x16191 x16198 x16234 x16235 x16241 x16279 x16339 x16374 x16389 x16390 x16410 x16420 x16423 x16424 x16470 x16491 x16507 x16521 x16527 x16545 x16554 x16564 x16596 x16611 x16632 x16648 x16694 x16701 x16736 x16748 x16767 x16782 x16788 x16833 x16837 x16907 x16928 x16931 x16967 x16971 x16980 x17025 x17069 x17091 x17094 x17103 x17154 x17167 x17182 x17192 x17221 x17253 x17268 x17321 x17341 x17367 x17386 x17393 x17401 x17428 x17429 x17451 x17532 x17546 x17585 x17615 x17711 x17718 x17725 x17739 x17749 x17766 x17786 x17788 x17801 x17843 x17849 x17861 x17862 x17893 x17900 x17920 x17921 x17935 x17939 x18010 x18043 x18088 x18111 x18216 x18223 x18271 x18292 x18361 x18421 x18485 x18497 x18505 x18520 x18533 x18685 x18694 x18723 x18754 x18770 x18775 x18800 x18801 x18826 x18831 x18834 x18843 x18864 x18898 x18915 x18988 x19030 x19093 x19163 x19173 x19178 x19200 x19201 x19221 x19275 x19290 x19306 x19329 x19330 x19390 x19418 x19439 x19449 x19450 x19541 x19551 x19570 x19591 x19618 x19646 x19673 x19690 x19749 x19808 x19866 x19896 x19953 x19971 x20009 x20037 x20055 x20061 x20096 x20124 x20125 x20137 x20161 x20190 x20195 x20200 x20241 x20269 x20335 x20341 x20372 x20388 x20398 x20402 x20403 x20432 x20458 x20466 x20483 x20499 x20595 x20603 x20666 x20691 x20715 x20733 x20741 x20760 x20799 x20812 x20816 x20893 x20894 x20936 x20960 x20967 x21005 x21014 x21024 x21029 x21046 x21072 x21089 x21148 x21264 x21329 x21344 x21371 x21431 x21478 x21493 x21520 x21526 x21543 x21545 x21550 x21576 x21605 x21611 x21662 x21689 x21703 x21726 x21886 x21907 x21918 x21928 x21990 x22012 x22021 x22039 x22040 x22043 x22070 x22091 x22111 x22115 x22118 x22154 x22165 x22205 x22240 x22270 x22291 x22310 x22314 x22339 x22344 x22361 x22371 x22407 x22463 x22466 x22519 x22525 x22536 x22546 x22547 x22588 x22606 x22617 x22621 x22661 x22662 x22682 x22695 x22711 x22719 x22723 x22811 x22906 x22947 x23006 x23007 x23019 x23026 x23055 x23074 x23090 x23174 x23231 x23261 x23264 x23267 x23268 x23294 x23311 x23312 x23333 x23342 x23349 x23366 x23413 x23420 x23495 x23530 x23555 x23623 x23659 x23718 x23776 x23798 x23861 x23869 x23882 x23904 x23930 x24066 x24108 x24133 x24135 x24174 x24175 x24192 x24206 x24208 x24219 x24222 x24235 x24255 x24280 x24334 x24338 x24342 x24344 x24360 x24399 x24402 x24494 x24505 x24537 x24541 x24547 x24555 x24563 x24591 x24600 x24615 x24619 x24621 x24683 x24697 x24712 x24723 x24724 x24746 x24764 x24770 x24840 x24940 x24976 x24978 x25000 x25041 x25075 x25107 x25125 x25131 x25132 x25151 x25157 x25176 x25187 x25213 x25239 x25262 x25294 x25306 x25362 x25366 x25400 x25426 x25451 x25469 x25478 x25481 x25502 x25518 x25519 x25585 x25615 x25617 x25680 x25702 x25704 x25713 x25733 x25757 x25805 x25871 x25916 x25918 x25919 x25950 x25961 x25976 x25979 x25982 x26011 x26090 x26105 x26126 x26167 x26176 x26216 x26223 x26243 x26246 x26248 x26252 x26263 x26310 x26331 x26341 x26354 x26359 x26391 x26427 x26446 x26452 x26503 x26542 x26543 x26557 x26601 x26617 x26636 x26641 x26651 x26703 x26736 x26745 x26748 x26774 x26775 x26794 x26806 x26843 x26869 x26870 x26886 x26914 x26961 x26963 x27006 x27092 x27113 x27133 x27158 x27180 x27209 x27217 x27220 x27242 x27254 x27283 x27286 x27366 x27372 x27387 x27413 x27419 x27422 x27504 x27516 x27544 x27547 x27568 x27637 x27643 x27646 x27660 x27689 x27744 x27751 x27755 x27769 x27820 x27827 x27848 x27926 x27982 x27983 x28003 x28015 x28046 x28075 x28095 x28116 x28155 x28161 x28165 x28178 x28187 x28232 x28251 x28301 x28340 x28354 x28371 x28397 x28405 x28461 x28479 x28520 x28524 x28541 x28552 x28568 x28642 x28653 x28696 x28771 x28778 x28788 x28797 x28799 x28818 x28846 x28863 x28865 x28891 x28922 x28956 x28967 x28990 x29017 x29055 x29091 x29144 x29256 x29328 x29395 x29457 x29459 x29541 x29573 x29608 x29704 x29736 x29737 x29774 x29799 x29815 x29820 x29836 x29844 x29896 x29898 x29957 x29969 x29993 x30020 x30025 x30037 x30044 x30054 x30082 x30084 x30105 x30106 x30201 x30209 x30219 x30247 x30259 x30283 x30288 x30310 x30311 x30339 x30344 x30365 x30382 x30444 x30451 x30464 x30471 x30495 x30509 x30536 x30544 x30550 x30553 x30618 x30623 x30627 x30644 x30661 x30685 x30687 x30711 x30754 x30781 x30827 x30830 x30852 x30866 x30889 x30905 x30927 x30935 x30948 x30968 x31002 x31011 x31101 x31148 x31159 x31171 x31196 x31197 x31224 x31287 x31340 x31381 x31396 x31405 x31428 x31463 x31476 x31491 x31508 x31518 x31543 x31552 x31557 x31570 x31601 x31638 x31720 x31744 x31786 x31791 x31805 x31852 x31855 x31870 x31894 x31895 x31984 x31995 x32008 x32045 x32049 x32082 x32141 x32191 x32215 x32234 x32235 x32251 x32256 x32280 x32341 x32356 x32361 x32380 x32402 x32420 x32511 x32541 x32643 x32655 x32683 x32696 x32699 x32771 x32803 x32870 x32883 x32920 x32944 x32946 x32968 x32987 x32991 x33070 x33089 x33093 x33149 x33179 x33261 x33281 x33306 x33392 x33420 x33503 x33560 x33640 x33646 x33652 x33663 x33769 x33787 x33800 x33805 x33813 x33872 x33885 x33922 x33971 x33977 x34018 x34025 x34051 x34063 x34130 x34132 x34200 x34207 x34262 x34278 x34308 x34315 x34331 x34347 x34355 x34402 x34529 x34538 x34603 x34632 x34688 x34752 x34781 x34792 x34857 x34935 x34941 x34965 x34986 x35004 x35049 x35061 x35073 x35107 x35117 x35125 x35130 x35134 x35148 x35183 x35215 x35227 x35231 x35254 x35376 x35464 x35501 x35509 x35654 x35688 x35692 x35761 x35777 x35778 x35784 x35868 x35875 x35918 x35940 x35980 x35995 x36047 x36065 x36110 x36174 x36216 x36227 x36236 x36317 x36322 x36377 x36399 x36471 x36519 x36539 x36586 x36591 x36606 x36618 x36627 x36647 x36670 x36672 x36685 x36700 x36714 x36728 x36739 x36766 x36844 x36885 x37023 x37031 x37035 x37170 x37173 x37197 x37206 x37225 x37233 x37277 x37292 x37357 x37378 x37427 x37438 x37456 x37475 x37495 x37507 x37550 x37556 x37557 x37608 x37622 x37642 x37652 x37689 x37694 x37707 x37720 x37731 x37751 x37788 x37862 x37922 x37931 x37955 
1800.10/1800.62	pb2clasp1: no process killed
1802.07/1802.62	sh: line 1: 30549 Done                    cat HOME/temp/instance-3736780-1338732399.opb.op
1802.07/1802.62	     30550 Killed                  | clasp-1.0 --trans=no > HOME/temp/instance-3736780-1338732399.opb.clasp

Verifier Data 

OK	21

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-3736780-1338732399/watcher-3736780-1338732399 -o /tmp/evaluation-result-3736780-1338732399/solver-3736780-1338732399 -C 1800 -W 1900 -M 15500 pbclasp instance-3736780-1338732399.opb HOME/temp 

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.00 2.00 2.00 3/178 30356
/proc/meminfo: memFree=27864104/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) D 30354 30356 8320 0 -1 4202496 431 0 0 0 0 0 0 0 20 0 1 0 339365417 26071040 362 33554432000 4194304 4198148 140733872491008 140733872488456 260190322357 0 0 4224 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/30356/statm: 6365 362 277 1 0 160 0

[startup+0.041505 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30356
/proc/meminfo: memFree=27864104/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27176 CPUtime=0.01 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 986 0 0 0 1 0 0 0 20 0 1 0 339365417 27828224 898 33554432000 4194304 4198148 140733872491008 140733872489896 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30356/statm: 6794 898 369 1 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 27176

[startup+0.100151 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30356
/proc/meminfo: memFree=27864104/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27176 CPUtime=0.01 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 986 0 0 0 1 0 0 0 20 0 1 0 339365417 27828224 898 33554432000 4194304 4198148 140733872491008 140733872489896 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30356/statm: 6794 898 369 1 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 27176

[startup+0.300103 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30356
/proc/meminfo: memFree=27864104/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27176 CPUtime=0.01 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 986 0 0 0 1 0 0 0 20 0 1 0 339365417 27828224 898 33554432000 4194304 4198148 140733872491008 140733872489896 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30356/statm: 6794 898 369 1 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 27176

[startup+0.700102 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30356
/proc/meminfo: memFree=27864104/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27176 CPUtime=0.01 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 986 0 0 0 1 0 0 0 20 0 1 0 339365417 27828224 898 33554432000 4194304 4198148 140733872491008 140733872489896 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30356/statm: 6794 898 369 1 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 27176

[startup+1.50017 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30359
/proc/meminfo: memFree=27825704/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27176 CPUtime=0.01 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 986 0 0 0 1 0 0 0 20 0 1 0 339365417 27828224 898 33554432000 4194304 4198148 140733872491008 140733872489896 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30356/statm: 6794 898 369 1 0 589 0
[pid=30358] ppid=30356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30358/stat : 30358 (sh) S 30356 30356 8320 0 -1 4202496 348 0 0 0 0 0 0 0 20 0 1 0 339365420 9367552 266 33554432000 4194304 5064252 140734537855296 140734537854176 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30358/statm: 2287 266 226 213 0 72 0
[pid=30359] ppid=30358 vsize=25592 CPUtime=1.46 cores=1,3,5,7
/proc/30359/stat : 30359 (pb2clasp1) R 30358 30356 8320 0 -1 4202496 605 0 0 0 146 0 0 0 20 0 1 0 339365420 26206208 515 33554432000 4194304 4198148 140734907049600 140734907040136 260215774630 0 0 4224 0 0 0 0 17 3 0 0 0 0 0
/proc/30359/statm: 6398 515 378 1 0 193 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 61916

[startup+3.10014 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30359
/proc/meminfo: memFree=27823596/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27308 CPUtime=2.97 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 1082 2094 0 0 1 0 295 1 20 0 1 0 339365417 27963392 927 33554432000 4194304 4198148 140733872491008 140733872489936 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30356/statm: 6827 927 387 1 0 622 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 27308

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30374
/proc/meminfo: memFree=27771488/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27440 CPUtime=5.42 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 1375 32594 0 0 4 0 530 8 20 0 1 0 339365417 28098560 953 33554432000 4194304 4198148 140733872491008 140733872489936 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30356/statm: 6860 953 387 1 0 655 0
Current children cumulated CPU time (s) 5.42
Current children cumulated vsize (KiB) 27440

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30398
/proc/meminfo: memFree=27770140/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27440 CPUtime=9.85 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 1669 63105 0 0 6 0 963 16 20 0 1 0 339365417 28098560 953 33554432000 4194304 4198148 140733872491008 140733872489936 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30356/statm: 6860 953 387 1 0 655 0
[pid=30396] ppid=30356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30396/stat : 30396 (sh) S 30356 30356 8320 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339366413 9367552 263 33554432000 4194304 5064252 140734179397824 140734179396080 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30396/statm: 2287 263 223 213 0 72 0
[pid=30398] ppid=30396 vsize=51620 CPUtime=2.73 cores=1,3,5,7
/proc/30398/stat : 30398 (clasp-1.0) R 30396 30356 8320 0 -1 4202496 13308 0 0 0 271 2 0 0 20 0 1 0 339366413 52858880 12261 33554432000 134512640 134847168 4293316448 4293315216 134617547 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30398/statm: 12905 12261 270 82 0 12146 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 88208

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30398
/proc/meminfo: memFree=27758336/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27440 CPUtime=9.85 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 1669 63105 0 0 6 0 963 16 20 0 1 0 339365417 28098560 953 33554432000 4194304 4198148 140733872491008 140733872489936 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30356/statm: 6860 953 387 1 0 655 0
[pid=30396] ppid=30356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30396/stat : 30396 (sh) S 30356 30356 8320 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339366413 9367552 263 33554432000 4194304 5064252 140734179397824 140734179396080 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30396/statm: 2287 263 223 213 0 72 0
[pid=30398] ppid=30396 vsize=64532 CPUtime=15.53 cores=1,3,5,7
/proc/30398/stat : 30398 (clasp-1.0) R 30396 30356 8320 0 -1 4202496 16532 0 0 0 1551 2 0 0 20 0 1 0 339366413 66080768 15485 33554432000 134512640 134847168 4293316448 4293315024 134714471 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30398/statm: 16133 15485 270 82 0 15374 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 101120

[startup+51.1003 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 30406
/proc/meminfo: memFree=27752812/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27440 CPUtime=31.23 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 1814 84601 0 0 7 0 3094 22 20 0 1 0 339365417 28098560 953 33554432000 4194304 4198148 140733872491008 140733872489936 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30356/statm: 6860 953 387 1 0 655 0
[pid=30404] ppid=30356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30404/stat : 30404 (sh) S 30356 30356 8320 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339368551 9367552 263 33554432000 4194304 5064252 140734562812704 140734562810960 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30404/statm: 2287 263 223 213 0 72 0
[pid=30406] ppid=30404 vsize=70580 CPUtime=19.75 cores=1,3,5,7
/proc/30406/stat : 30406 (clasp-1.0) R 30404 30356 8320 0 -1 4202496 18540 0 0 0 1971 4 0 0 20 0 1 0 339368551 72273920 16982 33554432000 134512640 134847168 4290166592 4290165216 134784526 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30406/statm: 17645 16982 270 82 0 16886 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 107168

[startup+102.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 30508
/proc/meminfo: memFree=28048528/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27440 CPUtime=67.86 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 1918 111197 0 0 7 0 6750 29 20 0 1 0 339365417 28098560 953 33554432000 4194304 4198148 140733872491008 140733872489936 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30356/statm: 6860 953 387 1 0 655 0
[pid=30416] ppid=30356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30416/stat : 30416 (sh) S 30356 30356 8320 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339372216 9367552 264 33554432000 4194304 5064252 140734101291104 140734101289360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30416/statm: 2287 264 223 213 0 72 0
[pid=30418] ppid=30416 vsize=93724 CPUtime=34.29 cores=1,3,5,7
/proc/30418/stat : 30418 (clasp-1.0) R 30416 30356 8320 0 -1 4202496 23845 0 0 0 3424 5 0 0 20 0 1 0 339372216 95973376 22812 33554432000 134512640 134847168 4290531984 4290530676 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30418/statm: 23431 22812 270 82 0 22672 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 130312

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 30508
/proc/meminfo: memFree=27962456/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27440 CPUtime=67.86 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 1918 111197 0 0 7 0 6750 29 20 0 1 0 339365417 28098560 953 33554432000 4194304 4198148 140733872491008 140733872489936 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30356/statm: 6860 953 387 1 0 655 0
[pid=30416] ppid=30356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30416/stat : 30416 (sh) S 30356 30356 8320 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339372216 9367552 264 33554432000 4194304 5064252 140734101291104 140734101289360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30416/statm: 2287 264 223 213 0 72 0
[pid=30418] ppid=30416 vsize=170528 CPUtime=94.26 cores=1,3,5,7
/proc/30418/stat : 30418 (clasp-1.0) R 30416 30356 8320 0 -1 4202496 42993 0 0 0 9415 11 0 0 20 0 1 0 339372216 174620672 41964 33554432000 134512640 134847168 4290531984 4290530624 134782432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30418/statm: 42632 41964 270 82 0 41873 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 207116

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 30512
/proc/meminfo: memFree=27929816/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27440 CPUtime=67.86 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 1918 111197 0 0 7 0 6750 29 20 0 1 0 339365417 28098560 953 33554432000 4194304 4198148 140733872491008 140733872489936 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30356/statm: 6860 953 387 1 0 655 0
[pid=30416] ppid=30356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30416/stat : 30416 (sh) S 30356 30356 8320 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339372216 9367552 264 33554432000 4194304 5064252 140734101291104 140734101289360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30416/statm: 2287 264 223 213 0 72 0
[pid=30418] ppid=30416 vsize=197156 CPUtime=154.25 cores=1,3,5,7
/proc/30418/stat : 30418 (clasp-1.0) R 30416 30356 8320 0 -1 4202496 49756 0 0 0 15412 13 0 0 20 0 1 0 339372216 201887744 48591 33554432000 134512640 134847168 4290531984 4290530752 134737674 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30418/statm: 49289 48591 270 82 0 48530 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 233744

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30512
/proc/meminfo: memFree=27914216/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27440 CPUtime=67.86 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 1918 111197 0 0 7 0 6750 29 20 0 1 0 339365417 28098560 953 33554432000 4194304 4198148 140733872491008 140733872489936 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30356/statm: 6860 953 387 1 0 655 0
[pid=30416] ppid=30356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30416/stat : 30416 (sh) S 30356 30356 8320 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339372216 9367552 264 33554432000 4194304 5064252 140734101291104 140734101289360 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30416/statm: 2287 264 223 213 0 72 0
[pid=30418] ppid=30416 vsize=211508 CPUtime=214.24 cores=1,3,5,7
/proc/30418/stat : 30418 (clasp-1.0) R 30416 30356 8320 0 -1 4202496 53503 0 0 0 21409 15 0 0 20 0 1 0 339372216 216584192 52194 33554432000 134512640 134847168 4290531984 4290530676 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30418/statm: 52877 52194 270 82 0 52118 0
Current children cumulated CPU time (s) 282.1

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

/proc/loadavg: 2.00 2.00 2.00 3/182 30530
/proc/meminfo: memFree=27659668/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27440 CPUtime=429.52 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 2063 182037 0 0 8 0 42892 52 20 0 1 0 339365417 28098560 953 33554432000 4194304 4198148 140733872491008 140733872489936 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30356/statm: 6860 953 387 1 0 655 0
[pid=30518] ppid=30356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30518/stat : 30518 (sh) S 30356 30356 8320 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339408391 9367552 264 33554432000 4194304 5064252 140735174714432 140735174712688 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30518/statm: 2287 264 223 213 0 72 0
[pid=30520] ppid=30518 vsize=433388 CPUtime=992.34 cores=1,3,5,7
/proc/30520/stat : 30520 (clasp-1.0) R 30518 30356 8320 0 -1 4202496 115109 0 0 0 99201 33 0 0 20 0 1 0 339408391 443789312 107583 33554432000 134512640 134847168 4292148080 4292146656 134714478 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30520/statm: 108347 107583 270 82 0 107588 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 469976

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30530
/proc/meminfo: memFree=27659800/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27440 CPUtime=429.52 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 2063 182037 0 0 8 0 42892 52 20 0 1 0 339365417 28098560 953 33554432000 4194304 4198148 140733872491008 140733872489936 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30356/statm: 6860 953 387 1 0 655 0
[pid=30518] ppid=30356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30518/stat : 30518 (sh) S 30356 30356 8320 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339408391 9367552 264 33554432000 4194304 5064252 140735174714432 140735174712688 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30518/statm: 2287 264 223 213 0 72 0
[pid=30520] ppid=30518 vsize=433388 CPUtime=1052.32 cores=1,3,5,7
/proc/30520/stat : 30520 (clasp-1.0) R 30518 30356 8320 0 -1 4202496 115131 0 0 0 105199 33 0 0 20 0 1 0 339408391 443789312 107605 33554432000 134512640 134847168 4292148080 4292146772 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30520/statm: 108347 107605 270 82 0 107588 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 469976

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30530
/proc/meminfo: memFree=27659532/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27440 CPUtime=429.52 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 2063 182037 0 0 8 0 42892 52 20 0 1 0 339365417 28098560 953 33554432000 4194304 4198148 140733872491008 140733872489936 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30356/statm: 6860 953 387 1 0 655 0
[pid=30518] ppid=30356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30518/stat : 30518 (sh) S 30356 30356 8320 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339408391 9367552 264 33554432000 4194304 5064252 140735174714432 140735174712688 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30518/statm: 2287 264 223 213 0 72 0
[pid=30520] ppid=30518 vsize=433388 CPUtime=1112.31 cores=1,3,5,7
/proc/30520/stat : 30520 (clasp-1.0) R 30518 30356 8320 0 -1 4202496 115133 0 0 0 111198 33 0 0 20 0 1 0 339408391 443789312 107607 33554432000 134512640 134847168 4292148080 4292146708 134616350 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30520/statm: 108347 107607 270 82 0 107588 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 469976

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30530
/proc/meminfo: memFree=27656808/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27440 CPUtime=429.52 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 2063 182037 0 0 8 0 42892 52 20 0 1 0 339365417 28098560 953 33554432000 4194304 4198148 140733872491008 140733872489936 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30356/statm: 6860 953 387 1 0 655 0
[pid=30518] ppid=30356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30518/stat : 30518 (sh) S 30356 30356 8320 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339408391 9367552 264 33554432000 4194304 5064252 140735174714432 140735174712688 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30518/statm: 2287 264 223 213 0 72 0
[pid=30520] ppid=30518 vsize=433388 CPUtime=1172.3 cores=1,3,5,7
/proc/30520/stat : 30520 (clasp-1.0) R 30518 30356 8320 0 -1 4202496 115138 0 0 0 117197 33 0 0 20 0 1 0 339408391 443789312 107612 33554432000 134512640 134847168 4292148080 4292146656 134714471 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30520/statm: 108347 107612 270 82 0 107588 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 469976

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30530
/proc/meminfo: memFree=27656808/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27440 CPUtime=429.52 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 2063 182037 0 0 8 0 42892 52 20 0 1 0 339365417 28098560 953 33554432000 4194304 4198148 140733872491008 140733872489936 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30356/statm: 6860 953 387 1 0 655 0
[pid=30518] ppid=30356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30518/stat : 30518 (sh) S 30356 30356 8320 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339408391 9367552 264 33554432000 4194304 5064252 140735174714432 140735174712688 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30518/statm: 2287 264 223 213 0 72 0
[pid=30520] ppid=30518 vsize=433388 CPUtime=1232.29 cores=1,3,5,7
/proc/30520/stat : 30520 (clasp-1.0) R 30518 30356 8320 0 -1 4202496 115138 0 0 0 123196 33 0 0 20 0 1 0 339408391 443789312 107612 33554432000 134512640 134847168 4292148080 4292146656 134714266 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30520/statm: 108347 107612 270 82 0 107588 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 469976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30531
/proc/meminfo: memFree=27656684/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27440 CPUtime=429.52 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 2063 182037 0 0 8 0 42892 52 20 0 1 0 339365417 28098560 953 33554432000 4194304 4198148 140733872491008 140733872489936 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30356/statm: 6860 953 387 1 0 655 0
[pid=30518] ppid=30356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30518/stat : 30518 (sh) S 30356 30356 8320 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339408391 9367552 264 33554432000 4194304 5064252 140735174714432 140735174712688 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30518/statm: 2287 264 223 213 0 72 0
[pid=30520] ppid=30518 vsize=433388 CPUtime=1292.28 cores=1,3,5,7
/proc/30520/stat : 30520 (clasp-1.0) R 30518 30356 8320 0 -1 4202496 115138 0 0 0 129195 33 0 0 20 0 1 0 339408391 443789312 107612 33554432000 134512640 134847168 4292148080 4292146820 134737633 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30520/statm: 108347 107612 270 82 0 107588 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 469976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30531
/proc/meminfo: memFree=27656560/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27440 CPUtime=429.52 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 2063 182037 0 0 8 0 42892 52 20 0 1 0 339365417 28098560 953 33554432000 4194304 4198148 140733872491008 140733872489936 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30356/statm: 6860 953 387 1 0 655 0
[pid=30518] ppid=30356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30518/stat : 30518 (sh) S 30356 30356 8320 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339408391 9367552 264 33554432000 4194304 5064252 140735174714432 140735174712688 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30518/statm: 2287 264 223 213 0 72 0
[pid=30520] ppid=30518 vsize=433388 CPUtime=1352.27 cores=1,3,5,7
/proc/30520/stat : 30520 (clasp-1.0) R 30518 30356 8320 0 -1 4202496 115140 0 0 0 135194 33 0 0 20 0 1 0 339408391 443789312 107625 33554432000 134512640 134847168 4292148080 4292146772 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30520/statm: 108347 107625 270 82 0 107588 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 469976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30531
/proc/meminfo: memFree=27656684/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27440 CPUtime=429.52 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 2063 182037 0 0 8 0 42892 52 20 0 1 0 339365417 28098560 953 33554432000 4194304 4198148 140733872491008 140733872489936 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30356/statm: 6860 953 387 1 0 655 0
[pid=30518] ppid=30356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30518/stat : 30518 (sh) S 30356 30356 8320 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339408391 9367552 264 33554432000 4194304 5064252 140735174714432 140735174712688 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30518/statm: 2287 264 223 213 0 72 0
[pid=30520] ppid=30518 vsize=433388 CPUtime=1370.58 cores=1,3,5,7
/proc/30520/stat : 30520 (clasp-1.0) R 30518 30356 8320 0 -1 4202496 115140 0 0 0 137025 33 0 0 20 0 1 0 339408391 443789312 107625 33554432000 134512640 134847168 4292148080 4292146708 134616350 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30520/statm: 108347 107625 270 82 0 107588 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 469976

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -30356

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30531
/proc/meminfo: memFree=27656684/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27440 CPUtime=1800.13 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 2246 299956 0 0 8 0 179918 87 20 0 1 0 339365417 28098560 953 33554432000 4194304 4198148 140733872491008 140733872489936 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30356/statm: 6860 953 387 1 0 655 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 27440

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 30550
/proc/meminfo: memFree=28100868/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27440 CPUtime=1800.13 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 2246 299956 0 0 8 0 179918 87 20 0 1 0 339365417 28098560 953 33554432000 4194304 4198148 140733872491008 140733872489936 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30356/statm: 6860 953 387 1 0 655 0
[pid=30546] ppid=30356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (sh) S 30356 30356 8320 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339545481 9367552 263 33554432000 4194304 5064252 140734959008912 140734959007168 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30546/statm: 2287 263 223 213 0 72 0
[pid=30550] ppid=30546 vsize=51620 CPUtime=1.54 cores=1,3,5,7
/proc/30550/stat : 30550 (clasp-1.0) R 30546 30356 8320 0 -1 4202496 13308 0 0 0 152 2 0 0 20 0 1 0 339545481 52858880 12261 33554432000 134512640 134847168 4289618960 4289617728 134617542 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30550/statm: 12905 12261 270 82 0 12146 0
Current children cumulated CPU time (s) 1801.67
Current children cumulated vsize (KiB) 88208

[startup+1802.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 30550
/proc/meminfo: memFree=28100868/32873648 swapFree=7116/7116
[pid=30356] ppid=30354 vsize=27440 CPUtime=1800.13 cores=1,3,5,7
/proc/30356/stat : 30356 (pbclasp) S 30354 30356 8320 0 -1 4202496 2246 299956 0 0 8 0 179918 87 20 0 1 0 339365417 28098560 953 33554432000 4194304 4198148 140733872491008 140733872489936 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30356/statm: 6860 953 387 1 0 655 0
[pid=30546] ppid=30356 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (sh) S 30356 30356 8320 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339545481 9367552 263 33554432000 4194304 5064252 140734959008912 140734959007168 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30546/statm: 2287 263 223 213 0 72 0
[pid=30550] ppid=30546 vsize=51620 CPUtime=1.94 cores=1,3,5,7
/proc/30550/stat : 30550 (clasp-1.0) R 30546 30356 8320 0 -1 4202496 13308 0 0 0 192 2 0 0 20 0 1 0 339545481 52858880 12261 33554432000 134512640 134847168 4289618960 4289617728 134617498 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30550/statm: 12905 12261 270 82 0 12146 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 88208

Child status: 0
Real time (s): 1802.63
CPU time (s): 1802.14
CPU user time (s): 1801.23
CPU system time (s): 0.91786
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 469976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.23
system time used= 0.91786
maximum resident set size= 430500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316535
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8379
involuntary context switches= 1952

runsolver used 3.22851 second user time and 8.77767 second system time

The end

Launcher Data 

Begin job on node123 at 2012-06-03 16:06:39
IDJOB=3736780
IDBENCH=48124
IDSOLVER=2317
FILE ID=node123/3736780-1338732399
RUNJOBID= node123-1338702803-8337
PBS_JOBID= 14636714
Free space on /tmp= 71248 MiB

SOLVER NAME= PB07: PB-clasp 2007-04-10
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_3.opb
COMMAND LINE= pbclasp BENCHNAMENOPATH TMPDIR/temp
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736780-1338732399/watcher-3736780-1338732399 -o /tmp/evaluation-result-3736780-1338732399/solver-3736780-1338732399 -C 1800 -W 1900 -M 15500  pbclasp instance-3736780-1338732399.opb HOME/temp

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

MD5SUM BENCH= d5313ea0d4ce989dad692c9adfb6f827
RANDOM SEED=1163474384

node123.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		: 2667.217
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	: 5334.43
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		: 2667.217
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		: 2667.217
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		: 2667.217
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		: 2667.217
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		: 2667.217
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		: 2667.217
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		: 2667.217
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:        27966972 kB
Buffers:         1563544 kB
Cached:          2292088 kB
SwapCached:         2268 kB
Active:          2117112 kB
Inactive:        1900948 kB
Active(anon):     155572 kB
Inactive(anon):     5504 kB
Active(file):    1961540 kB
Inactive(file):  1895444 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:             22952 kB
Writeback:             0 kB
AnonPages:        164060 kB
Mapped:            12112 kB
Shmem:                 0 kB
Slab:             750768 kB
SReclaimable:     194488 kB
SUnreclaim:       556280 kB
KernelStack:        1520 kB
PageTables:         4340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     280088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3736780-1338732399.opb

Free space on /tmp at the end= 71292 MiB
End job on node123 at 2012-06-03 16:36:42