Trace number 350892

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)761 1801.97 1802.93

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-core2586-950.opb
MD5SUMac375eafd62b8d1010f2c1559ff8989d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark547
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 547
Optimality of the best value was proved NO
Number of variables13215
Total number of constraints2587
Number of constraints which are clauses2586
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 constraint10632
Number of terms in the objective function 13215
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 13215
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 9256
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 19888
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)

7.86/8.02	o 921
11.65/11.86	o 920
16.45/16.67	o 761
1800.01/1800.91	c Somebody sent me a SIGTERM
1800.01/1800.91	s SATISFIABLE
1800.01/1800.91	v x1 x126 x520 x569 x667 x828 x991 x1043 x1044 x1813 x1974 x2000 x2081 x2108 x2135 x2230 x2276 x2280 x2290 x2412 x2432 x2439
1800.01/1800.91	v x2440 x2703 x2746 x2880 x2954 x3088 x3226 x3292 x3301 x3317 x3369 x3399 x3458 x3466 x3532 x3550 x3551 x3591 x3630 x3651 x3653
1800.01/1800.91	v x3694 x3800 x3804 x3851 x3885 x3917 x3920 x3971 x3975 x3976 x4009 x4012 x4017 x4023 x4076 x4096 x4102 x4108 x4119 x4135 x4147
1800.01/1800.91	v x4168 x4179 x4219 x4223 x4279 x4309 x4311 x4314 x4343 x4345 x4347 x4365 x4373 x4377 x4385 x4391 x4393 x4396 x4416 x4455 x4458
1800.01/1800.91	v x4517 x4566 x4611 x4616 x4617 x4674 x4713 x4756 x4774 x4788 x4804 x4841 x4907 x4908 x5057 x5069 x5071 x5076 x5081 x5179 x5202
1800.01/1800.91	v x5211 x5227 x5229 x5254 x5255 x5263 x5267 x5320 x5379 x5393 x5399 x5404 x5407 x5417 x5437 x5449 x5485 x5487 x5508 x5512 x5522
1800.01/1800.91	v x5545 x5548 x5559 x5581 x5625 x5636 x5660 x5680 x5684 x5700 x5708 x5732 x5760 x5823 x5882 x5903 x5927 x5929 x5951 x5953 x6028
1800.01/1800.91	v x6034 x6052 x6079 x6103 x6109 x6168 x6217 x6223 x6242 x6289 x6298 x6306 x6321 x6386 x6388 x6399 x6414 x6415 x6426 x6448 x6504
1800.01/1800.91	v x6505 x6519 x6525 x6526 x6536 x6543 x6602 x6697 x6725 x6783 x6793 x6797 x6836 x6860 x6867 x6888 x6891 x6894 x6926 x6928 x6942
1800.01/1800.91	v x6950 x6951 x6955 x6974 x6996 x7009 x7015 x7017 x7102 x7116 x7126 x7134 x7148 x7152 x7165 x7188 x7195 x7200 x7209 x7213 x7239
1800.01/1800.91	v x7247 x7257 x7283 x7284 x7325 x7326 x7345 x7351 x7365 x7394 x7425 x7442 x7449 x7467 x7545 x7547 x7558 x7562 x7567 x7571 x7588
1800.01/1800.91	v x7607 x7648 x7669 x7671 x7673 x7703 x7735 x7738 x7801 x7839 x7841 x7845 x7850 x7853 x7862 x7864 x7869 x7912 x7915 x7934 x7965
1800.01/1800.91	v x7970 x7997 x8023 x8076 x8089 x8097 x8102 x8106 x8108 x8149 x8151 x8158 x8168 x8169 x8195 x8199 x8205 x8213 x8221 x8234 x8282
1800.01/1800.91	v x8299 x8318 x8324 x8328 x8345 x8352 x8358 x8360 x8364 x8366 x8385 x8405 x8422 x8424 x8464 x8478 x8480 x8491 x8496 x8514 x8519
1800.01/1800.91	v x8532 x8544 x8551 x8556 x8565 x8575 x8577 x8585 x8590 x8596 x8601 x8624 x8648 x8654 x8658 x8666 x8668 x8692 x8709 x8717 x8731
1800.01/1800.91	v x8752 x8761 x8766 x8782 x8797 x8800 x8824 x8899 x8909 x8914 x8921 x8937 x8942 x8969 x8995 x8996 x8999 x9010 x9038 x9057 x9061
1800.01/1800.91	v x9068 x9072 x9082 x9093 x9094 x9128 x9132 x9145 x9150 x9213 x9224 x9231 x9237 x9239 x9246 x9259 x9275 x9279 x9281 x9289 x9291
1800.01/1800.91	v x9297 x9305 x9306 x9341 x9342 x9352 x9356 x9364 x9365 x9367 x9371 x9386 x9388 x9396 x9405 x9416 x9422 x9424 x9425 x9429 x9446
1800.01/1800.91	v x9448 x9450 x9452 x9465 x9481 x9496 x9572 x9583 x9588 x9590 x9592 x9614 x9637 x9661 x9664 x9671 x9675 x9684 x9731 x9755 x9769
1800.01/1800.91	v x9811 x9812 x9839 x9854 x9869 x9886 x9888 x9910 x9927 x9958 x9969 x9998 x10004 x10018 x10022 x10032 x10079 x10092 x10099
1800.01/1800.91	v x10111 x10123 x10128 x10139 x10147 x10150 x10153 x10163 x10172 x10175 x10183 x10192 x10209 x10213 x10240 x10243 x10252
1800.01/1800.91	v x10253 x10271 x10277 x10282 x10286 x10289 x10307 x10321 x10323 x10335 x10358 x10374 x10376 x10381 x10399 x10403 x10410
1800.01/1800.91	v x10412 x10424 x10429 x10460 x10542 x10561 x10566 x10570 x10588 x10640 x10650 x10653 x10657 x10695 x10707 x10710 x10725
1800.01/1800.91	v x10752 x10757 x10767 x10769 x10789 x10793 x10810 x10816 x10821 x10828 x10837 x10838 x10840 x10849 x10851 x10852 x10856
1800.01/1800.91	v x10859 x10861 x10876 x10892 x10907 x10927 x10937 x10948 x10970 x10991 x10996 x11033 x11042 x11067 x11076 x11079 x11080
1800.01/1800.91	v x11097 x11107 x11114 x11123 x11135 x11137 x11138 x11153 x11157 x11167 x11174 x11175 x11186 x11190 x11194 x11195 x11197
1800.01/1800.91	v x11198 x11199 x11211 x11238 x11262 x11276 x11279 x11285 x11286 x11325 x11326 x11336 x11337 x11356 x11359 x11372 x11377
1800.01/1800.91	v x11378 x11380 x11384 x11387 x11391 x11400 x11424 x11425 x11432 x11434 x11441 x11450 x11469 x11470 x11474 x11476 x11482
1800.01/1800.91	v x11484 x11491 x11492 x11493 x11499 x11500 x11505 x11545 x11567 x11591 x11599 x11609 x11613 x11614 x11615 x11618 x11623
1800.01/1800.91	v x11630 x11632 x11648 x11660 x11664 x11674 x11679 x11689 x11691 x11693 x11698 x11703 x11705 x11707 x11739 x11740 x11742
1800.01/1800.91	v x11754 x11761 x11765 x11773 x11774 x11775 x11780 x11783 x11820 x11852 x11860 x11863 x11865 x11885 x11891 x11896 x11915
1800.01/1800.91	v x11918 x11927 x11938 x11966 x11969 x11973 x11987 x11992 x11995 x12006 x12010 x12016 x12020 x12022 x12025 x12027 x12031
1800.01/1800.91	v x12036 x12038 x12078 x12080 x12083 x12088 x12090 x12093 x12105 x12107 x12111 x12117 x12118 x12119 x12120 x12128 x12129
1800.01/1800.91	v x12132 x12140 x12147 x12149 x12152 x12153 x12155 x12156 x12158 x12163 x12180 x12194 x12202 x12203 x12216 x12247 x12271
1800.01/1800.91	v x12272 x12281 x12284 x12286 x12289 x12370 x12377 x12396 x12398 x12444 x12499 x12582 x12584 x12591 x12644 x12654 x12655
1800.01/1800.91	v x12665 x12741 x12748 x12757 x12758 x12779 x12793 x12796 x12816 x12852 x12861 x12877 x12900 x12901 x12907 x12909 x12910
1800.01/1800.91	v x12911 x12912 x12913 x12918 x12921 x12926 x12932 x12940 x12946 x12949 x12969 x12970 x12973 x12976 x12984 x12998 x12999
1800.01/1800.91	v x13001 x13007 x13010 x13015 x13016 x13024 x13029 x13031 x13034 x13036 x13038 x13053 x13058 x13061 x13070 x13073 x13084
1800.01/1800.91	v x13086 x13090 x13092 x13104 x13110 x13112 x13117 x13119 x13120 x13122 x13126 x13130 x13131 x13132 x13141 x13142 x13143
1800.01/1800.91	v x13145 x13146 x13148 x13149 x13150 x13151 x13153 x13157 x13165 x13166 x13168 x13169 x13177 x13183 x13201 x13208 x13209
1800.01/1800.91	v x13210 x13214
1800.01/1800.94	pb2clasp1: no process killed
1800.01/1800.94	clasp-1.0: no process killed
18.52/1802.92	sh: line 1: 16601 Done                    cat /tmp/evaluation/350892-1176566255/temp/instance-350892-1176566255.opb.op
18.52/1802.92	     16602 Killed                  | clasp-1.0 --trans=no >/tmp/evaluation/350892-1176566255/temp/instance-350892-1176566255.opb.clasp

