Trace number 3733828

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.757 566.531

General information on the benchmark

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

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

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


[startup+0 s]
/proc/loadavg: 2.17 2.14 2.05 2/195 27388
/proc/meminfo: memFree=28679308/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/27388/stat : 27388 (python) R 27386 27388 22930 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 1 0 337966535 15642624 526 33554432000 4194304 5683644 140735911034944 140735911020856 233220948880 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/27388/statm: 3819 526 312 364 0 261 0

[startup+0.083569 s]
/proc/loadavg: 2.17 2.14 2.05 2/195 27388
/proc/meminfo: memFree=28679308/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=17288 CPUtime=0.02 cores=1,3,5,7
/proc/27388/stat : 27388 (python) D 27386 27388 22930 0 -1 4202496 2030 0 0 0 1 1 0 0 20 0 1 0 337966535 17702912 561 33554432000 4194304 4196484 140735227192256 140735227174072 233220947637 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 4322 561 332 1 0 257 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17288

[startup+0.229812 s]
/proc/loadavg: 2.17 2.14 2.05 2/195 27388
/proc/meminfo: memFree=28679308/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=41208 CPUtime=0.06 cores=1,3,5,7
/proc/27388/stat : 27388 (python) D 27386 27388 22930 0 -1 4202496 3208 0 0 0 3 3 0 0 20 0 1 0 337966535 42196992 1553 33554432000 4194304 4196484 140735227192256 140735227061720 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 10302 1553 483 1 0 1057 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 41208

[startup+0.300328 s]
/proc/loadavg: 2.17 2.14 2.05 2/195 27388
/proc/meminfo: memFree=28679308/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=54512 CPUtime=0.08 cores=1,3,5,7
/proc/27388/stat : 27388 (python) D 27386 27388 22930 0 -1 4202496 3935 0 0 0 4 4 0 0 20 0 1 0 337966535 55820288 2130 33554432000 4194304 4196484 140735227192256 140735227052008 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 13628 2130 600 1 0 1483 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 54512

[startup+0.700266 s]
/proc/loadavg: 2.17 2.14 2.05 2/195 27388
/proc/meminfo: memFree=28679308/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=99044 CPUtime=0.24 cores=1,3,5,7
/proc/27388/stat : 27388 (python) R 27386 27388 22930 0 -1 4202496 5754 0 0 0 14 10 0 0 20 0 1 0 337966535 101421056 3602 33554432000 4194304 4196484 140735227192256 140735227135192 233220947797 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 24761 3602 1047 1 0 2563 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 99044

[startup+1.50022 s]
/proc/loadavg: 2.32 2.17 2.06 2/196 27393
/proc/meminfo: memFree=28656240/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=118120 CPUtime=0.5 cores=1,3,5,7
/proc/27388/stat : 27388 (python) D 27386 27388 22930 0 -1 4202496 9592 1011 0 0 30 20 0 0 20 0 1 0 337966535 120954880 5830 33554432000 4194304 4196484 140735227192256 140735227125864 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 29530 5830 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 118120

[startup+3.10029 s]
/proc/loadavg: 2.32 2.17 2.06 3/197 27394
/proc/meminfo: memFree=28650960/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=134484 CPUtime=0.67 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 11225 1011 0 0 42 25 0 0 20 0 1 0 337966535 137711616 6348 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 33621 6348 1170 1 0 5193 0
[pid=27394] ppid=27388 vsize=3468 CPUtime=1.22 cores=1,3,5,7
/proc/27394/stat : 27394 (clasp-1.3.3-x86) R 27388 27394 27394 0 -1 4202496 920 0 0 0 122 0 0 0 20 0 1 0 337966722 3551232 609 33554432000 134512640 136080129 4288773280 4288772224 134580629 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27394/statm: 867 609 175 383 0 482 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 137952
heavy processes:

