Trace number 350957

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)7247 1801.94 1802.74

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-dc1l.opb
MD5SUM1bfc65237e0980827bf136f13870d50e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark997
Best CPU time to get the best result obtained on this benchmark1782.78
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 997
Optimality of the best value was proved NO
Number of variables85198
Total number of constraints1652
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 constraints1652
Minimum length of a constraint31
Maximum length of a constraint35129
Number of terms in the objective function 85198
Biggest coefficient in the objective function 41346
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 607077
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 607077
Number of bits of the biggest sum of numbers20
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)

258.45/258.62	o 13319
354.32/354.52	o 11252
450.71/450.92	o 10218
546.15/546.45	o 9701
641.93/642.20	o 9443
737.38/737.77	o 9314
833.64/834.04	o 9249
930.12/930.52	o 9217
1025.59/1026.09	o 9201
1121.35/1121.86	o 9193
1218.00/1218.56	o 9189
1314.09/1314.67	o 9187
1410.16/1410.75	o 9185
1505.62/1506.27	o 8151
1601.49/1602.11	o 7634
1697.06/1697.76	o 7376
1792.72/1793.44	o 7247
1800.03/1800.72	c Somebody sent me a SIGTERM
1800.03/1800.72	s SATISFIABLE
1800.03/1800.72	v x12 x42 x342 x432 x462 x492 x523 x612 x613 x642 x672 x702 x793 x794 x882 x1212 x1242 x1362 x1392 x1422 x1452 x1482 x1992 x2022
1800.03/1800.72	v x2202 x2232 x2322 x2352 x2652 x2682 x3132 x3162 x3402 x3612 x3642 x3732 x4842 x4872 x4902 x4962 x5382 x5442 x5443 x5504 x5563
1800.03/1800.72	v x5682 x5683 x5863 x5952 x5953 x5982 x6012 x6042 x6072 x6672 x6792 x6822 x7032 x7062 x7152 x7214 x7242 x7243 x7302 x7333 x7362
1800.03/1800.72	v x7572 x8982 x9012 x9642 x9672 x9732 x10032 x10092 x10362 x10422 x10512 x10542 x10723 x10753 x10783 x10932 x10933 x11684
1800.03/1800.72	v x11714 x11802 x11832 x11952 x11982 x12013 x12043 x12132 x12162 x12192 x12223 x12253 x12372 x12402 x12432 x12434 x12462
1800.03/1800.72	v x12464 x12792 x12822 x12852 x12853 x12882 x12883 x13092 x13182 x13184 x13212 x13362 x13392 x13422 x13452 x13453 x13483
1800.03/1800.72	v x13512 x13602 x13603 x13634 x13723 x13724 x13753 x13754 x13782 x13784 x13842 x13843 x13962 x14172 x14202 x14562 x14652
1800.03/1800.72	v x14653 x14682 x14772 x14773 x14802 x14803 x14893 x15132 x15135 x15165 x15193 x15194 x15195 x15223 x15224 x15282 x15283
1800.03/1800.72	v x15284 x15312 x15402 x15433 x15702 x15704 x15732 x15733 x15822 x15823 x17713 x17743 x17773 x17952 x17982 x18013 x18043
1800.03/1800.72	v x18072 x18102 x18132 x18162 x18222 x18252 x18283 x18313 x18342 x18343 x18372 x18373 x18402 x18432 x18702 x18732 x18763
1800.03/1800.72	v x18793 x18823 x18883 x18972 x19002 x19033 x19034 x19063 x19064 x19092 x19122 x19362 x19363 x19364 x19392 x19393 x19394
1800.03/1800.72	v x19483 x19543 x19573 x19602 x19603 x19812 x19845 x19872 x19873 x19874 x19903 x19932 x19934 x19962 x19964 x19992 x19994
1800.03/1800.72	v x20022 x20052 x20263 x20292 x20293 x20294 x20323 x20324 x20353 x20354 x20412 x20653 x20802 x20803 x20833 x20922 x20924
1800.03/1800.72	v x20952 x20953 x21043 x21133 x21163 x21193 x21223 x21373 x21403 x22813 x22843 x23112 x23113 x23142 x23143 x23802 x23892
1800.03/1800.72	v x23982 x23984 x24252 x25212 x25632 x25662 x25934 x25963 x25964 x25992 x25993 x25994 x26023 x26082 x26832 x26952 x27462
1800.03/1800.72	v x27493 x27522 x27552 x27612 x27944 x27974 x28242 x28332 x28362 x28452 x28482 x29040 x29069 x29095 x29112 x29114 x29893
1800.03/1800.72	v x30012 x30013 x30043 x30132 x30133 x30674 x30702 x30703 x30942 x30943 x30972 x30973 x31062 x31183 x31302 x31332 x32172
1800.03/1800.72	v x32382 x32622 x32802 x32832 x33162 x33192 x33492 x33614 x33642 x34332 x34362 x34392 x34542 x34662 x34664 x34693 x34694
1800.03/1800.72	v x34783 x34812 x34903 x35023 x35052 x35142 x35143 x35173 x35292 x35322 x35353 x35355 x35383 x35385 x35413 x35443 x35532
1800.03/1800.72	v x35533 x35562 x35563 x35712 x35742 x35772 x35773 x35802 x35803 x35833 x35863 x35892 x35982 x36012 x36044 x36074 x36282
1800.03/1800.72	v x36312 x36403 x36433 x36615 x36645 x36675 x36733 x36762 x36792 x36822 x36823 x36852 x36854 x36882 x36883 x36912 x36972
1800.03/1800.72	v x36975 x37005 x37032 x37035 x37062 x37092 x37152 x37182 x37183 x37184 x37212 x37214 x37242 x37244 x37303 x37332 x37333
1800.03/1800.72	v x37422 x37632 x37663 x37693 x37842 x37844 x37874 x38085 x38113 x38114 x38202 x38203 x38204 x38232 x38233 x38324 x38354
1800.03/1800.72	v x38442 x38443 x39462 x39762 x39912 x39942 x40092 x40094 x40123 x40124 x40152 x40154 x40184 x40213 x40243 x40272 x40273
1800.03/1800.72	v x40302 x40333 x40512 x40542 x40752 x40753 x40782 x40783 x41232 x41262 x41562 x41592 x41803 x42192 x42222 x42552 x42582
1800.03/1800.72	v x43542 x43572 x44533 x44563 x44652 x44682 x45013 x45043 x45252 x45342 x45372 x45642 x45672 x45913 x45942 x45943 x46032
1800.03/1800.72	v x46062 x46152 x46273 x46423 x46452 x46482 x46633 x46753 x46783 x46813 x46873 x46902 x46932 x46962 x47202 x47262 x47292
1800.03/1800.72	v x47323 x47442 x47443 x47563 x47593 x47622 x47653 x47683 x47713 x47742 x47772 x47803 x47833 x47983 x48013 x48102 x48132
1800.03/1800.72	v x48462 x48492 x48522 x48552 x48882 x48912 x48943 x48944 x48973 x48974 x49003 x49033 x49454 x49484 x49720 x50673 x51056
1800.03/1800.72	v x51366 x51368 x51373 x51506 x51531 x51748 x51776 x52110 x52114 x52660 x52716 x52749 x53082 x53126 x56285 x56840 x57228
1800.03/1800.72	v x57895 x57927 x58103 x59804 x59812 x59886 x60417 x61009 x61087 x61091 x61167 x61230 x61252 x61305 x61466 x61551 x61685
1800.03/1800.72	v x62208 x62344 x62393 x62468 x62516 x62696 x62884 x62996 x63057 x63075 x63637 x64101 x64487 x64750 x64898 x65341 x65407
1800.03/1800.72	v x66001 x66027 x66093 x66133 x66571 x66609 x66714 x66760 x66843 x66860 x66891 x67173 x67275 x67283 x67305 x67354 x67372
1800.03/1800.72	v x67605 x67626 x67633 x67671 x67912 x67980 x68001 x68330 x68560 x68571 x69095 x70451 x70661 x70697 x70718 x70884 x70907
1800.03/1800.72	v x71151 x71851 x71859 x72302 x72614 x73345 x73644 x73676 x74467 x74502 x74534 x74552 x74652 x74712 x74745 x74781 x74782
1800.03/1800.72	v x75059 x75068 x75100 x75120 x75191 x75232 x75244 x75276 x75279 x75280 x75282 x75288 x75300 x75304 x75306 x75311 x75369
1800.03/1800.72	v x75389 x75392 x75395 x75403 x75425 x75435 x75441 x75521 x75526 x75608 x75613 x75617 x75710 x75715 x75717 x75757 x75770
1800.03/1800.72	v x75802 x76037 x76108 x76276 x76363 x76385 x76477 x76548 x76715 x76727 x76743 x76744 x76755 x76774 x76777 x76790 x76806
1800.03/1800.72	v x76811 x76864 x76868 x76919 x76922 x76946 x76950 x76958 x76967 x76970 x76974 x77019 x77037 x77050 x77052 x77114 x77137
1800.03/1800.72	v x77305 x77423 x77425 x77430 x77438 x77446 x77450 x77473 x77486 x77501 x77504 x77526 x77532 x77542 x77545 x77548 x77567
1800.03/1800.72	v x77580 x77590 x77595 x77604 x77638 x77661 x77672 x77730 x77733 x77747 x77757 x77768 x77769 x77810 x77824 x77832 x77846
1800.03/1800.72	v x77871 x77874 x77980 x78024 x78028 x78034 x78041 x78042 x78044 x78078 x78124 x78167 x78184 x78196 x78197 x78199 x78207
1800.03/1800.72	v x78208 x78214 x78215 x78216 x78218 x78228 x78229 x78232 x78502 x78725 x78802 x78811 x78832 x78836 x78840 x78863 x78866
1800.03/1800.72	v x78869 x78885 x78888 x78920 x78967 x79021 x79046 x79136 x79139 x79146 x79150 x79154 x79158 x79159 x79162 x79177 x79242
1800.03/1800.72	v x79323 x79447 x79504 x79508 x79547 x79562 x79572 x79581 x79624 x79648 x79653 x79661 x79675 x79681 x79685 x79687 x79863
1800.03/1800.72	v x79907 x79909 x79934 x79983 x80016 x80017 x80048 x80069 x80079 x80081 x80083 x80095 x80125 x80127 x80129 x80165 x80174
1800.03/1800.72	v x80189 x80228 x80267 x80313 x80472 x80504 x80521 x80526 x80543 x80555 x80568 x80750 x80771 x80778 x80977 x80980 x81056
1800.03/1800.72	v x81152 x81182 x81189 x81214 x81220 x81234 x81300 x81545 x81647 x81767 x81861 x81885 x81891 x81943 x82311 x82379 x82380
1800.03/1800.72	v x82383 x82520 x82590 x82616 x82747 x82900 x82903 x82913 x82953 x82965 x82971 x83119 x83161 x83166 x83191 x83254 x83299
1800.03/1800.72	v x83300 x83308 x83313 x83318 x83332 x83334 x83336 x83337 x83338 x83361 x83370 x83379 x83387 x83443 x83444 x83453 x83466
1800.03/1800.72	v x83484 x83637 x83669 x83740 x83745 x83748 x83751 x83759 x83769 x83775 x83781 x83786 x83791 x83796 x83810 x83824 x83825
1800.03/1800.72	v x83829 x83830 x83835 x83889 x83960 x84077 x84090 x84156 x84167 x84294 x84333 x84364 x84383 x84386 x84574 x84624 x84643
1800.03/1800.72	v x84661 x84680 x84681 x84682 x84683 x84717 x84718 x84743 x84805 x84828 x84833 x85027 x85040 x85044 x85048 x85130 x85137
1800.03/1800.74	pb2clasp1: no process killed
1800.03/1800.75	clasp-1.0: no process killed
1794.87/1802.72	sh: line 1:  7537 Killed                  cat /tmp/evaluation/350957-1176571019/temp/instance-350957-1176571019.opb.op
1794.87/1802.72	      7538                       | clasp-1.0 --trans=no >/tmp/evaluation/350957-1176571019/temp/instance-350957-1176571019.opb.clasp

