Trace number 2675955

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 956.748 902.052

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb
MD5SUM9a7dcf907234f84f0d33881f56632ec3
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 benchmark830.59
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
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 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 625
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.03/1.47	c DEBUG: probabilities of action success (DCM model):
1.03/1.47	c        pb/competition_2010/bsolo_pb10-l1   : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331
1.03/1.47	c        pb/competition_2010/bsolo_pb10-l2   : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493
1.03/1.47	c        pb/competition_2010/bsolo_pb10-l3   : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927
1.03/1.47	c        pb/competition_2010/wbo1.4a         : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114
1.03/1.47	c        pb/competition_2010/wbo1.4b         : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796
1.03/1.47	c        pb/other/clasp-1.3.3                : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586
1.03/1.47	c        pb/other/sat4j-pb-v20090829         : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315
1.03/1.47	c        pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110
1.13/1.50	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=112248753', u'HOME/instance-2675955-1277134609.opb'] for 0:00:10
11.79/11.68	c DEBUG: probabilities of action success (DCM model):
11.79/11.68	c        pb/competition_2010/bsolo_pb10-l1   : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203
11.79/11.68	c        pb/competition_2010/bsolo_pb10-l2   : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839
11.79/11.68	c        pb/competition_2010/bsolo_pb10-l3   : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668
11.79/11.68	c        pb/competition_2010/wbo1.4a         : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920
11.79/11.68	c        pb/competition_2010/wbo1.4b         : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713
11.79/11.68	c        pb/other/clasp-1.3.3                : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405
11.79/11.68	c        pb/other/sat4j-pb-v20090829         : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733
11.79/11.68	c        pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874
11.79/11.69	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=101413514', u'HOME/instance-2675955-1277134609.opb'] for 0:00:50
65.34/62.24	c DEBUG: probabilities of action success (DCM model):
65.34/62.24	c        pb/competition_2010/bsolo_pb10-l1   : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502
65.34/62.24	c        pb/competition_2010/bsolo_pb10-l2   : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606
65.34/62.24	c        pb/competition_2010/bsolo_pb10-l3   : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877
65.34/62.24	c        pb/competition_2010/wbo1.4a         : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608
65.34/62.24	c        pb/competition_2010/wbo1.4b         : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592
65.34/62.24	c        pb/other/clasp-1.3.3                : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135
65.34/62.24	c        pb/other/sat4j-pb-v20090829         : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124
65.34/62.24	c        pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541
65.34/62.24	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2675955-1277134609.opb'] for 0:00:50
119.81/113.41	c DEBUG: probabilities of action success (DCM model):
119.81/113.41	c        pb/competition_2010/bsolo_pb10-l1   : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900
119.81/113.41	c        pb/competition_2010/bsolo_pb10-l2   : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225
119.81/113.41	c        pb/competition_2010/bsolo_pb10-l3   : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184
119.81/113.41	c        pb/competition_2010/wbo1.4a         : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342
119.81/113.41	c        pb/competition_2010/wbo1.4b         : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401
119.81/113.41	c        pb/other/clasp-1.3.3                : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027
119.81/113.41	c        pb/other/sat4j-pb-v20090829         : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982
119.81/113.41	c        pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127
119.81/113.42	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=810236766', u'HOME/instance-2675955-1277134609.opb'] for 0:01:40
225.79/213.83	c DEBUG: probabilities of action success (DCM model):
225.79/213.83	c        pb/competition_2010/bsolo_pb10-l1   : 0.0247 0.0400 0.0751 0.1401 0.2219 0.2508 0.3462
225.79/213.83	c        pb/competition_2010/bsolo_pb10-l2   : 0.0050 0.0071 0.0079 0.0295 0.0510 0.0684 0.1710
225.79/213.83	c        pb/competition_2010/bsolo_pb10-l3   : 0.0355 0.0650 0.0805 0.0954 0.1214 0.1529 0.2736
225.79/213.83	c        pb/competition_2010/wbo1.4a         : 0.0631 0.0338 0.2163 0.4128 0.5510 0.6157 0.7989
225.79/213.83	c        pb/competition_2010/wbo1.4b         : 0.0545 0.1268 0.2082 0.4263 0.5997 0.6749 0.8065
225.79/213.83	c        pb/other/clasp-1.3.3                : 0.0347 0.0418 0.0948 0.6033 0.7238 0.7699 0.8744
225.79/213.83	c        pb/other/sat4j-pb-v20090829         : 0.0247 0.1147 0.2008 0.3538 0.4371 0.5085 0.6375
225.79/213.83	c        pb/other/sat4j-pb-v20090829-cutting : 0.0098 0.0590 0.0635 0.1475 0.1811 0.2159 0.3382
225.79/213.84	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2675955-1277134609.opb'] for 0:01:40
333.76/316.17	c DEBUG: probabilities of action success (DCM model):
333.76/316.17	c        pb/competition_2010/bsolo_pb10-l1   : 0.0156 0.0235 0.0614 0.1303 0.1974 0.2250 0.3271
333.76/316.17	c        pb/competition_2010/bsolo_pb10-l2   : 0.0011 0.0016 0.0016 0.0218 0.0428 0.0588 0.1723
333.76/316.17	c        pb/competition_2010/bsolo_pb10-l3   : 0.0364 0.0633 0.0713 0.0764 0.0953 0.1265 0.2416
333.76/316.17	c        pb/competition_2010/wbo1.4a         : 0.0388 0.0143 0.0065 0.3252 0.4879 0.5653 0.7780
333.76/316.17	c        pb/competition_2010/wbo1.4b         : 0.0491 0.1120 0.1818 0.3951 0.5855 0.6732 0.7962
333.76/316.17	c        pb/other/clasp-1.3.3                : 0.0380 0.0372 0.0847 0.6129 0.7311 0.7735 0.8750
333.76/316.17	c        pb/other/sat4j-pb-v20090829         : 0.0223 0.0941 0.1681 0.3180 0.4093 0.4810 0.6269
333.76/316.17	c        pb/other/sat4j-pb-v20090829-cutting : 0.0089 0.0525 0.0541 0.1163 0.1522 0.1791 0.3190
333.76/316.17	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2675955-1277134609.opb'] for 0:00:50
388.41/367.57	c DEBUG: probabilities of action success (DCM model):
388.41/367.57	c        pb/competition_2010/bsolo_pb10-l1   : 0.0121 0.0167 0.0564 0.1255 0.1980 0.2239 0.3192
388.41/367.57	c        pb/competition_2010/bsolo_pb10-l2   : 0.0002 0.0004 0.0004 0.0188 0.0361 0.0540 0.1522
388.41/367.57	c        pb/competition_2010/bsolo_pb10-l3   : 0.0390 0.0684 0.0706 0.0756 0.0833 0.1148 0.2137
388.41/367.57	c        pb/competition_2010/wbo1.4a         : 0.0407 0.0109 0.0051 0.2928 0.4496 0.5315 0.7564
388.41/367.57	c        pb/competition_2010/wbo1.4b         : 0.0348 0.0018 0.1419 0.3470 0.5421 0.6387 0.7765
388.41/367.57	c        pb/other/clasp-1.3.3                : 0.0383 0.0341 0.0720 0.5896 0.7131 0.7571 0.8647
388.41/367.57	c        pb/other/sat4j-pb-v20090829         : 0.0164 0.0836 0.1593 0.3116 0.3998 0.4540 0.5947
388.41/367.57	c        pb/other/sat4j-pb-v20090829-cutting : 0.0074 0.0356 0.0375 0.0756 0.1084 0.1272 0.2619
388.41/367.57	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-2675955-1277134609.opb'] for 0:01:40
495.03/467.29	c DEBUG: probabilities of action success (DCM model):
495.03/467.29	c        pb/competition_2010/bsolo_pb10-l1   : 0.0113 0.0134 0.0468 0.1111 0.1700 0.2008 0.3121
495.03/467.29	c        pb/competition_2010/bsolo_pb10-l2   : 0.0003 0.0004 0.0004 0.0097 0.0246 0.0337 0.1349
495.03/467.29	c        pb/competition_2010/bsolo_pb10-l3   : 0.0350 0.0698 0.0716 0.0742 0.0803 0.1102 0.2054
495.03/467.29	c        pb/competition_2010/wbo1.4a         : 0.0412 0.0077 0.0057 0.2651 0.4171 0.5010 0.7572
495.03/467.29	c        pb/competition_2010/wbo1.4b         : 0.0393 0.0018 0.1223 0.3301 0.5006 0.5897 0.7412
495.03/467.29	c        pb/other/clasp-1.3.3                : 0.0438 0.0393 0.0774 0.5834 0.6917 0.7344 0.8415
495.03/467.29	c        pb/other/sat4j-pb-v20090829         : 0.0113 0.0469 0.0012 0.2219 0.2984 0.3590 0.5209
495.03/467.29	c        pb/other/sat4j-pb-v20090829-cutting : 0.0068 0.0314 0.0319 0.0608 0.0967 0.1155 0.2497
495.03/467.29	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2675955-1277134609.opb'] for 0:01:40
603.07/569.19	c DEBUG: probabilities of action success (DCM model):
603.07/569.19	c        pb/competition_2010/bsolo_pb10-l1   : 0.0057 0.0071 0.0414 0.1021 0.1619 0.1915 0.2956
603.07/569.19	c        pb/competition_2010/bsolo_pb10-l2   : 0.0001 0.0001 0.0001 0.0077 0.0229 0.0303 0.1153
603.07/569.19	c        pb/competition_2010/bsolo_pb10-l3   : 0.0337 0.0722 0.0727 0.0742 0.0771 0.1052 0.1843
603.07/569.19	c        pb/competition_2010/wbo1.4a         : 0.0430 0.0055 0.0046 0.2375 0.3823 0.4676 0.7399
603.07/569.19	c        pb/competition_2010/wbo1.4b         : 0.0298 0.0007 0.0251 0.2904 0.4467 0.5397 0.7097
603.07/569.19	c        pb/other/clasp-1.3.3                : 0.0452 0.0419 0.0705 0.5569 0.6657 0.7106 0.8227
603.07/569.19	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0367 0.0011 0.1953 0.2620 0.3061 0.4652
603.07/569.19	c        pb/other/sat4j-pb-v20090829-cutting : 0.0047 0.0213 0.0220 0.0357 0.0726 0.0877 0.2092
603.07/569.20	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-2675955-1277134609.opb'] for 0:00:50
656.89/620.02	c DEBUG: probabilities of action success (DCM model):
656.89/620.02	c        pb/competition_2010/bsolo_pb10-l1   : 0.0056 0.0070 0.0350 0.0875 0.1379 0.1679 0.2779
656.89/620.02	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0082 0.0206 0.0285 0.1112
656.89/620.02	c        pb/competition_2010/bsolo_pb10-l3   : 0.0271 0.0006 0.0648 0.0663 0.0694 0.0943 0.1707
656.89/620.02	c        pb/competition_2010/wbo1.4a         : 0.0418 0.0058 0.0048 0.2383 0.3810 0.4683 0.7449
656.89/620.02	c        pb/competition_2010/wbo1.4b         : 0.0319 0.0007 0.0234 0.2842 0.4328 0.5290 0.7099
656.89/620.02	c        pb/other/clasp-1.3.3                : 0.0466 0.0429 0.0715 0.5647 0.6728 0.7172 0.8274
656.89/620.02	c        pb/other/sat4j-pb-v20090829         : 0.0089 0.0393 0.0011 0.1832 0.2460 0.2933 0.4648
656.89/620.02	c        pb/other/sat4j-pb-v20090829-cutting : 0.0049 0.0225 0.0232 0.0376 0.0774 0.0936 0.2247
656.89/620.02	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1828902879', u'HOME/instance-2675955-1277134609.opb'] for 0:00:10
667.68/630.21	c DEBUG: probabilities of action success (DCM model):
667.68/630.21	c        pb/competition_2010/bsolo_pb10-l1   : 0.0048 0.0062 0.0356 0.0901 0.1429 0.1729 0.2823
667.68/630.21	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0085 0.0216 0.0299 0.1142
667.68/630.21	c        pb/competition_2010/bsolo_pb10-l3   : 0.0284 0.0006 0.0660 0.0675 0.0708 0.0964 0.1746
667.68/630.21	c        pb/competition_2010/wbo1.4a         : 0.0419 0.0061 0.0050 0.2416 0.3851 0.4718 0.7463
667.68/630.21	c        pb/competition_2010/wbo1.4b         : 0.0313 0.0007 0.0242 0.2884 0.4409 0.5368 0.7143
667.68/630.21	c        pb/other/clasp-1.3.3                : 0.0432 0.0422 0.0717 0.5642 0.6732 0.7178 0.8280
667.68/630.21	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0402 0.0011 0.1889 0.2523 0.3000 0.4690
667.68/630.21	c        pb/other/sat4j-pb-v20090829-cutting : 0.0041 0.0196 0.0203 0.0354 0.0744 0.0909 0.2215
667.68/630.22	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=211120233', u'HOME/instance-2675955-1277134609.opb'] for 0:00:10
678.46/640.41	c DEBUG: probabilities of action success (DCM model):
678.46/640.41	c        pb/competition_2010/bsolo_pb10-l1   : 0.0043 0.0058 0.0365 0.0929 0.1481 0.1780 0.2865
678.46/640.41	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0089 0.0225 0.0312 0.1171
678.46/640.41	c        pb/competition_2010/bsolo_pb10-l3   : 0.0297 0.0007 0.0671 0.0686 0.0720 0.0984 0.1784
678.46/640.41	c        pb/competition_2010/wbo1.4a         : 0.0419 0.0064 0.0052 0.2447 0.3890 0.4751 0.7470
678.46/640.41	c        pb/competition_2010/wbo1.4b         : 0.0310 0.0007 0.0249 0.2925 0.4487 0.5442 0.7181
678.46/640.41	c        pb/other/clasp-1.3.3                : 0.0408 0.0415 0.0717 0.5640 0.6738 0.7185 0.8288
678.46/640.41	c        pb/other/sat4j-pb-v20090829         : 0.0081 0.0414 0.0012 0.1953 0.2599 0.3078 0.4741
678.46/640.41	c        pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0182 0.0189 0.0346 0.0729 0.0895 0.2196
678.46/640.42	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2675955-1277134609.opb'] for 0:00:10
689.79/650.87	c DEBUG: probabilities of action success (DCM model):
689.79/650.87	c        pb/competition_2010/bsolo_pb10-l1   : 0.0042 0.0051 0.0367 0.0952 0.1515 0.1809 0.2919
689.79/650.87	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0091 0.0232 0.0322 0.1217
689.79/650.87	c        pb/competition_2010/bsolo_pb10-l3   : 0.0308 0.0006 0.0658 0.0668 0.0704 0.0979 0.1806
689.79/650.87	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0062 0.0054 0.2431 0.3935 0.4830 0.7552
689.79/650.87	c        pb/competition_2010/wbo1.4b         : 0.0322 0.0006 0.0259 0.2941 0.4539 0.5495 0.7272
689.79/650.87	c        pb/other/clasp-1.3.3                : 0.0407 0.0412 0.0702 0.5773 0.6906 0.7332 0.8386
689.79/650.87	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0415 0.0012 0.1996 0.2666 0.3166 0.4896
689.79/650.87	c        pb/other/sat4j-pb-v20090829-cutting : 0.0038 0.0187 0.0192 0.0349 0.0747 0.0916 0.2271
689.79/650.87	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1798741903', u'HOME/instance-2675955-1277134609.opb'] for 0:00:10
700.60/661.07	c DEBUG: probabilities of action success (DCM model):
700.60/661.07	c        pb/competition_2010/bsolo_pb10-l1   : 0.0039 0.0049 0.0378 0.0982 0.1569 0.1862 0.2962
700.60/661.07	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0095 0.0242 0.0336 0.1245
700.60/661.07	c        pb/competition_2010/bsolo_pb10-l3   : 0.0321 0.0007 0.0669 0.0680 0.0717 0.1000 0.1846
700.60/661.07	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0064 0.0056 0.2461 0.3974 0.4861 0.7556
700.60/661.07	c        pb/competition_2010/wbo1.4b         : 0.0321 0.0006 0.0266 0.2983 0.4618 0.5570 0.7307
700.60/661.07	c        pb/other/clasp-1.3.3                : 0.0387 0.0405 0.0702 0.5772 0.6912 0.7339 0.8394
700.60/661.07	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0428 0.0012 0.2064 0.2748 0.3250 0.4951
700.60/661.07	c        pb/other/sat4j-pb-v20090829-cutting : 0.0036 0.0179 0.0184 0.0347 0.0737 0.0907 0.2256
700.60/661.07	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1051225824', u'HOME/instance-2675955-1277134609.opb'] for 0:00:10
711.38/671.26	c DEBUG: probabilities of action success (DCM model):
711.38/671.26	c        pb/competition_2010/bsolo_pb10-l1   : 0.0037 0.0048 0.0389 0.1012 0.1623 0.1915 0.3004
711.38/671.26	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0099 0.0251 0.0349 0.1274
711.38/671.26	c        pb/competition_2010/bsolo_pb10-l3   : 0.0334 0.0007 0.0680 0.0691 0.0729 0.1020 0.1884
711.38/671.26	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0067 0.0057 0.2490 0.4011 0.4892 0.7558
711.38/671.26	c        pb/competition_2010/wbo1.4b         : 0.0320 0.0006 0.0273 0.3025 0.4695 0.5642 0.7341
711.38/671.26	c        pb/other/clasp-1.3.3                : 0.0369 0.0398 0.0702 0.5772 0.6919 0.7347 0.8403
711.38/671.26	c        pb/other/sat4j-pb-v20090829         : 0.0083 0.0442 0.0013 0.2134 0.2832 0.3336 0.5007
711.38/671.26	c        pb/other/sat4j-pb-v20090829-cutting : 0.0034 0.0174 0.0179 0.0348 0.0730 0.0901 0.2243
711.38/671.26	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=2109476061', u'HOME/instance-2675955-1277134609.opb'] for 0:00:10
722.16/681.46	c DEBUG: probabilities of action success (DCM model):
722.16/681.46	c        pb/competition_2010/bsolo_pb10-l1   : 0.0036 0.0047 0.0401 0.1043 0.1677 0.1967 0.3047
722.16/681.46	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0103 0.0261 0.0362 0.1301
722.16/681.46	c        pb/competition_2010/bsolo_pb10-l3   : 0.0347 0.0007 0.0690 0.0701 0.0742 0.1041 0.1923
722.16/681.46	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0069 0.0059 0.2519 0.4048 0.4922 0.7560
722.16/681.46	c        pb/competition_2010/wbo1.4b         : 0.0319 0.0006 0.0280 0.3065 0.4771 0.5714 0.7375
722.16/681.46	c        pb/other/clasp-1.3.3                : 0.0352 0.0390 0.0701 0.5772 0.6926 0.7356 0.8412
722.16/681.46	c        pb/other/sat4j-pb-v20090829         : 0.0084 0.0456 0.0013 0.2203 0.2917 0.3422 0.5065
722.16/681.46	c        pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0170 0.0176 0.0351 0.0725 0.0897 0.2232
722.16/681.46	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=176663605', u'HOME/instance-2675955-1277134609.opb'] for 0:00:10
732.98/691.67	c DEBUG: probabilities of action success (DCM model):
732.98/691.67	c        pb/competition_2010/bsolo_pb10-l1   : 0.0035 0.0046 0.0414 0.1073 0.1730 0.2020 0.3089
732.98/691.67	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0106 0.0270 0.0376 0.1328
732.98/691.67	c        pb/competition_2010/bsolo_pb10-l3   : 0.0359 0.0007 0.0700 0.0712 0.0753 0.1061 0.1960
732.98/691.67	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0071 0.0061 0.2547 0.4085 0.4952 0.7561
732.98/691.67	c        pb/competition_2010/wbo1.4b         : 0.0318 0.0006 0.0287 0.3105 0.4845 0.5783 0.7407
732.98/691.67	c        pb/other/clasp-1.3.3                : 0.0337 0.0383 0.0700 0.5774 0.6935 0.7365 0.8422
732.98/691.67	c        pb/other/sat4j-pb-v20090829         : 0.0085 0.0471 0.0014 0.2273 0.3002 0.3509 0.5123
732.98/691.67	c        pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0168 0.0174 0.0356 0.0721 0.0895 0.2223
732.98/691.67	c DETAIL: running [u'HOME/etc/solvers/competition_2010/bsolo_pb10/bsolo_pb10', u'-t1000000', u'-m2048', u'-l3', u'HOME/instance-2675955-1277134609.opb'] for 0:00:10
743.87/701.75	c DEBUG: probabilities of action success (DCM model):
743.87/701.75	c        pb/competition_2010/bsolo_pb10-l1   : 0.0035 0.0046 0.0335 0.0887 0.1422 0.1723 0.2831
743.87/701.75	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0110 0.0239 0.0348 0.1243
743.87/701.75	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0006 0.0633 0.0644 0.0688 0.0951 0.1792
743.87/701.75	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0074 0.0063 0.2548 0.4004 0.4857 0.7517
743.87/701.75	c        pb/competition_2010/wbo1.4b         : 0.0330 0.0006 0.0260 0.3033 0.4653 0.5626 0.7311
743.87/701.75	c        pb/other/clasp-1.3.3                : 0.0349 0.0397 0.0725 0.5710 0.6821 0.7268 0.8363
743.87/701.75	c        pb/other/sat4j-pb-v20090829         : 0.0088 0.0488 0.0013 0.2079 0.2742 0.3267 0.4941
743.87/701.75	c        pb/other/sat4j-pb-v20090829-cutting : 0.0033 0.0174 0.0180 0.0367 0.0746 0.0926 0.2304
743.87/701.75	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1767043645', u'HOME/instance-2675955-1277134609.opb'] for 0:00:10
754.69/711.94	c DEBUG: probabilities of action success (DCM model):
754.69/711.94	c        pb/competition_2010/bsolo_pb10-l1   : 0.0034 0.0046 0.0345 0.0912 0.1467 0.1766 0.2865
754.69/711.94	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0114 0.0247 0.0360 0.1268
754.69/711.94	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0006 0.0641 0.0652 0.0697 0.0968 0.1824
754.69/711.94	c        pb/competition_2010/wbo1.4a         : 0.0008 0.0077 0.0065 0.2576 0.4039 0.4884 0.7517
754.69/711.94	c        pb/competition_2010/wbo1.4b         : 0.0330 0.0006 0.0266 0.3071 0.4722 0.5692 0.7341
754.69/711.94	c        pb/other/clasp-1.3.3                : 0.0335 0.0390 0.0725 0.5709 0.6826 0.7274 0.8371
754.69/711.94	c        pb/other/sat4j-pb-v20090829         : 0.0089 0.0504 0.0014 0.2144 0.2821 0.3348 0.4995
754.69/711.94	c        pb/other/sat4j-pb-v20090829-cutting : 0.0032 0.0173 0.0179 0.0373 0.0744 0.0926 0.2299
754.69/711.95	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-2675955-1277134609.opb'] for 0:00:50
808.28/761.67	c DEBUG: probabilities of action success (DCM model):
808.28/761.67	c        pb/competition_2010/bsolo_pb10-l1   : 0.0027 0.0033 0.0343 0.0933 0.1487 0.1802 0.2953
808.28/761.67	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0068 0.0207 0.0275 0.1219
808.28/761.67	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0674 0.0680 0.0719 0.1000 0.1870
808.28/761.67	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0066 0.0068 0.2480 0.3953 0.4814 0.7562
808.28/761.67	c        pb/competition_2010/wbo1.4b         : 0.0339 0.0006 0.0270 0.3026 0.4612 0.5528 0.7230
808.28/761.67	c        pb/other/clasp-1.3.3                : 0.0351 0.0409 0.0745 0.5713 0.6785 0.7222 0.8293
808.28/761.67	c        pb/other/sat4j-pb-v20090829         : 0.0060 0.0004 0.0011 0.1829 0.2472 0.3019 0.4737
808.28/761.67	c        pb/other/sat4j-pb-v20090829-cutting : 0.0026 0.0140 0.0144 0.0310 0.0693 0.0875 0.2214
808.28/761.68	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=2021275493', u'HOME/instance-2675955-1277134609.opb'] for 0:00:10
819.12/771.87	c DEBUG: probabilities of action success (DCM model):
819.12/771.87	c        pb/competition_2010/bsolo_pb10-l1   : 0.0027 0.0033 0.0354 0.0960 0.1534 0.1848 0.2992
819.12/771.87	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0071 0.0214 0.0284 0.1243
819.12/771.87	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0683 0.0690 0.0730 0.1019 0.1906
819.12/771.87	c        pb/competition_2010/wbo1.4a         : 0.0006 0.0068 0.0070 0.2506 0.3986 0.4840 0.7563
819.12/771.87	c        pb/competition_2010/wbo1.4b         : 0.0339 0.0006 0.0276 0.3064 0.4679 0.5590 0.7256
819.12/771.87	c        pb/other/clasp-1.3.3                : 0.0338 0.0402 0.0745 0.5713 0.6790 0.7228 0.8299
819.12/771.87	c        pb/other/sat4j-pb-v20090829         : 0.0061 0.0004 0.0012 0.1887 0.2544 0.3093 0.4786
819.12/771.87	c        pb/other/sat4j-pb-v20090829-cutting : 0.0025 0.0141 0.0144 0.0316 0.0691 0.0875 0.2207
819.12/771.88	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2675955-1277134609.opb'] for 0:00:10
830.42/782.27	c DEBUG: probabilities of action success (DCM model):
830.42/782.27	c        pb/competition_2010/bsolo_pb10-l1   : 0.0021 0.0027 0.0359 0.0961 0.1555 0.1853 0.2919
830.42/782.27	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0073 0.0222 0.0294 0.1169
830.42/782.27	c        pb/competition_2010/bsolo_pb10-l3   : 0.0003 0.0007 0.0706 0.0713 0.0755 0.1030 0.1852
830.42/782.27	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0065 0.0052 0.2439 0.3901 0.4758 0.7496
830.42/782.27	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0267 0.2960 0.4524 0.5454 0.7179
830.42/782.27	c        pb/other/clasp-1.3.3                : 0.0338 0.0415 0.0712 0.5594 0.6694 0.7147 0.8248
830.42/782.27	c        pb/other/sat4j-pb-v20090829         : 0.0056 0.0004 0.0012 0.1911 0.2541 0.3010 0.4646
830.42/782.27	c        pb/other/sat4j-pb-v20090829-cutting : 0.0020 0.0120 0.0123 0.0301 0.0690 0.0845 0.2092
830.42/782.28	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=864481883', u'HOME/instance-2675955-1277134609.opb'] for 0:00:10
841.24/792.46	c DEBUG: probabilities of action success (DCM model):
841.24/792.46	c        pb/competition_2010/bsolo_pb10-l1   : 0.0021 0.0027 0.0371 0.0989 0.1604 0.1901 0.2959
841.24/792.46	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0076 0.0230 0.0305 0.1193
841.24/792.46	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0716 0.0723 0.0767 0.1049 0.1888
841.24/792.46	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0067 0.0053 0.2464 0.3934 0.4784 0.7497
841.24/792.46	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0273 0.2998 0.4592 0.5516 0.7206
841.24/792.46	c        pb/other/clasp-1.3.3                : 0.0326 0.0409 0.0712 0.5595 0.6700 0.7154 0.8255
841.24/792.46	c        pb/other/sat4j-pb-v20090829         : 0.0057 0.0004 0.0012 0.1971 0.2615 0.3086 0.4696
841.24/792.46	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0120 0.0124 0.0308 0.0689 0.0846 0.2085
841.24/792.47	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=264123452', u'HOME/instance-2675955-1277134609.opb'] for 0:00:10
852.12/802.65	c DEBUG: probabilities of action success (DCM model):
852.12/802.65	c        pb/competition_2010/bsolo_pb10-l1   : 0.0020 0.0027 0.0382 0.1017 0.1653 0.1949 0.2998
852.12/802.65	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0078 0.0237 0.0315 0.1217
852.12/802.65	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0726 0.0733 0.0778 0.1068 0.1923
852.12/802.65	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0069 0.0055 0.2489 0.3967 0.4810 0.7498
852.12/802.65	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0279 0.3035 0.4659 0.5577 0.7233
852.12/802.65	c        pb/other/clasp-1.3.3                : 0.0314 0.0402 0.0712 0.5597 0.6707 0.7161 0.8262
852.12/802.65	c        pb/other/sat4j-pb-v20090829         : 0.0058 0.0004 0.0013 0.2031 0.2690 0.3163 0.4747
852.12/802.65	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0121 0.0125 0.0315 0.0689 0.0847 0.2079
852.12/802.66	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=818810651', u'HOME/instance-2675955-1277134609.opb'] for 0:00:10
862.94/812.84	c DEBUG: probabilities of action success (DCM model):
862.94/812.84	c        pb/competition_2010/bsolo_pb10-l1   : 0.0020 0.0027 0.0394 0.1045 0.1701 0.1997 0.3036
862.94/812.84	c        pb/competition_2010/bsolo_pb10-l2   : 0.0000 0.0000 0.0000 0.0081 0.0245 0.0325 0.1240
862.94/812.84	c        pb/competition_2010/bsolo_pb10-l3   : 0.0004 0.0007 0.0735 0.0742 0.0789 0.1086 0.1958
862.94/812.84	c        pb/competition_2010/wbo1.4a         : 0.0007 0.0072 0.0056 0.2514 0.3999 0.4836 0.7499
862.94/812.84	c        pb/competition_2010/wbo1.4b         : 0.0003 0.0006 0.0286 0.3071 0.4724 0.5638 0.7259
862.94/812.84	c        pb/other/clasp-1.3.3                : 0.0302 0.0396 0.0712 0.5599 0.6714 0.7169 0.8270
862.94/812.84	c        pb/other/sat4j-pb-v20090829         : 0.0059 0.0004 0.0013 0.2091 0.2764 0.3239 0.4798
862.94/812.84	c        pb/other/sat4j-pb-v20090829-cutting : 0.0019 0.0122 0.0126 0.0322 0.0689 0.0848 0.2073
862.94/812.85	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1622515743', u'HOME/instance-2675955-1277134609.opb'] for 0:05:00
956.57/901.98	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-2675955-1277134609/watcher-2675955-1277134609 -o /tmp/evaluation-result-2675955-1277134609/solver-2675955-1277134609 -C 1800 -W 2000 -M 1800 solver HOME/instance-2675955-1277134609.opb 568007860 

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.79 0.45 0.64 2/105 11053
/proc/meminfo: memFree=1576452/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=16708 CPUtime=0
/proc/11053/stat : 11053 (python) R 11051 11053 10853 0 -1 4202496 741 0 0 0 0 0 0 0 25 0 1 0 54754747 17108992 506 1992294400 4194304 4196484 140736959407344 18446744073709551615 270612771525 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11053/statm: 4177 508 272 1 0 273 0

