Trace number 2676202

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 603.391 567.892

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
MD5SUM6f530d7030eb010292a76e81381ed552
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.300953
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables6000
Total number of constraints220
Number of constraints which are clauses120
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint60
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 61
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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.96 0.55 0.70 3/106 5806
/proc/meminfo: memFree=1544268/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=16708 CPUtime=0
/proc/5806/stat : 5806 (python) R 5804 5806 5536 0 -1 4202496 730 0 0 0 0 0 0 0 18 0 1 0 87122274 17108992 497 1992294400 4194304 4196484 140735685434176 18446744073709551615 273567658693 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5806/statm: 4177 500 272 1 0 273 0

[startup+0.0888619 s]
/proc/loadavg: 0.96 0.55 0.70 3/106 5806
/proc/meminfo: memFree=1544268/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=31868 CPUtime=0.06
/proc/5806/stat : 5806 (python) R 5804 5806 5536 0 -1 4202496 2304 0 0 0 4 2 0 0 20 0 1 0 87122274 32632832 1283 1992294400 4194304 4196484 140735119685376 18446744073709551615 47431858948032 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5806/statm: 7967 1287 459 1 0 839 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 31868

[startup+0.100862 s]
/proc/loadavg: 0.96 0.55 0.70 3/106 5806
/proc/meminfo: memFree=1544268/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=34220 CPUtime=0.07
/proc/5806/stat : 5806 (python) R 5804 5806 5536 0 -1 4202496 2420 0 0 0 4 3 0 0 20 0 1 0 87122274 35041280 1394 1992294400 4194304 4196484 140735119685376 18446744073709551615 47431858934432 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5806/statm: 8555 1394 462 1 0 912 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 34220

[startup+0.300858 s]
/proc/loadavg: 0.96 0.55 0.70 3/106 5806
/proc/meminfo: memFree=1544268/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=70844 CPUtime=0.22
/proc/5806/stat : 5806 (python) D 5804 5806 5536 0 -1 4202496 4004 0 0 0 14 8 0 0 20 0 1 0 87122274 72544256 2837 1992294400 4194304 4196484 140735119685376 18446744073709551615 273568003639 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 0
/proc/5806/statm: 17711 2837 693 1 0 2198 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 70844

[startup+0.700849 s]
/proc/loadavg: 0.96 0.55 0.70 3/106 5806
/proc/meminfo: memFree=1544268/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=98788 CPUtime=0.47
/proc/5806/stat : 5806 (python) R 5804 5806 5536 0 -1 4202496 4863 0 0 0 29 18 0 0 18 0 1 0 87122274 101158912 3578 1992294400 4194304 4196484 140735119685376 18446744073709551615 273567655680 0 0 16781312 2 0 0 0 17 0 0 0 15
/proc/5806/statm: 24697 3578 1022 1 0 2554 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 98788

[startup+1.50083 s]
/proc/loadavg: 0.96 0.55 0.70 2/107 5811
/proc/meminfo: memFree=1527272/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=132056 CPUtime=1.15
/proc/5806/stat : 5806 (python) S 5804 5806 5536 0 -1 4202496 10236 927 0 0 82 33 0 0 17 0 1 0 87122274 135225344 6307 1992294400 4194304 4196484 140735119685376 18446744073709551615 273568017935 0 0 16781312 2 159688670771686179 0 0 17 0 0 0 15
/proc/5806/statm: 33014 6307 1133 1 0 5166 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 132056

[startup+3.1008 s]
/proc/loadavg: 0.96 0.55 0.70 2/108 5812
/proc/meminfo: memFree=1519328/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=132056 CPUtime=1.24
/proc/5806/stat : 5806 (python) S 5804 5806 5536 0 -1 4202496 10243 927 0 0 90 34 0 0 15 0 1 0 87122274 135225344 6307 1992294400 4194304 4196484 140735119685376 18446744073709551615 273568017935 0 0 16781312 2 159688670771686179 0 0 17 0 0 0 15
/proc/5806/statm: 33014 6307 1133 1 0 5166 0
[pid=5812] ppid=5806 vsize=6764 CPUtime=1.66
/proc/5812/stat : 5812 (clasp-1.3.3-x86) R 5806 5812 5812 0 -1 4202496 1747 0 0 0 166 0 0 0 22 0 1 0 87122416 6926336 1431 1992294400 134512640 136080129 4287208496 18446744073709551615 134577690 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5812/statm: 1691 1431 174 383 0 1306 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 138820

