Trace number 3733633

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 594.366 567.443

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-cardinality-101-100.opb
MD5SUM0b4d976a66cd69333fd390f8a9139e21
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.18997
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables10100
Total number of constraints201
Number of constraints which are clauses101
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint100
Maximum length of a constraint101
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 102
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

running on 4 cores: 1,3,5,7

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: 2.06 2.08 2.03 2/179 12584
/proc/meminfo: memFree=28615044/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/12584/stat : 12584 (python) D 12582 12584 11290 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 337819420 15642624 527 33554432000 4194304 5683644 140734667521776 140734667507688 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 3819 527 312 364 0 261 0

[startup+0.0117139 s]
/proc/loadavg: 2.06 2.08 2.03 2/179 12584
/proc/meminfo: memFree=28615044/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/12584/stat : 12584 (python) D 12582 12584 11290 0 -1 4202496 865 0 0 0 0 0 0 0 20 0 1 0 337819420 15749120 618 33554432000 4194304 5683644 140734667521776 140734667480232 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 3845 618 331 364 0 287 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380

[startup+0.10029 s]
/proc/loadavg: 2.06 2.08 2.03 2/179 12584
/proc/meminfo: memFree=28615044/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=17632 CPUtime=0.02 cores=1,3,5,7
/proc/12584/stat : 12584 (python) D 12582 12584 11290 0 -1 4202496 2217 0 0 0 1 1 0 0 20 0 1 0 337819420 18055168 723 33554432000 4194304 4196484 140735184053312 140735183983480 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 4408 723 354 1 0 343 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17632

[startup+0.300254 s]
/proc/loadavg: 2.06 2.08 2.03 2/179 12584
/proc/meminfo: memFree=28615044/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=54720 CPUtime=0.09 cores=1,3,5,7
/proc/12584/stat : 12584 (python) D 12582 12584 11290 0 -1 4202496 4013 0 0 0 5 4 0 0 20 0 1 0 337819420 56033280 2191 33554432000 4194304 4196484 140735184053312 140735183885192 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 13680 2191 600 1 0 1535 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 54720

[startup+0.700191 s]
/proc/loadavg: 2.06 2.08 2.03 2/179 12584
/proc/meminfo: memFree=28615044/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=99492 CPUtime=0.25 cores=1,3,5,7
/proc/12584/stat : 12584 (python) R 12582 12584 11290 0 -1 4202496 5892 0 0 0 15 10 0 0 20 0 1 0 337819420 101879808 3726 33554432000 4194304 4196484 140735184053312 140735183996584 215143124884 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 24873 3726 1047 1 0 2675 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 99492

[startup+1.50026 s]
/proc/loadavg: 2.06 2.08 2.03 2/180 12589
/proc/meminfo: memFree=28593428/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=118124 CPUtime=0.48 cores=1,3,5,7
/proc/12584/stat : 12584 (python) D 12582 12584 11290 0 -1 4202496 9594 1014 0 0 29 19 0 0 20 0 1 0 337819420 120958976 5831 33554432000 4194304 4196484 140735184053312 140735183986920 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 29531 5831 1083 1 0 4730 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 118124

[startup+3.10026 s]
/proc/loadavg: 2.06 2.08 2.03 3/181 12590
/proc/meminfo: memFree=28583872/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=134460 CPUtime=0.69 cores=1,3,5,7
/proc/12584/stat : 12584 (python) S 12582 12584 11290 0 -1 4202496 11232 1014 0 0 44 25 0 0 20 0 1 0 337819420 137687040 6349 33554432000 4194304 4196484 140735184053312 140735184045072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 33615 6349 1170 1 0 5187 0
[pid=12590] ppid=12584 vsize=11520 CPUtime=1.22 cores=1,3,5,7
/proc/12590/stat : 12590 (clasp-1.3.3-x86) R 12584 12590 12590 0 -1 4202496 2963 0 0 0 122 0 0 0 20 0 1 0 337819606 11796480 2628 33554432000 134512640 136080129 4287162960 4287161904 134804888 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12590/statm: 2880 2628 175 383 0 2495 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 145980
heavy processes:

