Trace number 2675950

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 1038.53 974.621

General information on the benchmark

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

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.15 0.26 0.57 3/106 9726
/proc/meminfo: memFree=1528960/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=16708 CPUtime=0
/proc/9726/stat : 9726 (python) R 9724 9726 9599 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 54750781 17108992 523 1992294400 4194304 4196484 140737166524176 18446744073709551615 273410297247 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/9726/statm: 4177 523 281 1 0 273 0

[startup+0.076998 s]
/proc/loadavg: 0.15 0.26 0.57 3/106 9726
/proc/meminfo: memFree=1528960/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=21016 CPUtime=0.07
/proc/9726/stat : 9726 (python) S 9724 9726 9599 0 -1 4202496 2140 0 0 0 4 3 0 0 20 0 1 0 54750781 21520384 1133 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393932288 0 2147483391 16781312 2 18446744071699387582 0 0 17 1 0 0 0
/proc/9726/statm: 5254 1133 440 1 0 717 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21016

[startup+0.100997 s]
/proc/loadavg: 0.15 0.26 0.57 3/106 9726
/proc/meminfo: memFree=1528960/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=32156 CPUtime=0.08
/proc/9726/stat : 9726 (python) R 9724 9726 9599 0 -1 4202496 2417 0 0 0 5 3 0 0 20 0 1 0 54750781 32927744 1390 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393932288 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/9726/statm: 8039 1390 459 1 0 911 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32156

[startup+0.300991 s]
/proc/loadavg: 0.15 0.26 0.57 3/106 9726
/proc/meminfo: memFree=1528960/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=71512 CPUtime=0.26
/proc/9726/stat : 9726 (python) R 9724 9726 9599 0 -1 4202496 4143 0 0 0 18 8 0 0 20 0 1 0 54750781 73228288 2957 1992294400 4194304 4196484 140734321242592 18446744073709551615 47053842298148 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/9726/statm: 17878 2957 693 1 0 2365 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 71512

[startup+0.70198 s]
/proc/loadavg: 0.15 0.26 0.57 3/106 9726
/proc/meminfo: memFree=1528960/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=98788 CPUtime=0.55
/proc/9726/stat : 9726 (python) S 9724 9726 9599 0 -1 4202496 4893 0 0 0 34 21 0 0 19 0 1 0 54750781 101158912 3584 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393932288 0 2147483391 16781312 2 18446744071699387582 0 0 17 1 0 0 0
/proc/9726/statm: 24697 3584 1022 1 0 2554 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 98788

[startup+1.50196 s]
/proc/loadavg: 0.15 0.26 0.57 2/107 9731
/proc/meminfo: memFree=1511468/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=118204 CPUtime=0.94
/proc/9726/stat : 9726 (python) R 9724 9726 9599 0 -1 4202496 8624 931 0 0 65 29 0 0 17 0 1 0 54750781 121040896 5825 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393932288 0 2147483391 16781312 2 0 0 0 17 1 0 0 33
/proc/9726/statm: 29551 5825 1059 1 0 4805 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 118204

[startup+3.10105 s]
/proc/loadavg: 0.38 0.31 0.59 2/108 9732
/proc/meminfo: memFree=1506748/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=132056 CPUtime=1.3
/proc/9726/stat : 9726 (python) S 9724 9726 9599 0 -1 4202496 10246 931 0 0 95 35 0 0 15 0 1 0 54750781 135225344 6308 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393954319 0 0 16781312 2 159688670771686091 0 0 17 0 0 0 33
/proc/9726/statm: 33014 6308 1133 1 0 5166 0
[pid=9732] ppid=9726 vsize=2328 CPUtime=1.33
/proc/9732/stat : 9732 (clasp-1.3.3-x86) R 9726 9732 9732 0 -1 4202496 636 0 0 0 133 0 0 0 19 0 1 0 54750958 2383872 320 1992294400 134512640 136080129 4289982752 18446744073709551615 134610290 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9732/statm: 582 320 175 383 0 197 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 134384