Verifier Data (download as text)

OK	761

Conversion Script Data (download as text)

/tmp/evaluation/350892-1176566255/instance-350892-1176566255.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/node20/watcher-350892-1176566255 -o ROOT/results/node20/solver-350892-1176566255 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-350892-1176566255.opb /tmp/evaluation/350892-1176566255/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: 1.84 1.97 1.90 3/77 16359
/proc/meminfo: memFree=1735608/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=12268 CPUtime=0
/proc/16359/stat : 16359 (pbclasp) R 16357 16359 16276 0 -1 4194304 398 0 0 0 0 0 0 0 18 0 1 0 104542916 12562432 364 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273952445153 0 0 4224 0 0 0 0 17 1 0 0
/proc/16359/statm: 3067 365 276 3 0 167 0

[startup+0.0126711 s]
/proc/loadavg: 1.84 1.97 1.90 3/77 16359
/proc/meminfo: memFree=1735608/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=12664 CPUtime=0
/proc/16359/stat : 16359 (pbclasp) R 16357 16359 16276 0 -1 4194304 522 0 0 0 0 0 0 0 18 0 1 0 104542916 12967936 488 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273966180373 0 0 4224 16384 0 0 0 17 1 0 0
/proc/16359/statm: 3166 489 314 3 0 266 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12664