[startup+6.30073 s]
/proc/loadavg: 0.96 0.56 0.70 2/108 5812
/proc/meminfo: memFree=1516352/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=132056 CPUtime=1.45
/proc/5806/stat : 5806 (python) S 5804 5806 5536 0 -1 4202496 10256 927 0 0 108 37 0 0 15 0 1 0 87122274 135225344 6307 1992294400 4194304 4196484 140735119685376 18446744073709551615 273568017935 0 0 16781312 2 159688670771686179 0 0 17 0 0 0 15
/proc/5806/statm: 33014 6307 1133 1 0 5166 0
[pid=5812] ppid=5806 vsize=8424 CPUtime=4.85
/proc/5812/stat : 5812 (clasp-1.3.3-x86) R 5806 5812 5812 0 -1 4202496 2175 0 0 0 484 1 0 0 25 0 1 0 87122416 8626176 1859 1992294400 134512640 136080129 4287208496 18446744073709551615 134588734 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5812/statm: 2106 1859 174 383 0 1721 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 140480

[startup+12.7016 s]
/proc/loadavg: 0.96 0.57 0.70 2/108 5815
/proc/meminfo: memFree=1519824/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=134116 CPUtime=12.06
/proc/5806/stat : 5806 (python) S 5804 5806 5536 0 -1 4202496 11569 4367 0 0 147 43 1011 5 15 0 1 0 87122274 137334784 6329 1992294400 4194304 4196484 140735119685376 18446744073709551615 273568017935 0 0 16781312 2 159688670771686179 0 0 17 0 0 0 15
/proc/5806/statm: 33529 6329 1143 1 0 5166 0
[pid=5815] ppid=5806 vsize=5720 CPUtime=1.02
/proc/5815/stat : 5815 (clasp-1.3.3-x86) R 5806 5815 5815 0 -1 4202496 1487 0 0 0 102 0 0 0 19 0 1 0 87123440 5857280 1173 1992294400 134512640 136080129 4291390912 18446744073709551615 134804927 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5815/statm: 1430 1173 174 383 0 1045 0
Current children cumulated CPU time (s) 13.08
Current children cumulated vsize (KiB) 139836

[startup+25.5003 s]
/proc/loadavg: 1.04 0.60 0.71 2/108 5815
/proc/meminfo: memFree=1514244/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=134116 CPUtime=12.85
/proc/5806/stat : 5806 (python) S 5804 5806 5536 0 -1 4202496 11619 4367 0 0 216 53 1011 5 15 0 1 0 87122274 137334784 6329 1992294400 4194304 4196484 140735119685376 18446744073709551615 273568017935 0 0 16781312 2 159688670771686179 0 0 17 0 0 0 15
/proc/5806/statm: 33529 6329 1143 1 0 5166 0
[pid=5815] ppid=5806 vsize=10700 CPUtime=13.74
/proc/5815/stat : 5815 (clasp-1.3.3-x86) R 5806 5815 5815 0 -1 4202496 2747 0 0 0 1373 1 0 0 25 0 1 0 87123440 10956800 2433 1992294400 134512640 136080129 4291390912 18446744073709551615 134803248 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/5815/statm: 2675 2433 174 383 0 2290 0
Current children cumulated CPU time (s) 26.59
Current children cumulated vsize (KiB) 144816

[startup+51.1008 s]
/proc/loadavg: 1.09 0.65 0.72 2/108 5818
/proc/meminfo: memFree=1511144/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=134116 CPUtime=14.43
/proc/5806/stat : 5806 (python) S 5804 5806 5536 0 -1 4202496 11690 4367 0 0 353 74 1011 5 15 0 1 0 87122274 137334784 6329 1992294400 4194304 4196484 140735119685376 18446744073709551615 273568017935 0 0 16781312 2 159688670771686179 0 0 17 0 0 0 15
/proc/5806/statm: 33529 6329 1143 1 0 5166 0
[pid=5815] ppid=5806 vsize=13308 CPUtime=39.17
/proc/5815/stat : 5815 (clasp-1.3.3-x86) R 5806 5815 5815 0 -1 4202496 3391 0 0 0 3915 2 0 0 25 0 1 0 87123440 13627392 3077 1992294400 134512640 136080129 4291390912 18446744073709551615 134588944 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5815/statm: 3327 3077 174 383 0 2942 0
Current children cumulated CPU time (s) 53.6
Current children cumulated vsize (KiB) 147424