[startup+6.30133 s]
/proc/loadavg: 0.38 0.31 0.59 2/108 9732
/proc/meminfo: memFree=1506624/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=132056 CPUtime=1.48
/proc/9726/stat : 9726 (python) S 9724 9726 9599 0 -1 4202496 10258 931 0 0 111 37 0 0 15 0 1 0 54750781 135225344 6308 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393954319 0 0 16781312 2 159688670771686091 0 0 17 0 0 0 33
/proc/9726/statm: 33014 6308 1133 1 0 5166 0
[pid=9732] ppid=9726 vsize=2464 CPUtime=4.52
/proc/9732/stat : 9732 (clasp-1.3.3-x86) R 9726 9732 9732 0 -1 4202496 694 0 0 0 452 0 0 0 25 0 1 0 54750958 2523136 378 1992294400 134512640 136080129 4289982752 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9732/statm: 616 378 175 383 0 231 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 134520

[startup+12.7006 s]
/proc/loadavg: 0.48 0.33 0.59 2/107 9734
/proc/meminfo: memFree=1507400/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=134116 CPUtime=12.19
/proc/9726/stat : 9726 (python) S 9724 9726 9599 0 -1 4202496 11575 2605 0 0 153 44 1019 3 15 0 1 0 54750781 137334784 6330 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393954319 0 0 16781312 2 159688670771686091 0 0 17 0 0 0 33
/proc/9726/statm: 33529 6330 1143 1 0 5166 0
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (KiB) 134116

[startup+25.5003 s]
/proc/loadavg: 0.56 0.35 0.59 2/108 9737
/proc/meminfo: memFree=1506772/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=134116 CPUtime=12.98
/proc/9726/stat : 9726 (python) S 9724 9726 9599 0 -1 4202496 11625 2605 0 0 224 52 1019 3 15 0 1 0 54750781 137334784 6330 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393954319 0 0 16781312 2 159688670771686091 0 0 17 0 0 0 33
/proc/9726/statm: 33529 6330 1143 1 0 5166 0
[pid=9735] ppid=9726 vsize=2860 CPUtime=13.41
/proc/9735/stat : 9735 (clasp-1.3.3-x86) R 9726 9735 9735 0 -1 4202496 795 0 0 0 1340 1 0 0 25 0 1 0 54751982 2928640 481 1992294400 134512640 136080129 4289243744 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9735/statm: 715 481 175 383 0 330 0
Current children cumulated CPU time (s) 26.39
Current children cumulated vsize (KiB) 136976

[startup+51.1006 s]
/proc/loadavg: 0.71 0.40 0.60 2/108 9737
/proc/meminfo: memFree=1506276/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=134116 CPUtime=14.57
/proc/9726/stat : 9726 (python) S 9724 9726 9599 0 -1 4202496 11695 2605 0 0 362 73 1019 3 15 0 1 0 54750781 137334784 6330 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393954319 0 0 16781312 2 159688670771686091 0 0 17 0 0 0 33
/proc/9726/statm: 33529 6330 1143 1 0 5166 0
[pid=9735] ppid=9726 vsize=3524 CPUtime=38.84
/proc/9735/stat : 9735 (clasp-1.3.3-x86) R 9726 9735 9735 0 -1 4202496 958 0 0 0 3883 1 0 0 25 0 1 0 54751982 3608576 644 1992294400 134512640 136080129 4289243744 18446744073709551615 134850021 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9735/statm: 881 644 175 383 0 496 0
Current children cumulated CPU time (s) 53.41
Current children cumulated vsize (KiB) 137640

[startup+102.308 s]
/proc/loadavg: 0.93 0.52 0.63 2/108 9742
/proc/meminfo: memFree=1464984/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=134120 CPUtime=68.65
/proc/9726/stat : 9726 (python) R 9724 9726 9599 0 -1 4202496 12999 4507 0 0 677 122 6060 6 15 0 1 0 54750781 137338880 6333 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393934080 0 0 16781312 2 0 0 0 17 0 0 0 33
/proc/9726/statm: 33529 6333 1143 1 0 5166 0
[pid=9740] ppid=9726 vsize=45912 CPUtime=39.24
/proc/9740/stat : 9740 (wbo1.4a) R 9726 9740 9740 0 -1 4202496 11355 0 0 0 3864 60 0 0 25 0 1 0 54757061 47013888 11018 1992294400 134512640 135751879 4287599200 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9740/statm: 11478 11018 139 303 0 11173 0
Current children cumulated CPU time (s) 107.89
Current children cumulated vsize (KiB) 180032

