Trace number 3730451

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
PB10: borg-pb 10.05.30UNSAT 592.249 564.526

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
MD5SUM63dafaa5a785f38064ac19ced11339d2
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.046992
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2520
Total number of constraints142
Number of constraints which are clauses72
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint36
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 37
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 

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3730451-1338716036/watcher-3730451-1338716036 -o /tmp/evaluation-result-3730451-1338716036/solver-3730451-1338716036 -C 1800 -W 1900 -M 15500 solver HOME/instance-3730451-1338716036.opb 2134687619 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 2.02 2.00 3/177 16475
/proc/meminfo: memFree=26920524/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=15412 CPUtime=0 cores=0,2,4,6
/proc/16475/stat : 16475 (python) R 16473 16475 15301 0 -1 4202496 875 0 0 0 0 0 0 0 20 0 1 0 337727730 15781888 628 33554432000 4194304 5683644 140734114766336 140734114724792 4540219 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/16475/statm: 3853 626 333 364 0 295 0

[startup+0.102382 s]
/proc/loadavg: 1.99 2.02 2.00 3/177 16475
/proc/meminfo: memFree=26920524/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=57144 CPUtime=0.06 cores=0,2,4,6
/proc/16475/stat : 16475 (python) R 16473 16475 15301 0 -1 4202496 4080 0 0 0 4 2 0 0 20 0 1 0 337727730 58515456 2230 33554432000 4194304 4196484 140735165223792 140735165051496 251053032336 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/16475/statm: 14286 2231 603 1 0 1624 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 57144

[startup+0.200364 s]
/proc/loadavg: 1.99 2.02 2.00 3/177 16475
/proc/meminfo: memFree=26920524/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=94788 CPUtime=0.13 cores=0,2,4,6
/proc/16475/stat : 16475 (python) R 16473 16475 15301 0 -1 4202496 5586 0 0 0 9 4 0 0 20 0 1 0 337727730 97062912 3512 33554432000 4194304 4196484 140735165223792 140735165166344 251053031253 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/16475/statm: 23697 3512 1026 1 0 2530 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 94788

[startup+0.300307 s]
/proc/loadavg: 1.99 2.02 2.00 3/177 16475
/proc/meminfo: memFree=26920524/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=101568 CPUtime=0.22 cores=0,2,4,6
/proc/16475/stat : 16475 (python) R 16473 16475 15301 0 -1 4202496 6365 0 0 0 14 8 0 0 20 0 1 0 337727730 104005632 4198 33554432000 4194304 4196484 140735165223792 140735165167064 251053032832 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/16475/statm: 25392 4200 1047 1 0 3194 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 101568

[startup+0.700104 s]
/proc/loadavg: 1.99 2.02 2.00 3/177 16475
/proc/meminfo: memFree=26920524/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=134456 CPUtime=0.5 cores=0,2,4,6
/proc/16475/stat : 16475 (python) S 16473 16475 15301 0 -1 4202496 11245 1014 0 0 36 14 0 0 20 0 1 0 337727730 137682944 6349 33554432000 4194304 4196484 140735165223792 140735165215552 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/16475/statm: 33614 6349 1170 1 0 5186 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 134456

[startup+1.50022 s]
/proc/loadavg: 1.99 2.02 2.00 3/179 16481
/proc/meminfo: memFree=26895956/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=134456 CPUtime=0.52 cores=0,2,4,6
/proc/16475/stat : 16475 (python) S 16473 16475 15301 0 -1 4202496 11247 1014 0 0 38 14 0 0 20 0 1 0 337727730 137682944 6349 33554432000 4194304 4196484 140735165223792 140735165215552 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/16475/statm: 33614 6349 1170 1 0 5186 0
[pid=16481] ppid=16475 vsize=3704 CPUtime=0.88 cores=0,2,4,6
/proc/16481/stat : 16481 (clasp-1.3.3-x86) R 16475 16481 16481 0 -1 4202496 1007 0 0 0 88 0 0 0 20 0 1 0 337727792 3792896 692 33554432000 134512640 136080129 4292971664 4292970608 134579984 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/16481/statm: 926 692 175 383 0 541 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 138160