[startup+102.309 s]
/proc/loadavg: 1.14 0.73 0.75 2/108 5823
/proc/meminfo: memFree=1467496/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=134116 CPUtime=68.53
/proc/5806/stat : 5806 (python) S 5804 5806 5536 0 -1 4202496 12990 9110 0 0 671 122 6052 8 15 0 1 0 87122274 137334784 6332 1992294400 4194304 4196484 140735119685376 18446744073709551615 273568017935 0 0 16781312 2 159688670771686179 0 0 17 0 0 0 15
/proc/5806/statm: 33529 6332 1143 1 0 5166 0
[pid=5823] ppid=5806 vsize=58068 CPUtime=39.57
/proc/5823/stat : 5823 (wbo1.4a) R 5806 5823 5823 0 -1 4202496 14401 0 0 0 3942 15 0 0 25 0 1 0 87128520 59461632 14059 1992294400 134512640 135751879 4291535120 18446744073709551615 134616514 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/5823/statm: 14517 14059 139 303 0 14212 0
Current children cumulated CPU time (s) 108.1
Current children cumulated vsize (KiB) 192184

[startup+162.3 s]
/proc/loadavg: 1.05 0.78 0.76 2/108 5828
/proc/meminfo: memFree=1510152/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=134116 CPUtime=122.8
/proc/5806/stat : 5806 (python) S 5804 5806 5536 0 -1 4202496 14331 26485 0 0 998 174 11079 29 15 0 1 0 87122274 137334784 6333 1992294400 4194304 4196484 140735119685376 18446744073709551615 273568017935 0 0 16781312 2 159688670771686179 0 0 17 0 0 0 15
/proc/5806/statm: 33529 6333 1143 1 0 5166 0
[pid=5826] ppid=5806 vsize=14604 CPUtime=48.68
/proc/5826/stat : 5826 (clasp-1.3.3-x86) R 5806 5826 5826 0 -1 4202496 3727 0 0 0 4867 1 0 0 25 0 1 0 87133604 14954496 3410 1992294400 134512640 136080129 4291965680 18446744073709551615 134716431 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/5826/statm: 3651 3410 174 383 0 3266 0
Current children cumulated CPU time (s) 171.48
Current children cumulated vsize (KiB) 148720

[startup+222.3 s]
/proc/loadavg: 1.14 0.85 0.78 2/108 5833
/proc/meminfo: memFree=1505936/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=134116 CPUtime=227.25
/proc/5806/stat : 5806 (python) S 5804 5806 5536 0 -1 4202496 15570 31792 0 0 1354 231 21106 34 15 0 1 0 87122274 137334784 6334 1992294400 4194304 4196484 140735119685376 18446744073709551615 273568017935 0 0 16781312 2 159688670771686179 0 0 17 0 0 0 15
/proc/5806/statm: 33529 6334 1143 1 0 5166 0
[pid=5833] ppid=5806 vsize=19736 CPUtime=7.96
/proc/5833/stat : 5833 (wbo1.4a) R 5806 5833 5833 0 -1 4202496 4830 0 0 0 790 6 0 0 25 0 1 0 87143700 20209664 4488 1992294400 134512640 135751879 4294455680 18446744073709551615 134604750 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5833/statm: 4934 4488 139 303 0 4629 0
Current children cumulated CPU time (s) 235.21
Current children cumulated vsize (KiB) 153852

[startup+282.301 s]
/proc/loadavg: 1.10 0.89 0.80 2/108 5833
/proc/meminfo: memFree=1450632/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=134116 CPUtime=231.04
/proc/5806/stat : 5806 (python) S 5804 5806 5536 0 -1 4202496 15653 31792 0 0 1684 280 21106 34 16 0 1 0 87122274 137334784 6334 1992294400 4194304 4196484 140735119685376 18446744073709551615 273568017935 0 0 16781312 2 159688670771686179 0 0 17 0 0 0 15
/proc/5806/statm: 33529 6334 1143 1 0 5166 0
[pid=5833] ppid=5806 vsize=75136 CPUtime=67.58
/proc/5833/stat : 5833 (wbo1.4a) R 5806 5833 5833 0 -1 4202496 18679 0 0 0 6733 25 0 0 25 0 1 0 87143700 76939264 18337 1992294400 134512640 135751879 4294455680 18446744073709551615 134616497 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5833/statm: 18784 18337 139 303 0 18479 0
Current children cumulated CPU time (s) 298.62
Current children cumulated vsize (KiB) 209252