[startup+162.301 s]
/proc/loadavg: 1.04 0.61 0.65 2/108 9745
/proc/meminfo: memFree=1506152/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=134116 CPUtime=123.57
/proc/9726/stat : 9726 (python) S 9724 9726 9599 0 -1 4202496 14341 19480 0 0 1023 172 11076 86 15 0 1 0 54750781 137334784 6335 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393954319 0 0 16781312 2 159836005329808075 0 0 17 1 0 0 33
/proc/9726/statm: 33529 6335 1143 1 0 5166 0
[pid=9745] ppid=9726 vsize=3652 CPUtime=47.89
/proc/9745/stat : 9745 (clasp-1.3.3-x86) R 9726 9745 9745 0 -1 4202496 995 0 0 0 4789 0 0 0 25 0 1 0 54762192 3739648 678 1992294400 134512640 136080129 4290748224 18446744073709551615 134589230 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9745/statm: 913 678 175 383 0 528 0
Current children cumulated CPU time (s) 171.46
Current children cumulated vsize (KiB) 137768

[startup+222.302 s]
/proc/loadavg: 1.19 0.74 0.69 2/108 9750
/proc/meminfo: memFree=1496852/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=134116 CPUtime=228
/proc/9726/stat : 9726 (python) S 9724 9726 9599 0 -1 4202496 15570 21664 0 0 1401 223 21088 88 15 0 1 0 54750781 137334784 6335 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393954319 0 0 16781312 2 159688670771686091 0 0 17 0 0 0 33
/proc/9726/statm: 33529 6335 1143 1 0 5166 0
[pid=9750] ppid=9726 vsize=13800 CPUtime=7.37
/proc/9750/stat : 9750 (wbo1.4a) R 9726 9750 9750 0 -1 4202496 3356 0 0 0 726 11 0 0 25 0 1 0 54772273 14131200 3019 1992294400 134512640 135751879 4293061504 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9750/statm: 3450 3019 139 303 0 3145 0
Current children cumulated CPU time (s) 235.37
Current children cumulated vsize (KiB) 147916

[startup+282.318 s]
/proc/loadavg: 1.11 0.80 0.72 2/108 9752
/proc/meminfo: memFree=1439812/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=134116 CPUtime=231.79
/proc/9726/stat : 9726 (python) R 9724 9726 9599 0 -1 4202496 15653 21664 0 0 1733 270 21088 88 15 0 1 0 54750781 137334784 6336 1992294400 4194304 4196484 140734321242592 18446744073709551615 47053842568189 0 0 16781312 2 0 0 0 17 0 0 0 33
/proc/9726/statm: 33529 6336 1143 1 0 5166 0
[pid=9750] ppid=9726 vsize=71336 CPUtime=67.38
/proc/9750/stat : 9750 (wbo1.4a) R 9726 9750 9750 0 -1 4202496 17704 0 0 0 6648 90 0 0 25 0 1 0 54772273 73048064 17367 1992294400 134512640 135751879 4293061504 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9750/statm: 17834 17367 139 303 0 17529 0
Current children cumulated CPU time (s) 299.17
Current children cumulated vsize (KiB) 205452

[startup+342.306 s]
/proc/loadavg: 1.04 0.83 0.73 2/108 9757
/proc/meminfo: memFree=1477632/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=134116 CPUtime=337.33
/proc/9726/stat : 9726 (python) R 9724 9726 9599 0 -1 4202496 16952 47387 0 0 2098 319 31092 224 15 0 1 0 54750781 137334784 6338 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393630763 0 0 16781312 2 0 0 0 17 0 0 0 33
/proc/9726/statm: 33529 6338 1143 1 0 5166 0
[pid=9755] ppid=9726 vsize=33128 CPUtime=25.93
/proc/9755/stat : 9755 (wbo1.4b) R 9726 9755 9755 0 -1 4202496 8178 0 0 0 2556 37 0 0 25 0 1 0 54782418 33923072 7843 1992294400 134512640 135751879 4287246400 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9755/statm: 8282 7843 144 303 0 7977 0
Current children cumulated CPU time (s) 363.26
Current children cumulated vsize (KiB) 167244