[startup+0.0544739 s]
/proc/loadavg: 0.79 0.45 0.64 2/105 11053
/proc/meminfo: memFree=1576452/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=18092 CPUtime=0.04
/proc/11053/stat : 11053 (python) R 11051 11053 10853 0 -1 4202496 1932 0 0 0 3 1 0 0 25 0 1 0 54754747 18526208 946 1992294400 4194304 4196484 140736568492624 18446744073709551615 270612771525 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11053/statm: 4523 947 408 1 0 503 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18092

[startup+0.101473 s]
/proc/loadavg: 0.79 0.45 0.64 2/105 11053
/proc/meminfo: memFree=1576452/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=32156 CPUtime=0.07
/proc/11053/stat : 11053 (python) R 11051 11053 10853 0 -1 4202496 2415 0 0 0 5 2 0 0 25 0 1 0 54754747 32927744 1390 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613106533 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11053/statm: 8039 1390 459 1 0 911 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 32156

[startup+0.301491 s]
/proc/loadavg: 0.79 0.45 0.64 2/105 11053
/proc/meminfo: memFree=1576452/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=71248 CPUtime=0.24
/proc/11053/stat : 11053 (python) R 11051 11053 10853 0 -1 4202496 4112 0 0 0 17 7 0 0 25 0 1 0 54754747 72957952 2932 1992294400 4194304 4196484 140736568492624 18446744073709551615 47593080001824 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11053/statm: 17878 2933 693 1 0 2365 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 71248