[startup+342.301 s]
/proc/loadavg: 1.08 0.92 0.81 2/108 5838
/proc/meminfo: memFree=1482500/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=134116 CPUtime=335.88
/proc/5806/stat : 5806 (python) S 5804 5806 5536 0 -1 4202496 16955 58055 0 0 2041 335 31142 70 15 0 1 0 87122274 137334784 6336 1992294400 4194304 4196484 140735119685376 18446744073709551615 273568017935 0 0 16781312 2 8890176033173547811 0 0 17 0 0 0 15
/proc/5806/statm: 33529 6336 1143 1 0 5166 0
[pid=5838] ppid=5806 vsize=43004 CPUtime=26.44
/proc/5838/stat : 5838 (wbo1.4b) R 5806 5838 5838 0 -1 4202496 10824 0 0 0 2629 15 0 0 25 0 1 0 87153842 44036096 10314 1992294400 134512640 135751879 4289188832 18446744073709551615 134517421 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/5838/statm: 10751 10314 144 303 0 10446 0
Current children cumulated CPU time (s) 362.32
Current children cumulated vsize (KiB) 177120

[startup+402.302 s]
/proc/loadavg: 1.16 0.96 0.83 2/120 5855
/proc/meminfo: memFree=1410032/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=134116 CPUtime=390.25
/proc/5806/stat : 5806 (python) S 5804 5806 5536 0 -1 4202496 18283 75531 0 0 2384 385 36163 93 15 0 1 0 87122274 137334784 6338 1992294400 4194304 4196484 140735119685376 18446744073709551615 273568017935 0 0 16781312 2 159688670771686179 0 0 17 0 0 0 15
/proc/5806/statm: 33529 6338 1143 1 0 5166 0
[pid=5843] ppid=5806 vsize=1478192 CPUtime=36.64
/proc/5843/stat : 5843 (java) S 5806 5843 5843 0 -1 4202496 28354 0 89 0 3648 16 0 0 16 0 13 0 87158921 1513668608 27093 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 5
/proc/5843/statm: 369548 27093 1426 10 0 366850 0
[pid=5843/tid=5844] ppid=5806 vsize=1478192 CPUtime=35.18
/proc/5843/task/5844/stat : 5844 (java) R 5806 5843 5843 0 -1 4202560 24906 0 55 0 3505 13 0 0 25 0 13 0 87158930 1513668608 27093 1992294400 134512640 134550932 4292334896 18446744073709551615 4109707872 0 4 0 16800975 0 0 0 -1 1 0 0 14
[pid=5843/tid=5845] ppid=5806 vsize=1478192 CPUtime=0
/proc/5843/task/5845/stat : 5845 (java) S 5806 5843 5843 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 13 0 87158935 1513668608 27093 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=5843/tid=5846] ppid=5806 vsize=1478192 CPUtime=0
/proc/5843/task/5846/stat : 5846 (java) S 5806 5843 5843 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 13 0 87158935 1513668608 27093 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=5843/tid=5847] ppid=5806 vsize=1478192 CPUtime=0

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

