Trace number 2676163

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 976.558 910.491

General information on the benchmark

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

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.57 0.54 0.74 3/106 10969
/proc/meminfo: memFree=1586884/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=16708 CPUtime=0
/proc/10969/stat : 10969 (python) R 10967 10969 10803 0 -1 4202496 759 0 0 0 0 0 0 0 20 0 1 0 54752971 17108992 523 1992294400 4194304 4196484 140733442989424 18446744073709551615 273506766239 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10969/statm: 4177 523 281 1 0 273 0

[startup+0.014999 s]
/proc/loadavg: 0.57 0.54 0.74 3/106 10969
/proc/meminfo: memFree=1586884/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=17028 CPUtime=0
/proc/10969/stat : 10969 (python) R 10967 10969 10803 0 -1 4202496 917 0 0 0 0 0 0 0 20 0 1 0 54752971 17436672 668 1992294400 4194304 4196484 140733442989424 18446744073709551615 273506766239 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10969/statm: 4257 671 315 1 0 353 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 17028

[startup+0.102305 s]
/proc/loadavg: 0.57 0.54 0.74 3/106 10969
/proc/meminfo: memFree=1586884/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=31524 CPUtime=0.07
/proc/10969/stat : 10969 (python) R 10967 10969 10803 0 -1 4202496 2267 0 0 0 4 3 0 0 17 0 1 0 54752971 32280576 1247 1992294400 4194304 4196484 140735445993040 18446744073709551615 273490403200 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10969/statm: 7880 1246 459 1 0 752 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 31524

[startup+0.301316 s]
/proc/loadavg: 0.57 0.54 0.74 3/106 10969
/proc/meminfo: memFree=1586884/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=70600 CPUtime=0.23
/proc/10969/stat : 10969 (python) R 10967 10969 10803 0 -1 4202496 3941 0 0 0 14 9 0 0 17 0 1 0 54752971 72294400 2777 1992294400 4194304 4196484 140735445993040 18446744073709551615 47612675312036 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10969/statm: 17650 2777 673 1 0 2137 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 70600

[startup+0.701351 s]
/proc/loadavg: 0.57 0.54 0.74 3/106 10969
/proc/meminfo: memFree=1586884/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=98836 CPUtime=0.51
/proc/10969/stat : 10969 (python) R 10967 10969 10803 0 -1 4202496 4867 0 0 0 32 19 0 0 16 0 1 0 54752971 101208064 3580 1992294400 4194304 4196484 140735445993040 18446744073709551615 273490399237 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10969/statm: 24709 3580 1022 1 0 2566 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 98836

[startup+1.50142 s]
/proc/loadavg: 0.61 0.55 0.74 2/107 10974
/proc/meminfo: memFree=1571624/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=118632 CPUtime=1.05
/proc/10969/stat : 10969 (python) R 10967 10969 10803 0 -1 4202496 8805 927 0 0 71 34 0 0 16 0 1 0 54752971 121479168 5947 1992294400 4194304 4196484 140735445993040 18446744073709551615 47612675096988 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10969/statm: 29658 5947 1063 1 0 4912 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 118632

[startup+3.10156 s]
/proc/loadavg: 0.61 0.55 0.74 2/108 10975
/proc/meminfo: memFree=1564920/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=132052 CPUtime=1.35
/proc/10969/stat : 10969 (python) S 10967 10969 10803 0 -1 4202496 10262 927 0 0 97 38 0 0 16 0 1 0 54752971 135221248 6305 1992294400 4194304 4196484 140735445993040 18446744073709551615 273490423311 0 0 16781312 2 159688670771686221 0 0 17 0 0 0 0
/proc/10969/statm: 33013 6305 1133 1 0 5165 0
[pid=10975] ppid=10969 vsize=2328 CPUtime=1.43
/proc/10975/stat : 10975 (clasp-1.3.3-x86) R 10969 10975 10975 0 -1 4202496 652 0 0 0 143 0 0 0 19 0 1 0 54753137 2383872 335 1992294400 134512640 136080129 4287060272 18446744073709551615 134850077 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10975/statm: 582 335 175 383 0 197 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 134380

