Trace number 351100

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)1360 1801.98 1802.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sctap2.opb
MD5SUM85d5cf87b7b65babdb4e7a6c3071d7ec
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark885
Best CPU time to get the best result obtained on this benchmark1782.77
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 645
Optimality of the best value was proved NO
Number of variables56400
Total number of constraints1033
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 constraints1033
Minimum length of a constraint90
Maximum length of a constraint720
Number of terms in the objective function 42300
Biggest coefficient in the objective function 854
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 560740
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 142664
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 560740
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)

60.72/60.88	o 1363
92.92/93.00	o 1360
1800.02/1800.72	c Somebody sent me a SIGTERM
1800.02/1800.72	s SATISFIABLE
1800.02/1800.72	v x13 x43 x73 x103 x133 x163 x193 x223 x253 x283 x313 x343 x373 x403 x433 x463 x493 x523 x553 x583 x613 x643 x673 x703 x733 x763
1800.02/1800.72	v x793 x823 x853 x883 x913 x943 x973 x1003 x1033 x1063 x1093 x1123 x1153 x1183 x1213 x1243 x1273 x1303 x1333 x1363 x1393 x1423
1800.02/1800.72	v x1453 x1483 x1513 x1543 x1573 x1603 x1633 x1663 x1693 x1723 x1753 x1783 x1813 x1843 x1873 x1903 x1933 x1963 x1993 x2023 x2053
1800.02/1800.72	v x2083 x2113 x2143 x2173 x2203 x2233 x2263 x2293 x2323 x2353 x2383 x2413 x2443 x2473 x2503 x2533 x2563 x2593 x2623 x2653 x2683
1800.02/1800.72	v x2713 x2743 x2773 x2803 x2833 x2863 x2893 x2923 x2953 x2983 x3013 x3043 x3073 x3103 x3133 x3163 x3193 x3223 x3253 x3283 x3313
1800.02/1800.72	v x3343 x3373 x3403 x3433 x3463 x3493 x3523 x3553 x3583 x3613 x3643 x3673 x3703 x3733 x3763 x3793 x3823 x3853 x3883 x3913 x3943
1800.02/1800.72	v x3973 x4003 x4033 x4063 x4093 x4123 x4153 x4183 x4213 x4243 x4273 x4303 x4333 x4363 x4393 x4423 x4453 x4483 x4513 x4543 x4573
1800.02/1800.72	v x4603 x4633 x4663 x4693 x4723 x4753 x4783 x4813 x4843 x4873 x4903 x4933 x4963 x4993 x5023 x5053 x5083 x5113 x5143 x5173 x5203
1800.02/1800.72	v x5233 x5263 x5293 x5323 x5353 x5383 x5413 x5443 x5473 x5503 x5533 x5563 x5593 x5623 x5653 x5683 x5713 x5743 x5773 x5803 x5833
1800.02/1800.72	v x5863 x5893 x5923 x5953 x5983 x6013 x6043 x6073 x6103 x6133 x6163 x6193 x6223 x6253 x6283 x6313 x6343 x6373 x6403 x6433 x6463
1800.02/1800.72	v x6493 x6523 x6553 x6583 x6613 x6643 x6673 x6703 x6733 x6763 x6793 x6823 x6853 x6883 x6913 x6943 x6973 x7003 x7033 x7063 x7093
1800.02/1800.72	v x7123 x7153 x7183 x7213 x7243 x7273 x7303 x7333 x7363 x7393 x7423 x7453 x7483 x7513 x7543 x7573 x7603 x7633 x7663 x7693 x7723
1800.02/1800.72	v x7753 x7783 x7813 x7843 x7873 x7903 x7933 x7963 x7993 x8023 x8053 x8083 x8113 x8143 x8173 x8203 x8233 x8263 x8293 x8323 x8353
1800.02/1800.72	v x8383 x8413 x8443 x8473 x8503 x8533 x8563 x8593 x8623 x8653 x8683 x8713 x8743 x8773 x8803 x8833 x8863 x8893 x8923 x8953 x8983
1800.02/1800.72	v x9013 x9043 x9073 x9103 x9133 x9163 x9193 x9223 x9253 x9283 x9313 x9343 x9373 x9403 x9433 x9463 x9493 x9523 x9553 x9583 x9613
1800.02/1800.72	v x9643 x9673 x9703 x9733 x9763 x9793 x9823 x9853 x9883 x9913 x9943 x9973 x10003 x10033 x10063 x10093 x10123 x10153 x10183
1800.02/1800.72	v x10213 x10243 x10273 x10303 x10333 x10363 x10393 x10423 x10453 x10483 x10513 x10543 x10573 x10603 x10633 x10663 x10693
1800.02/1800.72	v x10723 x10753 x10783 x10813 x10843 x10873 x10903 x10933 x10963 x10993 x11023 x11053 x11083 x11113 x11143 x11173 x11203
1800.02/1800.72	v x11233 x11263 x11293 x11323 x11353 x11383 x11413 x11443 x11473 x11503 x11533 x11563 x11593 x11623 x11653 x11683 x11713
1800.02/1800.72	v x11743 x11773 x11803 x11833 x11863 x11893 x11923 x11953 x11983 x12013 x12043 x12073 x12103 x12133 x12163 x12193 x12223
1800.02/1800.72	v x12253 x12283 x12313 x12343 x12373 x12403 x12433 x12463 x12493 x12523 x12553 x12583 x12613 x12643 x12673 x12703 x12733
1800.02/1800.72	v x12763 x12793 x12823 x12853 x12883 x12913 x12943 x12973 x13003 x13033 x13063 x13093 x13123 x13153 x13183 x13213 x13243
1800.02/1800.72	v x13273 x13303 x13333 x13363 x13393 x13423 x13453 x13483 x13513 x13543 x13573 x13603 x13633 x13663 x13693 x13723 x13753
1800.02/1800.72	v x13783 x13813 x13843 x13873 x13903 x13933 x13963 x13993 x14023 x14053 x14083 x46827 x46828 x46829 x46830 x46859 x46890
1800.02/1800.72	v x46919 x46920 x46948 x46949 x46950 x46977 x46978 x46979 x46980 x47007 x47008 x47009 x47010 x47037 x47038 x47039 x47040
1800.02/1800.72	v x47067 x47068 x47069 x47070 x47097 x47098 x47099 x47100 x47423 x47424 x47425 x47426 x47427 x47428 x47429 x47430 x47490
1800.02/1800.72	v x47519 x47520 x47548 x47549 x47550 x47577 x47578 x47579 x47580 x47606 x47607 x47608 x47609 x47610 x47635 x47636 x47637
1800.02/1800.72	v x47638 x47639 x47640 x47664 x47665 x47666 x47667 x47668 x47669 x47670 x47693 x47694 x47695 x47696 x47697 x47698 x47699
1800.02/1800.72	v x47700 x48024 x48025 x48026 x48027 x48028 x48029 x48030 x48059 x48090 x48119 x48120 x48148 x48149 x48150 x48177 x48178
1800.02/1800.72	v x48179 x48180 x48206 x48207 x48208 x48209 x48210 x48235 x48236 x48237 x48238 x48239 x48240 x48264 x48265 x48266 x48267
1800.02/1800.72	v x48268 x48269 x48270 x48294 x48295 x48296 x48297 x48298 x48299 x48300 x54024 x54025 x54026 x54027 x54028 x54029 x54030
1800.02/1800.72	v x54059 x54090 x54119 x54120 x54148 x54149 x54150 x54177 x54178 x54179 x54180 x54206 x54207 x54208 x54209 x54210 x54235
1800.02/1800.72	v x54236 x54237 x54238 x54239 x54240 x54264 x54265 x54266 x54267 x54268 x54269 x54270 x54294 x54295 x54296 x54297 x54298
1800.02/1800.72	v x54299 x54300 x54625 x54626 x54627 x54628 x54629 x54630 x54690 x54719 x54720 x54748 x54749 x54750 x54777 x54778 x54779
1800.02/1800.72	v x54780 x54806 x54807 x54808 x54809 x54810 x54835 x54836 x54837 x54838 x54839 x54840 x54865 x54866 x54867 x54868 x54869
1800.02/1800.72	v x54870 x54895 x54896 x54897 x54898 x54899 x54900 x54925 x54926 x54927 x54928 x54929 x54930 x54959 x54990 x55019 x55020
1800.02/1800.72	v x55048 x55049 x55050 x55077 x55078 x55079 x55080 x55106 x55107 x55108 x55109 x55110 x55135 x55136 x55137 x55138 x55139
1800.02/1800.72	v x55140 x55165 x55166 x55167 x55168 x55169 x55170 x55195 x55196 x55197 x55198 x55199 x55200 x56123 x56124 x56125 x56126
1800.02/1800.72	v x56127 x56128 x56129 x56130 x56159 x56190 x56219 x56220 x56248 x56249 x56250 x56277 x56278 x56279 x56280 x56306 x56307
1800.02/1800.72	v x56308 x56309 x56310 x56335 x56336 x56337 x56338 x56339 x56340 x56364 x56365 x56366 x56367 x56368 x56369 x56370 x56393
1800.02/1800.72	v x56394 x56395 x56396 x56397 x56398 x56399 x56400
1800.02/1800.73	pb2clasp1: no process killed
1800.02/1800.73	clasp-1.0: no process killed
95.01/1802.73	sh: line 1: 31960 Done                    cat /tmp/evaluation/351100-1176580204/temp/instance-351100-1176580204.opb.op
95.01/1802.73	     31961 Killed                  | clasp-1.0 --trans=no >/tmp/evaluation/351100-1176580204/temp/instance-351100-1176580204.opb.clasp

