Trace number 3733607

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 609.345 582.257

General information on the benchmark

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

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.08 2.06 2.01 3/177 16957
/proc/meminfo: memFree=27068776/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/16957/stat : 16957 (python) D 16955 16957 15301 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 337784294 15642624 526 33554432000 4194304 5683644 140733772803728 140733772789640 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/16957/statm: 3819 526 312 364 0 261 0

[startup+0.0432539 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 16957
/proc/meminfo: memFree=27068776/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=16100 CPUtime=0 cores=0,2,4,6
/proc/16957/stat : 16957 (python) R 16955 16957 15301 0 -1 4202496 1122 0 0 0 0 0 0 0 20 0 1 0 337784294 16486400 833 33554432000 4194304 5683644 140733772803728 140733772746456 251053032336 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/16957/statm: 4025 833 368 364 0 467 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16100

[startup+0.100268 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 16957
/proc/meminfo: memFree=27068776/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=17628 CPUtime=0.01 cores=0,2,4,6
/proc/16957/stat : 16957 (python) D 16955 16957 15301 0 -1 4202496 2232 0 0 0 1 0 0 0 20 0 1 0 337784294 18051072 737 33554432000 4194304 4196484 140735635922256 140735635876072 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/16957/statm: 4407 737 367 1 0 342 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17628

[startup+0.300243 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 16957
/proc/meminfo: memFree=27068776/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=56780 CPUtime=0.07 cores=0,2,4,6
/proc/16957/stat : 16957 (python) D 16955 16957 15301 0 -1 4202496 4027 0 0 0 5 2 0 0 20 0 1 0 337784294 58142720 2198 33554432000 4194304 4196484 140735635922256 140735635749912 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/16957/statm: 14195 2198 603 1 0 1533 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 56780

[startup+0.700213 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 16957
/proc/meminfo: memFree=27068776/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=100248 CPUtime=0.21 cores=0,2,4,6
/proc/16957/stat : 16957 (python) R 16955 16957 15301 0 -1 4202496 6037 0 0 0 15 6 0 0 20 0 1 0 337784294 102653952 3870 33554432000 4194304 4196484 140735635922256 140735635865528 251052658580 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/16957/statm: 25062 3870 1047 1 0 2864 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 100248

[startup+1.50025 s]
/proc/loadavg: 2.08 2.06 2.01 2/178 16962
/proc/meminfo: memFree=27049996/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=118116 CPUtime=0.41 cores=0,2,4,6
/proc/16957/stat : 16957 (python) R 16955 16957 15301 0 -1 4202496 9596 1009 0 0 29 12 0 0 20 0 1 0 337784294 120950784 5830 33554432000 4194304 4196484 140735635922256 140735635855864 140689300723330 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 29529 5830 1083 1 0 4728 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 118116

[startup+3.10026 s]
/proc/loadavg: 2.08 2.06 2.01 3/179 16963
/proc/meminfo: memFree=27046648/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=134452 CPUtime=0.57 cores=0,2,4,6
/proc/16957/stat : 16957 (python) S 16955 16957 15301 0 -1 4202496 11248 1009 0 0 42 15 0 0 20 0 1 0 337784294 137678848 6348 33554432000 4194304 4196484 140735635922256 140735635914016 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 33613 6348 1170 1 0 5185 0
[pid=16963] ppid=16957 vsize=3616 CPUtime=1.27 cores=0,2,4,6
/proc/16963/stat : 16963 (clasp-1.3.3-x86) R 16957 16963 16963 0 -1 4202496 966 0 0 0 127 0 0 0 20 0 1 0 337784477 3702784 651 33554432000 134512640 136080129 4287427328 4287426272 134579964 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16963/statm: 904 651 175 383 0 519 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 138068
heavy processes:

[startup+6.30026 s]
/proc/loadavg: 2.08 2.06 2.01 3/179 16963
/proc/meminfo: memFree=27044524/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=134452 CPUtime=0.71 cores=0,2,4,6
/proc/16957/stat : 16957 (python) S 16955 16957 15301 0 -1 4202496 11258 1009 0 0 54 17 0 0 20 0 1 0 337784294 137678848 6348 33554432000 4194304 4196484 140735635922256 140735635914016 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 33613 6348 1170 1 0 5185 0
[pid=16963] ppid=16957 vsize=4536 CPUtime=4.47 cores=0,2,4,6
/proc/16963/stat : 16963 (clasp-1.3.3-x86) R 16957 16963 16963 0 -1 4202496 1200 0 0 0 447 0 0 0 20 0 1 0 337784477 4644864 885 33554432000 134512640 136080129 4287427328 4287426272 134580629 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16963/statm: 1134 885 175 383 0 749 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 138988

[startup+12.7002 s]
/proc/loadavg: 2.07 2.06 2.01 3/179 16963
/proc/meminfo: memFree=27043440/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=136512 CPUtime=11.55 cores=0,2,4,6
/proc/16957/stat : 16957 (python) S 16955 16957 15301 0 -1 4202496 12500 3314 0 0 82 21 1051 1 20 0 1 0 337784294 139788288 6368 33554432000 4194304 4196484 140735635922256 140735635914016 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 34128 6368 1180 1 0 5185 0
Current children cumulated CPU time (s) 11.55
Current children cumulated vsize (KiB) 136512

[startup+25.5002 s]
/proc/loadavg: 2.06 2.06 2.01 3/179 16966
/proc/meminfo: memFree=27044188/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=136512 CPUtime=12.15 cores=0,2,4,6
/proc/16957/stat : 16957 (python) R 16955 16957 15301 0 -1 4202496 12527 3314 0 0 134 29 1051 1 20 0 1 0 337784294 139788288 6368 33554432000 4194304 4196484 140735635922256 140735635914016 140689300677987 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 34128 6368 1180 1 0 5185 0
[pid=16966] ppid=16957 vsize=5192 CPUtime=13.13 cores=0,2,4,6
/proc/16966/stat : 16966 (clasp-1.3.3-x86) R 16957 16966 16966 0 -1 4202496 1376 0 0 0 1313 0 0 0 20 0 1 0 337785531 5316608 1064 33554432000 134512640 136080129 4292835040 4292834032 134588745 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16966/statm: 1298 1064 175 383 0 913 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 141704

[startup+51.1003 s]
/proc/loadavg: 2.04 2.05 2.01 3/179 16966
/proc/meminfo: memFree=27041828/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=136512 CPUtime=13.28 cores=0,2,4,6
/proc/16957/stat : 16957 (python) S 16955 16957 15301 0 -1 4202496 12553 3314 0 0 232 44 1051 1 20 0 1 0 337784294 139788288 6368 33554432000 4194304 4196484 140735635922256 140735635914016 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 34128 6368 1180 1 0 5185 0
[pid=16966] ppid=16957 vsize=7004 CPUtime=38.72 cores=0,2,4,6
/proc/16966/stat : 16966 (clasp-1.3.3-x86) R 16957 16966 16966 0 -1 4202496 1820 0 0 0 3872 0 0 0 20 0 1 0 337785531 7172096 1506 33554432000 134512640 136080129 4292835040 4292834032 134588745 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16966/statm: 1751 1506 175 383 0 1366 0
Current children cumulated CPU time (s) 52
Current children cumulated vsize (KiB) 143516

[startup+102.307 s]
/proc/loadavg: 2.07 2.06 2.01 3/179 16972
/proc/meminfo: memFree=26905900/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=136512 CPUtime=66.27 cores=0,2,4,6
/proc/16957/stat : 16957 (python) S 16955 16957 15301 0 -1 4202496 13721 6131 0 0 457 81 6087 2 20 0 1 0 337784294 139788288 6373 33554432000 4194304 4196484 140735635922256 140735635914016 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 34128 6373 1180 1 0 5185 0
[pid=16969] ppid=16957 vsize=124100 CPUtime=39.53 cores=0,2,4,6
/proc/16969/stat : 16969 (wbo1.4a) R 16957 16969 16969 0 -1 4202496 30886 0 0 0 3936 17 0 0 20 0 1 0 337790570 127078400 30564 33554432000 134512640 135751879 4288238720 4288236972 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16969/statm: 31025 30564 139 303 0 30720 0
Current children cumulated CPU time (s) 105.8
Current children cumulated vsize (KiB) 260612

[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.00 4/179 16975
/proc/meminfo: memFree=26922252/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=136512 CPUtime=119.35 cores=0,2,4,6
/proc/16957/stat : 16957 (python) S 16955 16957 15301 0 -1 4202496 14968 44589 0 0 696 116 11100 23 20 0 1 0 337784294 139788288 6374 33554432000 4194304 4196484 140735635922256 140735635914016 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 34128 6374 1180 1 0 5185 0
[pid=16975] ppid=16957 vsize=7272 CPUtime=49.16 cores=0,2,4,6
/proc/16975/stat : 16975 (clasp-1.3.3-x86) R 16957 16975 16975 0 -1 4202496 1888 0 0 0 4916 0 0 0 20 0 1 0 337795607 7446528 1576 33554432000 134512640 136080129 4292056608 4292055304 134601653 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16975/statm: 1818 1576 175 383 0 1433 0
Current children cumulated CPU time (s) 168.51
Current children cumulated vsize (KiB) 143784

[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/178 16981
/proc/meminfo: memFree=26961136/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=136512 CPUtime=222.44 cores=0,2,4,6
/proc/16957/stat : 16957 (python) S 16955 16957 15301 0 -1 4202496 16186 47883 0 0 951 153 21116 24 20 0 1 0 337784294 139788288 6374 33554432000 4194304 4196484 140735635922256 140735635914016 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 34128 6374 1180 1 0 5185 0
[pid=16981] ppid=16957 vsize=32696 CPUtime=8.97 cores=0,2,4,6
/proc/16981/stat : 16981 (wbo1.4a) R 16957 16981 16981 0 -1 4202496 8030 0 0 0 893 4 0 0 20 0 1 0 337805626 33480704 7710 33554432000 134512640 135751879 4294408336 4294406588 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16981/statm: 8174 7710 139 303 0 7869 0
Current children cumulated CPU time (s) 231.41
Current children cumulated vsize (KiB) 169208

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 17003
/proc/meminfo: memFree=26745292/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=136512 CPUtime=225.28 cores=0,2,4,6
/proc/16957/stat : 16957 (python) S 16955 16957 15301 0 -1 4202496 16230 47883 0 0 1199 189 21116 24 20 0 1 0 337784294 139788288 6375 33554432000 4194304 4196484 140735635922256 140735635914016 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 34128 6375 1180 1 0 5185 0
[pid=16981] ppid=16957 vsize=200404 CPUtime=68.95 cores=0,2,4,6
/proc/16981/stat : 16981 (wbo1.4a) R 16957 16981 16981 0 -1 4202496 49938 0 0 0 6874 21 0 0 20 0 1 0 337805626 205213696 49626 33554432000 134512640 135751879 4294408336 4294406512 134616520 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16981/statm: 50101 49626 139 303 0 49796 0
Current children cumulated CPU time (s) 294.23
Current children cumulated vsize (KiB) 336916

[startup+342.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/197 17007
/proc/meminfo: memFree=26798500/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=136512 CPUtime=328.87 cores=0,2,4,6
/proc/16957/stat : 16957 (python) S 16955 16957 15301 0 -1 4202496 17501 119123 0 0 1463 229 31137 58 20 0 1 0 337784294 139788288 6376 33554432000 4194304 4196484 140735635922256 140735635914016 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 34128 6376 1180 1 0 5185 0
[pid=17007] ppid=16957 vsize=84536 CPUtime=28.38 cores=0,2,4,6
/proc/17007/stat : 17007 (wbo1.4b) R 16957 17007 17007 0 -1 4202496 21028 0 0 0 2827 11 0 0 20 0 1 0 337815685 86564864 20679 33554432000 134512640 135751879 4288239952 4288237488 134607834 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/17007/statm: 21134 20679 144 303 0 20829 0
Current children cumulated CPU time (s) 357.25
Current children cumulated vsize (KiB) 221048

[startup+402.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/198 17034
/proc/meminfo: memFree=26769744/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=136512 CPUtime=382.14 cores=0,2,4,6
/proc/16957/stat : 16957 (python) R 16955 16957 15301 0 -1 4202496 18682 157611 0 0 1716 267 36154 77 20 0 1 0 337784294 139788288 6379 33554432000 4194304 4196484 140735635922256 140735635914016 251053032336 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 34128 6379 1180 1 0 5185 0
[pid=17013] ppid=16957 vsize=2715136 CPUtime=38.41 cores=0,2,4,6
/proc/17013/stat : 17013 (java) S 16957 17013 17013 0 -1 4202496 8471 0 1 0 3836 5 0 0 20 0 19 0 337820723 2780299264 46028 33554432000 1073741824 1073778376 140734285214832 140734285205968 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17013/statm: 678784 46028 2241 9 0 669477 0

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


[startup+462.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/197 17085
/proc/meminfo: memFree=26720540/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=136512 CPUtime=384.95 cores=0,2,4,6
/proc/16957/stat : 16957 (python) S 16955 16957 15301 0 -1 4202496 18708 157611 0 0 1956 308 36154 77 20 0 1 0 337784294 139788288 6379 33554432000 4194304 4196484 140735635922256 140735635914016 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 34128 6379 1180 1 0 5185 0
[pid=17013] ppid=16957 vsize=2715136 CPUtime=98.41 cores=0,2,4,6
/proc/17013/stat : 17013 (java) S 16957 17013 17013 0 -1 4202496 8548 0 1 0 9833 8 0 0 20 0 19 0 337820723 2780299264 81869 33554432000 1073741824 1073778376 140734285214832 140734285205968 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17013/statm: 678784 81869 2241 9 0 669477 0
[pid=17013/tid=17014] ppid=16957 vsize=2715136 CPUtime=97.92 cores=0,2,4,6
/proc/17013/task/17014/stat : 17014 (java) R 16957 17013 17013 0 -1 4202560 2949 0 1 0 9784 8 0 0 20 0 19 0 337820724 2780299264 81869 33554432000 1073741824 1073778376 140734285214832 140176653807872 140176593976750 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17013/tid=17015] ppid=16957 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/17013/task/17015/stat : 17015 (java) S 16957 17013 17013 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337820725 2780299264 81869 33554432000 1073741824 1073778376 140734285214832 140176520743336 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17013/tid=17016] ppid=16957 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/17013/task/17016/stat : 17016 (java) S 16957 17013 17013 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337820725 2780299264 81869 33554432000 1073741824 1073778376 140734285214832 140176519690792 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17013/tid=17017] ppid=16957 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/17013/task/17017/stat : 17017 (java) S 16957 17013 17013 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337820725 2780299264 81869 33554432000 1073741824 1073778376 140734285214832 140176518637736 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17013/tid=17018] ppid=16957 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/17013/task/17018/stat : 17018 (java) S 16957 17013 17013 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337820725 2780299264 81869 33554432000 1073741824 1073778376 140734285214832 140176517585192 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17013/tid=17019] ppid=16957 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/17013/task/17019/stat : 17019 (java) S 16957 17013 17013 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337820725 2780299264 81869 33554432000 1073741824 1073778376 140734285214832 140176516533160 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17013/tid=17020] ppid=16957 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/17013/task/17020/stat : 17020 (java) S 16957 17013 17013 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337820725 2780299264 81869 33554432000 1073741824 1073778376 140734285214832 140176515480616 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17013/tid=17021] ppid=16957 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/17013/task/17021/stat : 17021 (java) S 16957 17013 17013 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337820725 2780299264 81869 33554432000 1073741824 1073778376 140734285214832 140176514427560 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17013/tid=17022] ppid=16957 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/17013/task/17022/stat : 17022 (java) S 16957 17013 17013 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337820725 2780299264 81869 33554432000 1073741824 1073778376 140734285214832 140176513375016 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17013/tid=17023] ppid=16957 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/17013/task/17023/stat : 17023 (java) S 16957 17013 17013 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 337820727 2780299264 81869 33554432000 1073741824 1073778376 140734285214832 140176500963688 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17013/tid=17024] ppid=16957 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/17013/task/17024/stat : 17024 (java) S 16957 17013 17013 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337820727 2780299264 81869 33554432000 1073741824 1073778376 140734285214832 140176499910008 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17013/tid=17025] ppid=16957 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/17013/task/17025/stat : 17025 (java) S 16957 17013 17013 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337820727 2780299264 81869 33554432000 1073741824 1073778376 140734285214832 140176498856840 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17013/tid=17026] ppid=16957 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/17013/task/17026/stat : 17026 (java) S 16957 17013 17013 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337820729 2780299264 81869 33554432000 1073741824 1073778376 140734285214832 140176497805584 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17013/tid=17027] ppid=16957 vsize=2715136 CPUtime=0.22 cores=0,2,4,6
/proc/17013/task/17027/stat : 17027 (java) S 16957 17013 17013 0 -1 4202560 1659 0 0 0 22 0 0 0 20 0 19 0 337820729 2780299264 81869 33554432000 1073741824 1073778376 140734285214832 140176496753464 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17013/tid=17028] ppid=16957 vsize=2715136 CPUtime=0.22 cores=0,2,4,6
/proc/17013/task/17028/stat : 17028 (java) S 16957 17013 17013 0 -1 4202560 2421 0 0 0 22 0 0 0 20 0 19 0 337820730 2780299264 81869 33554432000 1073741824 1073778376 140734285214832 140176495700920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17013/tid=17029] ppid=16957 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/17013/task/17029/stat : 17029 (java) S 16957 17013 17013 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337820730 2780299264 81869 33554432000 1073741824 1073778376 140734285214832 140176494648056 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17013/tid=17030] ppid=16957 vsize=2715136 CPUtime=0.02 cores=0,2,4,6
/proc/17013/task/17030/stat : 17030 (java) S 16957 17013 17013 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 337820730 2780299264 81869 33554432000 1073741824 1073778376 140734285214832 140176493595720 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17013/tid=17031] ppid=16957 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/17013/task/17031/stat : 17031 (java) S 16957 17013 17013 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337820744 2780299264 81869 33554432000 1073741824 1073778376 140734285214832 140176492540968 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 483.36
Current children cumulated vsize (KiB) 2851648