[startup+3.10024 s]
/proc/loadavg: 1.99 2.02 2.00 3/179 16481
/proc/meminfo: memFree=26890776/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=134456 CPUtime=0.59 cores=0,2,4,6
/proc/16475/stat : 16475 (python) S 16473 16475 15301 0 -1 4202496 11253 1014 0 0 44 15 0 0 20 0 1 0 337727730 137682944 6349 33554432000 4194304 4196484 140735165223792 140735165215552 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/16475/statm: 33614 6349 1170 1 0 5186 0
[pid=16481] ppid=16475 vsize=4496 CPUtime=2.47 cores=0,2,4,6
/proc/16481/stat : 16481 (clasp-1.3.3-x86) R 16475 16481 16481 0 -1 4202496 1202 0 0 0 247 0 0 0 20 0 1 0 337727792 4603904 887 33554432000 134512640 136080129 4292971664 4292970736 134850077 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/16481/statm: 1124 887 175 383 0 739 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 138952

[startup+6.30021 s]
/proc/loadavg: 1.99 2.02 2.00 4/179 16481
/proc/meminfo: memFree=26885344/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=134456 CPUtime=0.72 cores=0,2,4,6
/proc/16475/stat : 16475 (python) S 16473 16475 15301 0 -1 4202496 11261 1014 0 0 56 16 0 0 20 0 1 0 337727730 137682944 6349 33554432000 4194304 4196484 140735165223792 140735165215552 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/16475/statm: 33614 6349 1170 1 0 5186 0
[pid=16481] ppid=16475 vsize=5024 CPUtime=5.67 cores=0,2,4,6
/proc/16481/stat : 16481 (clasp-1.3.3-x86) R 16475 16481 16481 0 -1 4202496 1323 0 0 0 567 0 0 0 20 0 1 0 337727792 5144576 1008 33554432000 134512640 136080129 4292971664 4292970740 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/16481/statm: 1256 1008 175 383 0 871 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 139480

[startup+12.7002 s]
/proc/loadavg: 1.99 2.02 2.00 3/179 16484
/proc/meminfo: memFree=26876852/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=136516 CPUtime=11.57 cores=0,2,4,6
/proc/16475/stat : 16475 (python) S 16473 16475 15301 0 -1 4202496 12503 3524 0 0 85 21 1050 1 20 0 1 0 337727730 139792384 6369 33554432000 4194304 4196484 140735165223792 140735165215552 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/16475/statm: 34129 6369 1180 1 0 5186 0
[pid=16484] ppid=16475 vsize=4232 CPUtime=1.54 cores=0,2,4,6
/proc/16484/stat : 16484 (clasp-1.3.3-x86) R 16475 16484 16484 0 -1 4202496 1108 0 0 0 154 0 0 0 20 0 1 0 337728845 4333568 797 33554432000 134512640 136080129 4293539136 4293538080 134804888 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/16484/statm: 1058 797 175 383 0 673 0
Current children cumulated CPU time (s) 13.11
Current children cumulated vsize (KiB) 140748

[startup+25.5002 s]
/proc/loadavg: 1.99 2.02 2.00 3/179 16484
/proc/meminfo: memFree=26858376/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=136516 CPUtime=12.14 cores=0,2,4,6
/proc/16475/stat : 16475 (python) S 16473 16475 15301 0 -1 4202496 12530 3524 0 0 133 30 1050 1 20 0 1 0 337727730 139792384 6369 33554432000 4194304 4196484 140735165223792 140735165215552 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/16475/statm: 34129 6369 1180 1 0 5186 0
[pid=16484] ppid=16475 vsize=5948 CPUtime=14.33 cores=0,2,4,6
/proc/16484/stat : 16484 (clasp-1.3.3-x86) R 16475 16484 16484 0 -1 4202496 1567 0 0 0 1433 0 0 0 20 0 1 0 337728845 6090752 1256 33554432000 134512640 136080129 4293539136 4293537832 134601639 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/16484/statm: 1487 1256 175 383 0 1102 0
Current children cumulated CPU time (s) 26.47
Current children cumulated vsize (KiB) 142464

