Trace number 2676296

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
borg-pb 10.05.30UNSAT 615.694 573.645

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-cardinality-101-100.opb
MD5SUM0b4d976a66cd69333fd390f8a9139e21
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.579911
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables10100
Total number of constraints201
Number of constraints which are clauses101
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint100
Maximum length of a constraint101
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 102
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2676296-1277135119/watcher-2676296-1277135119 -o /tmp/evaluation-result-2676296-1277135119/solver-2676296-1277135119 -C 1800 -W 2000 -M 1800 solver HOME/instance-2676296-1277135119.opb 1187248144 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 7663
/proc/meminfo: memFree=1842516/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=24036 CPUtime=0
/proc/7663/stat : 7663 (runsolver) D 7661 7663 7638 0 -1 4202560 81 0 0 0 0 0 0 0 18 0 1 0 89113580 24612864 106 1992294400 4194304 4302564 140734159999424 18446744073709551615 223060009975 0 0 4096 24578 18446744071562154983 0 0 17 1 0 0 0
/proc/7663/statm: 6009 106 69 27 0 2647 0

[startup+0.103147 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 7663
/proc/meminfo: memFree=1842516/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=17828 CPUtime=0.02
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 1789 0 9 0 1 1 0 0 15 0 1 0 89113580 18255872 826 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060184933 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 4
/proc/7663/statm: 4457 831 390 1 0 437 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17828

[startup+0.20126 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 7663
/proc/meminfo: memFree=1842516/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=25160 CPUtime=0.08
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 2179 0 12 0 4 4 0 0 15 0 1 0 89113580 25763840 1180 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060187136 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 5
/proc/7663/statm: 6290 1180 446 1 0 718 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25160

[startup+0.301284 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 7663
/proc/meminfo: memFree=1842516/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=40448 CPUtime=0.13
/proc/7663/stat : 7663 (python) D 7661 7663 7638 0 -1 4202496 2452 0 16 0 7 6 0 0 15 0 1 0 89113580 41418752 1433 1992294400 4194304 4196484 140736460482256 18446744073709551615 223055268758 0 0 16781312 2 18446744071562234166 0 0 17 0 0 0 5
/proc/7663/statm: 10112 1433 471 1 0 912 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 40448

[startup+0.701388 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 7663
/proc/meminfo: memFree=1842516/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=78144 CPUtime=0.32
/proc/7663/stat : 7663 (python) D 7661 7663 7638 0 -1 4202496 4306 0 34 0 19 13 0 0 16 0 1 0 89113580 80019456 3119 1992294400 4194304 4196484 140736460482256 18446744073709551615 223055267250 0 0 16781312 2 18446744071562234166 0 0 17 0 0 0 12
/proc/7663/statm: 19536 3119 709 1 0 2429 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 78144

[startup+1.50063 s]
/proc/loadavg: 0.91 0.95 0.98 2/107 7664
/proc/meminfo: memFree=1816908/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=110312 CPUtime=0.8
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 7520 919 43 8 51 29 0 0 17 0 1 0 89113580 112959488 4917 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060187136 0 2147483391 16781312 2 18446744071699379390 0 0 17 0 0 0 19
/proc/7663/statm: 27578 4917 1047 1 0 3872 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 110312

[startup+3.10063 s]
/proc/loadavg: 0.91 0.95 0.98 2/107 7668
/proc/meminfo: memFree=1801224/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=132052 CPUtime=1.3
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 10208 919 49 8 86 44 0 0 15 0 1 0 89113580 135221248 6306 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060209167 0 0 16781312 2 159688670771686133 0 0 17 0 0 0 22
/proc/7663/statm: 33013 6306 1133 1 0 5165 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 132052
heavy processes:

[startup+6.30163 s]
/proc/loadavg: 0.92 0.95 0.98 2/108 7669
/proc/meminfo: memFree=1789512/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=132052 CPUtime=1.52
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 10220 919 49 8 105 47 0 0 15 0 1 0 89113580 135221248 6306 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060209167 0 0 16781312 2 159688670771686133 0 0 17 0 0 0 22
/proc/7663/statm: 33013 6306 1133 1 0 5165 0
[pid=7669] ppid=7663 vsize=13976 CPUtime=4.01
/proc/7669/stat : 7669 (clasp-1.3.3-x86) R 7663 7669 7669 0 -1 4202496 3579 0 0 0 399 2 0 0 25 0 1 0 89113806 14311424 3243 1992294400 134512640 136080129 4288007344 18446744073709551615 134804891 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/7669/statm: 3494 3243 174 383 0 3109 0
Current children cumulated CPU time (s) 5.53
Current children cumulated vsize (KiB) 146028

[startup+12.7006 s]
/proc/loadavg: 0.93 0.95 0.98 2/108 7669
/proc/meminfo: memFree=1783568/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=134112 CPUtime=12.3
/proc/7663/stat : 7663 (python) R 7661 7663 7638 0 -1 4202496 11508 6823 49 9 150 54 1022 4 17 0 1 0 89113580 137330688 6328 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060232327 0 0 16781312 2 0 0 0 17 0 0 0 24
/proc/7663/statm: 33528 6328 1143 1 0 5165 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 134112

[startup+25.5006 s]
/proc/loadavg: 0.94 0.96 0.98 2/108 7672
/proc/meminfo: memFree=1783136/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=134112 CPUtime=13.22
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 11562 6823 49 9 232 64 1022 4 15 0 1 0 89113580 137330688 6328 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060209167 0 0 16781312 2 159688670771686133 0 0 17 0 0 0 24
/proc/7663/statm: 33528 6328 1143 1 0 5165 0
[pid=7672] ppid=7663 vsize=20220 CPUtime=12.73
/proc/7672/stat : 7672 (clasp-1.3.3-x86) R 7663 7672 7672 0 -1 4202496 5121 0 0 0 1271 2 0 0 25 0 1 0 89114846 20705280 4787 1992294400 134512640 136080129 4290063456 18446744073709551615 134850073 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/7672/statm: 5055 4787 174 383 0 4670 0
Current children cumulated CPU time (s) 25.95
Current children cumulated vsize (KiB) 154332

[startup+51.1006 s]
/proc/loadavg: 0.96 0.96 0.98 2/108 7672
/proc/meminfo: memFree=1775200/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=134112 CPUtime=15.04
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 11656 6823 49 9 396 82 1022 4 15 0 1 0 89113580 137330688 6328 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060209167 0 0 16781312 2 159688670771686133 0 0 17 0 0 0 24
/proc/7663/statm: 33528 6328 1143 1 0 5165 0
[pid=7672] ppid=7663 vsize=28116 CPUtime=38.18
/proc/7672/stat : 7672 (clasp-1.3.3-x86) R 7663 7672 7672 0 -1 4202496 7105 0 0 0 3814 4 0 0 25 0 1 0 89114846 28790784 6771 1992294400 134512640 136080129 4290063456 18446744073709551615 134844922 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/7672/statm: 7029 6771 174 383 0 6644 0
Current children cumulated CPU time (s) 53.22
Current children cumulated vsize (KiB) 162228

[startup+102.301 s]
/proc/loadavg: 1.06 0.98 0.99 2/108 7677
/proc/meminfo: memFree=1747796/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=134112 CPUtime=69.48
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 12906 15306 49 9 757 124 6056 11 15 0 1 0 89113580 137330688 6331 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060209167 0 0 16781312 2 159688670771686133 0 0 17 0 0 0 24
/proc/7663/statm: 33528 6331 1143 1 0 5165 0
[pid=7675] ppid=7663 vsize=56328 CPUtime=38.64
/proc/7675/stat : 7675 (wbo1.4a) R 7663 7675 7675 0 -1 4202496 13934 0 0 0 3846 18 0 0 25 0 1 0 89119922 57679872 13574 1992294400 134512640 135751879 4292761440 18446744073709551615 134518464 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/7675/statm: 14082 13574 139 303 0 13777 0
Current children cumulated CPU time (s) 108.12
Current children cumulated vsize (KiB) 190440

[startup+162.3 s]
/proc/loadavg: 1.02 0.98 0.99 2/108 7682
/proc/meminfo: memFree=1773092/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=134112 CPUtime=124.38
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 14226 32789 49 9 1149 167 11087 35 15 0 1 0 89113580 137330688 6332 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060209167 0 0 16781312 2 159688670771686133 0 0 17 0 0 0 24
/proc/7663/statm: 33528 6332 1143 1 0 5165 0
[pid=7680] ppid=7663 vsize=30040 CPUtime=47.67
/proc/7680/stat : 7680 (clasp-1.3.3-x86) R 7663 7680 7680 0 -1 4202496 7577 0 0 0 4763 4 0 0 25 0 1 0 89125011 30760960 7237 1992294400 134512640 136080129 4291146992 18446744073709551615 134845871 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/7680/statm: 7510 7237 174 383 0 7125 0
Current children cumulated CPU time (s) 172.05
Current children cumulated vsize (KiB) 164152

[startup+222.309 s]
/proc/loadavg: 1.06 1.00 0.99 2/108 7687
/proc/meminfo: memFree=1786360/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=134112 CPUtime=229.35
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 15446 42520 49 9 1573 217 21102 43 15 0 1 0 89113580 137330688 6333 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060209167 0 0 16781312 2 159836005329808117 0 0 17 1 0 0 24
/proc/7663/statm: 33528 6333 1143 1 0 5165 0
[pid=7685] ppid=7663 vsize=17788 CPUtime=7.04
/proc/7685/stat : 7685 (wbo1.4a) R 7663 7685 7685 0 -1 4202496 4328 0 0 0 698 6 0 0 25 0 1 0 89135102 18214912 3966 1992294400 134512640 135751879 4292660624 18446744073709551615 134605065 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/7685/statm: 4447 3966 139 303 0 4142 0
Current children cumulated CPU time (s) 236.39
Current children cumulated vsize (KiB) 151900

[startup+282.301 s]
/proc/loadavg: 1.02 1.00 0.99 2/108 7687
/proc/meminfo: memFree=1700800/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=134112 CPUtime=234.06
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 15533 42520 49 9 1993 268 21102 43 16 0 1 0 89113580 137330688 6333 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060209167 0 0 16781312 2 159836005329808117 0 0 17 1 0 0 24
/proc/7663/statm: 33528 6333 1143 1 0 5165 0
[pid=7685] ppid=7663 vsize=103808 CPUtime=66.63
/proc/7685/stat : 7685 (wbo1.4a) R 7663 7685 7685 0 -1 4202496 25828 0 0 0 6636 27 0 0 25 0 1 0 89135102 106299392 25466 1992294400 134512640 135751879 4292660624 18446744073709551615 134517414 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/7685/statm: 25952 25466 139 303 0 25647 0
Current children cumulated CPU time (s) 300.69
Current children cumulated vsize (KiB) 237920

[startup+342.302 s]
/proc/loadavg: 1.12 1.03 1.00 2/108 7692
/proc/meminfo: memFree=1762428/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=134112 CPUtime=339.39
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 16814 81770 49 9 2422 318 31119 80 15 0 1 0 89113580 137330688 6335 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060209167 0 0 16781312 2 159688670771686133 0 0 17 0 0 0 24
/proc/7663/statm: 33528 6335 1143 1 0 5165 0
[pid=7692] ppid=7663 vsize=41688 CPUtime=25.83
/proc/7692/stat : 7692 (wbo1.4b) R 7663 7692 7692 0 -1 4202496 10604 0 0 0 2570 13 0 0 25 0 1 0 89145226 42688512 9935 1992294400 134512640 135751879 4291179264 18446744073709551615 134605073 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/7692/statm: 10422 9935 143 303 0 10117 0
Current children cumulated CPU time (s) 365.22
Current children cumulated vsize (KiB) 175800

[startup+402.301 s]
/proc/loadavg: 1.24 1.08 1.02 2/120 7709
/proc/meminfo: memFree=1671060/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=134112 CPUtime=394.44
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 18139 99483 49 9 2836 363 36143 102 15 0 1 0 89113580 137330688 6337 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060209167 0 0 16781312 2 159836005329808117 0 0 17 1 0 0 24
/proc/7663/statm: 33528 6337 1143 1 0 5165 0
[pid=7695] ppid=7663 vsize=1480160 CPUtime=36.22
/proc/7695/stat : 7695 (java) S 7663 7695 7695 0 -1 4202496 32551 0 87 0 3606 16 0 0 16 0 13 0 89150288 1515683840 31339 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 6
/proc/7695/statm: 370040 31339 1426 10 0 367342 0
[pid=7695/tid=7696] ppid=7663 vsize=1480160 CPUtime=34.74
/proc/7695/task/7696/stat : 7696 (java) R 7663 7695 7695 0 -1 4202560 28864 0 54 0 3462 12 0 0 25 0 13 0 89150299 1515683840 31339 1992294400 134512640 134550932 4294839456 18446744073709551615 4109590404 0 4 0 16800975 0 0 0 -1 0 0 0 12
[pid=7695/tid=7697] ppid=7663 vsize=1480160 CPUtime=0
/proc/7695/task/7697/stat : 7697 (java) S 7663 7695 7695 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 13 0 89150306 1515683840 31339 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 4 0 16800975 18446604437827900544 0 0 -1 1 0 0 0
[pid=7695/tid=7698] ppid=7663 vsize=1480160 CPUtime=0
/proc/7695/task/7698/stat : 7698 (java) S 7663 7695 7695 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 13 0 89150306 1515683840 31339 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 4 0 16800975 18446604437827900544 0 0 -1 1 0 0 0
[pid=7695/tid=7699] ppid=7663 vsize=1480160 CPUtime=0
/proc/7695/task/7699/stat : 7699 (java) S 7663 7695 7695 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 13 0 89150309 1515683840 31339 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 0 0 16800975 18446604437827900544 0 0 -1 0 0 0 0
[pid=7695/tid=7700] ppid=7663 vsize=1480160 CPUtime=0
/proc/7695/task/7700/stat : 7700 (java) S 7663 7695 7695 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 13 0 89150310 1515683840 31339 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 4 0 16800975 18446604437827900544 0 0 -1 0 0 0 0
[pid=7695/tid=7701] ppid=7663 vsize=1480160 CPUtime=0
/proc/7695/task/7701/stat : 7701 (java) S 7663 7695 7695 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 89150310 1515683840 31339 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 4 0 16800975 18446604437827900544 0 0 -1 0 0 0 0
[pid=7695/tid=7702] ppid=7663 vsize=1480160 CPUtime=0
/proc/7695/task/7702/stat : 7702 (java) S 7663 7695 7695 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 89150318 1515683840 31339 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 4 0 16800975 18446604437827900544 0 0 -1 0 0 0 0
[pid=7695/tid=7703] ppid=7663 vsize=1480160 CPUtime=0.71
/proc/7695/task/7703/stat : 7703 (java) S 7663 7695 7695 0 -1 4202560 1407 0 0 0 70 1 0 0 17 0 13 0 89150318 1515683840 31339 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 4 0 16800975 18446604437827900544 0 0 -1 1 0 0 0
[pid=7695/tid=7704] ppid=7663 vsize=1480160 CPUtime=0.72
/proc/7695/task/7704/stat : 7704 (java) S 7663 7695 7695 0 -1 4202560 945 0 0 0 72 0 0 0 15 0 13 0 89150318 1515683840 31339 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 4 0 16800975 18446604437827900544 0 0 -1 1 0 0 0
[pid=7695/tid=7705] ppid=7663 vsize=1480160 CPUtime=0
/proc/7695/task/7705/stat : 7705 (java) S 7663 7695 7695 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 13 0 89150318 1515683840 31339 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 4 0 16800975 18446604437827900544 0 0 -1 0 0 0 0
[pid=7695/tid=7706] ppid=7663 vsize=1480160 CPUtime=0
/proc/7695/task/7706/stat : 7706 (java) S 7663 7695 7695 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 13 0 89150318 1515683840 31339 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 4 0 16800975 18446604437827900544 0 0 -1 0 0 0 0
[pid=7695/tid=7707] ppid=7663 vsize=1480160 CPUtime=0
/proc/7695/task/7707/stat : 7707 (java) S 7663 7695 7695 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 13 0 89150404 1515683840 31339 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 4 0 16800975 18446604437827900544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 430.66
Current children cumulated vsize (KiB) 1614272

[startup+462.301 s]
/proc/loadavg: 1.15 1.09 1.02 2/120 7711
/proc/meminfo: memFree=1441476/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=134112 CPUtime=398.96
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 18180 99483 49 9 3240 411 36143 102 15 0 1 0 89113580 137330688 6337 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060209167 0 0 16781312 2 159836005329808117 0 0 17 1 0 0 24
/proc/7663/statm: 33528 6337 1143 1 0 5165 0
[pid=7695] ppid=7663 vsize=1480160 CPUtime=96.46
/proc/7695/stat : 7695 (java) S 7663 7695 7695 0 -1 4202496 90139 0 87 0 9597 49 0 0 16 0 13 0 89150288 1515683840 88335 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 6
/proc/7695/statm: 370040 88335 1435 10 0 367342 0
[pid=7695/tid=7696] ppid=7663 vsize=1480160 CPUtime=94.44
/proc/7695/task/7696/stat : 7696 (java) R 7663 7695 7695 0 -1 4202560 30910 0 54 0 9431 13 0 0 25 0 13 0 89150299 1515683840 88335 1992294400 134512640 134550932 4294839456 18446744073709551615 4109590316 0 4 0 16800975 0 0 0 -1 0 0 0 12
[pid=7695/tid=7697] ppid=7663 vsize=1480160 CPUtime=0.25
/proc/7695/task/7697/stat : 7697 (java) S 7663 7695 7695 0 -1 4202560 26553 0 0 0 10 15 0 0 18 0 13 0 89150306 1515683840 88335 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 4 0 16800975 18446604437827900544 0 0 -1 1 0 0 0
[pid=7695/tid=7698] ppid=7663 vsize=1480160 CPUtime=0.26
/proc/7695/task/7698/stat : 7698 (java) S 7663 7695 7695 0 -1 4202560 28975 0 0 0 10 16 0 0 18 0 13 0 89150306 1515683840 88335 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 4 0 16800975 18446604437827900544 0 0 -1 0 0 0 0
[pid=7695/tid=7699] ppid=7663 vsize=1480160 CPUtime=0
/proc/7695/task/7699/stat : 7699 (java) S 7663 7695 7695 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 13 0 89150309 1515683840 88335 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 0 0 16800975 18446604437827900544 0 0 -1 0 0 0 0
[pid=7695/tid=7700] ppid=7663 vsize=1480160 CPUtime=0
/proc/7695/task/7700/stat : 7700 (java) S 7663 7695 7695 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 89150310 1515683840 88335 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 4 0 16800975 18446604437827900544 0 0 -1 0 0 0 0
[pid=7695/tid=7701] ppid=7663 vsize=1480160 CPUtime=0
/proc/7695/task/7701/stat : 7701 (java) S 7663 7695 7695 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 89150310 1515683840 88335 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 4 0 16800975 18446604437827900544 0 0 -1 0 0 0 0
[pid=7695/tid=7702] ppid=7663 vsize=1480160 CPUtime=0
/proc/7695/task/7702/stat : 7702 (java) S 7663 7695 7695 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 89150318 1515683840 88335 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 4 0 16800975 18446604437827900544 0 0 -1 0 0 0 0
[pid=7695/tid=7703] ppid=7663 vsize=1480160 CPUtime=0.71
/proc/7695/task/7703/stat : 7703 (java) S 7663 7695 7695 0 -1 4202560 1407 0 0 0 70 1 0 0 15 0 13 0 89150318 1515683840 88335 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 4 0 16800975 18446604437827900544 0 0 -1 1 0 0 0
[pid=7695/tid=7704] ppid=7663 vsize=1480160 CPUtime=0.73
/proc/7695/task/7704/stat : 7704 (java) S 7663 7695 7695 0 -1 4202560 946 0 0 0 73 0 0 0 15 0 13 0 89150318 1515683840 88335 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 4 0 16800975 18446604437827900544 0 0 -1 1 0 0 0
[pid=7695/tid=7705] ppid=7663 vsize=1480160 CPUtime=0
/proc/7695/task/7705/stat : 7705 (java) S 7663 7695 7695 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 13 0 89150318 1515683840 88335 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 4 0 16800975 18446604437827900544 0 0 -1 0 0 0 0
[pid=7695/tid=7706] ppid=7663 vsize=1480160 CPUtime=0
/proc/7695/task/7706/stat : 7706 (java) S 7663 7695 7695 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 13 0 89150318 1515683840 88335 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 4 0 16800975 18446604437827900544 0 0 -1 0 0 0 0
[pid=7695/tid=7707] ppid=7663 vsize=1480160 CPUtime=0
/proc/7695/task/7707/stat : 7707 (java) S 7663 7695 7695 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 13 0 89150404 1515683840 88335 1992294400 134512640 134550932 4294839456 18446744073709551615 4294960144 0 4 0 16800975 18446604437827900544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 495.42
Current children cumulated vsize (KiB) 1614272

[startup+522.313 s]
/proc/loadavg: 1.05 1.07 1.02 2/108 7716
/proc/meminfo: memFree=1709164/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=134112 CPUtime=505.13
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 19472 190537 49 96 3700 459 46197 157 15 0 1 0 89113580 137330688 6337 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060209167 0 0 16781312 2 159836005329808117 0 0 17 1 0 0 24
/proc/7663/statm: 33528 6337 1143 1 0 5165 0
[pid=7714] ppid=7663 vsize=84704 CPUtime=55.32
/proc/7714/stat : 7714 (wbo1.4b) R 7663 7714 7714 0 -1 4202496 21360 0 0 0 5510 22 0 0 25 0 1 0 89160275 86736896 20687 1992294400 134512640 135751879 4289593184 18446744073709551615 134517414 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/7714/statm: 21176 20687 144 303 0 20871 0
Current children cumulated CPU time (s) 560.45
Current children cumulated vsize (KiB) 218816

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

[startup+537.601 s]
/proc/loadavg: 1.04 1.07 1.02 2/108 7716
/proc/meminfo: memFree=1681140/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=134112 CPUtime=506.28
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 19478 190537 49 96 3803 471 46197 157 15 0 1 0 89113580 137330688 6337 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060209167 0 0 16781312 2 159836005329808117 0 0 17 1 0 0 24
/proc/7663/statm: 33528 6337 1143 1 0 5165 0
[pid=7714] ppid=7663 vsize=112756 CPUtime=70.61
/proc/7714/stat : 7714 (wbo1.4b) R 7663 7714 7714 0 -1 4202496 28360 0 0 0 7034 27 0 0 25 0 1 0 89160275 115462144 27687 1992294400 134512640 135751879 4289593184 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/7714/statm: 28189 27687 144 303 0 27884 0
Current children cumulated CPU time (s) 576.89
Current children cumulated vsize (KiB) 246868

[startup+550.402 s]
/proc/loadavg: 1.03 1.06 1.02 2/108 7716
/proc/meminfo: memFree=1656960/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=134112 CPUtime=507.22
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 19483 190537 49 96 3886 482 46197 157 15 0 1 0 89113580 137330688 6337 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060209167 0 0 16781312 2 159836005329808117 0 0 17 1 0 0 24
/proc/7663/statm: 33528 6337 1143 1 0 5165 0
[pid=7714] ppid=7663 vsize=135352 CPUtime=83.4
/proc/7714/stat : 7714 (wbo1.4b) R 7663 7714 7714 0 -1 4202496 34021 0 0 0 8310 30 0 0 25 0 1 0 89160275 138600448 33348 1992294400 134512640 135751879 4289593184 18446744073709551615 134616444 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/7714/statm: 33838 33348 144 303 0 33533 0
Current children cumulated CPU time (s) 590.62
Current children cumulated vsize (KiB) 269464

[startup+563.201 s]
/proc/loadavg: 1.02 1.06 1.01 2/108 7716
/proc/meminfo: memFree=1640468/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=134112 CPUtime=508.21
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 19488 190537 49 96 3976 491 46197 157 16 0 1 0 89113580 137330688 6337 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060209167 0 0 16781312 2 159836005329808117 0 0 17 1 0 0 24
/proc/7663/statm: 33528 6337 1143 1 0 5165 0
[pid=7714] ppid=7663 vsize=151292 CPUtime=96.2
/proc/7714/stat : 7714 (wbo1.4b) R 7663 7714 7714 0 -1 4202496 37988 0 0 0 9588 32 0 0 25 0 1 0 89160275 154923008 37315 1992294400 134512640 135751879 4289593184 18446744073709551615 134616505 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/7714/statm: 37823 37315 144 303 0 37518 0
Current children cumulated CPU time (s) 604.41
Current children cumulated vsize (KiB) 285404

[startup+569.601 s]
/proc/loadavg: 1.18 1.09 1.02 2/108 7719
/proc/meminfo: memFree=1787160/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=134112 CPUtime=609.68
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 20667 230591 49 96 4032 497 56246 193 15 0 1 0 89113580 137330688 6339 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060209167 0 0 16781312 2 159688670771686133 0 0 17 0 0 0 24
/proc/7663/statm: 33528 6339 1143 1 0 5165 0
[pid=7719] ppid=7663 vsize=15956 CPUtime=1.7
/proc/7719/stat : 7719 (bsolo_pb10) R 7663 7719 7719 0 -1 4202496 2045 0 0 0 167 3 0 0 20 0 1 0 89170369 16338944 1553 1992294400 134512640 137138936 4289972128 18446744073709551615 134607015 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/7719/statm: 3989 1553 192 642 0 3345 0
Current children cumulated CPU time (s) 611.38
Current children cumulated vsize (KiB) 150068

[startup+571.202 s]
/proc/loadavg: 1.18 1.09 1.02 2/108 7719
/proc/meminfo: memFree=1780340/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=134112 CPUtime=609.79
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 20672 230591 49 96 4042 498 56246 193 16 0 1 0 89113580 137330688 6339 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060209167 0 0 16781312 2 159688670771686133 0 0 17 0 0 0 24
/proc/7663/statm: 33528 6339 1143 1 0 5165 0
[pid=7719] ppid=7663 vsize=20620 CPUtime=3.27
/proc/7719/stat : 7719 (bsolo_pb10) R 7663 7719 7719 0 -1 4202496 3217 0 0 0 324 3 0 0 25 0 1 0 89170369 21114880 2725 1992294400 134512640 137138936 4289972128 18446744073709551615 134607253 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/7719/statm: 5155 2725 192 642 0 4511 0
Current children cumulated CPU time (s) 613.06
Current children cumulated vsize (KiB) 154732

[startup+572.801 s]
/proc/loadavg: 1.18 1.09 1.02 2/108 7719
/proc/meminfo: memFree=1777984/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=134112 CPUtime=609.91
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 20677 230591 49 96 4052 500 56246 193 15 0 1 0 89113580 137330688 6339 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060209167 0 0 16781312 2 159688670771686133 0 0 17 0 0 0 24
/proc/7663/statm: 33528 6339 1143 1 0 5165 0
[pid=7719] ppid=7663 vsize=23432 CPUtime=4.87
/proc/7719/stat : 7719 (bsolo_pb10) R 7663 7719 7719 0 -1 4202496 3901 0 0 0 483 4 0 0 25 0 1 0 89170369 23994368 3409 1992294400 134512640 137138936 4289972128 18446744073709551615 134606997 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/7719/statm: 5858 3409 192 642 0 5214 0
Current children cumulated CPU time (s) 614.78
Current children cumulated vsize (KiB) 157544

[startup+573.209 s]
/proc/loadavg: 1.17 1.09 1.02 2/108 7719
/proc/meminfo: memFree=1776496/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=134112 CPUtime=609.95
/proc/7663/stat : 7663 (python) S 7661 7663 7638 0 -1 4202496 20679 230591 49 96 4056 500 56246 193 15 0 1 0 89113580 137330688 6339 1992294400 4194304 4196484 140736460482256 18446744073709551615 223060209167 0 0 16781312 2 159688670771686133 0 0 17 0 0 0 24
/proc/7663/statm: 33528 6339 1143 1 0 5165 0
[pid=7719] ppid=7663 vsize=23976 CPUtime=5.28
/proc/7719/stat : 7719 (bsolo_pb10) R 7663 7719 7719 0 -1 4202496 4030 0 0 0 524 4 0 0 25 0 1 0 89170369 24551424 3538 1992294400 134512640 137138936 4289972128 18446744073709551615 134575044 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/7719/statm: 5994 3538 192 642 0 5350 0
Current children cumulated CPU time (s) 615.23
Current children cumulated vsize (KiB) 158088

[startup+573.603 s]
/proc/loadavg: 1.17 1.09 1.02 2/108 7719
/proc/meminfo: memFree=1776496/2059040 swapFree=4135988/4192956
[pid=7663] ppid=7661 vsize=134108 CPUtime=615.62
/proc/7663/stat : 7663 (python) R 7661 7663 7638 0 -1 4202496 24538 235603 49 96 4072 502 56789 199 15 0 1 0 89113580 137326592 6341 1992294400 4194304 4196484 140736460482256 18446744073709551615 47235342720086 0 0 16781312 0 0 0 0 17 1 0 0 24
/proc/7663/statm: 33527 6341 1143 1 0 5164 0
Current children cumulated CPU time (s) 615.62
Current children cumulated vsize (KiB) 134108

Child status: 20
Real time (s): 573.645
CPU time (s): 615.694
CPU user time (s): 608.662
CPU system time (s): 7.03293
CPU usage (%): 107.33
Max. virtual memory (cumulated for all children) (KiB): 1614428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 608.661
system time used= 7.03293
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261185
page faults= 145
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10641
involuntary context switches= 13140

runsolver used 1.12583 second user time and 2.97155 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-21 17:45:19
IDJOB=2676296
IDBENCH=2578
IDSOLVER=1178
FILE ID=node011/2676296-1277135119
PBS_JOBID= 11182113
Free space on /tmp= 62496 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2676296-1277135119/watcher-2676296-1277135119 -o /tmp/evaluation-result-2676296-1277135119/solver-2676296-1277135119 -C 1800 -W 2000 -M 1800  solver HOME/instance-2676296-1277135119.opb 1187248144 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 0b4d976a66cd69333fd390f8a9139e21
RANDOM SEED=1187248144

node011.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1842920 kB
Buffers:          8604 kB
Cached:         121232 kB
SwapCached:       9548 kB
Active:          60920 kB
Inactive:        81828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1842920 kB
SwapTotal:     4192956 kB
SwapFree:      4135988 kB
Dirty:           20888 kB
Writeback:          12 kB
AnonPages:       11568 kB
Mapped:           9092 kB
Slab:            51496 kB
PageTables:       3984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182268 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62476 MiB
End job on node011 at 2010-06-21 17:54:54