Trace number 3736747

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)44 1802.07 1802.42

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_3.opb
MD5SUM0f5da0a781de7969842ad5c8dd7a6f1b
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark1796.78
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
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 constraint26
Maximum length of a constraint50
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)15722
Sum of products size (including duplicates)31444
Number of different products15722
Sum of products size31444

Quality of the solution as a function of time


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

Solver Data

1.27/1.74	o 55
2.17/2.22	o 54
2.77/2.80	o 53
3.27/3.38	o 50
3.36/3.96	o 49
4.45/4.54	o 48
4.52/5.11	o 47
6.04/6.14	o 45
33.94/34.05	o 44
430.26/430.41	sh: line 1:  9527 Done                    cat HOME/temp/instance-3736747-1338732160.opb.op
430.26/430.41	      9528 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3736747-1338732160.opb.clasp
1800.03/1800.41	sh: line 1:  9547 Done                    cat HOME/temp/instance-3736747-1338732160.opb.op
1800.03/1800.41	      9548 Terminated              | clasp-1.0 --trans=no > HOME/temp/instance-3736747-1338732160.opb.clasp
1800.03/1800.42	c Somebody sent me a SIGTERM
1800.03/1800.42	s SATISFIABLE
1800.03/1800.42	v x52 x104 x108 x124 x127 x134 x188 x199 x203 x222 x236 x248 x256 x260 x270 x288 x304 x309 x314 x317 x334 x340 x352 x355 x362 x373 x378 x383 x402 x403 x408 x411 x412 x428 x455 x463 x469 x474 x475 x479 x483 x492 x498 x500 x530 x533 x537 x542 x544 x547 x563 x591 x592 x593 x594 x612 x622 x635 x657 x658 x661 x685 x687 x690 x697 x707 x741 x747 x766 x775 x777 x778 x792 x811 x823 x832 x848 x859 x863 x878 x887 x900 x921 x923 x925 x941 x959 x966 x984 x988 x993 x995 x1020 x1037 x1058 x1060 x1070 x1083 x1086 x1093 x1094 x1102 x1119 x1123 x1137 x1144 x1155 x1159 x1164 x1165 x1170 x1179 x1200 x1205 x1210 x1217 x1226 x1257 x1265 x1278 x1286 x1293 x1309 x1324 x1338 x1342 x1349 x1366 x1368 x1377 x1379 x1380 x1404 x1433 x1436 x1439 x1454 x1459 x1468 x1477 x1499 x1512 x1536 x1538 x1542 x1549 x1572 x1582 x1586 x1612 x1620 x1633 x1635 x1636 x1641 x1656 x1661 x1669 x1673 x1689 x1722 x1727 x1753 x1759 x1797 x1815 x1817 x1822 x1831 x1834 x1839 x1840 x1850 x1861 x1868 x1870 x1888 x1890 x1892 x1902 x1913 x1918 x1919 x1940 x1950 x1970 x2001 x2005 x2012 x2024 x2028 x2045 x2098 x2105 x2107 x2115 x2140 x2162 x2163 x2174 x2187 x2221 x2258 x2273 x2282 x2286 x2299 x2343 x2348 x2356 x2357 x2359 x2360 x2361 x2364 x2393 x2421 x2450 x2456 x2465 x2472 x2503 x2517 x2526 x2527 x2529 x2548 x2591 x2619 x2630 x2632 x2639 x2641 x2670 x2671 x2723 x2732 x2761 x2769 x2777 x2778 x2782 x2794 x2798 x2804 x2812 x2813 x2822 x2823 x2836 x2847 x2848 x2883 x2907 x2939 x2960 x2965 x2966 x2968 x2981 x2995 x3003 x3011 x3012 x3025 x3031 x3048 x3052 x3054 x3060 x3078 x3080 x3096 x3114 x3122 x3130 x3136 x3143 x3145 x3147 x3148 x3174 x3177 x3184 x3188 x3195 x3207 x3208 x3214 x3215 x3256 x3258 x3277 x3278 x3282 x3293 x3294 x3296 x3305 x3319 x3349 x3381 x3385 x3386 x3420 x3423 x3459 x3461 x3466 x3472 x3507 x3518 x3524 x3527 x3536 x3560 x3567 x3572 x3579 x3606 x3610 x3612 x3625 x3643 x3651 x3662 x3663 x3666 x3670 x3678 x3680 x3691 x3702 x3705 x3719 x3753 x3757 x3778 x3793 x3817 x3850 x3851 x3871 x3877 x3887 x3898 x3914 x3917 x3926 x3944 x3957 x3963 x3976 x4008 x4034 x4061 x4064 x4071 x4072 x4074 x4076 x4084 x4085 x4108 x4129 x4191 x4213 x4242 x4270 x4283 x4312 x4321 x4331 x4337 x4351 x4352 x4356 x4359 x4384 x4395 x4398 x4411 x4413 x4415 x4424 x4433 x4442 x4443 x4500 x4505 x4513 x4515 x4516 x4518 x4527 x4528 x4537 x4538 x4551 x4577 x4591 x4628 x4636 x4642 x4649 x4661 x4673 x4675 x4676 x4680 x4729 x4746 x4762 x4772 x4791 x4794 x4798 x4806 x4808 x4812 x4837 x4859 x4867 x4868 x4872 x4895 x4912 x4913 x4935 x4938 x4940 x4965 x4976 x4980 x4992 x5004 x5006 x5052 x5073 x5121 x5152 x5158 x5163 x5204 x5214 x5223 x5232 x5233 x5256 x5321 x5325 x5329 x5336 x5342 x5344 x5377 x5383 x5393 x5411 x5427 x5455 x5492 x5493 x5497 x5507 x5515 x5565 x5573 x5575 x5576 x5602 x5608 x5609 x5612 x5624 x5633 x5638 x5658 x5668 x5669 x5725 x5765 x5781 x5794 x5813 x5859 x5863 x5871 x5906 x5910 x5921 x5927 x5944 x5947 x5968 x5976 x5979 x6029 x6048 x6051 x6056 x6060 x6068 x6069 x6075 x6087 x6092 x6099 x6112 x6149 x6166 x6169 x6197 x6204 x6207 x6227 x6241 x6259 x6269 x6271 x6272 x6275 x6288 x6293 x6322 x6337 x6370 x6376 x6394 x6406 x6431 x6471 x6479 x6492 x6508 x6517 x6539 x6543 x6547 x6571 x6572 x6591 x6597 x6606 x6622 x6628 x6650 x6680 x6682 x6685 x6703 x6706 x6712 x6734 x6737 x6759 x6766 x6772 x6780 x6782 x6794 x6800 x6802 x6805 x6814 x6840 x6859 x6865 x6898 x6909 x6912 x6914 x6934 x6946 x6967 x7003 x7021 x7022 x7054 x7057 x7059 x7062 x7068 x7076 x7088 x7090 x7091 x7092 x7097 x7115 x7124 x7152 x7166 x7171 x7174 x7182 x7186 x7190 x7235 x7250 x7300 x7301 x7302 x7325 x7332 x7340 x7397 x7422 x7438 x7451 x7482 x7484 x7492 x7496 x7499 x7502 x7508 x7510 x7522 x7523 x7527 x7544 x7545 x7595 x7604 x7627 x7640 x7650 x7663 x7665 x7687 x7696 x7744 x7750 x7775 x7779 x7783 x7787 x7794 x7807 x7812 x7814 x7897 x7906 x7921 x7922 x7956 x7968 x7969 x7970 x7973 x7983 x8002 x8006 x8007 x8021 x8032 x8040 x8041 x8044 x8045 x8071 x8106 x8112 x8117 x8121 x8141 x8147 x8161 x8173 x8180 x8181 x8206 x8207 x8208 x8209 x8212 x8239 x8258 x8260 x8265 x8292 x8320 x8341 x8350 x8352 x8355 x8388 x8423 x8465 x8489 x8517 x8547 x8550 x8571 x8576 x8604 x8614 x8634 x8642 x8645 x8657 x8689 x8748 x8751 x8784 x8785 x8786 x8798 x8809 x8812 x8820 x8835 x8846 x8848 x8849 x8851 x8854 x8859 x8880 x8930 x8934 x8942 x8960 x8993 x8996 x8998 x9001 x9002 x9018 x9028 x9061 x9063 x9100 x9129 x9134 x9141 x9144 x9152 x9153 x9154 x9160 x9166 x9168 x9169 x9176 x9179 x9190 x9208 x9225 x9249 x9314 x9341 x9367 x9408 x9423 x9444 x9452 x9459 x9489 x9539 x9553 x9578 x9592 x9667 x9668 x9691 x9695 x9701 x9711 x9738 x9780 x9809 x9812 x9830 x9832 x9838 x9865 x9868 x9869 x9875 x9893 x9894 x9897 x9903 x9945 x9987 x10007 x10010 x10014 x10018 x10029 x10044 x10048 x10072 x10075 x10078 x10097 x10122 x10123 x10144 x10152 x10158 x10187 x10209 x10210 x10214 x10216 x10221 x10250 x10268 x10275 x10276 x10298 x10309 x10324 x10333 x10357 x10358 x10365 x10370 x10382 x10393 x10396 x10400 x10409 x10421 x10427 x10481 x10488 x10512 x10532 x10533 x10543 x10545 x10547 x10553 x10563 x10572 x10590 x10609 x10623 x10630 x10641 x10642 x10666 x10670 x10703 x10717 x10723 x10724 x10726 x10730 x10755 x10759 x10784 x10792 x10794 x10802 x10810 x10815 x10822 x10851 x10853 x10876 x10886 x10902 x10959 x10965 x10987 x11027 x11059 x11095 x11132 x11144 x11166 x11173 x11176 x11195 x11252 x11285 x11328 x11333 x11351 x11369 x11382 x11394 x11404 x11408 x11418 x11422 x11435 x11443 x11446 x11465 x11491 x11503 x11509 x11527 x11528 x11544 x11584 x11585 x11587 x11591 x11613 x11616 x11617 x11620 x11623 x11654 x11678 x11683 x11692 x11694 x11701 x11710 x11732 x11743 x11758 x11764 x11804 x11806 x11812 x11815 x11816 x11841 x11851 x11870 x11874 x11884 x11904 x11908 x11922 x11929 x11988 x11995 x12022 x12052 x12065 x12071 x12078 x12080 x12091 x12092 x12101 x12108 x12130 x12134 x12137 x12156 x12158 x12171 x12172 x12192 x12215 x12250 x12251 x12264 x12267 x12276 x12278 x12279 x12312 x12313 x12337 x12351 x12411 x12413 x12436 x12457 x12482 x12504 x12522 x12545 x12547 x12548 x12553 x12605 x12637 x12639 x12641 x12645 x12656 x12665 x12692 x12719 x12721 x12722 x12751 x12759 x12768 x12795 x12808 x12851 x12857 x12862 x12904 x12908 x12938 x12969 x12978 x12996 x13045 x13075 x13098 x13100 x13103 x13112 x13175 x13176 x13178 x13180 x13207 x13213 x13224 x13234 x13238 x13248 x13258 x13296 x13297 x13298 x13323 x13325 x13332 x13343 x13370 x13398 x13408 x13418 x13430 x13440 x13471 x13477 x13508 x13518 x13522 x13529 x13532 x13536 x13549 x13560 x13564 x13572 x13582 x13584 x13587 x13611 x13616 x13639 x13708 x13717 x13722 x13723 x13750 x13760 x13765 x13769 x13789 x13802 x13807 x13848 x13856 x13858 x13877 x13885 x13887 x13944 x13953 x13962 x13984 x14011 x14012 x14023 x14024 x14027 x14028 x14029 x14061 x14072 x14079 x14089 x14111 x14118 x14125 x14149 x14166 x14179 x14188 x14222 x14233 x14260 x14270 x14279 x14281 x14286 x14299 x14309 x14319 x14331 x14333 x14385 x14386 x14405 x14410 x14444 x14470 x14474 x14486 x14493 x14495 x14496 x14497 x14513 x14517 x14520 x14525 x14551 x14560 x14564 x14573 x14574 x14575 x14578 x14596 x14607 x14624 x14634 x14635 x14657 x14658 x14680 x14687 x14701 x14710 x14730 x14734 x14735 x14738 x14739 x14747 x14788 x14802 x14814 x14815 x14828 x14836 x14868 x14882 x14908 x14909 x14935 x14967 x14975 x15004 x15047 x15048 x15097 x15098 x15102 x15125 x15148 x15155 x15169 x15178 x15179 x15180 x15195 x15220 x15248 x15291 x15304 x15307 x15318 x15326 x15332 x15342 x15381 x15408 x15411 x15444 x15452 x15455 x15460 x15477 x15500 x15502 x15520 x15532 x15600 x15612 x15613 x15623 x15640 x15661 x15664 x15705 x15730 x15733 x15740 x15742 x15750 x15754 x15815 x15816 x15818 x15839 x15841 x15864 x15882 x15884 x15893 x15912 x15939 x15944 x15960 x15961 x15965 x15976 x15982 x15984 x16029 x16053 x16059 x16062 x16064 x16071 x16095 x16116 x16140 x16178 x16189 
1800.03/1800.42	pb2clasp1: no process killed
1802.00/1802.41	sh: line 1:  9741 Done                    cat HOME/temp/instance-3736747-1338732160.opb.op
1802.00/1802.41	      9742 Killed                  | clasp-1.0 --trans=no > HOME/temp/instance-3736747-1338732160.opb.clasp