[startup+51.106 s]
/proc/loadavg: 1.99 2.02 2.00 4/179 16577
/proc/meminfo: memFree=27048984/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=136516 CPUtime=13.27 cores=0,2,4,6
/proc/16475/stat : 16475 (python) S 16473 16475 15301 0 -1 4202496 12557 3524 0 0 233 43 1050 1 20 0 1 0 337727730 139792384 6369 33554432000 4194304 4196484 140735165223792 140735165215552 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/16475/statm: 34129 6369 1180 1 0 5186 0
[pid=16484] ppid=16475 vsize=7764 CPUtime=39.93 cores=0,2,4,6
/proc/16484/stat : 16484 (clasp-1.3.3-x86) R 16475 16484 16484 0 -1 4202496 1997 0 0 0 3993 0 0 0 20 0 1 0 337728845 7950336 1686 33554432000 134512640 136080129 4293539136 4293538212 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/16484/statm: 1941 1686 175 383 0 1556 0
Current children cumulated CPU time (s) 53.2
Current children cumulated vsize (KiB) 144280

[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/179 16583
/proc/meminfo: memFree=26946640/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=136516 CPUtime=66.1 cores=0,2,4,6
/proc/16475/stat : 16475 (python) S 16473 16475 15301 0 -1 4202496 13721 6531 0 0 453 76 6079 2 20 0 1 0 337727730 139792384 6374 33554432000 4194304 4196484 140735165223792 140735165215552 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16475/statm: 34129 6374 1180 1 0 5186 0
[pid=16583] ppid=16475 vsize=113544 CPUtime=40.77 cores=0,2,4,6
/proc/16583/stat : 16583 (wbo1.4a) R 16475 16583 16583 0 -1 4202496 28236 0 0 0 4058 19 0 0 20 0 1 0 337733879 116269056 27911 33554432000 134512640 135751879 4289641776 4289639952 134616480 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16583/statm: 28386 27911 139 303 0 28081 0
Current children cumulated CPU time (s) 106.87
Current children cumulated vsize (KiB) 250060

[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/179 16592
/proc/meminfo: memFree=27049620/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=136516 CPUtime=119.22 cores=0,2,4,6
/proc/16475/stat : 16475 (python) S 16473 16475 15301 0 -1 4202496 14967 43210 0 0 703 109 11083 27 20 0 1 0 337727730 139792384 6375 33554432000 4194304 4196484 140735165223792 140735165215552 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16475/statm: 34129 6375 1180 1 0 5186 0
[pid=16589] ppid=16475 vsize=7988 CPUtime=50.46 cores=0,2,4,6
/proc/16589/stat : 16589 (clasp-1.3.3-x86) R 16475 16589 16589 0 -1 4202496 2075 0 0 0 5046 0 0 0 20 0 1 0 337738913 8179712 1765 33554432000 134512640 136080129 4292209728 4292208720 134588742 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16589/statm: 1997 1765 175 383 0 1612 0
Current children cumulated CPU time (s) 169.68
Current children cumulated vsize (KiB) 144504

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 16595
/proc/meminfo: memFree=27024836/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=136516 CPUtime=222.5 cores=0,2,4,6
/proc/16475/stat : 16475 (python) S 16473 16475 15301 0 -1 4202496 16221 46693 0 0 972 143 21106 29 20 0 1 0 337727730 139792384 6376 33554432000 4194304 4196484 140735165223792 140735165215552 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16475/statm: 34129 6376 1180 1 0 5186 0
[pid=16595] ppid=16475 vsize=35460 CPUtime=10.2 cores=0,2,4,6
/proc/16595/stat : 16595 (wbo1.4a) R 16475 16595 16595 0 -1 4202496 8736 0 0 0 1015 5 0 0 20 0 1 0 337748939 36311040 8412 33554432000 134512640 135751879 4288272016 4288270268 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 8865 8412 139 303 0 8560 0
Current children cumulated CPU time (s) 232.7
Current children cumulated vsize (KiB) 171976

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 16824
/proc/meminfo: memFree=26804636/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=136516 CPUtime=225.37 cores=0,2,4,6
/proc/16475/stat : 16475 (python) S 16473 16475 15301 0 -1 4202496 16255 46693 0 0 1222 180 21106 29 20 0 1 0 337727730 139792384 6376 33554432000 4194304 4196484 140735165223792 140735165215552 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16475/statm: 34129 6376 1180 1 0 5186 0
[pid=16595] ppid=16475 vsize=222708 CPUtime=70.18 cores=0,2,4,6
/proc/16595/stat : 16595 (wbo1.4a) R 16475 16595 16595 0 -1 4202496 55495 0 0 0 6990 28 0 0 20 0 1 0 337748939 228052992 55188 33554432000 134512640 135751879 4288272016 4288270080 134602977 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 55677 55188 139 303 0 55372 0
Current children cumulated CPU time (s) 295.55
Current children cumulated vsize (KiB) 359224

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16830
/proc/meminfo: memFree=26922208/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=136516 CPUtime=329.25 cores=0,2,4,6
/proc/16475/stat : 16475 (python) S 16473 16475 15301 0 -1 4202496 17480 129227 0 0 1487 226 31141 71 20 0 1 0 337727730 139792384 6378 33554432000 4194304 4196484 140735165223792 140735165215552 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16475/statm: 34129 6378 1180 1 0 5186 0
[pid=16830] ppid=16475 vsize=85124 CPUtime=29.38 cores=0,2,4,6
/proc/16830/stat : 16830 (wbo1.4b) R 16475 16830 16830 0 -1 4202496 21209 0 0 0 2925 13 0 0 20 0 1 0 337759021 87166976 20829 33554432000 134512640 135751879 4289251632 4289249648 134616350 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16830/statm: 21281 20829 144 303 0 20976 0
Current children cumulated CPU time (s) 358.63
Current children cumulated vsize (KiB) 221640

[startup+402.301 s]
/proc/loadavg: 2.17 2.05 2.01 3/198 16857
/proc/meminfo: memFree=26865184/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=136516 CPUtime=382.69 cores=0,2,4,6

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

[pid=16836/tid=16853] ppid=16475 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16836/task/16853/stat : 16853 (java) S 16475 16836 16836 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 337764082 2780299264 43418 33554432000 1073741824 1073778376 140735139751392 140087076543432 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16836/tid=16854] ppid=16475 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16836/task/16854/stat : 16854 (java) S 16475 16836 16836 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 337764098 2780299264 43418 33554432000 1073741824 1073778376 140735139751392 140087075488936 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 421.91
Current children cumulated vsize (KiB) 2851652

[startup+462.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/197 16905
/proc/meminfo: memFree=26759884/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=136516 CPUtime=385.52 cores=0,2,4,6
/proc/16475/stat : 16475 (python) S 16473 16475 15301 0 -1 4202496 18742 166883 0 0 1988 301 36169 94 20 0 1 0 337727730 139792384 6379 33554432000 4194304 4196484 140735165223792 140735165215552 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16475/statm: 34129 6379 1180 1 0 5186 0
[pid=16836] ppid=16475 vsize=2715136 CPUtime=99.22 cores=0,2,4,6
/proc/16836/stat : 16836 (java) S 16475 16836 16836 0 -1 4202496 7810 0 1 0 9914 8 0 0 20 0 19 0 337764075 2780299264 74650 33554432000 1073741824 1073778376 140735139751392 140735139742528 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16836/statm: 678784 74650 2240 9 0 669477 0
[pid=16836/tid=16837] ppid=16475 vsize=2715136 CPUtime=98.74 cores=0,2,4,6
/proc/16836/task/16837/stat : 16837 (java) R 16475 16836 16836 0 -1 4202560 2881 0 1 0 9867 7 0 0 20 0 19 0 337764076 2780299264 74650 33554432000 1073741824 1073778376 140735139751392 140087237448000 140087086537002 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16836/tid=16838] ppid=16475 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16836/task/16838/stat : 16838 (java) S 16475 16836 16836 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337764077 2780299264 74650 33554432000 1073741824 1073778376 140735139751392 140087221897768 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16836/tid=16839] ppid=16475 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16836/task/16839/stat : 16839 (java) S 16475 16836 16836 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337764077 2780299264 74650 33554432000 1073741824 1073778376 140735139751392 140087220844968 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16836/tid=16840] ppid=16475 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16836/task/16840/stat : 16840 (java) S 16475 16836 16836 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337764077 2780299264 74650 33554432000 1073741824 1073778376 140735139751392 140087219792168 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16836/tid=16841] ppid=16475 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16836/task/16841/stat : 16841 (java) S 16475 16836 16836 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337764077 2780299264 74650 33554432000 1073741824 1073778376 140735139751392 140087218739368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16836/tid=16842] ppid=16475 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16836/task/16842/stat : 16842 (java) S 16475 16836 16836 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337764077 2780299264 74650 33554432000 1073741824 1073778376 140735139751392 140087217687592 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16836/tid=16843] ppid=16475 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16836/task/16843/stat : 16843 (java) S 16475 16836 16836 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337764077 2780299264 74650 33554432000 1073741824 1073778376 140735139751392 140087216634792 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16836/tid=16844] ppid=16475 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16836/task/16844/stat : 16844 (java) S 16475 16836 16836 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337764077 2780299264 74650 33554432000 1073741824 1073778376 140735139751392 140087215581992 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16836/tid=16845] ppid=16475 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16836/task/16845/stat : 16845 (java) S 16475 16836 16836 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337764077 2780299264 74650 33554432000 1073741824 1073778376 140735139751392 140087214529192 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16836/tid=16846] ppid=16475 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16836/task/16846/stat : 16846 (java) S 16475 16836 16836 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337764079 2780299264 74650 33554432000 1073741824 1073778376 140735139751392 140087083911656 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16836/tid=16847] ppid=16475 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16836/task/16847/stat : 16847 (java) S 16475 16836 16836 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337764079 2780299264 74650 33554432000 1073741824 1073778376 140735139751392 140087082857720 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16836/tid=16848] ppid=16475 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16836/task/16848/stat : 16848 (java) S 16475 16836 16836 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337764079 2780299264 74650 33554432000 1073741824 1073778376 140735139751392 140087081804808 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16836/tid=16849] ppid=16475 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16836/task/16849/stat : 16849 (java) S 16475 16836 16836 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337764082 2780299264 74650 33554432000 1073741824 1073778376 140735139751392 140087080753296 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16836/tid=16850] ppid=16475 vsize=2715136 CPUtime=0.26 cores=0,2,4,6
/proc/16836/task/16850/stat : 16850 (java) S 16475 16836 16836 0 -1 4202560 1692 0 0 0 26 0 0 0 20 0 19 0 337764082 2780299264 74650 33554432000 1073741824 1073778376 140735139751392 140087079701432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16836/tid=16851] ppid=16475 vsize=2715136 CPUtime=0.19 cores=0,2,4,6
/proc/16836/task/16851/stat : 16851 (java) S 16475 16836 16836 0 -1 4202560 1711 0 0 0 19 0 0 0 20 0 19 0 337764082 2780299264 74650 33554432000 1073741824 1073778376 140735139751392 140087078648632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16836/tid=16852] ppid=16475 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16836/task/16852/stat : 16852 (java) S 16475 16836 16836 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337764082 2780299264 74650 33554432000 1073741824 1073778376 140735139751392 140087077596024 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16836/tid=16853] ppid=16475 vsize=2715136 CPUtime=0.03 cores=0,2,4,6
/proc/16836/task/16853/stat : 16853 (java) S 16475 16836 16836 0 -1 4202560 8 0 0 0 2 1 0 0 20 0 19 0 337764082 2780299264 74650 33554432000 1073741824 1073778376 140735139751392 140087076543432 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16836/tid=16854] ppid=16475 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16836/task/16854/stat : 16854 (java) S 16475 16836 16836 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 337764098 2780299264 74650 33554432000 1073741824 1073778376 140735139751392 140087075488936 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 484.74
Current children cumulated vsize (KiB) 2851652