[startup+6.30025 s]
/proc/loadavg: 2.06 2.08 2.03 3/181 12590
/proc/meminfo: memFree=28564264/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=134460 CPUtime=0.84 cores=1,3,5,7
/proc/12584/stat : 12584 (python) S 12582 12584 11290 0 -1 4202496 11244 1014 0 0 56 28 0 0 20 0 1 0 337819420 137687040 6349 33554432000 4194304 4196484 140735184053312 140735184045072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 33615 6349 1170 1 0 5187 0
[pid=12590] ppid=12584 vsize=18372 CPUtime=4.42 cores=1,3,5,7
/proc/12590/stat : 12590 (clasp-1.3.3-x86) R 12584 12590 12590 0 -1 4202496 4676 0 0 0 442 0 0 0 20 0 1 0 337819606 18812928 4341 33554432000 134512640 136080129 4287162960 4287161904 134580629 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12590/statm: 4593 4341 175 383 0 4208 0
Current children cumulated CPU time (s) 5.26
Current children cumulated vsize (KiB) 152832

[startup+12.7002 s]
/proc/loadavg: 2.05 2.07 2.03 3/181 12590
/proc/meminfo: memFree=28546060/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=136520 CPUtime=11.71 cores=1,3,5,7
/proc/12584/stat : 12584 (python) S 12582 12584 11290 0 -1 4202496 12514 7593 0 0 85 33 1052 1 20 0 1 0 337819420 139796480 6371 33554432000 4194304 4196484 140735184053312 140735184045072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 34130 6371 1180 1 0 5187 0
Current children cumulated CPU time (s) 11.71
Current children cumulated vsize (KiB) 136520

[startup+25.5002 s]
/proc/loadavg: 2.04 2.07 2.03 3/199 12614
/proc/meminfo: memFree=28610048/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=136520 CPUtime=12.28 cores=1,3,5,7
/proc/12584/stat : 12584 (python) S 12582 12584 11290 0 -1 4202496 12541 7593 0 0 135 40 1052 1 20 0 1 0 337819420 139796480 6371 33554432000 4194304 4196484 140735184053312 140735184045072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 34130 6371 1180 1 0 5187 0
[pid=12593] ppid=12584 vsize=25080 CPUtime=13.06 cores=1,3,5,7
/proc/12593/stat : 12593 (clasp-1.3.3-x86) R 12584 12593 12593 0 -1 4202496 6326 0 0 0 1305 1 0 0 20 0 1 0 337820662 25681920 5996 33554432000 134512640 136080129 4287614928 4287613920 134588974 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12593/statm: 6270 5996 175 383 0 5885 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 161600

[startup+51.1003 s]
/proc/loadavg: 2.03 2.06 2.02 3/199 12614
/proc/meminfo: memFree=28484544/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=136520 CPUtime=13.45 cores=1,3,5,7
/proc/12584/stat : 12584 (python) S 12582 12584 11290 0 -1 4202496 12581 7593 0 0 236 56 1052 1 20 0 1 0 337819420 139796480 6371 33554432000 4194304 4196484 140735184053312 140735184045072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 34130 6371 1180 1 0 5187 0
[pid=12593] ppid=12584 vsize=31852 CPUtime=38.65 cores=1,3,5,7
/proc/12593/stat : 12593 (clasp-1.3.3-x86) R 12584 12593 12593 0 -1 4202496 8015 0 0 0 3864 1 0 0 20 0 1 0 337820662 32616448 7684 33554432000 134512640 136080129 4287614928 4287613920 134588974 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12593/statm: 7963 7684 175 383 0 7578 0
Current children cumulated CPU time (s) 52.1
Current children cumulated vsize (KiB) 168372

