Trace number 3733763

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB10: borg-pb 10.05.30UNSAT 592.227 565.905

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-21-20.opb
MD5SUM2f4fbbd7ac7eea50904b3e0a14134afd
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.004999
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables420
Total number of constraints41
Number of constraints which are clauses21
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint21
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 22
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.14 2.08 2.01 3/177 905
/proc/meminfo: memFree=30565036/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=15016 CPUtime=0 cores=0,2,4,6
/proc/905/stat : 905 (python) D 903 905 31325 0 -1 4202496 648 0 0 0 0 0 0 0 20 0 1 0 337911959 15376384 429 33554432000 4194304 5683644 140733558413584 140733558400136 225444708021 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/905/statm: 3754 429 267 364 0 196 0

[startup+0.0539151 s]
/proc/loadavg: 2.14 2.08 2.01 3/177 905
/proc/meminfo: memFree=30565036/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=16472 CPUtime=0.01 cores=0,2,4,6
/proc/905/stat : 905 (python) R 903 905 31325 0 -1 4202496 1248 0 0 0 1 0 0 0 20 0 1 0 337911959 16867328 944 33554432000 4194304 5683644 140733558413584 140733558396216 5161872 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/905/statm: 4118 944 392 364 0 560 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16472

[startup+0.100247 s]
/proc/loadavg: 2.14 2.08 2.01 3/177 905
/proc/meminfo: memFree=30565036/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=17632 CPUtime=0.02 cores=0,2,4,6
/proc/905/stat : 905 (python) D 903 905 31325 0 -1 4202496 2216 0 0 0 1 1 0 0 20 0 1 0 337911959 18055168 723 33554432000 4194304 4196484 140736325684096 140736325610040 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/905/statm: 4408 723 354 1 0 343 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17632

[startup+0.300221 s]
/proc/loadavg: 2.14 2.08 2.01 3/177 905
/proc/meminfo: memFree=30565036/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=56784 CPUtime=0.07 cores=0,2,4,6
/proc/905/stat : 905 (python) D 903 905 31325 0 -1 4202496 4026 0 0 0 4 3 0 0 20 0 1 0 337911959 58146816 2198 33554432000 4194304 4196484 140736325684096 140736325515976 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/905/statm: 14196 2198 603 1 0 1534 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 56784

[startup+0.700175 s]
/proc/loadavg: 2.14 2.08 2.01 3/177 905
/proc/meminfo: memFree=30565036/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=103800 CPUtime=0.24 cores=0,2,4,6
/proc/905/stat : 905 (python) R 903 905 31325 0 -1 4202496 6863 1013 0 0 15 9 0 0 20 0 1 0 337911959 106291200 4265 33554432000 4194304 4196484 140736325684096 140736325650056 139681373595580 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/905/statm: 25950 4265 1052 1 0 3236 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 103800

[startup+1.50021 s]
/proc/loadavg: 2.14 2.08 2.01 2/178 910
/proc/meminfo: memFree=30545552/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=118120 CPUtime=0.44 cores=0,2,4,6
/proc/905/stat : 905 (python) D 903 905 31325 0 -1 4202496 9596 1013 0 0 27 17 0 0 20 0 1 0 337911959 120954880 5831 33554432000 4194304 4196484 140736325684096 140736325617704 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/905/statm: 29530 5831 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 118120

[startup+3.10027 s]
/proc/loadavg: 2.13 2.08 2.01 3/179 911
/proc/meminfo: memFree=30542072/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=134484 CPUtime=0.59 cores=0,2,4,6
/proc/905/stat : 905 (python) S 903 905 31325 0 -1 4202496 11224 1013 0 0 39 20 0 0 20 0 1 0 337911959 137711616 6346 33554432000 4194304 4196484 140736325684096 140736325675856 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/905/statm: 33621 6346 1170 1 0 5193 0
[pid=911] ppid=905 vsize=2200 CPUtime=1.36 cores=0,2,4,6
/proc/911/stat : 911 (clasp-1.3.3-x86) R 905 911 911 0 -1 4202496 614 0 0 0 136 0 0 0 20 0 1 0 337912132 2252800 310 33554432000 134512640 136080129 4289486352 4289485296 134804895 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/911/statm: 550 310 175 383 0 165 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 136684
heavy processes:

[startup+6.30026 s]
/proc/loadavg: 2.13 2.08 2.01 3/179 911
/proc/meminfo: memFree=30541328/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=134484 CPUtime=0.73 cores=0,2,4,6
/proc/905/stat : 905 (python) S 903 905 31325 0 -1 4202496 11240 1013 0 0 52 21 0 0 20 0 1 0 337911959 137711616 6346 33554432000 4194304 4196484 140736325684096 140736325675856 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/905/statm: 33621 6346 1170 1 0 5193 0
[pid=911] ppid=905 vsize=2460 CPUtime=4.56 cores=0,2,4,6
/proc/911/stat : 911 (clasp-1.3.3-x86) R 905 911 911 0 -1 4202496 674 0 0 0 456 0 0 0 20 0 1 0 337912132 2519040 370 33554432000 134512640 136080129 4289486352 4289485444 134607925 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/911/statm: 615 370 175 383 0 230 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 136944

[startup+12.7002 s]
/proc/loadavg: 2.11 2.07 2.01 3/179 911
/proc/meminfo: memFree=30539096/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=136544 CPUtime=11.59 cores=0,2,4,6
/proc/905/stat : 905 (python) S 903 905 31325 0 -1 4202496 12507 2667 0 0 81 25 1052 1 20 0 1 0 337911959 139821056 6367 33554432000 4194304 4196484 140736325684096 140736325675856 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/905/statm: 34136 6367 1180 1 0 5193 0
Current children cumulated CPU time (s) 11.59
Current children cumulated vsize (KiB) 136544

[startup+25.5003 s]
/proc/loadavg: 2.09 2.07 2.01 3/179 914
/proc/meminfo: memFree=30539100/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=136544 CPUtime=12.2 cores=0,2,4,6
/proc/905/stat : 905 (python) S 903 905 31325 0 -1 4202496 12531 2667 0 0 134 33 1052 1 20 0 1 0 337911959 139821056 6367 33554432000 4194304 4196484 140736325684096 140736325675856 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/905/statm: 34136 6367 1180 1 0 5193 0
[pid=914] ppid=905 vsize=2724 CPUtime=13.21 cores=0,2,4,6
/proc/914/stat : 914 (clasp-1.3.3-x86) R 905 914 914 0 -1 4202496 734 0 0 0 1321 0 0 0 20 0 1 0 337913186 2789376 424 33554432000 134512640 136080129 4288753680 4288752756 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/914/statm: 681 424 175 383 0 296 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 139268

[startup+51.1003 s]
/proc/loadavg: 2.12 2.08 2.01 3/179 914
/proc/meminfo: memFree=30537240/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=136544 CPUtime=13.37 cores=0,2,4,6
/proc/905/stat : 905 (python) S 903 905 31325 0 -1 4202496 12551 2667 0 0 235 49 1052 1 20 0 1 0 337911959 139821056 6367 33554432000 4194304 4196484 140736325684096 140736325675856 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/905/statm: 34136 6367 1180 1 0 5193 0
[pid=914] ppid=905 vsize=3336 CPUtime=38.81 cores=0,2,4,6
/proc/914/stat : 914 (clasp-1.3.3-x86) R 905 914 914 0 -1 4202496 907 0 0 0 3881 0 0 0 20 0 1 0 337913186 3416064 597 33554432000 134512640 136080129 4288753680 4288752816 134610268 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/914/statm: 834 597 175 383 0 449 0
Current children cumulated CPU time (s) 52.18
Current children cumulated vsize (KiB) 139880

