Trace number 3733581

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 599.518 571.782

General information on the benchmark

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

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.11 2.10 2.03 2/179 12415
/proc/meminfo: memFree=28673784/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/12415/stat : 12415 (python) R 12413 12415 11290 0 -1 4202496 878 0 0 0 0 0 0 0 20 0 1 0 337762131 15749120 629 33554432000 4194304 5683644 140734490713840 140734490672296 215143497397 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 3845 629 333 364 0 287 0

[startup+0.0285141 s]
/proc/loadavg: 2.11 2.10 2.03 2/179 12415
/proc/meminfo: memFree=28673784/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=16592 CPUtime=0.01 cores=1,3,5,7
/proc/12415/stat : 12415 (python) R 12413 12415 11290 0 -1 4202496 1380 0 0 0 1 0 0 0 20 0 1 0 337762131 16990208 1042 33554432000 4194304 5683644 140734490713840 140734490699288 215143539639 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 4148 1042 423 364 0 590 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16592

[startup+0.100347 s]
/proc/loadavg: 2.11 2.10 2.03 2/179 12415
/proc/meminfo: memFree=28673784/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=54104 CPUtime=0.06 cores=1,3,5,7
/proc/12415/stat : 12415 (python) R 12413 12415 11290 0 -1 4202496 3791 0 0 0 5 1 0 0 20 0 1 0 337762131 55402496 2021 33554432000 4194304 4196484 140734504750480 140734504578184 215143498640 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 13526 2021 573 1 0 1381 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 54104

[startup+0.300316 s]
/proc/loadavg: 2.11 2.10 2.03 2/179 12415
/proc/meminfo: memFree=28673784/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=99040 CPUtime=0.21 cores=1,3,5,7
/proc/12415/stat : 12415 (python) R 12413 12415 11290 0 -1 4202496 5786 0 0 0 14 7 0 0 20 0 1 0 337762131 101416960 3620 33554432000 4194304 4196484 140734504750480 140734504693752 215143499136 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 24760 3621 1047 1 0 2562 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 99040

[startup+0.700207 s]
/proc/loadavg: 2.11 2.10 2.03 2/179 12415
/proc/meminfo: memFree=28673784/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=134480 CPUtime=0.48 cores=1,3,5,7
/proc/12415/stat : 12415 (python) R 12413 12415 11290 0 -1 4202496 11209 1014 0 0 38 10 0 0 20 0 1 0 337762131 137707520 6346 33554432000 4194304 4196484 140734504750480 140734504742240 215143539639 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 33620 6346 1170 1 0 5192 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 134480

[startup+1.50024 s]
/proc/loadavg: 2.11 2.10 2.03 3/181 12421
/proc/meminfo: memFree=28648944/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=134480 CPUtime=0.52 cores=1,3,5,7
/proc/12415/stat : 12415 (python) S 12413 12415 11290 0 -1 4202496 11211 1014 0 0 41 11 0 0 20 0 1 0 337762131 137707520 6346 33554432000 4194304 4196484 140734504750480 140734504742240 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 33620 6346 1170 1 0 5192 0
[pid=12421] ppid=12415 vsize=6524 CPUtime=0.83 cores=1,3,5,7
/proc/12421/stat : 12421 (clasp-1.3.3-x86) R 12415 12421 12421 0 -1 4202496 1694 0 0 0 83 0 0 0 20 0 1 0 337762197 6680576 1382 33554432000 134512640 136080129 4288435408 4288434400 134588768 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12421/statm: 1631 1382 175 383 0 1246 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 141004

[startup+3.10022 s]
/proc/loadavg: 2.11 2.10 2.03 3/181 12421
/proc/meminfo: memFree=28646340/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=134480 CPUtime=0.59 cores=1,3,5,7
/proc/12415/stat : 12415 (python) S 12413 12415 11290 0 -1 4202496 11217 1014 0 0 47 12 0 0 20 0 1 0 337762131 137707520 6346 33554432000 4194304 4196484 140734504750480 140734504742240 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 33620 6346 1170 1 0 5192 0
[pid=12421] ppid=12415 vsize=8608 CPUtime=2.43 cores=1,3,5,7
/proc/12421/stat : 12421 (clasp-1.3.3-x86) R 12415 12421 12421 0 -1 4202496 2214 0 0 0 243 0 0 0 20 0 1 0 337762197 8814592 1902 33554432000 134512640 136080129 4288435408 4288434352 134580585 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12421/statm: 2152 1902 175 383 0 1767 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 143088