[startup+102.307 s]
/proc/loadavg: 2.01 2.05 2.02 3/200 12621
/proc/meminfo: memFree=28217784/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=136520 CPUtime=66.41 cores=1,3,5,7
/proc/12584/stat : 12584 (python) S 12582 12584 11290 0 -1 4202496 13783 17338 0 0 456 92 6089 4 20 0 1 0 337819420 139796480 6375 33554432000 4194304 4196484 140735184053312 140735184045072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 34130 6375 1180 1 0 5187 0
[pid=12620] ppid=12584 vsize=127952 CPUtime=39.44 cores=1,3,5,7
/proc/12620/stat : 12620 (wbo1.4a) R 12584 12620 12620 0 -1 4202496 31850 0 0 0 3931 13 0 0 20 0 1 0 337825704 131022848 31493 33554432000 134512640 135751879 4294709008 4294707180 134516976 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12620/statm: 31988 31493 139 303 0 31683 0
Current children cumulated CPU time (s) 105.85
Current children cumulated vsize (KiB) 264472

[startup+162.3 s]
/proc/loadavg: 2.03 2.05 2.02 3/181 12627
/proc/meminfo: memFree=28535132/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=136520 CPUtime=119.41 cores=1,3,5,7
/proc/12584/stat : 12584 (python) S 12582 12584 11290 0 -1 4202496 15077 57519 0 0 695 130 11093 23 20 0 1 0 337819420 139796480 6377 33554432000 4194304 4196484 140735184053312 140735184045072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 34130 6377 1180 1 0 5187 0
[pid=12624] ppid=12584 vsize=35084 CPUtime=49.17 cores=1,3,5,7
/proc/12624/stat : 12624 (clasp-1.3.3-x86) R 12584 12624 12624 0 -1 4202496 8824 0 0 0 4916 1 0 0 20 0 1 0 337830729 35926016 8501 33554432000 134512640 136080129 4292785520 4292784512 134588617 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12624/statm: 8771 8501 175 383 0 8386 0
Current children cumulated CPU time (s) 168.58
Current children cumulated vsize (KiB) 171604

[startup+222.3 s]
/proc/loadavg: 2.04 2.05 2.02 3/181 12630
/proc/meminfo: memFree=28324448/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=136520 CPUtime=222.55 cores=1,3,5,7
/proc/12584/stat : 12584 (python) S 12582 12584 11290 0 -1 4202496 16373 69131 0 0 951 169 21109 26 20 0 1 0 337819420 139796480 6378 33554432000 4194304 4196484 140735184053312 140735184045072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 34130 6378 1180 1 0 5187 0
[pid=12630] ppid=12584 vsize=32420 CPUtime=8.96 cores=1,3,5,7
/proc/12630/stat : 12630 (wbo1.4a) R 12584 12630 12630 0 -1 4202496 7976 0 0 0 892 4 0 0 20 0 1 0 337840752 33198080 7619 33554432000 134512640 135751879 4291946224 4291944400 134616336 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12630/statm: 8105 7619 139 303 0 7800 0
Current children cumulated CPU time (s) 231.51
Current children cumulated vsize (KiB) 168940

