Trace number 2676299

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
borg-pb 10.05.30UNSAT 602.775 568.59

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb
MD5SUM583fb36c9cf948cc03f361dd87435bdd
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.052991
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables930
Total number of constraints61
Number of constraints which are clauses31
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint31
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 32
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.02/1.56	c DEBUG: probabilities of action success (DCM model):
1.02/1.56	c        pb/competition_2010/bsolo_pb10-l1   : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331
1.02/1.56	c        pb/competition_2010/bsolo_pb10-l2   : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493
1.02/1.56	c        pb/competition_2010/bsolo_pb10-l3   : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927
1.02/1.56	c        pb/competition_2010/wbo1.4a         : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114
1.02/1.56	c        pb/competition_2010/wbo1.4b         : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796
1.02/1.56	c        pb/other/clasp-1.3.3                : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586
1.02/1.56	c        pb/other/sat4j-pb-v20090829         : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315
1.02/1.56	c        pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110
1.02/1.59	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1059118881', u'HOME/instance-2676299-1277135211.opb'] for 0:00:10
11.89/11.80	c DEBUG: probabilities of action success (DCM model):
11.89/11.80	c        pb/competition_2010/bsolo_pb10-l1   : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203
11.89/11.80	c        pb/competition_2010/bsolo_pb10-l2   : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839
11.89/11.80	c        pb/competition_2010/bsolo_pb10-l3   : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668
11.89/11.80	c        pb/competition_2010/wbo1.4a         : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920
11.89/11.80	c        pb/competition_2010/wbo1.4b         : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713
11.89/11.80	c        pb/other/clasp-1.3.3                : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405
11.89/11.80	c        pb/other/sat4j-pb-v20090829         : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733
11.89/11.80	c        pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874
11.89/11.80	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=999134680', u'HOME/instance-2676299-1277135211.opb'] for 0:00:50
65.58/62.60	c DEBUG: probabilities of action success (DCM model):
65.58/62.60	c        pb/competition_2010/bsolo_pb10-l1   : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502
65.58/62.60	c        pb/competition_2010/bsolo_pb10-l2   : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606
65.58/62.60	c        pb/competition_2010/bsolo_pb10-l3   : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877
65.58/62.60	c        pb/competition_2010/wbo1.4a         : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608
65.58/62.60	c        pb/competition_2010/wbo1.4b         : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592
65.58/62.60	c        pb/other/clasp-1.3.3                : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135
65.58/62.60	c        pb/other/sat4j-pb-v20090829         : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124
65.58/62.60	c        pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541
65.58/62.61	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2676299-1277135211.opb'] for 0:00:50
119.39/113.23	c DEBUG: probabilities of action success (DCM model):
119.39/113.23	c        pb/competition_2010/bsolo_pb10-l1   : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900
119.39/113.23	c        pb/competition_2010/bsolo_pb10-l2   : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225
119.39/113.23	c        pb/competition_2010/bsolo_pb10-l3   : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184
119.39/113.23	c        pb/competition_2010/wbo1.4a         : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342
119.39/113.23	c        pb/competition_2010/wbo1.4b         : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401
119.39/113.23	c        pb/other/clasp-1.3.3                : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027
119.39/113.23	c        pb/other/sat4j-pb-v20090829         : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982
119.39/113.23	c        pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127
119.39/113.23	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1590952324', u'HOME/instance-2676299-1277135211.opb'] for 0:01:40
225.89/214.16	c DEBUG: probabilities of action success (DCM model):
225.89/214.16	c        pb/competition_2010/bsolo_pb10-l1   : 0.0247 0.0400 0.0751 0.1401 0.2219 0.2508 0.3462
225.89/214.16	c        pb/competition_2010/bsolo_pb10-l2   : 0.0050 0.0071 0.0079 0.0295 0.0510 0.0684 0.1710
225.89/214.16	c        pb/competition_2010/bsolo_pb10-l3   : 0.0355 0.0650 0.0805 0.0954 0.1214 0.1529 0.2736
225.89/214.16	c        pb/competition_2010/wbo1.4a         : 0.0631 0.0338 0.2163 0.4128 0.5510 0.6157 0.7989
225.89/214.16	c        pb/competition_2010/wbo1.4b         : 0.0545 0.1268 0.2082 0.4263 0.5997 0.6749 0.8065
225.89/214.16	c        pb/other/clasp-1.3.3                : 0.0347 0.0418 0.0948 0.6033 0.7238 0.7699 0.8744
225.89/214.16	c        pb/other/sat4j-pb-v20090829         : 0.0247 0.1147 0.2008 0.3538 0.4371 0.5085 0.6375
225.89/214.16	c        pb/other/sat4j-pb-v20090829-cutting : 0.0098 0.0590 0.0635 0.1475 0.1811 0.2159 0.3382
225.89/214.16	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2676299-1277135211.opb'] for 0:01:40
333.14/315.16	c DEBUG: probabilities of action success (DCM model):
333.14/315.16	c        pb/competition_2010/bsolo_pb10-l1   : 0.0156 0.0235 0.0614 0.1303 0.1974 0.2250 0.3271
333.14/315.16	c        pb/competition_2010/bsolo_pb10-l2   : 0.0011 0.0016 0.0016 0.0218 0.0428 0.0588 0.1723
333.14/315.16	c        pb/competition_2010/bsolo_pb10-l3   : 0.0364 0.0633 0.0713 0.0764 0.0953 0.1265 0.2416
333.14/315.16	c        pb/competition_2010/wbo1.4a         : 0.0388 0.0143 0.0065 0.3252 0.4879 0.5653 0.7780
333.14/315.16	c        pb/competition_2010/wbo1.4b         : 0.0491 0.1120 0.1818 0.3951 0.5855 0.6732 0.7962
333.14/315.16	c        pb/other/clasp-1.3.3                : 0.0380 0.0372 0.0847 0.6129 0.7311 0.7735 0.8750
333.14/315.16	c        pb/other/sat4j-pb-v20090829         : 0.0223 0.0941 0.1681 0.3180 0.4093 0.4810 0.6269
333.14/315.16	c        pb/other/sat4j-pb-v20090829-cutting : 0.0089 0.0525 0.0541 0.1163 0.1522 0.1791 0.3190
333.14/315.16	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2676299-1277135211.opb'] for 0:00:50
387.20/365.99	c DEBUG: probabilities of action success (DCM model):
387.20/365.99	c        pb/competition_2010/bsolo_pb10-l1   : 0.0121 0.0167 0.0564 0.1255 0.1980 0.2239 0.3192
387.20/365.99	c        pb/competition_2010/bsolo_pb10-l2   : 0.0002 0.0004 0.0004 0.0188 0.0361 0.0540 0.1522
387.20/365.99	c        pb/competition_2010/bsolo_pb10-l3   : 0.0390 0.0684 0.0706 0.0756 0.0833 0.1148 0.2137
387.20/365.99	c        pb/competition_2010/wbo1.4a         : 0.0407 0.0109 0.0051 0.2928 0.4496 0.5315 0.7564
387.20/365.99	c        pb/competition_2010/wbo1.4b         : 0.0348 0.0018 0.1419 0.3470 0.5421 0.6387 0.7765
387.20/365.99	c        pb/other/clasp-1.3.3                : 0.0383 0.0341 0.0720 0.5896 0.7131 0.7571 0.8647
387.20/365.99	c        pb/other/sat4j-pb-v20090829         : 0.0164 0.0836 0.1593 0.3116 0.3998 0.4540 0.5947
387.20/365.99	c        pb/other/sat4j-pb-v20090829-cutting : 0.0074 0.0356 0.0375 0.0756 0.1084 0.1272 0.2619
387.20/365.99	c DETAIL: running [u'java', u'-server', u'-Xms1300m', u'-Xmx1300m', u'-jar', u'HOME/etc/solvers/other/sat4j-pb-v20090826/org.sat4j.pb.jar', u'HOME/instance-2676299-1277135211.opb'] for 0:01:40
494.59/466.87	c DEBUG: probabilities of action success (DCM model):
494.59/466.87	c        pb/competition_2010/bsolo_pb10-l1   : 0.0113 0.0134 0.0468 0.1111 0.1700 0.2008 0.3121
494.59/466.87	c        pb/competition_2010/bsolo_pb10-l2   : 0.0003 0.0004 0.0004 0.0097 0.0246 0.0337 0.1349
494.59/466.87	c        pb/competition_2010/bsolo_pb10-l3   : 0.0350 0.0698 0.0716 0.0742 0.0803 0.1102 0.2054
494.59/466.87	c        pb/competition_2010/wbo1.4a         : 0.0412 0.0077 0.0057 0.2651 0.4171 0.5010 0.7572
494.59/466.87	c        pb/competition_2010/wbo1.4b         : 0.0393 0.0018 0.1223 0.3301 0.5006 0.5897 0.7412
494.59/466.87	c        pb/other/clasp-1.3.3                : 0.0438 0.0393 0.0774 0.5834 0.6917 0.7344 0.8415
494.59/466.87	c        pb/other/sat4j-pb-v20090829         : 0.0113 0.0469 0.0012 0.2219 0.2984 0.3590 0.5209
494.59/466.87	c        pb/other/sat4j-pb-v20090829-cutting : 0.0068 0.0314 0.0319 0.0608 0.0967 0.1155 0.2497
494.59/466.87	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2676299-1277135211.opb'] for 0:01:40
601.52/567.57	c DEBUG: probabilities of action success (DCM model):
601.52/567.57	c        pb/competition_2010/bsolo_pb10-l1   : 0.0057 0.0071 0.0414 0.1021 0.1619 0.1915 0.2956
601.52/567.57	c        pb/competition_2010/bsolo_pb10-l2   : 0.0001 0.0001 0.0001 0.0077 0.0229 0.0303 0.1153
601.52/567.57	c        pb/competition_2010/bsolo_pb10-l3   : 0.0337 0.0722 0.0727 0.0742 0.0771 0.1052 0.1843
601.52/567.57	c        pb/competition_2010/wbo1.4a         : 0.0430 0.0055 0.0046 0.2375 0.3823 0.4676 0.7399
601.52/567.57	c        pb/competition_2010/wbo1.4b         : 0.0298 0.0007 0.0251 0.2904 0.4467 0.5397 0.7097
601.52/567.57	c        pb/other/clasp-1.3.3                : 0.0452 0.0419 0.0705 0.5569 0.6657 0.7106 0.8227
601.52/567.57	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0367 0.0011 0.1953 0.2620 0.3061 0.4652
601.52/567.57	c        pb/other/sat4j-pb-v20090829-cutting : 0.0047 0.0213 0.0220 0.0357 0.0726 0.0877 0.2092
601.52/567.58	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-2676299-1277135211.opb'] for 0:00:50
602.67/568.52	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2676299-1277135211/watcher-2676299-1277135211 -o /tmp/evaluation-result-2676299-1277135211/solver-2676299-1277135211 -C 1800 -W 2000 -M 1800 solver HOME/instance-2676299-1277135211.opb 1079116459 

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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.18 0.97 0.82 3/106 3978
/proc/meminfo: memFree=1551852/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=16708 CPUtime=0
/proc/3978/stat : 3978 (python) R 3976 3978 3624 0 -1 4202496 730 0 0 0 0 0 0 0 20 0 1 0 89122536 17108992 496 1992294400 4194304 4196484 140734341156224 18446744073709551615 255362006453 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3978/statm: 4177 498 272 1 0 273 0

