Trace number 2676239

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 603.747 566.618

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb
MD5SUM0beb8de972e873a7bfc16369cb81d469
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.169973
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3280
Total number of constraints162
Number of constraints which are clauses82
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
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 42
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.12/1.60	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1508692580', u'HOME/instance-2676239-1277134780.opb'] for 0:00:10
11.93/11.85	c DEBUG: probabilities of action success (DCM model):
11.93/11.85	c        pb/competition_2010/bsolo_pb10-l1   : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203
11.93/11.85	c        pb/competition_2010/bsolo_pb10-l2   : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839
11.93/11.85	c        pb/competition_2010/bsolo_pb10-l3   : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668
11.93/11.85	c        pb/competition_2010/wbo1.4a         : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920
11.93/11.85	c        pb/competition_2010/wbo1.4b         : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713
11.93/11.85	c        pb/other/clasp-1.3.3                : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405
11.93/11.85	c        pb/other/sat4j-pb-v20090829         : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733
11.93/11.85	c        pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874
11.93/11.85	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=2141555504', u'HOME/instance-2676239-1277134780.opb'] for 0:00:50
65.71/62.38	c DEBUG: probabilities of action success (DCM model):
65.71/62.38	c        pb/competition_2010/bsolo_pb10-l1   : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502
65.71/62.38	c        pb/competition_2010/bsolo_pb10-l2   : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606
65.71/62.38	c        pb/competition_2010/bsolo_pb10-l3   : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877
65.71/62.38	c        pb/competition_2010/wbo1.4a         : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608
65.71/62.38	c        pb/competition_2010/wbo1.4b         : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592
65.71/62.38	c        pb/other/clasp-1.3.3                : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135
65.71/62.38	c        pb/other/sat4j-pb-v20090829         : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124
65.71/62.38	c        pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541
65.71/62.38	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2676239-1277134780.opb'] for 0:00:50
119.89/113.05	c DEBUG: probabilities of action success (DCM model):
119.89/113.05	c        pb/competition_2010/bsolo_pb10-l1   : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900
119.89/113.05	c        pb/competition_2010/bsolo_pb10-l2   : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225
119.89/113.05	c        pb/competition_2010/bsolo_pb10-l3   : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184
119.89/113.05	c        pb/competition_2010/wbo1.4a         : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342
119.89/113.05	c        pb/competition_2010/wbo1.4b         : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401
119.89/113.05	c        pb/other/clasp-1.3.3                : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027
119.89/113.05	c        pb/other/sat4j-pb-v20090829         : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982
119.89/113.05	c        pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127
119.89/113.05	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=163396878', u'HOME/instance-2676239-1277134780.opb'] for 0:01:40
226.66/213.54	c DEBUG: probabilities of action success (DCM model):
226.66/213.54	c        pb/competition_2010/bsolo_pb10-l1   : 0.0247 0.0400 0.0751 0.1401 0.2219 0.2508 0.3462
226.66/213.54	c        pb/competition_2010/bsolo_pb10-l2   : 0.0050 0.0071 0.0079 0.0295 0.0510 0.0684 0.1710
226.66/213.54	c        pb/competition_2010/bsolo_pb10-l3   : 0.0355 0.0650 0.0805 0.0954 0.1214 0.1529 0.2736
226.66/213.54	c        pb/competition_2010/wbo1.4a         : 0.0631 0.0338 0.2163 0.4128 0.5510 0.6157 0.7989
226.66/213.54	c        pb/competition_2010/wbo1.4b         : 0.0545 0.1268 0.2082 0.4263 0.5997 0.6749 0.8065
226.66/213.54	c        pb/other/clasp-1.3.3                : 0.0347 0.0418 0.0948 0.6033 0.7238 0.7699 0.8744
226.66/213.54	c        pb/other/sat4j-pb-v20090829         : 0.0247 0.1147 0.2008 0.3538 0.4371 0.5085 0.6375
226.66/213.54	c        pb/other/sat4j-pb-v20090829-cutting : 0.0098 0.0590 0.0635 0.1475 0.1811 0.2159 0.3382
226.66/213.55	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2676239-1277134780.opb'] for 0:01:40
333.88/314.11	c DEBUG: probabilities of action success (DCM model):
333.88/314.11	c        pb/competition_2010/bsolo_pb10-l1   : 0.0156 0.0235 0.0614 0.1303 0.1974 0.2250 0.3271
333.88/314.11	c        pb/competition_2010/bsolo_pb10-l2   : 0.0011 0.0016 0.0016 0.0218 0.0428 0.0588 0.1723
333.88/314.11	c        pb/competition_2010/bsolo_pb10-l3   : 0.0364 0.0633 0.0713 0.0764 0.0953 0.1265 0.2416
333.88/314.11	c        pb/competition_2010/wbo1.4a         : 0.0388 0.0143 0.0065 0.3252 0.4879 0.5653 0.7780
333.88/314.11	c        pb/competition_2010/wbo1.4b         : 0.0491 0.1120 0.1818 0.3951 0.5855 0.6732 0.7962
333.88/314.11	c        pb/other/clasp-1.3.3                : 0.0380 0.0372 0.0847 0.6129 0.7311 0.7735 0.8750
333.88/314.11	c        pb/other/sat4j-pb-v20090829         : 0.0223 0.0941 0.1681 0.3180 0.4093 0.4810 0.6269
333.88/314.11	c        pb/other/sat4j-pb-v20090829-cutting : 0.0089 0.0525 0.0541 0.1163 0.1522 0.1791 0.3190
333.88/314.12	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2676239-1277134780.opb'] for 0:00:50
387.67/364.42	c DEBUG: probabilities of action success (DCM model):
387.67/364.42	c        pb/competition_2010/bsolo_pb10-l1   : 0.0121 0.0167 0.0564 0.1255 0.1980 0.2239 0.3192
387.67/364.42	c        pb/competition_2010/bsolo_pb10-l2   : 0.0002 0.0004 0.0004 0.0188 0.0361 0.0540 0.1522
387.67/364.42	c        pb/competition_2010/bsolo_pb10-l3   : 0.0390 0.0684 0.0706 0.0756 0.0833 0.1148 0.2137
387.67/364.42	c        pb/competition_2010/wbo1.4a         : 0.0407 0.0109 0.0051 0.2928 0.4496 0.5315 0.7564
387.67/364.42	c        pb/competition_2010/wbo1.4b         : 0.0348 0.0018 0.1419 0.3470 0.5421 0.6387 0.7765
387.67/364.42	c        pb/other/clasp-1.3.3                : 0.0383 0.0341 0.0720 0.5896 0.7131 0.7571 0.8647
387.67/364.42	c        pb/other/sat4j-pb-v20090829         : 0.0164 0.0836 0.1593 0.3116 0.3998 0.4540 0.5947
387.67/364.42	c        pb/other/sat4j-pb-v20090829-cutting : 0.0074 0.0356 0.0375 0.0756 0.1084 0.1272 0.2619
387.67/364.42	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-2676239-1277134780.opb'] for 0:01:40
494.58/464.18	c DEBUG: probabilities of action success (DCM model):
494.58/464.18	c        pb/competition_2010/bsolo_pb10-l1   : 0.0113 0.0134 0.0468 0.1111 0.1700 0.2008 0.3121
494.58/464.18	c        pb/competition_2010/bsolo_pb10-l2   : 0.0003 0.0004 0.0004 0.0097 0.0246 0.0337 0.1349
494.58/464.18	c        pb/competition_2010/bsolo_pb10-l3   : 0.0350 0.0698 0.0716 0.0742 0.0803 0.1102 0.2054
494.58/464.18	c        pb/competition_2010/wbo1.4a         : 0.0412 0.0077 0.0057 0.2651 0.4171 0.5010 0.7572
494.58/464.18	c        pb/competition_2010/wbo1.4b         : 0.0393 0.0018 0.1223 0.3301 0.5006 0.5897 0.7412
494.58/464.18	c        pb/other/clasp-1.3.3                : 0.0438 0.0393 0.0774 0.5834 0.6917 0.7344 0.8415
494.58/464.18	c        pb/other/sat4j-pb-v20090829         : 0.0113 0.0469 0.0012 0.2219 0.2984 0.3590 0.5209
494.58/464.18	c        pb/other/sat4j-pb-v20090829-cutting : 0.0068 0.0314 0.0319 0.0608 0.0967 0.1155 0.2497
494.58/464.19	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2676239-1277134780.opb'] for 0:01:40
602.41/565.53	c DEBUG: probabilities of action success (DCM model):
602.41/565.53	c        pb/competition_2010/bsolo_pb10-l1   : 0.0057 0.0071 0.0414 0.1021 0.1619 0.1915 0.2956
602.41/565.53	c        pb/competition_2010/bsolo_pb10-l2   : 0.0001 0.0001 0.0001 0.0077 0.0229 0.0303 0.1153
602.41/565.53	c        pb/competition_2010/bsolo_pb10-l3   : 0.0337 0.0722 0.0727 0.0742 0.0771 0.1052 0.1843
602.41/565.53	c        pb/competition_2010/wbo1.4a         : 0.0430 0.0055 0.0046 0.2375 0.3823 0.4676 0.7399
602.41/565.53	c        pb/competition_2010/wbo1.4b         : 0.0298 0.0007 0.0251 0.2904 0.4467 0.5397 0.7097
602.41/565.53	c        pb/other/clasp-1.3.3                : 0.0452 0.0419 0.0705 0.5569 0.6657 0.7106 0.8227
602.41/565.53	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0367 0.0011 0.1953 0.2620 0.3061 0.4652
602.41/565.53	c        pb/other/sat4j-pb-v20090829-cutting : 0.0047 0.0213 0.0220 0.0357 0.0726 0.0877 0.2092
602.41/565.54	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-2676239-1277134780.opb'] for 0:00:50
603.61/566.55	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-2676239-1277134780/watcher-2676239-1277134780 -o /tmp/evaluation-result-2676239-1277134780/solver-2676239-1277134780 -C 1800 -W 2000 -M 1800 solver HOME/instance-2676239-1277134780.opb 1171615648 

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.16 1.01 0.93 3/107 5934
/proc/meminfo: memFree=1332528/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=16708 CPUtime=0
/proc/5934/stat : 5934 (python) R 5932 5934 5755 0 -1 4202496 735 0 0 0 0 0 0 0 18 0 1 0 87133819 17108992 501 1992294400 4194304 4196484 140736260270960 18446744073709551615 259177001669 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5934/statm: 4177 503 272 1 0 273 0

