Trace number 2676213

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 600.085 567.327

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb
MD5SUM55203b98fb707e386dea9ef4475d45f9
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.101983
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2100
Total number of constraints130
Number of constraints which are clauses70
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint35
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 36
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.04/1.52	c DEBUG: probabilities of action success (DCM model):
1.04/1.52	c        pb/competition_2010/bsolo_pb10-l1   : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331
1.04/1.52	c        pb/competition_2010/bsolo_pb10-l2   : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493
1.04/1.52	c        pb/competition_2010/bsolo_pb10-l3   : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927
1.04/1.52	c        pb/competition_2010/wbo1.4a         : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114
1.04/1.52	c        pb/competition_2010/wbo1.4b         : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796
1.04/1.52	c        pb/other/clasp-1.3.3                : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586
1.04/1.52	c        pb/other/sat4j-pb-v20090829         : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315
1.04/1.52	c        pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110
1.04/1.55	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1684819353', u'HOME/instance-2676213-1277134694.opb'] for 0:00:10
11.77/11.75	c DEBUG: probabilities of action success (DCM model):
11.77/11.75	c        pb/competition_2010/bsolo_pb10-l1   : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203
11.77/11.75	c        pb/competition_2010/bsolo_pb10-l2   : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839
11.77/11.75	c        pb/competition_2010/bsolo_pb10-l3   : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668
11.77/11.75	c        pb/competition_2010/wbo1.4a         : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920
11.77/11.75	c        pb/competition_2010/wbo1.4b         : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713
11.77/11.75	c        pb/other/clasp-1.3.3                : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405
11.77/11.75	c        pb/other/sat4j-pb-v20090829         : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733
11.77/11.75	c        pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874
11.77/11.75	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1622769442', u'HOME/instance-2676213-1277134694.opb'] for 0:00:50
65.02/62.31	c DEBUG: probabilities of action success (DCM model):
65.02/62.31	c        pb/competition_2010/bsolo_pb10-l1   : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502
65.02/62.31	c        pb/competition_2010/bsolo_pb10-l2   : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606
65.02/62.31	c        pb/competition_2010/bsolo_pb10-l3   : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877
65.02/62.31	c        pb/competition_2010/wbo1.4a         : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608
65.02/62.31	c        pb/competition_2010/wbo1.4b         : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592
65.02/62.31	c        pb/other/clasp-1.3.3                : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135
65.02/62.31	c        pb/other/sat4j-pb-v20090829         : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124
65.02/62.31	c        pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541
65.02/62.31	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2676213-1277134694.opb'] for 0:00:50
118.57/112.71	c DEBUG: probabilities of action success (DCM model):
118.57/112.71	c        pb/competition_2010/bsolo_pb10-l1   : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900
118.57/112.71	c        pb/competition_2010/bsolo_pb10-l2   : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225
118.57/112.71	c        pb/competition_2010/bsolo_pb10-l3   : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184
118.57/112.71	c        pb/competition_2010/wbo1.4a         : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342
118.57/112.71	c        pb/competition_2010/wbo1.4b         : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401
118.57/112.71	c        pb/other/clasp-1.3.3                : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027
118.57/112.71	c        pb/other/sat4j-pb-v20090829         : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982
118.57/112.71	c        pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127
118.57/112.72	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1236251808', u'HOME/instance-2676213-1277134694.opb'] for 0:01:40
224.66/213.19	c DEBUG: probabilities of action success (DCM model):
224.66/213.19	c        pb/competition_2010/bsolo_pb10-l1   : 0.0247 0.0400 0.0751 0.1401 0.2219 0.2508 0.3462
224.66/213.19	c        pb/competition_2010/bsolo_pb10-l2   : 0.0050 0.0071 0.0079 0.0295 0.0510 0.0684 0.1710
224.66/213.19	c        pb/competition_2010/bsolo_pb10-l3   : 0.0355 0.0650 0.0805 0.0954 0.1214 0.1529 0.2736
224.66/213.19	c        pb/competition_2010/wbo1.4a         : 0.0631 0.0338 0.2163 0.4128 0.5510 0.6157 0.7989
224.66/213.19	c        pb/competition_2010/wbo1.4b         : 0.0545 0.1268 0.2082 0.4263 0.5997 0.6749 0.8065
224.66/213.19	c        pb/other/clasp-1.3.3                : 0.0347 0.0418 0.0948 0.6033 0.7238 0.7699 0.8744
224.66/213.19	c        pb/other/sat4j-pb-v20090829         : 0.0247 0.1147 0.2008 0.3538 0.4371 0.5085 0.6375
224.66/213.19	c        pb/other/sat4j-pb-v20090829-cutting : 0.0098 0.0590 0.0635 0.1475 0.1811 0.2159 0.3382
224.66/213.19	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2676213-1277134694.opb'] for 0:01:40
331.93/314.20	c DEBUG: probabilities of action success (DCM model):
331.93/314.20	c        pb/competition_2010/bsolo_pb10-l1   : 0.0156 0.0235 0.0614 0.1303 0.1974 0.2250 0.3271
331.93/314.20	c        pb/competition_2010/bsolo_pb10-l2   : 0.0011 0.0016 0.0016 0.0218 0.0428 0.0588 0.1723
331.93/314.20	c        pb/competition_2010/bsolo_pb10-l3   : 0.0364 0.0633 0.0713 0.0764 0.0953 0.1265 0.2416
331.93/314.20	c        pb/competition_2010/wbo1.4a         : 0.0388 0.0143 0.0065 0.3252 0.4879 0.5653 0.7780
331.93/314.20	c        pb/competition_2010/wbo1.4b         : 0.0491 0.1120 0.1818 0.3951 0.5855 0.6732 0.7962
331.93/314.20	c        pb/other/clasp-1.3.3                : 0.0380 0.0372 0.0847 0.6129 0.7311 0.7735 0.8750
331.93/314.20	c        pb/other/sat4j-pb-v20090829         : 0.0223 0.0941 0.1681 0.3180 0.4093 0.4810 0.6269
331.93/314.20	c        pb/other/sat4j-pb-v20090829-cutting : 0.0089 0.0525 0.0541 0.1163 0.1522 0.1791 0.3190
331.93/314.20	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2676213-1277134694.opb'] for 0:00:50
385.72/365.08	c DEBUG: probabilities of action success (DCM model):
385.72/365.08	c        pb/competition_2010/bsolo_pb10-l1   : 0.0121 0.0167 0.0564 0.1255 0.1980 0.2239 0.3192
385.72/365.08	c        pb/competition_2010/bsolo_pb10-l2   : 0.0002 0.0004 0.0004 0.0188 0.0361 0.0540 0.1522
385.72/365.08	c        pb/competition_2010/bsolo_pb10-l3   : 0.0390 0.0684 0.0706 0.0756 0.0833 0.1148 0.2137
385.72/365.08	c        pb/competition_2010/wbo1.4a         : 0.0407 0.0109 0.0051 0.2928 0.4496 0.5315 0.7564
385.72/365.08	c        pb/competition_2010/wbo1.4b         : 0.0348 0.0018 0.1419 0.3470 0.5421 0.6387 0.7765
385.72/365.08	c        pb/other/clasp-1.3.3                : 0.0383 0.0341 0.0720 0.5896 0.7131 0.7571 0.8647
385.72/365.08	c        pb/other/sat4j-pb-v20090829         : 0.0164 0.0836 0.1593 0.3116 0.3998 0.4540 0.5947
385.72/365.08	c        pb/other/sat4j-pb-v20090829-cutting : 0.0074 0.0356 0.0375 0.0756 0.1084 0.1272 0.2619
385.72/365.09	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-2676213-1277134694.opb'] for 0:01:40
492.82/466.40	c DEBUG: probabilities of action success (DCM model):
492.82/466.40	c        pb/competition_2010/bsolo_pb10-l1   : 0.0113 0.0134 0.0468 0.1111 0.1700 0.2008 0.3121
492.82/466.40	c        pb/competition_2010/bsolo_pb10-l2   : 0.0003 0.0004 0.0004 0.0097 0.0246 0.0337 0.1349
492.82/466.40	c        pb/competition_2010/bsolo_pb10-l3   : 0.0350 0.0698 0.0716 0.0742 0.0803 0.1102 0.2054
492.82/466.40	c        pb/competition_2010/wbo1.4a         : 0.0412 0.0077 0.0057 0.2651 0.4171 0.5010 0.7572
492.82/466.40	c        pb/competition_2010/wbo1.4b         : 0.0393 0.0018 0.1223 0.3301 0.5006 0.5897 0.7412
492.82/466.40	c        pb/other/clasp-1.3.3                : 0.0438 0.0393 0.0774 0.5834 0.6917 0.7344 0.8415
492.82/466.40	c        pb/other/sat4j-pb-v20090829         : 0.0113 0.0469 0.0012 0.2219 0.2984 0.3590 0.5209
492.82/466.40	c        pb/other/sat4j-pb-v20090829-cutting : 0.0068 0.0314 0.0319 0.0608 0.0967 0.1155 0.2497
492.82/466.40	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2676213-1277134694.opb'] for 0:01:40
599.54/566.96	c DEBUG: probabilities of action success (DCM model):
599.54/566.96	c        pb/competition_2010/bsolo_pb10-l1   : 0.0057 0.0071 0.0414 0.1021 0.1619 0.1915 0.2956
599.54/566.96	c        pb/competition_2010/bsolo_pb10-l2   : 0.0001 0.0001 0.0001 0.0077 0.0229 0.0303 0.1153
599.54/566.96	c        pb/competition_2010/bsolo_pb10-l3   : 0.0337 0.0722 0.0727 0.0742 0.0771 0.1052 0.1843
599.54/566.96	c        pb/competition_2010/wbo1.4a         : 0.0430 0.0055 0.0046 0.2375 0.3823 0.4676 0.7399
599.54/566.96	c        pb/competition_2010/wbo1.4b         : 0.0298 0.0007 0.0251 0.2904 0.4467 0.5397 0.7097
599.54/566.96	c        pb/other/clasp-1.3.3                : 0.0452 0.0419 0.0705 0.5569 0.6657 0.7106 0.8227
599.54/566.96	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0367 0.0011 0.1953 0.2620 0.3061 0.4652
599.54/566.96	c        pb/other/sat4j-pb-v20090829-cutting : 0.0047 0.0213 0.0220 0.0357 0.0726 0.0877 0.2092
599.54/566.96	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-2676213-1277134694.opb'] for 0:00:50
599.80/567.25	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-2676213-1277134694/watcher-2676213-1277134694 -o /tmp/evaluation-result-2676213-1277134694/solver-2676213-1277134694 -C 1800 -W 2000 -M 1800 solver HOME/instance-2676213-1277134694.opb 411184918 

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: 0.96 0.60 0.69 3/106 11359
/proc/meminfo: memFree=1793052/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=16708 CPUtime=0
/proc/11359/stat : 11359 (python) R 11357 11359 11055 0 -1 4202496 727 0 0 0 0 0 0 0 17 0 1 0 54761445 17108992 493 1992294400 4194304 4196484 140736850001792 18446744073709551615 242187898271 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11359/statm: 4177 495 272 1 0 273 0