[startup+402.303 s]
/proc/loadavg: 1.01 0.86 0.74 2/120 9774
/proc/meminfo: memFree=1434880/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=134116 CPUtime=392.61
/proc/9726/stat : 9726 (python) S 9724 9726 9599 0 -1 4202496 18285 62335 0 0 2456 369 36135 301 15 0 1 0 54750781 137334784 6339 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393954319 0 0 16781312 2 159836005329808075 0 0 17 1 0 0 33
/proc/9726/statm: 33529 6339 1143 1 0 5166 0
[pid=9760] ppid=9726 vsize=1477916 CPUtime=35.6
/proc/9760/stat : 9760 (java) S 9726 9760 9760 0 -1 4202496 21820 0 1 0 3544 16 0 0 15 0 13 0 54787541 1513385984 19739 1992294400 134512640 134550932 4289490672 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9760/statm: 369479 19739 1426 10 0 366781 0
[pid=9760/tid=9761] ppid=9726 vsize=1477916 CPUtime=34.23
/proc/9760/task/9761/stat : 9761 (java) R 9726 9760 9760 0 -1 4202560 17852 0 1 0 3409 14 0 0 25 0 13 0 54787544 1513385984 19739 1992294400 134512640 134550932 4289490672 18446744073709551615 4109849508 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9760/tid=9762] ppid=9726 vsize=1477916 CPUtime=0
/proc/9760/task/9762/stat : 9762 (java) S 9726 9760 9760 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 13 0 54787545 1513385984 19739 1992294400 134512640 134550932 4289490672 18446744073709551615 4294960144 0 4 0 16800975 18446604435773565760 0 0 -1 0 0 0 0
[pid=9760/tid=9763] ppid=9726 vsize=1477916 CPUtime=0
/proc/9760/task/9763/stat : 9763 (java) S 9726 9760 9760 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 13 0 54787545 1513385984 19739 1992294400 134512640 134550932 4289490672 18446744073709551615 4294960144 0 4 0 16800975 18446604435773565760 0 0 -1 0 0 0 0
[pid=9760/tid=9764] ppid=9726 vsize=1477916 CPUtime=0
/proc/9760/task/9764/stat : 9764 (java) S 9726 9760 9760 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 13 0 54787547 1513385984 19739 1992294400 134512640 134550932 4289490672 18446744073709551615 4294960144 0 0 0 16800975 18446604435773565760 0 0 -1 0 0 0 0
[pid=9760/tid=9765] ppid=9726 vsize=1477916 CPUtime=0
/proc/9760/task/9765/stat : 9765 (java) S 9726 9760 9760 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 13 0 54787547 1513385984 19739 1992294400 134512640 134550932 4289490672 18446744073709551615 4294960144 0 4 0 16800975 18446604435773565760 0 0 -1 0 0 0 0

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