Verifier Data

OK	44

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-3736747-1338732160/watcher-3736747-1338732160 -o /tmp/evaluation-result-3736747-1338732160/solver-3736747-1338732160 -C 1800 -W 1900 -M 15500 pbclasp instance-3736747-1338732160.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 9446
/proc/meminfo: memFree=27018316/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) R 9444 9446 29645 0 -1 4202496 453 0 0 0 0 0 0 0 20 0 1 0 339340983 26071040 383 33554432000 4194304 4198148 140734304505648 140734304503096 223651270548 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 6365 383 291 1 0 160 0

[startup+0.0397769 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9446
/proc/meminfo: memFree=27018316/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=0.01 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 731 0 0 0 1 0 0 0 20 0 1 0 339340983 26898432 645 33554432000 4194304 4198148 140734304505648 140734304504536 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 6567 645 369 1 0 362 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26268

[startup+0.100266 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9446
/proc/meminfo: memFree=27018316/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=0.01 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 731 0 0 0 1 0 0 0 20 0 1 0 339340983 26898432 645 33554432000 4194304 4198148 140734304505648 140734304504536 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 6567 645 369 1 0 362 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26268

[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9446
/proc/meminfo: memFree=27018316/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=0.01 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 731 0 0 0 1 0 0 0 20 0 1 0 339340983 26898432 645 33554432000 4194304 4198148 140734304505648 140734304504536 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 6567 645 369 1 0 362 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26268

[startup+0.700223 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9446
/proc/meminfo: memFree=27018316/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=0.01 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 731 0 0 0 1 0 0 0 20 0 1 0 339340983 26898432 645 33554432000 4194304 4198148 140734304505648 140734304504536 223655027952 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 6567 645 369 1 0 362 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26268

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9449
/proc/meminfo: memFree=27015332/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=1.27 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 830 2099 0 0 1 0 125 1 20 0 1 0 339340983 26898432 674 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9446/statm: 6567 674 387 1 0 362 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 26268

[startup+3.10015 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9464
/proc/meminfo: memFree=26992012/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=2.79 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 1236 26014 0 0 3 0 268 8 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 26268

[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9512
/proc/meminfo: memFree=26991384/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=6.11 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 1916 65938 0 0 7 0 583 21 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 26268

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9520
/proc/meminfo: memFree=26986312/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=6.11 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 1916 65938 0 0 7 0 583 21 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9518] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9518/stat : 9518 (sh) S 9446 9446 29645 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339341599 9367552 264 33554432000 4194304 5064252 140734531862352 140734531860608 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9518/statm: 2287 264 223 213 0 72 0
[pid=9520] ppid=9518 vsize=30060 CPUtime=6.53 cores=1,3,5,7
/proc/9520/stat : 9520 (clasp-1.0) R 9518 9446 29645 0 -1 4202496 7491 0 0 0 652 1 0 0 20 0 1 0 339341599 30781440 6931 33554432000 134512640 134847168 4291154944 4291153568 134784711 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9520/statm: 7515 6931 270 82 0 6756 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 65476

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9520
/proc/meminfo: memFree=26966256/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=6.11 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 1916 65938 0 0 7 0 583 21 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9518] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9518/stat : 9518 (sh) S 9446 9446 29645 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339341599 9367552 264 33554432000 4194304 5064252 140734531862352 140734531860608 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9518/statm: 2287 264 223 213 0 72 0
[pid=9520] ppid=9518 vsize=49564 CPUtime=19.33 cores=1,3,5,7
/proc/9520/stat : 9520 (clasp-1.0) R 9518 9446 29645 0 -1 4202496 12355 0 0 0 1931 2 0 0 20 0 1 0 339341599 50753536 11795 33554432000 134512640 134847168 4291154944 4291153712 134737533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9520/statm: 12391 11795 270 82 0 11632 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 84980

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9528
/proc/meminfo: memFree=26969976/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=34.01 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2055 81701 0 0 8 0 3368 25 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9526] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9526/stat : 9526 (sh) S 9446 9446 29645 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339344389 9367552 264 33554432000 4194304 5064252 140736035249936 140736035248192 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9526/statm: 2287 264 223 213 0 72 0
[pid=9528] ppid=9526 vsize=44980 CPUtime=17.01 cores=1,3,5,7
/proc/9528/stat : 9528 (clasp-1.0) R 9526 9446 29645 0 -1 4202496 11240 0 0 0 1699 2 0 0 20 0 1 0 339344390 46059520 10677 33554432000 134512640 134847168 4293706064 4293704780 134715744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9528/statm: 11245 10677 272 82 0 10486 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 80396

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9528
/proc/meminfo: memFree=26951092/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=34.01 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2055 81701 0 0 8 0 3368 25 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9526] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9526/stat : 9526 (sh) S 9446 9446 29645 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339344389 9367552 264 33554432000 4194304 5064252 140736035249936 140736035248192 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9526/statm: 2287 264 223 213 0 72 0
[pid=9528] ppid=9526 vsize=61764 CPUtime=68.21 cores=1,3,5,7
/proc/9528/stat : 9528 (clasp-1.0) R 9526 9446 29645 0 -1 4202496 15399 0 0 0 6816 5 0 0 20 0 1 0 339344390 63246336 14870 33554432000 134512640 134847168 4293706064 4293704756 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9528/statm: 15441 14870 272 82 0 14682 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 97180

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9528
/proc/meminfo: memFree=26933480/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=34.01 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2055 81701 0 0 8 0 3368 25 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9526] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9526/stat : 9526 (sh) S 9446 9446 29645 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339344389 9367552 264 33554432000 4194304 5064252 140736035249936 140736035248192 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9526/statm: 2287 264 223 213 0 72 0
[pid=9528] ppid=9526 vsize=78160 CPUtime=128.19 cores=1,3,5,7
/proc/9528/stat : 9528 (clasp-1.0) R 9526 9446 29645 0 -1 4202496 19485 0 0 0 12813 6 0 0 20 0 1 0 339344390 80035840 18960 33554432000 134512640 134847168 4293706064 4293704640 134714203 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9528/statm: 19540 18960 272 82 0 18781 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 113576

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9528
/proc/meminfo: memFree=26932292/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=34.01 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2055 81701 0 0 8 0 3368 25 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9526] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9526/stat : 9526 (sh) S 9446 9446 29645 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339344389 9367552 264 33554432000 4194304 5064252 140736035249936 140736035248192 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9526/statm: 2287 264 223 213 0 72 0
[pid=9528] ppid=9526 vsize=78160 CPUtime=188.18 cores=1,3,5,7
/proc/9528/stat : 9528 (clasp-1.0) R 9526 9446 29645 0 -1 4202496 19496 0 0 0 18812 6 0 0 20 0 1 0 339344390 80035840 18972 33554432000 134512640 134847168 4293706064 4293704736 134784580 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9528/statm: 19540 18972 272 82 0 18781 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 113576

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9529
/proc/meminfo: memFree=26924600/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=34.01 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2055 81701 0 0 8 0 3368 25 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9526] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9526/stat : 9526 (sh) S 9446 9446 29645 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339344389 9367552 264 33554432000 4194304 5064252 140736035249936 140736035248192 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9526/statm: 2287 264 223 213 0 72 0
[pid=9528] ppid=9526 vsize=85672 CPUtime=248.17 cores=1,3,5,7
/proc/9528/stat : 9528 (clasp-1.0) R 9526 9446 29645 0 -1 4202496 21329 0 0 0 24810 7 0 0 20 0 1 0 339344390 87728128 20806 33554432000 134512640 134847168 4293706064 4293704692 134616350 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9528/statm: 21418 20806 272 82 0 20659 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 121088

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9529
/proc/meminfo: memFree=26923728/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=34.01 cores=1,3,5,7

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