[startup+6.30028 s]
/proc/loadavg: 2.10 2.10 2.03 3/181 12421
/proc/meminfo: memFree=28643620/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=134480 CPUtime=0.73 cores=1,3,5,7
/proc/12415/stat : 12415 (python) S 12413 12415 11290 0 -1 4202496 11226 1014 0 0 59 14 0 0 20 0 1 0 337762131 137707520 6346 33554432000 4194304 4196484 140734504750480 140734504742240 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 33620 6346 1170 1 0 5192 0
[pid=12421] ppid=12415 vsize=10288 CPUtime=5.63 cores=1,3,5,7
/proc/12421/stat : 12421 (clasp-1.3.3-x86) R 12415 12421 12421 0 -1 4202496 2649 0 0 0 563 0 0 0 20 0 1 0 337762197 10534912 2337 33554432000 134512640 136080129 4288435408 4288434496 134579526 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12421/statm: 2572 2337 175 383 0 2187 0
Current children cumulated CPU time (s) 6.36
Current children cumulated vsize (KiB) 144768

[startup+12.7003 s]
/proc/loadavg: 2.18 2.11 2.04 3/181 12427
/proc/meminfo: memFree=28660752/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=136540 CPUtime=11.58 cores=1,3,5,7
/proc/12415/stat : 12415 (python) S 12413 12415 11290 0 -1 4202496 12483 5122 0 0 88 18 1051 1 20 0 1 0 337762131 139816960 6368 33554432000 4194304 4196484 140734504750480 140734504742240 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 34135 6368 1180 1 0 5192 0
[pid=12424] ppid=12415 vsize=7436 CPUtime=1.48 cores=1,3,5,7
/proc/12424/stat : 12424 (clasp-1.3.3-x86) R 12415 12424 12424 0 -1 4202496 1922 0 0 0 148 0 0 0 20 0 1 0 337763252 7614464 1613 33554432000 134512640 136080129 4294852224 4294851168 134804888 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12424/statm: 1859 1613 175 383 0 1474 0
Current children cumulated CPU time (s) 13.06
Current children cumulated vsize (KiB) 143976

[startup+25.5003 s]
/proc/loadavg: 2.14 2.10 2.03 3/181 12430
/proc/meminfo: memFree=28651576/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=136540 CPUtime=12.17 cores=1,3,5,7
/proc/12415/stat : 12415 (python) S 12413 12415 11290 0 -1 4202496 12511 5122 0 0 138 27 1051 1 20 0 1 0 337762131 139816960 6368 33554432000 4194304 4196484 140734504750480 140734504742240 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 34135 6368 1180 1 0 5192 0
[pid=12424] ppid=12415 vsize=12628 CPUtime=14.28 cores=1,3,5,7
/proc/12424/stat : 12424 (clasp-1.3.3-x86) R 12415 12424 12424 0 -1 4202496 3212 0 0 0 1428 0 0 0 20 0 1 0 337763252 12931072 2903 33554432000 134512640 136080129 4294852224 4294851168 134805207 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12424/statm: 3157 2903 175 383 0 2772 0
Current children cumulated CPU time (s) 26.45
Current children cumulated vsize (KiB) 149168

[startup+51.1003 s]
/proc/loadavg: 2.09 2.09 2.03 3/181 12436
/proc/meminfo: memFree=28643384/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=136540 CPUtime=13.3 cores=1,3,5,7
/proc/12415/stat : 12415 (python) S 12413 12415 11290 0 -1 4202496 12541 5122 0 0 236 42 1051 1 20 0 1 0 337762131 139816960 6368 33554432000 4194304 4196484 140734504750480 140734504742240 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 34135 6368 1180 1 0 5192 0
[pid=12424] ppid=12415 vsize=16788 CPUtime=39.88 cores=1,3,5,7
/proc/12424/stat : 12424 (clasp-1.3.3-x86) R 12415 12424 12424 0 -1 4202496 4282 0 0 0 3987 1 0 0 20 0 1 0 337763252 17190912 3943 33554432000 134512640 136080129 4294852224 4294851216 134588569 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12424/statm: 4197 3943 175 383 0 3812 0
Current children cumulated CPU time (s) 53.18
Current children cumulated vsize (KiB) 153328