[startup+6.30085 s]
/proc/loadavg: 0.64 0.56 0.74 2/108 10975
/proc/meminfo: memFree=1563928/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=132052 CPUtime=1.57
/proc/10969/stat : 10969 (python) S 10967 10969 10803 0 -1 4202496 10272 927 0 0 117 40 0 0 15 0 1 0 54752971 135221248 6305 1992294400 4194304 4196484 140735445993040 18446744073709551615 273490423311 0 0 16781312 2 159688670771686221 0 0 17 0 0 0 0
/proc/10969/statm: 33013 6305 1133 1 0 5165 0
[pid=10975] ppid=10969 vsize=2592 CPUtime=4.62
/proc/10975/stat : 10975 (clasp-1.3.3-x86) R 10969 10975 10975 0 -1 4202496 724 0 0 0 462 0 0 0 25 0 1 0 54753137 2654208 407 1992294400 134512640 136080129 4287060272 18446744073709551615 134849710 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10975/statm: 648 407 175 383 0 263 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 134644

[startup+12.7007 s]
/proc/loadavg: 0.75 0.58 0.75 3/107 10979
/proc/meminfo: memFree=1564804/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=134112 CPUtime=12.44
/proc/10969/stat : 10969 (python) S 10967 10969 10803 0 -1 4202496 11551 2646 0 0 167 46 1029 2 16 0 1 0 54752971 137330688 6327 1992294400 4194304 4196484 140735445993040 18446744073709551615 273490423311 0 0 16781312 2 159688670771686221 0 0 17 0 0 0 0
/proc/10969/statm: 33528 6327 1143 1 0 5165 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 134112

[startup+25.5003 s]
/proc/loadavg: 0.78 0.60 0.75 2/108 10980
/proc/meminfo: memFree=1564176/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=134112 CPUtime=13.29
/proc/10969/stat : 10969 (python) R 10967 10969 10803 0 -1 4202496 11596 2646 0 0 244 54 1029 2 15 0 1 0 54752971 137330688 6327 1992294400 4194304 4196484 140735445993040 18446744073709551615 47612674729264 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10969/statm: 33529 6327 1143 1 0 5166 0
[pid=10980] ppid=10969 vsize=3120 CPUtime=13.39
/proc/10980/stat : 10980 (clasp-1.3.3-x86) R 10969 10980 10980 0 -1 4202496 845 0 0 0 1339 0 0 0 25 0 1 0 54754172 3194880 529 1992294400 134512640 136080129 4294624480 18446744073709551615 134842470 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10980/statm: 780 529 175 383 0 395 0
Current children cumulated CPU time (s) 26.68
Current children cumulated vsize (KiB) 137232

[startup+51.1006 s]
/proc/loadavg: 0.87 0.63 0.75 2/108 10980
/proc/meminfo: memFree=1563308/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=134112 CPUtime=15.06
/proc/10969/stat : 10969 (python) S 10967 10969 10803 0 -1 4202496 11678 2646 0 0 404 71 1029 2 15 0 1 0 54752971 137330688 6327 1992294400 4194304 4196484 140735445993040 18446744073709551615 273490423311 0 0 16781312 2 159688670771686221 0 0 17 0 0 0 0
/proc/10969/statm: 33528 6327 1143 1 0 5165 0
[pid=10980] ppid=10969 vsize=4064 CPUtime=38.84
/proc/10980/stat : 10980 (clasp-1.3.3-x86) R 10969 10980 10980 0 -1 4202496 1073 0 0 0 3884 0 0 0 25 0 1 0 54754172 4161536 757 1992294400 134512640 136080129 4294624480 18446744073709551615 134588723 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10980/statm: 1016 757 175 383 0 631 0
Current children cumulated CPU time (s) 53.9
Current children cumulated vsize (KiB) 138176

[startup+102.308 s]
/proc/loadavg: 1.00 0.70 0.77 2/108 10985
/proc/meminfo: memFree=1523628/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=134112 CPUtime=69.32
/proc/10969/stat : 10969 (python) S 10967 10969 10803 0 -1 4202496 12907 4713 0 0 754 117 6057 4 15 0 1 0 54752971 137330688 6331 1992294400 4194304 4196484 140735445993040 18446744073709551615 273490423311 0 0 16781312 2 159688670771686221 0 0 17 0 0 0 0
/proc/10969/statm: 33528 6331 1143 1 0 5165 0
[pid=10983] ppid=10969 vsize=44420 CPUtime=39.4
/proc/10983/stat : 10983 (wbo1.4a) R 10969 10983 10983 0 -1 4202496 11001 0 0 0 3883 57 0 0 25 0 1 0 54759237 45486080 10660 1992294400 134512640 135751879 4288666032 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/10983/statm: 11105 10660 139 303 0 10800 0
Current children cumulated CPU time (s) 108.72
Current children cumulated vsize (KiB) 178532