[pid=5843/tid=5848] ppid=5806 vsize=1478192 CPUtime=0
/proc/5843/task/5848/stat : 5848 (java) S 5806 5843 5843 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 13 0 87158939 1513668608 27093 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=5843/tid=5849] ppid=5806 vsize=1478192 CPUtime=0
/proc/5843/task/5849/stat : 5849 (java) S 5806 5843 5843 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 87158939 1513668608 27093 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=5843/tid=5850] ppid=5806 vsize=1478192 CPUtime=0
/proc/5843/task/5850/stat : 5850 (java) S 5806 5843 5843 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 87158948 1513668608 27093 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=5843/tid=5851] ppid=5806 vsize=1478192 CPUtime=0.79
/proc/5843/task/5851/stat : 5851 (java) S 5806 5843 5843 0 -1 4202560 1185 0 0 0 79 0 0 0 15 0 13 0 87158948 1513668608 27093 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=5843/tid=5852] ppid=5806 vsize=1478192 CPUtime=0.63
/proc/5843/task/5852/stat : 5852 (java) S 5806 5843 5843 0 -1 4202560 942 0 0 0 63 0 0 0 15 0 13 0 87158948 1513668608 27093 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=5843/tid=5853] ppid=5806 vsize=1478192 CPUtime=0
/proc/5843/task/5853/stat : 5853 (java) S 5806 5843 5843 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 13 0 87158948 1513668608 27093 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=5843/tid=5854] ppid=5806 vsize=1478192 CPUtime=0
/proc/5843/task/5854/stat : 5854 (java) S 5806 5843 5843 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 13 0 87158948 1513668608 27093 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=5843/tid=5855] ppid=5806 vsize=1478192 CPUtime=0
/proc/5843/task/5855/stat : 5855 (java) S 5806 5843 5843 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 87159027 1513668608 27093 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 426.89
Current children cumulated vsize (KiB) 1612308

[startup+462.301 s]
/proc/loadavg: 1.12 0.98 0.84 2/120 5857
/proc/meminfo: memFree=1286900/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=134116 CPUtime=393.97
/proc/5806/stat : 5806 (python) S 5804 5806 5536 0 -1 4202496 18320 75531 0 0 2711 430 36163 93 15 0 1 0 87122274 137334784 6338 1992294400 4194304 4196484 140735119685376 18446744073709551615 273568017935 0 0 16781312 2 159688670771686179 0 0 17 0 0 0 15
/proc/5806/statm: 33529 6338 1143 1 0 5166 0
[pid=5843] ppid=5806 vsize=1478192 CPUtime=96.79
/proc/5843/stat : 5843 (java) S 5806 5843 5843 0 -1 4202496 62558 0 89 0 9644 35 0 0 16 0 13 0 87158921 1513668608 57547 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 5
/proc/5843/statm: 369548 57547 1435 10 0 366850 0
[pid=5843/tid=5844] ppid=5806 vsize=1478192 CPUtime=94.99
/proc/5843/task/5844/stat : 5844 (java) R 5806 5843 5843 0 -1 4202560 30870 0 55 0 9483 16 0 0 25 0 13 0 87158930 1513668608 57547 1992294400 134512640 134550932 4292334896 18446744073709551615 4109663174 0 4 0 16800975 0 0 0 -1 1 0 0 14
[pid=5843/tid=5845] ppid=5806 vsize=1478192 CPUtime=0.13
/proc/5843/task/5845/stat : 5845 (java) S 5806 5843 5843 0 -1 4202560 13669 0 0 0 6 7 0 0 18 0 13 0 87158935 1513668608 57547 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=5843/tid=5846] ppid=5806 vsize=1478192 CPUtime=0.12
/proc/5843/task/5846/stat : 5846 (java) S 5806 5843 5843 0 -1 4202560 14557 0 0 0 4 8 0 0 18 0 13 0 87158935 1513668608 57547 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=5843/tid=5847] ppid=5806 vsize=1478192 CPUtime=0
/proc/5843/task/5847/stat : 5847 (java) S 5806 5843 5843 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 13 0 87158938 1513668608 57547 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 0 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=5843/tid=5848] ppid=5806 vsize=1478192 CPUtime=0
/proc/5843/task/5848/stat : 5848 (java) S 5806 5843 5843 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 13 0 87158939 1513668608 57547 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=5843/tid=5849] ppid=5806 vsize=1478192 CPUtime=0
/proc/5843/task/5849/stat : 5849 (java) S 5806 5843 5843 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 87158939 1513668608 57547 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=5843/tid=5850] ppid=5806 vsize=1478192 CPUtime=0
/proc/5843/task/5850/stat : 5850 (java) S 5806 5843 5843 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 87158948 1513668608 57547 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=5843/tid=5851] ppid=5806 vsize=1478192 CPUtime=0.82
/proc/5843/task/5851/stat : 5851 (java) S 5806 5843 5843 0 -1 4202560 1186 0 0 0 82 0 0 0 15 0 13 0 87158948 1513668608 57547 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=5843/tid=5852] ppid=5806 vsize=1478192 CPUtime=0.66
/proc/5843/task/5852/stat : 5852 (java) S 5806 5843 5843 0 -1 4202560 944 0 0 0 66 0 0 0 15 0 13 0 87158948 1513668608 57547 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=5843/tid=5853] ppid=5806 vsize=1478192 CPUtime=0
/proc/5843/task/5853/stat : 5853 (java) S 5806 5843 5843 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 13 0 87158948 1513668608 57547 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=5843/tid=5854] ppid=5806 vsize=1478192 CPUtime=0
/proc/5843/task/5854/stat : 5854 (java) S 5806 5843 5843 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 13 0 87158948 1513668608 57547 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=5843/tid=5855] ppid=5806 vsize=1478192 CPUtime=0
/proc/5843/task/5855/stat : 5855 (java) S 5806 5843 5843 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 87159027 1513668608 57547 1992294400 134512640 134550932 4292334896 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 490.76
Current children cumulated vsize (KiB) 1612308