[startup+6.30027 s]
/proc/loadavg: 2.37 2.18 2.07 3/197 27394
/proc/meminfo: memFree=28637308/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=134484 CPUtime=0.81 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 11236 1011 0 0 54 27 0 0 20 0 1 0 337966535 137711616 6348 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 33621 6348 1170 1 0 5193 0
[pid=27394] ppid=27388 vsize=4128 CPUtime=4.42 cores=1,3,5,7
/proc/27394/stat : 27394 (clasp-1.3.3-x86) R 27388 27394 27394 0 -1 4202496 1092 0 0 0 442 0 0 0 20 0 1 0 337966722 4227072 781 33554432000 134512640 136080129 4288773280 4288772224 134579945 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27394/statm: 1032 781 175 383 0 647 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 138612

[startup+12.7002 s]
/proc/loadavg: 2.34 2.18 2.07 3/197 27394
/proc/meminfo: memFree=28605364/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=11.64 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 12497 3261 0 0 82 32 1049 1 20 0 1 0 337966535 139821056 6369 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6369 1180 1 0 5193 0
Current children cumulated CPU time (s) 11.64
Current children cumulated vsize (KiB) 136544

[startup+25.5003 s]
/proc/loadavg: 2.36 2.19 2.07 3/197 27397
/proc/meminfo: memFree=28552488/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=12.2 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 12525 3261 0 0 131 39 1049 1 20 0 1 0 337966535 139821056 6369 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6369 1180 1 0 5193 0
[pid=27397] ppid=27388 vsize=5128 CPUtime=13.11 cores=1,3,5,7
/proc/27397/stat : 27397 (clasp-1.3.3-x86) R 27388 27397 27397 0 -1 4202496 1357 0 0 0 1311 0 0 0 20 0 1 0 337967774 5251072 1046 33554432000 134512640 136080129 4289770688 4289769756 134588560 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27397/statm: 1282 1046 175 383 0 897 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 141672

[startup+51.1003 s]
/proc/loadavg: 2.33 2.20 2.08 3/197 27397
/proc/meminfo: memFree=28470632/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=13.33 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 12553 3261 0 0 230 53 1049 1 20 0 1 0 337966535 139821056 6369 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6369 1180 1 0 5193 0
[pid=27397] ppid=27388 vsize=6940 CPUtime=38.7 cores=1,3,5,7
/proc/27397/stat : 27397 (clasp-1.3.3-x86) R 27388 27397 27397 0 -1 4202496 1792 0 0 0 3870 0 0 0 20 0 1 0 337967774 7106560 1481 33554432000 134512640 136080129 4289770688 4289769680 134593897 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27397/statm: 1735 1481 175 383 0 1350 0
Current children cumulated CPU time (s) 52.03
Current children cumulated vsize (KiB) 143484

[startup+102.3 s]
/proc/loadavg: 2.25 2.20 2.09 3/179 27403
/proc/meminfo: memFree=28600156/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=66.17 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 13746 6000 0 0 447 88 6080 2 20 0 1 0 337966535 139821056 6373 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6373 1180 1 0 5193 0
[pid=27400] ppid=27388 vsize=118516 CPUtime=39.56 cores=1,3,5,7
/proc/27400/stat : 27400 (wbo1.4a) R 27388 27400 27400 0 -1 4202496 29473 0 0 0 3938 18 0 0 20 0 1 0 337972808 121360384 29148 33554432000 134512640 135751879 4290765792 4290764044 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27400/statm: 29629 29148 139 303 0 29324 0
Current children cumulated CPU time (s) 105.73
Current children cumulated vsize (KiB) 255060

[startup+162.3 s]
/proc/loadavg: 2.15 2.18 2.09 3/179 27407
/proc/meminfo: memFree=28519152/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=119.32 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 14979 45823 0 0 681 121 11104 26 20 0 1 0 337966535 139821056 6373 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6373 1180 1 0 5193 0
[pid=27406] ppid=27388 vsize=7064 CPUtime=49.05 cores=1,3,5,7
/proc/27406/stat : 27406 (clasp-1.3.3-x86) R 27388 27406 27406 0 -1 4202496 1819 0 0 0 4905 0 0 0 20 0 1 0 337977859 7233536 1505 33554432000 134512640 136080129 4292753936 4292753008 134850077 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27406/statm: 1766 1505 175 383 0 1381 0
Current children cumulated CPU time (s) 168.37
Current children cumulated vsize (KiB) 143608