Verifier Data (download as text)

OK	1360

Conversion Script Data (download as text)

/tmp/evaluation/351100-1176580204/instance-351100-1176580204.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/node1/watcher-351100-1176580204 -o ROOT/results/node1/solver-351100-1176580204 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351100-1176580204.opb /tmp/evaluation/351100-1176580204/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.95 0.99 0.99 3/77 31726
/proc/meminfo: memFree=1815872/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=12268 CPUtime=0
/proc/31726/stat : 31726 (pbclasp) R 31724 31726 31290 0 -1 4194304 419 0 0 0 0 0 0 0 18 0 1 0 134058263 12562432 385 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259353121505 0 0 4224 0 0 0 0 17 0 0 0
/proc/31726/statm: 3067 386 286 3 0 167 0

[startup+0.0253241 s]
/proc/loadavg: 0.95 0.99 0.99 3/77 31726
/proc/meminfo: memFree=1815872/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=13188 CPUtime=0.01
/proc/31726/stat : 31726 (pbclasp) R 31724 31726 31290 0 -1 4194304 664 0 0 0 1 0 0 0 18 0 1 0 134058263 13504512 630 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259373234295 0 0 4224 16384 0 0 0 17 0 0 0
/proc/31726/statm: 3297 631 314 3 0 397 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13188