Verifier Data (download as text)

OK	7247

Conversion Script Data (download as text)

/tmp/evaluation/350957-1176571019/instance-350957-1176571019.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/node39/watcher-350957-1176571019 -o ROOT/results/node39/solver-350957-1176571019 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-350957-1176571019.opb /tmp/evaluation/350957-1176571019/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.97 1.01 1.00 3/77 7379
/proc/meminfo: memFree=1468352/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=12268 CPUtime=0
/proc/7379/stat : 7379 (pbclasp) R 7377 7379 6741 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 105013971 12562432 317 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231502560254 0 0 4224 0 0 0 0 17 1 0 0
/proc/7379/statm: 3067 317 242 3 0 167 0

[startup+0.100751 s]
/proc/loadavg: 0.97 1.01 1.00 3/77 7379
/proc/meminfo: memFree=1468352/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=20660 CPUtime=0.09
/proc/7379/stat : 7379 (pbclasp) R 7377 7379 6741 0 -1 4194304 3599 0 0 0 8 1 0 0 18 0 1 0 105013971 21155840 2517 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231511887627 0 0 4224 16384 0 0 0 17 1 0 0
/proc/7379/statm: 5165 2517 320 3 0 2265 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20660

[startup+0.202771 s]
/proc/loadavg: 0.97 1.01 1.00 3/77 7379
/proc/meminfo: memFree=1468352/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=20660 CPUtime=0.19
/proc/7379/stat : 7379 (pbclasp) R 7377 7379 6741 0 -1 4194304 9921 0 0 0 16 3 0 0 18 0 1 0 105013971 21155840 2453 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231493539242 0 0 4224 16384 0 0 0 17 1 0 0
/proc/7379/statm: 5165 2460 320 3 0 2265 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20660