[startup+102.307 s]
/proc/loadavg: 2.04 2.08 2.03 3/181 12440
/proc/meminfo: memFree=28525540/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=136540 CPUtime=66.16 cores=1,3,5,7
/proc/12415/stat : 12415 (python) S 12413 12415 11290 0 -1 4202496 13730 10618 0 0 451 77 6084 4 20 0 1 0 337762131 139816960 6372 33554432000 4194304 4196484 140734504750480 140734504742240 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 34135 6372 1180 1 0 5192 0
[pid=12440] ppid=12415 vsize=131444 CPUtime=40.69 cores=1,3,5,7
/proc/12440/stat : 12440 (wbo1.4a) R 12415 12440 12440 0 -1 4202496 32728 0 0 0 4055 14 0 0 20 0 1 0 337768289 134598656 32384 33554432000 134512640 135751879 4289647776 4289646028 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12440/statm: 32861 32384 139 303 0 32556 0
Current children cumulated CPU time (s) 106.85
Current children cumulated vsize (KiB) 267984

[startup+162.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/181 12452
/proc/meminfo: memFree=28644312/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=136540 CPUtime=119.54 cores=1,3,5,7
/proc/12415/stat : 12415 (python) S 12413 12415 11290 0 -1 4202496 14980 52297 0 0 686 114 11130 24 20 0 1 0 337762131 139816960 6372 33554432000 4194304 4196484 140734504750480 140734504742240 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 34135 6372 1180 1 0 5192 0
[pid=12443] ppid=12415 vsize=17872 CPUtime=50.01 cores=1,3,5,7
/proc/12443/stat : 12443 (clasp-1.3.3-x86) R 12415 12443 12443 0 -1 4202496 4550 0 0 0 5000 1 0 0 20 0 1 0 337773359 18300928 4235 33554432000 134512640 136080129 4293023328 4293022416 134579936 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12443/statm: 4468 4235 175 383 0 4083 0
Current children cumulated CPU time (s) 169.55
Current children cumulated vsize (KiB) 154412

[startup+222.3 s]
/proc/loadavg: 2.07 2.08 2.03 4/181 12455
/proc/meminfo: memFree=28620128/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=136540 CPUtime=222.5 cores=1,3,5,7
/proc/12415/stat : 12415 (python) S 12413 12415 11290 0 -1 4202496 16239 58658 0 0 931 154 21139 26 20 0 1 0 337762131 139816960 6376 33554432000 4194304 4196484 140734504750480 140734504742240 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 34135 6376 1180 1 0 5192 0
[pid=12455] ppid=12415 vsize=36840 CPUtime=9.87 cores=1,3,5,7
/proc/12455/stat : 12455 (wbo1.4a) R 12415 12455 12455 0 -1 4202496 9104 0 0 0 983 4 0 0 20 0 1 0 337783373 37724160 8773 33554432000 134512640 135751879 4290328848 4290327100 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12455/statm: 9210 8773 139 303 0 8905 0
Current children cumulated CPU time (s) 232.37
Current children cumulated vsize (KiB) 173380

[startup+282.3 s]
/proc/loadavg: 2.07 2.07 2.02 3/181 12502
/proc/meminfo: memFree=28432392/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=136540 CPUtime=225.23 cores=1,3,5,7
/proc/12415/stat : 12415 (python) S 12413 12415 11290 0 -1 4202496 16279 58658 0 0 1163 195 21139 26 20 0 1 0 337762131 139816960 6376 33554432000 4194304 4196484 140734504750480 140734504742240 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 34135 6376 1180 1 0 5192 0
[pid=12455] ppid=12415 vsize=232500 CPUtime=69.84 cores=1,3,5,7
/proc/12455/stat : 12455 (wbo1.4a) R 12415 12455 12455 0 -1 4202496 57994 0 0 0 6960 24 0 0 20 0 1 0 337783373 238080000 57671 33554432000 134512640 135751879 4290328848 4290327020 134517428 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12455/statm: 58125 57671 139 303 0 57820 0
Current children cumulated CPU time (s) 295.07
Current children cumulated vsize (KiB) 369040

[startup+342.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/181 12508
/proc/meminfo: memFree=28458500/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=136540 CPUtime=328.49 cores=1,3,5,7
/proc/12415/stat : 12415 (python) S 12413 12415 11290 0 -1 4202496 17514 141797 0 0 1417 231 31139 62 20 0 1 0 337762131 139816960 6378 33554432000 4194304 4196484 140734504750480 140734504742240 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 34135 6378 1180 1 0 5192 0
[pid=12508] ppid=12415 vsize=83800 CPUtime=29.44 cores=1,3,5,7
/proc/12508/stat : 12508 (wbo1.4b) R 12415 12508 12508 0 -1 4202496 20989 0 0 0 2935 9 0 0 20 0 1 0 337793415 85811200 20510 33554432000 134512640 135751879 4286964240 4286962332 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12508/statm: 20950 20510 144 303 0 20645 0
Current children cumulated CPU time (s) 357.93
Current children cumulated vsize (KiB) 220340

[startup+402.301 s]
/proc/loadavg: 2.19 2.10 2.03 3/199 12533
/proc/meminfo: memFree=28483216/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=136540 CPUtime=381.93 cores=1,3,5,7

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

[pid=12515/tid=12529] ppid=12415 vsize=2715136 CPUtime=0.32 cores=1,3,5,7
/proc/12515/task/12529/stat : 12529 (java) S 12415 12515 12515 0 -1 4202560 2107 0 0 0 32 0 0 0 20 0 19 0 337798492 2780299264 47135 33554432000 1073741824 1073778376 140733232121344 140210157357112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12515/tid=12530] ppid=12415 vsize=2715136 CPUtime=0.32 cores=1,3,5,7
/proc/12515/task/12530/stat : 12530 (java) S 12415 12515 12515 0 -1 4202560 2827 0 0 0 32 0 0 0 20 0 19 0 337798492 2780299264 47135 33554432000 1073741824 1073778376 140733232121344 140210156304568 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12515/tid=12531] ppid=12415 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12515/task/12531/stat : 12531 (java) S 12415 12515 12515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337798492 2780299264 47135 33554432000 1073741824 1073778376 140733232121344 140210155252216 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12515/tid=12532] ppid=12415 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12515/task/12532/stat : 12532 (java) S 12415 12515 12515 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337798492 2780299264 47135 33554432000 1073741824 1073778376 140733232121344 140210154199880 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12515/tid=12533] ppid=12415 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12515/task/12533/stat : 12533 (java) S 12415 12515 12515 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 337798514 2780299264 47135 33554432000 1073741824 1073778376 140733232121344 140210153145640 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 421.34
Current children cumulated vsize (KiB) 2851676