[startup+222.306 s]
/proc/loadavg: 2.20 2.19 2.09 3/179 27464
/proc/meminfo: memFree=28775012/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=222.73 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 16220 49059 0 0 926 163 21147 37 20 0 1 0 337966535 139821056 6377 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6377 1180 1 0 5193 0
[pid=27464] ppid=27388 vsize=34224 CPUtime=8.48 cores=1,3,5,7
/proc/27464/stat : 27464 (wbo1.4a) R 27388 27464 27464 0 -1 4202496 8431 0 0 0 843 5 0 0 20 0 1 0 337987916 35045376 8110 33554432000 134512640 135751879 4292806320 4292804572 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27464/statm: 8556 8110 139 303 0 8251 0
Current children cumulated CPU time (s) 231.21
Current children cumulated vsize (KiB) 170768

[startup+282.3 s]
/proc/loadavg: 2.36 2.23 2.11 3/179 27470
/proc/meminfo: memFree=28570156/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=225.44 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 16270 49059 0 0 1161 199 21147 37 20 0 1 0 337966535 139821056 6377 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6377 1180 1 0 5193 0
[pid=27464] ppid=27388 vsize=207380 CPUtime=68.47 cores=1,3,5,7
/proc/27464/stat : 27464 (wbo1.4a) R 27388 27464 27464 0 -1 4202496 51696 0 0 0 6816 31 0 0 20 0 1 0 337987916 212357120 51373 33554432000 134512640 135751879 4292806320 4292804572 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27464/statm: 51845 51373 139 303 0 51540 0
Current children cumulated CPU time (s) 293.91
Current children cumulated vsize (KiB) 343924

[startup+342.3 s]
/proc/loadavg: 2.19 2.20 2.10 3/179 27626
/proc/meminfo: memFree=28711244/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=329.31 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 17509 122555 0 0 1414 238 31199 80 20 0 1 0 337966535 139821056 6378 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6378 1180 1 0 5193 0
[pid=27473] ppid=27388 vsize=75720 CPUtime=27.47 cores=1,3,5,7
/proc/27473/stat : 27473 (wbo1.4b) R 27388 27473 27473 0 -1 4202496 18826 0 0 0 2715 32 0 0 20 0 1 0 337998016 77537280 18480 33554432000 134512640 135751879 4292568912 4292567004 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27473/statm: 18930 18480 144 303 0 18625 0
Current children cumulated CPU time (s) 356.78
Current children cumulated vsize (KiB) 212264

[startup+402.301 s]
/proc/loadavg: 2.02 2.14 2.09 3/198 27656
/proc/meminfo: memFree=28606328/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=382.78 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 18767 162387 0 0 1649 279 36228 122 20 0 1 0 337966535 139821056 6379 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6379 1180 1 0 5193 0
[pid=27629] ppid=27388 vsize=2715136 CPUtime=37.18 cores=1,3,5,7
/proc/27629/stat : 27629 (java) S 27388 27629 27629 0 -1 4202496 8671 0 1 0 3711 7 0 0 20 0 19 0 338003089 2780299264 44699 33554432000 1073741824 1073778376 140734844165984 140734844157120 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27629/statm: 678784 44699 2240 9 0 669477 0

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