[startup+522.3 s]
/proc/loadavg: 2.18 2.08 2.02 4/179 16911
/proc/meminfo: memFree=26835136/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=136516 CPUtime=489.19 cores=0,2,4,6
/proc/16475/stat : 16475 (python) S 16473 16475 15301 0 -1 4202496 19992 175625 0 1 2262 342 46207 108 20 0 1 0 337727730 139792384 6381 33554432000 4194304 4196484 140735165223792 140735165215552 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16475/statm: 34129 6381 1180 1 0 5186 0
[pid=16908] ppid=16475 vsize=185524 CPUtime=58.75 cores=0,2,4,6
/proc/16908/stat : 16908 (wbo1.4b) R 16475 16908 16908 0 -1 4202496 46286 0 0 0 5848 27 0 0 20 0 1 0 337774083 189976576 45903 33554432000 134512640 135751879 4287469664 4287467756 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16908/statm: 46381 45903 144 303 0 46076 0
Current children cumulated CPU time (s) 547.94
Current children cumulated vsize (KiB) 322040

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

[startup+538 s]
/proc/loadavg: 2.14 2.07 2.01 3/179 16911
/proc/meminfo: memFree=26755884/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=136516 CPUtime=489.92 cores=0,2,4,6
/proc/16475/stat : 16475 (python) R 16473 16475 15301 0 -1 4202496 19998 175625 0 1 2320 357 46207 108 20 0 1 0 337727730 139792384 6381 33554432000 4194304 4196484 140735165223792 140735165215552 140094362213742 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/16475/statm: 34130 6381 1180 1 0 5187 0
[pid=16908] ppid=16475 vsize=238148 CPUtime=74.44 cores=0,2,4,6
/proc/16908/stat : 16908 (wbo1.4b) R 16475 16908 16908 0 -1 4202496 59439 0 0 0 7412 32 0 0 20 0 1 0 337774083 243863552 59066 33554432000 134512640 135751879 4287469664 4287467756 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16908/statm: 59537 59066 144 303 0 59232 0
Current children cumulated CPU time (s) 564.36
Current children cumulated vsize (KiB) 374664