[startup+0.0249009 s]
/proc/loadavg: 1.16 1.01 0.93 3/107 5934
/proc/meminfo: memFree=1332528/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=17092 CPUtime=0.01
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 1505 0 0 0 0 1 0 0 18 0 1 0 87133819 17502208 545 1992294400 4194304 4196484 140734469148416 18446744073709551615 259177336677 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 0
/proc/5934/statm: 4273 548 321 1 0 253 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17092

[startup+0.102889 s]
/proc/loadavg: 1.16 1.01 0.93 3/107 5934
/proc/meminfo: memFree=1332528/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=32156 CPUtime=0.07
/proc/5934/stat : 5934 (python) R 5932 5934 5755 0 -1 4202496 2402 0 0 0 4 3 0 0 17 0 1 0 87133819 32927744 1380 1992294400 4194304 4196484 140734469148416 18446744073709551615 47791612625025 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5934/statm: 8039 1380 459 1 0 911 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 32156

[startup+0.300883 s]
/proc/loadavg: 1.16 1.01 0.93 3/107 5934
/proc/meminfo: memFree=1332528/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=70596 CPUtime=0.21
/proc/5934/stat : 5934 (python) R 5932 5934 5755 0 -1 4202496 3960 0 0 0 14 7 0 0 17 0 1 0 87133819 72290304 2797 1992294400 4194304 4196484 140734469148416 18446744073709551615 259176996871 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5934/statm: 17649 2797 693 1 0 2136 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 70596