[startup+462.301 s]
/proc/loadavg: 2.11 2.10 2.03 3/199 12536
/proc/meminfo: memFree=27939484/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=136540 CPUtime=384.61 cores=1,3,5,7
/proc/12415/stat : 12415 (python) S 12413 12415 11290 0 -1 4202496 18785 183619 0 0 1883 311 36186 81 20 0 1 0 337762131 139816960 6378 33554432000 4194304 4196484 140734504750480 140734504742240 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 34135 6378 1180 1 0 5192 0
[pid=12515] ppid=12415 vsize=2715136 CPUtime=100.02 cores=1,3,5,7
/proc/12515/stat : 12515 (java) S 12415 12515 12515 0 -1 4202496 10008 0 1 0 9944 58 0 0 20 0 19 0 337798485 2780299264 172083 33554432000 1073741824 1073778376 140733232121344 140733232112480 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12515/statm: 678784 172083 2256 9 0 669477 0
[pid=12515/tid=12516] ppid=12415 vsize=2715136 CPUtime=98.5 cores=1,3,5,7
/proc/12515/task/12516/stat : 12516 (java) R 12415 12515 12515 0 -1 4202560 2921 0 1 0 9842 8 0 0 20 0 19 0 337798486 2780299264 172083 33554432000 1073741824 1073778376 140733232121344 140210314497512 140210164257072 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12515/tid=12517] ppid=12415 vsize=2715136 CPUtime=0.05 cores=1,3,5,7
/proc/12515/task/12517/stat : 12517 (java) S 12415 12515 12515 0 -1 4202560 62 0 0 0 1 4 0 0 20 0 19 0 337798487 2780299264 172083 33554432000 1073741824 1073778376 140733232121344 140210298948264 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12515/tid=12518] ppid=12415 vsize=2715136 CPUtime=0.09 cores=1,3,5,7
/proc/12515/task/12518/stat : 12518 (java) S 12415 12515 12515 0 -1 4202560 79 0 0 0 3 6 0 0 20 0 19 0 337798487 2780299264 172083 33554432000 1073741824 1073778376 140733232121344 140210297895720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12515/tid=12519] ppid=12415 vsize=2715136 CPUtime=0.08 cores=1,3,5,7
/proc/12515/task/12519/stat : 12519 (java) S 12415 12515 12515 0 -1 4202560 75 0 0 0 2 6 0 0 20 0 19 0 337798487 2780299264 172083 33554432000 1073741824 1073778376 140733232121344 140210296843176 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12515/tid=12520] ppid=12415 vsize=2715136 CPUtime=0.16 cores=1,3,5,7
/proc/12515/task/12520/stat : 12520 (java) S 12415 12515 12515 0 -1 4202560 138 0 0 0 6 10 0 0 20 0 19 0 337798487 2780299264 172083 33554432000 1073741824 1073778376 140733232121344 140210295790632 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12515/tid=12521] ppid=12415 vsize=2715136 CPUtime=0.09 cores=1,3,5,7
/proc/12515/task/12521/stat : 12521 (java) S 12415 12515 12515 0 -1 4202560 84 0 0 0 2 7 0 0 20 0 19 0 337798487 2780299264 172083 33554432000 1073741824 1073778376 140733232121344 140210294737064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12515/tid=12522] ppid=12415 vsize=2715136 CPUtime=0.08 cores=1,3,5,7
/proc/12515/task/12522/stat : 12522 (java) S 12415 12515 12515 0 -1 4202560 74 0 0 0 2 6 0 0 20 0 19 0 337798487 2780299264 172083 33554432000 1073741824 1073778376 140733232121344 140210293684520 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12515/tid=12523] ppid=12415 vsize=2715136 CPUtime=0.05 cores=1,3,5,7
/proc/12515/task/12523/stat : 12523 (java) S 12415 12515 12515 0 -1 4202560 57 0 0 0 1 4 0 0 20 0 19 0 337798487 2780299264 172083 33554432000 1073741824 1073778376 140733232121344 140210292631976 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12515/tid=12524] ppid=12415 vsize=2715136 CPUtime=0.06 cores=1,3,5,7
/proc/12515/task/12524/stat : 12524 (java) S 12415 12515 12515 0 -1 4202560 59 0 0 0 2 4 0 0 20 0 19 0 337798487 2780299264 172083 33554432000 1073741824 1073778376 140733232121344 140210291579432 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12515/tid=12525] ppid=12415 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12515/task/12525/stat : 12525 (java) S 12415 12515 12515 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 337798488 2780299264 172083 33554432000 1073741824 1073778376 140733232121344 140210161568360 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12515/tid=12526] ppid=12415 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12515/task/12526/stat : 12526 (java) S 12415 12515 12515 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337798489 2780299264 172083 33554432000 1073741824 1073778376 140733232121344 140210160514680 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12515/tid=12527] ppid=12415 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12515/task/12527/stat : 12527 (java) S 12415 12515 12515 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337798489 2780299264 172083 33554432000 1073741824 1073778376 140733232121344 140210159462024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12515/tid=12528] ppid=12415 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12515/task/12528/stat : 12528 (java) S 12415 12515 12515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337798492 2780299264 172083 33554432000 1073741824 1073778376 140733232121344 140210158410768 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12515/tid=12529] ppid=12415 vsize=2715136 CPUtime=0.35 cores=1,3,5,7
/proc/12515/task/12529/stat : 12529 (java) S 12415 12515 12515 0 -1 4202560 2110 0 0 0 35 0 0 0 20 0 19 0 337798492 2780299264 172083 33554432000 1073741824 1073778376 140733232121344 140210157357112 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12515/tid=12530] ppid=12415 vsize=2715136 CPUtime=0.34 cores=1,3,5,7
/proc/12515/task/12530/stat : 12530 (java) S 12415 12515 12515 0 -1 4202560 2828 0 0 0 34 0 0 0 20 0 19 0 337798492 2780299264 172083 33554432000 1073741824 1073778376 140733232121344 140210156304568 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12515/tid=12531] ppid=12415 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12515/task/12531/stat : 12531 (java) S 12415 12515 12515 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337798492 2780299264 172083 33554432000 1073741824 1073778376 140733232121344 140210155252216 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12515/tid=12532] ppid=12415 vsize=2715136 CPUtime=0.03 cores=1,3,5,7
/proc/12515/task/12532/stat : 12532 (java) S 12415 12515 12515 0 -1 4202560 5 0 0 0 1 2 0 0 20 0 19 0 337798492 2780299264 172083 33554432000 1073741824 1073778376 140733232121344 140210154199880 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12515/tid=12533] ppid=12415 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12515/task/12533/stat : 12533 (java) S 12415 12515 12515 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 337798514 2780299264 172083 33554432000 1073741824 1073778376 140733232121344 140210153145640 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 484.63
Current children cumulated vsize (KiB) 2851676