[startup+102.306 s]
/proc/loadavg: 2.17 2.10 2.01 3/179 927
/proc/meminfo: memFree=30469532/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=136544 CPUtime=66.41 cores=0,2,4,6
/proc/905/stat : 905 (python) S 903 905 31325 0 -1 4202496 13725 4515 0 0 461 86 6093 1 20 0 1 0 337911959 139821056 6370 33554432000 4194304 4196484 140736325684096 140736325675856 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/905/statm: 34136 6370 1180 1 0 5193 0
[pid=917] ppid=905 vsize=81200 CPUtime=39.57 cores=0,2,4,6
/proc/917/stat : 917 (wbo1.4a) R 905 917 917 0 -1 4202496 20127 0 0 0 3939 18 0 0 20 0 1 0 337918230 83148800 19808 33554432000 134512640 135751879 4289073024 4289071276 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/917/statm: 20300 19808 139 303 0 19995 0
Current children cumulated CPU time (s) 105.98
Current children cumulated vsize (KiB) 217744

[startup+162.3 s]
/proc/loadavg: 2.11 2.09 2.01 3/179 930
/proc/meminfo: memFree=30537300/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=136544 CPUtime=119.75 cores=0,2,4,6
/proc/905/stat : 905 (python) S 903 905 31325 0 -1 4202496 14966 30128 0 0 707 121 11123 24 20 0 1 0 337911959 139821056 6372 33554432000 4194304 4196484 140736325684096 140736325675856 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/905/statm: 34136 6372 1180 1 0 5193 0
[pid=930] ppid=905 vsize=3472 CPUtime=49 cores=0,2,4,6
/proc/930/stat : 930 (clasp-1.3.3-x86) R 905 930 930 0 -1 4202496 927 0 0 0 4900 0 0 0 20 0 1 0 337923287 3555328 616 33554432000 134512640 136080129 4290054096 4290053088 134588964 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/930/statm: 868 616 175 383 0 483 0
Current children cumulated CPU time (s) 168.75
Current children cumulated vsize (KiB) 140016

[startup+222.3 s]
/proc/loadavg: 2.10 2.09 2.01 4/179 982
/proc/meminfo: memFree=30527092/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=136544 CPUtime=222.99 cores=0,2,4,6
/proc/905/stat : 905 (python) S 903 905 31325 0 -1 4202496 16211 32092 0 0 966 159 21149 25 20 0 1 0 337911959 139821056 6373 33554432000 4194304 4196484 140736325684096 140736325675856 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/905/statm: 34136 6373 1180 1 0 5193 0
[pid=982] ppid=905 vsize=25784 CPUtime=8.71 cores=0,2,4,6
/proc/982/stat : 982 (wbo1.4a) R 905 982 982 0 -1 4202496 6332 0 0 0 866 5 0 0 20 0 1 0 337933317 26402816 6015 33554432000 134512640 135751879 4289996400 4289994652 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/982/statm: 6446 6015 139 303 0 6141 0
Current children cumulated CPU time (s) 231.7
Current children cumulated vsize (KiB) 162328

[startup+282.3 s]
/proc/loadavg: 2.13 2.10 2.02 4/179 985
/proc/meminfo: memFree=30305340/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=136544 CPUtime=225.83 cores=0,2,4,6
/proc/905/stat : 905 (python) S 903 905 31325 0 -1 4202496 16246 32092 0 0 1216 193 21149 25 20 0 1 0 337911959 139821056 6373 33554432000 4194304 4196484 140736325684096 140736325675856 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/905/statm: 34136 6373 1180 1 0 5193 0
[pid=982] ppid=905 vsize=130104 CPUtime=68.69 cores=0,2,4,6
/proc/982/stat : 982 (wbo1.4a) R 905 982 982 0 -1 4202496 32317 0 0 0 6837 32 0 0 20 0 1 0 337933317 133226496 32008 33554432000 134512640 135751879 4289996400 4289994652 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/982/statm: 32526 32008 139 303 0 32221 0
Current children cumulated CPU time (s) 294.52
Current children cumulated vsize (KiB) 266648