[startup+0.700873 s]
/proc/loadavg: 1.16 1.01 0.93 3/107 5934
/proc/meminfo: memFree=1332528/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=98840 CPUtime=0.48
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 4866 0 0 0 29 19 0 0 16 0 1 0 87133819 101212160 3581 1992294400 4194304 4196484 140734469148416 18446744073709551615 259177338880 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 0
/proc/5934/statm: 24710 3581 1022 1 0 2567 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 98840

[startup+1.50085 s]
/proc/loadavg: 1.16 1.01 0.93 2/108 5939
/proc/meminfo: memFree=1315904/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=119524 CPUtime=1.02
/proc/5934/stat : 5934 (python) R 5932 5934 5755 0 -1 4202496 9021 930 0 0 69 33 0 0 16 0 1 0 87133819 122392576 6151 1992294400 4194304 4196484 140734469148416 18446744073709551615 47791612566916 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5934/statm: 29881 6151 1063 1 0 5135 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 119524

[startup+3.10181 s]
/proc/loadavg: 1.16 1.01 0.93 2/109 5940
/proc/meminfo: memFree=1309324/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=132048 CPUtime=1.25
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 10284 930 0 0 88 37 0 0 15 0 1 0 87133819 135217152 6306 1992294400 4194304 4196484 140734469148416 18446744073709551615 259177360911 0 0 16781312 2 159688670771686263 0 0 17 0 0 0 0
/proc/5934/statm: 33012 6306 1133 1 0 5164 0
[pid=5940] ppid=5934 vsize=4312 CPUtime=1.48
/proc/5940/stat : 5940 (clasp-1.3.3-x86) R 5934 5940 5940 0 -1 4202496 1149 0 0 0 148 0 0 0 19 0 1 0 87133979 4415488 833 1992294400 134512640 136080129 4293401264 18446744073709551615 134845843 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5940/statm: 1078 833 174 383 0 693 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 136360

[startup+6.30072 s]
/proc/loadavg: 1.15 1.01 0.93 3/109 5940
/proc/meminfo: memFree=1307216/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=132048 CPUtime=1.45
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 10302 930 0 0 106 39 0 0 15 0 1 0 87133819 135217152 6306 1992294400 4194304 4196484 140734469148416 18446744073709551615 259177360911 0 0 16781312 2 159688670771686263 0 0 17 0 0 0 0
/proc/5934/statm: 33012 6306 1133 1 0 5164 0
[pid=5940] ppid=5934 vsize=5236 CPUtime=4.65
/proc/5940/stat : 5940 (clasp-1.3.3-x86) R 5934 5940 5940 0 -1 4202496 1373 0 0 0 464 1 0 0 25 0 1 0 87133979 5361664 1057 1992294400 134512640 136080129 4293401264 18446744073709551615 134588752 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5940/statm: 1309 1057 174 383 0 924 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 137284

[startup+12.7015 s]
/proc/loadavg: 1.13 1.01 0.93 2/109 5943
/proc/meminfo: memFree=1309696/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=134108 CPUtime=12.11
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 11598 3467 0 0 150 45 1012 4 15 0 1 0 87133819 137326592 6328 1992294400 4194304 4196484 140734469148416 18446744073709551615 259177360911 0 0 16781312 2 159836005329808247 0 0 17 1 0 0 0
/proc/5934/statm: 33527 6328 1143 1 0 5164 0
[pid=5943] ppid=5934 vsize=3920 CPUtime=0.84
/proc/5943/stat : 5943 (clasp-1.3.3-x86) R 5934 5943 5943 0 -1 4202496 1055 0 0 0 84 0 0 0 19 0 1 0 87135004 4014080 742 1992294400 134512640 136080129 4286910352 18446744073709551615 134579552 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5943/statm: 980 742 174 383 0 595 0
Current children cumulated CPU time (s) 12.95
Current children cumulated vsize (KiB) 138028

