Trace number 3730321

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 589.896 564.748

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb
MD5SUMddad6b8774f3cb7ea8e2d9ff3a650623
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.008997
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables750
Total number of constraints80
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint15
Maximum length of a constraint25
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 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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: 1.99 2.06 1.96 3/177 26318
/proc/meminfo: memFree=28810232/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/26318/stat : 26318 (python) R 26316 26318 22930 0 -1 4202496 794 0 0 0 0 0 0 0 20 0 1 0 337670305 15642624 558 33554432000 4194304 5683644 140737472397840 140737472383752 233220948880 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/26318/statm: 3819 558 324 364 0 261 0

[startup+0.077057 s]
/proc/loadavg: 1.99 2.06 1.96 3/177 26318
/proc/meminfo: memFree=28810232/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/26318/stat : 26318 (python) D 26316 26318 22930 0 -1 4202496 1436 0 0 0 0 1 0 0 20 0 1 0 337670305 17408000 1091 33554432000 4194304 5683644 140737472397840 140737472395528 233220947637 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/26318/statm: 4250 1091 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000

[startup+0.10033 s]
/proc/loadavg: 1.99 2.06 1.96 3/177 26318
/proc/meminfo: memFree=28810232/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=17624 CPUtime=0.02 cores=1,3,5,7
/proc/26318/stat : 26318 (python) R 26316 26318 22930 0 -1 4202496 2214 0 0 0 1 1 0 0 20 0 1 0 337670305 18046976 722 33554432000 4194304 4196484 140736228289872 140736228220040 233220948880 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/26318/statm: 4406 722 354 1 0 341 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17624

[startup+0.300234 s]
/proc/loadavg: 1.99 2.06 1.96 3/177 26318
/proc/meminfo: memFree=28810232/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=54508 CPUtime=0.08 cores=1,3,5,7
/proc/26318/stat : 26318 (python) D 26316 26318 22930 0 -1 4202496 3933 0 0 0 4 4 0 0 20 0 1 0 337670305 55816192 2129 33554432000 4194304 4196484 140736228289872 140736228149624 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/26318/statm: 13627 2129 600 1 0 1482 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 54508

[startup+0.700238 s]
/proc/loadavg: 1.99 2.06 1.96 3/177 26318
/proc/meminfo: memFree=28810232/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=99040 CPUtime=0.24 cores=1,3,5,7
/proc/26318/stat : 26318 (python) R 26316 26318 22930 0 -1 4202496 5753 0 0 0 12 12 0 0 20 0 1 0 337670305 101416960 3602 33554432000 4194304 4196484 140736228289872 140736228232808 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/26318/statm: 24760 3602 1047 1 0 2562 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 99040

[startup+1.50025 s]
/proc/loadavg: 1.99 2.06 1.96 3/178 26323
/proc/meminfo: memFree=28787888/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=118116 CPUtime=0.51 cores=1,3,5,7
/proc/26318/stat : 26318 (python) D 26316 26318 22930 0 -1 4202496 9591 1009 0 0 27 24 0 0 20 0 1 0 337670305 120950784 5829 33554432000 4194304 4196484 140736228289872 140736228223480 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/26318/statm: 29529 5829 1083 1 0 4728 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 118116

[startup+3.10027 s]
/proc/loadavg: 1.99 2.06 1.96 3/179 26324
/proc/meminfo: memFree=28782804/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=134448 CPUtime=0.73 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26316 26318 22930 0 -1 4202496 11236 1009 0 0 43 30 0 0 20 0 1 0 337670305 137674752 6347 33554432000 4194304 4196484 140736228289872 140736228281632 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/26318/statm: 33612 6347 1170 1 0 5184 0
[pid=26324] ppid=26318 vsize=1936 CPUtime=1.2 cores=1,3,5,7
/proc/26324/stat : 26324 (clasp-1.3.3-x86) R 26318 26324 26324 0 -1 4202496 560 0 0 0 120 0 0 0 20 0 1 0 337670494 1982464 251 33554432000 134512640 136080129 4294492080 4294491072 134588768 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/26324/statm: 484 251 175 383 0 99 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 136384
heavy processes:

[startup+6.30027 s]
/proc/loadavg: 1.99 2.06 1.96 3/179 26324
/proc/meminfo: memFree=28771148/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=134448 CPUtime=0.87 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26316 26318 22930 0 -1 4202496 11246 1009 0 0 55 32 0 0 20 0 1 0 337670305 137674752 6347 33554432000 4194304 4196484 140736228289872 140736228281632 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/26318/statm: 33612 6347 1170 1 0 5184 0
[pid=26324] ppid=26318 vsize=2064 CPUtime=4.4 cores=1,3,5,7
/proc/26324/stat : 26324 (clasp-1.3.3-x86) R 26318 26324 26324 0 -1 4202496 571 0 0 0 440 0 0 0 20 0 1 0 337670494 2113536 262 33554432000 134512640 136080129 4294492080 4294490976 134616976 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/26324/statm: 516 262 175 383 0 131 0
Current children cumulated CPU time (s) 5.27
Current children cumulated vsize (KiB) 136512

[startup+12.7002 s]
/proc/loadavg: 2.07 2.07 1.96 3/179 26324
/proc/meminfo: memFree=28753060/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=136508 CPUtime=11.69 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26316 26318 22930 0 -1 4202496 12502 2525 0 0 82 36 1051 0 20 0 1 0 337670305 139784192 6368 33554432000 4194304 4196484 140736228289872 140736228281632 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26318/statm: 34127 6368 1180 1 0 5184 0
Current children cumulated CPU time (s) 11.69
Current children cumulated vsize (KiB) 136508

[startup+25.5003 s]
/proc/loadavg: 2.13 2.09 1.97 3/179 26327
/proc/meminfo: memFree=28753548/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=136508 CPUtime=12.24 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26316 26318 22930 0 -1 4202496 12532 2525 0 0 130 43 1051 0 20 0 1 0 337670305 139784192 6368 33554432000 4194304 4196484 140736228289872 140736228281632 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26318/statm: 34127 6368 1180 1 0 5184 0
[pid=26327] ppid=26318 vsize=2060 CPUtime=13.06 cores=1,3,5,7
/proc/26327/stat : 26327 (clasp-1.3.3-x86) R 26318 26327 26327 0 -1 4202496 587 0 0 0 1306 0 0 0 20 0 1 0 337671548 2109440 277 33554432000 134512640 136080129 4293373104 4293372032 134842526 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/26327/statm: 515 277 175 383 0 130 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 138568

[startup+51.1003 s]
/proc/loadavg: 2.16 2.10 1.97 3/178 26327
/proc/meminfo: memFree=28736412/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=136508 CPUtime=13.37 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26316 26318 22930 0 -1 4202496 12563 2525 0 0 229 57 1051 0 20 0 1 0 337670305 139784192 6368 33554432000 4194304 4196484 140736228289872 140736228281632 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26318/statm: 34127 6368 1180 1 0 5184 0
[pid=26327] ppid=26318 vsize=2188 CPUtime=38.66 cores=1,3,5,7
/proc/26327/stat : 26327 (clasp-1.3.3-x86) R 26318 26327 26327 0 -1 4202496 608 0 0 0 3866 0 0 0 20 0 1 0 337671548 2240512 298 33554432000 134512640 136080129 4293373104 4293372048 134804904 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/26327/statm: 547 298 175 383 0 162 0
Current children cumulated CPU time (s) 52.03
Current children cumulated vsize (KiB) 138696

[startup+102.307 s]
/proc/loadavg: 2.13 2.09 1.98 3/179 26337
/proc/meminfo: memFree=28792260/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=136508 CPUtime=66.15 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26316 26318 22930 0 -1 4202496 13754 4073 0 0 443 90 6081 1 20 0 1 0 337670305 139784192 6371 33554432000 4194304 4196484 140736228289872 140736228281632 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26318/statm: 34127 6371 1180 1 0 5184 0
[pid=26331] ppid=26318 vsize=46240 CPUtime=39.53 cores=1,3,5,7
/proc/26331/stat : 26331 (wbo1.4a) R 26318 26331 26331 0 -1 4202496 11355 0 0 0 3941 12 0 0 20 0 1 0 337676581 47349760 11041 33554432000 134512640 135751879 4288853152 4288851328 134616532 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/26331/statm: 11560 11041 139 303 0 11255 0
Current children cumulated CPU time (s) 105.68
Current children cumulated vsize (KiB) 182748