[startup+162.301 s]
/proc/loadavg: 1.07 0.77 0.79 2/108 10990
/proc/meminfo: memFree=1563184/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=134112 CPUtime=124.23
/proc/10969/stat : 10969 (python) S 10967 10969 10803 0 -1 4202496 14219 19154 0 0 1123 162 11060 78 15 0 1 0 54752971 137330688 6332 1992294400 4194304 4196484 140735445993040 18446744073709551615 273490423311 0 0 16781312 2 159688670771686221 0 0 17 0 0 0 0
/proc/10969/statm: 33528 6332 1143 1 0 5165 0
[pid=10988] ppid=10969 vsize=4076 CPUtime=48.23
/proc/10988/stat : 10988 (clasp-1.3.3-x86) R 10969 10988 10988 0 -1 4202496 1081 0 0 0 4823 0 0 0 25 0 1 0 54764348 4173824 763 1992294400 134512640 136080129 4291457920 18446744073709551615 134808109 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/10988/statm: 1019 763 175 383 0 634 0
Current children cumulated CPU time (s) 172.46
Current children cumulated vsize (KiB) 138188

[startup+222.301 s]
/proc/loadavg: 1.13 0.84 0.81 2/108 10993
/proc/meminfo: memFree=1554132/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=134112 CPUtime=229.05
/proc/10969/stat : 10969 (python) S 10967 10969 10803 0 -1 4202496 15424 21353 0 0 1520 214 21091 80 16 0 1 0 54752971 137330688 6333 1992294400 4194304 4196484 140735445993040 18446744073709551615 273490423311 0 0 16781312 2 159836005329808205 0 0 17 1 0 0 0
/proc/10969/statm: 33528 6333 1143 1 0 5165 0
[pid=10993] ppid=10969 vsize=14096 CPUtime=7.53
/proc/10993/stat : 10993 (wbo1.4a) R 10969 10993 10993 0 -1 4202496 3433 0 0 0 739 14 0 0 25 0 1 0 54774446 14434304 3093 1992294400 134512640 135751879 4291663856 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/10993/statm: 3524 3093 139 303 0 3219 0
Current children cumulated CPU time (s) 236.58
Current children cumulated vsize (KiB) 148208

[startup+282.3 s]
/proc/loadavg: 1.05 0.87 0.82 2/108 10995
/proc/meminfo: memFree=1498208/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=134112 CPUtime=233.6
/proc/10969/stat : 10969 (python) S 10967 10969 10803 0 -1 4202496 15510 21353 0 0 1927 262 21091 80 15 0 1 0 54752971 137330688 6333 1992294400 4194304 4196484 140735445993040 18446744073709551615 273490423311 0 0 16781312 2 159836005329808205 0 0 17 1 0 0 0
/proc/10969/statm: 33528 6333 1143 1 0 5165 0
[pid=10993] ppid=10969 vsize=70516 CPUtime=67.51
/proc/10993/stat : 10993 (wbo1.4a) R 10969 10993 10993 0 -1 4202496 17499 0 0 0 6654 97 0 0 25 0 1 0 54774446 72208384 17159 1992294400 134512640 135751879 4291663856 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/10993/statm: 17629 17159 139 303 0 17324 0
Current children cumulated CPU time (s) 301.11
Current children cumulated vsize (KiB) 204628

[startup+342.301 s]
/proc/loadavg: 1.02 0.89 0.83 2/108 11000
/proc/meminfo: memFree=1534788/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=134112 CPUtime=339.89
/proc/10969/stat : 10969 (python) S 10967 10969 10803 0 -1 4202496 16766 46623 0 0 2359 317 31092 221 15 0 1 0 54752971 137330688 6335 1992294400 4194304 4196484 140735445993040 18446744073709551615 273490423311 0 0 16781312 2 159688670771686221 0 0 17 0 0 0 0
/proc/10969/statm: 33528 6335 1143 1 0 5165 0
[pid=11000] ppid=10969 vsize=33496 CPUtime=25.88
/proc/11000/stat : 11000 (wbo1.4b) R 10969 11000 11000 0 -1 4202496 8266 0 0 0 2549 39 0 0 25 0 1 0 54784596 34299904 7927 1992294400 134512640 135751879 4290564496 18446744073709551615 134616514 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11000/statm: 8374 7927 144 303 0 8069 0
Current children cumulated CPU time (s) 365.77
Current children cumulated vsize (KiB) 167608