[startup+25.5002 s]
/proc/loadavg: 1.25 1.04 0.94 2/109 5943
/proc/meminfo: memFree=1306224/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=134108 CPUtime=12.97
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 11641 3467 0 0 226 55 1012 4 15 0 1 0 87133819 137326592 6328 1992294400 4194304 4196484 140734469148416 18446744073709551615 259177360911 0 0 16781312 2 159836005329808247 0 0 17 1 0 0 0
/proc/5934/statm: 33527 6328 1143 1 0 5164 0
[pid=5943] ppid=5934 vsize=6684 CPUtime=13.63
/proc/5943/stat : 5943 (clasp-1.3.3-x86) R 5934 5943 5943 0 -1 4202496 1722 0 0 0 1363 0 0 0 25 0 1 0 87135004 6844416 1409 1992294400 134512640 136080129 4286910352 18446744073709551615 134850021 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5943/statm: 1671 1409 174 383 0 1286 0
Current children cumulated CPU time (s) 26.6
Current children cumulated vsize (KiB) 140792

[startup+51.1009 s]
/proc/loadavg: 1.35 1.09 0.95 2/109 5945
/proc/meminfo: memFree=1304612/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=134108 CPUtime=14.68
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 11725 3467 0 0 378 74 1012 4 15 0 1 0 87133819 137326592 6328 1992294400 4194304 4196484 140734469148416 18446744073709551615 259177360911 0 0 16781312 2 159836005329808247 0 0 17 1 0 0 0
/proc/5934/statm: 33527 6328 1143 1 0 5164 0
[pid=5943] ppid=5934 vsize=8132 CPUtime=39.19
/proc/5943/stat : 5943 (clasp-1.3.3-x86) R 5934 5943 5943 0 -1 4202496 2114 0 0 0 3919 0 0 0 25 0 1 0 87135004 8327168 1801 1992294400 134512640 136080129 4286910352 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5943/statm: 2033 1801 174 383 0 1648 0
Current children cumulated CPU time (s) 53.87
Current children cumulated vsize (KiB) 142240

[startup+102.309 s]
/proc/loadavg: 1.25 1.10 0.96 2/109 5948
/proc/meminfo: memFree=1256004/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=134108 CPUtime=68.88
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 13006 6684 0 0 716 117 6048 7 16 0 1 0 87133819 137326592 6331 1992294400 4194304 4196484 140734469148416 18446744073709551615 259177360911 0 0 16781312 2 159836005329808247 0 0 17 1 0 0 0
/proc/5934/statm: 33527 6331 1143 1 0 5164 0
[pid=5948] ppid=5934 vsize=57716 CPUtime=39.63
/proc/5948/stat : 5948 (wbo1.4a) R 5934 5948 5948 0 -1 4202496 14309 0 0 0 3946 17 0 0 25 0 1 0 87140058 59101184 13980 1992294400 134512640 135751879 4290236656 18446744073709551615 134616486 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5948/statm: 14429 13980 139 303 0 14124 0
Current children cumulated CPU time (s) 108.51
Current children cumulated vsize (KiB) 191824

[startup+162.301 s]
/proc/loadavg: 1.31 1.14 0.98 2/109 5953
/proc/meminfo: memFree=1304240/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=134108 CPUtime=123.06
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 14315 24116 0 0 1057 165 11054 30 15 0 1 0 87133819 137326592 6332 1992294400 4194304 4196484 140734469148416 18446744073709551615 259177360911 0 0 16781312 2 159688670771686263 0 0 17 0 0 0 0
/proc/5934/statm: 33527 6332 1143 1 0 5164 0
[pid=5951] ppid=5934 vsize=8664 CPUtime=49.23
/proc/5951/stat : 5951 (clasp-1.3.3-x86) R 5934 5951 5951 0 -1 4202496 2234 0 0 0 4922 1 0 0 25 0 1 0 87145124 8871936 1920 1992294400 134512640 136080129 4290226448 18446744073709551615 134588728 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5951/statm: 2166 1920 174 383 0 1781 0
Current children cumulated CPU time (s) 172.29
Current children cumulated vsize (KiB) 142772

[startup+222.301 s]
/proc/loadavg: 1.30 1.16 1.00 2/109 5958
/proc/meminfo: memFree=1294320/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=134108 CPUtime=227.56
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 15538 27623 0 0 1410 217 21096 33 15 0 1 0 87133819 137326592 6333 1992294400 4194304 4196484 140734469148416 18446744073709551615 259177360911 0 0 16781312 2 159688670771686263 0 0 17 0 0 0 0
/proc/5934/statm: 33527 6333 1143 1 0 5164 0
[pid=5958] ppid=5934 vsize=19360 CPUtime=8.73
/proc/5958/stat : 5958 (wbo1.4a) R 5934 5958 5958 0 -1 4202496 4737 0 0 0 865 8 0 0 25 0 1 0 87155174 19824640 4406 1992294400 134512640 135751879 4288225376 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5958/statm: 4840 4406 139 303 0 4535 0
Current children cumulated CPU time (s) 236.29
Current children cumulated vsize (KiB) 153468

[startup+282.301 s]
/proc/loadavg: 1.15 1.14 1.00 2/109 5960
/proc/meminfo: memFree=1217812/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=134108 CPUtime=231.35
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 15618 27623 0 0 1743 263 21096 33 15 0 1 0 87133819 137326592 6333 1992294400 4194304 4196484 140734469148416 18446744073709551615 259177360911 0 0 16781312 2 159688670771686263 0 0 17 0 0 0 0
/proc/5934/statm: 33527 6333 1143 1 0 5164 0
[pid=5958] ppid=5934 vsize=96448 CPUtime=68.72
/proc/5958/stat : 5958 (wbo1.4a) R 5934 5958 5958 0 -1 4202496 23962 0 0 0 6841 31 0 0 25 0 1 0 87155174 98762752 23631 1992294400 134512640 135751879 4288225376 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5958/statm: 24112 23631 139 303 0 23807 0
Current children cumulated CPU time (s) 300.07
Current children cumulated vsize (KiB) 230556