[startup+0.059629 s]
/proc/loadavg: 0.96 0.60 0.69 3/106 11359
/proc/meminfo: memFree=1793052/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=18468 CPUtime=0.04
/proc/11359/stat : 11359 (python) R 11357 11359 11055 0 -1 4202496 1989 0 0 0 2 2 0 0 15 0 1 0 54761445 18911232 1002 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171195713 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11359/statm: 4617 1004 414 1 0 597 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18468

[startup+0.100629 s]
/proc/loadavg: 0.96 0.60 0.69 3/106 11359
/proc/meminfo: memFree=1793052/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=31864 CPUtime=0.08
/proc/11359/stat : 11359 (python) R 11357 11359 11055 0 -1 4202496 2350 0 0 0 4 4 0 0 15 0 1 0 54761445 32628736 1328 1992294400 4194304 4196484 140735801631520 18446744073709551615 47415519090624 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11359/statm: 7966 1330 459 1 0 838 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31864

[startup+0.300627 s]
/proc/loadavg: 0.96 0.60 0.69 3/106 11359
/proc/meminfo: memFree=1793052/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=70848 CPUtime=0.23
/proc/11359/stat : 11359 (python) R 11357 11359 11055 0 -1 4202496 3979 0 0 0 15 8 0 0 16 0 1 0 54761445 72548352 2815 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171196101 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11359/statm: 17712 2815 693 1 0 2199 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 70848