[startup+0.101342 s]
/proc/loadavg: 0.95 0.99 0.99 3/77 31726
/proc/meminfo: memFree=1815872/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=16848 CPUtime=0.08
/proc/31726/stat : 31726 (pbclasp) R 31724 31726 31290 0 -1 4194304 5721 0 0 0 7 1 0 0 18 0 1 0 134058263 17252352 1565 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259353155373 0 0 4224 16384 0 0 0 17 0 0 0
/proc/31726/statm: 4212 1565 320 3 0 1312 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16848

[startup+0.301353 s]
/proc/loadavg: 0.95 0.99 0.99 3/77 31726
/proc/meminfo: memFree=1815872/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=16848 CPUtime=0.28
/proc/31726/stat : 31726 (pbclasp) R 31724 31726 31290 0 -1 4194304 23565 0 0 0 22 6 0 0 19 0 1 0 134058263 17252352 1560 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259353154986 0 0 4224 16384 0 0 0 17 0 0 0
/proc/31726/statm: 4212 1565 320 3 0 1312 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 16848

[startup+0.7014 s]
/proc/loadavg: 0.95 0.99 0.99 3/77 31726
/proc/meminfo: memFree=1815872/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=16844 CPUtime=0.68
/proc/31726/stat : 31726 (pbclasp) R 31724 31726 31290 0 -1 4194304 59450 0 0 0 53 15 0 0 23 0 1 0 134058263 17248256 1564 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259353154986 0 0 4224 16384 0 0 0 17 0 0 0
/proc/31726/statm: 4211 1564 320 3 0 1311 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 16844