[startup+522.301 s]
/proc/loadavg: 1.04 0.98 0.85 2/108 5862
/proc/meminfo: memFree=1445468/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=134116 CPUtime=498.96
/proc/5806/stat : 5806 (python) S 5804 5806 5536 0 -1 4202496 19641 139007 0 89 3073 482 46209 132 15 0 1 0 87122274 137334784 6338 1992294400 4194304 4196484 140735119685376 18446744073709551615 273568017935 0 0 16781312 2 159688670771686179 0 0 17 0 0 0 15
/proc/5806/statm: 33529 6338 1143 1 0 5166 0
[pid=5860] ppid=5806 vsize=69320 CPUtime=55.89
/proc/5860/stat : 5860 (wbo1.4b) R 5806 5860 5860 0 -1 4202496 17408 0 0 0 5571 18 0 0 25 0 1 0 87168912 70983680 16891 1992294400 134512640 135751879 4291961552 18446744073709551615 134517409 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5860/statm: 17330 16891 144 303 0 17025 0
Current children cumulated CPU time (s) 554.85
Current children cumulated vsize (KiB) 203436

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

[startup+537.501 s]
/proc/loadavg: 1.03 0.98 0.85 2/108 5862
/proc/meminfo: memFree=1437656/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=134116 CPUtime=499.91
/proc/5806/stat : 5806 (python) S 5804 5806 5536 0 -1 4202496 19647 139007 0 89 3157 493 46209 132 15 0 1 0 87122274 137334784 6338 1992294400 4194304 4196484 140735119685376 18446744073709551615 273568017935 0 0 16781312 2 159688670771686179 0 0 17 0 0 0 15
/proc/5806/statm: 33529 6338 1143 1 0 5166 0
[pid=5860] ppid=5806 vsize=77128 CPUtime=71.09
/proc/5860/stat : 5860 (wbo1.4b) R 5806 5860 5860 0 -1 4202496 19355 0 0 0 7088 21 0 0 25 0 1 0 87168912 78979072 18838 1992294400 134512640 135751879 4291961552 18446744073709551615 134616492 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5860/statm: 19282 18838 144 303 0 18977 0
Current children cumulated CPU time (s) 571
Current children cumulated vsize (KiB) 211244

[startup+550.301 s]
/proc/loadavg: 1.02 0.98 0.85 2/108 5862
/proc/meminfo: memFree=1431456/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=134116 CPUtime=500.71
/proc/5806/stat : 5806 (python) S 5804 5806 5536 0 -1 4202496 19652 139007 0 89 3226 504 46209 132 15 0 1 0 87122274 137334784 6338 1992294400 4194304 4196484 140735119685376 18446744073709551615 273568017935 0 0 16781312 2 159688670771686179 0 0 17 0 0 0 15
/proc/5806/statm: 33529 6338 1143 1 0 5166 0
[pid=5860] ppid=5806 vsize=82992 CPUtime=83.89
/proc/5860/stat : 5860 (wbo1.4b) R 5806 5860 5860 0 -1 4202496 20805 0 0 0 8366 23 0 0 25 0 1 0 87168912 84983808 20288 1992294400 134512640 135751879 4291961552 18446744073709551615 134517409 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5860/statm: 20748 20288 144 303 0 20443 0
Current children cumulated CPU time (s) 584.6
Current children cumulated vsize (KiB) 217108