/proc/27629/task/27632/stat : 27632 (java) S 27388 27629 27629 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338003092 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220925000232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27629/tid=27633] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27633/stat : 27633 (java) S 27388 27629 27629 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338003092 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220923947176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27629/tid=27634] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27634/stat : 27634 (java) S 27388 27629 27629 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338003092 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220922894632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27629/tid=27635] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27635/stat : 27635 (java) S 27388 27629 27629 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338003092 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220921842600 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27629/tid=27636] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27636/stat : 27636 (java) S 27388 27629 27629 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338003092 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220920790056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27629/tid=27637] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27637/stat : 27637 (java) S 27388 27629 27629 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338003092 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220919737000 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27629/tid=27638] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27638/stat : 27638 (java) S 27388 27629 27629 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338003092 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220918684456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27629/tid=27639] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27639/stat : 27639 (java) S 27388 27629 27629 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338003093 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220906273128 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27629/tid=27640] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27640/stat : 27640 (java) S 27388 27629 27629 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338003094 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220905219448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27629/tid=27641] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27641/stat : 27641 (java) S 27388 27629 27629 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338003094 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220904166280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27629/tid=27642] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27642/stat : 27642 (java) S 27388 27629 27629 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338003096 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220903115024 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27629/tid=27643] ppid=27388 vsize=2715136 CPUtime=0.19 cores=1,3,5,7
/proc/27629/task/27643/stat : 27643 (java) S 27388 27629 27629 0 -1 4202560 2024 0 0 0 19 0 0 0 20 0 19 0 338003096 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220902062904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27629/tid=27644] ppid=27388 vsize=2715136 CPUtime=0.26 cores=1,3,5,7
/proc/27629/task/27644/stat : 27644 (java) S 27388 27629 27629 0 -1 4202560 2305 0 0 0 26 0 0 0 20 0 19 0 338003097 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220901010360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27629/tid=27645] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27645/stat : 27645 (java) S 27388 27629 27629 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338003097 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220899957496 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27629/tid=27646] ppid=27388 vsize=2715136 CPUtime=0.03 cores=1,3,5,7
/proc/27629/task/27646/stat : 27646 (java) S 27388 27629 27629 0 -1 4202560 8 0 0 0 0 3 0 0 20 0 19 0 338003097 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220898905160 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27629/tid=27647] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27647/stat : 27647 (java) S 27388 27629 27629 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338003111 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220897850408 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 485.79
Current children cumulated vsize (KiB) 2851680

[startup+465.407 s]
/proc/loadavg: 2.01 2.12 2.08 3/197 27657
/proc/meminfo: memFree=28360332/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=485.68 cores=1,3,5,7
/proc/27388/stat : 27388 (python) R 27386 27388 22930 0 -1 4202496 19983 172058 0 1 1896 319 46217 136 20 0 1 0 337966535 139821056 6380 33554432000 4194304 4196484 140735227192256 140735227184016 233220947716 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6380 1180 1 0 5193 0
Current children cumulated CPU time (s) 485.68
Current children cumulated vsize (KiB) 136544
#
############


[startup+522.3 s]
/proc/loadavg: 2.18 2.14 2.09 3/179 27663
/proc/meminfo: memFree=28567132/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=488.47 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 20052 172058 0 1 2137 357 46217 136 20 0 1 0 337966535 139821056 6381 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6381 1180 1 0 5193 0
[pid=27660] ppid=27388 vsize=175604 CPUtime=56.88 cores=1,3,5,7
/proc/27660/stat : 27660 (wbo1.4b) R 27388 27660 27660 0 -1 4202496 43771 0 0 0 5668 20 0 0 20 0 1 0 338013075 179818496 43449 33554432000 134512640 135751879 4289154128 4289152220 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27660/statm: 43901 43449 144 303 0 43596 0
Current children cumulated CPU time (s) 545.35
Current children cumulated vsize (KiB) 312148

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

[startup+537.6 s]
/proc/loadavg: 2.22 2.15 2.09 3/197 27684
/proc/meminfo: memFree=28243532/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=489.15 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 20058 172058 0 1 2195 367 46217 136 20 0 1 0 337966535 139821056 6381 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6381 1180 1 0 5193 0
[pid=27660] ppid=27388 vsize=217540 CPUtime=72.17 cores=1,3,5,7
/proc/27660/stat : 27660 (wbo1.4b) R 27388 27660 27660 0 -1 4202496 54241 0 0 0 7191 26 0 0 20 0 1 0 338013075 222760960 53916 33554432000 134512640 135751879 4289154128 4289152144 134616489 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27660/statm: 54385 53916 144 303 0 54080 0
Current children cumulated CPU time (s) 561.32
Current children cumulated vsize (KiB) 354084