[startup+282.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/181 12681
/proc/meminfo: memFree=28464544/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=136520 CPUtime=225.31 cores=1,3,5,7
/proc/12584/stat : 12584 (python) S 12582 12584 11290 0 -1 4202496 16411 69131 0 0 1189 207 21109 26 20 0 1 0 337819420 139796480 6378 33554432000 4194304 4196484 140735184053312 140735184045072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 34130 6378 1180 1 0 5187 0
[pid=12630] ppid=12584 vsize=204152 CPUtime=68.92 cores=1,3,5,7
/proc/12630/stat : 12630 (wbo1.4a) R 12584 12630 12630 0 -1 4202496 50894 0 0 0 6873 19 0 0 20 0 1 0 337840752 209051648 50532 33554432000 134512640 135751879 4291946224 4291943840 134605082 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12630/statm: 51038 50532 139 303 0 50733 0
Current children cumulated CPU time (s) 294.23
Current children cumulated vsize (KiB) 340672

[startup+342.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/181 12687
/proc/meminfo: memFree=28529584/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=136520 CPUtime=328.72 cores=1,3,5,7
/proc/12584/stat : 12584 (python) S 12582 12584 11290 0 -1 4202496 17675 138634 0 0 1444 248 31126 54 20 0 1 0 337819420 139796480 6379 33554432000 4194304 4196484 140735184053312 140735184045072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 34130 6379 1180 1 0 5187 0
[pid=12684] ppid=12584 vsize=87416 CPUtime=28.43 cores=1,3,5,7
/proc/12684/stat : 12684 (wbo1.4b) R 12584 12684 12684 0 -1 4202496 22042 0 0 0 2833 10 0 0 20 0 1 0 337850804 89513984 21371 33554432000 134512640 135751879 4293919376 4293917468 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12684/statm: 21854 21371 144 303 0 21549 0
Current children cumulated CPU time (s) 357.15
Current children cumulated vsize (KiB) 223936

[startup+402.301 s]
/proc/loadavg: 2.03 2.06 2.02 3/199 12712
/proc/meminfo: memFree=28456980/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=136520 CPUtime=381.79 cores=1,3,5,7
/proc/12584/stat : 12584 (python) S 12582 12584 11290 0 -1 4202496 18953 179132 0 0 1687 290 36130 72 20 0 1 0 337819420 139796480 6381 33554432000 4194304 4196484 140735184053312 140735184045072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 34130 6381 1180 1 0 5187 0
[pid=12690] ppid=12584 vsize=2715136 CPUtime=38.9 cores=1,3,5,7
/proc/12690/stat : 12690 (java) S 12584 12690 12690 0 -1 4202496 9013 0 1 0 3885 5 0 0 20 0 19 0 337855830 2780299264 54799 33554432000 1073741824 1073778376 140734196370944 140734196362080 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12690/statm: 678784 54799 2242 9 0 669477 0

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

[pid=12690/tid=12707] ppid=12584 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12690/task/12707/stat : 12707 (java) S 12584 12690 12690 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337855837 2780299264 54799 33554432000 1073741824 1073778376 140734196370944 140693671488200 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12690/tid=12708] ppid=12584 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12690/task/12708/stat : 12708 (java) S 12584 12690 12690 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 337855865 2780299264 54799 33554432000 1073741824 1073778376 140734196370944 140693670434216 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 420.69
Current children cumulated vsize (KiB) 2851656

[startup+462.301 s]
/proc/loadavg: 2.15 2.08 2.02 3/199 12712
/proc/meminfo: memFree=27991528/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=136520 CPUtime=384.54 cores=1,3,5,7
/proc/12584/stat : 12584 (python) S 12582 12584 11290 0 -1 4202496 18977 179132 0 0 1923 329 36130 72 20 0 1 0 337819420 139796480 6381 33554432000 4194304 4196484 140735184053312 140735184045072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 34130 6381 1180 1 0 5187 0
[pid=12690] ppid=12584 vsize=2715136 CPUtime=99.56 cores=1,3,5,7
/proc/12690/stat : 12690 (java) S 12584 12690 12690 0 -1 4202496 9736 0 1 0 9898 58 0 0 20 0 19 0 337855830 2780299264 169508 33554432000 1073741824 1073778376 140734196370944 140734196362080 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12690/statm: 678784 169508 2255 9 0 669477 0
[pid=12690/tid=12691] ppid=12584 vsize=2715136 CPUtime=97.92 cores=1,3,5,7
/proc/12690/task/12691/stat : 12691 (java) R 12584 12690 12690 0 -1 4202560 2914 0 1 0 9784 8 0 0 20 0 19 0 337855831 2780299264 169508 33554432000 1073741824 1073778376 140734196370944 140693714184720 140693549545213 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12690/tid=12692] ppid=12584 vsize=2715136 CPUtime=0.16 cores=1,3,5,7
/proc/12690/task/12692/stat : 12692 (java) S 12584 12690 12690 0 -1 4202560 128 0 0 0 5 11 0 0 20 0 19 0 337855832 2780299264 169508 33554432000 1073741824 1073778376 140734196370944 140693698636584 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12690/tid=12693] ppid=12584 vsize=2715136 CPUtime=0.08 cores=1,3,5,7
/proc/12690/task/12693/stat : 12693 (java) S 12584 12690 12690 0 -1 4202560 69 0 0 0 2 6 0 0 20 0 19 0 337855833 2780299264 169508 33554432000 1073741824 1073778376 140734196370944 140693697583784 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12690/tid=12694] ppid=12584 vsize=2715136 CPUtime=0.09 cores=1,3,5,7
/proc/12690/task/12694/stat : 12694 (java) S 12584 12690 12690 0 -1 4202560 76 0 0 0 3 6 0 0 20 0 19 0 337855833 2780299264 169508 33554432000 1073741824 1073778376 140734196370944 140693696531496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12690/tid=12695] ppid=12584 vsize=2715136 CPUtime=0.09 cores=1,3,5,7
/proc/12690/task/12695/stat : 12695 (java) S 12584 12690 12690 0 -1 4202560 88 0 0 0 3 6 0 0 20 0 19 0 337855833 2780299264 169508 33554432000 1073741824 1073778376 140734196370944 140693695478696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12690/tid=12696] ppid=12584 vsize=2715136 CPUtime=0.09 cores=1,3,5,7
/proc/12690/task/12696/stat : 12696 (java) S 12584 12690 12690 0 -1 4202560 84 0 0 0 3 6 0 0 20 0 19 0 337855833 2780299264 169508 33554432000 1073741824 1073778376 140734196370944 140693694425384 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12690/tid=12697] ppid=12584 vsize=2715136 CPUtime=0.09 cores=1,3,5,7
/proc/12690/task/12697/stat : 12697 (java) S 12584 12690 12690 0 -1 4202560 81 0 0 0 3 6 0 0 20 0 19 0 337855833 2780299264 169508 33554432000 1073741824 1073778376 140734196370944 140693693372584 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12690/tid=12698] ppid=12584 vsize=2715136 CPUtime=0.06 cores=1,3,5,7
/proc/12690/task/12698/stat : 12698 (java) S 12584 12690 12690 0 -1 4202560 56 0 0 0 2 4 0 0 20 0 19 0 337855833 2780299264 169508 33554432000 1073741824 1073778376 140734196370944 140693692320296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12690/tid=12699] ppid=12584 vsize=2715136 CPUtime=0.05 cores=1,3,5,7
/proc/12690/task/12699/stat : 12699 (java) S 12584 12690 12690 0 -1 4202560 55 0 0 0 1 4 0 0 20 0 19 0 337855833 2780299264 169508 33554432000 1073741824 1073778376 140734196370944 140693691267496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12690/tid=12700] ppid=12584 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12690/task/12700/stat : 12700 (java) S 12584 12690 12690 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 337855834 2780299264 169508 33554432000 1073741824 1073778376 140734196370944 140693678856936 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12690/tid=12701] ppid=12584 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12690/task/12701/stat : 12701 (java) S 12584 12690 12690 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337855834 2780299264 169508 33554432000 1073741824 1073778376 140734196370944 140693677803000 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12690/tid=12702] ppid=12584 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12690/task/12702/stat : 12702 (java) S 12584 12690 12690 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337855834 2780299264 169508 33554432000 1073741824 1073778376 140734196370944 140693676750600 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12690/tid=12703] ppid=12584 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12690/task/12703/stat : 12703 (java) S 12584 12690 12690 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337855837 2780299264 169508 33554432000 1073741824 1073778376 140734196370944 140693675699088 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12690/tid=12704] ppid=12584 vsize=2715136 CPUtime=0.33 cores=1,3,5,7
/proc/12690/task/12704/stat : 12704 (java) S 12584 12690 12690 0 -1 4202560 2312 0 0 0 33 0 0 0 20 0 19 0 337855837 2780299264 169508 33554432000 1073741824 1073778376 140734196370944 140693674645688 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12690/tid=12705] ppid=12584 vsize=2715136 CPUtime=0.41 cores=1,3,5,7
/proc/12690/task/12705/stat : 12705 (java) S 12584 12690 12690 0 -1 4202560 2350 0 0 0 41 0 0 0 20 0 19 0 337855837 2780299264 169508 33554432000 1073741824 1073778376 140734196370944 140693673592888 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12690/tid=12706] ppid=12584 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12690/task/12706/stat : 12706 (java) S 12584 12690 12690 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337855837 2780299264 169508 33554432000 1073741824 1073778376 140734196370944 140693672540792 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12690/tid=12707] ppid=12584 vsize=2715136 CPUtime=0.02 cores=1,3,5,7
/proc/12690/task/12707/stat : 12707 (java) S 12584 12690 12690 0 -1 4202560 7 0 0 0 1 1 0 0 20 0 19 0 337855837 2780299264 169508 33554432000 1073741824 1073778376 140734196370944 140693671488200 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12690/tid=12708] ppid=12584 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12690/task/12708/stat : 12708 (java) S 12584 12690 12690 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 337855865 2780299264 169508 33554432000 1073741824 1073778376 140734196370944 140693670434216 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 484.1
Current children cumulated vsize (KiB) 2851656