[startup+0.0902231 s]
/proc/loadavg: 1.18 0.97 0.82 3/106 3978
/proc/meminfo: memFree=1551852/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=25160 CPUtime=0.06
/proc/3978/stat : 3978 (python) S 3976 3978 3624 0 -1 4202496 2191 0 0 0 3 3 0 0 19 0 1 0 89122536 25763840 1180 1992294400 4194304 4196484 140733491472080 18446744073709551615 255345842176 0 2147483391 16781312 2 18446744071699387582 0 0 17 0 0 0 0
/proc/3978/statm: 6290 1180 446 1 0 718 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25160

[startup+0.10379 s]
/proc/loadavg: 1.18 0.97 0.82 3/106 3978
/proc/meminfo: memFree=1551852/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=32160 CPUtime=0.07
/proc/3978/stat : 3978 (python) R 3976 3978 3624 0 -1 4202496 2393 0 0 0 4 3 0 0 19 0 1 0 89122536 32931840 1370 1992294400 4194304 4196484 140733491472080 18446744073709551615 47773390526400 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3978/statm: 8040 1374 459 1 0 912 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 32160

[startup+0.300785 s]
/proc/loadavg: 1.18 0.97 0.82 3/106 3978
/proc/meminfo: memFree=1551852/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=70592 CPUtime=0.22
/proc/3978/stat : 3978 (python) R 3976 3978 3624 0 -1 4202496 3959 0 0 0 14 8 0 0 19 0 1 0 89122536 72286208 2795 1992294400 4194304 4196484 140733491472080 18446744073709551615 47773390427275 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3978/statm: 17648 2795 693 1 0 2135 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 70592