[startup+162.3 s]
/proc/loadavg: 2.13 2.09 1.98 3/179 26340
/proc/meminfo: memFree=28818476/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=136508 CPUtime=119.26 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26316 26318 22930 0 -1 4202496 15013 18697 0 0 682 123 11104 17 20 0 1 0 337670305 139784192 6373 33554432000 4194304 4196484 140736228289872 140736228281632 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26318/statm: 34127 6373 1180 1 0 5184 0
[pid=26340] ppid=26318 vsize=2192 CPUtime=49.12 cores=1,3,5,7
/proc/26340/stat : 26340 (clasp-1.3.3-x86) R 26318 26340 26340 0 -1 4202496 616 0 0 0 4912 0 0 0 20 0 1 0 337681621 2244608 304 33554432000 134512640 136080129 4293556608 4293555744 134845684 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/26340/statm: 548 304 175 383 0 163 0
Current children cumulated CPU time (s) 168.38
Current children cumulated vsize (KiB) 138700

[startup+222.3 s]
/proc/loadavg: 2.10 2.09 1.99 3/179 26352
/proc/meminfo: memFree=28820840/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=136508 CPUtime=222.16 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26316 26318 22930 0 -1 4202496 16267 20261 0 0 930 159 21109 18 20 0 1 0 337670305 139784192 6374 33554432000 4194304 4196484 140736228289872 140736228281632 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26318/statm: 34127 6374 1180 1 0 5184 0
[pid=26349] ppid=26318 vsize=17840 CPUtime=9.03 cores=1,3,5,7
/proc/26349/stat : 26349 (wbo1.4a) R 26318 26349 26349 0 -1 4202496 4347 0 0 0 899 4 0 0 20 0 1 0 337691630 18268160 4031 33554432000 134512640 135751879 4292771968 4292770220 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/26349/statm: 4460 4031 139 303 0 4155 0
Current children cumulated CPU time (s) 231.19
Current children cumulated vsize (KiB) 154348

[startup+282.3 s]
/proc/loadavg: 2.04 2.07 1.99 3/179 26355
/proc/meminfo: memFree=28758060/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=136508 CPUtime=224.86 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26316 26318 22930 0 -1 4202496 16308 20261 0 0 1166 193 21109 18 20 0 1 0 337670305 139784192 6374 33554432000 4194304 4196484 140736228289872 140736228281632 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26318/statm: 34127 6374 1180 1 0 5184 0
[pid=26349] ppid=26318 vsize=75744 CPUtime=69.01 cores=1,3,5,7
/proc/26349/stat : 26349 (wbo1.4a) R 26318 26349 26349 0 -1 4202496 18684 0 0 0 6881 20 0 0 20 0 1 0 337691630 77561856 18416 33554432000 134512640 135751879 4292771968 4292770220 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/26349/statm: 18936 18416 139 303 0 18631 0
Current children cumulated CPU time (s) 293.87
Current children cumulated vsize (KiB) 212252

[startup+342.3 s]
/proc/loadavg: 2.01 2.05 1.99 4/179 26361
/proc/meminfo: memFree=28783472/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=136508 CPUtime=328.17 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26316 26318 22930 0 -1 4202496 17555 53863 0 0 1411 235 31112 59 20 0 1 0 337670305 139784192 6376 33554432000 4194304 4196484 140736228289872 140736228281632 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26318/statm: 34127 6376 1180 1 0 5184 0
[pid=26361] ppid=26318 vsize=38184 CPUtime=28.54 cores=1,3,5,7
/proc/26361/stat : 26361 (wbo1.4b) R 26318 26361 26361 0 -1 4202496 9412 0 0 0 2845 9 0 0 20 0 1 0 337701679 39100416 9093 33554432000 134512640 135751879 4294711600 4294709692 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/26361/statm: 9546 9093 144 303 0 9241 0
Current children cumulated CPU time (s) 356.71
Current children cumulated vsize (KiB) 174692