[startup+342.301 s]
/proc/loadavg: 1.22 1.16 1.01 2/109 5963
/proc/meminfo: memFree=1266916/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=134108 CPUtime=336
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 16890 61991 0 0 2104 316 31101 79 15 0 1 0 87133819 137326592 6335 1992294400 4194304 4196484 140734469148416 18446744073709551615 259177360911 0 0 16781312 2 159688670771686263 0 0 17 0 0 0 0
/proc/5934/statm: 33527 6335 1143 1 0 5164 0
[pid=5963] ppid=5934 vsize=46968 CPUtime=28.16
/proc/5963/stat : 5963 (wbo1.4b) R 5934 5963 5963 0 -1 4202496 11726 0 0 0 2803 13 0 0 25 0 1 0 87165231 48095232 11316 1992294400 134512640 135751879 4294405616 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5963/statm: 11742 11316 144 303 0 11437 0
Current children cumulated CPU time (s) 364.16
Current children cumulated vsize (KiB) 181076

[startup+402.301 s]
/proc/loadavg: 1.18 1.16 1.02 2/121 5980
/proc/meminfo: memFree=1204428/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=134108 CPUtime=390.22
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 18181 79106 0 0 2450 365 36106 101 15 0 1 0 87133819 137326592 6337 1992294400 4194304 4196484 140734469148416 18446744073709551615 259177360911 0 0 16781312 2 159688670771686263 0 0 17 0 0 0 0
/proc/5934/statm: 33527 6337 1143 1 0 5164 0
[pid=5968] ppid=5934 vsize=1477496 CPUtime=38.48
/proc/5968/stat : 5968 (java) S 5934 5968 5968 0 -1 4202496 26542 0 90 0 3830 18 0 0 16 0 13 0 87170261 1512955904 25533 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 4
/proc/5968/statm: 369374 25533 1421 10 0 366676 0
[pid=5968/tid=5969] ppid=5934 vsize=1477496 CPUtime=37.59
/proc/5968/task/5969/stat : 5969 (java) R 5934 5968 5968 0 -1 4202560 23767 0 57 0 3744 15 0 0 25 0 13 0 87170269 1512955904 25533 1992294400 134512640 134550932 4291949088 18446744073709551615 4109319079 0 4 0 16800975 0 0 0 -1 1 0 0 11
[pid=5968/tid=5970] ppid=5934 vsize=1477496 CPUtime=0
/proc/5968/task/5970/stat : 5970 (java) S 5934 5968 5968 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 13 0 87170275 1512955904 25533 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 4 0 16800975 18446604436671297536 0 0 -1 1 0 0 0
[pid=5968/tid=5971] ppid=5934 vsize=1477496 CPUtime=0
/proc/5968/task/5971/stat : 5971 (java) S 5934 5968 5968 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 13 0 87170275 1512955904 25533 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 4 0 16800975 18446604436671297536 0 0 -1 1 0 0 0
[pid=5968/tid=5972] ppid=5934 vsize=1477496 CPUtime=0
/proc/5968/task/5972/stat : 5972 (java) S 5934 5968 5968 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 13 0 87170278 1512955904 25533 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 0 0 16800975 18446604436671297536 0 0 -1 1 0 0 0
[pid=5968/tid=5973] ppid=5934 vsize=1477496 CPUtime=0
/proc/5968/task/5973/stat : 5973 (java) S 5934 5968 5968 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 13 0 87170279 1512955904 25533 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 4 0 16800975 18446604436671297536 0 0 -1 0 0 0 0
[pid=5968/tid=5974] ppid=5934 vsize=1477496 CPUtime=0
/proc/5968/task/5974/stat : 5974 (java) S 5934 5968 5968 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 87170279 1512955904 25533 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 4 0 16800975 18446604436671297536 0 0 -1 0 0 0 0
[pid=5968/tid=5975] ppid=5934 vsize=1477496 CPUtime=0
/proc/5968/task/5975/stat : 5975 (java) S 5934 5968 5968 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 87170286 1512955904 25533 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 4 0 16800975 18446604436671297536 0 0 -1 0 0 0 0
[pid=5968/tid=5976] ppid=5934 vsize=1477496 CPUtime=0.4
/proc/5968/task/5976/stat : 5976 (java) S 5934 5968 5968 0 -1 4202560 462 0 0 0 40 0 0 0 15 0 13 0 87170286 1512955904 25533 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 4 0 16800975 18446604436671297536 0 0 -1 0 0 0 0
[pid=5968/tid=5977] ppid=5934 vsize=1477496 CPUtime=0.45
/proc/5968/task/5977/stat : 5977 (java) S 5934 5968 5968 0 -1 4202560 988 0 0 0 45 0 0 0 15 0 13 0 87170286 1512955904 25533 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 4 0 16800975 18446604436671297536 0 0 -1 0 0 0 0
[pid=5968/tid=5978] ppid=5934 vsize=1477496 CPUtime=0
/proc/5968/task/5978/stat : 5978 (java) S 5934 5968 5968 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 13 0 87170286 1512955904 25533 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 4 0 16800975 18446604436671297536 0 0 -1 0 0 0 0
[pid=5968/tid=5979] ppid=5934 vsize=1477496 CPUtime=0
/proc/5968/task/5979/stat : 5979 (java) S 5934 5968 5968 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 13 0 87170286 1512955904 25533 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 4 0 16800975 18446604436671297536 0 0 -1 0 0 0 0
[pid=5968/tid=5980] ppid=5934 vsize=1477496 CPUtime=0
/proc/5968/task/5980/stat : 5980 (java) S 5934 5968 5968 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 13 0 87170338 1512955904 25533 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 4 0 16800975 18446604436671297536 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 428.7
Current children cumulated vsize (KiB) 1611604