[startup+556.701 s]
/proc/loadavg: 1.02 0.98 0.85 2/108 5862
/proc/meminfo: memFree=1425008/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=134116 CPUtime=501.1
/proc/5806/stat : 5806 (python) S 5804 5806 5536 0 -1 4202496 19655 139007 0 89 3261 508 46209 132 15 0 1 0 87122274 137334784 6338 1992294400 4194304 4196484 140735119685376 18446744073709551615 273568017935 0 0 16781312 2 159688670771686179 0 0 17 0 0 0 15
/proc/5806/statm: 33529 6338 1143 1 0 5166 0
[pid=5860] ppid=5806 vsize=89460 CPUtime=90.29
/proc/5860/stat : 5860 (wbo1.4b) R 5806 5860 5860 0 -1 4202496 22402 0 0 0 9003 26 0 0 25 0 1 0 87168912 91607040 21885 1992294400 134512640 135751879 4291961552 18446744073709551615 134517421 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5860/statm: 22365 21885 144 303 0 22060 0
Current children cumulated CPU time (s) 591.39
Current children cumulated vsize (KiB) 223576

[startup+563.101 s]
/proc/loadavg: 1.02 0.98 0.85 2/108 5862
/proc/meminfo: memFree=1417568/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=134116 CPUtime=501.5
/proc/5806/stat : 5806 (python) S 5804 5806 5536 0 -1 4202496 19657 139007 0 89 3296 513 46209 132 15 0 1 0 87122274 137334784 6338 1992294400 4194304 4196484 140735119685376 18446744073709551615 273568017935 0 0 16781312 2 159688670771686179 0 0 17 0 0 0 15
/proc/5806/statm: 33529 6338 1143 1 0 5166 0
[pid=5860] ppid=5806 vsize=96592 CPUtime=96.69
/proc/5860/stat : 5860 (wbo1.4b) R 5806 5860 5860 0 -1 4202496 24182 0 0 0 9641 28 0 0 25 0 1 0 87168912 98910208 23665 1992294400 134512640 135751879 4291961552 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5860/statm: 24148 23665 144 303 0 23843 0
Current children cumulated CPU time (s) 598.19
Current children cumulated vsize (KiB) 230708

[startup+566.301 s]
/proc/loadavg: 1.02 0.98 0.85 2/108 5862
/proc/meminfo: memFree=1415336/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=134116 CPUtime=501.69
/proc/5806/stat : 5806 (python) S 5804 5806 5536 0 -1 4202496 19658 139007 0 89 3313 515 46209 132 15 0 1 0 87122274 137334784 6338 1992294400 4194304 4196484 140735119685376 18446744073709551615 273568017935 0 0 16781312 2 159688670771686179 0 0 17 0 0 0 15
/proc/5806/statm: 33529 6338 1143 1 0 5166 0
[pid=5860] ppid=5806 vsize=99896 CPUtime=99.88
/proc/5860/stat : 5860 (wbo1.4b) R 5806 5860 5860 0 -1 4202496 25026 0 0 0 9959 29 0 0 25 0 1 0 87168912 102293504 24509 1992294400 134512640 135751879 4291961552 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/5860/statm: 24974 24509 144 303 0 24669 0
Current children cumulated CPU time (s) 601.57
Current children cumulated vsize (KiB) 234012

[startup+567.115 s]
/proc/loadavg: 1.02 0.98 0.85 2/108 5862
/proc/meminfo: memFree=1414096/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=134116 CPUtime=602.18
/proc/5806/stat : 5806 (python) R 5804 5806 5536 0 -1 4202496 20841 165047 0 89 3326 517 56211 164 15 0 1 0 87122274 137334784 6341 1992294400 4194304 4196484 140735119685376 18446744073709551615 47431858938283 0 0 16781312 2 0 0 0 17 0 0 0 15
/proc/5806/statm: 33529 6341 1143 1 0 5166 0
Current children cumulated CPU time (s) 602.18
Current children cumulated vsize (KiB) 134116