[startup+0.70153 s]
/proc/loadavg: 0.79 0.45 0.64 2/105 11053
/proc/meminfo: memFree=1576452/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=99064 CPUtime=0.55
/proc/11053/stat : 11053 (python) R 11051 11053 10853 0 -1 4202496 4960 0 0 0 33 22 0 0 25 0 1 0 54754747 101441536 3639 1992294400 4194304 4196484 140736568492624 18446744073709551615 47593080729120 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11053/statm: 24766 3639 1023 1 0 2623 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 99064

[startup+1.50161 s]
/proc/loadavg: 0.79 0.45 0.64 1/106 11058
/proc/meminfo: memFree=1558092/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=129980 CPUtime=1.13
/proc/11053/stat : 11053 (python) R 11051 11053 10853 0 -1 4202496 9922 930 0 0 78 35 0 0 25 0 1 0 54754747 133099520 6293 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613108736 0 2147483391 16781312 2 0 0 0 17 0 0 0 0
/proc/11053/statm: 32495 6293 1123 1 0 5165 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 129980

[startup+3.10077 s]
/proc/loadavg: 0.79 0.45 0.64 3/107 11059
/proc/meminfo: memFree=1554364/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=132048 CPUtime=1.25
/proc/11053/stat : 11053 (python) S 11051 11053 10853 0 -1 4202496 10256 930 0 0 89 36 0 0 16 0 1 0 54754747 135217152 6306 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613130767 0 0 16781312 2 159688670771686217 0 0 17 0 0 0 0
/proc/11053/statm: 33012 6306 1133 1 0 5164 0
[pid=11059] ppid=11053 vsize=2328 CPUtime=1.58
/proc/11059/stat : 11059 (clasp-1.3.3-x86) R 11053 11059 11059 0 -1 4202496 653 0 0 0 158 0 0 0 25 0 1 0 54754898 2383872 336 1992294400 134512640 136080129 4289605712 18446744073709551615 134849620 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11059/statm: 582 336 175 383 0 197 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 134376

