Trace number 3733672

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 591.991 565.674

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb
MD5SUM583fb36c9cf948cc03f361dd87435bdd
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.018996
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables930
Total number of constraints61
Number of constraints which are clauses31
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint31
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 32
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.15 2.08 2.02 3/179 12672
/proc/meminfo: memFree=28534412/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/12672/stat : 12672 (python) D 12670 12672 11290 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 1 0 337845696 15642624 527 33554432000 4194304 5683644 140735553226512 140735553212424 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 3819 527 312 364 0 261 0

[startup+0.073808 s]
/proc/loadavg: 2.15 2.08 2.02 3/179 12672
/proc/meminfo: memFree=28534412/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=16596 CPUtime=0.01 cores=0,2,4,6
/proc/12672/stat : 12672 (python) D 12670 12672 11290 0 -1 4202496 1365 0 0 0 1 0 0 0 20 0 1 0 337845696 16994304 1031 33554432000 4194304 5683644 140735553226512 140735553194776 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 4149 1031 422 364 0 591 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16596

[startup+0.100321 s]
/proc/loadavg: 2.15 2.08 2.02 3/179 12672
/proc/meminfo: memFree=28534412/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=17628 CPUtime=0.02 cores=0,2,4,6
/proc/12672/stat : 12672 (python) D 12670 12672 11290 0 -1 4202496 2216 0 0 0 1 1 0 0 20 0 1 0 337845696 18051072 723 33554432000 4194304 4196484 140735222232928 140735222158872 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 2 0 0 0 0 0
/proc/12672/statm: 4407 723 354 1 0 342 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17628

[startup+0.300276 s]
/proc/loadavg: 2.15 2.08 2.02 3/179 12672
/proc/meminfo: memFree=28534412/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=54508 CPUtime=0.08 cores=0,2,4,6
/proc/12672/stat : 12672 (python) D 12670 12672 11290 0 -1 4202496 3955 0 0 0 4 4 0 0 20 0 1 0 337845696 55816192 2142 33554432000 4194304 4196484 140735222232928 140735222074520 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 2 0 0 0 0 0
/proc/12672/statm: 13627 2142 600 1 0 1482 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 54508

[startup+0.7003 s]
/proc/loadavg: 2.15 2.08 2.02 3/179 12672
/proc/meminfo: memFree=28534412/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=99040 CPUtime=0.24 cores=0,2,4,6
/proc/12672/stat : 12672 (python) D 12670 12672 11290 0 -1 4202496 5754 0 0 0 13 11 0 0 20 0 1 0 337845696 101416960 3602 33554432000 4194304 4196484 140735222232928 140735222175448 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 2 0 0 0 0 0
/proc/12672/statm: 24760 3602 1047 1 0 2562 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 99040

[startup+1.5003 s]
/proc/loadavg: 2.15 2.08 2.02 2/180 12677
/proc/meminfo: memFree=28512656/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=118116 CPUtime=0.53 cores=0,2,4,6
/proc/12672/stat : 12672 (python) D 12670 12672 11290 0 -1 4202496 9593 1012 0 0 29 24 0 0 20 0 1 0 337845696 120950784 5830 33554432000 4194304 4196484 140735222232928 140735222166536 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 2 0 0 0 0 0
/proc/12672/statm: 29529 5830 1083 1 0 4728 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 118116

[startup+3.10022 s]
/proc/loadavg: 2.15 2.08 2.02 3/181 12678
/proc/meminfo: memFree=28507448/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=134480 CPUtime=0.71 cores=0,2,4,6
/proc/12672/stat : 12672 (python) S 12670 12672 11290 0 -1 4202496 11214 1012 0 0 42 29 0 0 20 0 1 0 337845696 137707520 6346 33554432000 4194304 4196484 140735222232928 140735222224688 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/12672/statm: 33620 6346 1170 1 0 5192 0
[pid=12678] ppid=12672 vsize=2728 CPUtime=1.28 cores=0,2,4,6
/proc/12678/stat : 12678 (clasp-1.3.3-x86) R 12672 12678 12678 0 -1 4202496 756 0 0 0 128 0 0 0 20 0 1 0 337845877 2793472 444 33554432000 134512640 136080129 4293276720 4293275664 134579993 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/12678/statm: 682 444 175 383 0 297 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 137208
heavy processes:

[startup+6.30025 s]
/proc/loadavg: 2.13 2.08 2.02 3/181 12678
/proc/meminfo: memFree=28499272/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=134480 CPUtime=0.85 cores=0,2,4,6
/proc/12672/stat : 12672 (python) S 12670 12672 11290 0 -1 4202496 11225 1012 0 0 54 31 0 0 20 0 1 0 337845696 137707520 6346 33554432000 4194304 4196484 140735222232928 140735222224688 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 33620 6346 1170 1 0 5192 0
[pid=12678] ppid=12672 vsize=3248 CPUtime=4.48 cores=0,2,4,6
/proc/12678/stat : 12678 (clasp-1.3.3-x86) R 12672 12678 12678 0 -1 4202496 868 0 0 0 448 0 0 0 20 0 1 0 337845877 3325952 556 33554432000 134512640 136080129 4293276720 4293275664 134804941 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/12678/statm: 812 556 175 383 0 427 0
Current children cumulated CPU time (s) 5.33
Current children cumulated vsize (KiB) 137728

[startup+12.7002 s]
/proc/loadavg: 2.12 2.08 2.02 3/181 12678
/proc/meminfo: memFree=28485616/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=136540 CPUtime=11.69 cores=0,2,4,6
/proc/12672/stat : 12672 (python) S 12670 12672 11290 0 -1 4202496 12481 2924 0 0 82 36 1050 1 20 0 1 0 337845696 139816960 6368 33554432000 4194304 4196484 140735222232928 140735222224688 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 34135 6368 1180 1 0 5192 0
Current children cumulated CPU time (s) 11.69
Current children cumulated vsize (KiB) 136540

[startup+25.5003 s]
/proc/loadavg: 2.10 2.07 2.02 3/181 12681
/proc/meminfo: memFree=28443944/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=136540 CPUtime=12.29 cores=0,2,4,6
/proc/12672/stat : 12672 (python) S 12670 12672 11290 0 -1 4202496 12512 2924 0 0 136 42 1050 1 20 0 1 0 337845696 139816960 6368 33554432000 4194304 4196484 140735222232928 140735222224688 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 34135 6368 1180 1 0 5192 0
[pid=12681] ppid=12672 vsize=3728 CPUtime=13.14 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp-1.3.3-x86) R 12672 12681 12681 0 -1 4202496 993 0 0 0 1314 0 0 0 20 0 1 0 337846931 3817472 684 33554432000 134512640 136080129 4289552208 4289551200 134588772 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/12681/statm: 932 684 175 383 0 547 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 140268

[startup+51.1003 s]
/proc/loadavg: 2.06 2.06 2.02 3/181 12681
/proc/meminfo: memFree=28390964/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=136540 CPUtime=13.44 cores=0,2,4,6
/proc/12672/stat : 12672 (python) S 12670 12672 11290 0 -1 4202496 12540 2924 0 0 237 56 1050 1 20 0 1 0 337845696 139816960 6368 33554432000 4194304 4196484 140735222232928 140735222224688 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 34135 6368 1180 1 0 5192 0
[pid=12681] ppid=12672 vsize=4496 CPUtime=38.74 cores=0,2,4,6
/proc/12681/stat : 12681 (clasp-1.3.3-x86) R 12672 12681 12681 0 -1 4202496 1194 0 0 0 3874 0 0 0 20 0 1 0 337846931 4603904 885 33554432000 134512640 136080129 4289552208 4289551200 134588752 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/12681/statm: 1124 885 175 383 0 739 0
Current children cumulated CPU time (s) 52.18
Current children cumulated vsize (KiB) 141036