[startup+0.700623 s]
/proc/loadavg: 0.96 0.60 0.69 3/106 11359
/proc/meminfo: memFree=1793052/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=98792 CPUtime=0.52
/proc/11359/stat : 11359 (python) R 11357 11359 11055 0 -1 4202496 4887 0 0 0 31 21 0 0 16 0 1 0 54761445 101163008 3585 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171531269 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11359/statm: 24698 3585 1022 1 0 2555 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 98792

[startup+1.50061 s]
/proc/loadavg: 0.96 0.60 0.69 2/107 11364
/proc/meminfo: memFree=1775560/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=127764 CPUtime=1.04
/proc/11359/stat : 11359 (python) S 11357 11359 11055 0 -1 4202496 9654 930 0 0 72 32 0 0 16 0 1 0 54761445 130830336 6164 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171533312 0 2147483391 16781312 2 18446744071699387582 0 0 17 0 0 0 0
/proc/11359/statm: 31941 6164 1072 1 0 5129 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 127764

[startup+3.1006 s]
/proc/loadavg: 0.96 0.60 0.69 2/108 11365
/proc/meminfo: memFree=1770344/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=132056 CPUtime=1.23
/proc/11359/stat : 11359 (python) S 11357 11359 11055 0 -1 4202496 10267 930 0 0 88 35 0 0 16 0 1 0 54761445 135225344 6308 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171555343 0 0 16781312 2 159688670771686175 0 0 17 0 0 0 0
/proc/11359/statm: 33014 6308 1133 1 0 5166 0
[pid=11365] ppid=11359 vsize=3400 CPUtime=1.52
/proc/11365/stat : 11365 (clasp-1.3.3-x86) R 11359 11365 11365 0 -1 4202496 919 0 0 0 152 0 0 0 20 0 1 0 54761601 3481600 604 1992294400 134512640 136080129 4292602704 18446744073709551615 134616983 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11365/statm: 850 604 174 383 0 465 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 135456

[startup+6.30157 s]
/proc/loadavg: 1.12 0.64 0.70 2/108 11365
/proc/meminfo: memFree=1768856/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=132056 CPUtime=1.41
/proc/11359/stat : 11359 (python) S 11357 11359 11055 0 -1 4202496 10279 930 0 0 104 37 0 0 15 0 1 0 54761445 135225344 6308 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171555343 0 0 16781312 2 159688670771686175 0 0 17 0 0 0 0
/proc/11359/statm: 33014 6308 1133 1 0 5166 0
[pid=11365] ppid=11359 vsize=3928 CPUtime=4.69
/proc/11365/stat : 11365 (clasp-1.3.3-x86) R 11359 11365 11365 0 -1 4202496 1060 0 0 0 469 0 0 0 25 0 1 0 54761601 4022272 745 1992294400 134512640 136080129 4292602704 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11365/statm: 982 745 174 383 0 597 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 135984

[startup+12.7005 s]
/proc/loadavg: 1.11 0.65 0.70 2/108 11368
/proc/meminfo: memFree=1770592/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=134116 CPUtime=11.94
/proc/11359/stat : 11359 (python) S 11357 11359 11055 0 -1 4202496 11598 3039 0 0 143 42 1006 3 15 0 1 0 54761445 137334784 6330 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171555343 0 0 16781312 2 159688670771686175 0 0 17 0 0 0 0
/proc/11359/statm: 33529 6330 1143 1 0 5166 0
[pid=11368] ppid=11359 vsize=3268 CPUtime=0.92
/proc/11368/stat : 11368 (clasp-1.3.3-x86) R 11359 11368 11368 0 -1 4202496 870 0 0 0 92 0 0 0 19 0 1 0 54762621 3346432 554 1992294400 134512640 136080129 4287247136 18446744073709551615 134617018 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11368/statm: 817 554 174 383 0 432 0
Current children cumulated CPU time (s) 12.86
Current children cumulated vsize (KiB) 137384

