Trace number 351854

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)498 1800.1 1801.14

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-gesa3_o.opb
MD5SUMb55f7a8b0d45bfbc16cf27babcf41177
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark498
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 474
Optimality of the best value was proved NO
Number of variables15504
Total number of constraints1416
Number of constraints which are clauses168
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1248
Minimum length of a constraint2
Maximum length of a constraint311
Number of terms in the objective function 8784
Biggest coefficient in the objective function 1523
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 531096
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 531096
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)

19.25/19.32	o 547
36.45/36.57	o 546
53.76/53.81	o 545
70.93/71.02	o 544
88.20/88.30	o 543
105.38/105.52	o 542
122.59/122.72	o 541
139.77/139.92	o 540
156.97/157.15	o 539
174.15/174.40	o 538
191.46/191.61	o 537
208.65/208.85	o 536
225.84/226.02	o 535
243.03/243.24	o 534
260.22/260.41	o 533
277.41/277.62	o 532
294.62/294.88	o 531
311.89/312.12	o 530
329.07/329.32	o 529
346.27/346.52	o 528
363.46/363.72	o 527
380.67/380.95	o 526
397.86/398.16	o 525
415.06/415.39	o 524
432.35/432.60	o 523
449.55/449.85	o 522
466.72/467.05	o 521
483.92/484.26	o 520
501.11/501.50	o 519
518.37/518.73	o 518
535.56/535.98	o 517
552.86/553.21	o 516
570.05/570.45	o 515
587.26/587.69	o 514
604.56/604.90	o 513
621.74/622.11	o 512
638.94/639.31	o 511
656.13/656.52	o 510
673.32/673.74	o 509
690.52/690.95	o 508
707.80/708.20	o 507
724.93/725.40	o 506
757.36/757.99	o 505
793.13/793.75	o 504
829.94/830.56	o 503
1199.91/1200.62	o 502
1225.18/1225.97	o 501
1245.68/1246.44	o 500
1266.64/1267.46	o 499
1288.94/1289.71	o 498
1800.10/1801.12	c Somebody sent me a SIGTERM
1800.10/1801.12	s SATISFIABLE
1800.10/1801.12	v x302 x317 x1036 x1756 x3166 x3286 x6678 x6694 x6695 x6696 x6697 x6708 x6737 x6768 x6798 x6828 x6858 x6948 x6967 x6978 x7006
1800.10/1801.12	v x7038 x7067 x7128 x7158 x7426 x7694 x7724 x7726 x7786 x7877 x8164 x8177 x8327 x8529 x8530 x8537 x8642 x8656 x8657 x8658 x8685
1800.10/1801.12	v x8687 x8688 x8717 x8718 x8747 x8748 x8777 x8778 x8807 x8808 x8821 x8838 x8866 x8867 x8896 x8897 x8898 x8921 x8922 x8923 x8925
1800.10/1801.12	v x8926 x8927 x8928 x8957 x8958 x8984 x8985 x8986 x8987 x8988 x9015 x9016 x9017 x9018 x9031 x9041 x9042 x9043 x9044 x9046 x9047
1800.10/1801.12	v x9048 x9061 x9062 x9063 x9064 x9065 x9066 x9067 x9068 x9074 x9075 x9076 x9078 x9105 x9106 x9107 x9108 x9135 x9136 x9137 x9138
1800.10/1801.12	v x9157 x9158 x9159 x9160 x9161 x9162 x9163 x9164 x9166 x9167 x9168 x9184 x9185 x9186 x9187 x9188 x9189 x9191 x9192 x9193 x9194
1800.10/1801.12	v x9195 x9198 x9218 x9219 x9220 x9221 x9222 x9223 x9224 x9226 x9227 x9228 x9244 x9245 x9246 x9247 x9248 x9250 x9251 x9252 x9253
1800.10/1801.12	v x9254 x9255 x9258 x9278 x9279 x9280 x9282 x9283 x9284 x9285 x9286 x9288 x9314 x9315 x9316 x9318 x9339 x9340 x9341 x9342 x9344
1800.10/1801.12	v x9345 x9347 x9348 x10272 x10276 x10300 x10306 x10330 x10336 x10420 x10426 x10450 x10456 x10510 x10516 x10540 x10546 x10576
1800.10/1801.12	v x10810 x10811 x10815 x10840 x10841 x10845 x10870 x10871 x10875 x10900 x10901 x10905 x10930 x10931 x10935 x10960 x10961
1800.10/1801.12	v x10965 x11026 x11056 x11078 x11079 x11085 x11101 x11102 x11106 x11107 x11116 x11146 x11176 x11199 x11200 x11204 x11236
1800.10/1801.12	v x11266 x11289 x11290 x11295 x11318 x11319 x11320 x11321 x11323 x11325 x11347 x11348 x11349 x11352 x11353 x11355 x11377
1800.10/1801.12	v x11378 x11379 x11382 x11383 x11385 x11407 x11408 x11409 x11412 x11413 x11415 x11437 x11438 x11439 x11442 x11443 x11445
1800.10/1801.12	v x11468 x11469 x11470 x11473 x11475 x11498 x11499 x11500 x11501 x11503 x12557 x13269 x13270 x13271 x13272 x13273 x13635
1800.10/1801.12	v x13687 x13690 x13691 x13692 x13717 x13720 x13721 x13722 x13747 x13750 x13751 x13752 x13784 x13785 x13814 x13815 x13844
1800.10/1801.12	v x13845 x13867 x13870 x13871 x13872 x13903 x13904 x13905 x13926 x13930 x13931 x13932 x13933 x13956 x13960 x13961 x13962
1800.10/1801.12	v x13963 x13982 x13985 x13987 x13994 x14015 x14016 x14020 x14021 x14023 x14045 x14052 x14054 x14055 x14075 x14076 x14080
1800.10/1801.12	v x14081 x14083 x14106 x14110 x14111 x14112 x14113 x14135 x14136 x14140 x14141 x14143 x14165 x14166 x14170 x14171 x14173
1800.10/1801.12	v x14197 x14199 x14200 x14201 x14202 x14204 x14223 x14229 x14230 x14231 x14232 x14233 x14254 x14261 x14262 x14263 x14265
1800.10/1801.12	v x14284 x14286 x14287 x14288 x14290 x14291 x14316 x14322 x14324 x14325 x14353 x14354 x14355 x14381 x14382 x14384 x14385
1800.10/1801.12	v x14445 x14472 x14490 x14520 x14547 x14550 x14556 x14565 x14577 x14582 x14589 x14593 x14595 x14597 x14599 x14601 x14603
1800.10/1801.12	v x14671 x14676 x14679 x14690 x14703 x14704 x14710 x14718 x14781 x14782 x14830 x14854 x14863 x14872 x14881 x14892 x14895
1800.10/1801.12	v x14899 x14949 x14952 x14955 x14958 x14961 x14964 x14967 x14976 x14979 x14982 x14985 x14987 x14994 x14997 x15023 x15049
1800.10/1801.12	v x15054 x15059 x15069 x15081 x15086 x15093 x15098 x15100 x15102 x15104 x15106 x15108 x15110 x15112 x15114 x15116 x15118
1800.10/1801.12	v x15120 x15122 x15124 x15126 x15128 x15130 x15132 x15134 x15136 x15138 x15140 x15142 x15144 x15175 x15176 x15177 x15180
1800.10/1801.12	v x15181 x15183 x15184 x15185 x15194 x15196 x15198 x15200 x15202 x15204 x15207 x15208 x15209 x15210 x15212 x15213 x15214
1800.10/1801.12	v x15215 x15216 x15217 x15218 x15219 x15221 x15222 x15223 x15224 x15226 x15228 x15230 x15232 x15234 x15236 x15238 x15239
1800.10/1801.12	v x15285 x15286 x15333 x15358 x15361 x15363 x15365 x15368 x15370 x15372 x15373 x15376 x15377 x15379 x15381 x15383 x15386
1800.10/1801.12	v x15387 x15389 x15391 x15393 x15396 x15397 x15400 x15401 x15404 x15406 x15408 x15409 x15410 x15411 x15412 x15413 x15414
1800.10/1801.12	v x15415 x15416 x15417 x15418 x15419 x15420 x15421 x15422 x15423 x15424 x15425 x15426 x15427 x15428 x15429 x15430 x15431
1800.10/1801.12	v x15432 x15464 x15465 x15466 x15468 x15469 x15470 x15471 x15472 x15473 x15481 x15487
1800.10/1801.12	pb2clasp1: no process killed
1800.10/1801.13	clasp-1.0: no process killed

