Trace number 351009

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, and are wall clock time (not CPU 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
PB-clasp 2007-04-10SAT (TO)1321 1801.99 1802.64

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-core4872-1529.opb
MD5SUMf76080fd01118b16218a90da3c643655
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1240
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1071
Optimality of the best value was proved NO
Number of variables24645
Total number of constraints4873
Number of constraints which are clauses4872
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint17864
Number of terms in the objective function 24645
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 24645
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 9256
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 27120
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

28.03/28.16	o 1554
45.94/46.08	o 1321
1800.04/1800.62	c Somebody sent me a SIGTERM
1800.04/1800.62	s SATISFIABLE
1800.04/1800.62	v x49 x172 x258 x377 x431 x545 x671 x718 x767 x802 x855 x1032 x1054 x1132 x1180 x1199 x1228 x1290 x1335 x1403 x1426 x1451 x1487
1800.04/1800.62	v x1512 x1527 x1570 x1592 x1606 x1650 x1677 x1717 x1808 x1854 x1911 x1926 x1973 x1981 x2048 x2134 x2164 x2189 x2231 x2261 x2341
1800.04/1800.62	v x2380 x2399 x2456 x2457 x2465 x2467 x2484 x2515 x2585 x2586 x2591 x2736 x2737 x2746 x2749 x2779 x2826 x2831 x2834 x2845 x2863
1800.04/1800.62	v x2871 x2874 x2877 x2881 x2883 x2887 x2931 x2971 x2997 x3025 x3045 x3066 x3068 x3116 x3176 x3192 x3206 x3247 x3263 x3286 x3332
1800.04/1800.62	v x3363 x3364 x3376 x3378 x3383 x3460 x3500 x3580 x3584 x3687 x3723 x3738 x3753 x3755 x3775 x3825 x3842 x3843 x3858 x3902 x3939
1800.04/1800.62	v x3988 x4023 x4104 x4123 x4124 x4133 x4134 x4137 x4138 x4143 x4151 x4156 x4161 x4164 x4170 x4171 x4173 x4181 x4187 x4201 x4258
1800.04/1800.62	v x4287 x4297 x4313 x4345 x4367 x4375 x4653 x4703 x4729 x4790 x4795 x4884 x4888 x5055 x5254 x5345 x5346 x5406 x5617 x5748 x5753
1800.04/1800.62	v x5774 x5823 x5826 x5835 x5877 x5922 x5960 x6021 x6047 x6126 x6188 x6194 x6222 x6274 x6414 x6463 x6515 x6586 x6609 x6691 x6713
1800.04/1800.62	v x6719 x6732 x6735 x6737 x6866 x7048 x7057 x7070 x7077 x7149 x7204 x7420 x7422 x7462 x7482 x7493 x7592 x7597 x7623 x7624 x7653
1800.04/1800.62	v x7654 x7673 x7710 x7855 x7859 x7898 x7916 x7930 x7955 x7969 x7970 x7971 x7990 x8009 x8014 x8027 x8036 x8054 x8062 x8119 x8120
1800.04/1800.62	v x8147 x8151 x8153 x8155 x8156 x8178 x8183 x8193 x8198 x8201 x8203 x8226 x8242 x8298 x8306 x8333 x8334 x8341 x8359 x8370 x8389
1800.04/1800.62	v x8392 x8403 x8412 x8424 x8458 x8471 x8482 x8515 x8517 x8518 x8520 x8529 x8629 x8639 x8674 x8686 x8706 x8722 x8779 x8798 x8799
1800.04/1800.62	v x8821 x8828 x8831 x8897 x8932 x8950 x8957 x8964 x9031 x9049 x9055 x9110 x9112 x9145 x9194 x9284 x9300 x9365 x9409 x9481 x9555
1800.04/1800.62	v x9651 x9694 x9748 x9759 x9769 x9781 x9785 x9808 x9817 x9822 x9840 x9878 x9892 x9930 x9933 x9934 x9973 x9999 x10039 x10133
1800.04/1800.62	v x10146 x10246 x10283 x10309 x10321 x10323 x10324 x10336 x10344 x10359 x10397 x10401 x10412 x10436 x10509 x10528 x10532
1800.04/1800.62	v x10533 x10536 x10569 x10595 x10642 x10657 x10675 x10681 x10684 x10711 x10744 x10761 x10765 x10791 x10845 x10855 x10864
1800.04/1800.62	v x10872 x10878 x10890 x10905 x10908 x10920 x10921 x10959 x10976 x11012 x11046 x11051 x11056 x11057 x11089 x11091 x11105
1800.04/1800.62	v x11108 x11151 x11152 x11166 x11170 x11175 x11178 x11203 x11212 x11220 x11223 x11241 x11248 x11251 x11253 x11256 x11258
1800.04/1800.62	v x11261 x11263 x11264 x11279 x11283 x11287 x11293 x11295 x11312 x11328 x11341 x11355 x11390 x11402 x11434 x11442 x11454
1800.04/1800.62	v x11467 x11468 x11472 x11488 x11496 x11504 x11548 x11556 x11580 x11588 x11607 x11614 x11625 x11659 x11661 x11665 x11775
1800.04/1800.62	v x11831 x11841 x11842 x11857 x11860 x11886 x11959 x11986 x11991 x11993 x11994 x12006 x12017 x12034 x12083 x12109 x12144
1800.04/1800.62	v x12173 x12177 x12180 x12182 x12202 x12231 x12253 x12255 x12270 x12272 x12282 x12289 x12311 x12354 x12363 x12401 x12414
1800.04/1800.62	v x12454 x12469 x12479 x12480 x12510 x12512 x12513 x12537 x12543 x12545 x12602 x12604 x12606 x12613 x12658 x12678 x12694
1800.04/1800.62	v x12703 x12730 x12737 x12739 x12747 x12751 x12756 x12765 x12766 x12803 x12825 x12833 x12869 x12877 x12896 x12899 x12904
1800.04/1800.62	v x12906 x12921 x12922 x12938 x12964 x12972 x12979 x12985 x12991 x12998 x13008 x13010 x13021 x13034 x13036 x13069 x13075
1800.04/1800.62	v x13081 x13096 x13114 x13125 x13154 x13155 x13170 x13172 x13190 x13193 x13218 x13240 x13250 x13254 x13268 x13289 x13303
1800.04/1800.62	v x13319 x13358 x13363 x13369 x13383 x13389 x13421 x13457 x13459 x13518 x13526 x13544 x13559 x13584 x13591 x13605 x13622
1800.04/1800.62	v x13628 x13639 x13658 x13702 x13708 x13740 x13741 x13756 x13759 x13763 x13764 x13766 x13769 x13785 x13801 x13803 x13808
1800.04/1800.62	v x13826 x13829 x13832 x13840 x13841 x13843 x13849 x13857 x13862 x13863 x13876 x13879 x13899 x13901 x13907 x13912 x13915
1800.04/1800.62	v x13921 x13927 x13942 x13944 x14000 x14052 x14096 x14131 x14182 x14191 x14264 x14265 x14268 x14276 x14308 x14316 x14320
1800.04/1800.62	v x14324 x14349 x14356 x14369 x14372 x14374 x14407 x14427 x14503 x14526 x14546 x14570 x14577 x14581 x14598 x14605 x14633
1800.04/1800.62	v x14654 x14665 x14684 x14685 x14697 x14768 x14769 x14790 x14795 x14802 x14844 x14859 x14879 x14880 x14881 x14900 x14912
1800.04/1800.62	v x14934 x14963 x14964 x14976 x15002 x15007 x15013 x15032 x15033 x15038 x15039 x15050 x15054 x15055 x15057 x15107 x15124
1800.04/1800.62	v x15157 x15162 x15178 x15216 x15235 x15253 x15270 x15295 x15298 x15299 x15308 x15321 x15335 x15369 x15373 x15381 x15401
1800.04/1800.62	v x15409 x15422 x15435 x15439 x15440 x15450 x15458 x15459 x15477 x15486 x15488 x15495 x15499 x15502 x15515 x15537 x15539
1800.04/1800.62	v x15543 x15544 x15545 x15553 x15567 x15571 x15578 x15588 x15590 x15591 x15602 x15605 x15608 x15614 x15617 x15618 x15625
1800.04/1800.62	v x15630 x15636 x15650 x15661 x15662 x15666 x15668 x15678 x15685 x15694 x15697 x15701 x15768 x15777 x15786 x15790 x15799
1800.04/1800.62	v x15803 x15806 x15818 x15839 x15845 x15855 x15861 x15865 x15885 x15892 x15894 x15910 x15915 x15929 x15953 x15957 x15996
1800.04/1800.62	v x16010 x16014 x16019 x16027 x16039 x16068 x16071 x16106 x16136 x16140 x16156 x16160 x16162 x16167 x16180 x16181 x16195
1800.04/1800.62	v x16221 x16233 x16266 x16270 x16286 x16292 x16294 x16304 x16308 x16324 x16331 x16337 x16344 x16347 x16348 x16349 x16356
1800.04/1800.62	v x16358 x16371 x16374 x16385 x16387 x16394 x16407 x16418 x16426 x16432 x16434 x16437 x16442 x16443 x16456 x16467 x16468
1800.04/1800.62	v x16470 x16490 x16498 x16503 x16506 x16516 x16518 x16532 x16547 x16589 x16590 x16594 x16597 x16600 x16606 x16614 x16620
1800.04/1800.62	v x16646 x16656 x16664 x16683 x16686 x16697 x16727 x16729 x16771 x16786 x16807 x16881 x16891 x16903 x16911 x16928 x16932
1800.04/1800.62	v x16967 x16982 x17038 x17085 x17109 x17153 x17162 x17169 x17187 x17213 x17218 x17219 x17229 x17239 x17240 x17267 x17274
1800.04/1800.62	v x17282 x17284 x17301 x17304 x17315 x17321 x17352 x17358 x17363 x17365 x17391 x17396 x17410 x17431 x17434 x17443 x17462
1800.04/1800.62	v x17464 x17496 x17519 x17523 x17550 x17557 x17599 x17698 x17717 x17813 x17842 x17860 x17868 x17878 x17921 x17946 x17948
1800.04/1800.62	v x17952 x17960 x17974 x17982 x18022 x18042 x18045 x18093 x18106 x18120 x18133 x18140 x18149 x18176 x18178 x18193 x18240
1800.04/1800.62	v x18242 x18268 x18284 x18291 x18316 x18324 x18327 x18360 x18383 x18404 x18408 x18438 x18439 x18447 x18448 x18473 x18474
1800.04/1800.62	v x18479 x18486 x18493 x18502 x18541 x18542 x18549 x18555 x18568 x18577 x18584 x18605 x18609 x18612 x18617 x18655 x18668
1800.04/1800.62	v x18674 x18692 x18696 x18700 x18715 x18720 x18725 x18743 x18747 x18751 x18760 x18762 x18763 x18768 x18780 x18807 x18828
1800.04/1800.62	v x18835 x18851 x18860 x18861 x18863 x18866 x18886 x18889 x18914 x18942 x18945 x18954 x18957 x18963 x18973 x18976 x18977
1800.04/1800.62	v x18982 x18986 x19041 x19100 x19105 x19135 x19228 x19270 x19271 x19297 x19301 x19315 x19317 x19328 x19342 x19350 x19365
1800.04/1800.62	v x19381 x19394 x19406 x19407 x19409 x19413 x19415 x19424 x19431 x19444 x19450 x19452 x19495 x19496 x19516 x19521 x19547
1800.04/1800.62	v x19588 x19605 x19616 x19619 x19624 x19627 x19631 x19634 x19668 x19674 x19677 x19697 x19709 x19717 x19767 x19781 x19782
1800.04/1800.62	v x19794 x19797 x19810 x19817 x19829 x19831 x19843 x19858 x19860 x19868 x19883 x19893 x19901 x19903 x19929 x19939 x19962
1800.04/1800.62	v x19979 x19983 x19986 x20028 x20034 x20065 x20071 x20086 x20094 x20153 x20154 x20165 x20180 x20187 x20200 x20218 x20226
1800.04/1800.62	v x20227 x20230 x20234 x20238 x20240 x20241 x20249 x20266 x20268 x20308 x20312 x20328 x20331 x20333 x20334 x20336 x20339
1800.04/1800.62	v x20342 x20343 x20347 x20348 x20353 x20354 x20367 x20372 x20376 x20381 x20387 x20396 x20398 x20400 x20402 x20449 x20466
1800.04/1800.62	v x20472 x20485 x20489 x20510 x20518 x20556 x20584 x20595 x20596 x20602 x20605 x20607 x20610 x20613 x20622 x20624 x20632
1800.04/1800.62	v x20635 x20644 x20646 x20650 x20651 x20654 x20661 x20667 x20677 x20687 x20700 x20710 x20711 x20751 x20754 x20768 x20770
1800.04/1800.62	v x20771 x20798 x20800 x20818 x20821 x20832 x20835 x20860 x20875 x20889 x20911 x20974 x20999 x21024 x21049 x21058 x21068
1800.04/1800.62	v x21072 x21077 x21097 x21099 x21100 x21112 x21115 x21134 x21149 x21159 x21165 x21167 x21171 x21177 x21181 x21186 x21189
1800.04/1800.62	v x21190 x21193 x21196 x21198 x21201 x21204 x21206 x21207 x21212 x21220 x21223 x21227 x21234 x21236 x21241 x21242 x21246
1800.04/1800.62	v x21263 x21265 x21268 x21271 x21330 x21331 x21421 x21462 x21493 x21530 x21532 x21547 x21556 x21565 x21571 x21575 x21581
1800.04/1800.62	v x21659 x21677 x21697 x21965 x21966 x21967 x21971 x22005 x22109 x22119 x22162 x22172 x22251 x22269 x22285 x22309 x22344
1800.04/1800.62	v x22384 x22406 x22522 x22799 x23001 x23017 x23033 x23044 x23052 x23054 x23069 x23107 x23112 x23164 x23178 x23223 x23233
1800.04/1800.62	v x23248 x23287 x23303 x23306 x23310 x23327 x23341 x23345 x23365 x23367 x23368 x23370 x23372 x23378 x23384 x23389 x23394
1800.04/1800.62	v x23397 x23400 x23403 x23416 x23427 x23431 x23487 x23513 x23563 x23579 x23580 x23581 x23582 x23632 x23636 x23640 x23679
1800.04/1800.62	v x23680 x23682 x23686 x23687 x23691 x23697 x23750 x23794 x23939 x23970 x23980 x24075 x24093 x24187 x24194 x24215 x24216
1800.04/1800.62	v x24217 x24218 x24226 x24234 x24236 x24237 x24241 x24243 x24248 x24249 x24258 x24265 x24282 x24285 x24290 x24305 x24309
1800.04/1800.62	v x24314 x24322 x24324 x24330 x24336 x24347 x24350 x24352 x24357 x24360 x24364 x24366 x24367 x24370 x24376 x24388 x24391
1800.04/1800.62	v x24394 x24399 x24401 x24404 x24412 x24416 x24426 x24432 x24435 x24457 x24460 x24463 x24467 x24474 x24482 x24484 x24488
1800.04/1800.62	v x24497 x24509 x24510 x24513 x24517 x24539 x24541 x24545 x24558 x24562 x24571 x24572 x24577 x24581 x24587 x24589 x24595
1800.04/1800.62	v x24600 x24603 x24605 x24607 x24610 x24611 x24612 x24613 x24614 x24616 x24618 x24619 x24621 x24624 x24625 x24627 x24630
1800.04/1800.62	v x24634 x24638 x24640 x24642 x24644 x24645
1800.04/1800.66	pb2clasp1: no process killed
1800.04/1800.66	clasp-1.0: no process killed
48.02/1802.62	sh: line 1: 12059 Done                    cat /tmp/evaluation/351009-1176572458/temp/instance-351009-1176572458.opb.op
48.02/1802.62	     12060 Killed                  | clasp-1.0 --trans=no >/tmp/evaluation/351009-1176572458/temp/instance-351009-1176572458.opb.clasp

Verifier Data (download as text)

OK	1321

Conversion Script Data (download as text)

/tmp/evaluation/351009-1176572458/instance-351009-1176572458.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node65/watcher-351009-1176572458 -o ROOT/results/node65/solver-351009-1176572458 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351009-1176572458.opb /tmp/evaluation/351009-1176572458/temp 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11825
/proc/meminfo: memFree=1726840/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=12268 CPUtime=0
/proc/11825/stat : 11825 (pbclasp) R 11823 11825 11399 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 133235425 12562432 317 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212595198 0 0 4224 0 0 0 0 17 1 0 0
/proc/11825/statm: 3067 317 242 3 0 167 0

[startup+0.067548 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11825
/proc/meminfo: memFree=1726840/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=14676 CPUtime=0.05
/proc/11825/stat : 11825 (pbclasp) R 11823 11825 11399 0 -1 4194304 4372 0 0 0 5 0 0 0 18 0 1 0 133235425 15028224 1023 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257203574186 0 0 4224 16384 0 0 0 17 1 0 0
/proc/11825/statm: 3669 1023 320 3 0 769 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14676

[startup+0.101549 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11825
/proc/meminfo: memFree=1726840/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=14676 CPUtime=0.09
/proc/11825/stat : 11825 (pbclasp) R 11823 11825 11399 0 -1 4194304 7388 0 0 0 8 1 0 0 18 0 1 0 133235425 15028224 1023 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257203904729 0 0 4224 16384 0 0 0 17 1 0 0
/proc/11825/statm: 3669 968 320 3 0 769 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14676

[startup+0.301566 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11825
/proc/meminfo: memFree=1726840/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=14672 CPUtime=0.29
/proc/11825/stat : 11825 (pbclasp) R 11823 11825 11399 0 -1 4194304 24936 0 0 0 24 5 0 0 19 0 1 0 133235425 15024128 1022 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257203574186 0 0 4224 16384 0 0 0 17 1 0 0
/proc/11825/statm: 3668 1022 320 3 0 768 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14672

[startup+0.7016 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 11825
/proc/meminfo: memFree=1726840/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=14800 CPUtime=0.69
/proc/11825/stat : 11825 (pbclasp) R 11823 11825 11399 0 -1 4194304 59933 0 0 0 53 16 0 0 22 0 1 0 133235425 15155200 1043 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257203574186 0 0 4224 16384 0 0 0 17 1 0 0
/proc/11825/statm: 3700 1045 320 3 0 800 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14800

[startup+1.50167 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 11826
/proc/meminfo: memFree=1723760/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=15068 CPUtime=1.49
/proc/11825/stat : 11825 (pbclasp) R 11823 11825 11399 0 -1 4194304 129948 0 0 0 113 36 0 0 25 0 1 0 133235425 15429632 1103 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257203574186 0 0 4224 16384 0 0 0 17 1 0 0
/proc/11825/statm: 3767 1103 320 3 0 867 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15068

[startup+3.1018 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 11826
/proc/meminfo: memFree=1723312/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=15596 CPUtime=3.09
/proc/11825/stat : 11825 (pbclasp) R 11823 11825 11399 0 -1 4194304 272063 0 0 0 233 76 0 0 25 0 1 0 133235425 15970304 1233 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257203574186 0 0 4224 16384 0 0 0 17 1 0 0
/proc/11825/statm: 3899 1233 320 3 0 999 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15596

[startup+6.30107 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 11826
/proc/meminfo: memFree=1721904/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=16944 CPUtime=6.29
/proc/11825/stat : 11825 (pbclasp) R 11823 11825 11399 0 -1 4194304 525799 0 0 0 479 150 0 0 25 0 1 0 133235425 17350656 1562 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257217728264 0 0 4224 16384 0 0 0 17 1 0 0
/proc/11825/statm: 4236 1562 320 3 0 1336 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16944

[startup+12.7016 s]
/proc/loadavg: 0.94 0.98 0.99 2/67 11828
/proc/meminfo: memFree=1715560/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=19180 CPUtime=7.89
/proc/11825/stat : 11825 (pbclasp) S 11823 11825 11399 0 -1 4194304 526402 0 0 0 639 150 0 0 16 0 1 0 133235425 19640320 2121 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212592226 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/11825/statm: 4795 2121 324 3 0 1895 0
[pid=11827] ppid=11825 vsize=5352 CPUtime=0
/proc/11827/stat : 11827 (sh) S 11825 11825 11399 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 133236215 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11827/statm: 1338 229 193 169 0 49 0
[pid=11828] ppid=11827 vsize=14488 CPUtime=4.78
/proc/11828/stat : 11828 (pb2clasp1) R 11827 11825 11399 0 -1 4194304 169979 0 0 0 432 46 0 0 25 0 1 0 133236215 14835712 966 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 257217479038 0 0 4224 0 0 0 0 17 1 0 0
/proc/11828/statm: 3622 966 339 3 0 722 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 39020

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 11835
/proc/meminfo: memFree=1697640/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=21292 CPUtime=14.1
/proc/11825/stat : 11825 (pbclasp) S 11823 11825 11399 0 -1 4194304 527832 171903 0 0 646 150 565 49 17 0 1 0 133235425 21803008 2683 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11825/statm: 5323 2683 343 3 0 2423 0
[pid=11833] ppid=11825 vsize=5352 CPUtime=0
/proc/11833/stat : 11833 (sh) S 11825 11825 11399 0 -1 4194304 285 121 0 0 0 0 0 0 16 0 1 0 133236837 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11833/statm: 1338 224 188 169 0 49 0
[pid=11835] ppid=11833 vsize=16316 CPUtime=11.33
/proc/11835/stat : 11835 (clasp-1.0) R 11833 11825 11399 0 -1 4194304 4113 0 4 0 1130 3 0 0 25 0 1 0 133236838 16707584 3641 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/11835/statm: 4079 3641 249 81 0 3453 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 42960

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 11851
/proc/meminfo: memFree=1697128/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=21424 CPUtime=46.09
/proc/11825/stat : 11825 (pbclasp) S 11823 11825 11399 0 -1 4194304 529596 183320 0 4 654 152 3743 60 16 0 1 0 133235425 21938176 2703 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11825/statm: 5356 2703 343 3 0 2456 0
[pid=11849] ppid=11825 vsize=5352 CPUtime=0
/proc/11849/stat : 11849 (sh) S 11825 11825 11399 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 133240038 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11849/statm: 1338 224 188 169 0 49 0
[pid=11851] ppid=11849 vsize=16924 CPUtime=4.95
/proc/11851/stat : 11851 (clasp-1.0) R 11849 11825 11399 0 -1 4194304 4380 0 0 0 493 2 0 0 25 0 1 0 133240039 17330176 3762 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715031 0 0 4096 0 0 0 0 17 1 0 0
/proc/11851/statm: 4231 3762 249 81 0 3605 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 43700

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 11851
/proc/meminfo: memFree=1659752/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=21424 CPUtime=46.09
/proc/11825/stat : 11825 (pbclasp) S 11823 11825 11399 0 -1 4194304 529596 183320 0 4 654 152 3743 60 16 0 1 0 133235425 21938176 2703 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11825/statm: 5356 2703 343 3 0 2456 0
[pid=11849] ppid=11825 vsize=5352 CPUtime=0
/proc/11849/stat : 11849 (sh) S 11825 11825 11399 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 133240038 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11849/statm: 1338 224 188 169 0 49 0
[pid=11851] ppid=11849 vsize=54500 CPUtime=56.14
/proc/11851/stat : 11851 (clasp-1.0) R 11849 11825 11399 0 -1 4194304 13721 0 0 0 5607 7 0 0 25 0 1 0 133240039 55808000 13103 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617539 0 0 4096 0 0 0 0 17 1 0 0
/proc/11851/statm: 13625 13103 249 81 0 12999 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 81276

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11851
/proc/meminfo: memFree=1589352/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=21424 CPUtime=46.09
/proc/11825/stat : 11825 (pbclasp) S 11823 11825 11399 0 -1 4194304 529596 183320 0 4 654 152 3743 60 16 0 1 0 133235425 21938176 2703 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11825/statm: 5356 2703 343 3 0 2456 0
[pid=11849] ppid=11825 vsize=5352 CPUtime=0
/proc/11849/stat : 11849 (sh) S 11825 11825 11399 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 133240038 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11849/statm: 1338 224 188 169 0 49 0
[pid=11851] ppid=11849 vsize=125372 CPUtime=116.13
/proc/11851/stat : 11851 (clasp-1.0) R 11849 11825 11399 0 -1 4194304 31433 0 0 0 11595 18 0 0 25 0 1 0 133240039 128380928 30815 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 6121083 0 0 4096 0 0 0 0 17 1 0 0
/proc/11851/statm: 31343 30815 249 81 0 30717 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 152148

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11851
/proc/meminfo: memFree=1539048/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=21424 CPUtime=46.09
/proc/11825/stat : 11825 (pbclasp) S 11823 11825 11399 0 -1 4194304 529596 183320 0 4 654 152 3743 60 16 0 1 0 133235425 21938176 2703 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11825/statm: 5356 2703 343 3 0 2456 0
[pid=11849] ppid=11825 vsize=5352 CPUtime=0
/proc/11849/stat : 11849 (sh) S 11825 11825 11399 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 133240038 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11849/statm: 1338 224 188 169 0 49 0
[pid=11851] ppid=11849 vsize=175080 CPUtime=176.1
/proc/11851/stat : 11851 (clasp-1.0) R 11849 11825 11399 0 -1 4194304 43850 0 0 0 17585 25 0 0 25 0 1 0 133240039 179281920 43223 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134714779 0 0 4096 0 0 0 0 17 1 0 0
/proc/11851/statm: 43770 43223 249 81 0 43144 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 201856

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11851
/proc/meminfo: memFree=1539048/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=21424 CPUtime=46.09
/proc/11825/stat : 11825 (pbclasp) S 11823 11825 11399 0 -1 4194304 529596 183320 0 4 654 152 3743 60 16 0 1 0 133235425 21938176 2703 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11825/statm: 5356 2703 343 3 0 2456 0
[pid=11849] ppid=11825 vsize=5352 CPUtime=0
/proc/11849/stat : 11849 (sh) S 11825 11825 11399 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 133240038 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11849/statm: 1338 224 188 169 0 49 0
[pid=11851] ppid=11849 vsize=175080 CPUtime=236.09
/proc/11851/stat : 11851 (clasp-1.0) R 11849 11825 11399 0 -1 4194304 43852 0 0 0 23584 25 0 0 25 0 1 0 133240039 179281920 43225 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134714749 0 0 4096 0 0 0 0 17 1 0 0
/proc/11851/statm: 43770 43225 249 81 0 43144 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 201856

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 11851
/proc/meminfo: memFree=1535528/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=21424 CPUtime=46.09
/proc/11825/stat : 11825 (pbclasp) S 11823 11825 11399 0 -1 4194304 529596 183320 0 4 654 152 3743 60 16 0 1 0 133235425 21938176 2703 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11825/statm: 5356 2703 343 3 0 2456 0
[pid=11849] ppid=11825 vsize=5352 CPUtime=0
/proc/11849/stat : 11849 (sh) S 11825 11825 11399 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 133240038 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11849/statm: 1338 224 188 169 0 49 0
[pid=11851] ppid=11849 vsize=178908 CPUtime=296.08
/proc/11851/stat : 11851 (clasp-1.0) R 11849 11825 11399 0 -1 4194304 44792 0 0 0 29582 26 0 0 25 0 1 0 133240039 183201792 44165 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784582 0 0 4096 0 0 0 0 17 1 0 0
/proc/11851/statm: 44727 44165 249 81 0 44101 0

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

/proc/11849/statm: 1338 224 188 169 0 49 0
[pid=11851] ppid=11849 vsize=270136 CPUtime=1495.7
/proc/11851/stat : 11851 (clasp-1.0) R 11849 11825 11399 0 -1 4194304 69074 0 0 0 149529 41 0 0 25 0 1 0 133240039 276619264 66956 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134741346 0 0 4096 0 0 0 0 17 1 0 0
/proc/11851/statm: 67534 66956 249 81 0 66908 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 296912

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 12049
/proc/meminfo: memFree=1443560/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=21424 CPUtime=46.09
/proc/11825/stat : 11825 (pbclasp) S 11823 11825 11399 0 -1 4194304 529596 183320 0 4 654 152 3743 60 16 0 1 0 133235425 21938176 2703 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11825/statm: 5356 2703 343 3 0 2456 0
[pid=11849] ppid=11825 vsize=5352 CPUtime=0
/proc/11849/stat : 11849 (sh) S 11825 11825 11399 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 133240038 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11849/statm: 1338 224 188 169 0 49 0
[pid=11851] ppid=11849 vsize=270136 CPUtime=1555.69
/proc/11851/stat : 11851 (clasp-1.0) R 11849 11825 11399 0 -1 4194304 69075 0 0 0 155528 41 0 0 25 0 1 0 133240039 276619264 66957 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/11851/statm: 67534 66957 249 81 0 66908 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 296912

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 12049
/proc/meminfo: memFree=1443624/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=21424 CPUtime=46.09
/proc/11825/stat : 11825 (pbclasp) S 11823 11825 11399 0 -1 4194304 529596 183320 0 4 654 152 3743 60 16 0 1 0 133235425 21938176 2703 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11825/statm: 5356 2703 343 3 0 2456 0
[pid=11849] ppid=11825 vsize=5352 CPUtime=0
/proc/11849/stat : 11849 (sh) S 11825 11825 11399 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 133240038 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11849/statm: 1338 224 188 169 0 49 0
[pid=11851] ppid=11849 vsize=270136 CPUtime=1615.67
/proc/11851/stat : 11851 (clasp-1.0) R 11849 11825 11399 0 -1 4194304 69078 0 0 0 161526 41 0 0 25 0 1 0 133240039 276619264 66960 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134781954 0 0 4096 0 0 0 0 17 1 0 0
/proc/11851/statm: 67534 66960 249 81 0 66908 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 296912

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 12049
/proc/meminfo: memFree=1425640/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=21424 CPUtime=46.09
/proc/11825/stat : 11825 (pbclasp) S 11823 11825 11399 0 -1 4194304 529596 183320 0 4 654 152 3743 60 16 0 1 0 133235425 21938176 2703 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11825/statm: 5356 2703 343 3 0 2456 0
[pid=11849] ppid=11825 vsize=5352 CPUtime=0
/proc/11849/stat : 11849 (sh) S 11825 11825 11399 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 133240038 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11849/statm: 1338 224 188 169 0 49 0
[pid=11851] ppid=11849 vsize=289124 CPUtime=1675.67
/proc/11851/stat : 11851 (clasp-1.0) R 11849 11825 11399 0 -1 4194304 73824 0 0 0 167522 45 0 0 25 0 1 0 133240039 296062976 71706 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0
/proc/11851/statm: 72281 71706 249 81 0 71655 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 315900

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 12049
/proc/meminfo: memFree=1412968/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=21424 CPUtime=46.09
/proc/11825/stat : 11825 (pbclasp) S 11823 11825 11399 0 -1 4194304 529596 183320 0 4 654 152 3743 60 16 0 1 0 133235425 21938176 2703 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11825/statm: 5356 2703 343 3 0 2456 0
[pid=11849] ppid=11825 vsize=5352 CPUtime=0
/proc/11849/stat : 11849 (sh) S 11825 11825 11399 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 133240038 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11849/statm: 1338 224 188 169 0 49 0
[pid=11851] ppid=11849 vsize=300920 CPUtime=1735.65
/proc/11851/stat : 11851 (clasp-1.0) R 11849 11825 11399 0 -1 4194304 76772 0 0 0 173518 47 0 0 25 0 1 0 133240039 308142080 74654 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134777558 0 0 4096 0 0 0 0 17 1 0 0
/proc/11851/statm: 75230 74654 249 81 0 74604 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 327696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 12049
/proc/meminfo: memFree=1412968/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=21424 CPUtime=46.09
/proc/11825/stat : 11825 (pbclasp) S 11823 11825 11399 0 -1 4194304 529596 183320 0 4 654 152 3743 60 16 0 1 0 133235425 21938176 2703 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11825/statm: 5356 2703 343 3 0 2456 0
[pid=11849] ppid=11825 vsize=5352 CPUtime=0
/proc/11849/stat : 11849 (sh) S 11825 11825 11399 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 133240038 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11849/statm: 1338 224 188 169 0 49 0
[pid=11851] ppid=11849 vsize=300920 CPUtime=1753.95
/proc/11851/stat : 11851 (clasp-1.0) R 11849 11825 11399 0 -1 4194304 76772 0 0 0 175348 47 0 0 25 0 1 0 133240039 308142080 74654 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/11851/statm: 75230 74654 249 81 0 74604 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 327696

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

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 12049
/proc/meminfo: memFree=1412968/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=21424 CPUtime=46.09
/proc/11825/stat : 11825 (pbclasp) S 11823 11825 11399 0 -1 4194304 529596 183320 0 4 654 152 3743 60 16 0 1 0 133235425 21938176 2703 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11825/statm: 5356 2703 343 3 0 2456 0
[pid=11849] ppid=11825 vsize=5352 CPUtime=0
/proc/11849/stat : 11849 (sh) S 11825 11825 11399 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 133240038 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11849/statm: 1338 224 188 169 0 49 0
[pid=11851] ppid=11849 vsize=300920 CPUtime=1753.95
/proc/11851/stat : 11851 (clasp-1.0) R 11849 11825 11399 0 -1 4194304 76772 0 0 0 175348 47 0 0 25 0 1 0 133240039 308142080 74654 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/11851/statm: 75230 74654 249 81 0 74604 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 327696

# WARNING:
# current cumulated CPU time (46.15 s) is less than in the last sample (1800.04 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (1753.89 s) to the 'lost time'.

[startup+1800.72 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 12049
/proc/meminfo: memFree=1412968/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=21424 CPUtime=46.15
/proc/11825/stat : 11825 (pbclasp) S 11823 11825 11399 0 -1 4194304 529759 185096 0 5 656 152 3743 64 16 0 1 0 133235425 21938176 2703 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11825/statm: 5356 2703 343 3 0 2456 0
Current children cumulated CPU time (s) 46.15
Current children cumulated vsize (KiB) 21424

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 12049
/proc/meminfo: memFree=1412968/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=21424 CPUtime=46.15
/proc/11825/stat : 11825 (pbclasp) S 11823 11825 11399 0 -1 4194304 529759 185096 0 5 656 152 3743 64 16 0 1 0 133235425 21938176 2703 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11825/statm: 5356 2703 343 3 0 2456 0
Current children cumulated CPU time (s) 46.15
Current children cumulated vsize (KiB) 21424

[startup+1802.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12060
/proc/meminfo: memFree=1696800/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=21424 CPUtime=46.15
/proc/11825/stat : 11825 (pbclasp) S 11823 11825 11399 0 -1 4194304 529759 185096 0 5 656 152 3743 64 16 0 1 0 133235425 21938176 2703 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11825/statm: 5356 2703 343 3 0 2456 0
[pid=12058] ppid=11825 vsize=5352 CPUtime=0
/proc/12058/stat : 12058 (sh) S 11825 11825 11399 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 133415496 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12058/statm: 1338 224 188 169 0 49 0
[pid=12060] ppid=12058 vsize=16924 CPUtime=1.47
/proc/12060/stat : 12060 (clasp-1.0) R 12058 11825 11399 0 -1 4194304 4332 0 0 0 146 1 0 0 25 0 1 0 133415497 17330176 3714 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617547 0 0 4096 0 0 0 0 17 1 0 0
/proc/12060/statm: 4231 3714 249 81 0 3605 0
Current children cumulated CPU time (s) 47.62
Current children cumulated vsize (KiB) 43700

[startup+1802.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 12060
/proc/meminfo: memFree=1696800/2055920 swapFree=4183872/4192956
[pid=11825] ppid=11823 vsize=21424 CPUtime=46.15
/proc/11825/stat : 11825 (pbclasp) S 11823 11825 11399 0 -1 4194304 529759 185096 0 5 656 152 3743 64 16 0 1 0 133235425 21938176 2703 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11825/statm: 5356 2703 343 3 0 2456 0
[pid=12058] ppid=11825 vsize=5352 CPUtime=0
/proc/12058/stat : 12058 (sh) S 11825 11825 11399 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 133415496 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12058/statm: 1338 224 188 169 0 49 0
[pid=12060] ppid=12058 vsize=16924 CPUtime=1.87
/proc/12060/stat : 12060 (clasp-1.0) R 12058 11825 11399 0 -1 4194304 4336 0 0 0 186 1 0 0 25 0 1 0 133415497 17330176 3718 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617687 0 0 4096 0 0 0 0 17 1 0 0
/proc/12060/statm: 4231 3718 249 81 0 3605 0
Current children cumulated CPU time (s) 48.02
Current children cumulated vsize (KiB) 43700

Child ended because it received signal 9 (SIGKILL)

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1753.89
#  lost CPU user time (s): 1753.46
#  lost CPU system time (s): 0.43

Real time (s): 1802.64
CPU time (s): 1801.99
CPU user time (s): 1799.36
CPU system time (s): 2.62966
CPU usage (%): 99.9639
Max. virtual memory (cumulated for all children) (KiB): 327696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.899
system time used= 2.19966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 721362
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2608
involuntary context switches= 832

runsolver used 2.24166 second user time and 4.27335 second system time

The end

Launcher Data (download as text)

Begin job on node65 on Sat Apr 14 17:40:58 UTC 2007

IDJOB= 351009
IDBENCH= 1631
IDSOLVER= 167
FILE ID= node65/351009-1176572458

PBS_JOBID= 4556916

Free space on /tmp= 66562 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-core4872-1529.opb
COMMAND LINE= pbclasp instance-351009-1176572458.opb /tmp/evaluation/351009-1176572458/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node65/convwatcher-351009-1176572458 -o ROOT/results/node65/conversion-351009-1176572458 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351009-1176572458/instance-351009-1176572458.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node65/watcher-351009-1176572458 -o ROOT/results/node65/solver-351009-1176572458 -C 1800 -W 3600 -M 1800 --output-limit 1,15  pbclasp instance-351009-1176572458.opb /tmp/evaluation/351009-1176572458/temp

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  f76080fd01118b16218a90da3c643655

RANDOM SEED= 135929079

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node65.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.245
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.245
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1727312 kB
Buffers:         41264 kB
Cached:         215492 kB
SwapCached:       3616 kB
Active:         181372 kB
Inactive:        86512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1727312 kB
SwapTotal:     4192956 kB
SwapFree:      4183872 kB
Dirty:            2532 kB
Writeback:           0 kB
Mapped:          16428 kB
Slab:            46780 kB
Committed_AS:   123900 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node65 on Sat Apr 14 18:11:01 UTC 2007