[startup+462.302 s]
/proc/loadavg: 1.07 1.13 1.01 2/121 5982
/proc/meminfo: memFree=1069888/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=134108 CPUtime=394
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 18213 79106 0 0 2785 408 36106 101 15 0 1 0 87133819 137326592 6337 1992294400 4194304 4196484 140734469148416 18446744073709551615 259177360911 0 0 16781312 2 159688670771686263 0 0 17 0 0 0 0
/proc/5934/statm: 33527 6337 1143 1 0 5164 0
[pid=5968] ppid=5934 vsize=1477496 CPUtime=98.64
/proc/5968/stat : 5968 (java) S 5934 5968 5968 0 -1 4202496 70385 0 90 0 9821 43 0 0 16 0 13 0 87170261 1512955904 58814 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 4
/proc/5968/statm: 369374 58814 1430 10 0 366676 0
[pid=5968/tid=5969] ppid=5934 vsize=1477496 CPUtime=97.41
/proc/5968/task/5969/stat : 5969 (java) R 5934 5968 5968 0 -1 4202560 30890 0 57 0 9720 21 0 0 25 0 13 0 87170269 1512955904 58814 1992294400 134512640 134550932 4291949088 18446744073709551615 4109242723 0 4 0 16800975 0 0 0 -1 1 0 0 11
[pid=5968/tid=5970] ppid=5934 vsize=1477496 CPUtime=0.15
/proc/5968/task/5970/stat : 5970 (java) S 5934 5968 5968 0 -1 4202560 17228 0 0 0 7 8 0 0 18 0 13 0 87170275 1512955904 58814 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 4 0 16800975 18446604436671297536 0 0 -1 1 0 0 0
[pid=5968/tid=5971] ppid=5934 vsize=1477496 CPUtime=0.15
/proc/5968/task/5971/stat : 5971 (java) S 5934 5968 5968 0 -1 4202560 19476 0 0 0 5 10 0 0 18 0 13 0 87170275 1512955904 58814 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 4 0 16800975 18446604436671297536 0 0 -1 0 0 0 0
[pid=5968/tid=5972] ppid=5934 vsize=1477496 CPUtime=0
/proc/5968/task/5972/stat : 5972 (java) S 5934 5968 5968 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 13 0 87170278 1512955904 58814 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 0 0 16800975 18446604436671297536 0 0 -1 1 0 0 0
[pid=5968/tid=5973] ppid=5934 vsize=1477496 CPUtime=0
/proc/5968/task/5973/stat : 5973 (java) S 5934 5968 5968 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 13 0 87170279 1512955904 58814 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 4 0 16800975 18446604436671297536 0 0 -1 0 0 0 0
[pid=5968/tid=5974] ppid=5934 vsize=1477496 CPUtime=0
/proc/5968/task/5974/stat : 5974 (java) S 5934 5968 5968 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 87170279 1512955904 58814 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 4 0 16800975 18446604436671297536 0 0 -1 0 0 0 0
[pid=5968/tid=5975] ppid=5934 vsize=1477496 CPUtime=0
/proc/5968/task/5975/stat : 5975 (java) S 5934 5968 5968 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 87170286 1512955904 58814 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 4 0 16800975 18446604436671297536 0 0 -1 0 0 0 0
[pid=5968/tid=5976] ppid=5934 vsize=1477496 CPUtime=0.4
/proc/5968/task/5976/stat : 5976 (java) S 5934 5968 5968 0 -1 4202560 462 0 0 0 40 0 0 0 15 0 13 0 87170286 1512955904 58814 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 4 0 16800975 18446604436671297536 0 0 -1 0 0 0 0
[pid=5968/tid=5977] ppid=5934 vsize=1477496 CPUtime=0.47
/proc/5968/task/5977/stat : 5977 (java) S 5934 5968 5968 0 -1 4202560 992 0 0 0 47 0 0 0 15 0 13 0 87170286 1512955904 58814 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 4 0 16800975 18446604436671297536 0 0 -1 0 0 0 0
[pid=5968/tid=5978] ppid=5934 vsize=1477496 CPUtime=0
/proc/5968/task/5978/stat : 5978 (java) S 5934 5968 5968 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 13 0 87170286 1512955904 58814 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 4 0 16800975 18446604436671297536 0 0 -1 0 0 0 0
[pid=5968/tid=5979] ppid=5934 vsize=1477496 CPUtime=0
/proc/5968/task/5979/stat : 5979 (java) S 5934 5968 5968 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 13 0 87170286 1512955904 58814 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 4 0 16800975 18446604436671297536 0 0 -1 0 0 0 0
[pid=5968/tid=5980] ppid=5934 vsize=1477496 CPUtime=0
/proc/5968/task/5980/stat : 5980 (java) S 5934 5968 5968 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 13 0 87170338 1512955904 58814 1992294400 134512640 134550932 4291949088 18446744073709551615 4294960144 0 4 0 16800975 18446604436671297536 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 492.64
Current children cumulated vsize (KiB) 1611604