[startup+25.5004 s]
/proc/loadavg: 1.09 0.66 0.71 2/108 11368
/proc/meminfo: memFree=1768732/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=134116 CPUtime=12.68
/proc/11359/stat : 11359 (python) S 11357 11359 11055 0 -1 4202496 11639 3039 0 0 208 51 1006 3 16 0 1 0 54761445 137334784 6330 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171555343 0 0 16781312 2 159688670771686175 0 0 17 0 0 0 0
/proc/11359/statm: 33529 6330 1143 1 0 5166 0
[pid=11368] ppid=11359 vsize=4856 CPUtime=13.64
/proc/11368/stat : 11368 (clasp-1.3.3-x86) R 11359 11368 11368 0 -1 4202496 1267 0 0 0 1363 1 0 0 25 0 1 0 54762621 4972544 951 1992294400 134512640 136080129 4287247136 18446744073709551615 134850021 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11368/statm: 1214 951 174 383 0 829 0
Current children cumulated CPU time (s) 26.32
Current children cumulated vsize (KiB) 138972

[startup+51.1001 s]
/proc/loadavg: 1.06 0.69 0.71 2/108 11370
/proc/meminfo: memFree=1767368/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=134116 CPUtime=14.15
/proc/11359/stat : 11359 (python) R 11357 11359 11055 0 -1 4202496 11718 3039 0 0 341 65 1006 3 15 0 1 0 54761445 137334784 6330 1992294400 4194304 4196484 140735801631520 18446744073709551615 47415519731684 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11359/statm: 33529 6330 1143 1 0 5166 0
[pid=11368] ppid=11359 vsize=6172 CPUtime=39.08
/proc/11368/stat : 11368 (clasp-1.3.3-x86) R 11359 11368 11368 0 -1 4202496 1620 0 0 0 3907 1 0 0 25 0 1 0 54762621 6320128 1304 1992294400 134512640 136080129 4287247136 18446744073709551615 134589243 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11368/statm: 1543 1304 174 383 0 1158 0
Current children cumulated CPU time (s) 53.23
Current children cumulated vsize (KiB) 140288

[startup+102.308 s]
/proc/loadavg: 1.07 0.75 0.73 2/108 11373
/proc/meminfo: memFree=1715784/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=134116 CPUtime=67.61
/proc/11359/stat : 11359 (python) S 11357 11359 11055 0 -1 4202496 12978 5611 0 0 631 101 6023 6 15 0 1 0 54761445 137334784 6333 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171555343 0 0 16781312 2 159688670771686175 0 0 17 0 0 0 0
/proc/11359/statm: 33529 6333 1143 1 0 5166 0
[pid=11373] ppid=11359 vsize=58148 CPUtime=39.97
/proc/11373/stat : 11373 (wbo1.4a) R 11359 11373 11373 0 -1 4202496 14404 0 0 0 3977 20 0 0 25 0 1 0 54767677 59543552 14081 1992294400 134512640 135751879 4292978480 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11373/statm: 14537 14081 139 303 0 14232 0
Current children cumulated CPU time (s) 107.58
Current children cumulated vsize (KiB) 192264

[startup+162.301 s]
/proc/loadavg: 1.07 0.81 0.75 2/108 11378
/proc/meminfo: memFree=1766872/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=134116 CPUtime=121.46
/proc/11359/stat : 11359 (python) S 11357 11359 11055 0 -1 4202496 14318 23156 0 0 941 140 11032 33 15 0 1 0 54761445 137334784 6334 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171555343 0 0 16781312 2 159688670771686175 0 0 17 0 0 0 0
/proc/11359/statm: 33529 6334 1143 1 0 5166 0
[pid=11378] ppid=11359 vsize=6304 CPUtime=49.55
/proc/11378/stat : 11378 (clasp-1.3.3-x86) R 11359 11378 11378 0 -1 4202496 1663 0 0 0 4955 0 0 0 25 0 1 0 54772717 6455296 1344 1992294400 134512640 136080129 4294844544 18446744073709551615 134579967 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11378/statm: 1576 1344 174 383 0 1191 0
Current children cumulated CPU time (s) 171.01
Current children cumulated vsize (KiB) 140420

[startup+222.301 s]
/proc/loadavg: 1.15 0.87 0.77 3/108 11383
/proc/meminfo: memFree=1753728/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=134116 CPUtime=225.57
/proc/11359/stat : 11359 (python) S 11357 11359 11055 0 -1 4202496 15548 26048 0 0 1270 180 21071 36 15 0 1 0 54761445 137334784 6335 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171555343 0 0 16781312 2 159688670771686175 0 0 17 0 0 0 0
/proc/11359/statm: 33529 6335 1143 1 0 5166 0
[pid=11383] ppid=11359 vsize=20728 CPUtime=9.1
/proc/11383/stat : 11383 (wbo1.4a) R 11359 11383 11383 0 -1 4202496 5071 0 0 0 900 10 0 0 25 0 1 0 54782764 21225472 4744 1992294400 134512640 135751879 4288077968 18446744073709551615 134616516 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11383/statm: 5182 4744 139 303 0 4877 0
Current children cumulated CPU time (s) 234.67
Current children cumulated vsize (KiB) 154844