[startup+0.700775 s]
/proc/loadavg: 1.18 0.97 0.82 3/106 3978
/proc/meminfo: memFree=1551852/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=98788 CPUtime=0.49
/proc/3978/stat : 3978 (python) R 3976 3978 3624 0 -1 4202496 4867 0 0 0 29 20 0 0 18 0 1 0 89122536 101158912 3580 1992294400 4194304 4196484 140733491472080 18446744073709551615 47773390865858 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3978/statm: 24697 3580 1022 1 0 2554 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 98788

[startup+1.50076 s]
/proc/loadavg: 1.18 0.97 0.82 2/107 3983
/proc/meminfo: memFree=1535104/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=119512 CPUtime=1.02
/proc/3978/stat : 3978 (python) R 3976 3978 3624 0 -1 4202496 9025 929 0 0 68 34 0 0 18 0 1 0 89122536 122380288 6152 1992294400 4194304 4196484 140733491472080 18446744073709551615 47773390869619 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3978/statm: 29878 6152 1063 1 0 5132 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 119512

[startup+3.10172 s]
/proc/loadavg: 1.17 0.97 0.82 2/108 3984
/proc/meminfo: memFree=1529764/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=132052 CPUtime=1.24
/proc/3978/stat : 3978 (python) S 3976 3978 3624 0 -1 4202496 10280 929 0 0 87 37 0 0 15 0 1 0 89122536 135221248 6306 1992294400 4194304 4196484 140733491472080 18446744073709551615 255345864207 0 0 16781312 2 159688670771686259 0 0 17 0 0 0 0
/proc/3978/statm: 33013 6306 1133 1 0 5165 0
[pid=3984] ppid=3978 vsize=2724 CPUtime=1.49
/proc/3984/stat : 3984 (clasp-1.3.3-x86) R 3978 3984 3984 0 -1 4202496 745 0 0 0 149 0 0 0 23 0 1 0 89122696 2789376 429 1992294400 134512640 136080129 4290428480 18446744073709551615 134842473 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/3984/statm: 681 429 174 383 0 296 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 134776

[startup+6.30063 s]
/proc/loadavg: 1.17 0.97 0.82 2/108 3984
/proc/meminfo: memFree=1528772/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=132052 CPUtime=1.42
/proc/3978/stat : 3978 (python) S 3976 3978 3624 0 -1 4202496 10293 929 0 0 104 38 0 0 16 0 1 0 89122536 135221248 6306 1992294400 4194304 4196484 140733491472080 18446744073709551615 255345864207 0 0 16781312 2 159688670771686259 0 0 17 0 0 0 0
/proc/3978/statm: 33013 6306 1133 1 0 5165 0
[pid=3984] ppid=3978 vsize=3120 CPUtime=4.66
/proc/3984/stat : 3984 (clasp-1.3.3-x86) R 3978 3984 3984 0 -1 4202496 838 0 0 0 466 0 0 0 25 0 1 0 89122696 3194880 522 1992294400 134512640 136080129 4290428480 18446744073709551615 134588731 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/3984/statm: 780 522 174 383 0 395 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 135172