[startup+522.301 s]
/proc/loadavg: 1.15 1.13 1.02 3/109 5987
/proc/meminfo: memFree=1228704/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=134108 CPUtime=498.9
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 19502 150402 0 90 3162 469 46110 149 15 0 1 0 87133819 137326592 6337 1992294400 4194304 4196484 140734469148416 18446744073709551615 259177360911 0 0 16781312 2 159836005329808247 0 0 17 1 0 0 0
/proc/5934/statm: 33527 6337 1143 1 0 5164 0
[pid=5985] ppid=5934 vsize=77692 CPUtime=57.74
/proc/5985/stat : 5985 (wbo1.4b) R 5934 5985 5985 0 -1 4202496 19366 0 0 0 5747 27 0 0 25 0 1 0 87180238 79556608 18958 1992294400 134512640 135751879 4289974448 18446744073709551615 134616497 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/5985/statm: 19423 18958 144 303 0 19118 0
Current children cumulated CPU time (s) 556.64
Current children cumulated vsize (KiB) 211800

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

[startup+537.502 s]
/proc/loadavg: 1.12 1.13 1.01 2/109 5987
/proc/meminfo: memFree=1197208/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=134108 CPUtime=499.88
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 19508 150402 0 90 3246 483 46110 149 15 0 1 0 87133819 137326592 6337 1992294400 4194304 4196484 140734469148416 18446744073709551615 259177360911 0 0 16781312 2 159836005329808247 0 0 17 1 0 0 0
/proc/5934/statm: 33527 6337 1143 1 0 5164 0
[pid=5985] ppid=5934 vsize=105964 CPUtime=72.83
/proc/5985/stat : 5985 (wbo1.4b) R 5934 5985 5985 0 -1 4202496 26421 0 0 0 7249 34 0 0 25 0 1 0 87180238 108507136 26013 1992294400 134512640 135751879 4289974448 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/5985/statm: 26491 26013 144 303 0 26186 0
Current children cumulated CPU time (s) 572.71
Current children cumulated vsize (KiB) 240072

[startup+550.302 s]
/proc/loadavg: 1.09 1.12 1.01 2/109 5987
/proc/meminfo: memFree=1178236/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=134108 CPUtime=500.72
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 19513 150402 0 90 3318 495 46110 149 16 0 1 0 87133819 137326592 6337 1992294400 4194304 4196484 140734469148416 18446744073709551615 259177360911 0 0 16781312 2 159836005329808247 0 0 17 1 0 0 0
/proc/5934/statm: 33527 6337 1143 1 0 5164 0
[pid=5985] ppid=5934 vsize=124620 CPUtime=85.54
/proc/5985/stat : 5985 (wbo1.4b) R 5934 5985 5985 0 -1 4202496 31082 0 0 0 8513 41 0 0 25 0 1 0 87180238 127610880 30674 1992294400 134512640 135751879 4289974448 18446744073709551615 134516986 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/5985/statm: 31155 30674 144 303 0 30850 0
Current children cumulated CPU time (s) 586.26
Current children cumulated vsize (KiB) 258728

[startup+556.701 s]
/proc/loadavg: 1.08 1.12 1.01 2/109 5987
/proc/meminfo: memFree=1171788/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=134108 CPUtime=501.15
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 19516 150402 0 90 3355 501 46110 149 15 0 1 0 87133819 137326592 6337 1992294400 4194304 4196484 140734469148416 18446744073709551615 259177360911 0 0 16781312 2 159836005329808247 0 0 17 1 0 0 0
/proc/5934/statm: 33527 6337 1143 1 0 5164 0
[pid=5985] ppid=5934 vsize=130720 CPUtime=91.91
/proc/5985/stat : 5985 (wbo1.4b) R 5934 5985 5985 0 -1 4202496 32624 0 0 0 9147 44 0 0 25 0 1 0 87180238 133857280 32216 1992294400 134512640 135751879 4289974448 18446744073709551615 134518929 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5985/statm: 32680 32217 144 303 0 32375 0
Current children cumulated CPU time (s) 593.06
Current children cumulated vsize (KiB) 264828

[startup+563.101 s]
/proc/loadavg: 1.07 1.11 1.01 2/109 5987
/proc/meminfo: memFree=1166580/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=134108 CPUtime=501.57
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 19518 150402 0 90 3393 505 46110 149 15 0 1 0 87133819 137326592 6337 1992294400 4194304 4196484 140734469148416 18446744073709551615 259177360911 0 0 16781312 2 159836005329808247 0 0 17 1 0 0 0
/proc/5934/statm: 33527 6337 1143 1 0 5164 0
[pid=5985] ppid=5934 vsize=135744 CPUtime=98.28
/proc/5985/stat : 5985 (wbo1.4b) R 5934 5985 5985 0 -1 4202496 33881 0 0 0 9781 47 0 0 25 0 1 0 87180238 139001856 33473 1992294400 134512640 135751879 4289974448 18446744073709551615 134616497 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5985/statm: 33936 33473 144 303 0 33631 0
Current children cumulated CPU time (s) 599.85
Current children cumulated vsize (KiB) 269852