[startup+342.3 s]
/proc/loadavg: 2.14 2.11 2.02 3/180 994
/proc/meminfo: memFree=30489640/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=136544 CPUtime=329.63 cores=0,2,4,6
/proc/905/stat : 905 (python) S 903 905 31325 0 -1 4202496 17470 77258 0 0 1479 231 31185 68 20 0 1 0 337911959 139821056 6375 33554432000 4194304 4196484 140736325684096 140736325675856 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/905/statm: 34136 6375 1180 1 0 5193 0
[pid=991] ppid=905 vsize=61892 CPUtime=27.87 cores=0,2,4,6
/proc/991/stat : 991 (wbo1.4b) R 905 991 991 0 -1 4202496 15320 0 0 0 2776 11 0 0 20 0 1 0 337943400 63377408 15005 33554432000 134512640 135751879 4289572896 4289570988 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/991/statm: 15473 15005 144 303 0 15168 0
Current children cumulated CPU time (s) 357.5
Current children cumulated vsize (KiB) 198436

[startup+402.301 s]
/proc/loadavg: 2.05 2.08 2.02 3/197 1019
/proc/meminfo: memFree=30390396/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=136544 CPUtime=383.05 cores=0,2,4,6
/proc/905/stat : 905 (python) S 903 905 31325 0 -1 4202496 18692 102864 0 0 1730 270 36216 89 20 0 1 0 337911959 139821056 6377 33554432000 4194304 4196484 140736325684096 140736325675856 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/905/statm: 34136 6377 1180 1 0 5193 0
[pid=997] ppid=905 vsize=2715136 CPUtime=37.63 cores=0,2,4,6
/proc/997/stat : 997 (java) S 905 997 997 0 -1 4202496 7621 0 1 0 3758 5 0 0 20 0 19 0 337948455 2780299264 29737 33554432000 1073741824 1073778376 140736038664944 140736038656080 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/997/statm: 678784 29737 2239 9 0 669477 0

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

/proc/997/task/1009/stat : 1009 (java) S 905 997 997 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337948460 2780299264 29737 33554432000 1073741824 1073778376 140736038664944 139779023143816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=997/tid=1010] ppid=905 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/997/task/1010/stat : 1010 (java) S 905 997 997 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337948462 2780299264 29737 33554432000 1073741824 1073778376 140736038664944 139779022092560 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=997/tid=1011] ppid=905 vsize=2715136 CPUtime=0.12 cores=0,2,4,6
/proc/997/task/1011/stat : 1011 (java) S 905 997 997 0 -1 4202560 1171 0 0 0 12 0 0 0 20 0 19 0 337948462 2780299264 29737 33554432000 1073741824 1073778376 140736038664944 139779021040440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=997/tid=1012] ppid=905 vsize=2715136 CPUtime=0.21 cores=0,2,4,6
/proc/997/task/1012/stat : 1012 (java) S 905 997 997 0 -1 4202560 2118 0 0 0 21 0 0 0 20 0 19 0 337948462 2780299264 29737 33554432000 1073741824 1073778376 140736038664944 139779019987896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=997/tid=1013] ppid=905 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/997/task/1013/stat : 1013 (java) S 905 997 997 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337948462 2780299264 29737 33554432000 1073741824 1073778376 140736038664944 139779018935032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=997/tid=1014] ppid=905 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/997/task/1014/stat : 1014 (java) S 905 997 997 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 337948462 2780299264 29737 33554432000 1073741824 1073778376 140736038664944 139779017882696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=997/tid=1015] ppid=905 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/997/task/1015/stat : 1015 (java) S 905 997 997 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337948472 2780299264 29737 33554432000 1073741824 1073778376 140736038664944 139779016795176 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 420.68
Current children cumulated vsize (KiB) 2851680