[startup+522.3 s]
/proc/loadavg: 2.04 2.08 2.03 3/181 12539
/proc/meminfo: memFree=28258300/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=136540 CPUtime=488.34 cores=1,3,5,7
/proc/12415/stat : 12415 (python) S 12413 12415 11290 0 -1 4202496 20025 194559 0 1 2135 354 46193 152 20 0 1 0 337762131 139816960 6380 33554432000 4194304 4196484 140734504750480 140734504742240 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 34135 6380 1180 1 0 5192 0
[pid=12539] ppid=12415 vsize=197712 CPUtime=59.32 cores=1,3,5,7
/proc/12539/stat : 12539 (wbo1.4b) R 12415 12539 12539 0 -1 4202496 49457 0 0 0 5913 19 0 0 20 0 1 0 337808427 202457088 48977 33554432000 134512640 135751879 4290770256 4290767712 134605082 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12539/statm: 49428 48977 144 303 0 49123 0
Current children cumulated CPU time (s) 547.66
Current children cumulated vsize (KiB) 334252

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

[startup+537.5 s]
/proc/loadavg: 2.03 2.07 2.03 3/181 12539
/proc/meminfo: memFree=28149148/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=136540 CPUtime=489.02 cores=1,3,5,7
/proc/12415/stat : 12415 (python) S 12413 12415 11290 0 -1 4202496 20031 194559 0 1 2192 365 46193 152 20 0 1 0 337762131 139816960 6380 33554432000 4194304 4196484 140734504750480 140734504742240 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 34135 6380 1180 1 0 5192 0
[pid=12539] ppid=12415 vsize=247280 CPUtime=74.52 cores=1,3,5,7
/proc/12539/stat : 12539 (wbo1.4b) R 12415 12539 12539 0 -1 4202496 61851 0 0 0 7429 23 0 0 20 0 1 0 337808427 253214720 61371 33554432000 134512640 135751879 4290770256 4290768272 134616540 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12539/statm: 61820 61371 144 303 0 61515 0
Current children cumulated CPU time (s) 563.54
Current children cumulated vsize (KiB) 383820