[startup+567.502 s]
/proc/loadavg: 1.02 0.98 0.85 2/108 5865
/proc/meminfo: memFree=1507344/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=134116 CPUtime=602.23
/proc/5806/stat : 5806 (python) S 5804 5806 5536 0 -1 4202496 20845 165047 0 89 3330 518 56211 164 16 0 1 0 87122274 137334784 6341 1992294400 4194304 4196484 140735119685376 18446744073709551615 273568017935 0 0 16781312 2 159688670771686179 0 0 17 0 0 0 15
/proc/5806/statm: 33529 6341 1143 1 0 5166 0
[pid=5865] ppid=5806 vsize=15092 CPUtime=0.72
/proc/5865/stat : 5865 (bsolo_pb10) R 5806 5865 5865 0 -1 4202496 1750 0 0 0 70 2 0 0 18 0 1 0 87178951 15454208 1352 1992294400 134512640 137138936 4290513952 18446744073709551615 134606970 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/5865/statm: 3773 1352 192 642 0 3129 0
Current children cumulated CPU time (s) 602.95
Current children cumulated vsize (KiB) 149208

[startup+567.703 s]
/proc/loadavg: 1.02 0.98 0.85 2/108 5865
/proc/meminfo: memFree=1507344/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=134116 CPUtime=602.27
/proc/5806/stat : 5806 (python) R 5804 5806 5536 0 -1 4202496 20852 165047 0 89 3333 519 56211 164 15 0 1 0 87122274 137334784 6341 1992294400 4194304 4196484 140735119685376 18446744073709551615 47431859300420 0 0 16781312 2 0 0 0 17 0 0 0 15
/proc/5806/statm: 33529 6341 1143 1 0 5166 0
[pid=5865] ppid=5806 vsize=0 CPUtime=0.91
/proc/5865/stat : 5865 (bsolo_pb10) Z 5806 5865 5865 0 -1 4202524 1915 0 0 0 89 2 0 0 18 0 1 0 87178951 0 0 1992294400 0 0 0 0 0 0 0 16781312 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/5865/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 603.18
Current children cumulated vsize (KiB) 134116

[startup+567.801 s]
/proc/loadavg: 1.02 0.98 0.85 2/108 5865
/proc/meminfo: memFree=1507344/2059040 swapFree=4139972/4192956
[pid=5806] ppid=5804 vsize=134116 CPUtime=603.27
/proc/5806/stat : 5806 (python) R 5804 5806 5536 0 -1 4202496 20881 166962 0 89 3341 520 56300 166 16 0 1 0 87122274 137334784 6341 1992294400 4194304 4196484 140735119685376 18446744073709551615 273567818133 0 0 16781312 2 0 0 0 17 0 0 0 15
/proc/5806/statm: 33529 6341 1143 1 0 5166 0
Current children cumulated CPU time (s) 603.27
Current children cumulated vsize (KiB) 134116

Child status: 20
Real time (s): 567.892
CPU time (s): 603.391
CPU user time (s): 596.491
CPU system time (s): 6.89995
CPU usage (%): 106.251
Max. virtual memory (cumulated for all children) (KiB): 1613172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 596.491
system time used= 6.89995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193634
page faults= 89
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5470
involuntary context switches= 10840

runsolver used 1.09483 second user time and 2.98855 second system time

The end

Launcher Data 

Begin job on node018 at 2010-06-21 17:37:39
IDJOB=2676202
IDBENCH=1402
IDSOLVER=1178
FILE ID=node018/2676202-1277134659
PBS_JOBID= 11182094
Free space on /tmp= 62552 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2676202-1277134659/watcher-2676202-1277134659 -o /tmp/evaluation-result-2676202-1277134659/solver-2676202-1277134659 -C 1800 -W 2000 -M 1800  solver HOME/instance-2676202-1277134659.opb 1009667010 

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

MD5SUM BENCH= 6f530d7030eb010292a76e81381ed552
RANDOM SEED=1009667010

node018.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.248
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.49
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.248
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.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1544796 kB
Buffers:        140428 kB
Cached:         265932 kB
SwapCached:       5832 kB
Active:         215832 kB
Inactive:       203896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1544796 kB
SwapTotal:     4192956 kB
SwapFree:      4139972 kB
Dirty:           20820 kB
Writeback:           0 kB
AnonPages:       11808 kB
Mapped:          12888 kB
Slab:            72724 kB
PageTables:       3988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181472 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= 62532 MiB
End job on node018 at 2010-06-21 17:47:07