[startup+550.4 s]
/proc/loadavg: 2.27 2.16 2.10 3/197 27684
/proc/meminfo: memFree=28082692/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=489.73 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 20063 172058 0 1 2246 374 46217 136 20 0 1 0 337966535 139821056 6381 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6381 1180 1 0 5193 0
[pid=27660] ppid=27388 vsize=253600 CPUtime=84.96 cores=1,3,5,7
/proc/27660/stat : 27660 (wbo1.4b) R 27388 27660 27660 0 -1 4202496 63281 0 0 0 8465 31 0 0 20 0 1 0 338013075 259686400 62953 33554432000 134512640 135751879 4289154128 4289152220 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27660/statm: 63400 62953 144 303 0 63095 0
Current children cumulated CPU time (s) 574.69
Current children cumulated vsize (KiB) 390144

[startup+556.8 s]
/proc/loadavg: 2.22 2.15 2.10 4/197 27684
/proc/meminfo: memFree=28060908/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=490.01 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 20066 172058 0 1 2270 378 46217 136 20 0 1 0 337966535 139821056 6381 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6381 1180 1 0 5193 0
[pid=27660] ppid=27388 vsize=268660 CPUtime=91.36 cores=1,3,5,7
/proc/27660/stat : 27660 (wbo1.4b) R 27388 27660 27660 0 -1 4202496 67039 0 0 0 9103 33 0 0 20 0 1 0 338013075 275107840 66715 33554432000 134512640 135751879 4289154128 4289152220 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27660/statm: 67165 66715 144 303 0 66860 0
Current children cumulated CPU time (s) 581.37
Current children cumulated vsize (KiB) 405204

[startup+563.2 s]
/proc/loadavg: 2.21 2.15 2.10 3/197 27684
/proc/meminfo: memFree=28034548/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=490.32 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 20068 172058 0 1 2296 383 46217 136 20 0 1 0 337966535 139821056 6381 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6381 1180 1 0 5193 0
[pid=27660] ppid=27388 vsize=284116 CPUtime=97.77 cores=1,3,5,7
/proc/27660/stat : 27660 (wbo1.4b) R 27388 27660 27660 0 -1 4202496 70901 0 0 0 9742 35 0 0 20 0 1 0 338013075 290934784 70577 33554432000 134512640 135751879 4289154128 4289152220 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27660/statm: 71029 70577 144 303 0 70724 0
Current children cumulated CPU time (s) 588.09
Current children cumulated vsize (KiB) 420660

[startup+564.8 s]
/proc/loadavg: 2.21 2.15 2.10 3/197 27684
/proc/meminfo: memFree=28031680/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=490.39 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 20069 172058 0 1 2302 384 46217 136 20 0 1 0 337966535 139821056 6381 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6381 1180 1 0 5193 0
[pid=27660] ppid=27388 vsize=287428 CPUtime=99.35 cores=1,3,5,7
/proc/27660/stat : 27660 (wbo1.4b) R 27388 27660 27660 0 -1 4202496 71727 0 0 0 9900 35 0 0 20 0 1 0 338013075 294326272 71404 33554432000 134512640 135751879 4289154128 4289152220 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27660/statm: 71857 71404 144 303 0 71552 0
Current children cumulated CPU time (s) 589.74
Current children cumulated vsize (KiB) 423972

[startup+565.6 s]
/proc/loadavg: 2.21 2.15 2.10 3/197 27684
/proc/meminfo: memFree=28029448/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=490.41 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 20069 172058 0 1 2303 385 46217 136 20 0 1 0 337966535 139821056 6381 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6381 1180 1 0 5193 0
[pid=27660] ppid=27388 vsize=289156 CPUtime=100.15 cores=1,3,5,7
/proc/27660/stat : 27660 (wbo1.4b) R 27388 27660 27660 0 -1 4202496 72152 0 0 0 9980 35 0 0 20 0 1 0 338013075 296095744 71829 33554432000 134512640 135751879 4289154128 4289152220 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27660/statm: 72289 71829 144 303 0 71984 0
Current children cumulated CPU time (s) 590.56
Current children cumulated vsize (KiB) 425700