[startup+402.301 s]
/proc/loadavg: 1.20 0.97 0.85 2/120 11017
/proc/meminfo: memFree=1487804/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=134112 CPUtime=395.27
/proc/10969/stat : 10969 (python) S 10967 10969 10803 0 -1 4202496 18070 61441 0 0 2760 371 36099 297 15 0 1 0 54752971 137330688 6337 1992294400 4194304 4196484 140735445993040 18446744073709551615 273490423311 0 0 16781312 2 159836005329808205 0 0 17 1 0 0 0
/proc/10969/statm: 33528 6337 1143 1 0 5165 0
[pid=11003] ppid=10969 vsize=1482064 CPUtime=35.88
/proc/11003/stat : 11003 (java) S 10969 11003 11003 0 -1 4202496 19707 0 92 0 3572 16 0 0 16 0 13 0 54789714 1517633536 18415 1992294400 134512640 134550932 4288805200 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 6
/proc/11003/statm: 370516 18415 1426 10 0 367818 0
[pid=11003/tid=11004] ppid=10969 vsize=1482064 CPUtime=34.41
/proc/11003/task/11004/stat : 11004 (java) R 10969 11003 11003 0 -1 4202560 15483 0 58 0 3429 12 0 0 25 0 13 0 54789723 1517633536 18415 1992294400 134512640 134550932 4288805200 18446744073709551615 4109788159 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=11003/tid=11005] ppid=10969 vsize=1482064 CPUtime=0
/proc/11003/task/11005/stat : 11005 (java) S 10969 11003 11003 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 13 0 54789728 1517633536 18415 1992294400 134512640 134550932 4288805200 18446744073709551615 4294960144 0 4 0 16800975 18446604437860933696 0 0 -1 1 0 0 0
[pid=11003/tid=11006] ppid=10969 vsize=1482064 CPUtime=0
/proc/11003/task/11006/stat : 11006 (java) S 10969 11003 11003 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 13 0 54789728 1517633536 18415 1992294400 134512640 134550932 4288805200 18446744073709551615 4294960144 0 4 0 16800975 18446604437860933696 0 0 -1 1 0 0 0
[pid=11003/tid=11007] ppid=10969 vsize=1482064 CPUtime=0
/proc/11003/task/11007/stat : 11007 (java) S 10969 11003 11003 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 13 0 54789731 1517633536 18415 1992294400 134512640 134550932 4288805200 18446744073709551615 4294960144 0 0 0 16800975 18446604437860933696 0 0 -1 0 0 0 0
[pid=11003/tid=11008] ppid=10969 vsize=1482064 CPUtime=0
/proc/11003/task/11008/stat : 11008 (java) S 10969 11003 11003 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 13 0 54789732 1517633536 18415 1992294400 134512640 134550932 4288805200 18446744073709551615 4294960144 0 4 0 16800975 18446604437860933696 0 0 -1 0 0 0 0

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

/proc/11038/statm: 1312 851 139 303 0 1007 0
Current children cumulated CPU time (s) 688.48
Current children cumulated vsize (KiB) 139360

[startup+702.301 s]
/proc/loadavg: 1.19 1.10 0.93 2/108 11055
/proc/meminfo: memFree=1546676/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=134112 CPUtime=743.75
/proc/10969/stat : 10969 (python) S 10967 10969 10803 0 -1 4202496 30370 134143 0 92 4833 629 68409 504 16 0 1 0 54752971 137330688 6343 1992294400 4194304 4196484 140735445993040 18446744073709551615 273490423311 0 0 16781312 2 159836005329808205 0 0 17 1 0 0 0
/proc/10969/statm: 33528 6343 1143 1 0 5165 0
[pid=11055] ppid=10969 vsize=18452 CPUtime=9.31
/proc/11055/stat : 11055 (bsolo_pb10) R 10969 11055 11055 0 -1 4202496 2531 0 0 0 928 3 0 0 25 0 1 0 54822264 18894848 2186 1992294400 134512640 137138936 4287907568 18446744073709551615 134575044 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/11055/statm: 4613 2186 192 642 0 3969 0
Current children cumulated CPU time (s) 753.06
Current children cumulated vsize (KiB) 152564