[startup+0.101688 s]
/proc/loadavg: 1.84 1.97 1.90 3/77 16359
/proc/meminfo: memFree=1735608/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=13592 CPUtime=0.09
/proc/16359/stat : 16359 (pbclasp) R 16357 16359 16276 0 -1 4194304 770 0 0 0 9 0 0 0 18 0 1 0 104542916 13918208 736 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273966632712 0 0 4224 16384 0 0 0 17 1 0 0
/proc/16359/statm: 3398 736 320 3 0 498 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13592

[startup+0.301728 s]
/proc/loadavg: 1.84 1.97 1.90 3/77 16359
/proc/meminfo: memFree=1735608/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=13724 CPUtime=0.29
/proc/16359/stat : 16359 (pbclasp) R 16357 16359 16276 0 -1 4194304 810 0 0 0 29 0 0 0 19 0 1 0 104542916 14053376 776 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273952479010 0 0 4224 16384 0 0 0 17 1 0 0
/proc/16359/statm: 3431 776 320 3 0 531 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13724

[startup+0.70181 s]
/proc/loadavg: 1.84 1.97 1.90 3/77 16359
/proc/meminfo: memFree=1735608/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=14120 CPUtime=0.69
/proc/16359/stat : 16359 (pbclasp) R 16357 16359 16276 0 -1 4194304 894 0 0 0 69 0 0 0 23 0 1 0 104542916 14458880 860 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273952445153 0 0 4224 16384 0 0 0 17 1 0 0
/proc/16359/statm: 3530 860 320 3 0 630 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14120

[startup+1.50197 s]
/proc/loadavg: 1.77 1.95 1.90 2/78 16360
/proc/meminfo: memFree=1733104/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=14912 CPUtime=1.49
/proc/16359/stat : 16359 (pbclasp) R 16357 16359 16276 0 -1 4194304 1117 0 0 0 149 0 0 0 25 0 1 0 104542916 15269888 1083 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273952478762 0 0 4224 16384 0 0 0 17 1 0 0
/proc/16359/statm: 3728 1083 320 3 0 828 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14912