[startup+282.301 s]
/proc/loadavg: 1.10 0.91 0.79 2/108 11385
/proc/meminfo: memFree=1682800/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=134116 CPUtime=229.12
/proc/11359/stat : 11359 (python) S 11357 11359 11055 0 -1 4202496 15635 26048 0 0 1583 222 21071 36 15 0 1 0 54761445 137334784 6335 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171555343 0 0 16781312 2 159688670771686175 0 0 17 0 0 0 0
/proc/11359/statm: 33529 6335 1143 1 0 5166 0
[pid=11383] ppid=11359 vsize=92032 CPUtime=69.07
/proc/11383/stat : 11383 (wbo1.4a) R 11359 11383 11383 0 -1 4202496 22864 0 0 0 6873 34 0 0 25 0 1 0 54782764 94240768 22537 1992294400 134512640 135751879 4288077968 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11383/statm: 23008 22537 139 303 0 22703 0
Current children cumulated CPU time (s) 298.19
Current children cumulated vsize (KiB) 226148

[startup+342.3 s]
/proc/loadavg: 1.03 0.92 0.80 2/108 11390
/proc/meminfo: memFree=1731532/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=134116 CPUtime=333.97
/proc/11359/stat : 11359 (python) S 11357 11359 11055 0 -1 4202496 16932 58014 0 0 1929 265 31118 85 15 0 1 0 54761445 137334784 6337 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171555343 0 0 16781312 2 159688670771686175 0 0 17 0 0 0 0
/proc/11359/statm: 33529 6337 1143 1 0 5166 0
[pid=11388] ppid=11359 vsize=42640 CPUtime=27.89
/proc/11388/stat : 11388 (wbo1.4b) R 11359 11388 11388 0 -1 4202496 10592 0 0 0 2773 16 0 0 25 0 1 0 54792866 43663360 10230 1992294400 134512640 135751879 4292027312 18446744073709551615 134517421 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11388/statm: 10660 10230 144 303 0 10355 0
Current children cumulated CPU time (s) 361.86
Current children cumulated vsize (KiB) 176756

[startup+402.302 s]
/proc/loadavg: 1.01 0.93 0.81 2/120 11405
/proc/meminfo: memFree=1679844/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=134116 CPUtime=388.15
/proc/11359/stat : 11359 (python) S 11357 11359 11055 0 -1 4202496 18262 75705 0 0 2259 300 36144 112 15 0 1 0 54761445 137334784 6338 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171555343 0 0 16781312 2 159688670771686175 0 0 17 0 0 0 0
/proc/11359/statm: 33529 6338 1143 1 0 5166 0
[pid=11393] ppid=11359 vsize=1478440 CPUtime=37.28
/proc/11393/stat : 11393 (java) S 11359 11393 11393 0 -1 4202496 22915 0 94 0 3709 19 0 0 16 0 13 0 54797954 1513922560 21685 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 6
/proc/11393/statm: 369610 21685 1419 10 0 366912 0
[pid=11393/tid=11394] ppid=11359 vsize=1478440 CPUtime=36.31
/proc/11393/task/11394/stat : 11394 (java) R 11359 11393 11393 0 -1 4202560 19713 0 60 0 3615 16 0 0 25 0 13 0 54797964 1513922560 21685 1992294400 134512640 134550932 4291617312 18446744073709551615 4109167866 0 4 0 16800975 0 0 0 -1 1 0 0 18
[pid=11393/tid=11395] ppid=11359 vsize=1478440 CPUtime=0
/proc/11393/task/11395/stat : 11395 (java) S 11359 11393 11393 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 13 0 54797971 1513922560 21685 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 4 0 16800975 18446604437815116160 0 0 -1 0 0 0 0
[pid=11393/tid=11396] ppid=11359 vsize=1478440 CPUtime=0
/proc/11393/task/11396/stat : 11396 (java) S 11359 11393 11393 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 13 0 54797971 1513922560 21685 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 4 0 16800975 18446604437815116160 0 0 -1 0 0 0 0
[pid=11393/tid=11397] ppid=11359 vsize=1478440 CPUtime=0
/proc/11393/task/11397/stat : 11397 (java) S 11359 11393 11393 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 13 0 54797976 1513922560 21685 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 0 0 16800975 18446604437815116160 0 0 -1 1 0 0 0
[pid=11393/tid=11398] ppid=11359 vsize=1478440 CPUtime=0
/proc/11393/task/11398/stat : 11398 (java) S 11359 11393 11393 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 13 0 54797977 1513922560 21685 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 4 0 16800975 18446604437815116160 0 0 -1 0 0 0 0
[pid=11393/tid=11399] ppid=11359 vsize=1478440 CPUtime=0
/proc/11393/task/11399/stat : 11399 (java) S 11359 11393 11393 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 54797977 1513922560 21685 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 4 0 16800975 18446604437815116160 0 0 -1 0 0 0 0
[pid=11393/tid=11400] ppid=11359 vsize=1478440 CPUtime=0
/proc/11393/task/11400/stat : 11400 (java) S 11359 11393 11393 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 54797985 1513922560 21685 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 4 0 16800975 18446604437815116160 0 0 -1 0 0 0 0
[pid=11393/tid=11401] ppid=11359 vsize=1478440 CPUtime=0.41
/proc/11393/task/11401/stat : 11401 (java) S 11359 11393 11393 0 -1 4202560 533 0 0 0 41 0 0 0 16 0 13 0 54797985 1513922560 21685 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 4 0 16800975 18446604437815116160 0 0 -1 0 0 0 0
[pid=11393/tid=11402] ppid=11359 vsize=1478440 CPUtime=0.52
/proc/11393/task/11402/stat : 11402 (java) S 11359 11393 11393 0 -1 4202560 1345 0 0 0 52 0 0 0 15 0 13 0 54797985 1513922560 21685 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 4 0 16800975 18446604437815116160 0 0 -1 1 0 0 0
[pid=11393/tid=11403] ppid=11359 vsize=1478440 CPUtime=0
/proc/11393/task/11403/stat : 11403 (java) S 11359 11393 11393 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 54797985 1513922560 21685 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 4 0 16800975 18446604437815116160 0 0 -1 0 0 0 0
[pid=11393/tid=11404] ppid=11359 vsize=1478440 CPUtime=0
/proc/11393/task/11404/stat : 11404 (java) S 11359 11393 11393 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 13 0 54797985 1513922560 21685 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 4 0 16800975 18446604437815116160 0 0 -1 1 0 0 0
[pid=11393/tid=11405] ppid=11359 vsize=1478440 CPUtime=0
/proc/11393/task/11405/stat : 11405 (java) S 11359 11393 11393 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 54798032 1513922560 21685 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 4 0 16800975 18446604437815116160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 425.43
Current children cumulated vsize (KiB) 1612556