[startup+550.8 s]
/proc/loadavg: 2.11 2.07 2.01 3/179 16911
/proc/meminfo: memFree=26694720/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=136516 CPUtime=490.54 cores=0,2,4,6
/proc/16475/stat : 16475 (python) S 16473 16475 15301 0 -1 4202496 20003 175625 0 1 2373 366 46207 108 20 0 1 0 337727730 139792384 6381 33554432000 4194304 4196484 140735165223792 140735165215552 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16475/statm: 34129 6381 1180 1 0 5186 0
[pid=16908] ppid=16475 vsize=275580 CPUtime=87.23 cores=0,2,4,6
/proc/16908/stat : 16908 (wbo1.4b) R 16475 16908 16908 0 -1 4202496 68793 0 0 0 8688 35 0 0 20 0 1 0 337774083 282193920 68434 33554432000 134512640 135751879 4287469664 4287467756 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16908/statm: 68895 68434 144 303 0 68590 0
Current children cumulated CPU time (s) 577.77
Current children cumulated vsize (KiB) 412096

[startup+557.2 s]
/proc/loadavg: 2.10 2.06 2.01 3/178 16911
/proc/meminfo: memFree=26653064/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=136516 CPUtime=490.84 cores=0,2,4,6
/proc/16475/stat : 16475 (python) S 16473 16475 15301 0 -1 4202496 20006 175625 0 1 2399 370 46207 108 20 0 1 0 337727730 139792384 6381 33554432000 4194304 4196484 140735165223792 140735165215552 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16475/statm: 34129 6381 1180 1 0 5186 0
[pid=16908] ppid=16475 vsize=304776 CPUtime=93.64 cores=0,2,4,6
/proc/16908/stat : 16908 (wbo1.4b) R 16475 16908 16908 0 -1 4202496 76095 0 0 0 9326 38 0 0 20 0 1 0 337774083 312090624 75736 33554432000 134512640 135751879 4287469664 4287467696 134611204 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16908/statm: 76194 75736 144 303 0 75889 0
Current children cumulated CPU time (s) 584.48
Current children cumulated vsize (KiB) 441292