[startup+0.30279 s]
/proc/loadavg: 0.97 1.01 1.00 3/77 7379
/proc/meminfo: memFree=1468352/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=20660 CPUtime=0.29
/proc/7379/stat : 7379 (pbclasp) R 7377 7379 6741 0 -1 4194304 16165 0 0 0 23 6 0 0 19 0 1 0 105013971 21155840 2517 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231493539639 0 0 4224 16384 0 0 0 17 1 0 0
/proc/7379/statm: 5165 2517 320 3 0 2265 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20660

[startup+0.701853 s]
/proc/loadavg: 0.97 1.01 1.00 3/77 7379
/proc/meminfo: memFree=1468352/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=20656 CPUtime=0.68
/proc/7379/stat : 7379 (pbclasp) R 7377 7379 6741 0 -1 4194304 41065 0 0 0 54 14 0 0 23 0 1 0 105013971 21151744 2516 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231511887630 0 0 4224 16384 0 0 0 17 1 0 0
/proc/7379/statm: 5164 2516 320 3 0 2264 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20656

[startup+1.50199 s]
/proc/loadavg: 0.97 1.01 1.00 2/78 7380
/proc/meminfo: memFree=1459192/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=20656 CPUtime=1.49
/proc/7379/stat : 7379 (pbclasp) R 7377 7379 6741 0 -1 4194304 91290 0 0 0 115 34 0 0 25 0 1 0 105013971 21151744 2516 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231511887624 0 0 4224 16384 0 0 0 17 1 0 0
/proc/7379/statm: 5164 2516 320 3 0 2264 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20656