/proc/9818/statm: 369906 21950 1426 10 0 367208 0
[pid=9818/tid=9819] ppid=9726 vsize=1479624 CPUtime=48.82
/proc/9818/task/9819/stat : 9819 (java) R 9726 9818 9818 0 -1 4202560 19658 0 1 0 4868 14 0 0 25 0 13 0 54822085 1515134976 21950 1992294400 134512640 134550932 4290042912 18446744073709551615 4109129791 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9818/tid=9820] ppid=9726 vsize=1479624 CPUtime=0
/proc/9818/task/9820/stat : 9820 (java) S 9726 9818 9818 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 54822086 1515134976 21950 1992294400 134512640 134550932 4290042912 18446744073709551615 4294960144 0 4 0 16800975 18446604437858159360 0 0 -1 0 0 0 0
[pid=9818/tid=9821] ppid=9726 vsize=1479624 CPUtime=0
/proc/9818/task/9821/stat : 9821 (java) S 9726 9818 9818 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 54822086 1515134976 21950 1992294400 134512640 134550932 4290042912 18446744073709551615 4294960144 0 4 0 16800975 18446604437858159360 0 0 -1 1 0 0 0
[pid=9818/tid=9822] ppid=9726 vsize=1479624 CPUtime=0
/proc/9818/task/9822/stat : 9822 (java) S 9726 9818 9818 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 13 0 54822088 1515134976 21950 1992294400 134512640 134550932 4290042912 18446744073709551615 4294960144 0 0 0 16800975 18446604437858159360 0 0 -1 0 0 0 0
[pid=9818/tid=9823] ppid=9726 vsize=1479624 CPUtime=0
/proc/9818/task/9823/stat : 9823 (java) S 9726 9818 9818 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 13 0 54822089 1515134976 21950 1992294400 134512640 134550932 4290042912 18446744073709551615 4294960144 0 4 0 16800975 18446604437858159360 0 0 -1 0 0 0 0
[pid=9818/tid=9824] ppid=9726 vsize=1479624 CPUtime=0
/proc/9818/task/9824/stat : 9824 (java) S 9726 9818 9818 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 54822089 1515134976 21950 1992294400 134512640 134550932 4290042912 18446744073709551615 4294960144 0 4 0 16800975 18446604437858159360 0 0 -1 0 0 0 0
[pid=9818/tid=9825] ppid=9726 vsize=1479624 CPUtime=0
/proc/9818/task/9825/stat : 9825 (java) S 9726 9818 9818 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 54822093 1515134976 21950 1992294400 134512640 134550932 4290042912 18446744073709551615 4294960144 0 4 0 16800975 18446604437858159360 0 0 -1 0 0 0 0
[pid=9818/tid=9826] ppid=9726 vsize=1479624 CPUtime=0.46
/proc/9818/task/9826/stat : 9826 (java) S 9726 9818 9818 0 -1 4202560 1059 0 0 0 46 0 0 0 15 0 13 0 54822093 1515134976 21950 1992294400 134512640 134550932 4290042912 18446744073709551615 4294960144 0 4 0 16800975 18446604437858159360 0 0 -1 0 0 0 0
[pid=9818/tid=9827] ppid=9726 vsize=1479624 CPUtime=0.9
/proc/9818/task/9827/stat : 9827 (java) S 9726 9818 9818 0 -1 4202560 1408 0 0 0 90 0 0 0 15 0 13 0 54822093 1515134976 21950 1992294400 134512640 134550932 4290042912 18446744073709551615 4294960144 0 4 0 16800975 18446604437858159360 0 0 -1 1 0 0 0
[pid=9818/tid=9828] ppid=9726 vsize=1479624 CPUtime=0
/proc/9818/task/9828/stat : 9828 (java) S 9726 9818 9818 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 54822093 1515134976 21950 1992294400 134512640 134550932 4290042912 18446744073709551615 4294960144 0 4 0 16800975 18446604437858159360 0 0 -1 0 0 0 0
[pid=9818/tid=9829] ppid=9726 vsize=1479624 CPUtime=0
/proc/9818/task/9829/stat : 9829 (java) S 9726 9818 9818 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 13 0 54822093 1515134976 21950 1992294400 134512640 134550932 4290042912 18446744073709551615 4294960144 0 4 0 16800975 18446604437858159360 0 0 -1 1 0 0 0
[pid=9818/tid=9830] ppid=9726 vsize=1479624 CPUtime=0
/proc/9818/task/9830/stat : 9830 (java) S 9726 9818 9818 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 54822167 1515134976 21950 1992294400 134512640 134550932 4290042912 18446744073709551615 4294960144 0 4 0 16800975 18446604437858159360 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 812.94
Current children cumulated vsize (KiB) 1613740

[startup+822.302 s]
/proc/loadavg: 1.14 1.09 0.89 2/108 9850
/proc/meminfo: memFree=1506340/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=134116 CPUtime=869.28
/proc/9726/stat : 9726 (python) S 9724 9726 9599 0 -1 4202496 40967 180773 0 2 5081 737 80552 558 15 0 1 0 54750781 137334784 6349 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393954319 0 0 16781312 2 159836005329808075 0 0 17 1 0 0 33
/proc/9726/statm: 33529 6349 1143 1 0 5166 0
[pid=9850] ppid=9726 vsize=2728 CPUtime=7.9
/proc/9850/stat : 9850 (clasp-1.3.3-x86) R 9726 9850 9850 0 -1 4202496 745 0 0 0 790 0 0 0 25 0 1 0 54832216 2793472 422 1992294400 134512640 136080129 4289664512 18446744073709551615 134845684 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9850/statm: 682 422 175 383 0 297 0
Current children cumulated CPU time (s) 877.18
Current children cumulated vsize (KiB) 136844