[startup+462.301 s]
/proc/loadavg: 2.05 2.08 2.02 3/197 1019
/proc/meminfo: memFree=30185232/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=136544 CPUtime=385.87 cores=0,2,4,6
/proc/905/stat : 905 (python) S 903 905 31325 0 -1 4202496 18717 102864 0 0 1978 304 36216 89 20 0 1 0 337911959 139821056 6377 33554432000 4194304 4196484 140736325684096 140736325675856 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/905/statm: 34136 6377 1180 1 0 5193 0
[pid=997] ppid=905 vsize=2715136 CPUtime=97.61 cores=0,2,4,6
/proc/997/stat : 997 (java) S 905 997 997 0 -1 4202496 7659 0 1 0 9755 6 0 0 20 0 19 0 337948455 2780299264 47145 33554432000 1073741824 1073778376 140736038664944 140736038656080 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/997/statm: 678784 47145 2239 9 0 669477 0
[pid=997/tid=998] ppid=905 vsize=2715136 CPUtime=97.25 cores=0,2,4,6
/proc/997/task/998/stat : 998 (java) R 905 997 997 0 -1 4202560 2850 0 1 0 9720 5 0 0 20 0 19 0 337948456 2780299264 47145 33554432000 1073741824 1073778376 140736038664944 139779513704768 139779385803291 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=997/tid=999] ppid=905 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/997/task/999/stat : 999 (java) S 905 997 997 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337948458 2780299264 47145 33554432000 1073741824 1073778376 140736038664944 139779380746664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=997/tid=1000] ppid=905 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/997/task/1000/stat : 1000 (java) S 905 997 997 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337948458 2780299264 47145 33554432000 1073741824 1073778376 140736038664944 139779379694120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=997/tid=1001] ppid=905 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/997/task/1001/stat : 1001 (java) S 905 997 997 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337948458 2780299264 47145 33554432000 1073741824 1073778376 140736038664944 139779378641064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=997/tid=1002] ppid=905 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/997/task/1002/stat : 1002 (java) S 905 997 997 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337948458 2780299264 47145 33554432000 1073741824 1073778376 140736038664944 139779377588520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=997/tid=1003] ppid=905 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/997/task/1003/stat : 1003 (java) S 905 997 997 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337948458 2780299264 47145 33554432000 1073741824 1073778376 140736038664944 139779376536488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=997/tid=1004] ppid=905 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/997/task/1004/stat : 1004 (java) S 905 997 997 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337948458 2780299264 47145 33554432000 1073741824 1073778376 140736038664944 139779039554600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=997/tid=1005] ppid=905 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/997/task/1005/stat : 1005 (java) S 905 997 997 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337948458 2780299264 47145 33554432000 1073741824 1073778376 140736038664944 139779038501544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=997/tid=1006] ppid=905 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/997/task/1006/stat : 1006 (java) S 905 997 997 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337948458 2780299264 47145 33554432000 1073741824 1073778376 140736038664944 139779037449000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=997/tid=1007] ppid=905 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/997/task/1007/stat : 1007 (java) S 905 997 997 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337948459 2780299264 47145 33554432000 1073741824 1073778376 140736038664944 139779025250664 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=997/tid=1008] ppid=905 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/997/task/1008/stat : 1008 (java) S 905 997 997 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337948459 2780299264 47145 33554432000 1073741824 1073778376 140736038664944 139779024196984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=997/tid=1009] ppid=905 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/997/task/1009/stat : 1009 (java) S 905 997 997 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337948460 2780299264 47145 33554432000 1073741824 1073778376 140736038664944 139779023143816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=997/tid=1010] ppid=905 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/997/task/1010/stat : 1010 (java) S 905 997 997 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337948462 2780299264 47145 33554432000 1073741824 1073778376 140736038664944 139779022092560 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=997/tid=1011] ppid=905 vsize=2715136 CPUtime=0.12 cores=0,2,4,6
/proc/997/task/1011/stat : 1011 (java) S 905 997 997 0 -1 4202560 1171 0 0 0 12 0 0 0 20 0 19 0 337948462 2780299264 47145 33554432000 1073741824 1073778376 140736038664944 139779021040440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=997/tid=1012] ppid=905 vsize=2715136 CPUtime=0.22 cores=0,2,4,6
/proc/997/task/1012/stat : 1012 (java) S 905 997 997 0 -1 4202560 2120 0 0 0 22 0 0 0 20 0 19 0 337948462 2780299264 47145 33554432000 1073741824 1073778376 140736038664944 139779019987896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=997/tid=1013] ppid=905 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/997/task/1013/stat : 1013 (java) S 905 997 997 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337948462 2780299264 47145 33554432000 1073741824 1073778376 140736038664944 139779018935032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=997/tid=1014] ppid=905 vsize=2715136 CPUtime=0.02 cores=0,2,4,6
/proc/997/task/1014/stat : 1014 (java) S 905 997 997 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 19 0 337948462 2780299264 47145 33554432000 1073741824 1073778376 140736038664944 139779017882696 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=997/tid=1015] ppid=905 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/997/task/1015/stat : 1015 (java) S 905 997 997 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337948472 2780299264 47145 33554432000 1073741824 1073778376 140736038664944 139779016795176 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 483.48
Current children cumulated vsize (KiB) 2851680