[startup+560.406 s]
/proc/loadavg: 2.09 2.06 2.01 3/179 16915
/proc/meminfo: memFree=26734260/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=136516 CPUtime=490.98 cores=0,2,4,6
/proc/16475/stat : 16475 (python) S 16473 16475 15301 0 -1 4202496 20007 175625 0 1 2411 372 46207 108 20 0 1 0 337727730 139792384 6381 33554432000 4194304 4196484 140735165223792 140735165215552 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16475/statm: 34129 6381 1180 1 0 5186 0
[pid=16908] ppid=16475 vsize=317200 CPUtime=96.84 cores=0,2,4,6
/proc/16908/stat : 16908 (wbo1.4b) R 16475 16908 16908 0 -1 4202496 79189 0 0 0 9645 39 0 0 20 0 1 0 337774083 324812800 78842 33554432000 134512640 135751879 4287469664 4287467672 134517414 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16908/statm: 79300 78842 144 303 0 78995 0
Current children cumulated CPU time (s) 587.82
Current children cumulated vsize (KiB) 453716

[startup+562 s]
/proc/loadavg: 2.09 2.06 2.01 3/179 16915
/proc/meminfo: memFree=26730912/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=136516 CPUtime=491.06 cores=0,2,4,6
/proc/16475/stat : 16475 (python) S 16473 16475 15301 0 -1 4202496 20008 175625 0 1 2418 373 46207 108 20 0 1 0 337727730 139792384 6381 33554432000 4194304 4196484 140735165223792 140735165215552 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16475/statm: 34129 6381 1180 1 0 5186 0
[pid=16908] ppid=16475 vsize=321688 CPUtime=98.43 cores=0,2,4,6
/proc/16908/stat : 16908 (wbo1.4b) R 16475 16908 16908 0 -1 4202496 80324 0 0 0 9804 39 0 0 20 0 1 0 337774083 329408512 79977 33554432000 134512640 135751879 4287469664 4287467756 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16908/statm: 80422 79977 144 303 0 80117 0
Current children cumulated CPU time (s) 589.49
Current children cumulated vsize (KiB) 458204