[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 17091
/proc/meminfo: memFree=26837680/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=136512 CPUtime=488.42 cores=0,2,4,6
/proc/16957/stat : 16957 (python) S 16955 16957 15301 0 -1 4202496 19913 167094 0 1 2216 351 46184 91 20 0 1 0 337784294 139788288 6381 33554432000 4194304 4196484 140735635922256 140735635914016 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 34128 6381 1180 1 0 5185 0
[pid=17088] ppid=16957 vsize=175268 CPUtime=58 cores=0,2,4,6
/proc/17088/stat : 17088 (wbo1.4b) R 16957 17088 17088 0 -1 4202496 43728 0 0 0 5779 21 0 0 20 0 1 0 337830723 179474432 43372 33554432000 134512640 135751879 4293934480 4293932572 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/17088/statm: 43817 43372 144 303 0 43512 0
Current children cumulated CPU time (s) 546.42
Current children cumulated vsize (KiB) 311780

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

[startup+537.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 17091
/proc/meminfo: memFree=26752088/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=136512 CPUtime=489.13 cores=0,2,4,6
/proc/16957/stat : 16957 (python) S 16955 16957 15301 0 -1 4202496 19919 167094 0 1 2278 360 46184 91 20 0 1 0 337784294 139788288 6381 33554432000 4194304 4196484 140735635922256 140735635914016 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 34128 6381 1180 1 0 5185 0
[pid=17088] ppid=16957 vsize=210588 CPUtime=73.19 cores=0,2,4,6
/proc/17088/stat : 17088 (wbo1.4b) R 16957 17088 17088 0 -1 4202496 52565 0 0 0 7294 25 0 0 20 0 1 0 337830723 215642112 52207 33554432000 134512640 135751879 4293934480 4293931936 134604784 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/17088/statm: 52647 52207 144 303 0 52342 0
Current children cumulated CPU time (s) 562.32
Current children cumulated vsize (KiB) 347100

[startup+563.1 s]
/proc/loadavg: 2.13 2.06 2.01 3/179 17094
/proc/meminfo: memFree=26764332/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=136512 CPUtime=490.37 cores=0,2,4,6
/proc/16957/stat : 16957 (python) S 16955 16957 15301 0 -1 4202496 19930 167094 0 1 2385 377 46184 91 20 0 1 0 337784294 139788288 6381 33554432000 4194304 4196484 140735635922256 140735635914016 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 34128 6381 1180 1 0 5185 0
[pid=17088] ppid=16957 vsize=276184 CPUtime=98.78 cores=0,2,4,6
/proc/17088/stat : 17088 (wbo1.4b) R 16957 17088 17088 0 -1 4202496 68930 0 0 0 9845 33 0 0 20 0 1 0 337830723 282812416 68571 33554432000 134512640 135751879 4293934480 4293932572 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/17088/statm: 69046 68571 144 303 0 68741 0
Current children cumulated CPU time (s) 589.15
Current children cumulated vsize (KiB) 412696

[startup+575.9 s]
/proc/loadavg: 2.11 2.05 2.01 3/179 17097
/proc/meminfo: memFree=26993520/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=136512 CPUtime=591.97 cores=0,2,4,6
/proc/16957/stat : 16957 (python) R 16955 16957 15301 0 -1 4202496 21138 238927 0 1 2448 388 56234 127 20 0 1 0 337784294 139788288 6382 33554432000 4194304 4196484 140735635922256 140735635914016 140689301313577 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 34128 6382 1180 1 0 5185 0
[pid=17097] ppid=16957 vsize=52080 CPUtime=10.71 cores=0,2,4,6
/proc/17097/stat : 17097 (bsolo_pb10) R 16957 17097 17097 0 -1 4202496 10897 0 0 0 1069 2 0 0 20 0 1 0 337840813 53329920 10574 33554432000 134512640 137138936 4291760608 4291759504 134542823 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/17097/statm: 13020 10574 192 642 0 12376 0
Current children cumulated CPU time (s) 602.68
Current children cumulated vsize (KiB) 188592

[startup+579.1 s]
/proc/loadavg: 2.10 2.05 2.01 3/179 17097
/proc/meminfo: memFree=26983972/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=136512 CPUtime=592.11 cores=0,2,4,6
/proc/16957/stat : 16957 (python) S 16955 16957 15301 0 -1 4202496 21144 238927 0 1 2460 390 56234 127 20 0 1 0 337784294 139788288 6382 33554432000 4194304 4196484 140735635922256 140735635914016 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 34128 6382 1180 1 0 5185 0
[pid=17097] ppid=16957 vsize=60808 CPUtime=13.9 cores=0,2,4,6
/proc/17097/stat : 17097 (bsolo_pb10) R 16957 17097 17097 0 -1 4202496 13084 0 0 0 1388 2 0 0 20 0 1 0 337840813 62267392 12761 33554432000 134512640 137138936 4291760608 4291759536 134542333 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/17097/statm: 15202 12761 192 642 0 14558 0
Current children cumulated CPU time (s) 606.01
Current children cumulated vsize (KiB) 197320

[startup+580.7 s]
/proc/loadavg: 2.10 2.05 2.01 4/179 17097
/proc/meminfo: memFree=26977400/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=136512 CPUtime=592.18 cores=0,2,4,6
/proc/16957/stat : 16957 (python) S 16955 16957 15301 0 -1 4202496 21146 238927 0 1 2466 391 56234 127 20 0 1 0 337784294 139788288 6382 33554432000 4194304 4196484 140735635922256 140735635914016 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 34128 6382 1180 1 0 5185 0
[pid=17097] ppid=16957 vsize=65692 CPUtime=15.51 cores=0,2,4,6
/proc/17097/stat : 17097 (bsolo_pb10) R 16957 17097 17097 0 -1 4202496 14305 0 0 0 1548 3 0 0 20 0 1 0 337840813 67268608 13982 33554432000 134512640 137138936 4291760608 4291759536 134542295 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/17097/statm: 16423 13982 192 642 0 15779 0
Current children cumulated CPU time (s) 607.69
Current children cumulated vsize (KiB) 202204

[startup+581.5 s]
/proc/loadavg: 2.10 2.05 2.01 4/179 17097
/proc/meminfo: memFree=26977400/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=136512 CPUtime=592.23 cores=0,2,4,6
/proc/16957/stat : 16957 (python) S 16955 16957 15301 0 -1 4202496 21148 238927 0 1 2470 392 56234 127 20 0 1 0 337784294 139788288 6382 33554432000 4194304 4196484 140735635922256 140735635914016 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 34128 6382 1180 1 0 5185 0
[pid=17097] ppid=16957 vsize=67796 CPUtime=16.31 cores=0,2,4,6
/proc/17097/stat : 17097 (bsolo_pb10) R 16957 17097 17097 0 -1 4202496 14832 0 0 0 1628 3 0 0 20 0 1 0 337840813 69423104 14509 33554432000 134512640 137138936 4291760608 4291759032 134606663 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/17097/statm: 16949 14509 192 642 0 16305 0
Current children cumulated CPU time (s) 608.54
Current children cumulated vsize (KiB) 204308

[startup+581.906 s]
/proc/loadavg: 2.10 2.05 2.01 3/179 17097
/proc/meminfo: memFree=26974052/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=136512 CPUtime=592.25 cores=0,2,4,6
/proc/16957/stat : 16957 (python) R 16955 16957 15301 0 -1 4202496 21149 238927 0 1 2472 392 56234 127 20 0 1 0 337784294 139788288 6382 33554432000 4194304 4196484 140735635922256 140735635914016 140689300657183 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 34128 6382 1180 1 0 5185 0
[pid=17097] ppid=16957 vsize=68792 CPUtime=16.71 cores=0,2,4,6
/proc/17097/stat : 17097 (bsolo_pb10) R 16957 17097 17097 0 -1 4202496 15096 0 0 0 1668 3 0 0 20 0 1 0 337840813 70443008 14773 33554432000 134512640 137138936 4291760608 4291759724 136570369 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/17097/statm: 17198 14773 192 642 0 16554 0
Current children cumulated CPU time (s) 608.96
Current children cumulated vsize (KiB) 205304

[startup+582.1 s]
/proc/loadavg: 2.10 2.05 2.01 3/179 17097
/proc/meminfo: memFree=26974052/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=136512 CPUtime=592.26 cores=0,2,4,6
/proc/16957/stat : 16957 (python) S 16955 16957 15301 0 -1 4202496 21149 238927 0 1 2473 392 56234 127 20 0 1 0 337784294 139788288 6382 33554432000 4194304 4196484 140735635922256 140735635914016 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 34128 6382 1180 1 0 5185 0
[pid=17097] ppid=16957 vsize=69492 CPUtime=16.9 cores=0,2,4,6
/proc/17097/stat : 17097 (bsolo_pb10) R 16957 17097 17097 0 -1 4202496 15253 0 0 0 1687 3 0 0 20 0 1 0 337840813 71159808 14930 33554432000 134512640 137138936 4291760608 4291759536 134542516 0 0 16781312 16384 0 0 0 17 4 0 0 0 0 0
/proc/17097/statm: 17373 14930 192 642 0 16729 0
Current children cumulated CPU time (s) 609.16
Current children cumulated vsize (KiB) 206004

[startup+582.2 s]
/proc/loadavg: 2.10 2.05 2.01 3/179 17097
/proc/meminfo: memFree=26974052/32873648 swapFree=7368/7368
[pid=16957] ppid=16955 vsize=136512 CPUtime=592.32 cores=0,2,4,6
/proc/16957/stat : 16957 (python) R 16955 16957 15301 0 -1 4202496 21153 238927 0 1 2478 393 56234 127 20 0 1 0 337784294 139788288 6382 33554432000 4194304 4196484 140735635922256 140735635914016 140689300654532 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/16957/statm: 34128 6382 1180 1 0 5185 0
[pid=17097] ppid=16957 vsize=0 CPUtime=16.94 cores=0,2,4,6
/proc/17097/stat : 17097 (bsolo_pb10) Z 16957 17097 17097 0 -1 4202508 15267 0 0 0 1691 3 0 0 20 0 1 0 337840813 0 0 33554432000 0 0 0 0 0 0 0 16781312 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17097/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 609.26
Current children cumulated vsize (KiB) 136512

Child status: 20
Real time (s): 582.257
CPU time (s): 609.345
CPU user time (s): 604.074
CPU system time (s): 5.2712
CPU usage (%): 104.652
Max. virtual memory (cumulated for all children) (KiB): 2851652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 604.074
system time used= 5.2712
maximum resident set size= 331572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281192
page faults= 1
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7129
involuntary context switches= 1186

runsolver used 1.26281 second user time and 3.13952 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-03 11:43:21
IDJOB=3733607
IDBENCH=2571
IDSOLVER=2323
FILE ID=node149/3733607-1338716601
RUNJOBID= node149-1338713283-15317
PBS_JOBID= 14636730
Free space on /tmp= 71036 MiB

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

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

MD5SUM BENCH= bfd9076f83014271363fd9848b4f1d95
RANDOM SEED=567371638

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27069156 kB
Buffers:          742696 kB
Cached:          4119776 kB
SwapCached:         2468 kB
Active:          2026500 kB
Inactive:        2878368 kB
Active(anon):      25676 kB
Inactive(anon):     9368 kB
Active(file):    2000824 kB
Inactive(file):  2869000 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:             20392 kB
Writeback:             0 kB
AnonPages:         38052 kB
Mapped:            18456 kB
Shmem:                96 kB
Slab:             760900 kB
SReclaimable:     203332 kB
SUnreclaim:       557568 kB
KernelStack:        1448 kB
PageTables:         4288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     148336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

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