Verifier Data (download as text)

OK	498

Conversion Script Data (download as text)

/tmp/evaluation/351854-1176615475/instance-351854-1176615475.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/node58/watcher-351854-1176615475 -o ROOT/results/node58/solver-351854-1176615475 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351854-1176615475.opb /tmp/evaluation/351854-1176615475/temp 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10018
/proc/meminfo: memFree=1595064/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=12268 CPUtime=0
/proc/10018/stat : 10018 (pbclasp) D 10016 10018 9317 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 109457235 12562432 317 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226238364261 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/10018/statm: 3067 317 242 3 0 167 0

[startup+0.016593 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10018
/proc/meminfo: memFree=1595064/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=12796 CPUtime=0
/proc/10018/stat : 10018 (pbclasp) R 10016 10018 9317 0 -1 4194304 562 0 0 0 0 0 0 0 18 0 1 0 109457235 13103104 528 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226238042849 0 0 4224 16384 0 0 0 17 1 0 0
/proc/10018/statm: 3199 528 314 3 0 299 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12796

[startup+0.101605 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10018
/proc/meminfo: memFree=1595064/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=13452 CPUtime=0.09
/proc/10018/stat : 10018 (pbclasp) R 10016 10018 9317 0 -1 4194304 739 0 0 0 9 0 0 0 18 0 1 0 109457235 13774848 705 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226238076319 0 0 4224 16384 0 0 0 17 1 0 0
/proc/10018/statm: 3363 705 320 3 0 463 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13452

[startup+0.301637 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10018
/proc/meminfo: memFree=1595064/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=13716 CPUtime=0.29
/proc/10018/stat : 10018 (pbclasp) R 10016 10018 9317 0 -1 4194304 794 0 0 0 29 0 0 0 19 0 1 0 109457235 14045184 760 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226256424706 0 0 4224 16384 0 0 0 17 1 0 0
/proc/10018/statm: 3429 760 320 3 0 529 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13716

[startup+0.701704 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10018
/proc/meminfo: memFree=1595064/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=14304 CPUtime=0.69
/proc/10018/stat : 10018 (pbclasp) R 10016 10018 9317 0 -1 4194304 953 0 0 0 69 0 0 0 22 0 1 0 109457235 14647296 919 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226256424712 0 0 4224 16384 0 0 0 17 1 0 0
/proc/10018/statm: 3576 919 320 3 0 676 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14304

[startup+1.50183 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 10021
/proc/meminfo: memFree=1590688/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=15096 CPUtime=0.87
/proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 1169 0 0 0 87 0 0 0 16 0 1 0 109457235 15458304 1121 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247094370 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/10018/statm: 3774 1121 324 3 0 874 0
[pid=10020] ppid=10018 vsize=5352 CPUtime=0
/proc/10020/stat : 10020 (sh) S 10018 10018 9317 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 109457323 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10020/statm: 1338 229 193 169 0 49 0
[pid=10021] ppid=10020 vsize=12532 CPUtime=0.61
/proc/10021/stat : 10021 (pb2clasp1) R 10020 10018 9317 0 -1 4194304 539 0 0 0 60 1 0 0 22 0 1 0 109457323 12832768 501 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 226247094226 0 0 4224 0 0 0 0 17 1 0 0
/proc/10021/statm: 3133 501 340 3 0 233 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 32980

[startup+3.10209 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 10028
/proc/meminfo: memFree=1580768/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=15888 CPUtime=1.52
/proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 1731 1629 0 0 89 0 61 2 17 0 1 0 109457235 16269312 1334 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10018/statm: 3972 1334 343 3 0 1072 0
[pid=10026] ppid=10018 vsize=5352 CPUtime=0
/proc/10026/stat : 10026 (sh) S 10018 10018 9317 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 109457391 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10026/statm: 1338 224 188 169 0 49 0
[pid=10028] ppid=10026 vsize=9872 CPUtime=1.53
/proc/10028/stat : 10028 (clasp-1.0) R 10026 10018 9317 0 -1 4194304 2210 0 0 0 152 1 0 0 25 0 1 0 109457391 10108928 2077 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/10028/statm: 2468 2077 249 81 0 1842 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 31112

[startup+6.30161 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 10028
/proc/meminfo: memFree=1580768/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=15888 CPUtime=1.52
/proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 1731 1629 0 0 89 0 61 2 17 0 1 0 109457235 16269312 1334 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10018/statm: 3972 1334 343 3 0 1072 0
[pid=10026] ppid=10018 vsize=5352 CPUtime=0
/proc/10026/stat : 10026 (sh) S 10018 10018 9317 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 109457391 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10026/statm: 1338 224 188 169 0 49 0
[pid=10028] ppid=10026 vsize=9872 CPUtime=4.73
/proc/10028/stat : 10028 (clasp-1.0) R 10026 10018 9317 0 -1 4194304 2213 0 0 0 472 1 0 0 25 0 1 0 109457391 10108928 2080 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/10028/statm: 2468 2080 249 81 0 1842 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 31112

[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 10028
/proc/meminfo: memFree=1580768/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=15888 CPUtime=1.52
/proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 1731 1629 0 0 89 0 61 2 17 0 1 0 109457235 16269312 1334 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10018/statm: 3972 1334 343 3 0 1072 0
[pid=10026] ppid=10018 vsize=5352 CPUtime=0
/proc/10026/stat : 10026 (sh) S 10018 10018 9317 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 109457391 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10026/statm: 1338 224 188 169 0 49 0
[pid=10028] ppid=10026 vsize=9872 CPUtime=11.13
/proc/10028/stat : 10028 (clasp-1.0) R 10026 10018 9317 0 -1 4194304 2214 0 0 0 1112 1 0 0 25 0 1 0 109457391 10108928 2081 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617511 0 0 4096 0 0 0 0 17 1 0 0
/proc/10028/statm: 2468 2081 249 81 0 1842 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 31112

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 10036
/proc/meminfo: memFree=1580112/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=15888 CPUtime=19.32
/proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 1997 5203 0 0 91 0 1835 6 16 0 1 0 109457235 16269312 1342 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10018/statm: 3972 1342 343 3 0 1072 0
[pid=10034] ppid=10018 vsize=5352 CPUtime=0
/proc/10034/stat : 10034 (sh) S 10018 10018 9317 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 109459170 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10034/statm: 1338 224 188 169 0 49 0
[pid=10036] ppid=10034 vsize=10636 CPUtime=6.13
/proc/10036/stat : 10036 (clasp-1.0) R 10034 10018 9317 0 -1 4194304 2372 0 0 0 613 0 0 0 25 0 1 0 109459170 10891264 2239 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0
/proc/10036/statm: 2659 2239 249 81 0 2033 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 31876

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 10046
/proc/meminfo: memFree=1580000/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=15888 CPUtime=36.58
/proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 2181 9004 0 0 92 1 3556 9 16 0 1 0 109457235 16269312 1343 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10018/statm: 3972 1343 343 3 0 1072 0
[pid=10044] ppid=10018 vsize=5352 CPUtime=0
/proc/10044/stat : 10044 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 109460895 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10044/statm: 1338 224 188 169 0 49 0
[pid=10046] ppid=10044 vsize=10768 CPUtime=14.48
/proc/10046/stat : 10046 (clasp-1.0) R 10044 10018 9317 0 -1 4194304 2426 0 0 0 1447 1 0 0 25 0 1 0 109460896 11026432 2293 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617668 0 0 4096 0 0 0 0 17 1 0 0
/proc/10046/statm: 2692 2293 249 81 0 2066 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 32008

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 10070
/proc/meminfo: memFree=1579936/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=15888 CPUtime=88.23
/proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 2538 20395 0 0 95 1 8708 19 16 0 1 0 109457235 16269312 1343 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10018/statm: 3972 1343 343 3 0 1072 0
[pid=10068] ppid=10018 vsize=5352 CPUtime=0
/proc/10068/stat : 10068 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 109466069 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10068/statm: 1338 224 188 169 0 49 0
[pid=10070] ppid=10068 vsize=10768 CPUtime=13.95
/proc/10070/stat : 10070 (clasp-1.0) R 10068 10018 9317 0 -1 4194304 2423 0 0 0 1394 1 0 0 25 0 1 0 109466069 11026432 2290 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617331 0 0 4096 0 0 0 0 17 1 0 0
/proc/10070/statm: 2692 2290 249 81 0 2066 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 32008

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 10102
/proc/meminfo: memFree=1580064/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=15888 CPUtime=157.06
/proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 3020 35583 0 0 99 2 15571 34 16 0 1 0 109457235 16269312 1343 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10018/statm: 3972 1343 343 3 0 1072 0
[pid=10100] ppid=10018 vsize=5352 CPUtime=0
/proc/10100/stat : 10100 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 109472953 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10100/statm: 1338 224 188 169 0 49 0
[pid=10102] ppid=10100 vsize=10636 CPUtime=5.1
/proc/10102/stat : 10102 (clasp-1.0) R 10100 10018 9317 0 -1 4194304 2372 0 0 0 510 0 0 0 25 0 1 0 109472954 10891264 2239 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134736664 0 0 4096 0 0 0 0 17 1 0 0
/proc/10102/statm: 2659 2239 249 81 0 2033 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 31876

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 10126
/proc/meminfo: memFree=1579808/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=15888 CPUtime=208.75
/proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 3389 46974 0 0 103 3 20725 44 16 0 1 0 109457235 16269312 1343 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10018/statm: 3972 1343 343 3 0 1072 0
[pid=10124] ppid=10018 vsize=5352 CPUtime=0
/proc/10124/stat : 10124 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 109478124 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10124/statm: 1338 224 188 169 0 49 0
[pid=10126] ppid=10124 vsize=10768 CPUtime=13.39
/proc/10126/stat : 10126 (clasp-1.0) R 10124 10018 9317 0 -1 4194304 2422 0 0 0 1337 2 0 0 25 0 1 0 109478124 11026432 2289 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617337 0 0 4096 0 0 0 0 17 1 0 0
/proc/10126/statm: 2692 2289 249 81 0 2066 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 32008

[startup+282.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 10158
/proc/meminfo: memFree=1579808/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=15888 CPUtime=277.48
/proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 3881 62162 0 0 108 4 27577 59 16 0 1 0 109457235 16269312 1343 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10018/statm: 3972 1343 343 3 0 1072 0
[pid=10156] ppid=10018 vsize=5352 CPUtime=0
/proc/10156/stat : 10156 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109485000 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10156/statm: 1338 224 188 169 0 49 0

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

/proc/meminfo: memFree=1550816/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=15888 CPUtime=1288.99
/proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 8625 227127 0 0 146 12 128547 194 17 0 1 0 109457235 16269312 1345 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10018/statm: 3972 1345 343 3 0 1072 0
[pid=10428] ppid=10018 vsize=5352 CPUtime=0
/proc/10428/stat : 10428 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109586209 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10428/statm: 1338 224 188 169 0 49 0
[pid=10430] ppid=10428 vsize=39096 CPUtime=72.52
/proc/10430/stat : 10430 (clasp-1.0) R 10428 10018 9317 0 -1 4194304 9504 0 0 0 7246 6 0 0 25 0 1 0 109586210 40034304 9355 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/10430/statm: 9774 9355 249 81 0 9148 0
Current children cumulated CPU time (s) 1361.51
Current children cumulated vsize (KiB) 60336

[startup+1422.31 s]
/proc/loadavg: 1.04 1.01 1.00 2/73 10596
/proc/meminfo: memFree=1542048/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=15888 CPUtime=1288.99
/proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 8625 227127 0 0 146 12 128547 194 17 0 1 0 109457235 16269312 1345 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10018/statm: 3972 1345 343 3 0 1072 0
[pid=10428] ppid=10018 vsize=5352 CPUtime=0
/proc/10428/stat : 10428 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109586209 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10428/statm: 1338 224 188 169 0 49 0
[pid=10430] ppid=10428 vsize=46892 CPUtime=132.44
/proc/10430/stat : 10430 (clasp-1.0) R 10428 10018 9317 0 -1 4194304 11425 0 0 0 13235 9 0 0 25 0 1 0 109586210 48017408 11276 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/10430/statm: 11723 11276 249 81 0 11097 0
Current children cumulated CPU time (s) 1421.43
Current children cumulated vsize (KiB) 68132

[startup+1482.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/67 10628
/proc/meminfo: memFree=1524512/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=15888 CPUtime=1288.99
/proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 8625 227127 0 0 146 12 128547 194 17 0 1 0 109457235 16269312 1345 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10018/statm: 3972 1345 343 3 0 1072 0
[pid=10428] ppid=10018 vsize=5352 CPUtime=0
/proc/10428/stat : 10428 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109586209 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10428/statm: 1338 224 188 169 0 49 0
[pid=10430] ppid=10428 vsize=65404 CPUtime=192.4
/proc/10430/stat : 10430 (clasp-1.0) R 10428 10018 9317 0 -1 4194304 16043 0 0 0 19227 13 0 0 25 0 1 0 109586210 66973696 15894 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134792581 0 0 4096 0 0 0 0 17 1 0 0
/proc/10430/statm: 16351 15894 249 81 0 15725 0
Current children cumulated CPU time (s) 1481.39
Current children cumulated vsize (KiB) 86644

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10628
/proc/meminfo: memFree=1513184/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=15888 CPUtime=1288.99
/proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 8625 227127 0 0 146 12 128547 194 17 0 1 0 109457235 16269312 1345 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10018/statm: 3972 1345 343 3 0 1072 0
[pid=10428] ppid=10018 vsize=5352 CPUtime=0
/proc/10428/stat : 10428 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109586209 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10428/statm: 1338 224 188 169 0 49 0
[pid=10430] ppid=10428 vsize=76992 CPUtime=252.38
/proc/10430/stat : 10430 (clasp-1.0) R 10428 10018 9317 0 -1 4194304 18932 0 0 0 25224 14 0 0 25 0 1 0 109586210 78839808 18783 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784608 0 0 4096 0 0 0 0 17 1 0 0
/proc/10430/statm: 19248 18783 249 81 0 18622 0
Current children cumulated CPU time (s) 1541.37
Current children cumulated vsize (KiB) 98232

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10628
/proc/meminfo: memFree=1509728/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=15888 CPUtime=1288.99
/proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 8625 227127 0 0 146 12 128547 194 17 0 1 0 109457235 16269312 1345 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10018/statm: 3972 1345 343 3 0 1072 0
[pid=10428] ppid=10018 vsize=5352 CPUtime=0
/proc/10428/stat : 10428 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109586209 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10428/statm: 1338 224 188 169 0 49 0
[pid=10430] ppid=10428 vsize=80204 CPUtime=312.36
/proc/10430/stat : 10430 (clasp-1.0) R 10428 10018 9317 0 -1 4194304 19741 0 0 0 31221 15 0 0 25 0 1 0 109586210 82128896 19592 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784608 0 0 4096 0 0 0 0 17 1 0 0
/proc/10430/statm: 20051 19592 249 81 0 19425 0
Current children cumulated CPU time (s) 1601.35
Current children cumulated vsize (KiB) 101444

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10628
/proc/meminfo: memFree=1509728/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=15888 CPUtime=1288.99
/proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 8625 227127 0 0 146 12 128547 194 17 0 1 0 109457235 16269312 1345 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10018/statm: 3972 1345 343 3 0 1072 0
[pid=10428] ppid=10018 vsize=5352 CPUtime=0
/proc/10428/stat : 10428 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109586209 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10428/statm: 1338 224 188 169 0 49 0
[pid=10430] ppid=10428 vsize=79992 CPUtime=372.34
/proc/10430/stat : 10430 (clasp-1.0) R 10428 10018 9317 0 -1 4194304 19741 0 0 0 37219 15 0 0 25 0 1 0 109586210 81911808 19540 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/10430/statm: 19998 19540 249 81 0 19372 0
Current children cumulated CPU time (s) 1661.33
Current children cumulated vsize (KiB) 101232

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10628
/proc/meminfo: memFree=1509728/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=15888 CPUtime=1288.99
/proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 8625 227127 0 0 146 12 128547 194 17 0 1 0 109457235 16269312 1345 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10018/statm: 3972 1345 343 3 0 1072 0
[pid=10428] ppid=10018 vsize=5352 CPUtime=0
/proc/10428/stat : 10428 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109586209 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10428/statm: 1338 224 188 169 0 49 0
[pid=10430] ppid=10428 vsize=79992 CPUtime=432.33
/proc/10430/stat : 10430 (clasp-1.0) R 10428 10018 9317 0 -1 4194304 19741 0 0 0 43218 15 0 0 25 0 1 0 109586210 81911808 19540 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/10430/statm: 19998 19540 249 81 0 19372 0
Current children cumulated CPU time (s) 1721.32
Current children cumulated vsize (KiB) 101232

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10628
/proc/meminfo: memFree=1509856/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=15888 CPUtime=1288.99
/proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 8625 227127 0 0 146 12 128547 194 17 0 1 0 109457235 16269312 1345 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10018/statm: 3972 1345 343 3 0 1072 0
[pid=10428] ppid=10018 vsize=5352 CPUtime=0
/proc/10428/stat : 10428 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109586209 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10428/statm: 1338 224 188 169 0 49 0
[pid=10430] ppid=10428 vsize=79992 CPUtime=492.31
/proc/10430/stat : 10430 (clasp-1.0) R 10428 10018 9317 0 -1 4194304 19741 0 0 0 49216 15 0 0 25 0 1 0 109586210 81911808 19540 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/10430/statm: 19998 19540 249 81 0 19372 0
Current children cumulated CPU time (s) 1781.3
Current children cumulated vsize (KiB) 101232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10628
/proc/meminfo: memFree=1509856/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=15888 CPUtime=1288.99
/proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 8625 227127 0 0 146 12 128547 194 17 0 1 0 109457235 16269312 1345 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10018/statm: 3972 1345 343 3 0 1072 0
[pid=10428] ppid=10018 vsize=5352 CPUtime=0
/proc/10428/stat : 10428 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109586209 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10428/statm: 1338 224 188 169 0 49 0
[pid=10430] ppid=10428 vsize=79992 CPUtime=511.11
/proc/10430/stat : 10430 (clasp-1.0) R 10428 10018 9317 0 -1 4194304 19741 0 0 0 51096 15 0 0 25 0 1 0 109586210 81911808 19540 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/10430/statm: 19998 19540 249 81 0 19372 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 101232

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

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

[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10628
/proc/meminfo: memFree=1509856/2055920 swapFree=4184728/4192956
[pid=10018] ppid=10016 vsize=15888 CPUtime=1288.99
/proc/10018/stat : 10018 (pbclasp) S 10016 10018 9317 0 -1 4194304 8625 227127 0 0 146 12 128547 194 17 0 1 0 109457235 16269312 1345 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226247098260 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10018/statm: 3972 1345 343 3 0 1072 0
[pid=10428] ppid=10018 vsize=5352 CPUtime=0
/proc/10428/stat : 10428 (sh) S 10018 10018 9317 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 109586209 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10428/statm: 1338 224 188 169 0 49 0
[pid=10430] ppid=10428 vsize=79992 CPUtime=511.11
/proc/10430/stat : 10430 (clasp-1.0) R 10428 10018 9317 0 -1 4194304 19741 0 0 0 51096 15 0 0 25 0 1 0 109586210 81911808 19540 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/10430/statm: 19998 19540 249 81 0 19372 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 101232

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10018 and gives
#  childrusage.ru_utime.tv_sec=1286
#  childrusage.ru_utime.tv_usec=953353
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=80683
# CPU time returned by wait4() is 1289.03
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1801.14
CPU time (s): 1800.1
CPU user time (s): 1797.89
CPU system time (s): 2.21
CPU usage (%): 99.9422
Max. virtual memory (cumulated for all children) (KiB): 101508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1286.95
system time used= 2.08068
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237060
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= 16025
involuntary context switches= 5522

runsolver used 2.25766 second user time and 4.30335 second system time

The end

Launcher Data (download as text)

Begin job on node58 on Sun Apr 15 05:37:55 UTC 2007

IDJOB= 351854
IDBENCH= 1829
IDSOLVER= 167
FILE ID= node58/351854-1176615475

PBS_JOBID= 4557036

Free space on /tmp= 66564 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-gesa3_o.opb
COMMAND LINE= pbclasp instance-351854-1176615475.opb /tmp/evaluation/351854-1176615475/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node58/convwatcher-351854-1176615475 -o ROOT/results/node58/conversion-351854-1176615475 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351854-1176615475/instance-351854-1176615475.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  b55f7a8b0d45bfbc16cf27babcf41177

RANDOM SEED= 179167714

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node58.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:       1595472 kB
Buffers:         37584 kB
Cached:         314272 kB
SwapCached:       2696 kB
Active:         137204 kB
Inactive:       226104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1595472 kB
SwapTotal:     4192956 kB
SwapFree:      4184728 kB
Dirty:            1052 kB
Writeback:           0 kB
Mapped:          17852 kB
Slab:            83220 kB
Committed_AS:   173548 kB
PageTables:       1384 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 node58 on Sun Apr 15 06:07:59 UTC 2007