[startup+550.3 s]
/proc/loadavg: 2.09 2.08 2.03 3/181 12542
/proc/meminfo: memFree=28374584/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=136540 CPUtime=489.61 cores=1,3,5,7
/proc/12415/stat : 12415 (python) S 12413 12415 11290 0 -1 4202496 20036 194559 0 1 2243 373 46193 152 20 0 1 0 337762131 139816960 6380 33554432000 4194304 4196484 140734504750480 140734504742240 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 34135 6380 1180 1 0 5192 0
[pid=12539] ppid=12415 vsize=282464 CPUtime=87.31 cores=1,3,5,7
/proc/12539/stat : 12539 (wbo1.4b) R 12415 12539 12539 0 -1 4202496 70631 0 0 0 8705 26 0 0 20 0 1 0 337808427 289243136 70151 33554432000 134512640 135751879 4290770256 4290768272 134616514 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12539/statm: 70616 70151 144 303 0 70311 0
Current children cumulated CPU time (s) 576.92
Current children cumulated vsize (KiB) 419004

[startup+563.1 s]
/proc/loadavg: 2.07 2.08 2.03 3/181 12542
/proc/meminfo: memFree=28292976/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=136540 CPUtime=490.19 cores=1,3,5,7
/proc/12415/stat : 12415 (python) S 12413 12415 11290 0 -1 4202496 20042 194559 0 1 2293 381 46193 152 20 0 1 0 337762131 139816960 6380 33554432000 4194304 4196484 140734504750480 140734504742240 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 34135 6380 1180 1 0 5192 0
[pid=12539] ppid=12415 vsize=327064 CPUtime=100.11 cores=1,3,5,7
/proc/12539/stat : 12539 (wbo1.4b) R 12415 12539 12539 0 -1 4202496 81783 0 0 0 9980 31 0 0 20 0 1 0 337808427 334913536 81300 33554432000 134512640 135751879 4290770256 4290768348 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12539/statm: 81766 81300 144 303 0 81461 0
Current children cumulated CPU time (s) 590.3
Current children cumulated vsize (KiB) 463604