[startup+3.10129 s]
/proc/loadavg: 1.77 1.95 1.90 2/80 16362
/proc/meminfo: memFree=1730208/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=15968 CPUtime=1.79
/proc/16359/stat : 16359 (pbclasp) S 16357 16359 16276 0 -1 4194304 1374 0 0 0 179 0 0 0 25 0 1 0 104542916 16351232 1326 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273961496674 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/16359/statm: 3992 1326 324 3 0 1092 0
[pid=16361] ppid=16359 vsize=5352 CPUtime=0
/proc/16361/stat : 16361 (sh) S 16359 16359 16276 0 -1 4194304 276 0 0 0 0 0 0 0 25 0 1 0 104543096 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16361/statm: 1338 229 193 169 0 49 0
[pid=16362] ppid=16361 vsize=13328 CPUtime=1.28
/proc/16362/stat : 16362 (pb2clasp1) R 16361 16359 16276 0 -1 4194304 725 0 0 0 128 0 0 0 25 0 1 0 104543096 13647872 687 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 273966632712 0 0 4224 0 0 0 0 17 1 0 0
/proc/16362/statm: 3332 687 339 3 0 432 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 34648

[startup+6.30194 s]
/proc/loadavg: 1.71 1.93 1.89 2/80 16369
/proc/meminfo: memFree=1719520/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=17156 CPUtime=3.96
/proc/16359/stat : 16359 (pbclasp) S 16357 16359 16276 0 -1 4194304 2175 2333 0 0 182 1 211 2 16 0 1 0 104542916 17567744 1637 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16359/statm: 4289 1637 343 3 0 1389 0
[pid=16367] ppid=16359 vsize=5352 CPUtime=0
/proc/16367/stat : 16367 (sh) S 16359 16359 16276 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 104543315 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16367/statm: 1338 224 188 169 0 49 0
[pid=16369] ppid=16367 vsize=9812 CPUtime=2.19
/proc/16369/stat : 16369 (clasp-1.0) R 16367 16359 16276 0 -1 4194304 2157 0 4 0 218 1 0 0 25 0 1 0 104543315 10047488 2031 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733950 0 0 4096 0 0 0 0 17 1 0 0
/proc/16369/statm: 2453 2031 249 81 0 1827 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 32320

[startup+12.7012 s]
/proc/loadavg: 1.65 1.92 1.89 2/81 16385
/proc/meminfo: memFree=1724576/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=17156 CPUtime=11.76
/proc/16359/stat : 16359 (pbclasp) S 16357 16359 16276 0 -1 4194304 2888 9471 0 4 186 1 980 9 16 0 1 0 104542916 17567744 1649 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16359/statm: 4289 1649 343 3 0 1389 0
[pid=16383] ppid=16359 vsize=5352 CPUtime=0
/proc/16383/stat : 16383 (sh) S 16359 16359 16276 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104544105 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16383/statm: 1338 224 188 169 0 49 0
[pid=16385] ppid=16383 vsize=10008 CPUtime=0.79
/proc/16385/stat : 16385 (clasp-1.0) R 16383 16359 16276 0 -1 4194304 2258 0 0 0 78 1 0 0 24 0 1 0 104544106 10248192 2094 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733922 0 0 4096 0 0 0 0 17 1 0 0
/proc/16385/statm: 2502 2094 249 81 0 1876 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 32516

[startup+25.5018 s]
/proc/loadavg: 1.55 1.89 1.88 2/80 16393
/proc/meminfo: memFree=1715816/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=17156 CPUtime=16.56
/proc/16359/stat : 16359 (pbclasp) S 16357 16359 16276 0 -1 4194304 3380 13132 0 4 188 1 1454 13 16 0 1 0 104542916 17567744 1649 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16359/statm: 4289 1649 343 3 0 1389 0
[pid=16391] ppid=16359 vsize=5352 CPUtime=0
/proc/16391/stat : 16391 (sh) S 16359 16359 16276 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104544586 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16391/statm: 1338 224 188 169 0 49 0
[pid=16393] ppid=16391 vsize=13144 CPUtime=8.78
/proc/16393/stat : 16393 (clasp-1.0) R 16391 16359 16276 0 -1 4194304 3071 0 0 0 877 1 0 0 25 0 1 0 104544586 13459456 2907 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617539 0 0 4096 0 0 0 0 17 1 0 0
/proc/16393/statm: 3286 2907 249 81 0 2660 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 35652