[startup+12.7014 s]
/proc/loadavg: 1.15 0.97 0.82 2/108 3987
/proc/meminfo: memFree=1529764/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=134112 CPUtime=11.99
/proc/3978/stat : 3978 (python) S 3976 3978 3624 0 -1 4202496 11592 2740 0 0 145 43 1009 2 15 0 1 0 89122536 137330688 6328 1992294400 4194304 4196484 140733491472080 18446744073709551615 255345864207 0 0 16781312 2 159836005329808243 0 0 17 1 0 0 0
/proc/3978/statm: 33528 6328 1143 1 0 5165 0
[pid=3987] ppid=3978 vsize=2592 CPUtime=0.87
/proc/3987/stat : 3987 (clasp-1.3.3-x86) R 3978 3987 3987 0 -1 4202496 704 0 0 0 87 0 0 0 19 0 1 0 89123717 2654208 388 1992294400 134512640 136080129 4291759264 18446744073709551615 134580001 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/3987/statm: 648 388 174 383 0 263 0
Current children cumulated CPU time (s) 12.86
Current children cumulated vsize (KiB) 136704

[startup+25.5016 s]
/proc/loadavg: 1.12 0.97 0.82 3/108 3987
/proc/meminfo: memFree=1528648/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=134112 CPUtime=12.79
/proc/3978/stat : 3978 (python) S 3976 3978 3624 0 -1 4202496 11634 2740 0 0 214 54 1009 2 16 0 1 0 89122536 137330688 6328 1992294400 4194304 4196484 140733491472080 18446744073709551615 255345864207 0 0 16781312 2 159836005329808243 0 0 17 1 0 0 0
/proc/3978/statm: 33528 6328 1143 1 0 5165 0
[pid=3987] ppid=3978 vsize=3512 CPUtime=13.58
/proc/3987/stat : 3987 (clasp-1.3.3-x86) R 3978 3987 3987 0 -1 4202496 942 0 0 0 1358 0 0 0 25 0 1 0 89123717 3596288 626 1992294400 134512640 136080129 4291759264 18446744073709551615 134803128 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/3987/statm: 878 626 174 383 0 493 0
Current children cumulated CPU time (s) 26.37
Current children cumulated vsize (KiB) 137624

[startup+51.101 s]
/proc/loadavg: 1.08 0.97 0.83 2/108 3989
/proc/meminfo: memFree=1528028/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=134112 CPUtime=14.37
/proc/3978/stat : 3978 (python) S 3976 3978 3624 0 -1 4202496 11723 2740 0 0 352 74 1009 2 15 0 1 0 89122536 137330688 6328 1992294400 4194304 4196484 140733491472080 18446744073709551615 255345864207 0 0 16781312 2 159836005329808243 0 0 17 1 0 0 0
/proc/3978/statm: 33528 6328 1143 1 0 5165 0
[pid=3987] ppid=3978 vsize=4020 CPUtime=39.02
/proc/3987/stat : 3987 (clasp-1.3.3-x86) R 3978 3987 3987 0 -1 4202496 1090 0 0 0 3901 1 0 0 25 0 1 0 89123717 4116480 774 1992294400 134512640 136080129 4291759264 18446744073709551615 134579953 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/3987/statm: 1005 774 174 383 0 620 0
Current children cumulated CPU time (s) 53.39
Current children cumulated vsize (KiB) 138132

[startup+102.309 s]
/proc/loadavg: 1.13 1.00 0.84 2/108 3992
/proc/meminfo: memFree=1472352/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=134112 CPUtime=68.43
/proc/3978/stat : 3978 (python) S 3976 3978 3624 0 -1 4202496 12996 4841 0 0 664 122 6051 6 16 0 1 0 89122536 137330688 6332 1992294400 4194304 4196484 140733491472080 18446744073709551615 255345864207 0 0 16781312 2 159836005329808243 0 0 17 1 0 0 0
/proc/3978/statm: 33528 6332 1143 1 0 5165 0
[pid=3992] ppid=3978 vsize=60884 CPUtime=39.43
/proc/3992/stat : 3992 (wbo1.4a) R 3978 3992 3992 0 -1 4202496 15093 0 0 0 3924 19 0 0 25 0 1 0 89128797 62345216 14776 1992294400 134512640 135751879 4293371712 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/3992/statm: 15221 14776 139 303 0 14916 0
Current children cumulated CPU time (s) 107.86
Current children cumulated vsize (KiB) 194996

[startup+162.301 s]
/proc/loadavg: 1.13 1.02 0.85 2/108 3997
/proc/meminfo: memFree=1527904/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=134112 CPUtime=122.46
/proc/3978/stat : 3978 (python) S 3976 3978 3624 0 -1 4202496 14306 24947 0 0 991 170 11052 33 16 0 1 0 89122536 137330688 6333 1992294400 4194304 4196484 140733491472080 18446744073709551615 255345864207 0 0 16781312 2 159836005329808243 0 0 17 1 0 0 0
/proc/3978/statm: 33528 6333 1143 1 0 5165 0
[pid=3997] ppid=3978 vsize=4252 CPUtime=48.75
/proc/3997/stat : 3997 (clasp-1.3.3-x86) R 3978 3997 3997 0 -1 4202496 1142 0 0 0 4875 0 0 0 25 0 1 0 89133860 4354048 824 1992294400 134512640 136080129 4288562240 18446744073709551615 134588917 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/3997/statm: 1063 824 174 383 0 678 0
Current children cumulated CPU time (s) 171.21
Current children cumulated vsize (KiB) 138364

[startup+222.3 s]
/proc/loadavg: 1.17 1.04 0.87 2/108 4002
/proc/meminfo: memFree=1515380/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=134112 CPUtime=226.7
/proc/3978/stat : 3978 (python) S 3976 3978 3624 0 -1 4202496 15536 27180 0 0 1337 221 21076 36 15 0 1 0 89122536 137330688 6334 1992294400 4194304 4196484 140733491472080 18446744073709551615 255345864207 0 0 16781312 2 159688670771686259 0 0 17 0 0 0 0
/proc/3978/statm: 33528 6334 1143 1 0 5165 0
[pid=4002] ppid=3978 vsize=17644 CPUtime=8.12
/proc/4002/stat : 4002 (wbo1.4a) R 3978 4002 4002 0 -1 4202496 4295 0 0 0 806 6 0 0 25 0 1 0 89143953 18067456 3975 1992294400 134512640 135751879 4291368672 18446744073709551615 134608320 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4002/statm: 4411 3975 139 303 0 4106 0
Current children cumulated CPU time (s) 234.82
Current children cumulated vsize (KiB) 151756