[startup+882.301 s]
/proc/loadavg: 1.08 1.08 0.90 2/108 9852
/proc/meminfo: memFree=1505100/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=134116 CPUtime=873.21
/proc/9726/stat : 9726 (python) S 9724 9726 9599 0 -1 4202496 41053 180773 0 2 5428 783 80552 558 15 0 1 0 54750781 137334784 6349 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393954319 0 0 16781312 2 159836005329808075 0 0 17 1 0 0 33
/proc/9726/statm: 33529 6349 1143 1 0 5166 0
[pid=9850] ppid=9726 vsize=4216 CPUtime=67.5
/proc/9850/stat : 9850 (clasp-1.3.3-x86) R 9726 9850 9850 0 -1 4202496 1121 0 0 0 6750 0 0 0 25 0 1 0 54832216 4317184 798 1992294400 134512640 136080129 4289664512 18446744073709551615 134610270 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9850/statm: 1054 798 175 383 0 669 0
Current children cumulated CPU time (s) 940.71
Current children cumulated vsize (KiB) 138332

[startup+942.302 s]
/proc/loadavg: 1.03 1.07 0.90 2/108 9854
/proc/meminfo: memFree=1504108/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=134116 CPUtime=877.13
/proc/9726/stat : 9726 (python) S 9724 9726 9599 0 -1 4202496 41078 180773 0 2 5778 825 80552 558 15 0 1 0 54750781 137334784 6349 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393954319 0 0 16781312 2 159836005329808075 0 0 17 1 0 0 33
/proc/9726/statm: 33529 6349 1143 1 0 5166 0
[pid=9850] ppid=9726 vsize=5188 CPUtime=127.15
/proc/9850/stat : 9850 (clasp-1.3.3-x86) R 9726 9850 9850 0 -1 4202496 1369 0 0 0 12714 1 0 0 25 0 1 0 54832216 5312512 1046 1992294400 134512640 136080129 4289664512 18446744073709551615 134579390 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9850/statm: 1297 1046 175 383 0 912 0
Current children cumulated CPU time (s) 1004.28
Current children cumulated vsize (KiB) 139304

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

[startup+947.109 s]
/proc/loadavg: 1.03 1.06 0.91 2/108 9854
/proc/meminfo: memFree=1504108/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=134116 CPUtime=877.45
/proc/9726/stat : 9726 (python) S 9724 9726 9599 0 -1 4202496 41080 180773 0 2 5805 830 80552 558 15 0 1 0 54750781 137334784 6349 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393954319 0 0 16781312 2 159836005329808075 0 0 17 1 0 0 33
/proc/9726/statm: 33529 6349 1143 1 0 5166 0
[pid=9850] ppid=9726 vsize=5188 CPUtime=131.93
/proc/9850/stat : 9850 (clasp-1.3.3-x86) R 9726 9850 9850 0 -1 4202496 1381 0 0 0 13192 1 0 0 25 0 1 0 54832216 5312512 1058 1992294400 134512640 136080129 4289664512 18446744073709551615 134588775 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9850/statm: 1297 1058 175 383 0 912 0
Current children cumulated CPU time (s) 1009.38
Current children cumulated vsize (KiB) 139304

[startup+959.902 s]
/proc/loadavg: 1.02 1.06 0.91 2/108 9854
/proc/meminfo: memFree=1503860/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=134116 CPUtime=878.28
/proc/9726/stat : 9726 (python) S 9724 9726 9599 0 -1 4202496 41085 180773 0 2 5878 840 80552 558 16 0 1 0 54750781 137334784 6349 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393954319 0 0 16781312 2 159836005329808075 0 0 17 1 0 0 33
/proc/9726/statm: 33529 6349 1143 1 0 5166 0
[pid=9850] ppid=9726 vsize=5460 CPUtime=144.64
/proc/9850/stat : 9850 (clasp-1.3.3-x86) R 9726 9850 9850 0 -1 4202496 1446 0 0 0 14463 1 0 0 25 0 1 0 54832216 5591040 1123 1992294400 134512640 136080129 4289664512 18446744073709551615 134588608 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9850/statm: 1365 1123 175 383 0 980 0
Current children cumulated CPU time (s) 1022.92
Current children cumulated vsize (KiB) 139576