[startup+522.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/179 1025
/proc/meminfo: memFree=30349588/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=136544 CPUtime=489.24 cores=0,2,4,6
/proc/905/stat : 905 (python) S 903 905 31325 0 -1 4202496 19944 111462 0 1 2240 343 46241 100 20 0 1 0 337911959 139821056 6377 33554432000 4194304 4196484 140736325684096 140736325675856 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/905/statm: 34136 6377 1180 1 0 5193 0
[pid=1022] ppid=905 vsize=111156 CPUtime=57.28 cores=0,2,4,6
/proc/1022/stat : 1022 (wbo1.4b) R 905 1022 1022 0 -1 4202496 27570 0 0 0 5702 26 0 0 20 0 1 0 337958457 113823744 27281 33554432000 134512640 135751879 4291392496 4291390588 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1022/statm: 27789 27281 144 303 0 27484 0
Current children cumulated CPU time (s) 546.52
Current children cumulated vsize (KiB) 247700

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

[startup+537.5 s]
/proc/loadavg: 2.04 2.07 2.01 4/197 1046
/proc/meminfo: memFree=30382128/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=136544 CPUtime=489.96 cores=0,2,4,6
/proc/905/stat : 905 (python) S 903 905 31325 0 -1 4202496 19956 111462 0 1 2305 350 46241 100 20 0 1 0 337911959 139821056 6377 33554432000 4194304 4196484 140736325684096 140736325675856 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/905/statm: 34136 6377 1180 1 0 5193 0
[pid=1022] ppid=905 vsize=135924 CPUtime=72.48 cores=0,2,4,6
/proc/1022/stat : 1022 (wbo1.4b) R 905 1022 1022 0 -1 4202496 33758 0 0 0 7216 32 0 0 20 0 1 0 337958457 139186176 33502 33554432000 134512640 135751879 4291392496 4291390588 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1022/statm: 33981 33502 144 303 0 33676 0
Current children cumulated CPU time (s) 562.44
Current children cumulated vsize (KiB) 272468

[startup+550.3 s]
/proc/loadavg: 2.04 2.07 2.01 3/197 1046
/proc/meminfo: memFree=30309332/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=136544 CPUtime=490.58 cores=0,2,4,6
/proc/905/stat : 905 (python) S 903 905 31325 0 -1 4202496 19961 111462 0 1 2361 356 46241 100 20 0 1 0 337911959 139821056 6377 33554432000 4194304 4196484 140736325684096 140736325675856 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/905/statm: 34136 6377 1180 1 0 5193 0
[pid=1022] ppid=905 vsize=152664 CPUtime=85.27 cores=0,2,4,6
/proc/1022/stat : 1022 (wbo1.4b) R 905 1022 1022 0 -1 4202496 37936 0 0 0 8490 37 0 0 20 0 1 0 337958457 156327936 37694 33554432000 134512640 135751879 4291392496 4291390588 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1022/statm: 38166 37694 144 303 0 37861 0
Current children cumulated CPU time (s) 575.85
Current children cumulated vsize (KiB) 289208

[startup+556.7 s]
/proc/loadavg: 2.10 2.08 2.02 3/197 1046
/proc/meminfo: memFree=30276620/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=136544 CPUtime=490.87 cores=0,2,4,6
/proc/905/stat : 905 (python) S 903 905 31325 0 -1 4202496 19964 111462 0 1 2386 360 46241 100 20 0 1 0 337911959 139821056 6377 33554432000 4194304 4196484 140736325684096 140736325675856 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/905/statm: 34136 6377 1180 1 0 5193 0
[pid=1022] ppid=905 vsize=162304 CPUtime=91.67 cores=0,2,4,6
/proc/1022/stat : 1022 (wbo1.4b) R 905 1022 1022 0 -1 4202496 40367 0 0 0 9127 40 0 0 20 0 1 0 337958457 166199296 40131 33554432000 134512640 135751879 4291392496 4291390588 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1022/statm: 40576 40131 144 303 0 40271 0
Current children cumulated CPU time (s) 582.54
Current children cumulated vsize (KiB) 298848

[startup+559.907 s]
/proc/loadavg: 2.10 2.08 2.02 3/197 1046
/proc/meminfo: memFree=30262040/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=136544 CPUtime=491.01 cores=0,2,4,6
/proc/905/stat : 905 (python) S 903 905 31325 0 -1 4202496 19965 111462 0 1 2399 361 46241 100 20 0 1 0 337911959 139821056 6377 33554432000 4194304 4196484 140736325684096 140736325675856 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/905/statm: 34136 6377 1180 1 0 5193 0
[pid=1022] ppid=905 vsize=166832 CPUtime=94.87 cores=0,2,4,6
/proc/1022/stat : 1022 (wbo1.4b) R 905 1022 1022 0 -1 4202496 41468 0 0 0 9446 41 0 0 20 0 1 0 337958457 170835968 41232 33554432000 134512640 135751879 4291392496 4291390588 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1022/statm: 41708 41232 144 303 0 41403 0
Current children cumulated CPU time (s) 585.88
Current children cumulated vsize (KiB) 303376

[startup+563.1 s]
/proc/loadavg: 2.10 2.08 2.02 4/197 1046
/proc/meminfo: memFree=30246532/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=136544 CPUtime=491.18 cores=0,2,4,6
/proc/905/stat : 905 (python) R 903 905 31325 0 -1 4202496 19968 111462 0 1 2414 363 46241 100 20 0 1 0 337911959 139821056 6378 33554432000 4194304 4196484 140736325684096 140736325675856 225444709264 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/905/statm: 34136 6378 1180 1 0 5193 0
[pid=1022] ppid=905 vsize=173992 CPUtime=98.06 cores=0,2,4,6
/proc/1022/stat : 1022 (wbo1.4b) R 905 1022 1022 0 -1 4202496 43280 0 0 0 9764 42 0 0 20 0 1 0 337958457 178167808 43044 33554432000 134512640 135751879 4291392496 4291390588 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1022/statm: 43498 43044 144 303 0 43193 0
Current children cumulated CPU time (s) 589.24
Current children cumulated vsize (KiB) 310536

[startup+564.7 s]
/proc/loadavg: 2.10 2.08 2.02 3/197 1046
/proc/meminfo: memFree=30242872/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=136544 CPUtime=491.27 cores=0,2,4,6
/proc/905/stat : 905 (python) S 903 905 31325 0 -1 4202496 19968 111462 0 1 2422 364 46241 100 20 0 1 0 337911959 139821056 6378 33554432000 4194304 4196484 140736325684096 140736325675856 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/905/statm: 34136 6378 1180 1 0 5193 0
[pid=1022] ppid=905 vsize=176400 CPUtime=99.67 cores=0,2,4,6
/proc/1022/stat : 1022 (wbo1.4b) R 905 1022 1022 0 -1 4202496 43849 0 0 0 9924 43 0 0 20 0 1 0 337958457 180633600 43613 33554432000 134512640 135751879 4291392496 4291390588 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1022/statm: 44100 43613 144 303 0 43795 0
Current children cumulated CPU time (s) 590.94
Current children cumulated vsize (KiB) 312944

[startup+565.5 s]
/proc/loadavg: 2.10 2.08 2.02 3/197 1046
/proc/meminfo: memFree=30238948/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=136544 CPUtime=491.29 cores=0,2,4,6
/proc/905/stat : 905 (python) S 903 905 31325 0 -1 4202496 19968 111462 0 1 2424 364 46241 100 20 0 1 0 337911959 139821056 6378 33554432000 4194304 4196484 140736325684096 140736325675856 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/905/statm: 34136 6378 1180 1 0 5193 0
[pid=1022] ppid=905 vsize=177600 CPUtime=100.46 cores=0,2,4,6
/proc/1022/stat : 1022 (wbo1.4b) R 905 1022 1022 0 -1 4202496 44165 0 0 0 10003 43 0 0 20 0 1 0 337958457 181862400 43935 33554432000 134512640 135751879 4291392496 4291390588 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1022/statm: 44400 43935 144 303 0 44095 0
Current children cumulated CPU time (s) 591.75
Current children cumulated vsize (KiB) 314144

[startup+565.9 s]
/proc/loadavg: 2.10 2.08 2.02 3/197 1046
/proc/meminfo: memFree=30238948/32873844 swapFree=7900/7900
[pid=905] ppid=903 vsize=136540 CPUtime=592.2 cores=0,2,4,6
/proc/905/stat : 905 (python) R 903 905 31325 0 -1 4202496 25850 158219 0 1 2437 367 56271 145 20 0 1 0 337911959 139816960 6382 33554432000 4194304 4196484 140736325684096 140736325676632 225444330784 0 0 16781312 0 0 0 0 17 0 0 0 0 0 0
/proc/905/statm: 34135 6382 1181 1 0 5192 0
Current children cumulated CPU time (s) 592.2
Current children cumulated vsize (KiB) 136540

Child status: 20
Real time (s): 565.905
CPU time (s): 592.227
CPU user time (s): 587.096
CPU system time (s): 5.13122
CPU usage (%): 104.651
Max. virtual memory (cumulated for all children) (KiB): 2851684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 587.096
system time used= 5.13122
maximum resident set size= 192676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184259
page faults= 1
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7040
involuntary context switches= 1049

runsolver used 0.91786 second user time and 2.43263 second system time

The end

Launcher Data 

Begin job on node137 at 2012-06-03 12:04:33
IDJOB=3733763
IDBENCH=2598
IDSOLVER=2323
FILE ID=node137/3733763-1338717873
RUNJOBID= node137-1338714575-31341
PBS_JOBID= 14636756
Free space on /tmp= 70304 MiB

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

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

MD5SUM BENCH= 2f4fbbd7ac7eea50904b3e0a14134afd
RANDOM SEED=1042009308

node137.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.600
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.20
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.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
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.600
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.600
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.600
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.600
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.600
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:        30565292 kB
Buffers:          220724 kB
Cached:          1224056 kB
SwapCached:         5796 kB
Active:           817020 kB
Inactive:         667368 kB
Active(anon):      34700 kB
Inactive(anon):     7172 kB
Active(file):     782320 kB
Inactive(file):   660196 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:             20612 kB
Writeback:             0 kB
AnonPages:         43032 kB
Mapped:            13200 kB
Shmem:                 0 kB
Slab:             685264 kB
SReclaimable:     126024 kB
SUnreclaim:       559240 kB
KernelStack:        1456 kB
PageTables:         4296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     158556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 70284 MiB
End job on node137 at 2012-06-03 12:14:00