[startup+51.102 s]
/proc/loadavg: 1.33 1.80 1.85 2/80 16393
/proc/meminfo: memFree=1676528/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=17156 CPUtime=16.56
/proc/16359/stat : 16359 (pbclasp) S 16357 16359 16276 0 -1 4194304 3380 13132 0 4 188 1 1454 13 16 0 1 0 104542916 17567744 1649 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16359/statm: 4289 1649 343 3 0 1389 0
[pid=16391] ppid=16359 vsize=5352 CPUtime=0
/proc/16391/stat : 16391 (sh) S 16359 16359 16276 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104544586 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16391/statm: 1338 224 188 169 0 49 0
[pid=16393] ppid=16391 vsize=53444 CPUtime=34.37
/proc/16393/stat : 16393 (clasp-1.0) R 16391 16359 16276 0 -1 4194304 13100 0 0 0 3430 7 0 0 25 0 1 0 104544586 54726656 12936 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617331 0 0 4096 0 0 0 0 17 1 0 0
/proc/16393/statm: 13361 12936 249 81 0 12735 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 75952

[startup+102.305 s]
/proc/loadavg: 1.14 1.68 1.80 2/80 16393
/proc/meminfo: memFree=1666736/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=17156 CPUtime=16.56
/proc/16359/stat : 16359 (pbclasp) S 16357 16359 16276 0 -1 4194304 3380 13132 0 4 188 1 1454 13 16 0 1 0 104542916 17567744 1649 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16359/statm: 4289 1649 343 3 0 1389 0
[pid=16391] ppid=16359 vsize=5352 CPUtime=0
/proc/16391/stat : 16391 (sh) S 16359 16359 16276 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104544586 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16391/statm: 1338 224 188 169 0 49 0
[pid=16393] ppid=16391 vsize=62628 CPUtime=85.55
/proc/16393/stat : 16393 (clasp-1.0) R 16391 16359 16276 0 -1 4194304 15370 0 0 0 8546 9 0 0 25 0 1 0 104544586 64131072 15206 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617553 0 0 4096 0 0 0 0 17 1 0 0
/proc/16393/statm: 15657 15206 249 81 0 15031 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 85136

[startup+162.301 s]
/proc/loadavg: 1.05 1.55 1.75 2/80 16393
/proc/meminfo: memFree=1660720/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=17156 CPUtime=16.56
/proc/16359/stat : 16359 (pbclasp) S 16357 16359 16276 0 -1 4194304 3380 13132 0 4 188 1 1454 13 16 0 1 0 104542916 17567744 1649 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16359/statm: 4289 1649 343 3 0 1389 0
[pid=16391] ppid=16359 vsize=5352 CPUtime=0
/proc/16391/stat : 16391 (sh) S 16359 16359 16276 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104544586 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16391/statm: 1338 224 188 169 0 49 0
[pid=16393] ppid=16391 vsize=68644 CPUtime=145.54
/proc/16393/stat : 16393 (clasp-1.0) R 16391 16359 16276 0 -1 4194304 16876 0 0 0 14543 11 0 0 25 0 1 0 104544586 70291456 16712 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134778609 0 0 4096 0 0 0 0 17 1 0 0
/proc/16393/statm: 17161 16712 249 81 0 16535 0
Current children cumulated CPU time (s) 162.1
Current children cumulated vsize (KiB) 91152

[startup+222.302 s]
/proc/loadavg: 1.02 1.45 1.70 2/86 16483
/proc/meminfo: memFree=1649456/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=17156 CPUtime=16.56
/proc/16359/stat : 16359 (pbclasp) S 16357 16359 16276 0 -1 4194304 3380 13132 0 4 188 1 1454 13 16 0 1 0 104542916 17567744 1649 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16359/statm: 4289 1649 343 3 0 1389 0
[pid=16391] ppid=16359 vsize=5352 CPUtime=0
/proc/16391/stat : 16391 (sh) S 16359 16359 16276 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104544586 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16391/statm: 1338 224 188 169 0 49 0
[pid=16393] ppid=16391 vsize=78536 CPUtime=205.46
/proc/16393/stat : 16393 (clasp-1.0) R 16391 16359 16276 0 -1 4194304 19354 0 0 0 20533 13 0 0 25 0 1 0 104544586 80420864 19190 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/16393/statm: 19634 19190 249 81 0 19008 0
Current children cumulated CPU time (s) 222.02
Current children cumulated vsize (KiB) 101044