[startup+462.301 s]
/proc/loadavg: 1.11 0.97 0.83 2/120 11407
/proc/meminfo: memFree=1528440/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=134116 CPUtime=391.66
/proc/11359/stat : 11359 (python) S 11357 11359 11055 0 -1 4202496 18300 75705 0 0 2573 337 36144 112 15 0 1 0 54761445 137334784 6338 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171555343 0 0 16781312 2 159688670771686175 0 0 17 0 0 0 0
/proc/11359/statm: 33529 6338 1143 1 0 5166 0
[pid=11393] ppid=11359 vsize=1478440 CPUtime=96.97
/proc/11393/stat : 11393 (java) S 11359 11393 11393 0 -1 4202496 74883 0 94 0 9647 50 0 0 16 0 13 0 54797954 1513922560 59153 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 6
/proc/11393/statm: 369610 59153 1428 10 0 366912 0
[pid=11393/tid=11394] ppid=11359 vsize=1478440 CPUtime=95.62
/proc/11393/task/11394/stat : 11394 (java) R 11359 11393 11393 0 -1 4202560 30871 0 60 0 9534 28 0 0 25 0 13 0 54797964 1513922560 59153 1992294400 134512640 134550932 4291617312 18446744073709551615 4109073964 0 4 0 16800975 0 0 0 -1 1 0 0 18
[pid=11393/tid=11395] ppid=11359 vsize=1478440 CPUtime=0.17
/proc/11393/task/11395/stat : 11395 (java) S 11359 11393 11393 0 -1 4202560 20196 0 0 0 9 8 0 0 18 0 13 0 54797971 1513922560 59153 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 4 0 16800975 18446604437815116160 0 0 -1 0 0 0 0
[pid=11393/tid=11396] ppid=11359 vsize=1478440 CPUtime=0.17
/proc/11393/task/11396/stat : 11396 (java) S 11359 11393 11393 0 -1 4202560 20598 0 0 0 8 9 0 0 18 0 13 0 54797971 1513922560 59153 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 4 0 16800975 18446604437815116160 0 0 -1 1 0 0 0
[pid=11393/tid=11397] ppid=11359 vsize=1478440 CPUtime=0
/proc/11393/task/11397/stat : 11397 (java) S 11359 11393 11393 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 13 0 54797976 1513922560 59153 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 0 0 16800975 18446604437815116160 0 0 -1 1 0 0 0
[pid=11393/tid=11398] ppid=11359 vsize=1478440 CPUtime=0
/proc/11393/task/11398/stat : 11398 (java) S 11359 11393 11393 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 13 0 54797977 1513922560 59153 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 4 0 16800975 18446604437815116160 0 0 -1 0 0 0 0
[pid=11393/tid=11399] ppid=11359 vsize=1478440 CPUtime=0
/proc/11393/task/11399/stat : 11399 (java) S 11359 11393 11393 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 54797977 1513922560 59153 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 4 0 16800975 18446604437815116160 0 0 -1 0 0 0 0
[pid=11393/tid=11400] ppid=11359 vsize=1478440 CPUtime=0
/proc/11393/task/11400/stat : 11400 (java) S 11359 11393 11393 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 54797985 1513922560 59153 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 4 0 16800975 18446604437815116160 0 0 -1 0 0 0 0
[pid=11393/tid=11401] ppid=11359 vsize=1478440 CPUtime=0.41
/proc/11393/task/11401/stat : 11401 (java) S 11359 11393 11393 0 -1 4202560 533 0 0 0 41 0 0 0 16 0 13 0 54797985 1513922560 59153 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 4 0 16800975 18446604437815116160 0 0 -1 0 0 0 0
[pid=11393/tid=11402] ppid=11359 vsize=1478440 CPUtime=0.53
/proc/11393/task/11402/stat : 11402 (java) S 11359 11393 11393 0 -1 4202560 1347 0 0 0 53 0 0 0 15 0 13 0 54797985 1513922560 59153 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 4 0 16800975 18446604437815116160 0 0 -1 1 0 0 0
[pid=11393/tid=11403] ppid=11359 vsize=1478440 CPUtime=0
/proc/11393/task/11403/stat : 11403 (java) S 11359 11393 11393 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 54797985 1513922560 59153 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 4 0 16800975 18446604437815116160 0 0 -1 0 0 0 0
[pid=11393/tid=11404] ppid=11359 vsize=1478440 CPUtime=0
/proc/11393/task/11404/stat : 11404 (java) S 11359 11393 11393 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 13 0 54797985 1513922560 59153 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 4 0 16800975 18446604437815116160 0 0 -1 0 0 0 0
[pid=11393/tid=11405] ppid=11359 vsize=1478440 CPUtime=0
/proc/11393/task/11405/stat : 11405 (java) S 11359 11393 11393 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 54798032 1513922560 59153 1992294400 134512640 134550932 4291617312 18446744073709551615 4294960144 0 4 0 16800975 18446604437815116160 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 488.63
Current children cumulated vsize (KiB) 1612556