[startup+566.3 s]
/proc/loadavg: 2.07 2.08 2.03 3/181 12545
/proc/meminfo: memFree=28594560/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=136540 CPUtime=591.3 cores=1,3,5,7
/proc/12415/stat : 12415 (python) R 12413 12415 11290 0 -1 4202496 21237 277840 0 1 2314 384 56245 187 20 0 1 0 337762131 139816960 6381 33554432000 4194304 4196484 140734504750480 140734504742240 215143539639 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 34135 6381 1180 1 0 5192 0
[pid=12545] ppid=12415 vsize=42244 CPUtime=2.43 cores=1,3,5,7
/proc/12545/stat : 12545 (bsolo_pb10) R 12415 12545 12545 0 -1 4202496 8511 0 0 0 241 2 0 0 20 0 1 0 337818517 43257856 8136 33554432000 134512640 137138936 4293667280 4293665856 136296975 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/12545/statm: 10561 8136 192 642 0 9917 0
Current children cumulated CPU time (s) 593.73
Current children cumulated vsize (KiB) 178784

[startup+569.5 s]
/proc/loadavg: 2.07 2.08 2.03 3/181 12545
/proc/meminfo: memFree=28555112/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=136540 CPUtime=591.46 cores=1,3,5,7
/proc/12415/stat : 12415 (python) S 12413 12415 11290 0 -1 4202496 21241 277840 0 1 2328 386 56245 187 20 0 1 0 337762131 139816960 6381 33554432000 4194304 4196484 140734504750480 140734504742240 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 34135 6381 1180 1 0 5192 0
[pid=12545] ppid=12415 vsize=67688 CPUtime=5.63 cores=1,3,5,7
/proc/12545/stat : 12545 (bsolo_pb10) R 12415 12545 12545 0 -1 4202496 14854 0 0 0 559 4 0 0 20 0 1 0 337818517 69312512 14479 33554432000 134512640 137138936 4293667280 4293666176 134542295 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/12545/statm: 16922 14479 192 642 0 16278 0
Current children cumulated CPU time (s) 597.09
Current children cumulated vsize (KiB) 204228

[startup+571.1 s]
/proc/loadavg: 2.06 2.08 2.03 3/181 12545
/proc/meminfo: memFree=28541224/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=136540 CPUtime=591.52 cores=1,3,5,7
/proc/12415/stat : 12415 (python) S 12413 12415 11290 0 -1 4202496 21244 277840 0 1 2333 387 56245 187 20 0 1 0 337762131 139816960 6381 33554432000 4194304 4196484 140734504750480 140734504742240 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 34135 6381 1180 1 0 5192 0
[pid=12545] ppid=12415 vsize=70888 CPUtime=7.23 cores=1,3,5,7
/proc/12545/stat : 12545 (bsolo_pb10) R 12415 12545 12545 0 -1 4202496 15656 0 0 0 719 4 0 0 20 0 1 0 337818517 72589312 15281 33554432000 134512640 137138936 4293667280 4293665816 136504045 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/12545/statm: 17722 15281 192 642 0 17078 0
Current children cumulated CPU time (s) 598.75
Current children cumulated vsize (KiB) 207428