[startup+6.30109 s]
/proc/loadavg: 0.81 0.46 0.64 2/107 11059
/proc/meminfo: memFree=1553380/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=132048 CPUtime=1.43
/proc/11053/stat : 11053 (python) S 11051 11053 10853 0 -1 4202496 10269 930 0 0 105 38 0 0 15 0 1 0 54754747 135217152 6306 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613130767 0 0 16781312 2 159688670771686217 0 0 17 0 0 0 0
/proc/11053/statm: 33012 6306 1133 1 0 5164 0
[pid=11059] ppid=11053 vsize=2592 CPUtime=4.75
/proc/11059/stat : 11059 (clasp-1.3.3-x86) R 11053 11059 11059 0 -1 4202496 716 0 0 0 475 0 0 0 25 0 1 0 54754898 2654208 399 1992294400 134512640 136080129 4289605712 18446744073709551615 134610270 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11059/statm: 648 399 175 383 0 263 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 134640

[startup+12.7007 s]
/proc/loadavg: 0.98 0.50 0.65 2/107 11062
/proc/meminfo: memFree=1554388/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=12
/proc/11053/stat : 11053 (python) S 11051 11053 10853 0 -1 4202496 11570 2657 0 0 146 42 1009 3 15 0 1 0 54754747 137326592 6328 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613130767 0 0 16781312 2 159688670771686217 0 0 17 0 0 0 0
/proc/11053/statm: 33527 6328 1143 1 0 5164 0
[pid=11062] ppid=11053 vsize=2200 CPUtime=1.01
/proc/11062/stat : 11062 (clasp-1.3.3-x86) R 11053 11062 11062 0 -1 4202496 633 0 0 0 101 0 0 0 22 0 1 0 54755916 2252800 319 1992294400 134512640 136080129 4291684784 18446744073709551615 134588917 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11062/statm: 550 319 175 383 0 165 0
Current children cumulated CPU time (s) 13.01
Current children cumulated vsize (KiB) 136308