[startup+966.302 s]
/proc/loadavg: 1.02 1.06 0.91 2/108 9854
/proc/meminfo: memFree=1503612/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=134116 CPUtime=878.7
/proc/9726/stat : 9726 (python) S 9724 9726 9599 0 -1 4202496 41088 180773 0 2 5916 844 80552 558 15 0 1 0 54750781 137334784 6349 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393954319 0 0 16781312 2 159836005329808075 0 0 17 1 0 0 33
/proc/9726/statm: 33529 6349 1143 1 0 5166 0
[pid=9850] ppid=9726 vsize=5600 CPUtime=151
/proc/9850/stat : 9850 (clasp-1.3.3-x86) R 9726 9850 9850 0 -1 4202496 1481 0 0 0 15099 1 0 0 25 0 1 0 54832216 5734400 1158 1992294400 134512640 136080129 4289664512 18446744073709551615 134849665 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9850/statm: 1400 1158 175 383 0 1015 0
Current children cumulated CPU time (s) 1029.7
Current children cumulated vsize (KiB) 139716

[startup+969.501 s]
/proc/loadavg: 1.02 1.06 0.91 2/108 9854
/proc/meminfo: memFree=1503612/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=134116 CPUtime=878.91
/proc/9726/stat : 9726 (python) S 9724 9726 9599 0 -1 4202496 41089 180773 0 2 5934 847 80552 558 15 0 1 0 54750781 137334784 6349 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393954319 0 0 16781312 2 159836005329808075 0 0 17 1 0 0 33
/proc/9726/statm: 33529 6349 1143 1 0 5166 0
[pid=9850] ppid=9726 vsize=5736 CPUtime=154.18
/proc/9850/stat : 9850 (clasp-1.3.3-x86) R 9726 9850 9850 0 -1 4202496 1486 0 0 0 15417 1 0 0 25 0 1 0 54832216 5873664 1163 1992294400 134512640 136080129 4289664512 18446744073709551615 134588560 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9850/statm: 1434 1163 175 383 0 1049 0
Current children cumulated CPU time (s) 1033.09
Current children cumulated vsize (KiB) 139852

[startup+972.701 s]
/proc/loadavg: 1.02 1.06 0.91 2/108 9854
/proc/meminfo: memFree=1503612/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=134116 CPUtime=879.12
/proc/9726/stat : 9726 (python) S 9724 9726 9599 0 -1 4202496 41090 180773 0 2 5953 849 80552 558 15 0 1 0 54750781 137334784 6349 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393954319 0 0 16781312 2 159836005329808075 0 0 17 1 0 0 33
/proc/9726/statm: 33529 6349 1143 1 0 5166 0
[pid=9850] ppid=9726 vsize=5736 CPUtime=157.36
/proc/9850/stat : 9850 (clasp-1.3.3-x86) R 9726 9850 9850 0 -1 4202496 1489 0 0 0 15735 1 0 0 25 0 1 0 54832216 5873664 1166 1992294400 134512640 136080129 4289664512 18446744073709551615 134589227 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9850/statm: 1434 1166 175 383 0 1049 0
Current children cumulated CPU time (s) 1036.48
Current children cumulated vsize (KiB) 139852

[startup+973.508 s]
/proc/loadavg: 1.02 1.06 0.91 2/108 9854
/proc/meminfo: memFree=1503612/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=134120 CPUtime=879.18
/proc/9726/stat : 9726 (python) R 9724 9726 9599 0 -1 4202496 41091 180773 0 2 5958 850 80552 558 16 0 1 0 54750781 137338880 6349 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393934080 0 0 16781312 2 0 0 0 17 1 0 0 33
/proc/9726/statm: 33529 6349 1143 1 0 5166 0
[pid=9850] ppid=9726 vsize=5736 CPUtime=158.16
/proc/9850/stat : 9850 (clasp-1.3.3-x86) R 9726 9850 9850 0 -1 4202496 1489 0 0 0 15815 1 0 0 25 0 1 0 54832216 5873664 1166 1992294400 134512640 136080129 4289664512 18446744073709551615 134610237 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9850/statm: 1434 1166 175 383 0 1049 0
Current children cumulated CPU time (s) 1037.34
Current children cumulated vsize (KiB) 139856