[startup+102.307 s]
/proc/loadavg: 2.07 2.07 2.02 4/199 12708
/proc/meminfo: memFree=28505244/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=136540 CPUtime=66.44 cores=0,2,4,6
/proc/12672/stat : 12672 (python) S 12670 12672 11290 0 -1 4202496 13725 5096 0 0 462 92 6088 2 20 0 1 0 337845696 139816960 6372 33554432000 4194304 4196484 140735222232928 140735222224688 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 34135 6372 1180 1 0 5192 0
[pid=12687] ppid=12672 vsize=113552 CPUtime=39.53 cores=0,2,4,6
/proc/12687/stat : 12687 (wbo1.4a) R 12672 12687 12687 0 -1 4202496 28240 0 0 0 3937 16 0 0 20 0 1 0 337851972 116277248 27922 33554432000 134512640 135751879 4288335840 4288334016 134616514 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/12687/statm: 28388 27922 139 303 0 28083 0
Current children cumulated CPU time (s) 105.97
Current children cumulated vsize (KiB) 250092

[startup+162.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/199 12712
/proc/meminfo: memFree=28376116/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=136540 CPUtime=119.53 cores=0,2,4,6
/proc/12672/stat : 12672 (python) S 12670 12672 11290 0 -1 4202496 14975 41982 0 0 706 125 11098 24 20 0 1 0 337845696 139816960 6372 33554432000 4194304 4196484 140735222232928 140735222224688 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 34135 6372 1180 1 0 5192 0
[pid=12711] ppid=12672 vsize=4684 CPUtime=49.19 cores=0,2,4,6
/proc/12711/stat : 12711 (clasp-1.3.3-x86) R 12672 12711 12711 0 -1 4202496 1258 0 0 0 4919 0 0 0 20 0 1 0 337857005 4796416 940 33554432000 134512640 136080129 4288748096 4288747172 134850025 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/12711/statm: 1171 940 175 383 0 786 0
Current children cumulated CPU time (s) 168.72
Current children cumulated vsize (KiB) 141224

[startup+222.3 s]
/proc/loadavg: 2.11 2.07 2.02 3/181 12718
/proc/meminfo: memFree=28576332/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=136540 CPUtime=222.68 cores=0,2,4,6
/proc/12672/stat : 12672 (python) S 12670 12672 11290 0 -1 4202496 16207 44451 0 0 964 163 21116 25 20 0 1 0 337845696 139816960 6376 33554432000 4194304 4196484 140735222232928 140735222224688 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 34135 6376 1180 1 0 5192 0
[pid=12718] ppid=12672 vsize=31384 CPUtime=8.97 cores=0,2,4,6
/proc/12718/stat : 12718 (wbo1.4a) R 12672 12718 12718 0 -1 4202496 7701 0 0 0 893 4 0 0 20 0 1 0 337867028 32137216 7384 33554432000 134512640 135751879 4290610752 4290609004 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/12718/statm: 7846 7384 139 303 0 7541 0
Current children cumulated CPU time (s) 231.65
Current children cumulated vsize (KiB) 167924

[startup+282.3 s]
/proc/loadavg: 2.04 2.05 2.01 4/181 12718
/proc/meminfo: memFree=28245964/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=136540 CPUtime=225.49 cores=0,2,4,6
/proc/12672/stat : 12672 (python) S 12670 12672 11290 0 -1 4202496 16244 44451 0 0 1208 200 21116 25 20 0 1 0 337845696 139816960 6376 33554432000 4194304 4196484 140735222232928 140735222224688 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 34135 6376 1180 1 0 5192 0
[pid=12718] ppid=12672 vsize=188356 CPUtime=68.96 cores=0,2,4,6
/proc/12718/stat : 12718 (wbo1.4a) R 12672 12718 12718 0 -1 4202496 46911 0 0 0 6870 26 0 0 20 0 1 0 337867028 192876544 46594 33554432000 134512640 135751879 4290610752 4290609004 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/12718/statm: 47089 46594 139 303 0 46784 0
Current children cumulated CPU time (s) 294.45
Current children cumulated vsize (KiB) 324896

[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/181 12772
/proc/meminfo: memFree=28554732/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=136540 CPUtime=329.09 cores=0,2,4,6
/proc/12672/stat : 12672 (python) S 12670 12672 11290 0 -1 4202496 17515 104977 0 0 1474 240 31133 62 20 0 1 0 337845696 139816960 6378 33554432000 4194304 4196484 140735222232928 140735222224688 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 34135 6378 1180 1 0 5192 0
[pid=12769] ppid=12672 vsize=92956 CPUtime=28.38 cores=0,2,4,6
/proc/12769/stat : 12769 (wbo1.4b) R 12672 12769 12769 0 -1 4202496 23097 0 0 0 2826 12 0 0 20 0 1 0 337877085 95186944 22772 33554432000 134512640 135751879 4290933744 4290931836 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/12769/statm: 23239 22772 144 303 0 22934 0
Current children cumulated CPU time (s) 357.47
Current children cumulated vsize (KiB) 229496

[startup+402.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/200 12799
/proc/meminfo: memFree=28430536/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=136540 CPUtime=382.3 cores=0,2,4,6
/proc/12672/stat : 12672 (python) S 12670 12672 11290 0 -1 4202496 18750 141884 0 0 1716 286 36144 84 20 0 1 0 337845696 139816960 6378 33554432000 4194304 4196484 140735222232928 140735222224688 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 34135 6378 1180 1 0 5192 0
[pid=12775] ppid=12672 vsize=2715136 CPUtime=38.38 cores=0,2,4,6
/proc/12775/stat : 12775 (java) S 12672 12775 12775 0 -1 4202496 7927 0 1 0 3834 4 0 0 20 0 19 0 337882121 2780299264 37861 33554432000 1073741824 1073778376 140733865476640 140733865467776 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/12775/statm: 678784 37861 2240 9 0 669477 0

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


[startup+462.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/200 12826
/proc/meminfo: memFree=28385884/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=136540 CPUtime=385.09 cores=0,2,4,6
/proc/12672/stat : 12672 (python) S 12670 12672 11290 0 -1 4202496 18774 141884 0 0 1956 325 36144 84 20 0 1 0 337845696 139816960 6378 33554432000 4194304 4196484 140735222232928 140735222224688 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 34135 6378 1180 1 0 5192 0
[pid=12775] ppid=12672 vsize=2715136 CPUtime=98.42 cores=0,2,4,6
/proc/12775/stat : 12775 (java) S 12672 12775 12775 0 -1 4202496 7984 0 1 0 9834 8 0 0 20 0 19 0 337882121 2780299264 65509 33554432000 1073741824 1073778376 140733865476640 140733865467776 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/12775/statm: 678784 65509 2240 9 0 669477 0
[pid=12775/tid=12776] ppid=12672 vsize=2715136 CPUtime=97.98 cores=0,2,4,6
/proc/12775/task/12776/stat : 12776 (java) R 12672 12775 12775 0 -1 4202560 2867 0 1 0 9792 6 0 0 20 0 19 0 337882122 2780299264 65509 33554432000 1073741824 1073778376 140733865476640 140099451900376 140099300282711 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12775/tid=12777] ppid=12672 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/12775/task/12777/stat : 12777 (java) S 12672 12775 12775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337882124 2780299264 65509 33554432000 1073741824 1073778376 140733865476640 140099436349608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12775/tid=12778] ppid=12672 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/12775/task/12778/stat : 12778 (java) S 12672 12775 12775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337882124 2780299264 65509 33554432000 1073741824 1073778376 140733865476640 140099435297064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12775/tid=12779] ppid=12672 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/12775/task/12779/stat : 12779 (java) S 12672 12775 12775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337882124 2780299264 65509 33554432000 1073741824 1073778376 140733865476640 140099434244520 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12775/tid=12780] ppid=12672 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/12775/task/12780/stat : 12780 (java) S 12672 12775 12775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337882124 2780299264 65509 33554432000 1073741824 1073778376 140733865476640 140099433191976 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12775/tid=12781] ppid=12672 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/12775/task/12781/stat : 12781 (java) S 12672 12775 12775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337882124 2780299264 65509 33554432000 1073741824 1073778376 140733865476640 140099432139432 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12775/tid=12782] ppid=12672 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/12775/task/12782/stat : 12782 (java) S 12672 12775 12775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337882124 2780299264 65509 33554432000 1073741824 1073778376 140733865476640 140099431086888 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12775/tid=12783] ppid=12672 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/12775/task/12783/stat : 12783 (java) S 12672 12775 12775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337882124 2780299264 65509 33554432000 1073741824 1073778376 140733865476640 140099430034344 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12775/tid=12784] ppid=12672 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/12775/task/12784/stat : 12784 (java) S 12672 12775 12775 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337882124 2780299264 65509 33554432000 1073741824 1073778376 140733865476640 140099428981800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12775/tid=12785] ppid=12672 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/12775/task/12785/stat : 12785 (java) S 12672 12775 12775 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337882125 2780299264 65509 33554432000 1073741824 1073778376 140733865476640 140099298777192 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12775/tid=12786] ppid=12672 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/12775/task/12786/stat : 12786 (java) S 12672 12775 12775 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337882126 2780299264 65509 33554432000 1073741824 1073778376 140733865476640 140099297723512 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12775/tid=12787] ppid=12672 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/12775/task/12787/stat : 12787 (java) S 12672 12775 12775 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337882126 2780299264 65509 33554432000 1073741824 1073778376 140733865476640 140099296670856 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12775/tid=12788] ppid=12672 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/12775/task/12788/stat : 12788 (java) S 12672 12775 12775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337882128 2780299264 65509 33554432000 1073741824 1073778376 140733865476640 140099295619600 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12775/tid=12789] ppid=12672 vsize=2715136 CPUtime=0.14 cores=0,2,4,6
/proc/12775/task/12789/stat : 12789 (java) S 12672 12775 12775 0 -1 4202560 1529 0 0 0 14 0 0 0 20 0 19 0 337882128 2780299264 65509 33554432000 1073741824 1073778376 140733865476640 140099294566968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12775/tid=12790] ppid=12672 vsize=2715136 CPUtime=0.21 cores=0,2,4,6
/proc/12775/task/12790/stat : 12790 (java) S 12672 12775 12775 0 -1 4202560 2070 0 0 0 21 0 0 0 20 0 19 0 337882128 2780299264 65509 33554432000 1073741824 1073778376 140733865476640 140099293514424 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12775/tid=12791] ppid=12672 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/12775/task/12791/stat : 12791 (java) S 12672 12775 12775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337882128 2780299264 65509 33554432000 1073741824 1073778376 140733865476640 140099292462072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12775/tid=12792] ppid=12672 vsize=2715136 CPUtime=0.03 cores=0,2,4,6
/proc/12775/task/12792/stat : 12792 (java) S 12672 12775 12775 0 -1 4202560 6 0 0 0 1 2 0 0 20 0 19 0 337882128 2780299264 65509 33554432000 1073741824 1073778376 140733865476640 140099291409736 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12775/tid=12793] ppid=12672 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/12775/task/12793/stat : 12793 (java) S 12672 12775 12775 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337882141 2780299264 65509 33554432000 1073741824 1073778376 140733865476640 140099290354472 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 483.51
Current children cumulated vsize (KiB) 2851676