[startup+402.301 s]
/proc/loadavg: 2.00 2.04 1.99 3/198 26392
/proc/meminfo: memFree=28730524/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=136508 CPUtime=381.21 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26316 26318 22930 0 -1 4202496 18809 68462 0 0 1655 272 36121 73 20 0 1 0 337670305 139784192 6377 33554432000 4194304 4196484 140736228289872 140736228281632 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26318/statm: 34127 6377 1180 1 0 5184 0
[pid=26368] ppid=26318 vsize=2715136 CPUtime=38.75 cores=1,3,5,7
/proc/26368/stat : 26368 (java) S 26318 26368 26368 0 -1 4202496 8456 0 1 0 3871 4 0 0 20 0 19 0 337706705 2780299264 27306 33554432000 1073741824 1073778376 140735486214800 140735486205936 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26368/statm: 678784 27306 2240 9 0 669477 0

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

/proc/26318/statm: 34127 6377 1180 1 0 5184 0
[pid=26368] ppid=26318 vsize=2715136 CPUtime=100.29 cores=1,3,5,7
/proc/26368/stat : 26368 (java) S 26318 26368 26368 0 -1 4202496 8483 0 1 0 10021 8 0 0 20 0 19 0 337706705 2780299264 39082 33554432000 1073741824 1073778376 140735486214800 140735486205936 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26368/statm: 678784 39082 2240 9 0 669477 0
[pid=26368/tid=26369] ppid=26318 vsize=2715136 CPUtime=99.51 cores=1,3,5,7
/proc/26368/task/26369/stat : 26369 (java) R 26318 26368 26368 0 -1 4202560 2823 0 1 0 9947 4 0 0 20 0 19 0 337706706 2780299264 39082 33554432000 1073741824 1073778376 140735486214800 140389051462088 140388875041731 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26368/tid=26370] ppid=26318 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/26368/task/26370/stat : 26370 (java) S 26318 26368 26368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337706707 2780299264 39082 33554432000 1073741824 1073778376 140735486214800 140389035912232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26368/tid=26371] ppid=26318 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/26368/task/26371/stat : 26371 (java) S 26318 26368 26368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337706707 2780299264 39082 33554432000 1073741824 1073778376 140735486214800 140389034859432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26368/tid=26372] ppid=26318 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/26368/task/26372/stat : 26372 (java) S 26318 26368 26368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337706707 2780299264 39082 33554432000 1073741824 1073778376 140735486214800 140389033806632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26368/tid=26373] ppid=26318 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/26368/task/26373/stat : 26373 (java) S 26318 26368 26368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337706707 2780299264 39082 33554432000 1073741824 1073778376 140735486214800 140389032753832 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26368/tid=26374] ppid=26318 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/26368/task/26374/stat : 26374 (java) S 26318 26368 26368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337706707 2780299264 39082 33554432000 1073741824 1073778376 140735486214800 140389031701032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26368/tid=26375] ppid=26318 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/26368/task/26375/stat : 26375 (java) S 26318 26368 26368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337706707 2780299264 39082 33554432000 1073741824 1073778376 140735486214800 140389030648232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26368/tid=26376] ppid=26318 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/26368/task/26376/stat : 26376 (java) S 26318 26368 26368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337706707 2780299264 39082 33554432000 1073741824 1073778376 140735486214800 140389029595432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26368/tid=26377] ppid=26318 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/26368/task/26377/stat : 26377 (java) S 26318 26368 26368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337706707 2780299264 39082 33554432000 1073741824 1073778376 140735486214800 140389028542632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26368/tid=26378] ppid=26318 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/26368/task/26378/stat : 26378 (java) S 26318 26368 26368 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337706708 2780299264 39082 33554432000 1073741824 1073778376 140735486214800 140389016132584 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26368/tid=26379] ppid=26318 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/26368/task/26379/stat : 26379 (java) S 26318 26368 26368 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337706709 2780299264 39082 33554432000 1073741824 1073778376 140735486214800 140389015078648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26368/tid=26380] ppid=26318 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/26368/task/26380/stat : 26380 (java) S 26318 26368 26368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337706709 2780299264 39082 33554432000 1073741824 1073778376 140735486214800 140389014025736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26368/tid=26381] ppid=26318 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/26368/task/26381/stat : 26381 (java) S 26318 26368 26368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337706712 2780299264 39082 33554432000 1073741824 1073778376 140735486214800 140389012974224 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26368/tid=26382] ppid=26318 vsize=2715136 CPUtime=0.26 cores=1,3,5,7
/proc/26368/task/26382/stat : 26382 (java) S 26318 26368 26368 0 -1 4202560 2123 0 0 0 26 0 0 0 20 0 19 0 337706712 2780299264 39082 33554432000 1073741824 1073778376 140735486214800 140389011921336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26368/tid=26383] ppid=26318 vsize=2715136 CPUtime=0.16 cores=1,3,5,7
/proc/26368/task/26383/stat : 26383 (java) S 26318 26368 26368 0 -1 4202560 2018 0 0 0 16 0 0 0 20 0 19 0 337706712 2780299264 39082 33554432000 1073741824 1073778376 140735486214800 140389010868536 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26368/tid=26384] ppid=26318 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/26368/task/26384/stat : 26384 (java) S 26318 26368 26368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337706712 2780299264 39082 33554432000 1073741824 1073778376 140735486214800 140389009815928 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26368/tid=26385] ppid=26318 vsize=2715136 CPUtime=0.04 cores=1,3,5,7
/proc/26368/task/26385/stat : 26385 (java) S 26318 26368 26368 0 -1 4202560 8 0 0 0 2 2 0 0 20 0 19 0 337706712 2780299264 39082 33554432000 1073741824 1073778376 140735486214800 140389008763336 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26368/tid=26386] ppid=26318 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/26368/task/26386/stat : 26386 (java) S 26318 26368 26368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337706723 2780299264 39082 33554432000 1073741824 1073778376 140735486214800 140389007709864 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 484.28
Current children cumulated vsize (KiB) 2851644