[startup+762.309 s]
/proc/loadavg: 1.20 1.12 0.95 2/120 11075
/proc/meminfo: memFree=1480924/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=134112 CPUtime=768.88
/proc/10969/stat : 10969 (python) S 10967 10969 10803 0 -1 4202496 32891 139522 0 92 5243 681 70453 511 15 0 1 0 54752971 137330688 6344 1992294400 4194304 4196484 140735445993040 18446744073709551615 273490423311 0 0 16781312 2 159688670771686221 0 0 17 0 0 0 0
/proc/10969/statm: 33528 6344 1143 1 0 5165 0
[pid=11061] ppid=10969 vsize=1479620 CPUtime=49.24
/proc/11061/stat : 11061 (java) S 10969 11061 11061 0 -1 4202496 20972 0 1 0 4905 19 0 0 15 0 13 0 54824332 1515130880 19645 1992294400 134512640 134550932 4287617440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11061/statm: 369905 19645 1426 10 0 367207 0
[pid=11061/tid=11062] ppid=10969 vsize=1479620 CPUtime=47.76
/proc/11061/task/11062/stat : 11062 (java) R 10969 11061 11061 0 -1 4202560 17380 0 1 0 4759 17 0 0 25 0 13 0 54824334 1515130880 19645 1992294400 134512640 134550932 4287617440 18446744073709551615 4109317792 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11061/tid=11063] ppid=10969 vsize=1479620 CPUtime=0
/proc/11061/task/11063/stat : 11063 (java) S 10969 11061 11061 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 54824336 1515130880 19645 1992294400 134512640 134550932 4287617440 18446744073709551615 4294960144 0 4 0 16800975 18446604437860936384 0 0 -1 0 0 0 0
[pid=11061/tid=11064] ppid=10969 vsize=1479620 CPUtime=0
/proc/11061/task/11064/stat : 11064 (java) S 10969 11061 11061 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 54824336 1515130880 19645 1992294400 134512640 134550932 4287617440 18446744073709551615 4294960144 0 4 0 16800975 18446604437860936384 0 0 -1 0 0 0 0
[pid=11061/tid=11065] ppid=10969 vsize=1479620 CPUtime=0
/proc/11061/task/11065/stat : 11065 (java) S 10969 11061 11061 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 13 0 54824337 1515130880 19645 1992294400 134512640 134550932 4287617440 18446744073709551615 4294960144 0 0 0 16800975 18446604437860936384 0 0 -1 0 0 0 0
[pid=11061/tid=11066] ppid=10969 vsize=1479620 CPUtime=0
/proc/11061/task/11066/stat : 11066 (java) S 10969 11061 11061 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 13 0 54824338 1515130880 19645 1992294400 134512640 134550932 4287617440 18446744073709551615 4294960144 0 4 0 16800975 18446604437860936384 0 0 -1 0 0 0 0
[pid=11061/tid=11067] ppid=10969 vsize=1479620 CPUtime=0
/proc/11061/task/11067/stat : 11067 (java) S 10969 11061 11061 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 54824338 1515130880 19645 1992294400 134512640 134550932 4287617440 18446744073709551615 4294960144 0 4 0 16800975 18446604437860936384 0 0 -1 0 0 0 0
[pid=11061/tid=11068] ppid=10969 vsize=1479620 CPUtime=0
/proc/11061/task/11068/stat : 11068 (java) S 10969 11061 11061 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 54824342 1515130880 19645 1992294400 134512640 134550932 4287617440 18446744073709551615 4294960144 0 4 0 16800975 18446604437860936384 0 0 -1 0 0 0 0
[pid=11061/tid=11069] ppid=10969 vsize=1479620 CPUtime=0.36
/proc/11061/task/11069/stat : 11069 (java) S 10969 11061 11061 0 -1 4202560 896 0 0 0 36 0 0 0 15 0 13 0 54824342 1515130880 19645 1992294400 134512640 134550932 4287617440 18446744073709551615 4294960144 0 4 0 16800975 18446604437860936384 0 0 -1 1 0 0 0
[pid=11061/tid=11070] ppid=10969 vsize=1479620 CPUtime=1.09
/proc/11061/task/11070/stat : 11070 (java) S 10969 11061 11061 0 -1 4202560 1325 0 0 0 109 0 0 0 15 0 13 0 54824342 1515130880 19645 1992294400 134512640 134550932 4287617440 18446744073709551615 4294960144 0 4 0 16800975 18446604437860936384 0 0 -1 1 0 0 0
[pid=11061/tid=11071] ppid=10969 vsize=1479620 CPUtime=0
/proc/11061/task/11071/stat : 11071 (java) S 10969 11061 11061 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 54824342 1515130880 19645 1992294400 134512640 134550932 4287617440 18446744073709551615 4294960144 0 4 0 16800975 18446604437860936384 0 0 -1 0 0 0 0
[pid=11061/tid=11072] ppid=10969 vsize=1479620 CPUtime=0
/proc/11061/task/11072/stat : 11072 (java) S 10969 11061 11061 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 13 0 54824342 1515130880 19645 1992294400 134512640 134550932 4287617440 18446744073709551615 4294960144 0 4 0 16800975 18446604437860936384 0 0 -1 0 0 0 0
[pid=11061/tid=11073] ppid=10969 vsize=1479620 CPUtime=0
/proc/11061/task/11073/stat : 11073 (java) S 10969 11061 11061 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 54824417 1515130880 19645 1992294400 134512640 134550932 4287617440 18446744073709551615 4294960144 0 4 0 16800975 18446604437860936384 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 818.12
Current children cumulated vsize (KiB) 1613732