[startup+3.10126 s]
/proc/loadavg: 0.97 1.01 1.00 2/78 7380
/proc/meminfo: memFree=1459192/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=20784 CPUtime=3.09
/proc/7379/stat : 7379 (pbclasp) R 7377 7379 6741 0 -1 4194304 191802 0 0 0 237 72 0 0 25 0 1 0 105013971 21282816 2521 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231493505761 0 0 4224 16384 0 0 0 17 1 0 0
/proc/7379/statm: 5196 2521 320 3 0 2296 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20784

[startup+6.3018 s]
/proc/loadavg: 0.97 1.01 1.00 2/78 7380
/proc/meminfo: memFree=1459064/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=20904 CPUtime=6.29
/proc/7379/stat : 7379 (pbclasp) R 7377 7379 6741 0 -1 4194304 392971 0 0 0 480 149 0 0 25 0 1 0 105013971 21405696 2497 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231493539242 0 0 4224 16384 0 0 0 17 1 0 0
/proc/7379/statm: 5226 2505 320 3 0 2326 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20904

[startup+12.7019 s]
/proc/loadavg: 0.98 1.01 1.00 2/78 7380
/proc/meminfo: memFree=1459328/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=21148 CPUtime=12.68
/proc/7379/stat : 7379 (pbclasp) R 7377 7379 6741 0 -1 4194304 800463 0 0 0 969 299 0 0 25 0 1 0 105013971 21655552 2633 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231493539629 0 0 4224 16384 0 0 0 17 1 0 0
/proc/7379/statm: 5287 2633 320 3 0 2387 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21148

[startup+25.502 s]
/proc/loadavg: 0.98 1.00 1.00 2/78 7380
/proc/meminfo: memFree=1457992/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=22088 CPUtime=25.48
/proc/7379/stat : 7379 (pbclasp) R 7377 7379 6741 0 -1 4194304 1620331 0 0 0 1950 598 0 0 25 0 1 0 105013971 22618112 2859 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231493539370 0 0 4224 16384 0 0 0 17 1 0 0
/proc/7379/statm: 5522 2859 320 3 0 2622 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22088

[startup+51.1024 s]
/proc/loadavg: 0.98 1.00 1.00 2/78 7380
/proc/meminfo: memFree=1456264/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=23964 CPUtime=51.08
/proc/7379/stat : 7379 (pbclasp) R 7377 7379 6741 0 -1 4194304 3336190 0 0 0 3876 1232 0 0 25 0 1 0 105013971 24539136 3311 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231493539242 0 0 4224 16384 0 0 0 17 1 0 0
/proc/7379/statm: 5991 3311 320 3 0 3091 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 23964