[startup+463.901 s]
/proc/loadavg: 2.18 2.08 2.01 4/197 26395
/proc/meminfo: memFree=28673384/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=136508 CPUtime=484.14 cores=1,3,5,7
/proc/26318/stat : 26318 (python) R 26316 26318 22930 0 -1 4202496 20020 77872 0 1 1900 311 46119 84 20 0 1 0 337670305 139784192 6378 33554432000 4194304 4196484 140736228289872 140736228278696 233220989879 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/26318/statm: 34127 6378 1180 1 0 5184 0
Current children cumulated CPU time (s) 484.14
Current children cumulated vsize (KiB) 136508
#
############


[startup+522.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/180 26405
/proc/meminfo: memFree=28773060/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=136508 CPUtime=486.94 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26316 26318 22930 0 -1 4202496 20082 77872 0 1 2144 347 46119 84 20 0 1 0 337670305 139784192 6378 33554432000 4194304 4196484 140736228289872 140736228281632 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26318/statm: 34127 6378 1180 1 0 5184 0
[pid=26398] ppid=26318 vsize=61340 CPUtime=58.39 cores=1,3,5,7
/proc/26398/stat : 26398 (wbo1.4b) R 26318 26398 26398 0 -1 4202496 15109 0 0 0 5821 18 0 0 20 0 1 0 337716692 62812160 14813 33554432000 134512640 135751879 4294403440 4294401532 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/26398/statm: 15335 14813 144 303 0 15030 0
Current children cumulated CPU time (s) 545.33
Current children cumulated vsize (KiB) 197848

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

[startup+537.5 s]
/proc/loadavg: 2.09 2.07 2.00 3/180 26408
/proc/meminfo: memFree=28746648/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=136508 CPUtime=487.61 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26316 26318 22930 0 -1 4202496 20089 77872 0 1 2202 356 46119 84 20 0 1 0 337670305 139784192 6379 33554432000 4194304 4196484 140736228289872 140736228281632 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26318/statm: 34127 6379 1180 1 0 5184 0
[pid=26398] ppid=26318 vsize=86320 CPUtime=73.59 cores=1,3,5,7
/proc/26398/stat : 26398 (wbo1.4b) R 26318 26398 26398 0 -1 4202496 21327 0 0 0 7335 24 0 0 20 0 1 0 337716692 88391680 21031 33554432000 134512640 135751879 4294403440 4294401532 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/26398/statm: 21580 21031 144 303 0 21275 0
Current children cumulated CPU time (s) 561.2
Current children cumulated vsize (KiB) 222828

[startup+550.3 s]
/proc/loadavg: 2.14 2.09 2.01 3/180 26408
/proc/meminfo: memFree=28718996/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=136508 CPUtime=488.2 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26316 26318 22930 0 -1 4202496 20094 77872 0 1 2253 364 46119 84 20 0 1 0 337670305 139784192 6379 33554432000 4194304 4196484 140736228289872 140736228281632 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26318/statm: 34127 6379 1180 1 0 5184 0
[pid=26398] ppid=26318 vsize=109332 CPUtime=86.39 cores=1,3,5,7
/proc/26398/stat : 26398 (wbo1.4b) R 26318 26398 26398 0 -1 4202496 27082 0 0 0 8609 30 0 0 20 0 1 0 337716692 111955968 26786 33554432000 134512640 135751879 4294403440 4294401532 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/26398/statm: 27333 26786 144 303 0 27028 0
Current children cumulated CPU time (s) 574.59
Current children cumulated vsize (KiB) 245840

[startup+556.7 s]
/proc/loadavg: 2.13 2.08 2.01 3/179 26408
/proc/meminfo: memFree=28707280/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=136508 CPUtime=488.5 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26316 26318 22930 0 -1 4202496 20097 77872 0 1 2279 368 46119 84 20 0 1 0 337670305 139784192 6379 33554432000 4194304 4196484 140736228289872 140736228281632 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26318/statm: 34127 6379 1180 1 0 5184 0
[pid=26398] ppid=26318 vsize=120452 CPUtime=92.79 cores=1,3,5,7
/proc/26398/stat : 26398 (wbo1.4b) R 26318 26398 26398 0 -1 4202496 29842 0 0 0 9246 33 0 0 20 0 1 0 337716692 123342848 29579 33554432000 134512640 135751879 4294403440 4294401532 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/26398/statm: 30113 29580 144 303 0 29808 0
Current children cumulated CPU time (s) 581.29
Current children cumulated vsize (KiB) 256960

[startup+559.907 s]
/proc/loadavg: 2.12 2.08 2.01 3/179 26408
/proc/meminfo: memFree=28700212/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=136508 CPUtime=488.65 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26316 26318 22930 0 -1 4202496 20098 77872 0 1 2291 371 46119 84 20 0 1 0 337670305 139784192 6379 33554432000 4194304 4196484 140736228289872 140736228281632 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26318/statm: 34127 6379 1180 1 0 5184 0
[pid=26398] ppid=26318 vsize=125884 CPUtime=95.99 cores=1,3,5,7
/proc/26398/stat : 26398 (wbo1.4b) R 26318 26398 26398 0 -1 4202496 31189 0 0 0 9565 34 0 0 20 0 1 0 337716692 128905216 30926 33554432000 134512640 135751879 4294403440 4294401452 134517408 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/26398/statm: 31471 30926 144 303 0 31166 0
Current children cumulated CPU time (s) 584.64
Current children cumulated vsize (KiB) 262392

[startup+563.1 s]
/proc/loadavg: 2.11 2.08 2.01 3/179 26408
/proc/meminfo: memFree=28694012/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=136508 CPUtime=488.79 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26316 26318 22930 0 -1 4202496 20099 77872 0 1 2303 373 46119 84 20 0 1 0 337670305 139784192 6379 33554432000 4194304 4196484 140736228289872 140736228281632 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26318/statm: 34127 6379 1180 1 0 5184 0
[pid=26398] ppid=26318 vsize=130900 CPUtime=99.19 cores=1,3,5,7
/proc/26398/stat : 26398 (wbo1.4b) R 26318 26398 26398 0 -1 4202496 32468 0 0 0 9883 36 0 0 20 0 1 0 337716692 134041600 32205 33554432000 134512640 135751879 4294403440 4294401532 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/26398/statm: 32725 32205 144 303 0 32420 0
Current children cumulated CPU time (s) 587.98
Current children cumulated vsize (KiB) 267408

[startup+563.9 s]
/proc/loadavg: 2.11 2.08 2.01 3/179 26408
/proc/meminfo: memFree=28694012/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=136508 CPUtime=488.81 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26316 26318 22930 0 -1 4202496 20100 77872 0 1 2305 373 46119 84 20 0 1 0 337670305 139784192 6379 33554432000 4194304 4196484 140736228289872 140736228281632 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26318/statm: 34127 6379 1180 1 0 5184 0
[pid=26398] ppid=26318 vsize=132352 CPUtime=99.98 cores=1,3,5,7
/proc/26398/stat : 26398 (wbo1.4b) R 26318 26398 26398 0 -1 4202496 32816 0 0 0 9962 36 0 0 20 0 1 0 337716692 135528448 32553 33554432000 134512640 135751879 4294403440 4294401532 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/26398/statm: 33088 32553 144 303 0 32783 0
Current children cumulated CPU time (s) 588.79
Current children cumulated vsize (KiB) 268860

[startup+564.307 s]
/proc/loadavg: 2.11 2.08 2.01 3/179 26408
/proc/meminfo: memFree=28691160/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=136508 CPUtime=488.83 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26316 26318 22930 0 -1 4202496 20100 77872 0 1 2307 373 46119 84 20 0 1 0 337670305 139784192 6379 33554432000 4194304 4196484 140736228289872 140736228281632 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/26318/statm: 34127 6379 1180 1 0 5184 0
[pid=26398] ppid=26318 vsize=133012 CPUtime=100.39 cores=1,3,5,7
/proc/26398/stat : 26398 (wbo1.4b) R 26318 26398 26398 0 -1 4202496 32981 0 0 0 10003 36 0 0 20 0 1 0 337716692 136204288 32718 33554432000 134512640 135751879 4294403440 4294401452 134516976 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/26398/statm: 33253 32718 144 303 0 32948 0
Current children cumulated CPU time (s) 589.22
Current children cumulated vsize (KiB) 269520

[startup+564.7 s]
/proc/loadavg: 2.11 2.08 2.01 3/179 26408
/proc/meminfo: memFree=28691160/32873844 swapFree=7120/7120
[pid=26318] ppid=26316 vsize=136508 CPUtime=589.65 cores=1,3,5,7
/proc/26318/stat : 26318 (python) R 26316 26318 22930 0 -1 4202496 21285 111853 0 1 2319 376 56148 122 20 0 1 0 337670305 139784192 6380 33554432000 4194304 4196484 140736228289872 140736228278200 233220989879 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/26318/statm: 34127 6380 1180 1 0 5184 0
Current children cumulated CPU time (s) 589.65
Current children cumulated vsize (KiB) 136508

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.139984
#  lost CPU user time (s): 0.179993
#  lost CPU system time (s): -0.0400002

Real time (s): 564.748
CPU time (s): 589.896
CPU user time (s): 584.937
CPU system time (s): 4.95924
CPU usage (%): 104.453
Max. virtual memory (cumulated for all children) (KiB): 2851648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 584.757
system time used= 4.99924
maximum resident set size= 156328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139794
page faults= 1
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7016
involuntary context switches= 931

runsolver used 1.12783 second user time and 2.52262 second system time

The end

Launcher Data 

Begin job on node142 at 2012-06-03 11:24:13
IDJOB=3730321
IDBENCH=1407
IDSOLVER=2323
FILE ID=node142/3730321-1338715453
RUNJOBID= node142-1338713724-22947
PBS_JOBID= 14636740
Free space on /tmp= 71168 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3730321-1338715453/watcher-3730321-1338715453 -o /tmp/evaluation-result-3730321-1338715453/solver-3730321-1338715453 -C 1800 -W 1900 -M 15500  solver HOME/instance-3730321-1338715453.opb 1364849172 

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

MD5SUM BENCH= ddad6b8774f3cb7ea8e2d9ff3a650623
RANDOM SEED=1364849172

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:        28810496 kB
Buffers:          315628 kB
Cached:          2839920 kB
SwapCached:            0 kB
Active:          1337532 kB
Inactive:        1905584 kB
Active(anon):      79280 kB
Inactive(anon):    11220 kB
Active(file):    1258252 kB
Inactive(file):  1894364 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             20444 kB
Writeback:             0 kB
AnonPages:         94460 kB
Mapped:            14612 kB
Shmem:               200 kB
Slab:             682524 kB
SReclaimable:     123932 kB
SUnreclaim:       558592 kB
KernelStack:        1456 kB
PageTables:         4328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     210416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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 11:33:39