[startup+25.501 s]
/proc/loadavg: 0.98 0.52 0.66 2/107 11062
/proc/meminfo: memFree=1553520/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=12.72
/proc/11053/stat : 11053 (python) S 11051 11053 10853 0 -1 4202496 11612 2657 0 0 211 49 1009 3 16 0 1 0 54754747 137326592 6328 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613130767 0 0 16781312 2 159688670771686217 0 0 17 0 0 0 0
/proc/11053/statm: 33527 6328 1143 1 0 5164 0
[pid=11062] ppid=11053 vsize=3132 CPUtime=13.79
/proc/11062/stat : 11062 (clasp-1.3.3-x86) R 11053 11062 11062 0 -1 4202496 845 0 0 0 1378 1 0 0 25 0 1 0 54755916 3207168 531 1992294400 134512640 136080129 4291684784 18446744073709551615 134803236 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11062/statm: 783 531 175 383 0 398 0
Current children cumulated CPU time (s) 26.51
Current children cumulated vsize (KiB) 137240

[startup+51.1016 s]
/proc/loadavg: 0.99 0.56 0.66 2/107 11064
/proc/meminfo: memFree=1552900/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=14.2
/proc/11053/stat : 11053 (python) S 11051 11053 10853 0 -1 4202496 11700 2657 0 0 345 63 1009 3 15 0 1 0 54754747 137326592 6328 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613130767 0 0 16781312 2 159688670771686217 0 0 17 0 0 0 0
/proc/11053/statm: 33527 6328 1143 1 0 5164 0
[pid=11062] ppid=11053 vsize=3804 CPUtime=39.39
/proc/11062/stat : 11062 (clasp-1.3.3-x86) R 11053 11062 11062 0 -1 4202496 1016 0 0 0 3938 1 0 0 25 0 1 0 54755916 3895296 702 1992294400 134512640 136080129 4291684784 18446744073709551615 134849556 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11062/statm: 951 702 175 383 0 566 0
Current children cumulated CPU time (s) 53.59
Current children cumulated vsize (KiB) 137912