/proc/9546/stat : 9546 (sh) S 9446 9446 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339384026 9367552 263 33554432000 4194304 5064252 140735003766192 140735003764448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9546/statm: 2287 263 223 213 0 72 0
[pid=9548] ppid=9546 vsize=132104 CPUtime=991.68 cores=1,3,5,7
/proc/9548/stat : 9548 (clasp-1.0) R 9546 9446 29645 0 -1 4202496 32529 0 0 0 99159 9 0 0 20 0 1 0 339384026 135274496 32246 33554432000 134512640 134847168 4288115376 4288114048 134784580 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9548/statm: 33026 32246 270 82 0 32267 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 167520

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9721
/proc/meminfo: memFree=26659916/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=430.3 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2155 107131 0 0 8 1 42987 34 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9546] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9546/stat : 9546 (sh) S 9446 9446 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339384026 9367552 263 33554432000 4194304 5064252 140735003766192 140735003764448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9546/statm: 2287 263 223 213 0 72 0
[pid=9548] ppid=9546 vsize=131560 CPUtime=1051.67 cores=1,3,5,7
/proc/9548/stat : 9548 (clasp-1.0) R 9546 9446 29645 0 -1 4202496 32532 0 0 0 105158 9 0 0 20 0 1 0 339384026 134717440 32199 33554432000 134512640 134847168 4288115376 4288114000 134784608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9548/statm: 32890 32199 270 82 0 32131 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 166976

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9721
/proc/meminfo: memFree=26653716/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=430.3 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2155 107131 0 0 8 1 42987 34 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9546] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9546/stat : 9546 (sh) S 9446 9446 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339384026 9367552 263 33554432000 4194304 5064252 140735003766192 140735003764448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9546/statm: 2287 263 223 213 0 72 0
[pid=9548] ppid=9546 vsize=131560 CPUtime=1111.66 cores=1,3,5,7
/proc/9548/stat : 9548 (clasp-1.0) R 9546 9446 29645 0 -1 4202496 32532 0 0 0 111157 9 0 0 20 0 1 0 339384026 134717440 32199 33554432000 134512640 134847168 4288115376 4288113840 134713707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9548/statm: 32890 32199 270 82 0 32131 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 166976

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9721
/proc/meminfo: memFree=26643780/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=430.3 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2155 107131 0 0 8 1 42987 34 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9546] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9546/stat : 9546 (sh) S 9446 9446 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339384026 9367552 263 33554432000 4194304 5064252 140735003766192 140735003764448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9546/statm: 2287 263 223 213 0 72 0
[pid=9548] ppid=9546 vsize=132044 CPUtime=1171.66 cores=1,3,5,7
/proc/9548/stat : 9548 (clasp-1.0) R 9546 9446 29645 0 -1 4202496 32648 0 0 0 117156 10 0 0 20 0 1 0 339384026 135213056 32315 33554432000 134512640 134847168 4288115376 4288114056 134789705 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9548/statm: 33011 32315 270 82 0 32252 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 167460

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9724
/proc/meminfo: memFree=26637200/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=430.3 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2155 107131 0 0 8 1 42987 34 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9546] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9546/stat : 9546 (sh) S 9446 9446 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339384026 9367552 263 33554432000 4194304 5064252 140735003766192 140735003764448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9546/statm: 2287 263 223 213 0 72 0
[pid=9548] ppid=9546 vsize=132284 CPUtime=1231.65 cores=1,3,5,7
/proc/9548/stat : 9548 (clasp-1.0) R 9546 9446 29645 0 -1 4202496 32775 0 0 0 123155 10 0 0 20 0 1 0 339384026 135458816 32321 33554432000 134512640 134847168 4288115376 4288114068 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9548/statm: 33071 32321 270 82 0 32312 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 167700

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9724
/proc/meminfo: memFree=26635356/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=430.3 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2155 107131 0 0 8 1 42987 34 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9546] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9546/stat : 9546 (sh) S 9446 9446 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339384026 9367552 263 33554432000 4194304 5064252 140735003766192 140735003764448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9546/statm: 2287 263 223 213 0 72 0
[pid=9548] ppid=9546 vsize=135576 CPUtime=1291.63 cores=1,3,5,7
/proc/9548/stat : 9548 (clasp-1.0) R 9546 9446 29645 0 -1 4202496 33600 0 0 0 129153 10 0 0 20 0 1 0 339384026 138829824 33146 33554432000 134512640 134847168 4288115376 4288114132 134737608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9548/statm: 33894 33146 270 82 0 33135 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 170992

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9726
/proc/meminfo: memFree=26613648/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=430.3 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2155 107131 0 0 8 1 42987 34 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9546] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9546/stat : 9546 (sh) S 9446 9446 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339384026 9367552 263 33554432000 4194304 5064252 140735003766192 140735003764448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9546/statm: 2287 263 223 213 0 72 0
[pid=9548] ppid=9546 vsize=157600 CPUtime=1351.63 cores=1,3,5,7
/proc/9548/stat : 9548 (clasp-1.0) R 9546 9446 29645 0 -1 4202496 38928 0 0 0 135151 12 0 0 20 0 1 0 339384026 161382400 38474 33554432000 134512640 134847168 4288115376 4288114004 134616350 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9548/statm: 39400 38474 270 82 0 38641 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 193016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9726
/proc/meminfo: memFree=26613208/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=430.3 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2155 107131 0 0 8 1 42987 34 20 0 1 0 339340983 26898432 691 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 691 387 1 0 362 0
[pid=9546] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9546/stat : 9546 (sh) S 9446 9446 29645 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 339384026 9367552 263 33554432000 4194304 5064252 140735003766192 140735003764448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9546/statm: 2287 263 223 213 0 72 0
[pid=9548] ppid=9546 vsize=157600 CPUtime=1369.73 cores=1,3,5,7
/proc/9548/stat : 9548 (clasp-1.0) R 9546 9446 29645 0 -1 4202496 38933 0 0 0 136961 12 0 0 20 0 1 0 339384026 161382400 38479 33554432000 134512640 134847168 4288115376 4288114144 134737650 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9548/statm: 39400 38479 270 82 0 38641 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 193016

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -9446

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 9745
/proc/meminfo: memFree=26988404/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=1800.06 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2313 148833 0 0 8 1 179949 48 20 0 1 0 339340983 26898432 693 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 693 387 1 0 362 0
[pid=9740] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9740/stat : 9740 (sh) S 9446 9446 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339521027 9367552 263 33554432000 4194304 5064252 140735849947536 140735849945792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9740/statm: 2287 263 223 213 0 72 0
[pid=9742] ppid=9740 vsize=24300 CPUtime=0.94 cores=1,3,5,7
/proc/9742/stat : 9742 (clasp-1.0) R 9740 9446 29645 0 -1 4202496 6031 0 0 0 94 0 0 0 20 0 1 0 339521027 24883200 5462 33554432000 134512640 134847168 4294099840 4294098480 134782337 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9742/statm: 6075 5462 270 82 0 5316 0
Current children cumulated CPU time (s) 1801
Current children cumulated vsize (KiB) 59716

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9745
/proc/meminfo: memFree=26942184/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=1800.06 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2313 148833 0 0 8 1 179949 48 20 0 1 0 339340983 26898432 693 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 693 387 1 0 362 0
[pid=9740] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9740/stat : 9740 (sh) S 9446 9446 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339521027 9367552 263 33554432000 4194304 5064252 140735849947536 140735849945792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9740/statm: 2287 263 223 213 0 72 0
[pid=9742] ppid=9740 vsize=24300 CPUtime=1.74 cores=1,3,5,7
/proc/9742/stat : 9742 (clasp-1.0) R 9740 9446 29645 0 -1 4202496 6031 0 0 0 174 0 0 0 20 0 1 0 339521027 24883200 5462 33554432000 134512640 134847168 4294099840 4294098524 134715846 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9742/statm: 6075 5462 270 82 0 5316 0
Current children cumulated CPU time (s) 1801.8
Current children cumulated vsize (KiB) 59716