[startup+822.301 s]
/proc/loadavg: 1.14 1.11 0.95 2/108 11093
/proc/meminfo: memFree=1553064/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=134112 CPUtime=876.42
/proc/10969/stat : 10969 (python) R 10967 10969 10803 0 -1 4202496 40142 173856 0 93 5703 744 80633 562 15 0 1 0 54752971 137330688 6346 1992294400 4194304 4196484 140735445993040 18446744073709551615 47612675236575 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10969/statm: 33528 6346 1143 1 0 5165 0
[pid=11093] ppid=10969 vsize=2856 CPUtime=6.45
/proc/11093/stat : 11093 (clasp-1.3.3-x86) R 10969 11093 11093 0 -1 4202496 778 0 0 0 645 0 0 0 25 0 1 0 54834552 2924544 456 1992294400 134512640 136080129 4287195248 18446744073709551615 134849599 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11093/statm: 714 456 175 383 0 329 0
Current children cumulated CPU time (s) 882.87
Current children cumulated vsize (KiB) 136968

[startup+882.301 s]
/proc/loadavg: 1.11 1.11 0.96 2/108 11095
/proc/meminfo: memFree=1551204/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=134112 CPUtime=880.54
/proc/10969/stat : 10969 (python) S 10967 10969 10803 0 -1 4202496 40249 173856 0 93 6069 790 80633 562 15 0 1 0 54752971 137330688 6346 1992294400 4194304 4196484 140735445993040 18446744073709551615 273490423311 0 0 16781312 2 159688670771686221 0 0 17 0 0 0 0
/proc/10969/statm: 33528 6346 1143 1 0 5165 0
[pid=11093] ppid=10969 vsize=4460 CPUtime=66.06
/proc/11093/stat : 11093 (clasp-1.3.3-x86) R 10969 11093 11093 0 -1 4202496 1204 0 0 0 6606 0 0 0 25 0 1 0 54834552 4567040 882 1992294400 134512640 136080129 4287195248 18446744073709551615 134579334 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11093/statm: 1115 882 175 383 0 730 0
Current children cumulated CPU time (s) 946.6
Current children cumulated vsize (KiB) 138572

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

[startup+895.902 s]
/proc/loadavg: 1.09 1.10 0.96 2/108 11095
/proc/meminfo: memFree=1550956/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=134112 CPUtime=881.46
/proc/10969/stat : 10969 (python) S 10967 10969 10803 0 -1 4202496 40254 173856 0 93 6151 800 80633 562 16 0 1 0 54752971 137330688 6346 1992294400 4194304 4196484 140735445993040 18446744073709551615 273490423311 0 0 16781312 2 159688670771686221 0 0 17 0 0 0 0
/proc/10969/statm: 33528 6346 1143 1 0 5165 0
[pid=11093] ppid=10969 vsize=4876 CPUtime=79.58
/proc/11093/stat : 11093 (clasp-1.3.3-x86) R 10969 11093 11093 0 -1 4202496 1275 0 0 0 7958 0 0 0 25 0 1 0 54834552 4993024 953 1992294400 134512640 136080129 4287195248 18446744073709551615 134610270 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11093/statm: 1219 953 175 383 0 834 0
Current children cumulated CPU time (s) 961.04
Current children cumulated vsize (KiB) 138988