[startup+102.302 s]
/proc/loadavg: 1.07 0.64 0.68 2/107 11067
/proc/meminfo: memFree=1506028/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=68.01
/proc/11053/stat : 11053 (python) R 11051 11053 10853 0 -1 4202496 12957 4648 0 0 638 99 6058 6 15 0 1 0 54754747 137326592 6332 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613130767 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11053/statm: 33527 6332 1143 1 0 5164 0
[pid=11067] ppid=11053 vsize=52124 CPUtime=40.04
/proc/11067/stat : 11067 (wbo1.4a) R 11053 11067 11067 0 -1 4202496 12910 0 0 0 3937 67 0 0 25 0 1 0 54760972 53374976 12576 1992294400 134512640 135751879 4291109920 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11067/statm: 13031 12576 139 303 0 12726 0
Current children cumulated CPU time (s) 108.05
Current children cumulated vsize (KiB) 186232

[startup+162.308 s]
/proc/loadavg: 1.03 0.71 0.70 3/107 11072
/proc/meminfo: memFree=1553148/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=122.64
/proc/11053/stat : 11053 (python) R 11051 11053 10853 0 -1 4202496 14267 21062 0 0 950 137 11086 91 15 0 1 0 54754747 137326592 6333 1992294400 4194304 4196484 140736568492624 18446744073709551615 47593080911281 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11053/statm: 33527 6333 1143 1 0 5164 0
[pid=11072] ppid=11053 vsize=3924 CPUtime=48.76
/proc/11072/stat : 11072 (clasp-1.3.3-x86) R 11053 11072 11072 0 -1 4202496 1046 0 0 0 4876 0 0 0 25 0 1 0 54766089 4018176 730 1992294400 134512640 136080129 4292459104 18446744073709551615 134808132 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11072/statm: 981 730 175 383 0 596 0
Current children cumulated CPU time (s) 171.4
Current children cumulated vsize (KiB) 138032

[startup+222.302 s]
/proc/loadavg: 1.06 0.77 0.72 2/107 11077
/proc/meminfo: memFree=1542608/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=226.69
/proc/11053/stat : 11053 (python) S 11051 11053 10853 0 -1 4202496 15506 23229 0 0 1289 178 21109 93 15 0 1 0 54754747 137326592 6334 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613130767 0 0 16781312 2 159688670771686217 0 0 17 0 0 0 0
/proc/11053/statm: 33527 6334 1143 1 0 5164 0
[pid=11077] ppid=11053 vsize=16060 CPUtime=8.4
/proc/11077/stat : 11077 (wbo1.4a) R 11053 11077 11077 0 -1 4202496 3901 0 0 0 825 15 0 0 25 0 1 0 54776131 16445440 3562 1992294400 134512640 135751879 4294130448 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11077/statm: 4015 3562 139 303 0 3710 0
Current children cumulated CPU time (s) 235.09
Current children cumulated vsize (KiB) 150168

[startup+282.309 s]
/proc/loadavg: 1.02 0.81 0.74 2/107 11079
/proc/meminfo: memFree=1480484/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=230.23
/proc/11053/stat : 11053 (python) R 11051 11053 10853 0 -1 4202496 15575 23229 0 0 1609 212 21109 93 15 0 1 0 54754747 137326592 6334 1992294400 4194304 4196484 140736568492624 18446744073709551615 47593080274676 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11053/statm: 33527 6334 1143 1 0 5164 0
[pid=11077] ppid=11053 vsize=77432 CPUtime=68.02
/proc/11077/stat : 11077 (wbo1.4a) R 11053 11077 11077 0 -1 4202496 19222 0 0 0 6699 103 0 0 25 0 1 0 54776131 79290368 18883 1992294400 134512640 135751879 4294130448 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11077/statm: 19358 18883 139 303 0 19053 0
Current children cumulated CPU time (s) 298.25
Current children cumulated vsize (KiB) 211540

[startup+342.302 s]
/proc/loadavg: 1.15 0.87 0.76 2/107 11084
/proc/meminfo: memFree=1522024/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=335.71
/proc/11053/stat : 11053 (python) S 11051 11053 10853 0 -1 4202496 16859 50528 0 0 1948 255 31127 241 15 0 1 0 54754747 137326592 6336 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613130767 0 0 16781312 2 159836005329808201 0 0 17 1 0 0 0
/proc/11053/statm: 33527 6336 1143 1 0 5164 0
[pid=11082] ppid=11053 vsize=35972 CPUtime=26.1
/proc/11082/stat : 11082 (wbo1.4b) R 11053 11082 11082 0 -1 4202496 8876 0 0 0 2566 44 0 0 25 0 1 0 54786365 36835328 8541 1992294400 134512640 135751879 4289704000 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11082/statm: 8993 8541 144 303 0 8688 0
Current children cumulated CPU time (s) 361.81
Current children cumulated vsize (KiB) 170080

[startup+402.302 s]
/proc/loadavg: 1.27 0.96 0.79 2/119 11099
/proc/meminfo: memFree=1475924/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=390.76
/proc/11053/stat : 11053 (python) S 11051 11053 10853 0 -1 4202496 18156 66437 0 0 2277 295 36179 325 15 0 1 0 54754747 137326592 6338 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613130767 0 0 16781312 2 159836005329808201 0 0 17 1 0 0 0
/proc/11053/statm: 33527 6338 1143 1 0 5164 0
[pid=11087] ppid=11053 vsize=1480244 CPUtime=35.7
/proc/11087/stat : 11087 (java) S 11053 11087 11087 0 -1 4202496 23009 0 1 0 3554 16 0 0 18 0 13 0 54791505 1515769856 21199 1992294400 134512640 134550932 4294386256 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11087/statm: 370061 21199 1426 10 0 367363 0
[pid=11087/tid=11088] ppid=11053 vsize=1480244 CPUtime=34.26
/proc/11087/task/11088/stat : 11088 (java) R 11053 11087 11087 0 -1 4202560 18705 0 1 0 3413 13 0 0 25 0 13 0 54791507 1515769856 21199 1992294400 134512640 134550932 4294386256 18446744073709551615 4109663223 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11087/tid=11089] ppid=11053 vsize=1480244 CPUtime=0
/proc/11087/task/11089/stat : 11089 (java) S 11053 11087 11087 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 54791509 1515769856 21199 1992294400 134512640 134550932 4294386256 18446744073709551615 4294960144 0 4 0 16800975 18446604436597436672 0 0 -1 0 0 0 0
[pid=11087/tid=11090] ppid=11053 vsize=1480244 CPUtime=0
/proc/11087/task/11090/stat : 11090 (java) S 11053 11087 11087 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 54791509 1515769856 21199 1992294400 134512640 134550932 4294386256 18446744073709551615 4294960144 0 4 0 16800975 18446604436597436672 0 0 -1 0 0 0 0
[pid=11087/tid=11091] ppid=11053 vsize=1480244 CPUtime=0

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

