Trace number 350853

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)954 1802.06 1802.23

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-core4284-1064.opb
MD5SUMeb3ec27dc8137302430c8b48ccd8a471
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark909
Best CPU time to get the best result obtained on this benchmark1801.4
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 907
Optimality of the best value was proved NO
Number of variables21705
Total number of constraints4285
Number of constraints which are clauses4284
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 constraint15760
Number of terms in the objective function 21705
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 21705
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 25016
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)

21.89/21.91	o 1077
34.87/34.97	o 956
92.33/92.40	o 955
1190.09/1190.20	o 954
1800.08/1800.21	c Somebody sent me a SIGTERM
1800.08/1800.21	s SATISFIABLE
1800.08/1800.21	v x23 x40 x192 x228 x343 x407 x426 x461 x489 x515 x548 x563 x664 x820 x846 x880 x917 x1014 x1070 x1200 x1272 x1287 x1299 x1313
1800.08/1800.21	v x1371 x1387 x1418 x1430 x1461 x1539 x1561 x1601 x1667 x1737 x1865 x1879 x1912 x1931 x1949 x1955 x1979 x2005 x2007 x2036 x2038
1800.08/1800.21	v x2050 x2070 x2079 x2080 x2095 x2113 x2144 x2154 x2176 x2201 x2228 x2306 x2309 x2488 x2564 x2606 x2609 x2641 x2688 x2713 x2734
1800.08/1800.21	v x2769 x2821 x2840 x2860 x2882 x2897 x2956 x2963 x2993 x3013 x3022 x3052 x3074 x3095 x3113 x3136 x3139 x3142 x3215 x3230 x3241
1800.08/1800.21	v x3275 x3288 x3302 x3378 x3485 x3512 x3544 x3567 x3571 x3588 x3600 x3614 x3624 x3642 x3648 x3685 x3700 x3720 x3748 x3780 x3802
1800.08/1800.21	v x3813 x3821 x3838 x3855 x3882 x3907 x3951 x3971 x4012 x4023 x4062 x4065 x4072 x4090 x4106 x4128 x4169 x4177 x4190 x4199 x4248
1800.08/1800.21	v x4258 x4261 x4283 x4316 x4331 x4336 x4361 x4366 x4392 x4408 x4431 x4438 x4455 x4474 x4484 x4489 x4504 x4519 x4555 x4571 x4586
1800.08/1800.21	v x4663 x4678 x4700 x4724 x4796 x4979 x5011 x5017 x5127 x5161 x5174 x5186 x5198 x5207 x5253 x5273 x5301 x5383 x5408 x5437 x5455
1800.08/1800.21	v x5480 x5506 x5517 x5544 x5569 x5655 x5701 x5808 x5865 x5895 x5916 x5949 x5996 x6021 x6061 x6207 x6288 x6379 x6399 x6573 x6613
1800.08/1800.21	v x6623 x6705 x6774 x6781 x6800 x6810 x6832 x6875 x6954 x7100 x7193 x7524 x7569 x7616 x7620 x7661 x7735 x7765 x7825 x7841 x7948
1800.08/1800.21	v x7950 x8173 x8226 x8328 x8404 x8475 x8535 x8620 x8643 x8705 x8732 x8868 x8872 x8911 x8918 x8939 x8985 x9022 x9036 x9091 x9115
1800.08/1800.21	v x9184 x9303 x9327 x9351 x9425 x9586 x9591 x9627 x9708 x9725 x9873 x9874 x9934 x9954 x9974 x9979 x10006 x10035 x10066 x10134
1800.08/1800.21	v x10147 x10170 x10355 x10381 x10383 x10401 x10411 x10717 x10728 x10924 x11009 x11011 x11077 x11144 x11174 x11177 x11311
1800.08/1800.21	v x11315 x11334 x11361 x11389 x11425 x11455 x11499 x11575 x11596 x11639 x11696 x11718 x11730 x11856 x11864 x11904 x11911
1800.08/1800.21	v x11962 x11967 x11986 x12052 x12058 x12086 x12098 x12148 x12166 x12169 x12200 x12313 x12423 x12429 x12433 x12438 x12451
1800.08/1800.21	v x12478 x12494 x12505 x12598 x12625 x12679 x12687 x12735 x12738 x12744 x12745 x12760 x12769 x12814 x12828 x12843 x12847
1800.08/1800.21	v x12947 x13060 x13063 x13082 x13095 x13157 x13182 x13190 x13210 x13226 x13227 x13249 x13276 x13303 x13331 x13332 x13364
1800.08/1800.21	v x13394 x13397 x13416 x13427 x13480 x13526 x13566 x13575 x13604 x13608 x13612 x13618 x13646 x13711 x13730 x13819 x13826
1800.08/1800.21	v x13837 x13958 x14036 x14075 x14087 x14092 x14116 x14124 x14134 x14160 x14172 x14220 x14225 x14236 x14246 x14258 x14268
1800.08/1800.21	v x14335 x14356 x14425 x14427 x14536 x14551 x14600 x14707 x14711 x14760 x14763 x14810 x14813 x14852 x14860 x14952 x14955
1800.08/1800.21	v x14976 x14999 x15009 x15021 x15103 x15114 x15116 x15134 x15178 x15204 x15266 x15272 x15276 x15283 x15284 x15288 x15306
1800.08/1800.21	v x15329 x15367 x15369 x15376 x15383 x15387 x15388 x15435 x15457 x15472 x15486 x15502 x15528 x15553 x15567 x15657 x15663
1800.08/1800.21	v x15664 x15693 x15732 x15735 x15739 x15765 x15783 x15784 x15813 x15842 x15846 x15848 x15874 x15925 x15955 x16008 x16025
1800.08/1800.21	v x16067 x16076 x16090 x16105 x16115 x16117 x16131 x16139 x16156 x16162 x16166 x16170 x16181 x16192 x16201 x16218 x16223
1800.08/1800.21	v x16233 x16270 x16279 x16284 x16288 x16293 x16309 x16315 x16323 x16326 x16333 x16349 x16355 x16359 x16379 x16385 x16421
1800.08/1800.21	v x16422 x16445 x16475 x16483 x16508 x16514 x16524 x16525 x16529 x16538 x16546 x16553 x16564 x16573 x16622 x16623 x16628
1800.08/1800.21	v x16635 x16639 x16653 x16654 x16657 x16675 x16678 x16704 x16746 x16748 x16757 x16760 x16771 x16780 x16786 x16793 x16798
1800.08/1800.21	v x16799 x16804 x16814 x16821 x16825 x16830 x16831 x16833 x16840 x16841 x16855 x16868 x16954 x16956 x16963 x17008 x17011
1800.08/1800.21	v x17016 x17031 x17036 x17072 x17078 x17103 x17111 x17131 x17133 x17150 x17163 x17170 x17200 x17204 x17211 x17214 x17215
1800.08/1800.21	v x17216 x17220 x17222 x17228 x17230 x17233 x17237 x17243 x17250 x17259 x17263 x17293 x17303 x17323 x17335 x17351 x17356
1800.08/1800.21	v x17358 x17407 x17408 x17415 x17442 x17458 x17476 x17490 x17494 x17509 x17514 x17518 x17528 x17534 x17537 x17546 x17550
1800.08/1800.21	v x17559 x17564 x17566 x17574 x17591 x17596 x17599 x17607 x17609 x17620 x17624 x17630 x17676 x17680 x17689 x17690 x17702
1800.08/1800.21	v x17717 x17720 x17736 x17739 x17747 x17759 x17782 x17794 x17827 x17838 x17889 x17890 x17911 x17913 x17928 x17952 x17981
1800.08/1800.21	v x17986 x18025 x18062 x18084 x18134 x18154 x18162 x18166 x18295 x18308 x18380 x18389 x18406 x18422 x18432 x18521 x18526
1800.08/1800.21	v x18528 x18539 x18553 x18555 x18568 x18580 x18624 x18626 x18657 x18668 x18674 x18681 x18714 x18715 x18755 x18761 x18783
1800.08/1800.21	v x18784 x18788 x18790 x18821 x18836 x18839 x18840 x18844 x18849 x18868 x18872 x18902 x18910 x18911 x18915 x18924 x18937
1800.08/1800.21	v x18955 x18960 x18970 x18980 x18983 x18992 x18994 x19006 x19013 x19021 x19030 x19035 x19039 x19040 x19041 x19044 x19059
1800.08/1800.21	v x19108 x19113 x19197 x19200 x19202 x19211 x19213 x19216 x19221 x19226 x19237 x19239 x19242 x19278 x19280 x19288 x19299
1800.08/1800.21	v x19314 x19319 x19333 x19343 x19345 x19359 x19365 x19367 x19383 x19397 x19398 x19404 x19414 x19426 x19440 x19441 x19449
1800.08/1800.21	v x19450 x19453 x19472 x19487 x19491 x19499 x19510 x19518 x19527 x19540 x19546 x19559 x19561 x19571 x19573 x19598 x19603
1800.08/1800.21	v x19605 x19621 x19625 x19645 x19651 x19652 x19654 x19666 x19667 x19679 x19680 x19685 x19687 x19688 x19690 x19696 x19698
1800.08/1800.21	v x19712 x19721 x19725 x19731 x19738 x19752 x19761 x19786 x19794 x19795 x19797 x19806 x19815 x19821 x19824 x19837 x19838
1800.08/1800.21	v x19841 x19854 x19859 x19868 x19873 x19881 x19883 x19893 x19911 x19925 x19928 x19930 x19933 x19935 x19948 x19960 x19961
1800.08/1800.21	v x19965 x19968 x19971 x19983 x19987 x19994 x19995 x19999 x20004 x20012 x20013 x20017 x20019 x20022 x20025 x20029 x20034
1800.08/1800.21	v x20037 x20057 x20061 x20066 x20067 x20071 x20076 x20078 x20081 x20082 x20203 x20216 x20264 x20272 x20307 x20309 x20336
1800.08/1800.21	v x20354 x20423 x20447 x20469 x20479 x20482 x20500 x20528 x20532 x20545 x20546 x20548 x20549 x20550 x20552 x20554 x20558
1800.08/1800.21	v x20613 x20681 x20694 x20698 x20700 x20703 x20713 x20714 x20727 x20730 x20745 x20747 x20749 x20753 x20756 x20758 x20762
1800.08/1800.21	v x20764 x20773 x20774 x20775 x20778 x20791 x20802 x20810 x20816 x20826 x20828 x20831 x20832 x20835 x20847 x20854 x20859
1800.08/1800.21	v x20860 x20869 x20873 x20877 x20879 x20898 x20911 x20934 x20952 x20959 x20992 x21000 x21005 x21015 x21018 x21037 x21042
1800.08/1800.21	v x21045 x21054 x21061 x21086 x21096 x21104 x21107 x21116 x21132 x21134 x21139 x21158 x21164 x21166 x21176 x21179 x21181
1800.08/1800.21	v x21187 x21190 x21191 x21194 x21215 x21234 x21238 x21246 x21249 x21262 x21272 x21274 x21329 x21331 x21340 x21350 x21359
1800.08/1800.21	v x21367 x21374 x21397 x21400 x21402 x21411 x21431 x21449 x21457 x21473 x21484 x21523 x21541 x21601 x21606 x21611 x21617
1800.08/1800.21	v x21619 x21625 x21631 x21634 x21635 x21640 x21643 x21652 x21657 x21664 x21668 x21669 x21673 x21680 x21681 x21683 x21685
1800.08/1800.21	v x21689 x21701 x21703
1800.08/1800.22	pb2clasp1: no process killed
1192.10/1802.22	sh: line 1: 32560 Done                    cat /tmp/evaluation/350853-1176562778/temp/instance-350853-1176562778.opb.op
1192.10/1802.22	     32561 Killed                  | clasp-1.0 --trans=no >/tmp/evaluation/350853-1176562778/temp/instance-350853-1176562778.opb.clasp