[startup+974.301 s]
/proc/loadavg: 1.02 1.06 0.91 2/108 9854
/proc/meminfo: memFree=1503612/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=134116 CPUtime=879.23
/proc/9726/stat : 9726 (python) S 9724 9726 9599 0 -1 4202496 41091 180773 0 2 5963 850 80552 558 15 0 1 0 54750781 137334784 6349 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393954319 0 0 16781312 2 159836005329808075 0 0 17 1 0 0 33
/proc/9726/statm: 33529 6349 1143 1 0 5166 0
[pid=9850] ppid=9726 vsize=5736 CPUtime=158.96
/proc/9850/stat : 9850 (clasp-1.3.3-x86) R 9726 9850 9850 0 -1 4202496 1489 0 0 0 15895 1 0 0 25 0 1 0 54832216 5873664 1166 1992294400 134512640 136080129 4289664512 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/9850/statm: 1434 1166 175 383 0 1049 0
Current children cumulated CPU time (s) 1038.19
Current children cumulated vsize (KiB) 139852

[startup+974.501 s]
/proc/loadavg: 1.02 1.06 0.91 2/108 9854
/proc/meminfo: memFree=1506960/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=134116 CPUtime=879.36
/proc/9726/stat : 9726 (python) R 9724 9726 9599 0 -1 4202496 41094 180773 0 2 5975 851 80552 558 16 0 1 0 54750781 137334784 6349 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393977479 0 0 16781312 2 0 0 0 17 1 0 0 33
/proc/9726/statm: 33529 6349 1143 1 0 5166 0
[pid=9850] ppid=9726 vsize=0 CPUtime=159.04
/proc/9850/stat : 9850 (clasp-1.3.3-x86) Z 9726 9850 9850 0 -1 4202524 1503 0 0 0 15903 1 0 0 25 0 1 0 54832216 0 0 1992294400 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 0 0 0 0
/proc/9850/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1038.4
Current children cumulated vsize (KiB) 134116

[startup+974.611 s]
/proc/loadavg: 1.02 1.06 0.91 2/108 9854
/proc/meminfo: memFree=1506960/2059040 swapFree=4140384/4192956
[pid=9726] ppid=9724 vsize=134112 CPUtime=1038.49
/proc/9726/stat : 9726 (python) R 9724 9726 9599 0 -1 4202496 45827 183249 0 2 5982 852 96455 560 15 0 1 0 54750781 137330688 6350 1992294400 4194304 4196484 140734321242592 18446744073709551615 273393590352 0 0 16781312 0 0 0 0 17 0 0 0 33
/proc/9726/statm: 33528 6350 1143 1 0 5165 0
Current children cumulated CPU time (s) 1038.49
Current children cumulated vsize (KiB) 134112

Child status: 20
Real time (s): 974.621
CPU time (s): 1038.53
CPU user time (s): 1024.39
CPU system time (s): 14.1398
CPU usage (%): 106.557
Max. virtual memory (cumulated for all children) (KiB): 1614376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1024.39
system time used= 14.1398
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229252
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= 7791
involuntary context switches= 17158

runsolver used 1.75873 second user time and 4.80027 second system time

The end

Launcher Data 

Begin job on node043 at 2010-06-21 17:36:23
IDJOB=2675950
IDBENCH=1303
IDSOLVER=1178
FILE ID=node043/2675950-1277134583
PBS_JOBID= 11182082
Free space on /tmp= 62532 MiB

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

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

MD5SUM BENCH= 4bba9489f2c1cdd3e2419eb13f48915c
RANDOM SEED=427660282

node043.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.241
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.48
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.241
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.37
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1529488 kB
Buffers:        132984 kB
Cached:         293580 kB
SwapCached:       5764 kB
Active:         242732 kB
Inactive:       197072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1529488 kB
SwapTotal:     4192956 kB
SwapFree:      4140384 kB
Dirty:           22800 kB
Writeback:           0 kB
AnonPages:       11680 kB
Mapped:          12984 kB
Slab:            67900 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184376 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= 62512 MiB
End job on node043 at 2010-06-21 17:52:39