[startup+902.3 s]
/proc/loadavg: 1.08 1.10 0.96 2/108 11095
/proc/meminfo: memFree=1550832/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=134112 CPUtime=881.9
/proc/10969/stat : 10969 (python) S 10967 10969 10803 0 -1 4202496 40256 173856 0 93 6190 805 80633 562 15 0 1 0 54752971 137330688 6346 1992294400 4194304 4196484 140735445993040 18446744073709551615 273490423311 0 0 16781312 2 159688670771686221 0 0 17 0 0 0 0
/proc/10969/statm: 33528 6346 1143 1 0 5165 0
[pid=11093] ppid=10969 vsize=4876 CPUtime=85.94
/proc/11093/stat : 11093 (clasp-1.3.3-x86) R 10969 11093 11093 0 -1 4202496 1287 0 0 0 8594 0 0 0 25 0 1 0 54834552 4993024 965 1992294400 134512640 136080129 4287195248 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11093/statm: 1219 965 175 383 0 834 0
Current children cumulated CPU time (s) 967.84
Current children cumulated vsize (KiB) 138988

[startup+905.5 s]
/proc/loadavg: 1.08 1.10 0.96 2/108 11095
/proc/meminfo: memFree=1550708/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=134112 CPUtime=882.12
/proc/10969/stat : 10969 (python) S 10967 10969 10803 0 -1 4202496 40257 173856 0 93 6210 807 80633 562 15 0 1 0 54752971 137330688 6346 1992294400 4194304 4196484 140735445993040 18446744073709551615 273490423311 0 0 16781312 2 159688670771686221 0 0 17 0 0 0 0
/proc/10969/statm: 33528 6346 1143 1 0 5165 0
[pid=11093] ppid=10969 vsize=4876 CPUtime=89.12
/proc/11093/stat : 11093 (clasp-1.3.3-x86) R 10969 11093 11093 0 -1 4202496 1303 0 0 0 8912 0 0 0 25 0 1 0 54834552 4993024 981 1992294400 134512640 136080129 4287195248 18446744073709551615 134610355 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11093/statm: 1219 981 175 383 0 834 0
Current children cumulated CPU time (s) 971.24
Current children cumulated vsize (KiB) 138988

[startup+908.7 s]
/proc/loadavg: 1.07 1.10 0.96 2/108 11097
/proc/meminfo: memFree=1550708/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=134112 CPUtime=882.34
/proc/10969/stat : 10969 (python) S 10967 10969 10803 0 -1 4202496 40259 173856 0 93 6230 809 80633 562 15 0 1 0 54752971 137330688 6346 1992294400 4194304 4196484 140735445993040 18446744073709551615 273490423311 0 0 16781312 2 159688670771686221 0 0 17 0 0 0 0
/proc/10969/statm: 33528 6346 1143 1 0 5165 0
[pid=11093] ppid=10969 vsize=5008 CPUtime=92.3
/proc/11093/stat : 11093 (clasp-1.3.3-x86) R 10969 11093 11093 0 -1 4202496 1308 0 0 0 9230 0 0 0 25 0 1 0 54834552 5128192 986 1992294400 134512640 136080129 4287195248 18446744073709551615 134607925 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/11093/statm: 1252 986 175 383 0 867 0
Current children cumulated CPU time (s) 974.64
Current children cumulated vsize (KiB) 139120

[startup+909.5 s]
/proc/loadavg: 1.07 1.10 0.96 2/108 11097
/proc/meminfo: memFree=1550708/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=134112 CPUtime=882.41
/proc/10969/stat : 10969 (python) S 10967 10969 10803 0 -1 4202496 40259 173856 0 93 6236 810 80633 562 15 0 1 0 54752971 137330688 6346 1992294400 4194304 4196484 140735445993040 18446744073709551615 273490423311 0 0 16781312 2 159688670771686221 0 0 17 0 0 0 0
/proc/10969/statm: 33528 6346 1143 1 0 5165 0
[pid=11093] ppid=10969 vsize=5008 CPUtime=93.1
/proc/11093/stat : 11093 (clasp-1.3.3-x86) R 10969 11093 11093 0 -1 4202496 1308 0 0 0 9310 0 0 0 25 0 1 0 54834552 5128192 986 1992294400 134512640 136080129 4287195248 18446744073709551615 134845923 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11093/statm: 1252 986 175 383 0 867 0
Current children cumulated CPU time (s) 975.51
Current children cumulated vsize (KiB) 139120