[startup+282.302 s]
/proc/loadavg: 1.07 1.03 0.87 2/108 4004
/proc/meminfo: memFree=1438996/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=134112 CPUtime=230.3
/proc/3978/stat : 3978 (python) S 3976 3978 3624 0 -1 4202496 15626 27180 0 0 1651 267 21076 36 16 0 1 0 89122536 137330688 6334 1992294400 4194304 4196484 140733491472080 18446744073709551615 255345864207 0 0 16781312 2 159688670771686259 0 0 17 0 0 0 0
/proc/3978/statm: 33528 6334 1143 1 0 5165 0
[pid=4002] ppid=3978 vsize=94408 CPUtime=68.09
/proc/4002/stat : 4002 (wbo1.4a) R 3978 4002 4002 0 -1 4202496 23447 0 0 0 6773 36 0 0 25 0 1 0 89143953 96673792 23127 1992294400 134512640 135751879 4291368672 18446744073709551615 134616514 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4002/statm: 23602 23127 139 303 0 23297 0
Current children cumulated CPU time (s) 298.39
Current children cumulated vsize (KiB) 228520

[startup+342.312 s]
/proc/loadavg: 1.05 1.04 0.89 2/108 4009
/proc/meminfo: memFree=1487356/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=134112 CPUtime=335.13
/proc/3978/stat : 3978 (python) R 3976 3978 3624 0 -1 4202496 16909 59034 0 0 1998 309 31118 88 15 0 1 0 89122536 137330688 6336 1992294400 4194304 4196484 140733491472080 18446744073709551615 255345538009 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3978/statm: 33528 6336 1143 1 0 5165 0
[pid=4007] ppid=3978 vsize=46040 CPUtime=27.12
/proc/4007/stat : 4007 (wbo1.4b) R 3978 4007 4007 0 -1 4202496 11405 0 0 0 2697 15 0 0 25 0 1 0 89154053 47144960 11084 1992294400 134512640 135751879 4286940944 18446744073709551615 134516977 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4007/statm: 11510 11084 144 303 0 11205 0
Current children cumulated CPU time (s) 362.25
Current children cumulated vsize (KiB) 180152

[startup+402.302 s]
/proc/loadavg: 1.17 1.06 0.90 2/120 4024
/proc/meminfo: memFree=1458864/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=134112 CPUtime=389.72
/proc/3978/stat : 3978 (python) S 3976 3978 3624 0 -1 4202496 18211 78323 0 0 2331 355 36168 118 15 0 1 0 89122536 137330688 6336 1992294400 4194304 4196484 140733491472080 18446744073709551615 255345864207 0 0 16781312 2 159836005329808243 0 0 17 1 0 0 0
/proc/3978/statm: 33528 6336 1143 1 0 5165 0
[pid=4012] ppid=3978 vsize=1477388 CPUtime=36.69
/proc/4012/stat : 4012 (java) S 3978 4012 4012 0 -1 4202496 20805 0 1 0 3651 18 0 0 15 0 13 0 89159136 1512845312 19579 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4012/statm: 369347 19579 1419 10 0 366649 0
[pid=4012/tid=4013] ppid=3978 vsize=1477388 CPUtime=35.93
/proc/4012/task/4013/stat : 4013 (java) R 3978 4012 4012 0 -1 4202560 17860 0 1 0 3578 15 0 0 25 0 13 0 89159138 1512845312 19579 1992294400 134512640 134550932 4288931616 18446744073709551615 4109275175 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4012/tid=4014] ppid=3978 vsize=1477388 CPUtime=0
/proc/4012/task/4014/stat : 4014 (java) S 3978 4012 4012 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 89159139 1512845312 19579 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 4 0 16800975 18446604437825946944 0 0 -1 1 0 0 0
[pid=4012/tid=4015] ppid=3978 vsize=1477388 CPUtime=0
/proc/4012/task/4015/stat : 4015 (java) S 3978 4012 4012 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 89159139 1512845312 19579 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 4 0 16800975 18446604437825946944 0 0 -1 1 0 0 0
[pid=4012/tid=4016] ppid=3978 vsize=1477388 CPUtime=0
/proc/4012/task/4016/stat : 4016 (java) S 3978 4012 4012 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 13 0 89159141 1512845312 19579 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 0 0 16800975 18446604437825946944 0 0 -1 0 0 0 0
[pid=4012/tid=4017] ppid=3978 vsize=1477388 CPUtime=0
/proc/4012/task/4017/stat : 4017 (java) S 3978 4012 4012 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 13 0 89159141 1512845312 19579 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 4 0 16800975 18446604437825946944 0 0 -1 0 0 0 0
[pid=4012/tid=4018] ppid=3978 vsize=1477388 CPUtime=0
/proc/4012/task/4018/stat : 4018 (java) S 3978 4012 4012 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 89159141 1512845312 19579 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 4 0 16800975 18446604437825946944 0 0 -1 0 0 0 0
[pid=4012/tid=4019] ppid=3978 vsize=1477388 CPUtime=0
/proc/4012/task/4019/stat : 4019 (java) S 3978 4012 4012 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 89159146 1512845312 19579 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 4 0 16800975 18446604437825946944 0 0 -1 0 0 0 0
[pid=4012/tid=4020] ppid=3978 vsize=1477388 CPUtime=0.36
/proc/4012/task/4020/stat : 4020 (java) S 3978 4012 4012 0 -1 4202560 1298 0 0 0 35 1 0 0 16 0 13 0 89159146 1512845312 19579 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 4 0 16800975 18446604437825946944 0 0 -1 0 0 0 0
[pid=4012/tid=4021] ppid=3978 vsize=1477388 CPUtime=0.36
/proc/4012/task/4021/stat : 4021 (java) S 3978 4012 4012 0 -1 4202560 286 0 0 0 36 0 0 0 15 0 13 0 89159146 1512845312 19579 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 4 0 16800975 18446604437825946944 0 0 -1 0 0 0 0
[pid=4012/tid=4022] ppid=3978 vsize=1477388 CPUtime=0
/proc/4012/task/4022/stat : 4022 (java) S 3978 4012 4012 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 89159146 1512845312 19579 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 4 0 16800975 18446604437825946944 0 0 -1 0 0 0 0
[pid=4012/tid=4023] ppid=3978 vsize=1477388 CPUtime=0
/proc/4012/task/4023/stat : 4023 (java) S 3978 4012 4012 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 13 0 89159146 1512845312 19579 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 4 0 16800975 18446604437825946944 0 0 -1 1 0 0 0
[pid=4012/tid=4024] ppid=3978 vsize=1477388 CPUtime=0
/proc/4012/task/4024/stat : 4024 (java) S 3978 4012 4012 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 13 0 89159176 1512845312 19579 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 4 0 16800975 18446604437825946944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 426.41
Current children cumulated vsize (KiB) 1611500