/proc/11053/statm: 33527 6339 1143 1 0 5164 0
[pid=11104] ppid=11053 vsize=63584 CPUtime=54.97
/proc/11104/stat : 11104 (wbo1.4b) R 11053 11104 11104 0 -1 4202496 15791 0 0 0 5415 82 0 0 25 0 1 0 54801477 65110016 15453 1992294400 134512640 135751879 4290072560 18446744073709551615 134616350 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11104/statm: 15896 15453 144 303 0 15591 0
Current children cumulated CPU time (s) 553.6
Current children cumulated vsize (KiB) 197692

[startup+582.302 s]
/proc/loadavg: 1.17 1.04 0.85 2/107 11111
/proc/meminfo: memFree=1546576/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=604.18
/proc/11053/stat : 11053 (python) S 11051 11053 10853 0 -1 4202496 20754 123694 0 1 3266 399 56257 496 15 0 1 0 54754747 137326592 6341 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613130767 0 0 16781312 2 159688670771686217 0 0 17 0 0 0 0
/proc/11053/statm: 33527 6341 1143 1 0 5164 0
[pid=11111] ppid=11053 vsize=19284 CPUtime=12.99
/proc/11111/stat : 11111 (bsolo_pb10) R 11053 11111 11111 0 -1 4202496 2716 0 0 0 1297 2 0 0 25 0 1 0 54811667 19746816 2379 1992294400 134512640 137138936 4293711216 18446744073709551615 134542811 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/11111/statm: 4821 2379 192 642 0 4177 0
Current children cumulated CPU time (s) 617.17
Current children cumulated vsize (KiB) 153392

[startup+642.302 s]
/proc/loadavg: 1.11 1.05 0.86 2/107 11122
/proc/meminfo: memFree=1551040/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=678.86
/proc/11053/stat : 11053 (python) S 11051 11053 10853 0 -1 4202496 24444 131292 0 1 3637 424 63319 506 15 0 1 0 54754747 137326592 6342 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613130767 0 0 16781312 2 159836005329808201 0 0 17 1 0 0 0
/proc/11053/statm: 33527 6342 1143 1 0 5164 0
[pid=11122] ppid=11053 vsize=6664 CPUtime=1.87
/proc/11122/stat : 11122 (wbo1.4a) R 11053 11122 11122 0 -1 4202496 1556 0 0 0 182 5 0 0 25 0 1 0 54818790 6823936 1220 1992294400 134512640 135751879 4292672704 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11122/statm: 1666 1220 139 303 0 1361 0
Current children cumulated CPU time (s) 680.73
Current children cumulated vsize (KiB) 140772

[startup+702.302 s]
/proc/loadavg: 1.11 1.06 0.88 2/107 11137
/proc/meminfo: memFree=1545832/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=743.99
/proc/11053/stat : 11053 (python) S 11051 11053 10853 0 -1 4202496 31772 147207 0 1 4000 468 69390 541 18 0 1 0 54754747 137326592 6344 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613130767 0 0 16781312 2 159836005329808201 0 0 17 1 0 0 0
/proc/11053/statm: 33527 6344 1143 1 0 5164 0
Current children cumulated CPU time (s) 743.99
Current children cumulated vsize (KiB) 134108

[startup+762.302 s]
/proc/loadavg: 1.11 1.08 0.89 2/107 11160
/proc/meminfo: memFree=1553956/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=808.49
/proc/11053/stat : 11053 (python) S 11051 11053 10853 0 -1 4202496 34285 174708 0 2 4348 507 75432 562 15 0 1 0 54754747 137326592 6345 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613130767 0 0 16781312 2 159836005329808201 0 0 17 1 0 0 0
/proc/11053/statm: 33527 6345 1143 1 0 5164 0
[pid=11160] ppid=11053 vsize=2196 CPUtime=0.61
/proc/11160/stat : 11160 (clasp-1.3.3-x86) R 11053 11160 11160 0 -1 4202496 619 0 0 0 61 0 0 0 19 0 1 0 54830916 2248704 300 1992294400 134512640 136080129 4290336080 18446744073709551615 134808264 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11160/statm: 549 300 175 383 0 164 0
Current children cumulated CPU time (s) 809.1
Current children cumulated vsize (KiB) 136304

[startup+822.302 s]
/proc/loadavg: 1.14 1.09 0.91 2/107 11177
/proc/meminfo: memFree=1553212/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=863.56
/proc/11053/stat : 11053 (python) S 11051 11053 10853 0 -1 4202496 40476 187026 0 2 4716 551 80500 589 15 0 1 0 54754747 137326592 6347 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613130767 0 0 16781312 2 159688670771686217 0 0 17 0 0 0 0
/proc/11053/statm: 33527 6347 1143 1 0 5164 0
[pid=11177] ppid=11053 vsize=2856 CPUtime=9.4
/proc/11177/stat : 11177 (clasp-1.3.3-x86) R 11053 11177 11177 0 -1 4202496 801 0 0 0 940 0 0 0 25 0 1 0 54836032 2924544 477 1992294400 134512640 136080129 4292617680 18446744073709551615 134579373 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11177/statm: 714 477 175 383 0 329 0
Current children cumulated CPU time (s) 872.96
Current children cumulated vsize (KiB) 136964

[startup+882.302 s]
/proc/loadavg: 1.09 1.09 0.91 2/107 11179
/proc/meminfo: memFree=1551724/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=866.95
/proc/11053/stat : 11053 (python) S 11051 11053 10853 0 -1 4202496 40554 187026 0 2 5019 587 80500 589 15 0 1 0 54754747 137326592 6347 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613130767 0 0 16781312 2 159688670771686217 0 0 17 0 0 0 0
/proc/11053/statm: 33527 6347 1143 1 0 5164 0
[pid=11177] ppid=11053 vsize=4464 CPUtime=69.03
/proc/11177/stat : 11177 (clasp-1.3.3-x86) R 11053 11177 11177 0 -1 4202496 1183 0 0 0 6903 0 0 0 25 0 1 0 54836032 4571136 859 1992294400 134512640 136080129 4292617680 18446744073709551615 134588697 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11177/statm: 1116 859 175 383 0 731 0
Current children cumulated CPU time (s) 935.98
Current children cumulated vsize (KiB) 138572

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

[startup+887.101 s]
/proc/loadavg: 1.08 1.08 0.91 2/107 11179
/proc/meminfo: memFree=1551724/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=867.22
/proc/11053/stat : 11053 (python) S 11051 11053 10853 0 -1 4202496 40556 187026 0 2 5043 590 80500 589 15 0 1 0 54754747 137326592 6347 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613130767 0 0 16781312 2 159688670771686217 0 0 17 0 0 0 0
/proc/11053/statm: 33527 6347 1143 1 0 5164 0
[pid=11177] ppid=11053 vsize=4464 CPUtime=73.8
/proc/11177/stat : 11177 (clasp-1.3.3-x86) R 11053 11177 11177 0 -1 4202496 1194 0 0 0 7380 0 0 0 25 0 1 0 54836032 4571136 870 1992294400 134512640 136080129 4292617680 18446744073709551615 134849717 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11177/statm: 1116 870 175 383 0 731 0
Current children cumulated CPU time (s) 941.02
Current children cumulated vsize (KiB) 138572

[startup+893.501 s]
/proc/loadavg: 1.08 1.08 0.91 2/107 11179
/proc/meminfo: memFree=1551724/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=867.58
/proc/11053/stat : 11053 (python) S 11051 11053 10853 0 -1 4202496 40559 187026 0 2 5075 594 80500 589 15 0 1 0 54754747 137326592 6347 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613130767 0 0 16781312 2 159688670771686217 0 0 17 0 0 0 0
/proc/11053/statm: 33527 6347 1143 1 0 5164 0
[pid=11177] ppid=11053 vsize=4464 CPUtime=80.16
/proc/11177/stat : 11177 (clasp-1.3.3-x86) R 11053 11177 11177 0 -1 4202496 1202 0 0 0 8016 0 0 0 25 0 1 0 54836032 4571136 878 1992294400 134512640 136080129 4292617680 18446744073709551615 134808359 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11177/statm: 1116 878 175 383 0 731 0
Current children cumulated CPU time (s) 947.74
Current children cumulated vsize (KiB) 138572