[startup+522.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/181 12832
/proc/meminfo: memFree=28493304/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=136540 CPUtime=488.47 cores=0,2,4,6
/proc/12672/stat : 12672 (python) S 12670 12672 11290 0 -1 4202496 20023 150795 0 1 2218 364 46167 98 20 0 1 0 337845696 139816960 6380 33554432000 4194304 4196484 140735222232928 140735222224688 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 34135 6380 1180 1 0 5192 0
[pid=12829] ppid=12672 vsize=166020 CPUtime=58.03 cores=0,2,4,6
/proc/12829/stat : 12829 (wbo1.4b) R 12672 12829 12829 0 -1 4202496 41364 0 0 0 5779 24 0 0 20 0 1 0 337892120 170004480 41041 33554432000 134512640 135751879 4292853312 4292851404 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 41505 41041 144 303 0 41200 0
Current children cumulated CPU time (s) 546.5
Current children cumulated vsize (KiB) 302560

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

[startup+537.5 s]
/proc/loadavg: 2.10 2.06 2.01 3/181 12832
/proc/meminfo: memFree=28422120/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=136540 CPUtime=489.2 cores=0,2,4,6
/proc/12672/stat : 12672 (python) R 12670 12672 11290 0 -1 4202496 20029 150795 0 1 2282 373 46167 98 20 0 1 0 337845696 139816960 6380 33554432000 4194304 4196484 140735222232928 140735222224688 215143539639 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 34135 6380 1180 1 0 5192 0
[pid=12829] ppid=12672 vsize=194444 CPUtime=73.22 cores=0,2,4,6
/proc/12829/stat : 12829 (wbo1.4b) R 12672 12829 12829 0 -1 4202496 48437 0 0 0 7292 30 0 0 20 0 1 0 337892120 199110656 48113 33554432000 134512640 135751879 4292853312 4292851404 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 48611 48113 144 303 0 48306 0
Current children cumulated CPU time (s) 562.42
Current children cumulated vsize (KiB) 330984

[startup+550.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/181 12832
/proc/meminfo: memFree=28366924/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=136540 CPUtime=489.79 cores=0,2,4,6
/proc/12672/stat : 12672 (python) S 12670 12672 11290 0 -1 4202496 20034 150795 0 1 2335 379 46167 98 20 0 1 0 337845696 139816960 6380 33554432000 4194304 4196484 140735222232928 140735222224688 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 34135 6380 1180 1 0 5192 0
[pid=12829] ppid=12672 vsize=211056 CPUtime=86.01 cores=0,2,4,6
/proc/12829/stat : 12829 (wbo1.4b) R 12672 12829 12829 0 -1 4202496 52596 0 0 0 8569 32 0 0 20 0 1 0 337892120 216121344 52279 33554432000 134512640 135751879 4292853312 4292851404 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 52764 52279 144 303 0 52459 0
Current children cumulated CPU time (s) 575.8
Current children cumulated vsize (KiB) 347596

[startup+556.7 s]
/proc/loadavg: 2.07 2.06 2.01 3/181 12832
/proc/meminfo: memFree=28342108/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=136540 CPUtime=490.08 cores=0,2,4,6
/proc/12672/stat : 12672 (python) S 12670 12672 11290 0 -1 4202496 20036 150795 0 1 2361 382 46167 98 20 0 1 0 337845696 139816960 6380 33554432000 4194304 4196484 140735222232928 140735222224688 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 34135 6380 1180 1 0 5192 0
[pid=12829] ppid=12672 vsize=220312 CPUtime=92.41 cores=0,2,4,6
/proc/12829/stat : 12829 (wbo1.4b) R 12672 12829 12829 0 -1 4202496 54900 0 0 0 9207 34 0 0 20 0 1 0 337892120 225599488 54584 33554432000 134512640 135751879 4292853312 4292851404 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 55078 54584 144 303 0 54773 0
Current children cumulated CPU time (s) 582.49
Current children cumulated vsize (KiB) 356852

[startup+559.907 s]
/proc/loadavg: 2.06 2.06 2.01 4/181 12832
/proc/meminfo: memFree=28327724/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=136540 CPUtime=490.25 cores=0,2,4,6
/proc/12672/stat : 12672 (python) S 12670 12672 11290 0 -1 4202496 20038 150795 0 1 2375 385 46167 98 20 0 1 0 337845696 139816960 6380 33554432000 4194304 4196484 140735222232928 140735222224688 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 34135 6380 1180 1 0 5192 0
[pid=12829] ppid=12672 vsize=226528 CPUtime=95.62 cores=0,2,4,6
/proc/12829/stat : 12829 (wbo1.4b) R 12672 12829 12829 0 -1 4202496 56466 0 0 0 9527 35 0 0 20 0 1 0 337892120 231964672 56150 33554432000 134512640 135751879 4292853312 4292851216 134602977 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 56632 56150 144 303 0 56327 0
Current children cumulated CPU time (s) 585.87
Current children cumulated vsize (KiB) 363068

[startup+563.1 s]
/proc/loadavg: 2.06 2.06 2.01 3/181 12832
/proc/meminfo: memFree=28311588/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=136540 CPUtime=490.39 cores=0,2,4,6
/proc/12672/stat : 12672 (python) S 12670 12672 11290 0 -1 4202496 20039 150795 0 1 2388 386 46167 98 20 0 1 0 337845696 139816960 6380 33554432000 4194304 4196484 140735222232928 140735222224688 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 34135 6380 1180 1 0 5192 0
[pid=12829] ppid=12672 vsize=235784 CPUtime=98.81 cores=0,2,4,6
/proc/12829/stat : 12829 (wbo1.4b) R 12672 12829 12829 0 -1 4202496 58774 0 0 0 9845 36 0 0 20 0 1 0 337892120 241442816 58465 33554432000 134512640 135751879 4292853312 4292851404 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 58946 58465 144 303 0 58641 0
Current children cumulated CPU time (s) 589.2
Current children cumulated vsize (KiB) 372324

[startup+564.7 s]
/proc/loadavg: 2.06 2.06 2.01 3/181 12832
/proc/meminfo: memFree=28306876/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=136540 CPUtime=490.46 cores=0,2,4,6
/proc/12672/stat : 12672 (python) S 12670 12672 11290 0 -1 4202496 20040 150795 0 1 2394 387 46167 98 20 0 1 0 337845696 139816960 6380 33554432000 4194304 4196484 140735222232928 140735222224688 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 34135 6380 1180 1 0 5192 0
[pid=12829] ppid=12672 vsize=239492 CPUtime=100.41 cores=0,2,4,6
/proc/12829/stat : 12829 (wbo1.4b) R 12672 12829 12829 0 -1 4202496 59698 0 0 0 10004 37 0 0 20 0 1 0 337892120 245239808 59389 33554432000 134512640 135751879 4292853312 4292851404 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 59873 59389 144 303 0 59568 0
Current children cumulated CPU time (s) 590.87
Current children cumulated vsize (KiB) 376032

[startup+565.1 s]
/proc/loadavg: 2.06 2.06 2.01 3/181 12832
/proc/meminfo: memFree=28306876/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=136540 CPUtime=490.48 cores=0,2,4,6
/proc/12672/stat : 12672 (python) R 12670 12672 11290 0 -1 4202496 20040 150795 0 1 2396 387 46167 98 20 0 1 0 337845696 139816960 6380 33554432000 4194304 4196484 140735222232928 140735222224688 139671667734919 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 34135 6380 1180 1 0 5192 0
[pid=12829] ppid=12672 vsize=240416 CPUtime=100.81 cores=0,2,4,6
/proc/12829/stat : 12829 (wbo1.4b) R 12672 12829 12829 0 -1 4202496 59932 0 0 0 10044 37 0 0 20 0 1 0 337892120 246185984 59623 33554432000 134512640 135751879 4292853312 4292851404 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/12829/statm: 60104 59623 144 303 0 59799 0
Current children cumulated CPU time (s) 591.29
Current children cumulated vsize (KiB) 376956

[startup+565.5 s]
/proc/loadavg: 2.06 2.06 2.01 3/181 12835
/proc/meminfo: memFree=28539628/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=136540 CPUtime=591.44 cores=0,2,4,6
/proc/12672/stat : 12672 (python) S 12670 12672 11290 0 -1 4202496 21227 211647 0 1 2406 389 56212 137 20 0 1 0 337845696 139816960 6381 33554432000 4194304 4196484 140735222232928 140735222224688 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 34135 6381 1180 1 0 5192 0
[pid=12835] ppid=12672 vsize=13608 CPUtime=0.36 cores=0,2,4,6
/proc/12835/stat : 12835 (bsolo_pb10) R 12672 12835 12835 0 -1 4202496 1277 0 0 0 36 0 0 0 20 0 1 0 337902209 13934592 960 33554432000 134512640 137138936 4290690032 4290688536 136506715 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/12835/statm: 3402 960 192 642 0 2758 0
Current children cumulated CPU time (s) 591.8
Current children cumulated vsize (KiB) 150148

[startup+565.6 s]
/proc/loadavg: 2.06 2.06 2.01 3/181 12835
/proc/meminfo: memFree=28539628/32873844 swapFree=7380/7380
[pid=12672] ppid=12670 vsize=136540 CPUtime=591.48 cores=0,2,4,6
/proc/12672/stat : 12672 (python) R 12670 12672 11290 0 -1 4202496 21230 211647 0 1 2410 389 56212 137 20 0 1 0 337845696 139816960 6381 33554432000 4194304 4196484 140735222232928 140735222224688 215143539639 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/12672/statm: 34135 6381 1180 1 0 5192 0
[pid=12835] ppid=12672 vsize=0 CPUtime=0.42 cores=0,2,4,6
/proc/12835/stat : 12835 (bsolo_pb10) Z 12672 12835 12835 0 -1 4202508 1361 0 0 0 42 0 0 0 20 0 1 0 337902209 0 0 33554432000 0 0 0 0 0 0 0 16781312 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12835/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 591.9
Current children cumulated vsize (KiB) 136540

Child status: 20
Real time (s): 565.674
CPU time (s): 591.991
CPU user time (s): 586.704
CPU system time (s): 5.2872
CPU usage (%): 104.652
Max. virtual memory (cumulated for all children) (KiB): 2851680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 586.704
system time used= 5.2872
maximum resident set size= 264084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240066
page faults= 1
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7037
involuntary context switches= 1015

runsolver used 1.00485 second user time and 2.52262 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-03 11:53:28
IDJOB=3733672
IDBENCH=2583
IDSOLVER=2323
FILE ID=node133/3733672-1338717208
RUNJOBID= node133-1338713154-11306
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-31-30.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733672-1338717208/watcher-3733672-1338717208 -o /tmp/evaluation-result-3733672-1338717208/solver-3733672-1338717208 -C 1800 -W 1900 -M 15500  solver HOME/instance-3733672-1338717208.opb 342454618 

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

MD5SUM BENCH= 583fb36c9cf948cc03f361dd87435bdd
RANDOM SEED=342454618

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:        28534668 kB
Buffers:          428260 kB
Cached:          2823396 kB
SwapCached:          676 kB
Active:          1657948 kB
Inactive:        1779856 kB
Active(anon):     177740 kB
Inactive(anon):    10220 kB
Active(file):    1480208 kB
Inactive(file):  1769636 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             20252 kB
Writeback:             0 kB
AnonPages:        192136 kB
Mapped:            14412 kB
Shmem:                 0 kB
Slab:             760536 kB
SReclaimable:     202012 kB
SUnreclaim:       558524 kB
KernelStack:        1488 kB
PageTables:         4580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     302884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 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 12:02:55