[startup+571.5 s]
/proc/loadavg: 2.06 2.08 2.03 3/181 12545
/proc/meminfo: memFree=28541224/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=136540 CPUtime=591.54 cores=1,3,5,7
/proc/12415/stat : 12415 (python) S 12413 12415 11290 0 -1 4202496 21245 277840 0 1 2335 387 56245 187 20 0 1 0 337762131 139816960 6381 33554432000 4194304 4196484 140734504750480 140734504742240 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 34135 6381 1180 1 0 5192 0
[pid=12545] ppid=12415 vsize=71796 CPUtime=7.63 cores=1,3,5,7
/proc/12545/stat : 12545 (bsolo_pb10) R 12415 12545 12545 0 -1 4202496 15901 0 0 0 759 4 0 0 20 0 1 0 337818517 73519104 15526 33554432000 134512640 137138936 4293667280 4293666032 134575044 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/12545/statm: 17949 15526 192 642 0 17305 0
Current children cumulated CPU time (s) 599.17
Current children cumulated vsize (KiB) 208336

[startup+571.7 s]
/proc/loadavg: 2.06 2.08 2.03 3/181 12545
/proc/meminfo: memFree=28541224/32873844 swapFree=7380/7380
[pid=12415] ppid=12413 vsize=136540 CPUtime=591.61 cores=1,3,5,7
/proc/12415/stat : 12415 (python) R 12413 12415 11290 0 -1 4202496 21249 277840 0 1 2341 388 56245 187 20 0 1 0 337762131 139816960 6381 33554432000 4194304 4196484 140734504750480 140734504742240 215143539639 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/12415/statm: 34135 6381 1180 1 0 5192 0
[pid=12545] ppid=12415 vsize=0 CPUtime=7.8 cores=1,3,5,7
/proc/12545/stat : 12545 (bsolo_pb10) Z 12415 12545 12545 0 -1 4202508 15901 0 0 0 775 5 0 0 20 0 1 0 337818517 0 0 33554432000 0 0 0 0 0 0 0 16781312 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12545/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 599.41
Current children cumulated vsize (KiB) 136540

Child status: 20
Real time (s): 571.782
CPU time (s): 599.518
CPU user time (s): 593.686
CPU system time (s): 5.83211
CPU usage (%): 104.851
Max. virtual memory (cumulated for all children) (KiB): 2851680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 593.686
system time used= 5.83211
maximum resident set size= 688332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 320823
page faults= 1
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5075
involuntary context switches= 1018

runsolver used 1.36979 second user time and 3.24151 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 11:39:33
IDJOB=3733581
IDBENCH=2567
IDSOLVER=2323
FILE ID=node133/3733581-1338716373
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-75-70.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733581-1338716373/watcher-3733581-1338716373 -o /tmp/evaluation-result-3733581-1338716373/solver-3733581-1338716373 -C 1800 -W 1900 -M 15500  solver HOME/instance-3733581-1338716373.opb 1257737887 

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

MD5SUM BENCH= 51456bad41bf92f026526861ffdd231e
RANDOM SEED=1257737887

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:        28674140 kB
Buffers:          425528 kB
Cached:          2823292 kB
SwapCached:          676 kB
Active:          1518312 kB
Inactive:        1779852 kB
Active(anon):      40776 kB
Inactive(anon):    10220 kB
Active(file):    1477536 kB
Inactive(file):  1769632 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             21580 kB
Writeback:             0 kB
AnonPages:         55036 kB
Mapped:            14452 kB
Shmem:                 0 kB
Slab:             761172 kB
SReclaimable:     202060 kB
SUnreclaim:       559112 kB
KernelStack:        1496 kB
PageTables:         4336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     164760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:49:05