[startup+1.5015 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 31727
/proc/meminfo: memFree=1810808/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=16968 CPUtime=1.49
/proc/31726/stat : 31726 (pbclasp) R 31724 31726 31290 0 -1 4194304 131616 0 0 0 112 37 0 0 25 0 1 0 134058263 17375232 1592 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259353154986 0 0 4224 16384 0 0 0 17 0 0 0
/proc/31726/statm: 4242 1592 320 3 0 1342 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16968

[startup+3.10168 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 31727
/proc/meminfo: memFree=1810488/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=17236 CPUtime=3.08
/proc/31726/stat : 31726 (pbclasp) R 31724 31726 31290 0 -1 4194304 275100 0 0 0 233 75 0 0 25 0 1 0 134058263 17649664 1657 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259353155059 0 0 4224 16384 0 0 0 17 0 0 0
/proc/31726/statm: 4309 1657 320 3 0 1409 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17236

[startup+6.30106 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 31727
/proc/meminfo: memFree=1809848/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=17884 CPUtime=6.29
/proc/31726/stat : 31726 (pbclasp) R 31724 31726 31290 0 -1 4194304 561589 0 0 0 462 167 0 0 25 0 1 0 134058263 18313216 1771 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259353154986 0 0 4224 16384 0 0 0 17 0 0 0
/proc/31726/statm: 4471 1784 320 3 0 1571 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17884

[startup+12.7018 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 31727
/proc/meminfo: memFree=1808696/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=19136 CPUtime=12.68
/proc/31726/stat : 31726 (pbclasp) R 31724 31726 31290 0 -1 4194304 1140166 0 0 0 957 311 0 0 25 0 1 0 134058263 19595264 2108 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259373600514 0 0 4224 16384 0 0 0 17 1 0 0
/proc/31726/statm: 4784 2108 320 3 0 1884 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19136

[startup+25.5011 s]
/proc/loadavg: 0.96 0.99 0.99 2/80 31729
/proc/meminfo: memFree=1801568/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=24604 CPUtime=24.85
/proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2034001 0 0 0 1921 564 0 0 16 0 1 0 134058263 25194496 3499 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362173026 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/31726/statm: 6151 3499 324 3 0 3251 0
[pid=31728] ppid=31726 vsize=5352 CPUtime=0
/proc/31728/stat : 31728 (sh) S 31726 31726 31290 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 134060750 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31728/statm: 1338 229 193 169 0 49 0
[pid=31729] ppid=31728 vsize=12880 CPUtime=0.62
/proc/31729/stat : 31729 (pb2clasp1) R 31728 31726 31290 0 -1 4194304 652 0 0 0 62 0 0 0 23 0 1 0 134060751 13189120 595 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 259373175683 0 0 4224 0 0 0 0 17 1 0 0
/proc/31729/statm: 3220 595 339 3 0 320 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 42836

[startup+51.1011 s]
/proc/loadavg: 0.98 0.99 0.99 2/80 31736
/proc/meminfo: memFree=1767464/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=28428 CPUtime=27.9
/proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036358 1762 0 0 1932 565 290 3 18 0 1 0 134058263 29110272 4448 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/31726/statm: 7107 4448 343 3 0 4207 0
[pid=31734] ppid=31726 vsize=5352 CPUtime=0
/proc/31734/stat : 31734 (sh) S 31726 31726 31290 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 134061057 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31734/statm: 1338 224 188 169 0 49 0
[pid=31736] ppid=31734 vsize=26444 CPUtime=23.13
/proc/31736/stat : 31736 (clasp-1.0) R 31734 31726 31290 0 -1 4194304 7450 0 0 0 2309 4 0 0 25 0 1 0 134061058 27078656 6137 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617674 0 0 4096 0 0 0 0 17 1 0 0
/proc/31736/statm: 6611 6137 249 81 0 5985 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 60224

[startup+102.305 s]
/proc/loadavg: 1.07 1.01 1.00 2/80 31752
/proc/meminfo: memFree=1764392/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=28428 CPUtime=93.02
/proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036701 20485 0 0 1941 566 6773 22 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/31726/statm: 7107 4459 343 3 0 4207 0
[pid=31750] ppid=31726 vsize=5352 CPUtime=0.01
/proc/31750/stat : 31750 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134067572 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31750/statm: 1338 224 188 169 0 49 0
[pid=31752] ppid=31750 vsize=29832 CPUtime=9.19
/proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 8510 0 0 0 915 4 0 0 25 0 1 0 134067572 30547968 6853 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617738 0 0 4096 0 0 0 0 17 1 0 0
/proc/31752/statm: 7458 6853 249 81 0 6832 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 63612

[startup+162.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/80 31752
/proc/meminfo: memFree=1762792/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=28428 CPUtime=93.02
/proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036701 20485 0 0 1941 566 6773 22 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/31726/statm: 7107 4459 343 3 0 4207 0
[pid=31750] ppid=31726 vsize=5352 CPUtime=0.01
/proc/31750/stat : 31750 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134067572 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31750/statm: 1338 224 188 169 0 49 0
[pid=31752] ppid=31750 vsize=31116 CPUtime=69.17
/proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 8906 0 0 0 6912 5 0 0 25 0 1 0 134067572 31862784 7249 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617547 0 0 4096 0 0 0 0 17 1 0 0
/proc/31752/statm: 7779 7249 249 81 0 7153 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 64896

[startup+222.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/80 31752
/proc/meminfo: memFree=1747176/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=28428 CPUtime=93.02
/proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036701 20485 0 0 1941 566 6773 22 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/31726/statm: 7107 4459 343 3 0 4207 0
[pid=31750] ppid=31726 vsize=5352 CPUtime=0.01
/proc/31750/stat : 31750 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134067572 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31750/statm: 1338 224 188 169 0 49 0
[pid=31752] ppid=31750 vsize=46780 CPUtime=129.15
/proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 12828 0 0 0 12907 8 0 0 25 0 1 0 134067572 47902720 11171 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784694 0 0 4096 0 0 0 0 17 1 0 0
/proc/31752/statm: 11695 11171 249 81 0 11069 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 80560

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 31752
/proc/meminfo: memFree=1738664/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=28428 CPUtime=93.02
/proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036701 20485 0 0 1941 566 6773 22 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/31726/statm: 7107 4459 343 3 0 4207 0
[pid=31750] ppid=31726 vsize=5352 CPUtime=0.01
/proc/31750/stat : 31750 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134067572 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31750/statm: 1338 224 188 169 0 49 0
[pid=31752] ppid=31750 vsize=55436 CPUtime=189.13
/proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 14982 0 0 0 18903 10 0 0 25 0 1 0 134067572 56766464 13325 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/31752/statm: 13859 13325 249 81 0 13233 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 89216

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 31752
/proc/meminfo: memFree=1724904/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=28428 CPUtime=93.02
/proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036701 20485 0 0 1941 566 6773 22 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/31726/statm: 7107 4459 343 3 0 4207 0
[pid=31750] ppid=31726 vsize=5352 CPUtime=0.01
/proc/31750/stat : 31750 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134067572 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31750/statm: 1338 224 188 169 0 49 0
[pid=31752] ppid=31750 vsize=69064 CPUtime=249.11
/proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 18415 0 0 0 24898 13 0 0 25 0 1 0 134067572 70721536 16717 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/31752/statm: 17266 16717 249 81 0 16640 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 102844

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 31752
/proc/meminfo: memFree=1720744/2055920 swapFree=4145888/4192956

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

/proc/31750/statm: 1338 224 188 169 0 49 0
[pid=31752] ppid=31750 vsize=92372 CPUtime=1508.64
/proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 24464 0 0 0 150836 28 0 0 25 0 1 0 134067572 94588928 22505 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/31752/statm: 23093 22505 249 81 0 22467 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 126152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 31950
/proc/meminfo: memFree=1700200/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=28428 CPUtime=93.02
/proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036701 20485 0 0 1941 566 6773 22 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/31726/statm: 7107 4459 343 3 0 4207 0
[pid=31750] ppid=31726 vsize=5352 CPUtime=0.01
/proc/31750/stat : 31750 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134067572 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31750/statm: 1338 224 188 169 0 49 0
[pid=31752] ppid=31750 vsize=93420 CPUtime=1568.62
/proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 24731 0 0 0 156833 29 0 0 25 0 1 0 134067572 95662080 22772 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617331 0 0 4096 0 0 0 0 17 1 0 0
/proc/31752/statm: 23355 22772 249 81 0 22729 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 127200

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 31950
/proc/meminfo: memFree=1700200/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=28428 CPUtime=93.02
/proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036701 20485 0 0 1941 566 6773 22 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/31726/statm: 7107 4459 343 3 0 4207 0
[pid=31750] ppid=31726 vsize=5352 CPUtime=0.01
/proc/31750/stat : 31750 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134067572 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31750/statm: 1338 224 188 169 0 49 0
[pid=31752] ppid=31750 vsize=93420 CPUtime=1628.6
/proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 24735 0 0 0 162831 29 0 0 25 0 1 0 134067572 95662080 22776 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/31752/statm: 23355 22776 249 81 0 22729 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 127200

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 31950
/proc/meminfo: memFree=1700136/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=28428 CPUtime=93.02
/proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036701 20485 0 0 1941 566 6773 22 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/31726/statm: 7107 4459 343 3 0 4207 0
[pid=31750] ppid=31726 vsize=5352 CPUtime=0.01
/proc/31750/stat : 31750 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134067572 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31750/statm: 1338 224 188 169 0 49 0
[pid=31752] ppid=31750 vsize=93420 CPUtime=1688.59
/proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 24735 0 0 0 168829 30 0 0 25 0 1 0 134067572 95662080 22776 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784544 0 0 4096 0 0 0 0 17 1 0 0
/proc/31752/statm: 23355 22776 249 81 0 22729 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 127200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 31950
/proc/meminfo: memFree=1700136/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=28428 CPUtime=93.02
/proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036701 20485 0 0 1941 566 6773 22 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/31726/statm: 7107 4459 343 3 0 4207 0
[pid=31750] ppid=31726 vsize=5352 CPUtime=0.01
/proc/31750/stat : 31750 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134067572 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31750/statm: 1338 224 188 169 0 49 0
[pid=31752] ppid=31750 vsize=93420 CPUtime=1706.99
/proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 24735 0 0 0 170669 30 0 0 25 0 1 0 134067572 95662080 22776 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/31752/statm: 23355 22776 249 81 0 22729 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 127200

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 31950
/proc/meminfo: memFree=1700136/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=28428 CPUtime=93.02
/proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036701 20485 0 0 1941 566 6773 22 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/31726/statm: 7107 4459 343 3 0 4207 0
[pid=31750] ppid=31726 vsize=5352 CPUtime=0.01
/proc/31750/stat : 31750 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134067572 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31750/statm: 1338 224 188 169 0 49 0
[pid=31752] ppid=31750 vsize=93420 CPUtime=1706.99
/proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 24735 0 0 0 170669 30 0 0 25 0 1 0 134067572 95662080 22776 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0
/proc/31752/statm: 23355 22776 249 81 0 22729 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 127200

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

[startup+1800.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 31950
/proc/meminfo: memFree=1700136/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=28428 CPUtime=93.14
/proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036869 22272 0 0 1945 567 6774 28 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/31726/statm: 7107 4459 343 3 0 4207 0
Current children cumulated CPU time (s) 93.14
Current children cumulated vsize (KiB) 28428

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 31950
/proc/meminfo: memFree=1700136/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=28428 CPUtime=93.14
/proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036869 22272 0 0 1945 567 6774 28 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/31726/statm: 7107 4459 343 3 0 4207 0
Current children cumulated CPU time (s) 93.14
Current children cumulated vsize (KiB) 28428

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 31961
/proc/meminfo: memFree=1778720/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=28428 CPUtime=93.14
/proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036869 22272 0 0 1945 567 6774 28 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/31726/statm: 7107 4459 343 3 0 4207 0
[pid=31959] ppid=31726 vsize=5352 CPUtime=0
/proc/31959/stat : 31959 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 134238344 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31959/statm: 1338 224 188 169 0 49 0
[pid=31961] ppid=31959 vsize=29832 CPUtime=1.37
/proc/31961/stat : 31961 (clasp-1.0) R 31959 31726 31290 0 -1 4194304 8481 0 0 0 132 5 0 0 25 0 1 0 134238345 30547968 6824 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733936 0 0 4096 0 0 0 0 17 1 0 0
/proc/31961/statm: 7458 6824 249 81 0 6832 0
Current children cumulated CPU time (s) 94.51
Current children cumulated vsize (KiB) 63612

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 31961
/proc/meminfo: memFree=1778720/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=28428 CPUtime=93.14
/proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036869 22272 0 0 1945 567 6774 28 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/31726/statm: 7107 4459 343 3 0 4207 0
[pid=31959] ppid=31726 vsize=5352 CPUtime=0
/proc/31959/stat : 31959 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 134238344 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31959/statm: 1338 224 188 169 0 49 0
[pid=31961] ppid=31959 vsize=29832 CPUtime=1.77
/proc/31961/stat : 31961 (clasp-1.0) R 31959 31726 31290 0 -1 4194304 8482 0 0 0 172 5 0 0 25 0 1 0 134238345 30547968 6825 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733922 0 0 4096 0 0 0 0 17 1 0 0
/proc/31961/statm: 7458 6825 249 81 0 6832 0
Current children cumulated CPU time (s) 94.91
Current children cumulated vsize (KiB) 63612

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 31961
/proc/meminfo: memFree=1778720/2055920 swapFree=4145888/4192956
[pid=31726] ppid=31724 vsize=28428 CPUtime=93.14
/proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036869 22272 0 0 1945 567 6774 28 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/31726/statm: 7107 4459 343 3 0 4207 0
[pid=31959] ppid=31726 vsize=5352 CPUtime=0
/proc/31959/stat : 31959 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 134238344 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31959/statm: 1338 224 188 169 0 49 0
[pid=31961] ppid=31959 vsize=29832 CPUtime=1.87
/proc/31961/stat : 31961 (clasp-1.0) R 31959 31726 31290 0 -1 4194304 8483 0 0 0 182 5 0 0 25 0 1 0 134238345 30547968 6826 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733890 0 0 4096 0 0 0 0 17 1 0 0
/proc/31961/statm: 7458 6826 249 81 0 6832 0
Current children cumulated CPU time (s) 95.01
Current children cumulated vsize (KiB) 63612

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): 1706.88
#  lost CPU user time (s): 1706.64
#  lost CPU system time (s): 0.240001

Real time (s): 1802.74
CPU time (s): 1801.98
CPU user time (s): 1795.69
CPU system time (s): 6.28608
CPU usage (%): 99.9575
Max. virtual memory (cumulated for all children) (KiB): 127200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.0495
system time used= 6.04608
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2069743
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= 4214
involuntary context switches= 2759

runsolver used 1.74073 second user time and 4.82827 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Sat Apr 14 19:50:04 UTC 2007

IDJOB= 351100
IDBENCH= 1661
IDSOLVER= 167
FILE ID= node1/351100-1176580204

PBS_JOBID= 4556788

Free space on /tmp= 66466 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sctap2.opb
COMMAND LINE= pbclasp instance-351100-1176580204.opb /tmp/evaluation/351100-1176580204/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node1/convwatcher-351100-1176580204 -o ROOT/results/node1/conversion-351100-1176580204 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351100-1176580204/instance-351100-1176580204.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36
MD5SUM BENCH=  85d5cf87b7b65babdb4e7a6c3071d7ec

RANDOM SEED= 972400607

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node1.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.234
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.234
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:       1816472 kB
Buffers:         42820 kB
Cached:         132056 kB
SwapCached:      14980 kB
Active:          64764 kB
Inactive:       135384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1816472 kB
SwapTotal:     4192956 kB
SwapFree:      4145888 kB
Dirty:            3060 kB
Writeback:           0 kB
Mapped:          30148 kB
Slab:            24832 kB
Committed_AS:  3410364 kB
PageTables:       1832 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= 66458 MiB

End job on node1 on Sat Apr 14 20:20:07 UTC 2007