[startup+282.302 s]
/proc/loadavg: 1.00 1.36 1.65 2/80 16591
/proc/meminfo: memFree=1645872/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=17156 CPUtime=16.56
/proc/16359/stat : 16359 (pbclasp) S 16357 16359 16276 0 -1 4194304 3380 13132 0 4 188 1 1454 13 16 0 1 0 104542916 17567744 1649 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16359/statm: 4289 1649 343 3 0 1389 0
[pid=16391] ppid=16359 vsize=5352 CPUtime=0
/proc/16391/stat : 16391 (sh) S 16359 16359 16276 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104544586 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16391/statm: 1338 224 188 169 0 49 0
[pid=16393] ppid=16391 vsize=83144 CPUtime=265.38
/proc/16393/stat : 16393 (clasp-1.0) R 16391 16359 16276 0 -1 4194304 20509 0 0 0 26524 14 0 0 25 0 1 0 104544586 85139456 20345 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715284 0 0 4096 0 0 0 0 17 1 0 0
/proc/16393/statm: 20786 20345 249 81 0 20160 0
Current children cumulated CPU time (s) 281.94
Current children cumulated vsize (KiB) 105652


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

/proc/16391/statm: 1338 224 188 169 0 49 0
[pid=16393] ppid=16391 vsize=115408 CPUtime=1644.9
/proc/16393/stat : 16393 (clasp-1.0) R 16391 16359 16276 0 -1 4194304 32194 0 0 0 164457 33 0 0 25 0 1 0 104544586 118177792 28390 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134789702 0 0 4096 0 0 0 0 17 1 0 0
/proc/16393/statm: 28852 28390 249 81 0 28226 0
Current children cumulated CPU time (s) 1661.46
Current children cumulated vsize (KiB) 137916

[startup+1722.3 s]
/proc/loadavg: 1.02 1.01 1.11 2/80 16591
/proc/meminfo: memFree=1613232/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=17156 CPUtime=16.56
/proc/16359/stat : 16359 (pbclasp) S 16357 16359 16276 0 -1 4194304 3380 13132 0 4 188 1 1454 13 16 0 1 0 104542916 17567744 1649 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16359/statm: 4289 1649 343 3 0 1389 0
[pid=16391] ppid=16359 vsize=5352 CPUtime=0
/proc/16391/stat : 16391 (sh) S 16359 16359 16276 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104544586 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16391/statm: 1338 224 188 169 0 49 0
[pid=16393] ppid=16391 vsize=116064 CPUtime=1704.87
/proc/16393/stat : 16393 (clasp-1.0) R 16391 16359 16276 0 -1 4194304 32370 0 0 0 170454 33 0 0 25 0 1 0 104544586 118849536 28566 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715250 0 0 4096 0 0 0 0 17 1 0 0
/proc/16393/statm: 29016 28566 249 81 0 28390 0
Current children cumulated CPU time (s) 1721.43
Current children cumulated vsize (KiB) 138572