[startup+564.701 s]
/proc/loadavg: 1.07 1.11 1.01 2/109 5987
/proc/meminfo: memFree=1165960/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=134108 CPUtime=501.67
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 19519 150402 0 90 3402 506 46110 149 15 0 1 0 87133819 137326592 6337 1992294400 4194304 4196484 140734469148416 18446744073709551615 259177360911 0 0 16781312 2 159836005329808247 0 0 17 1 0 0 0
/proc/5934/statm: 33527 6337 1143 1 0 5164 0
[pid=5985] ppid=5934 vsize=136552 CPUtime=99.87
/proc/5985/stat : 5985 (wbo1.4b) R 5934 5985 5985 0 -1 4202496 34083 0 0 0 9939 48 0 0 25 0 1 0 87180238 139829248 33675 1992294400 134512640 135751879 4289974448 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/5985/statm: 34138 33675 144 303 0 33833 0
Current children cumulated CPU time (s) 601.54
Current children cumulated vsize (KiB) 270660

[startup+565.501 s]
/proc/loadavg: 1.07 1.11 1.01 3/109 5987
/proc/meminfo: memFree=1165464/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=135136 CPUtime=602.41
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 19588 184600 0 90 3409 507 56127 198 15 0 1 0 87133819 138379264 6339 1992294400 4194304 4196484 140734469148416 18446744073709551615 259189167504 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/5934/statm: 33784 6339 1143 1 0 5421 0
Current children cumulated CPU time (s) 602.41
Current children cumulated vsize (KiB) 135136

[startup+566.301 s]
/proc/loadavg: 1.07 1.11 1.01 3/109 5987
/proc/meminfo: memFree=1165464/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=134108 CPUtime=602.66
/proc/5934/stat : 5934 (python) S 5932 5934 5755 0 -1 4202496 20698 185510 0 90 3429 510 56127 200 15 0 1 0 87133819 137326592 6339 1992294400 4194304 4196484 140734469148416 18446744073709551615 259177360911 0 0 16781312 2 159688670771686263 0 0 17 0 0 0 0
/proc/5934/statm: 33527 6339 1143 1 0 5164 0
Current children cumulated CPU time (s) 602.66
Current children cumulated vsize (KiB) 134108

[startup+566.51 s]
/proc/loadavg: 1.07 1.11 1.01 2/109 5990
/proc/meminfo: memFree=1293556/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=134108 CPUtime=602.74
/proc/5934/stat : 5934 (python) R 5932 5934 5755 0 -1 4202496 20706 185510 0 90 3436 511 56127 200 15 0 1 0 87133819 137326592 6339 1992294400 4194304 4196484 140734469148416 18446744073709551615 47791612577882 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5934/statm: 33527 6339 1143 1 0 5164 0
[pid=5990] ppid=5934 vsize=0 CPUtime=0.87
/proc/5990/stat : 5990 (bsolo_pb10) Z 5934 5990 5990 0 -1 4202524 2142 0 0 0 85 2 0 0 19 0 1 0 87190373 0 0 1992294400 0 0 0 0 0 0 0 16781312 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/5990/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 603.61
Current children cumulated vsize (KiB) 134108

[startup+566.601 s]
/proc/loadavg: 1.07 1.11 1.01 2/109 5990
/proc/meminfo: memFree=1293556/2059040 swapFree=4139780/4192956
[pid=5934] ppid=5932 vsize=134104 CPUtime=603.7
/proc/5934/stat : 5934 (python) R 5932 5934 5755 0 -1 4202496 25117 188565 0 90 3442 512 56212 204 16 0 1 0 87133819 137322496 6340 1992294400 4194304 4196484 140734469148416 18446744073709551615 47791612498138 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/5934/statm: 33526 6340 1143 1 0 5163 0
Current children cumulated CPU time (s) 603.7
Current children cumulated vsize (KiB) 134104

Child status: 20
Real time (s): 566.618
CPU time (s): 603.747
CPU user time (s): 596.572
CPU system time (s): 7.17491
CPU usage (%): 106.553
Max. virtual memory (cumulated for all children) (KiB): 1611884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 596.572
system time used= 7.17491
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214154
page faults= 90
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7709
involuntary context switches= 6328

runsolver used 1.08483 second user time and 2.82357 second system time

The end

Launcher Data 

Begin job on node025 at 2010-06-21 17:39:40
IDJOB=2676239
IDBENCH=1439
IDSOLVER=1178
FILE ID=node025/2676239-1277134780
PBS_JOBID= 11182109
Free space on /tmp= 62452 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2676239-1277134780/watcher-2676239-1277134780 -o /tmp/evaluation-result-2676239-1277134780/solver-2676239-1277134780 -C 1800 -W 2000 -M 1800  solver HOME/instance-2676239-1277134780.opb 1171615648 

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

MD5SUM BENCH= 0beb8de972e873a7bfc16369cb81d469
RANDOM SEED=1171615648

node025.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.242
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.48
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.242
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1332932 kB
Buffers:        143324 kB
Cached:         470936 kB
SwapCached:       6176 kB
Active:         236888 kB
Inactive:       390976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1332932 kB
SwapTotal:     4192956 kB
SwapFree:      4139780 kB
Dirty:           20632 kB
Writeback:           0 kB
AnonPages:       12104 kB
Mapped:          12864 kB
Slab:            76220 kB
PageTables:       4128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184144 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= 62432 MiB
End job on node025 at 2010-06-21 17:49:08