[startup+896.701 s]
/proc/loadavg: 1.07 1.08 0.91 2/107 11179
/proc/meminfo: memFree=1551724/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=867.76
/proc/11053/stat : 11053 (python) S 11051 11053 10853 0 -1 4202496 40560 187026 0 2 5091 596 80500 589 15 0 1 0 54754747 137326592 6347 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613130767 0 0 16781312 2 159688670771686217 0 0 17 0 0 0 0
/proc/11053/statm: 33527 6347 1143 1 0 5164 0
[pid=11177] ppid=11053 vsize=4612 CPUtime=83.34
/proc/11177/stat : 11177 (clasp-1.3.3-x86) R 11053 11177 11177 0 -1 4202496 1213 0 0 0 8334 0 0 0 25 0 1 0 54836032 4722688 889 1992294400 134512640 136080129 4292617680 18446744073709551615 134579981 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11177/statm: 1153 889 175 383 0 768 0
Current children cumulated CPU time (s) 951.1
Current children cumulated vsize (KiB) 138720

[startup+899.901 s]
/proc/loadavg: 1.06 1.08 0.91 2/107 11179
/proc/meminfo: memFree=1551600/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=867.94
/proc/11053/stat : 11053 (python) S 11051 11053 10853 0 -1 4202496 40562 187026 0 2 5107 598 80500 589 15 0 1 0 54754747 137326592 6347 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613130767 0 0 16781312 2 159688670771686217 0 0 17 0 0 0 0
/proc/11053/statm: 33527 6347 1143 1 0 5164 0
[pid=11177] ppid=11053 vsize=4612 CPUtime=86.52
/proc/11177/stat : 11177 (clasp-1.3.3-x86) R 11053 11177 11177 0 -1 4202496 1215 0 0 0 8652 0 0 0 25 0 1 0 54836032 4722688 891 1992294400 134512640 136080129 4292617680 18446744073709551615 134842307 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11177/statm: 1153 891 175 383 0 768 0
Current children cumulated CPU time (s) 954.46
Current children cumulated vsize (KiB) 138720

[startup+900.701 s]
/proc/loadavg: 1.06 1.08 0.91 2/107 11179
/proc/meminfo: memFree=1551600/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=868
/proc/11053/stat : 11053 (python) S 11051 11053 10853 0 -1 4202496 40562 187026 0 2 5112 599 80500 589 15 0 1 0 54754747 137326592 6347 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613130767 0 0 16781312 2 159688670771686217 0 0 17 0 0 0 0
/proc/11053/statm: 33527 6347 1143 1 0 5164 0
[pid=11177] ppid=11053 vsize=4612 CPUtime=87.31
/proc/11177/stat : 11177 (clasp-1.3.3-x86) R 11053 11177 11177 0 -1 4202496 1215 0 0 0 8731 0 0 0 25 0 1 0 54836032 4722688 891 1992294400 134512640 136080129 4292617680 18446744073709551615 134845923 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11177/statm: 1153 891 175 383 0 768 0
Current children cumulated CPU time (s) 955.31
Current children cumulated vsize (KiB) 138720

[startup+901.5 s]
/proc/loadavg: 1.06 1.08 0.91 2/107 11179
/proc/meminfo: memFree=1551600/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=868.03
/proc/11053/stat : 11053 (python) S 11051 11053 10853 0 -1 4202496 40562 187026 0 2 5115 599 80500 589 16 0 1 0 54754747 137326592 6347 1992294400 4194304 4196484 140736568492624 18446744073709551615 270613130767 0 0 16781312 2 159688670771686217 0 0 17 0 0 0 0
/proc/11053/statm: 33527 6347 1143 1 0 5164 0
[pid=11177] ppid=11053 vsize=4612 CPUtime=88.11
/proc/11177/stat : 11177 (clasp-1.3.3-x86) R 11053 11177 11177 0 -1 4202496 1215 0 0 0 8811 0 0 0 25 0 1 0 54836032 4722688 891 1992294400 134512640 136080129 4292617680 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11177/statm: 1153 891 175 383 0 768 0
Current children cumulated CPU time (s) 956.14
Current children cumulated vsize (KiB) 138720

[startup+901.901 s]
/proc/loadavg: 1.06 1.08 0.91 2/107 11179
/proc/meminfo: memFree=1551600/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134108 CPUtime=868.13
/proc/11053/stat : 11053 (python) R 11051 11053 10853 0 -1 4202496 40568 187026 0 2 5123 601 80500 589 16 0 1 0 54754747 137326592 6348 1992294400 4194304 4196484 140736568492624 18446744073709551615 270612777924 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11053/statm: 33528 6348 1143 1 0 5165 0
[pid=11177] ppid=11053 vsize=0 CPUtime=88.44
/proc/11177/stat : 11177 (clasp-1.3.3-x86) Z 11053 11177 11177 0 -1 4202524 1229 0 0 0 8844 0 0 0 25 0 1 0 54836032 0 0 1992294400 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 1 0 0 0
/proc/11177/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 956.57
Current children cumulated vsize (KiB) 134108

[startup+902.001 s]
/proc/loadavg: 1.06 1.08 0.91 2/107 11179
/proc/meminfo: memFree=1551600/2059040 swapFree=4140116/4192956
[pid=11053] ppid=11051 vsize=134104 CPUtime=956.68
/proc/11053/stat : 11053 (python) R 11051 11053 10853 0 -1 4202496 44398 189207 0 2 5129 602 89345 592 17 0 1 0 54754747 137322496 6348 1992294400 4194304 4196484 140736568492624 18446744073709551615 47593080867273 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/11053/statm: 33526 6348 1143 1 0 5163 0
Current children cumulated CPU time (s) 956.68
Current children cumulated vsize (KiB) 134104

Child status: 20
Real time (s): 902.052
CPU time (s): 956.748
CPU user time (s): 944.793
CPU system time (s): 11.9542
CPU usage (%): 106.063
Max. virtual memory (cumulated for all children) (KiB): 1615896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 944.793
system time used= 11.9542
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234677
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9530
involuntary context switches= 16385

runsolver used 1.57976 second user time and 4.35734 second system time

The end

Launcher Data 

Begin job on node084 at 2010-06-21 17:36:49
IDJOB=2675955
IDBENCH=1356
IDSOLVER=1178
FILE ID=node084/2675955-1277134609
PBS_JOBID= 11182068
Free space on /tmp= 62580 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2675955-1277134609/watcher-2675955-1277134609 -o /tmp/evaluation-result-2675955-1277134609/solver-2675955-1277134609 -C 1800 -W 2000 -M 1800  solver HOME/instance-2675955-1277134609.opb 568007860 

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

MD5SUM BENCH= 9a7dcf907234f84f0d33881f56632ec3
RANDOM SEED=568007860

node084.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.229
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.45
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.229
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	: 5999.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1576856 kB
Buffers:        141752 kB
Cached:         236588 kB
SwapCached:       5404 kB
Active:         207316 kB
Inactive:       183948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1576856 kB
SwapTotal:     4192956 kB
SwapFree:      4140116 kB
Dirty:           20712 kB
Writeback:           0 kB
AnonPages:       11636 kB
Mapped:          13032 kB
Slab:            69188 kB
PageTables:       3916 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182272 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= 62560 MiB
End job on node084 at 2010-06-21 17:51:51