[startup+566 s]
/proc/loadavg: 2.21 2.15 2.10 3/197 27684
/proc/meminfo: memFree=28029448/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=490.44 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 20071 172058 0 1 2305 386 46217 136 20 0 1 0 337966535 139821056 6381 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6381 1180 1 0 5193 0
[pid=27660] ppid=27388 vsize=290344 CPUtime=100.56 cores=1,3,5,7
/proc/27660/stat : 27660 (wbo1.4b) R 27388 27660 27660 0 -1 4202496 72436 0 0 0 10020 36 0 0 20 0 1 0 338013075 297312256 72113 33554432000 134512640 135751879 4289154128 4289152220 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27660/statm: 72586 72113 144 303 0 72281 0
Current children cumulated CPU time (s) 591
Current children cumulated vsize (KiB) 426888

[startup+566.4 s]
/proc/loadavg: 2.21 2.15 2.10 3/197 27684
/proc/meminfo: memFree=28029448/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=591.4 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 21265 245605 0 1 2314 387 56265 174 20 0 1 0 337966535 139821056 6381 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6381 1180 1 0 5193 0
Current children cumulated CPU time (s) 591.4
Current children cumulated vsize (KiB) 136544

[startup+566.5 s]
/proc/loadavg: 2.19 2.15 2.09 3/196 27689
/proc/meminfo: memFree=28316016/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136540 CPUtime=591.6 cores=1,3,5,7
/proc/27388/stat : 27388 (python) R 27386 27388 22930 0 -1 4202496 25078 247475 0 1 2321 388 56276 175 20 0 1 0 337966535 139816960 6383 33554432000 4194304 4196484 140735227192256 140735227184792 140691692943817 0 0 16781312 0 0 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34135 6383 1181 1 0 5192 0
Current children cumulated CPU time (s) 591.6
Current children cumulated vsize (KiB) 136540

Child status: 20

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.110016
#  lost CPU user time (s): 0.160004
#  lost CPU system time (s): -0.0500002

Real time (s): 566.531
CPU time (s): 591.757
CPU user time (s): 586.166
CPU system time (s): 5.59114
CPU usage (%): 104.453
Max. virtual memory (cumulated for all children) (KiB): 2851684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 586.006
system time used= 5.64114
maximum resident set size= 291436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273637
page faults= 1
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7098
involuntary context switches= 2341

runsolver used 1.18982 second user time and 2.97755 second system time

The end

Launcher Data 

Begin job on node142 at 2012-06-03 12:13:36
IDJOB=3733828
IDBENCH=2604
IDSOLVER=2323
FILE ID=node142/3733828-1338718416
RUNJOBID= node142-1338713724-22947
PBS_JOBID= 14636740
Free space on /tmp= 71172 MiB

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

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

MD5SUM BENCH= 2ea7e3b5e107f983d069c627d91480a3
RANDOM SEED=1550387469

node142.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.776
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.55
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.776
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.776
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	: 5391.91
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.776
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.92
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.776
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.90
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.776
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.91
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.776
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.776
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:        28679464 kB
Buffers:          326748 kB
Cached:          2842328 kB
SwapCached:            0 kB
Active:          1439624 kB
Inactive:        1909840 kB
Active(anon):     171664 kB
Inactive(anon):    11220 kB
Active(file):    1267960 kB
Inactive(file):  1898620 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             20580 kB
Writeback:             0 kB
AnonPages:        205848 kB
Mapped:            21904 kB
Shmem:               200 kB
Slab:             682656 kB
SReclaimable:     124088 kB
SUnreclaim:       558568 kB
KernelStack:        1592 kB
PageTables:         4836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1538296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 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= 71148 MiB
End job on node142 at 2012-06-03 12:23:03