[startup+522.3 s]
/proc/loadavg: 2.06 2.06 2.02 4/181 12718
/proc/meminfo: memFree=28367284/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=136520 CPUtime=488.48 cores=1,3,5,7
/proc/12584/stat : 12584 (python) S 12582 12584 11290 0 -1 4202496 20262 189797 0 1 2176 371 46157 144 20 0 1 0 337819420 139796480 6382 33554432000 4194304 4196484 140735184053312 140735184045072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 34130 6382 1180 1 0 5187 0
[pid=12715] ppid=12584 vsize=174012 CPUtime=58.61 cores=1,3,5,7
/proc/12715/stat : 12715 (wbo1.4b) R 12584 12715 12715 0 -1 4202496 43673 0 0 0 5843 18 0 0 20 0 1 0 337865786 178188288 43008 33554432000 134512640 135751879 4290039872 4290037328 134604797 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12715/statm: 43503 43008 144 303 0 43198 0
Current children cumulated CPU time (s) 547.09
Current children cumulated vsize (KiB) 310532

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

[startup+537.5 s]
/proc/loadavg: 2.04 2.06 2.01 3/181 12718
/proc/meminfo: memFree=28280824/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=136520 CPUtime=489.2 cores=1,3,5,7
/proc/12584/stat : 12584 (python) S 12582 12584 11290 0 -1 4202496 20269 189797 0 1 2239 380 46157 144 20 0 1 0 337819420 139796480 6382 33554432000 4194304 4196484 140735184053312 140735184045072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 34130 6382 1180 1 0 5187 0
[pid=12715] ppid=12584 vsize=219896 CPUtime=73.8 cores=1,3,5,7
/proc/12715/stat : 12715 (wbo1.4b) R 12584 12715 12715 0 -1 4202496 55152 0 0 0 7357 23 0 0 20 0 1 0 337865786 225173504 54483 33554432000 134512640 135751879 4290039872 4290037408 134607691 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12715/statm: 54974 54483 144 303 0 54669 0
Current children cumulated CPU time (s) 563
Current children cumulated vsize (KiB) 356416