[startup+909.9 s]
/proc/loadavg: 1.07 1.10 0.96 2/108 11097
/proc/meminfo: memFree=1550708/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=134112 CPUtime=882.44
/proc/10969/stat : 10969 (python) R 10967 10969 10803 0 -1 4202496 40259 173856 0 93 6238 811 80633 562 15 0 1 0 54752971 137330688 6346 1992294400 4194304 4196484 140735445993040 18446744073709551615 47612718470515 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10969/statm: 33528 6346 1143 1 0 5165 0
[pid=11093] ppid=10969 vsize=5008 CPUtime=93.49
/proc/11093/stat : 11093 (clasp-1.3.3-x86) R 10969 11093 11093 0 -1 4202496 1308 0 0 0 9349 0 0 0 25 0 1 0 54834552 5128192 986 1992294400 134512640 136080129 4287195248 18446744073709551615 134588674 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11093/statm: 1252 986 175 383 0 867 0
Current children cumulated CPU time (s) 975.93
Current children cumulated vsize (KiB) 139120

[startup+910.3 s]
/proc/loadavg: 1.07 1.10 0.96 2/108 11097
/proc/meminfo: memFree=1550708/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=134112 CPUtime=882.51
/proc/10969/stat : 10969 (python) R 10967 10969 10803 0 -1 4202496 40261 173856 0 93 6244 812 80633 562 15 0 1 0 54752971 137330688 6346 1992294400 4194304 4196484 140735445993040 18446744073709551615 273490446471 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10969/statm: 33528 6346 1143 1 0 5165 0
[pid=11093] ppid=10969 vsize=0 CPUtime=93.83
/proc/11093/stat : 11093 (clasp-1.3.3-x86) Z 10969 11093 11093 0 -1 4202524 1322 0 0 0 9383 0 0 0 25 0 1 0 54834552 0 0 1992294400 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 1 0 0 0
/proc/11093/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 976.34
Current children cumulated vsize (KiB) 134112

[startup+910.4 s]
/proc/loadavg: 1.07 1.10 0.96 2/108 11097
/proc/meminfo: memFree=1550708/2059040 swapFree=4140324/4192956
[pid=10969] ppid=10967 vsize=135140 CPUtime=976.46
/proc/10969/stat : 10969 (python) S 10967 10969 10803 0 -1 4202496 40336 175178 0 93 6252 814 90017 563 16 0 1 0 54752971 138383360 6348 1992294400 4194304 4196484 140735445993040 18446744073709551615 273502229904 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/10969/statm: 33785 6348 1143 1 0 5422 0
Current children cumulated CPU time (s) 976.46
Current children cumulated vsize (KiB) 135140

Child status: 20
Real time (s): 910.491
CPU time (s): 976.558
CPU user time (s): 962.757
CPU system time (s): 13.8009
CPU usage (%): 107.256
Max. virtual memory (cumulated for all children) (KiB): 1616568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 962.757
system time used= 13.8009
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221254
page faults= 93
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9916
involuntary context switches= 17884

runsolver used 1.93571 second user time and 4.87126 second system time

The end

Launcher Data 

Begin job on node051 at 2010-06-21 17:36:54
IDJOB=2676163
IDBENCH=1363
IDSOLVER=1178
FILE ID=node051/2676163-1277134614
PBS_JOBID= 11182075
Free space on /tmp= 62592 MiB

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

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

MD5SUM BENCH= f510e821cdc50f097865b59193d7ef06
RANDOM SEED=1245467142

node051.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.255
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.51
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.255
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.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1587288 kB
Buffers:        126820 kB
Cached:         245576 kB
SwapCached:       5672 kB
Active:         205820 kB
Inactive:       179524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1587288 kB
SwapTotal:     4192956 kB
SwapFree:      4140324 kB
Dirty:           20740 kB
Writeback:           0 kB
AnonPages:       11492 kB
Mapped:          12840 kB
Slab:            64620 kB
PageTables:       3992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182924 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= 62572 MiB
End job on node051 at 2010-06-21 17:52:05