[startup+1782.3 s]
/proc/loadavg: 1.01 1.00 1.10 2/80 16591
/proc/meminfo: memFree=1613232/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=17156 CPUtime=16.56
/proc/16359/stat : 16359 (pbclasp) S 16357 16359 16276 0 -1 4194304 3380 13132 0 4 188 1 1454 13 16 0 1 0 104542916 17567744 1649 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16359/statm: 4289 1649 343 3 0 1389 0
[pid=16391] ppid=16359 vsize=5352 CPUtime=0
/proc/16391/stat : 16391 (sh) S 16359 16359 16276 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104544586 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16391/statm: 1338 224 188 169 0 49 0
[pid=16393] ppid=16391 vsize=116064 CPUtime=1764.85
/proc/16393/stat : 16393 (clasp-1.0) R 16391 16359 16276 0 -1 4194304 32370 0 0 0 176451 34 0 0 25 0 1 0 104544586 118849536 28566 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715254 0 0 4096 0 0 0 0 17 1 0 0
/proc/16393/statm: 29016 28566 249 81 0 28390 0
Current children cumulated CPU time (s) 1781.41
Current children cumulated vsize (KiB) 138572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.09 2/80 16591
/proc/meminfo: memFree=1612912/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=17156 CPUtime=16.56
/proc/16359/stat : 16359 (pbclasp) S 16357 16359 16276 0 -1 4194304 3380 13132 0 4 188 1 1454 13 16 0 1 0 104542916 17567744 1649 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16359/statm: 4289 1649 343 3 0 1389 0
[pid=16391] ppid=16359 vsize=5352 CPUtime=0
/proc/16391/stat : 16391 (sh) S 16359 16359 16276 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104544586 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16391/statm: 1338 224 188 169 0 49 0
[pid=16393] ppid=16391 vsize=116448 CPUtime=1783.45
/proc/16393/stat : 16393 (clasp-1.0) R 16391 16359 16276 0 -1 4194304 32451 0 0 0 178311 34 0 0 25 0 1 0 104544586 119242752 28647 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134782470 0 0 4096 0 0 0 0 17 1 0 0
/proc/16393/statm: 29112 28647 249 81 0 28486 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 138956

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

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.09 2/80 16591
/proc/meminfo: memFree=1612912/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=17156 CPUtime=16.56
/proc/16359/stat : 16359 (pbclasp) S 16357 16359 16276 0 -1 4194304 3380 13132 0 4 188 1 1454 13 16 0 1 0 104542916 17567744 1649 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16359/statm: 4289 1649 343 3 0 1389 0
[pid=16391] ppid=16359 vsize=5352 CPUtime=0
/proc/16391/stat : 16391 (sh) S 16359 16359 16276 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 104544586 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16391/statm: 1338 224 188 169 0 49 0
[pid=16393] ppid=16391 vsize=116448 CPUtime=1783.45
/proc/16393/stat : 16393 (clasp-1.0) R 16391 16359 16276 0 -1 4194304 32451 0 0 0 178311 34 0 0 25 0 1 0 104544586 119242752 28647 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134782470 0 0 4096 0 0 0 0 17 1 0 0
/proc/16393/statm: 29112 28647 249 81 0 28486 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 138956

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

[startup+1801.02 s]
/proc/loadavg: 1.00 1.00 1.09 2/80 16591
/proc/meminfo: memFree=1612912/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=17156 CPUtime=16.62
/proc/16359/stat : 16359 (pbclasp) S 16357 16359 16276 0 -1 4194304 3549 14911 0 4 190 2 1455 15 16 0 1 0 104542916 17567744 1649 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16359/statm: 4289 1649 343 3 0 1389 0
Current children cumulated CPU time (s) 16.62
Current children cumulated vsize (KiB) 17156

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.09 2/80 16591
/proc/meminfo: memFree=1612912/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=17156 CPUtime=16.62
/proc/16359/stat : 16359 (pbclasp) S 16357 16359 16276 0 -1 4194304 3549 14911 0 4 190 2 1455 15 16 0 1 0 104542916 17567744 1649 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16359/statm: 4289 1649 343 3 0 1389 0
Current children cumulated CPU time (s) 16.62
Current children cumulated vsize (KiB) 17156

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.09 2/81 16602
/proc/meminfo: memFree=1719144/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=17156 CPUtime=16.62
/proc/16359/stat : 16359 (pbclasp) S 16357 16359 16276 0 -1 4194304 3549 14911 0 4 190 2 1455 15 16 0 1 0 104542916 17567744 1649 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16359/statm: 4289 1649 343 3 0 1389 0
[pid=16600] ppid=16359 vsize=5352 CPUtime=0
/proc/16600/stat : 16600 (sh) S 16359 16359 16276 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104723013 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16600/statm: 1338 224 188 169 0 49 0
[pid=16602] ppid=16600 vsize=10008 CPUtime=1.2
/proc/16602/stat : 16602 (clasp-1.0) R 16600 16359 16276 0 -1 4194304 2266 0 0 0 119 1 0 0 25 0 1 0 104723014 10248192 2102 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617713 0 0 4096 0 0 0 0 17 1 0 0
/proc/16602/statm: 2502 2102 249 81 0 1876 0
Current children cumulated CPU time (s) 17.82
Current children cumulated vsize (KiB) 32516

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.09 2/81 16602
/proc/meminfo: memFree=1719144/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=17156 CPUtime=16.62
/proc/16359/stat : 16359 (pbclasp) S 16357 16359 16276 0 -1 4194304 3549 14911 0 4 190 2 1455 15 16 0 1 0 104542916 17567744 1649 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16359/statm: 4289 1649 343 3 0 1389 0
[pid=16600] ppid=16359 vsize=5352 CPUtime=0
/proc/16600/stat : 16600 (sh) S 16359 16359 16276 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104723013 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16600/statm: 1338 224 188 169 0 49 0
[pid=16602] ppid=16600 vsize=10008 CPUtime=1.6
/proc/16602/stat : 16602 (clasp-1.0) R 16600 16359 16276 0 -1 4194304 2267 0 0 0 159 1 0 0 25 0 1 0 104723014 10248192 2103 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733876 0 0 4096 0 0 0 0 17 1 0 0
/proc/16602/statm: 2502 2103 249 81 0 1876 0
Current children cumulated CPU time (s) 18.22
Current children cumulated vsize (KiB) 32516