[startup+550.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/181 12718
/proc/meminfo: memFree=28226000/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=136520 CPUtime=489.77 cores=1,3,5,7
/proc/12584/stat : 12584 (python) S 12582 12584 11290 0 -1 4202496 20274 189797 0 1 2290 386 46157 144 20 0 1 0 337819420 139796480 6382 33554432000 4194304 4196484 140735184053312 140735184045072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 34130 6382 1180 1 0 5187 0
[pid=12715] ppid=12584 vsize=250540 CPUtime=86.59 cores=1,3,5,7
/proc/12715/stat : 12715 (wbo1.4b) R 12584 12715 12715 0 -1 4202496 62795 0 0 0 8634 25 0 0 20 0 1 0 337865786 256552960 62126 33554432000 134512640 135751879 4290039872 4290037328 134604644 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12715/statm: 62635 62126 144 303 0 62330 0
Current children cumulated CPU time (s) 576.36
Current children cumulated vsize (KiB) 387060

[startup+556.7 s]
/proc/loadavg: 2.03 2.05 2.01 3/181 12718
/proc/meminfo: memFree=28206144/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=136520 CPUtime=490.07 cores=1,3,5,7
/proc/12584/stat : 12584 (python) S 12582 12584 11290 0 -1 4202496 20276 189797 0 1 2315 391 46157 144 20 0 1 0 337819420 139796480 6382 33554432000 4194304 4196484 140735184053312 140735184045072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 34130 6382 1180 1 0 5187 0
[pid=12715] ppid=12584 vsize=260328 CPUtime=93 cores=1,3,5,7
/proc/12715/stat : 12715 (wbo1.4b) R 12584 12715 12715 0 -1 4202496 65254 0 0 0 9273 27 0 0 20 0 1 0 337865786 266575872 64585 33554432000 134512640 135751879 4290039872 4290037888 134616543 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12715/statm: 65082 64585 144 303 0 64777 0
Current children cumulated CPU time (s) 583.07
Current children cumulated vsize (KiB) 396848

[startup+563.1 s]
/proc/loadavg: 2.03 2.05 2.01 3/181 12718
/proc/meminfo: memFree=28184816/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=136520 CPUtime=490.35 cores=1,3,5,7
/proc/12584/stat : 12584 (python) S 12582 12584 11290 0 -1 4202496 20279 189797 0 1 2339 395 46157 144 20 0 1 0 337819420 139796480 6382 33554432000 4194304 4196484 140735184053312 140735184045072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 34130 6382 1180 1 0 5187 0
[pid=12715] ppid=12584 vsize=273156 CPUtime=99.4 cores=1,3,5,7
/proc/12715/stat : 12715 (wbo1.4b) R 12584 12715 12715 0 -1 4202496 68464 0 0 0 9912 28 0 0 20 0 1 0 337865786 279711744 67795 33554432000 134512640 135751879 4290039872 4290037328 134604644 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12715/statm: 68289 67795 144 303 0 67984 0
Current children cumulated CPU time (s) 589.75
Current children cumulated vsize (KiB) 409676

[startup+564.7 s]
/proc/loadavg: 2.03 2.05 2.01 4/181 12718
/proc/meminfo: memFree=28181576/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=136520 CPUtime=591.05 cores=1,3,5,7
/proc/12584/stat : 12584 (python) S 12582 12584 11290 0 -1 4202496 21498 259606 0 1 2350 397 56183 175 20 0 1 0 337819420 139796480 6382 33554432000 4194304 4196484 140735184053312 140735184045072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 34130 6382 1180 1 0 5187 0
Current children cumulated CPU time (s) 591.05
Current children cumulated vsize (KiB) 136520

[startup+566.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/181 12721
/proc/meminfo: memFree=28447884/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=136520 CPUtime=591.14 cores=1,3,5,7
/proc/12584/stat : 12584 (python) S 12582 12584 11290 0 -1 4202496 21500 259606 0 1 2358 398 56183 175 20 0 1 0 337819420 139796480 6382 33554432000 4194304 4196484 140735184053312 140735184045072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 34130 6382 1180 1 0 5187 0
[pid=12721] ppid=12584 vsize=21340 CPUtime=2 cores=1,3,5,7
/proc/12721/stat : 12721 (bsolo_pb10) R 12584 12721 12721 0 -1 4202496 3388 0 0 0 200 0 0 0 20 0 1 0 337875848 21852160 2903 33554432000 134512640 137138936 4290540048 4290538468 136501724 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/12721/statm: 5335 2903 192 642 0 4691 0
Current children cumulated CPU time (s) 593.14
Current children cumulated vsize (KiB) 157860

[startup+567.1 s]
/proc/loadavg: 2.03 2.05 2.01 3/181 12721
/proc/meminfo: memFree=28441312/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=136520 CPUtime=591.17 cores=1,3,5,7
/proc/12584/stat : 12584 (python) R 12582 12584 11290 0 -1 4202496 21504 259606 0 1 2361 398 56183 175 20 0 1 0 337819420 139796480 6382 33554432000 4194304 4196484 140735184053312 140735184045072 215143539639 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 34130 6382 1180 1 0 5187 0
[pid=12721] ppid=12584 vsize=23568 CPUtime=2.8 cores=1,3,5,7
/proc/12721/stat : 12721 (bsolo_pb10) R 12584 12721 12721 0 -1 4202496 3948 0 0 0 280 0 0 0 20 0 1 0 337875848 24133632 3463 33554432000 134512640 137138936 4290540048 4290538472 134606982 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/12721/statm: 5892 3463 192 642 0 5248 0
Current children cumulated CPU time (s) 593.97
Current children cumulated vsize (KiB) 160088

[startup+567.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/181 12721
/proc/meminfo: memFree=28441312/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=136520 CPUtime=591.19 cores=1,3,5,7
/proc/12584/stat : 12584 (python) S 12582 12584 11290 0 -1 4202496 21504 259606 0 1 2362 399 56183 175 20 0 1 0 337819420 139796480 6382 33554432000 4194304 4196484 140735184053312 140735184045072 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 34130 6382 1180 1 0 5187 0
[pid=12721] ppid=12584 vsize=24152 CPUtime=3 cores=1,3,5,7
/proc/12721/stat : 12721 (bsolo_pb10) R 12584 12721 12721 0 -1 4202496 4065 0 0 0 300 0 0 0 20 0 1 0 337875848 24731648 3580 33554432000 134512640 137138936 4290540048 4290538800 134575829 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/12721/statm: 6038 3580 192 642 0 5394 0
Current children cumulated CPU time (s) 594.19
Current children cumulated vsize (KiB) 160672

[startup+567.4 s]
/proc/loadavg: 2.03 2.05 2.01 3/181 12721
/proc/meminfo: memFree=28441312/32873844 swapFree=7380/7380
[pid=12584] ppid=12582 vsize=136520 CPUtime=594.3 cores=1,3,5,7
/proc/12584/stat : 12584 (python) S 12582 12584 11290 0 -1 4202496 21601 263695 0 1 2368 400 56486 176 20 0 1 0 337819420 139796480 6382 33554432000 4194304 4196484 140735184053312 140735184043280 215146885150 0 0 16781312 2 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12584/statm: 34130 6382 1180 1 0 5187 0
Current children cumulated CPU time (s) 594.3
Current children cumulated vsize (KiB) 136520

Child status: 20
Real time (s): 567.443
CPU time (s): 594.366
CPU user time (s): 588.587
CPU system time (s): 5.77812
CPU usage (%): 104.745
Max. virtual memory (cumulated for all children) (KiB): 2851660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 588.588
system time used= 5.77812
maximum resident set size= 678032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291039
page faults= 1
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7133
involuntary context switches= 1113

runsolver used 1.21781 second user time and 3.36749 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 11:49:05
IDJOB=3733633
IDBENCH=2578
IDSOLVER=2323
FILE ID=node133/3733633-1338716945
RUNJOBID= node133-1338713154-11307
PBS_JOBID= 14636724
Free space on /tmp= 70464 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733633-1338716945/watcher-3733633-1338716945 -o /tmp/evaluation-result-3733633-1338716945/solver-3733633-1338716945 -C 1800 -W 1900 -M 15500  solver HOME/instance-3733633-1338716945.opb 1809487414 

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

MD5SUM BENCH= 0b4d976a66cd69333fd390f8a9139e21
RANDOM SEED=1809487414

node133.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.540
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	: 5333.08
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.540
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.92
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.540
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	: 5331.92
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.540
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.540
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.540
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	: 5331.90
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.540
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.540
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:       32873844 kB
MemFree:        28615044 kB
Buffers:          427348 kB
Cached:          2823240 kB
SwapCached:          676 kB
Active:          1578132 kB
Inactive:        1779960 kB
Active(anon):      98816 kB
Inactive(anon):    10220 kB
Active(file):    1479316 kB
Inactive(file):  1769740 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             20564 kB
Writeback:            16 kB
AnonPages:        113808 kB
Mapped:            14312 kB
Shmem:                 0 kB
Slab:             760604 kB
SReclaimable:     202080 kB
SUnreclaim:       558524 kB
KernelStack:        1472 kB
PageTables:         4496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     223892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70444 MiB
End job on node133 at 2012-06-03 11:58:34