Verifier Data (download as text)

OK	954

Conversion Script Data (download as text)

/tmp/evaluation/350853-1176562778/instance-350853-1176562778.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/node16/watcher-350853-1176562778 -o ROOT/results/node16/solver-350853-1176562778 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-350853-1176562778.opb /tmp/evaluation/350853-1176562778/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.78 0.95 0.98 3/77 32310
/proc/meminfo: memFree=1825872/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=12268 CPUtime=0
/proc/32310/stat : 32310 (pbclasp) R 32308 32310 32227 0 -1 4194304 405 0 0 0 0 0 0 0 18 0 1 0 104195497 12562432 372 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231980085408 0 0 4224 0 0 0 0 17 1 0 0
/proc/32310/statm: 3067 376 286 3 0 167 0

[startup+0.020394 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 32310
/proc/meminfo: memFree=1825872/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=13188 CPUtime=0.01
/proc/32310/stat : 32310 (pbclasp) R 32308 32310 32227 0 -1 4194304 658 0 0 0 1 0 0 0 18 0 1 0 104195497 13504512 624 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231962219233 0 0 4224 16384 0 0 0 17 1 0 0
/proc/32310/statm: 3297 625 314 3 0 397 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13188

[startup+0.101317 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 32310
/proc/meminfo: memFree=1825872/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=14480 CPUtime=0.09
/proc/32310/stat : 32310 (pbclasp) R 32308 32310 32227 0 -1 4194304 7598 0 0 0 7 2 0 0 18 0 1 0 104195497 14827520 929 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231962252714 0 0 4224 16384 0 0 0 17 1 0 0
/proc/32310/statm: 3620 941 320 3 0 720 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14480

[startup+0.301276 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 32310
/proc/meminfo: memFree=1825872/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=14480 CPUtime=0.29
/proc/32310/stat : 32310 (pbclasp) R 32308 32310 32227 0 -1 4194304 25011 0 0 0 22 7 0 0 20 0 1 0 104195497 14827520 942 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231962252714 0 0 4224 16384 0 0 0 17 1 0 0
/proc/32310/statm: 3620 953 320 3 0 720 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14480

[startup+0.701194 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 32310
/proc/meminfo: memFree=1825872/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=14604 CPUtime=0.69
/proc/32310/stat : 32310 (pbclasp) R 32308 32310 32227 0 -1 4194304 59828 0 0 0 51 18 0 0 24 0 1 0 104195497 14954496 992 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231962252714 0 0 4224 16384 0 0 0 17 1 0 0
/proc/32310/statm: 3651 992 320 3 0 751 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14604

[startup+1.50103 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 32311
/proc/meminfo: memFree=1822984/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=14856 CPUtime=1.49
/proc/32310/stat : 32310 (pbclasp) R 32308 32310 32227 0 -1 4194304 129506 0 0 0 111 38 0 0 25 0 1 0 104195497 15212544 1056 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231962252714 0 0 4224 16384 0 0 0 17 1 0 0
/proc/32310/statm: 3714 1056 320 3 0 814 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14856

[startup+3.1017 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 32311
/proc/meminfo: memFree=1822472/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=15540 CPUtime=3.1
/proc/32310/stat : 32310 (pbclasp) R 32308 32310 32227 0 -1 4194304 268150 0 0 0 237 73 0 0 25 0 1 0 104195497 15912960 1210 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231962252714 0 0 4224 16384 0 0 0 17 1 0 0
/proc/32310/statm: 3885 1210 320 3 0 985 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 15540

[startup+6.30104 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 32311
/proc/meminfo: memFree=1820232/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=18372 CPUtime=5.78
/proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 337538 0 0 0 488 90 0 0 16 0 1 0 104195497 18812928 1942 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/32310/statm: 4593 1942 324 3 0 1693 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 18372

[startup+12.7017 s]
/proc/loadavg: 0.81 0.95 0.98 2/80 32320
/proc/meminfo: memFree=1804664/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=20352 CPUtime=11.14
/proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 338750 69646 0 0 494 91 507 22 16 0 1 0 104195497 20840448 2440 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/32310/statm: 5088 2440 343 3 0 2188 0
[pid=32318] ppid=32310 vsize=5352 CPUtime=0
/proc/32318/stat : 32318 (sh) S 32310 32310 32227 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 104196613 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32318/statm: 1338 224 188 169 0 49 0
[pid=32320] ppid=32318 vsize=15908 CPUtime=1.52
/proc/32320/stat : 32320 (clasp-1.0) R 32318 32310 32227 0 -1 4194304 3766 0 0 0 150 2 0 0 25 0 1 0 104196614 16289792 3527 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733893 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 3977 3527 249 81 0 3351 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 41612

[startup+25.5011 s]
/proc/loadavg: 0.85 0.95 0.98 2/80 32328
/proc/meminfo: memFree=1798008/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=20352 CPUtime=21.95
/proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 339526 74828 0 0 497 91 1578 29 17 0 1 0 104195497 20840448 2453 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/32310/statm: 5088 2453 343 3 0 2188 0
[pid=32326] ppid=32310 vsize=5352 CPUtime=0
/proc/32326/stat : 32326 (sh) S 32310 32310 32227 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104197693 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32326/statm: 1338 224 188 169 0 49 0
[pid=32328] ppid=32326 vsize=16464 CPUtime=3.53
/proc/32328/stat : 32328 (clasp-1.0) R 32326 32310 32227 0 -1 4194304 4054 0 0 0 352 1 0 0 25 0 1 0 104197693 16859136 3686 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617678 0 0 4096 0 0 0 0 17 1 0 0
/proc/32328/statm: 4116 3686 249 81 0 3490 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42168

[startup+51.1018 s]
/proc/loadavg: 0.90 0.96 0.98 2/80 32336
/proc/meminfo: memFree=1797296/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=20352 CPUtime=35
/proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340211 80385 0 0 500 91 2876 33 16 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/32310/statm: 5088 2454 343 3 0 2188 0
[pid=32334] ppid=32310 vsize=5352 CPUtime=0
/proc/32334/stat : 32334 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 15 0 1 0 104199002 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32334/statm: 1338 224 188 169 0 49 0
[pid=32336] ppid=32334 vsize=17212 CPUtime=16.02
/proc/32336/stat : 32336 (clasp-1.0) R 32334 32310 32227 0 -1 4194304 4226 0 0 0 1600 2 0 0 25 0 1 0 104199003 17625088 3858 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617504 0 0 4096 0 0 0 0 17 1 0 0
/proc/32336/statm: 4303 3858 249 81 0 3677 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 42916

[startup+102.305 s]
/proc/loadavg: 0.96 0.96 0.98 2/86 32452
/proc/meminfo: memFree=1796344/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=20352 CPUtime=92.38
/proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340836 98198 0 0 503 92 8596 47 16 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/32310/statm: 5088 2454 343 3 0 2188 0
[pid=32416] ppid=32310 vsize=5352 CPUtime=0
/proc/32416/stat : 32416 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104204743 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32416/statm: 1338 224 188 169 0 49 0
[pid=32418] ppid=32416 vsize=16464 CPUtime=9.81
/proc/32418/stat : 32418 (clasp-1.0) R 32416 32310 32227 0 -1 4194304 4101 0 0 0 979 2 0 0 25 0 1 0 104204743 16859136 3733 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733886 0 0 4096 0 0 0 0 17 1 0 0
/proc/32418/statm: 4116 3733 249 81 0 3490 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 42168

[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.98 2/80 32542
/proc/meminfo: memFree=1718832/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=20352 CPUtime=92.38
/proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340836 98198 0 0 503 92 8596 47 16 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/32310/statm: 5088 2454 343 3 0 2188 0
[pid=32416] ppid=32310 vsize=5352 CPUtime=0
/proc/32416/stat : 32416 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104204743 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32416/statm: 1338 224 188 169 0 49 0
[pid=32418] ppid=32416 vsize=95184 CPUtime=69.76
/proc/32418/stat : 32418 (clasp-1.0) R 32416 32310 32227 0 -1 4194304 23752 0 0 0 6964 12 0 0 25 0 1 0 104204743 97468416 23384 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134740921 0 0 4096 0 0 0 0 17 1 0 0
/proc/32418/statm: 23796 23384 249 81 0 23170 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 120888

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 32542
/proc/meminfo: memFree=1680816/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=20352 CPUtime=92.38
/proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340836 98198 0 0 503 92 8596 47 16 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/32310/statm: 5088 2454 343 3 0 2188 0
[pid=32416] ppid=32310 vsize=5352 CPUtime=0
/proc/32416/stat : 32416 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104204743 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32416/statm: 1338 224 188 169 0 49 0
[pid=32418] ppid=32416 vsize=133320 CPUtime=129.76
/proc/32418/stat : 32418 (clasp-1.0) R 32416 32310 32227 0 -1 4194304 33257 0 0 0 12957 19 0 0 25 0 1 0 104204743 136519680 32889 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784653 0 0 4096 0 0 0 0 17 1 0 0
/proc/32418/statm: 33330 32889 249 81 0 32704 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 159024

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 32542
/proc/meminfo: memFree=1654896/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=20352 CPUtime=92.38
/proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340836 98198 0 0 503 92 8596 47 16 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/32310/statm: 5088 2454 343 3 0 2188 0
[pid=32416] ppid=32310 vsize=5352 CPUtime=0
/proc/32416/stat : 32416 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104204743 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32416/statm: 1338 224 188 169 0 49 0
[pid=32418] ppid=32416 vsize=159272 CPUtime=189.76
/proc/32418/stat : 32418 (clasp-1.0) R 32416 32310 32227 0 -1 4194304 39745 0 0 0 18953 23 0 0 25 0 1 0 104204743 163094528 39377 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737280 0 0 4096 0 0 0 0 17 1 0 0
/proc/32418/statm: 39818 39377 249 81 0 39192 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 184976

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 32542
/proc/meminfo: memFree=1654832/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=20352 CPUtime=92.38
/proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340836 98198 0 0 503 92 8596 47 16 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/32310/statm: 5088 2454 343 3 0 2188 0
[pid=32416] ppid=32310 vsize=5352 CPUtime=0
/proc/32416/stat : 32416 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104204743 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32416/statm: 1338 224 188 169 0 49 0
[pid=32418] ppid=32416 vsize=159272 CPUtime=249.77
/proc/32418/stat : 32418 (clasp-1.0) R 32416 32310 32227 0 -1 4194304 39751 0 0 0 24953 24 0 0 25 0 1 0 104204743 163094528 39383 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/32418/statm: 39818 39383 249 81 0 39192 0

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


[startup+1602.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/80 32550
/proc/meminfo: memFree=1647352/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=20352 CPUtime=1190.13
/proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340984 157178 0 0 506 92 118320 95 17 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/32310/statm: 5088 2454 343 3 0 2188 0
[pid=32548] ppid=32310 vsize=5352 CPUtime=0
/proc/32548/stat : 32548 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104314523 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32548/statm: 1338 224 188 169 0 49 0
[pid=32550] ppid=32548 vsize=166416 CPUtime=412.04
/proc/32550/stat : 32550 (clasp-1.0) R 32548 32310 32227 0 -1 4194304 41533 0 0 0 41177 27 0 0 25 0 1 0 104314523 170409984 41165 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/32550/statm: 41604 41165 249 81 0 40978 0
Current children cumulated CPU time (s) 1602.17
Current children cumulated vsize (KiB) 192120

[startup+1662.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/80 32550
/proc/meminfo: memFree=1637752/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=20352 CPUtime=1190.13
/proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340984 157178 0 0 506 92 118320 95 17 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/32310/statm: 5088 2454 343 3 0 2188 0
[pid=32548] ppid=32310 vsize=5352 CPUtime=0
/proc/32548/stat : 32548 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104314523 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32548/statm: 1338 224 188 169 0 49 0
[pid=32550] ppid=32548 vsize=175956 CPUtime=472.04
/proc/32550/stat : 32550 (clasp-1.0) R 32548 32310 32227 0 -1 4194304 43918 0 0 0 47175 29 0 0 25 0 1 0 104314523 180178944 43550 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715322 0 0 4096 0 0 0 0 17 1 0 0
/proc/32550/statm: 43989 43550 249 81 0 43363 0
Current children cumulated CPU time (s) 1662.17
Current children cumulated vsize (KiB) 201660

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 32550
/proc/meminfo: memFree=1635192/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=20352 CPUtime=1190.13
/proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340984 157178 0 0 506 92 118320 95 17 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/32310/statm: 5088 2454 343 3 0 2188 0
[pid=32548] ppid=32310 vsize=5352 CPUtime=0
/proc/32548/stat : 32548 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104314523 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32548/statm: 1338 224 188 169 0 49 0
[pid=32550] ppid=32548 vsize=179004 CPUtime=532.04
/proc/32550/stat : 32550 (clasp-1.0) R 32548 32310 32227 0 -1 4194304 44703 0 0 0 53174 30 0 0 25 0 1 0 104314523 183300096 44299 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 1 0 0
/proc/32550/statm: 44751 44299 249 81 0 44125 0
Current children cumulated CPU time (s) 1722.17
Current children cumulated vsize (KiB) 204708

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 32550
/proc/meminfo: memFree=1627832/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=20352 CPUtime=1190.13
/proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340984 157178 0 0 506 92 118320 95 17 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/32310/statm: 5088 2454 343 3 0 2188 0
[pid=32548] ppid=32310 vsize=5352 CPUtime=0
/proc/32548/stat : 32548 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104314523 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32548/statm: 1338 224 188 169 0 49 0
[pid=32550] ppid=32548 vsize=185732 CPUtime=592.05
/proc/32550/stat : 32550 (clasp-1.0) R 32548 32310 32227 0 -1 4194304 46449 0 0 0 59173 32 0 0 25 0 1 0 104314523 190189568 45983 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/32550/statm: 46433 45983 249 81 0 45807 0
Current children cumulated CPU time (s) 1782.18
Current children cumulated vsize (KiB) 211436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 32550
/proc/meminfo: memFree=1627832/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=20352 CPUtime=1190.13
/proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340984 157178 0 0 506 92 118320 95 17 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/32310/statm: 5088 2454 343 3 0 2188 0
[pid=32548] ppid=32310 vsize=5352 CPUtime=0
/proc/32548/stat : 32548 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104314523 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32548/statm: 1338 224 188 169 0 49 0
[pid=32550] ppid=32548 vsize=185732 CPUtime=609.95
/proc/32550/stat : 32550 (clasp-1.0) R 32548 32310 32227 0 -1 4194304 46449 0 0 0 60963 32 0 0 25 0 1 0 104314523 190189568 45983 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715278 0 0 4096 0 0 0 0 17 1 0 0
/proc/32550/statm: 46433 45983 249 81 0 45807 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 211436

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

[startup+1800.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 32550
/proc/meminfo: memFree=1627832/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=20352 CPUtime=1190.13
/proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 340984 157178 0 0 506 92 118320 95 17 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/32310/statm: 5088 2454 343 3 0 2188 0
[pid=32548] ppid=32310 vsize=5352 CPUtime=0
/proc/32548/stat : 32548 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104314523 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32548/statm: 1338 224 188 169 0 49 0
[pid=32550] ppid=32548 vsize=185732 CPUtime=609.95
/proc/32550/stat : 32550 (clasp-1.0) R 32548 32310 32227 0 -1 4194304 46449 0 0 0 60963 32 0 0 25 0 1 0 104314523 190189568 45983 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715278 0 0 4096 0 0 0 0 17 1 0 0
/proc/32550/statm: 46433 45983 249 81 0 45807 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 211436

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

[startup+1800.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 32550
/proc/meminfo: memFree=1627832/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=20352 CPUtime=1190.2
/proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 341155 158962 0 0 508 92 118321 99 16 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/32310/statm: 5088 2454 343 3 0 2188 0
Current children cumulated CPU time (s) 1190.2
Current children cumulated vsize (KiB) 20352

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 32561
/proc/meminfo: memFree=1807200/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=20352 CPUtime=1190.2
/proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 341155 158962 0 0 508 92 118321 99 16 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/32310/statm: 5088 2454 343 3 0 2188 0
[pid=32559] ppid=32310 vsize=5352 CPUtime=0
/proc/32559/stat : 32559 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104375524 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32559/statm: 1338 224 188 169 0 49 0
[pid=32561] ppid=32559 vsize=16464 CPUtime=1.1
/proc/32561/stat : 32561 (clasp-1.0) R 32559 32310 32227 0 -1 4194304 4018 0 0 0 109 1 0 0 25 0 1 0 104375525 16859136 3650 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/32561/statm: 4116 3650 249 81 0 3490 0
Current children cumulated CPU time (s) 1191.3
Current children cumulated vsize (KiB) 42168

[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 32561
/proc/meminfo: memFree=1797352/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=20352 CPUtime=1190.2
/proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 341155 158962 0 0 508 92 118321 99 16 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/32310/statm: 5088 2454 343 3 0 2188 0
[pid=32559] ppid=32310 vsize=5352 CPUtime=0
/proc/32559/stat : 32559 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104375524 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32559/statm: 1338 224 188 169 0 49 0
[pid=32561] ppid=32559 vsize=16464 CPUtime=1.51
/proc/32561/stat : 32561 (clasp-1.0) R 32559 32310 32227 0 -1 4194304 4025 0 0 0 150 1 0 0 25 0 1 0 104375525 16859136 3657 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617689 0 0 4096 0 0 0 0 17 1 0 0
/proc/32561/statm: 4116 3657 249 81 0 3490 0
Current children cumulated CPU time (s) 1191.71
Current children cumulated vsize (KiB) 42168

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 32561
/proc/meminfo: memFree=1797352/2055920 swapFree=4191880/4192956
[pid=32310] ppid=32308 vsize=20352 CPUtime=1190.2
/proc/32310/stat : 32310 (pbclasp) S 32308 32310 32227 0 -1 4194304 341155 158962 0 0 508 92 118321 99 16 0 1 0 104195497 20840448 2454 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/32310/statm: 5088 2454 343 3 0 2188 0
[pid=32559] ppid=32310 vsize=5352 CPUtime=0
/proc/32559/stat : 32559 (sh) S 32310 32310 32227 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104375524 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32559/statm: 1338 224 188 169 0 49 0
[pid=32561] ppid=32559 vsize=16464 CPUtime=1.9
/proc/32561/stat : 32561 (clasp-1.0) R 32559 32310 32227 0 -1 4194304 4028 0 0 0 189 1 0 0 25 0 1 0 104375525 16859136 3660 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617549 0 0 4096 0 0 0 0 17 1 0 0
/proc/32561/statm: 4116 3660 249 81 0 3490 0
Current children cumulated CPU time (s) 1192.1
Current children cumulated vsize (KiB) 42168

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): 609.88
#  lost CPU user time (s): 609.6
#  lost CPU system time (s): 0.28

Real time (s): 1802.23
CPU time (s): 1802.06
CPU user time (s): 1799.82
CPU system time (s): 2.2377
CPU usage (%): 99.9901
Max. virtual memory (cumulated for all children) (KiB): 255972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1190.22
system time used= 1.9577
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 506181
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4033
involuntary context switches= 12189

runsolver used 1.85372 second user time and 4.70928 second system time

The end

Launcher Data (download as text)

Begin job on node16 on Sat Apr 14 14:59:38 UTC 2007

IDJOB= 350853
IDBENCH= 1600
IDSOLVER= 167
FILE ID= node16/350853-1176562778

PBS_JOBID= 4556772

Free space on /tmp= 66518 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-core4284-1064.opb
COMMAND LINE= pbclasp instance-350853-1176562778.opb /tmp/evaluation/350853-1176562778/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node16/convwatcher-350853-1176562778 -o ROOT/results/node16/conversion-350853-1176562778 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350853-1176562778/instance-350853-1176562778.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  eb3ec27dc8137302430c8b48ccd8a471

RANDOM SEED= 128592572

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node16.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.232
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.232
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:       1826280 kB
Buffers:         28252 kB
Cached:          93232 kB
SwapCached:        440 kB
Active:          65876 kB
Inactive:       110084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1826280 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            2952 kB
Writeback:           0 kB
Mapped:          71600 kB
Slab:            39188 kB
Committed_AS:  2640320 kB
PageTables:       1836 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= 66514 MiB

End job on node16 on Sat Apr 14 15:29:41 UTC 2007