[startup+522.301 s]
/proc/loadavg: 1.04 0.97 0.84 2/108 11412
/proc/meminfo: memFree=1691844/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=134116 CPUtime=496.44
/proc/11359/stat : 11359 (python) S 11357 11359 11055 0 -1 4202496 19627 151504 0 94 2909 378 46191 166 15 0 1 0 54761445 137334784 6340 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171555343 0 0 16781312 2 159688670771686175 0 0 17 0 0 0 0
/proc/11359/statm: 33529 6340 1143 1 0 5166 0
[pid=11410] ppid=11359 vsize=70980 CPUtime=55.86
/proc/11410/stat : 11410 (wbo1.4b) R 11359 11410 11410 0 -1 4202496 17678 0 0 0 5562 24 0 0 25 0 1 0 54808085 72683520 17310 1992294400 134512640 135751879 4294028768 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11410/statm: 17745 17310 144 303 0 17440 0
Current children cumulated CPU time (s) 552.3
Current children cumulated vsize (KiB) 205096

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

[startup+537.501 s]
/proc/loadavg: 1.03 0.97 0.84 2/108 11412
/proc/meminfo: memFree=1668904/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=134116 CPUtime=497.34
/proc/11359/stat : 11359 (python) S 11357 11359 11055 0 -1 4202496 19633 151504 0 94 2989 388 46191 166 15 0 1 0 54761445 137334784 6340 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171555343 0 0 16781312 2 159688670771686175 0 0 17 0 0 0 0
/proc/11359/statm: 33529 6340 1143 1 0 5166 0
[pid=11410] ppid=11359 vsize=94288 CPUtime=71.07
/proc/11410/stat : 11410 (wbo1.4b) R 11359 11410 11410 0 -1 4202496 23468 0 0 0 7076 31 0 0 25 0 1 0 54808085 96550912 23100 1992294400 134512640 135751879 4294028768 18446744073709551615 134616532 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11410/statm: 23572 23100 144 303 0 23267 0
Current children cumulated CPU time (s) 568.41
Current children cumulated vsize (KiB) 228404

[startup+550.301 s]
/proc/loadavg: 1.02 0.97 0.84 2/108 11412
/proc/meminfo: memFree=1657248/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=134116 CPUtime=498.08
/proc/11359/stat : 11359 (python) S 11357 11359 11055 0 -1 4202496 19638 151504 0 94 3056 395 46191 166 15 0 1 0 54761445 137334784 6340 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171555343 0 0 16781312 2 159688670771686175 0 0 17 0 0 0 0
/proc/11359/statm: 33529 6340 1143 1 0 5166 0
[pid=11410] ppid=11359 vsize=105524 CPUtime=83.86
/proc/11410/stat : 11410 (wbo1.4b) R 11359 11410 11410 0 -1 4202496 26286 0 0 0 8350 36 0 0 25 0 1 0 54808085 108056576 25918 1992294400 134512640 135751879 4294028768 18446744073709551615 134616492 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11410/statm: 26381 25918 144 303 0 26076 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 239640

[startup+556.7 s]
/proc/loadavg: 1.02 0.97 0.84 2/108 11412
/proc/meminfo: memFree=1650552/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=134116 CPUtime=498.45
/proc/11359/stat : 11359 (python) S 11357 11359 11055 0 -1 4202496 19641 151504 0 94 3090 398 46191 166 15 0 1 0 54761445 137334784 6340 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171555343 0 0 16781312 2 159688670771686175 0 0 17 0 0 0 0
/proc/11359/statm: 33529 6340 1143 1 0 5166 0
[pid=11410] ppid=11359 vsize=112012 CPUtime=90.26
/proc/11410/stat : 11410 (wbo1.4b) R 11359 11410 11410 0 -1 4202496 27898 0 0 0 8988 38 0 0 25 0 1 0 54808085 114700288 27530 1992294400 134512640 135751879 4294028768 18446744073709551615 134616534 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11410/statm: 28003 27530 144 303 0 27698 0
Current children cumulated CPU time (s) 588.71
Current children cumulated vsize (KiB) 246128