[startup+563.6 s]
/proc/loadavg: 2.08 2.06 2.01 3/179 16915
/proc/meminfo: memFree=26725456/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=136516 CPUtime=491.13 cores=0,2,4,6
/proc/16475/stat : 16475 (python) S 16473 16475 15301 0 -1 4202496 20008 175625 0 1 2424 374 46207 108 20 0 1 0 337727730 139792384 6381 33554432000 4194304 4196484 140735165223792 140735165215552 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16475/statm: 34129 6381 1180 1 0 5186 0
[pid=16908] ppid=16475 vsize=325392 CPUtime=100.04 cores=0,2,4,6
/proc/16908/stat : 16908 (wbo1.4b) R 16475 16908 16908 0 -1 4202496 81225 0 0 0 9964 40 0 0 20 0 1 0 337774083 333201408 80878 33554432000 134512640 135751879 4287469664 4287467756 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16908/statm: 81348 80878 144 303 0 81043 0
Current children cumulated CPU time (s) 591.17
Current children cumulated vsize (KiB) 461908

[startup+564 s]
/proc/loadavg: 2.08 2.06 2.01 3/179 16915
/proc/meminfo: memFree=26725456/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=136516 CPUtime=491.16 cores=0,2,4,6
/proc/16475/stat : 16475 (python) S 16473 16475 15301 0 -1 4202496 20010 175625 0 1 2426 375 46207 108 20 0 1 0 337727730 139792384 6381 33554432000 4194304 4196484 140735165223792 140735165215552 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16475/statm: 34129 6381 1180 1 0 5186 0
[pid=16908] ppid=16475 vsize=326316 CPUtime=100.44 cores=0,2,4,6
/proc/16908/stat : 16908 (wbo1.4b) R 16475 16908 16908 0 -1 4202496 81482 0 0 0 10004 40 0 0 20 0 1 0 337774083 334147584 81135 33554432000 134512640 135751879 4287469664 4287467680 134616516 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16908/statm: 81579 81135 144 303 0 81274 0
Current children cumulated CPU time (s) 591.6
Current children cumulated vsize (KiB) 462832