[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9745
/proc/meminfo: memFree=26942184/32873844 swapFree=7628/7628
[pid=9446] ppid=9444 vsize=26268 CPUtime=1800.06 cores=1,3,5,7
/proc/9446/stat : 9446 (pbclasp) S 9444 9446 29645 0 -1 4202496 2313 148833 0 0 8 1 179949 48 20 0 1 0 339340983 26898432 693 33554432000 4194304 4198148 140734304505648 140734304504576 223655030814 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9446/statm: 6567 693 387 1 0 362 0
[pid=9740] ppid=9446 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9740/stat : 9740 (sh) S 9446 9446 29645 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 339521027 9367552 263 33554432000 4194304 5064252 140735849947536 140735849945792 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9740/statm: 2287 263 223 213 0 72 0
[pid=9742] ppid=9740 vsize=24300 CPUtime=1.94 cores=1,3,5,7
/proc/9742/stat : 9742 (clasp-1.0) R 9740 9446 29645 0 -1 4202496 6032 0 0 0 194 0 0 0 20 0 1 0 339521027 24883200 5463 33554432000 134512640 134847168 4294099840 4294098416 134714478 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9742/statm: 6075 5463 270 82 0 5316 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 59716

Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.07
CPU user time (s): 1801.55
CPU system time (s): 0.518921
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 193016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.55
system time used= 0.518921
maximum resident set size= 153916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158031
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4671
involuntary context switches= 2203

runsolver used 12.3291 second user time and 13.171 second system time

The end

Launcher Data

Begin job on node144 at 2012-06-03 16:02:40
IDJOB=3736747
IDBENCH=48113
IDSOLVER=2317
FILE ID=node144/3736747-1338732160
RUNJOBID= node144-1338704721-29662
PBS_JOBID= 14636720
Free space on /tmp= 70836 MiB

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

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

MD5SUM BENCH= 0f5da0a781de7969842ad5c8dd7a6f1b
RANDOM SEED=2126748875

node144.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.196
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.39
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.196
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.196
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	: 5438.54
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.196
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.196
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.90
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.196
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.92
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.196
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.196
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:       32873844 kB
MemFree:        27019488 kB
Buffers:         1297304 kB
Cached:          3658604 kB
SwapCached:          464 kB
Active:          3092016 kB
Inactive:        1889556 kB
Active(anon):       7200 kB
Inactive(anon):    11188 kB
Active(file):    3084816 kB
Inactive(file):  1878368 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108384 kB
Dirty:               688 kB
Writeback:             0 kB
AnonPages:         22656 kB
Mapped:            16472 kB
Shmem:               172 kB
Slab:             733312 kB
SReclaimable:     175072 kB
SUnreclaim:       558240 kB
KernelStack:        1512 kB
PageTables:         4000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     131404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3736747-1338732160.opb

Free space on /tmp at the end= 70824 MiB
End job on node144 at 2012-06-03 16:32:43