[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.09 2/81 16602
/proc/meminfo: memFree=1719080/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=17156 CPUtime=16.62
/proc/16359/stat : 16359 (pbclasp) S 16357 16359 16276 0 -1 4194304 3549 14911 0 4 190 2 1455 15 16 0 1 0 104542916 17567744 1649 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16359/statm: 4289 1649 343 3 0 1389 0
[pid=16600] ppid=16359 vsize=5352 CPUtime=0
/proc/16600/stat : 16600 (sh) S 16359 16359 16276 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104723013 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16600/statm: 1338 224 188 169 0 49 0
[pid=16602] ppid=16600 vsize=10008 CPUtime=1.8
/proc/16602/stat : 16602 (clasp-1.0) R 16600 16359 16276 0 -1 4194304 2267 0 0 0 179 1 0 0 25 0 1 0 104723014 10248192 2103 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733936 0 0 4096 0 0 0 0 17 1 0 0
/proc/16602/statm: 2502 2103 249 81 0 1876 0
Current children cumulated CPU time (s) 18.42
Current children cumulated vsize (KiB) 32516

[startup+1802.91 s]
/proc/loadavg: 1.00 1.00 1.09 2/81 16602
/proc/meminfo: memFree=1719080/2055920 swapFree=4159876/4192956
[pid=16359] ppid=16357 vsize=17156 CPUtime=16.62
/proc/16359/stat : 16359 (pbclasp) S 16357 16359 16276 0 -1 4194304 3549 14911 0 4 190 2 1455 15 16 0 1 0 104542916 17567744 1649 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/16359/statm: 4289 1649 343 3 0 1389 0
[pid=16600] ppid=16359 vsize=5352 CPUtime=0
/proc/16600/stat : 16600 (sh) S 16359 16359 16276 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 104723013 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16600/statm: 1338 224 188 169 0 49 0
[pid=16602] ppid=16600 vsize=10008 CPUtime=1.9
/proc/16602/stat : 16602 (clasp-1.0) R 16600 16359 16276 0 -1 4194304 2268 0 0 0 189 1 0 0 25 0 1 0 104723014 10248192 2104 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617501 0 0 4096 0 0 0 0 17 1 0 0
/proc/16602/statm: 2502 2104 249 81 0 1876 0
Current children cumulated CPU time (s) 18.52
Current children cumulated vsize (KiB) 32516

Child status: 0

# 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): 1783.39
#  lost CPU user time (s): 1783.08
#  lost CPU system time (s): 0.31

Real time (s): 1802.93
CPU time (s): 1801.97
CPU user time (s): 1801.45
CPU system time (s): 0.518968
CPU usage (%): 99.9467
Max. virtual memory (cumulated for all children) (KiB): 138956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.3732
system time used= 0.208968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22230
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= 1701
involuntary context switches= 890

runsolver used 1.78973 second user time and 4.77627 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Sat Apr 14 15:57:35 UTC 2007

IDJOB= 350892
IDBENCH= 1607
IDSOLVER= 167
FILE ID= node20/350892-1176566255

PBS_JOBID= 4556885

Free space on /tmp= 66563 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-core2586-950.opb
COMMAND LINE= pbclasp instance-350892-1176566255.opb /tmp/evaluation/350892-1176566255/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node20/convwatcher-350892-1176566255 -o ROOT/results/node20/conversion-350892-1176566255 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350892-1176566255/instance-350892-1176566255.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  ac375eafd62b8d1010f2c1559ff8989d

RANDOM SEED= 37267394

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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.265
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.265
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:       1736080 kB
Buffers:         42712 kB
Cached:         191084 kB
SwapCached:      15220 kB
Active:         157560 kB
Inactive:       102312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1736080 kB
SwapTotal:     4192956 kB
SwapFree:      4159876 kB
Dirty:            1608 kB
Writeback:           0 kB
Mapped:          36156 kB
Slab:            45592 kB
Committed_AS:   205636 kB
PageTables:       1688 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= 66561 MiB

End job on node20 on Sat Apr 14 16:27:39 UTC 2007