[startup+564.4 s]
/proc/loadavg: 2.08 2.06 2.01 3/179 16915
/proc/meminfo: memFree=26725456/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=136516 CPUtime=592.03 cores=0,2,4,6
/proc/16475/stat : 16475 (python) S 16473 16475 15301 0 -1 4202496 21178 258251 0 1 2436 376 56241 150 20 0 1 0 337727730 139792384 6382 33554432000 4194304 4196484 140735165223792 140735165215552 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16475/statm: 34129 6382 1180 1 0 5186 0
Current children cumulated CPU time (s) 592.03
Current children cumulated vsize (KiB) 136516

[startup+564.5 s]
/proc/loadavg: 2.08 2.06 2.01 3/179 16915
/proc/meminfo: memFree=26725456/32873648 swapFree=7368/7368
[pid=16475] ppid=16473 vsize=136512 CPUtime=592.2 cores=0,2,4,6
/proc/16475/stat : 16475 (python) R 16473 16475 15301 0 -1 4202496 24496 260072 0 1 2442 378 56250 150 20 0 1 0 337727730 139788288 6383 33554432000 4194304 4196484 140735165223792 140735165216328 140094362683812 0 0 16781312 0 0 0 0 17 0 0 0 0 0 0
/proc/16475/statm: 34128 6383 1181 1 0 5185 0
Current children cumulated CPU time (s) 592.2
Current children cumulated vsize (KiB) 136512

Child status: 20
Real time (s): 564.526
CPU time (s): 592.249
CPU user time (s): 586.956
CPU system time (s): 5.29319
CPU usage (%): 104.911
Max. virtual memory (cumulated for all children) (KiB): 2851656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 586.956
system time used= 5.29319
maximum resident set size= 325404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286156
page faults= 1
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5080
involuntary context switches= 1275

runsolver used 1.18582 second user time and 2.89956 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-03 11:33:56
IDJOB=3730451
IDBENCH=1426
IDSOLVER=2323
FILE ID=node149/3730451-1338716036
RUNJOBID= node149-1338713283-15317
PBS_JOBID= 14636730
Free space on /tmp= 71036 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3730451-1338716036/watcher-3730451-1338716036 -o /tmp/evaluation-result-3730451-1338716036/solver-3730451-1338716036 -C 1800 -W 1900 -M 15500  solver HOME/instance-3730451-1338716036.opb 2134687619 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 63dafaa5a785f38064ac19ced11339d2
RANDOM SEED=2134687619

node149.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26920508 kB
Buffers:          735340 kB
Cached:          4119248 kB
SwapCached:         2468 kB
Active:          2175584 kB
Inactive:        2877864 kB
Active(anon):     182120 kB
Inactive(anon):     9368 kB
Active(file):    1993464 kB
Inactive(file):  2868496 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:             20580 kB
Writeback:             0 kB
AnonPages:        177880 kB
Mapped:            18376 kB
Shmem:                96 kB
Slab:             760400 kB
SReclaimable:     203340 kB
SUnreclaim:       557060 kB
KernelStack:        1480 kB
PageTables:         4092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     305716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71012 MiB
End job on node149 at 2012-06-03 11:43:21