[startup+102.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7380
/proc/meminfo: memFree=1450632/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=29568 CPUtime=102.26
/proc/7379/stat : 7379 (pbclasp) R 7377 7379 6741 0 -1 4194304 7283489 0 0 0 7676 2550 0 0 25 0 1 0 105013971 30277632 4705 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231493539242 0 0 4224 16384 0 0 0 17 1 0 0
/proc/7379/statm: 7392 4715 320 3 0 4492 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 29568

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/81 7389
/proc/meminfo: memFree=1399856/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=43712 CPUtime=160.26
/proc/7379/stat : 7379 (pbclasp) S 7377 7379 6741 0 -1 4194304 8536974 2001664 0 0 8994 2895 3574 563 16 0 1 0 105013971 44761088 8282 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/7379/statm: 10928 8282 343 3 0 8028 0
[pid=7387] ppid=7379 vsize=5352 CPUtime=0
/proc/7387/stat : 7387 (sh) S 7379 7379 6741 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 105030004 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7387/statm: 1338 224 188 169 0 49 0
[pid=7388] ppid=7387 vsize=2520 CPUtime=0.01
/proc/7388/stat : 7388 (cat) S 7387 7379 6741 0 -1 4194304 119 0 0 0 0 1 0 0 15 0 1 0 105030004 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 231493828834 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7388/statm: 630 87 71 4 0 42 0
[pid=7389] ppid=7387 vsize=22208 CPUtime=1.91
/proc/7389/stat : 7389 (clasp-1.0) R 7387 7379 6741 0 -1 4194304 5820 0 4 0 188 3 0 0 25 0 1 0 105030004 22740992 5041 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4160244076 0 0 4096 0 0 0 0 17 1 0 0
/proc/7389/statm: 5552 5041 232 81 0 4926 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 73792

[startup+222.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/80 7389
/proc/meminfo: memFree=1348984/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=43712 CPUtime=160.26
/proc/7379/stat : 7379 (pbclasp) S 7377 7379 6741 0 -1 4194304 8536974 2001664 0 0 8994 2895 3574 563 16 0 1 0 105013971 44761088 8282 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/7379/statm: 10928 8282 343 3 0 8028 0
[pid=7387] ppid=7379 vsize=5352 CPUtime=0.01
/proc/7387/stat : 7387 (sh) S 7379 7379 6741 0 -1 4194304 286 121 0 0 0 0 0 1 16 0 1 0 105030004 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7387/statm: 1338 224 188 169 0 49 0
[pid=7389] ppid=7387 vsize=68896 CPUtime=61.89
/proc/7389/stat : 7389 (clasp-1.0) R 7387 7379 6741 0 -1 4194304 19430 0 4 0 6179 10 0 0 25 0 1 0 105030004 70549504 16749 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617501 0 0 4096 0 0 0 0 17 1 0 0
/proc/7389/statm: 17224 16749 249 81 0 16598 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 117960

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/80 7397
/proc/meminfo: memFree=1345272/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=43712 CPUtime=258.65
/proc/7379/stat : 7379 (pbclasp) S 7377 7379 6741 0 -1 4194304 8537992 2022519 0 4 9002 2896 13383 584 15 0 1 0 105013971 44761088 8293 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/7379/statm: 10928 8293 343 3 0 8028 0
[pid=7395] ppid=7379 vsize=5352 CPUtime=0.02
/proc/7395/stat : 7395 (sh) S 7379 7379 6741 0 -1 4194304 289 121 0 0 0 0 0 2 16 0 1 0 105039848 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7395/statm: 1338 224 188 169 0 49 0
[pid=7397] ppid=7395 vsize=73344 CPUtime=23.47
/proc/7397/stat : 7397 (clasp-1.0) R 7395 7379 6741 0 -1 4194304 20958 0 0 0 2335 12 0 0 25 0 1 0 105039849 75104256 17638 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733950 0 0 4096 0 0 0 0 17 1 0 0
/proc/7397/statm: 18336 17638 249 81 0 17710 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 122408

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/80 7397
/proc/meminfo: memFree=1344504/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=43712 CPUtime=258.65
/proc/7379/stat : 7379 (pbclasp) S 7377 7379 6741 0 -1 4194304 8537992 2022519 0 4 9002 2896 13383 584 15 0 1 0 105013971 44761088 8293 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/7379/statm: 10928 8293 343 3 0 8028 0
[pid=7395] ppid=7379 vsize=5352 CPUtime=0.02
/proc/7395/stat : 7395 (sh) S 7379 7379 6741 0 -1 4194304 289 121 0 0 0 0 0 2 16 0 1 0 105039848 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7395/statm: 1338 224 188 169 0 49 0
[pid=7397] ppid=7395 vsize=73344 CPUtime=83.46
/proc/7397/stat : 7397 (clasp-1.0) R 7395 7379 6741 0 -1 4194304 21185 0 0 0 8333 13 0 0 25 0 1 0 105039849 75104256 17865 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733922 0 0 4096 0 0 0 0 17 1 0 0
/proc/7397/statm: 18336 17865 249 81 0 17710 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 122408

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/80 7405
/proc/meminfo: memFree=1344760/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=43712 CPUtime=354.53
/proc/7379/stat : 7379 (pbclasp) S 7377 7379 6741 0 -1 4194304 8538121 2045119 0 4 9010 2897 22937 609 17 0 1 0 105013971 44761088 8295 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/7379/statm: 10928 8295 343 3 0 8028 0
[pid=7403] ppid=7379 vsize=5352 CPUtime=0.02
/proc/7403/stat : 7403 (sh) S 7379 7379 6741 0 -1 4194304 289 121 0 0 0 0 0 2 16 0 1 0 105049439 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7403/statm: 1338 224 188 169 0 49 0
[pid=7405] ppid=7403 vsize=73344 CPUtime=47.57
/proc/7405/stat : 7405 (clasp-1.0) R 7403 7379 6741 0 -1 4194304 21109 0 0 0 4746 11 0 0 25 0 1 0 105049439 75104256 17789 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733922 0 0 4096 0 0 0 0 17 1 0 0
/proc/7405/statm: 18336 17789 249 81 0 17710 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 122408

[startup+462.303 s]
/proc/loadavg: 0.99 1.00 1.00 2/80 7413
/proc/meminfo: memFree=1345528/2055920 swapFree=4192812/4192956

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

/proc/7501/statm: 1338 224 188 169 0 49 0
[pid=7503] ppid=7501 vsize=73344 CPUtime=35.82
/proc/7503/stat : 7503 (clasp-1.0) R 7501 7379 6741 0 -1 4194304 21089 0 0 0 3571 11 0 0 25 0 1 0 105164614 75104256 17769 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733950 0 0 4096 0 0 0 0 17 1 0 0
/proc/7503/statm: 18336 17769 249 81 0 17710 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 122408

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 7503
/proc/meminfo: memFree=1344376/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=43712 CPUtime=1601.68
/proc/7379/stat : 7379 (pbclasp) S 7377 7379 6741 0 -1 4194304 8539797 2338953 0 4 9116 2908 147241 903 17 0 1 0 105013971 44761088 8295 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/7379/statm: 10928 8295 343 3 0 8028 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 43712

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 7511
/proc/meminfo: memFree=1344888/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=43712 CPUtime=1601.68
/proc/7379/stat : 7379 (pbclasp) S 7377 7379 6741 0 -1 4194304 8539797 2338953 0 4 9116 2908 147241 903 17 0 1 0 105013971 44761088 8295 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/7379/statm: 10928 8295 343 3 0 8028 0
[pid=7509] ppid=7379 vsize=5352 CPUtime=0.03
/proc/7509/stat : 7509 (sh) S 7379 7379 6741 0 -1 4194304 288 121 0 0 0 0 0 3 16 0 1 0 105174197 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7509/statm: 1338 224 188 169 0 49 0
[pid=7511] ppid=7509 vsize=73344 CPUtime=59.96
/proc/7511/stat : 7511 (clasp-1.0) R 7509 7379 6741 0 -1 4194304 21133 0 0 0 5985 11 0 0 25 0 1 0 105174198 75104256 17813 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733942 0 0 4096 0 0 0 0 17 1 0 0
/proc/7511/statm: 18336 17813 249 81 0 17710 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 122408

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 7519
/proc/meminfo: memFree=1345528/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=43712 CPUtime=1697.29
/proc/7379/stat : 7379 (pbclasp) S 7377 7379 6741 0 -1 4194304 8539925 2361552 0 4 9124 2909 156769 927 17 0 1 0 105013971 44761088 8295 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/7379/statm: 10928 8295 343 3 0 8028 0
[pid=7517] ppid=7379 vsize=5352 CPUtime=0.02
/proc/7517/stat : 7517 (sh) S 7379 7379 6741 0 -1 4194304 288 121 0 0 0 0 0 2 16 0 1 0 105183762 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7517/statm: 1338 224 188 169 0 49 0
[pid=7519] ppid=7517 vsize=73344 CPUtime=24.34
/proc/7519/stat : 7519 (clasp-1.0) R 7517 7379 6741 0 -1 4194304 20971 0 0 0 2424 10 0 0 25 0 1 0 105183763 75104256 17651 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733890 0 0 4096 0 0 0 0 17 1 0 0
/proc/7519/statm: 18336 17651 249 81 0 17710 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 122408

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 7519
/proc/meminfo: memFree=1344760/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=43712 CPUtime=1697.29
/proc/7379/stat : 7379 (pbclasp) S 7377 7379 6741 0 -1 4194304 8539925 2361552 0 4 9124 2909 156769 927 17 0 1 0 105013971 44761088 8295 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/7379/statm: 10928 8295 343 3 0 8028 0
[pid=7517] ppid=7379 vsize=5352 CPUtime=0.02
/proc/7517/stat : 7517 (sh) S 7379 7379 6741 0 -1 4194304 288 121 0 0 0 0 0 2 16 0 1 0 105183762 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7517/statm: 1338 224 188 169 0 49 0
[pid=7519] ppid=7517 vsize=73344 CPUtime=84.32
/proc/7519/stat : 7519 (clasp-1.0) R 7517 7379 6741 0 -1 4194304 21189 0 0 0 8421 11 0 0 25 0 1 0 105183763 75104256 17869 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733922 0 0 4096 0 0 0 0 17 1 0 0
/proc/7519/statm: 18336 17869 249 81 0 17710 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 122408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 7527
/proc/meminfo: memFree=1345784/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=43712 CPUtime=1792.94
/proc/7379/stat : 7379 (pbclasp) S 7377 7379 6741 0 -1 4194304 8540053 2384151 0 4 9132 2910 166302 950 16 0 1 0 105013971 44761088 8295 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/7379/statm: 10928 8295 343 3 0 8028 0
[pid=7525] ppid=7379 vsize=5352 CPUtime=0.01
/proc/7525/stat : 7525 (sh) S 7379 7379 6741 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 105193330 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7525/statm: 1338 224 188 169 0 49 0
[pid=7527] ppid=7525 vsize=73344 CPUtime=7.08
/proc/7527/stat : 7527 (clasp-1.0) R 7525 7379 6741 0 -1 4194304 20839 0 0 0 698 10 0 0 25 0 1 0 105193331 75104256 17519 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617668 0 0 4096 0 0 0 0 17 1 0 0
/proc/7527/statm: 18336 17519 249 81 0 17710 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 122408

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

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 7527
/proc/meminfo: memFree=1345784/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=43712 CPUtime=1792.94
/proc/7379/stat : 7379 (pbclasp) S 7377 7379 6741 0 -1 4194304 8540053 2384151 0 4 9132 2910 166302 950 16 0 1 0 105013971 44761088 8295 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/7379/statm: 10928 8295 343 3 0 8028 0
[pid=7525] ppid=7379 vsize=5352 CPUtime=0.01
/proc/7525/stat : 7525 (sh) S 7379 7379 6741 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 105193330 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7525/statm: 1338 224 188 169 0 49 0
[pid=7527] ppid=7525 vsize=73344 CPUtime=7.08
/proc/7527/stat : 7527 (clasp-1.0) R 7525 7379 6741 0 -1 4194304 20839 0 0 0 698 10 0 0 25 0 1 0 105193331 75104256 17519 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617668 0 0 4096 0 0 0 0 17 1 0 0
/proc/7527/statm: 18336 17519 249 81 0 17710 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 122408

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

[startup+1800.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 7527
/proc/meminfo: memFree=1345784/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=43712 CPUtime=1793.04
/proc/7379/stat : 7379 (pbclasp) R 7377 7379 6741 0 -1 4194304 8540180 2385134 0 4 9138 2911 166302 953 17 0 1 0 105013971 44761088 8295 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231502557138 0 0 4224 16384 0 0 0 17 1 0 0
/proc/7379/statm: 10928 8295 343 3 0 8028 0
Current children cumulated CPU time (s) 1793.04
Current children cumulated vsize (KiB) 43712

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 7527
/proc/meminfo: memFree=1345784/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=43712 CPUtime=1793.13
/proc/7379/stat : 7379 (pbclasp) S 7377 7379 6741 0 -1 4194304 8540227 2385938 0 4 9140 2911 166303 959 16 0 1 0 105013971 44761088 8295 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/7379/statm: 10928 8295 343 3 0 8028 0
Current children cumulated CPU time (s) 1793.13
Current children cumulated vsize (KiB) 43712

[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 7538
/proc/meminfo: memFree=1402792/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=43712 CPUtime=1793.13
/proc/7379/stat : 7379 (pbclasp) S 7377 7379 6741 0 -1 4194304 8540227 2385938 0 4 9140 2911 166303 959 16 0 1 0 105013971 44761088 8295 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/7379/statm: 10928 8295 343 3 0 8028 0
[pid=7536] ppid=7379 vsize=5352 CPUtime=0
/proc/7536/stat : 7536 (sh) S 7379 7379 6741 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 105194061 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7536/statm: 1338 224 188 169 0 49 0
[pid=7537] ppid=7536 vsize=2520 CPUtime=0.01
/proc/7537/stat : 7537 (cat) S 7536 7379 6741 0 -1 4194304 119 0 0 0 0 1 0 0 15 0 1 0 105194062 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 231493828834 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7537/statm: 630 87 71 4 0 42 0
[pid=7538] ppid=7536 vsize=17888 CPUtime=1.33
/proc/7538/stat : 7538 (clasp-1.0) R 7536 7379 6741 0 -1 4194304 4800 0 0 0 131 2 0 0 25 0 1 0 105194062 18317312 4033 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4160494892 0 0 4096 0 0 0 0 17 1 0 0
/proc/7538/statm: 4472 4034 230 81 0 3846 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (KiB) 69472

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 7538
/proc/meminfo: memFree=1402792/2055920 swapFree=4192812/4192956
[pid=7379] ppid=7377 vsize=43712 CPUtime=1793.13
/proc/7379/stat : 7379 (pbclasp) S 7377 7379 6741 0 -1 4194304 8540227 2385938 0 4 9140 2911 166303 959 16 0 1 0 105013971 44761088 8295 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231502561172 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/7379/statm: 10928 8295 343 3 0 8028 0
[pid=7536] ppid=7379 vsize=5352 CPUtime=0
/proc/7536/stat : 7536 (sh) S 7379 7379 6741 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 105194061 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7536/statm: 1338 224 188 169 0 49 0
[pid=7537] ppid=7536 vsize=2520 CPUtime=0.02
/proc/7537/stat : 7537 (cat) S 7536 7379 6741 0 -1 4194304 119 0 0 0 0 2 0 0 15 0 1 0 105194062 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 231493828834 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/7537/statm: 630 87 71 4 0 42 0
[pid=7538] ppid=7536 vsize=20784 CPUtime=1.72
/proc/7538/stat : 7538 (clasp-1.0) R 7536 7379 6741 0 -1 4194304 5469 0 0 0 170 2 0 0 25 0 1 0 105194062 21282816 4702 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 11559902 0 0 4096 0 0 0 0 17 1 0 0
/proc/7538/statm: 5196 4702 231 81 0 4570 0
Current children cumulated CPU time (s) 1794.87
Current children cumulated vsize (KiB) 72368

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): 6.98987
#  lost CPU user time (s): 6.91992
#  lost CPU system time (s): 0.0699959

Real time (s): 1802.74
CPU time (s): 1801.94
CPU user time (s): 1763.09
CPU system time (s): 38.8491
CPU usage (%): 99.9555
Max. virtual memory (cumulated for all children) (KiB): 124812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1756.17
system time used= 38.7791
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10933977
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48739
involuntary context switches= 58667

runsolver used 1.68374 second user time and 4.88326 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Sat Apr 14 17:16:59 UTC 2007

IDJOB= 350957
IDBENCH= 1624
IDSOLVER= 167
FILE ID= node39/350957-1176571019

PBS_JOBID= 4556875

Free space on /tmp= 66559 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-dc1l.opb
COMMAND LINE= pbclasp instance-350957-1176571019.opb /tmp/evaluation/350957-1176571019/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node39/convwatcher-350957-1176571019 -o ROOT/results/node39/conversion-350957-1176571019 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350957-1176571019/instance-350957-1176571019.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  1bfc65237e0980827bf136f13870d50e

RANDOM SEED= 926595393

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.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.256
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.256
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:       1468696 kB
Buffers:         39516 kB
Cached:         243772 kB
SwapCached:          0 kB
Active:         323040 kB
Inactive:       153156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1468696 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6272 kB
Writeback:           0 kB
Mapped:         211840 kB
Slab:            96268 kB
Committed_AS:   356424 kB
PageTables:       2012 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= 66539 MiB

End job on node39 on Sat Apr 14 17:47:02 UTC 2007