[startup+563.102 s]
/proc/loadavg: 1.02 0.97 0.84 2/108 11414
/proc/meminfo: memFree=1643360/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=134116 CPUtime=498.82
/proc/11359/stat : 11359 (python) S 11357 11359 11055 0 -1 4202496 19643 151504 0 94 3124 401 46191 166 15 0 1 0 54761445 137334784 6340 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171555343 0 0 16781312 2 159688670771686175 0 0 17 0 0 0 0
/proc/11359/statm: 33529 6340 1143 1 0 5166 0
[pid=11410] ppid=11359 vsize=118876 CPUtime=96.67
/proc/11410/stat : 11410 (wbo1.4b) R 11359 11410 11410 0 -1 4202496 29640 0 0 0 9626 41 0 0 25 0 1 0 54808085 121729024 29272 1992294400 134512640 135751879 4294028768 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11410/statm: 29719 29273 144 303 0 29414 0
Current children cumulated CPU time (s) 595.49
Current children cumulated vsize (KiB) 252992

[startup+564.701 s]
/proc/loadavg: 1.02 0.97 0.84 2/108 11414
/proc/meminfo: memFree=1641748/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=134116 CPUtime=498.92
/proc/11359/stat : 11359 (python) S 11357 11359 11055 0 -1 4202496 19644 151504 0 94 3132 403 46191 166 15 0 1 0 54761445 137334784 6340 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171555343 0 0 16781312 2 159688670771686175 0 0 17 0 0 0 0
/proc/11359/statm: 33529 6340 1143 1 0 5166 0
[pid=11410] ppid=11359 vsize=121256 CPUtime=98.26
/proc/11410/stat : 11410 (wbo1.4b) R 11359 11410 11410 0 -1 4202496 30234 0 0 0 9785 41 0 0 25 0 1 0 54808085 124166144 29866 1992294400 134512640 135751879 4294028768 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11410/statm: 30314 29866 144 303 0 30009 0
Current children cumulated CPU time (s) 597.18
Current children cumulated vsize (KiB) 255372

[startup+566.301 s]
/proc/loadavg: 1.02 0.97 0.84 2/108 11414
/proc/meminfo: memFree=1640012/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=134116 CPUtime=499.01
/proc/11359/stat : 11359 (python) S 11357 11359 11055 0 -1 4202496 19645 151504 0 94 3141 403 46191 166 15 0 1 0 54761445 137334784 6340 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171555343 0 0 16781312 2 7036900806045477663 0 0 17 0 0 0 0
/proc/11359/statm: 33529 6340 1143 1 0 5166 0
[pid=11410] ppid=11359 vsize=123236 CPUtime=99.86
/proc/11410/stat : 11410 (wbo1.4b) R 11359 11410 11410 0 -1 4202496 30721 0 0 0 9944 42 0 0 25 0 1 0 54808085 126193664 30353 1992294400 134512640 135751879 4294028768 18446744073709551615 134616545 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11410/statm: 30809 30353 144 303 0 30504 0
Current children cumulated CPU time (s) 598.87
Current children cumulated vsize (KiB) 257352

[startup+567.101 s]
/proc/loadavg: 1.02 0.97 0.84 2/108 11414
/proc/meminfo: memFree=1638896/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=134116 CPUtime=599.71
/proc/11359/stat : 11359 (python) S 11357 11359 11055 0 -1 4202496 20833 183308 0 94 3156 406 56197 212 17 0 1 0 54761445 137334784 6341 1992294400 4194304 4196484 140735801631520 18446744073709551615 242171555343 0 0 16781312 2 159688670771686175 0 0 17 0 0 0 0
/proc/11359/statm: 33529 6341 1143 1 0 5166 0
Current children cumulated CPU time (s) 599.71
Current children cumulated vsize (KiB) 134116

[startup+567.301 s]
/proc/loadavg: 1.02 0.97 0.84 2/108 11414
/proc/meminfo: memFree=1638896/2059040 swapFree=4136684/4192956
[pid=11359] ppid=11357 vsize=134112 CPUtime=600.03
/proc/11359/stat : 11359 (python) R 11357 11359 11055 0 -1 4202496 24678 185079 0 94 3171 408 56210 214 16 0 1 0 54761445 137330688 6341 1992294400 4194304 4196484 140735801631520 18446744073709551615 47415519656746 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/11359/statm: 33528 6341 1143 1 0 5165 0
Current children cumulated CPU time (s) 600.03
Current children cumulated vsize (KiB) 134112

Child status: 20
Real time (s): 567.327
CPU time (s): 600.085
CPU user time (s): 593.849
CPU system time (s): 6.23605
CPU usage (%): 105.774
Max. virtual memory (cumulated for all children) (KiB): 1612560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 593.849
system time used= 6.23605
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210806
page faults= 94
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7746
involuntary context switches= 8053

runsolver used 1.27281 second user time and 2.85457 second system time

The end

Launcher Data 

Begin job on node047 at 2010-06-21 17:38:14
IDJOB=2676213
IDBENCH=1413
IDSOLVER=1178
FILE ID=node047/2676213-1277134694
PBS_JOBID= 11182079
Free space on /tmp= 62544 MiB

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

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

MD5SUM BENCH= 55203b98fb707e386dea9ef4475d45f9
RANDOM SEED=411184918

node047.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.244
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.244
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:       1793456 kB
Buffers:         22688 kB
Cached:         155968 kB
SwapCached:       9196 kB
Active:         133152 kB
Inactive:        58488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1793456 kB
SwapTotal:     4192956 kB
SwapFree:      4136684 kB
Dirty:           20608 kB
Writeback:           0 kB
AnonPages:       11632 kB
Mapped:           9332 kB
Slab:            51964 kB
PageTables:       4012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182432 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= 62524 MiB
End job on node047 at 2010-06-21 17:47:42