[startup+462.302 s]
/proc/loadavg: 1.06 1.05 0.91 2/120 4026
/proc/meminfo: memFree=1407404/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=134112 CPUtime=393.42
/proc/3978/stat : 3978 (python) S 3976 3978 3624 0 -1 4202496 18252 78323 0 0 2648 408 36168 118 15 0 1 0 89122536 137330688 6336 1992294400 4194304 4196484 140733491472080 18446744073709551615 255345864207 0 0 16781312 2 159836005329808243 0 0 17 1 0 0 0
/proc/3978/statm: 33528 6336 1143 1 0 5165 0
[pid=4012] ppid=3978 vsize=1477388 CPUtime=96.27
/proc/4012/stat : 4012 (java) S 3978 4012 4012 0 -1 4202496 33291 0 1 0 9597 30 0 0 15 0 13 0 89159136 1512845312 32059 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4012/statm: 369347 32059 1419 10 0 366649 0
[pid=4012/tid=4013] ppid=3978 vsize=1477388 CPUtime=95.5
/proc/4012/task/4013/stat : 4013 (java) R 3978 4012 4012 0 -1 4202560 30339 0 1 0 9523 27 0 0 25 0 13 0 89159138 1512845312 32059 1992294400 134512640 134550932 4288931616 18446744073709551615 4109190378 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4012/tid=4014] ppid=3978 vsize=1477388 CPUtime=0
/proc/4012/task/4014/stat : 4014 (java) S 3978 4012 4012 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 89159139 1512845312 32059 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 4 0 16800975 18446604437825946944 0 0 -1 1 0 0 0
[pid=4012/tid=4015] ppid=3978 vsize=1477388 CPUtime=0
/proc/4012/task/4015/stat : 4015 (java) S 3978 4012 4012 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 89159139 1512845312 32059 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 4 0 16800975 18446604437825946944 0 0 -1 1 0 0 0
[pid=4012/tid=4016] ppid=3978 vsize=1477388 CPUtime=0
/proc/4012/task/4016/stat : 4016 (java) S 3978 4012 4012 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 13 0 89159141 1512845312 32059 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 0 0 16800975 18446604437825946944 0 0 -1 1 0 0 0
[pid=4012/tid=4017] ppid=3978 vsize=1477388 CPUtime=0
/proc/4012/task/4017/stat : 4017 (java) S 3978 4012 4012 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 13 0 89159141 1512845312 32059 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 4 0 16800975 18446604437825946944 0 0 -1 0 0 0 0
[pid=4012/tid=4018] ppid=3978 vsize=1477388 CPUtime=0
/proc/4012/task/4018/stat : 4018 (java) S 3978 4012 4012 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 89159141 1512845312 32059 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 4 0 16800975 18446604437825946944 0 0 -1 0 0 0 0
[pid=4012/tid=4019] ppid=3978 vsize=1477388 CPUtime=0
/proc/4012/task/4019/stat : 4019 (java) S 3978 4012 4012 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 89159146 1512845312 32059 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 4 0 16800975 18446604437825946944 0 0 -1 0 0 0 0
[pid=4012/tid=4020] ppid=3978 vsize=1477388 CPUtime=0.38
/proc/4012/task/4020/stat : 4020 (java) S 3978 4012 4012 0 -1 4202560 1301 0 0 0 37 1 0 0 15 0 13 0 89159146 1512845312 32059 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 4 0 16800975 18446604437825946944 0 0 -1 0 0 0 0
[pid=4012/tid=4021] ppid=3978 vsize=1477388 CPUtime=0.36
/proc/4012/task/4021/stat : 4021 (java) S 3978 4012 4012 0 -1 4202560 286 0 0 0 36 0 0 0 15 0 13 0 89159146 1512845312 32059 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 4 0 16800975 18446604437825946944 0 0 -1 0 0 0 0
[pid=4012/tid=4022] ppid=3978 vsize=1477388 CPUtime=0
/proc/4012/task/4022/stat : 4022 (java) S 3978 4012 4012 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 89159146 1512845312 32059 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 4 0 16800975 18446604437825946944 0 0 -1 0 0 0 0
[pid=4012/tid=4023] ppid=3978 vsize=1477388 CPUtime=0
/proc/4012/task/4023/stat : 4023 (java) S 3978 4012 4012 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 13 0 89159146 1512845312 32059 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 4 0 16800975 18446604437825946944 0 0 -1 1 0 0 0
[pid=4012/tid=4024] ppid=3978 vsize=1477388 CPUtime=0
/proc/4012/task/4024/stat : 4024 (java) S 3978 4012 4012 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 13 0 89159176 1512845312 32059 1992294400 134512640 134550932 4288931616 18446744073709551615 4294960144 0 4 0 16800975 18446604437825946944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 489.69
Current children cumulated vsize (KiB) 1611500

[startup+522.301 s]
/proc/loadavg: 1.12 1.07 0.92 2/108 4031
/proc/meminfo: memFree=1452204/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=134112 CPUtime=498.23
/proc/3978/stat : 3978 (python) S 3976 3978 3624 0 -1 4202496 19559 152031 0 1 2992 452 46209 170 16 0 1 0 89122536 137330688 6338 1992294400 4194304 4196484 140733491472080 18446744073709551615 255345864207 0 0 16781312 2 159688670771686259 0 0 17 0 0 0 0
/proc/3978/statm: 33528 6338 1143 1 0 5165 0
[pid=4029] ppid=3978 vsize=80728 CPUtime=55.39
/proc/4029/stat : 4029 (wbo1.4b) R 3978 4029 4029 0 -1 4202496 20066 0 0 0 5510 29 0 0 25 0 1 0 89169224 82665472 19745 1992294400 134512640 135751879 4291729664 18446744073709551615 134616514 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4029/statm: 20182 19745 144 303 0 19877 0
Current children cumulated CPU time (s) 553.62
Current children cumulated vsize (KiB) 214840

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

[startup+537.501 s]
/proc/loadavg: 1.09 1.06 0.92 2/108 4031
/proc/meminfo: memFree=1436828/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=134112 CPUtime=499.16
/proc/3978/stat : 3978 (python) S 3976 3978 3624 0 -1 4202496 19566 152031 0 1 3074 463 46209 170 15 0 1 0 89122536 137330688 6338 1992294400 4194304 4196484 140733491472080 18446744073709551615 255345864207 0 0 16781312 2 159688670771686259 0 0 17 0 0 0 0
/proc/3978/statm: 33528 6338 1143 1 0 5165 0
[pid=4029] ppid=3978 vsize=95996 CPUtime=70.58
/proc/4029/stat : 4029 (wbo1.4b) R 3978 4029 4029 0 -1 4202496 23859 0 0 0 7023 35 0 0 25 0 1 0 89169224 98299904 23538 1992294400 134512640 135751879 4291729664 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4029/statm: 23999 23538 144 303 0 23694 0
Current children cumulated CPU time (s) 569.74
Current children cumulated vsize (KiB) 230108

[startup+550.302 s]
/proc/loadavg: 1.07 1.06 0.92 2/108 4031
/proc/meminfo: memFree=1428892/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=134112 CPUtime=499.9
/proc/3978/stat : 3978 (python) S 3976 3978 3624 0 -1 4202496 19571 152031 0 1 3141 470 46209 170 15 0 1 0 89122536 137330688 6338 1992294400 4194304 4196484 140733491472080 18446744073709551615 255345864207 0 0 16781312 2 159688670771686259 0 0 17 0 0 0 0
/proc/3978/statm: 33528 6338 1143 1 0 5165 0
[pid=4029] ppid=3978 vsize=103572 CPUtime=83.38
/proc/4029/stat : 4029 (wbo1.4b) R 3978 4029 4029 0 -1 4202496 25740 0 0 0 8298 40 0 0 25 0 1 0 89169224 106057728 25419 1992294400 134512640 135751879 4291729664 18446744073709551615 134616778 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4029/statm: 25893 25419 144 303 0 25588 0
Current children cumulated CPU time (s) 583.28
Current children cumulated vsize (KiB) 237684

[startup+556.702 s]
/proc/loadavg: 1.06 1.06 0.92 2/108 4031
/proc/meminfo: memFree=1425544/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=134112 CPUtime=500.27
/proc/3978/stat : 3978 (python) S 3976 3978 3624 0 -1 4202496 19573 152031 0 1 3173 475 46209 170 15 0 1 0 89122536 137330688 6338 1992294400 4194304 4196484 140733491472080 18446744073709551615 255345864207 0 0 16781312 2 159688670771686259 0 0 17 0 0 0 0
/proc/3978/statm: 33528 6338 1143 1 0 5165 0
[pid=4029] ppid=3978 vsize=106780 CPUtime=89.78
/proc/4029/stat : 4029 (wbo1.4b) R 3978 4029 4029 0 -1 4202496 26541 0 0 0 8936 42 0 0 25 0 1 0 89169224 109342720 26220 1992294400 134512640 135751879 4291729664 18446744073709551615 134616497 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4029/statm: 26695 26220 144 303 0 26390 0
Current children cumulated CPU time (s) 590.05
Current children cumulated vsize (KiB) 240892

[startup+563.101 s]
/proc/loadavg: 1.05 1.05 0.92 2/108 4033
/proc/meminfo: memFree=1415004/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=134112 CPUtime=500.65
/proc/3978/stat : 3978 (python) S 3976 3978 3624 0 -1 4202496 19576 152031 0 1 3206 480 46209 170 15 0 1 0 89122536 137330688 6338 1992294400 4194304 4196484 140733491472080 18446744073709551615 255345864207 0 0 16781312 2 159688670771686259 0 0 17 0 0 0 0
/proc/3978/statm: 33528 6338 1143 1 0 5165 0
[pid=4029] ppid=3978 vsize=117132 CPUtime=96.18
/proc/4029/stat : 4029 (wbo1.4b) R 3978 4029 4029 0 -1 4202496 29150 0 0 0 9572 46 0 0 25 0 1 0 89169224 119943168 28829 1992294400 134512640 135751879 4291729664 18446744073709551615 134616526 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4029/statm: 29283 28829 144 303 0 28978 0
Current children cumulated CPU time (s) 596.83
Current children cumulated vsize (KiB) 251244

[startup+566.301 s]
/proc/loadavg: 1.05 1.05 0.92 2/108 4033
/proc/meminfo: memFree=1410912/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=134112 CPUtime=500.83
/proc/3978/stat : 3978 (python) S 3976 3978 3624 0 -1 4202496 19577 152031 0 1 3222 482 46209 170 15 0 1 0 89122536 137330688 6338 1992294400 4194304 4196484 140733491472080 18446744073709551615 255345864207 0 0 16781312 2 159688670771686259 0 0 17 0 0 0 0
/proc/3978/statm: 33528 6338 1143 1 0 5165 0
[pid=4029] ppid=3978 vsize=122688 CPUtime=99.38
/proc/4029/stat : 4029 (wbo1.4b) R 3978 4029 4029 0 -1 4202496 30538 0 0 0 9890 48 0 0 25 0 1 0 89169224 125632512 30217 1992294400 134512640 135751879 4291729664 18446744073709551615 134517414 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/4029/statm: 30672 30217 144 303 0 30367 0
Current children cumulated CPU time (s) 600.21
Current children cumulated vsize (KiB) 256800

[startup+567.901 s]
/proc/loadavg: 1.05 1.05 0.92 3/108 4033
/proc/meminfo: memFree=1408308/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=134112 CPUtime=601.72
/proc/3978/stat : 3978 (python) S 3976 3978 3624 0 -1 4202496 20754 183750 0 1 3243 486 56222 221 16 0 1 0 89122536 137330688 6339 1992294400 4194304 4196484 140733491472080 18446744073709551615 255345864207 0 0 16781312 2 159688670771686259 0 0 17 0 0 0 0
/proc/3978/statm: 33528 6339 1143 1 0 5165 0
Current children cumulated CPU time (s) 601.72
Current children cumulated vsize (KiB) 134112

[startup+568.301 s]
/proc/loadavg: 1.05 1.05 0.92 3/108 4033
/proc/meminfo: memFree=1408308/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=134112 CPUtime=601.72
/proc/3978/stat : 3978 (python) S 3976 3978 3624 0 -1 4202496 20754 183750 0 1 3243 486 56222 221 16 0 1 0 89122536 137330688 6339 1992294400 4194304 4196484 140733491472080 18446744073709551615 255345864207 0 0 16781312 2 159688670771686259 0 0 17 0 0 0 0
/proc/3978/statm: 33528 6339 1143 1 0 5165 0
Current children cumulated CPU time (s) 601.72
Current children cumulated vsize (KiB) 134112

[startup+568.501 s]
/proc/loadavg: 1.05 1.05 0.92 3/108 4033
/proc/meminfo: memFree=1408308/2059040 swapFree=4135892/4192956
[pid=3978] ppid=3976 vsize=134112 CPUtime=602.67
/proc/3978/stat : 3978 (python) R 3976 3978 3624 0 -1 4202496 20832 185119 0 1 3257 488 56300 222 16 0 1 0 89122536 137330688 6340 1992294400 4194304 4196484 140733491472080 18446744073709551615 47773390427107 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3978/statm: 33528 6340 1143 1 0 5165 0
Current children cumulated CPU time (s) 602.67
Current children cumulated vsize (KiB) 134112

Child status: 20
Real time (s): 568.59
CPU time (s): 602.775
CPU user time (s): 595.631
CPU system time (s): 7.14391
CPU usage (%): 106.012
Max. virtual memory (cumulated for all children) (KiB): 1612156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 595.631
system time used= 7.14391
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211691
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7432
involuntary context switches= 10001

runsolver used 1.02684 second user time and 2.80057 second system time

The end

Launcher Data 

Begin job on node014 at 2010-06-21 17:46:51
IDJOB=2676299
IDBENCH=2583
IDSOLVER=1178
FILE ID=node014/2676299-1277135211
PBS_JOBID= 11182096
Free space on /tmp= 62548 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2676299-1277135211/watcher-2676299-1277135211 -o /tmp/evaluation-result-2676299-1277135211/solver-2676299-1277135211 -C 1800 -W 2000 -M 1800  solver HOME/instance-2676299-1277135211.opb 1079116459 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 583fb36c9cf948cc03f361dd87435bdd
RANDOM SEED=1079116459

node014.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.258
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.51
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.258
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1552380 kB
Buffers:        120188 kB
Cached:         281696 kB
SwapCached:      10368 kB
Active:         217416 kB
Inactive:       198300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1552380 kB
SwapTotal:     4192956 kB
SwapFree:      4135892 kB
Dirty:           20584 kB
Writeback:           0 kB
AnonPages:       12108 kB
Mapped:           9180 kB
Slab:            69036 kB
PageTables:       4088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183112 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62528 MiB
End job on node014 at 2010-06-21 17:56:20