Trace number 3733724

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
PB10: borg-pb 10.05.30UNSAT 628.94 601.862

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb
MD5SUMdab917560b0808668d6327532459772d
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.092985
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables4970
Total number of constraints141
Number of constraints which are clauses71
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint70
Maximum length of a constraint71
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 72
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733724-1338717813/watcher-3733724-1338717813 -o /tmp/evaluation-result-3733724-1338717813/solver-3733724-1338717813 -C 1800 -W 1900 -M 15500 solver HOME/instance-3733724-1338717813.opb 83841844 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.95 2.02 1.99 3/177 27161
/proc/meminfo: memFree=28806880/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/27161/stat : 27161 (python) D 27159 27161 22930 0 -1 4202496 797 0 0 0 0 0 0 0 20 0 1 0 337906239 15642624 559 33554432000 4194304 5683644 140734952016064 140734951984008 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 3819 559 324 364 0 261 0

[startup+0.0246029 s]
/proc/loadavg: 1.95 2.02 1.99 3/177 27161
/proc/meminfo: memFree=28806880/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=15576 CPUtime=0 cores=1,3,5,7
/proc/27161/stat : 27161 (python) R 27159 27161 22930 0 -1 4202496 970 0 0 0 0 0 0 0 20 0 1 0 337906239 15949824 711 33554432000 4194304 5683644 140734952016064 140734951974520 233220948880 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 3902 715 347 364 0 344 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15576

[startup+0.100263 s]
/proc/loadavg: 1.95 2.02 1.99 3/177 27161
/proc/meminfo: memFree=28806880/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=17616 CPUtime=0.03 cores=1,3,5,7
/proc/27161/stat : 27161 (python) D 27159 27161 22930 0 -1 4202496 2214 0 0 0 1 2 0 0 20 0 1 0 337906239 18038784 720 33554432000 4194304 4196484 140737084192272 140737084122440 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/27161/statm: 4404 720 354 1 0 339 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17616

[startup+0.300244 s]
/proc/loadavg: 1.95 2.02 1.99 3/177 27161
/proc/meminfo: memFree=28806880/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=54508 CPUtime=0.08 cores=1,3,5,7
/proc/27161/stat : 27161 (python) D 27159 27161 22930 0 -1 4202496 3935 0 0 0 4 4 0 0 20 0 1 0 337906239 55816192 2128 33554432000 4194304 4196484 140737084192272 140737084047800 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/27161/statm: 13627 2128 600 1 0 1482 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 54508

[startup+0.700184 s]
/proc/loadavg: 1.95 2.02 1.99 3/177 27161
/proc/meminfo: memFree=28806880/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=99040 CPUtime=0.25 cores=1,3,5,7
/proc/27161/stat : 27161 (python) R 27159 27161 22930 0 -1 4202496 5754 0 0 0 13 12 0 0 20 0 1 0 337906239 101416960 3600 33554432000 4194304 4196484 140737084192272 140737084135544 233220949280 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/27161/statm: 24760 3600 1047 1 0 2562 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 99040

[startup+1.50024 s]
/proc/loadavg: 1.95 2.02 1.99 3/178 27166
/proc/meminfo: memFree=28787884/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=118116 CPUtime=0.51 cores=1,3,5,7
/proc/27161/stat : 27161 (python) D 27159 27161 22930 0 -1 4202496 9592 1016 0 0 27 24 0 0 20 0 1 0 337906239 120950784 5828 33554432000 4194304 4196484 140737084192272 140737084125880 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/27161/statm: 29529 5828 1083 1 0 4728 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 118116

[startup+3.10028 s]
/proc/loadavg: 1.95 2.02 1.99 3/179 27167
/proc/meminfo: memFree=28781932/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=134480 CPUtime=0.72 cores=1,3,5,7
/proc/27161/stat : 27161 (python) S 27159 27161 22930 0 -1 4202496 11233 1016 0 0 41 31 0 0 20 0 1 0 337906239 137707520 6346 33554432000 4194304 4196484 140737084192272 140737084184032 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 33620 6346 1170 1 0 5192 0
[pid=27167] ppid=27161 vsize=7644 CPUtime=1.19 cores=1,3,5,7
/proc/27167/stat : 27167 (clasp-1.3.3-x86) R 27161 27167 27167 0 -1 4202496 1956 0 0 0 119 0 0 0 20 0 1 0 337906429 7827456 1647 33554432000 134512640 136080129 4289470352 4289469344 134588742 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27167/statm: 1911 1647 175 383 0 1526 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 142124
heavy processes:

[startup+6.30028 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 27167
/proc/meminfo: memFree=28775236/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=134480 CPUtime=0.86 cores=1,3,5,7
/proc/27161/stat : 27161 (python) S 27159 27161 22930 0 -1 4202496 11246 1016 0 0 53 33 0 0 20 0 1 0 337906239 137707520 6346 33554432000 4194304 4196484 140737084192272 140737084184032 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 33620 6346 1170 1 0 5192 0
[pid=27167] ppid=27161 vsize=10020 CPUtime=4.39 cores=1,3,5,7
/proc/27167/stat : 27167 (clasp-1.3.3-x86) R 27161 27167 27167 0 -1 4202496 2571 0 0 0 439 0 0 0 20 0 1 0 337906429 10260480 2262 33554432000 134512640 136080129 4289470352 4289469076 135505028 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27167/statm: 2505 2262 175 383 0 2120 0
Current children cumulated CPU time (s) 5.25
Current children cumulated vsize (KiB) 144500

[startup+12.7003 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 27167
/proc/meminfo: memFree=28770416/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=136540 CPUtime=11.73 cores=1,3,5,7
/proc/27161/stat : 27161 (python) S 27159 27161 22930 0 -1 4202496 12510 4985 0 0 82 38 1051 2 20 0 1 0 337906239 139816960 6368 33554432000 4194304 4196484 140737084192272 140737084184032 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 34135 6368 1180 1 0 5192 0
Current children cumulated CPU time (s) 11.73
Current children cumulated vsize (KiB) 136540

[startup+25.5003 s]
/proc/loadavg: 2.01 2.03 2.00 3/174 27200
/proc/meminfo: memFree=28847044/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=136540 CPUtime=12.28 cores=1,3,5,7
/proc/27161/stat : 27161 (python) S 27159 27161 22930 0 -1 4202496 12545 4985 0 0 130 45 1051 2 20 0 1 0 337906239 139816960 6368 33554432000 4194304 4196484 140737084192272 140737084184032 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 34135 6368 1180 1 0 5192 0
[pid=27170] ppid=27161 vsize=12776 CPUtime=13.05 cores=1,3,5,7
/proc/27170/stat : 27170 (clasp-1.3.3-x86) R 27161 27170 27170 0 -1 4202496 3243 0 0 0 1305 0 0 0 20 0 1 0 337907483 13082624 2934 33554432000 134512640 136080129 4287265520 4287264464 134580629 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27170/statm: 3194 2934 175 383 0 2809 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 149316

[startup+51.1003 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 27217
/proc/meminfo: memFree=28815816/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=136540 CPUtime=13.43 cores=1,3,5,7
/proc/27161/stat : 27161 (python) S 27159 27161 22930 0 -1 4202496 12578 4985 0 0 229 61 1051 2 20 0 1 0 337906239 139816960 6368 33554432000 4194304 4196484 140737084192272 140737084184032 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 34135 6368 1180 1 0 5192 0
[pid=27170] ppid=27161 vsize=16396 CPUtime=38.64 cores=1,3,5,7
/proc/27170/stat : 27170 (clasp-1.3.3-x86) R 27161 27170 27170 0 -1 4202496 4170 0 0 0 3864 0 0 0 20 0 1 0 337907483 16789504 3856 33554432000 134512640 136080129 4287265520 4287264216 134601682 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27170/statm: 4099 3856 175 383 0 3714 0
Current children cumulated CPU time (s) 52.07
Current children cumulated vsize (KiB) 152936

[startup+102.307 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 27223
/proc/meminfo: memFree=28680272/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=136540 CPUtime=66.28 cores=1,3,5,7
/proc/27161/stat : 27161 (python) S 27159 27161 22930 0 -1 4202496 13775 10392 0 0 448 93 6084 3 20 0 1 0 337906239 139816960 6373 33554432000 4194304 4196484 140737084192272 140737084184032 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 34135 6373 1180 1 0 5192 0
[pid=27220] ppid=27161 vsize=135652 CPUtime=39.48 cores=1,3,5,7
/proc/27220/stat : 27220 (wbo1.4a) R 27161 27220 27220 0 -1 4202496 33796 0 0 0 3933 15 0 0 20 0 1 0 337912520 138907648 33457 33554432000 134512640 135751879 4288000416 4287998668 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27220/statm: 33913 33457 139 303 0 33608 0
Current children cumulated CPU time (s) 105.76
Current children cumulated vsize (KiB) 272192

[startup+162.3 s]
/proc/loadavg: 2.19 2.08 2.02 3/179 27230
/proc/meminfo: memFree=28813708/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=136540 CPUtime=119.64 cores=1,3,5,7
/proc/27161/stat : 27161 (python) S 27159 27161 22930 0 -1 4202496 15030 54423 0 0 682 131 11128 23 20 0 1 0 337906239 139816960 6374 33554432000 4194304 4196484 140737084192272 140737084184032 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 34135 6374 1180 1 0 5192 0
[pid=27226] ppid=27161 vsize=17684 CPUtime=48.8 cores=1,3,5,7
/proc/27226/stat : 27226 (clasp-1.3.3-x86) R 27161 27226 27226 0 -1 4202496 4481 0 0 0 4880 0 0 0 20 0 1 0 337917587 18108416 4163 33554432000 134512640 136080129 4290948752 4290947824 134845141 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27226/statm: 4421 4163 175 383 0 4036 0
Current children cumulated CPU time (s) 168.44
Current children cumulated vsize (KiB) 154224

[startup+222.3 s]
/proc/loadavg: 2.24 2.11 2.03 3/179 27281
/proc/meminfo: memFree=28793568/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=136540 CPUtime=222.64 cores=1,3,5,7
/proc/27161/stat : 27161 (python) S 27159 27161 22930 0 -1 4202496 16295 60928 0 0 930 171 21138 25 20 0 1 0 337906239 139816960 6374 33554432000 4194304 4196484 140737084192272 140737084184032 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 34135 6374 1180 1 0 5192 0
[pid=27281] ppid=27161 vsize=32064 CPUtime=8.67 cores=1,3,5,7
/proc/27281/stat : 27281 (wbo1.4a) R 27161 27281 27281 0 -1 4202496 7896 0 0 0 863 4 0 0 20 0 1 0 337927602 32833536 7557 33554432000 134512640 135751879 4292837776 4292835952 134616514 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27281/statm: 8016 7557 139 303 0 7711 0
Current children cumulated CPU time (s) 231.31
Current children cumulated vsize (KiB) 168604

[startup+282.3 s]
/proc/loadavg: 2.16 2.12 2.03 3/179 27284
/proc/meminfo: memFree=28532972/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=136540 CPUtime=225.33 cores=1,3,5,7
/proc/27161/stat : 27161 (python) S 27159 27161 22930 0 -1 4202496 16330 60928 0 0 1163 207 21138 25 20 0 1 0 337906239 139816960 6375 33554432000 4194304 4196484 140737084192272 140737084184032 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 34135 6375 1180 1 0 5192 0
[pid=27281] ppid=27161 vsize=238428 CPUtime=68.64 cores=1,3,5,7
/proc/27281/stat : 27281 (wbo1.4a) R 27161 27281 27281 0 -1 4202496 59484 0 0 0 6840 24 0 0 20 0 1 0 337927602 244150272 59139 33554432000 134512640 135751879 4292837776 4292835392 134605071 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27281/statm: 59607 59139 139 303 0 59302 0
Current children cumulated CPU time (s) 293.97
Current children cumulated vsize (KiB) 374968

[startup+342.3 s]
/proc/loadavg: 2.11 2.11 2.03 3/178 27290
/proc/meminfo: memFree=28735104/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=136540 CPUtime=328.96 cores=1,3,5,7
/proc/27161/stat : 27161 (python) S 27159 27161 22930 0 -1 4202496 17581 143047 0 0 1410 247 31179 60 20 0 1 0 337906239 139816960 6376 33554432000 4194304 4196484 140737084192272 140737084184032 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 34135 6376 1180 1 0 5192 0
[pid=27290] ppid=27161 vsize=88896 CPUtime=27.85 cores=1,3,5,7
/proc/27290/stat : 27290 (wbo1.4b) R 27161 27290 27290 0 -1 4202496 22230 0 0 0 2776 9 0 0 20 0 1 0 337937683 91029504 21754 33554432000 134512640 135751879 4288948480 4288945936 134605065 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27290/statm: 22224 21754 144 303 0 21919 0
Current children cumulated CPU time (s) 356.81
Current children cumulated vsize (KiB) 225436

[startup+402.301 s]
/proc/loadavg: 2.12 2.11 2.04 3/198 27315
/proc/meminfo: memFree=28661088/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=136540 CPUtime=382.41 cores=1,3,5,7
/proc/27161/stat : 27161 (python) S 27159 27161 22930 0 -1 4202496 18842 187207 0 0 1646 286 36230 79 20 0 1 0 337906239 139816960 6378 33554432000 4194304 4196484 140737084192272 140737084184032 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 34135 6378 1180 1 0 5192 0
[pid=27294] ppid=27161 vsize=2715136 CPUtime=37.73 cores=1,3,5,7
/proc/27294/stat : 27294 (java) S 27161 27294 27294 0 -1 4202496 9190 0 1 0 3768 5 0 0 20 0 19 0 337942756 2780299264 40985 33554432000 1073741824 1073778376 140734648149360 140734648140496 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27294/statm: 678784 40985 2243 9 0 669477 0

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

/proc/27294/task/27300/stat : 27300 (java) S 27161 27294 27294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337942758 2780299264 87577 33554432000 1073741824 1073778376 140734648149360 140699654077224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27294/tid=27301] ppid=27161 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27294/task/27301/stat : 27301 (java) S 27161 27294 27294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337942758 2780299264 87577 33554432000 1073741824 1073778376 140734648149360 140699653024424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27294/tid=27302] ppid=27161 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27294/task/27302/stat : 27302 (java) S 27161 27294 27294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337942758 2780299264 87577 33554432000 1073741824 1073778376 140734648149360 140699651972136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27294/tid=27303] ppid=27161 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27294/task/27303/stat : 27303 (java) S 27161 27294 27294 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337942758 2780299264 87577 33554432000 1073741824 1073778376 140734648149360 140699650919336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27294/tid=27304] ppid=27161 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27294/task/27304/stat : 27304 (java) S 27161 27294 27294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337942760 2780299264 87577 33554432000 1073741824 1073778376 140734648149360 140699520456936 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27294/tid=27305] ppid=27161 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27294/task/27305/stat : 27305 (java) S 27161 27294 27294 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337942760 2780299264 87577 33554432000 1073741824 1073778376 140734648149360 140699519403000 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27294/tid=27306] ppid=27161 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27294/task/27306/stat : 27306 (java) S 27161 27294 27294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337942760 2780299264 87577 33554432000 1073741824 1073778376 140734648149360 140699518350600 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27294/tid=27307] ppid=27161 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27294/task/27307/stat : 27307 (java) S 27161 27294 27294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337942763 2780299264 87577 33554432000 1073741824 1073778376 140734648149360 140699517299088 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27294/tid=27308] ppid=27161 vsize=2715136 CPUtime=0.32 cores=1,3,5,7
/proc/27294/task/27308/stat : 27308 (java) S 27161 27294 27294 0 -1 4202560 1841 0 0 0 32 0 0 0 20 0 19 0 337942763 2780299264 87577 33554432000 1073741824 1073778376 140734648149360 140699516246712 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27294/tid=27309] ppid=27161 vsize=2715136 CPUtime=0.31 cores=1,3,5,7
/proc/27294/task/27309/stat : 27309 (java) S 27161 27294 27294 0 -1 4202560 3006 0 0 0 31 0 0 0 20 0 19 0 337942763 2780299264 87577 33554432000 1073741824 1073778376 140734648149360 140699515193912 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27294/tid=27310] ppid=27161 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27294/task/27310/stat : 27310 (java) S 27161 27294 27294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337942763 2780299264 87577 33554432000 1073741824 1073778376 140734648149360 140699514141816 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27294/tid=27311] ppid=27161 vsize=2715136 CPUtime=0.03 cores=1,3,5,7
/proc/27294/task/27311/stat : 27311 (java) S 27161 27294 27294 0 -1 4202560 7 0 0 0 2 1 0 0 20 0 19 0 337942763 2780299264 87577 33554432000 1073741824 1073778376 140734648149360 140699513089224 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27294/tid=27312] ppid=27161 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27294/task/27312/stat : 27312 (java) S 27161 27294 27294 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 337942784 2780299264 87577 33554432000 1073741824 1073778376 140734648149360 140699512034216 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 485.7
Current children cumulated vsize (KiB) 2851676

[startup+465.101 s]
/proc/loadavg: 2.08 2.10 2.04 3/197 27319
/proc/meminfo: memFree=28348256/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=136540 CPUtime=485.59 cores=1,3,5,7
/proc/27161/stat : 27161 (python) R 27159 27161 22930 0 -1 4202496 20098 197427 0 1 1893 324 46249 93 20 0 1 0 337906239 139816960 6378 33554432000 4194304 4196484 140737084192272 140737084180600 233220989879 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 34135 6378 1180 1 0 5192 0
Current children cumulated CPU time (s) 485.59
Current children cumulated vsize (KiB) 136540
#
############


[startup+522.3 s]
/proc/loadavg: 2.18 2.13 2.05 3/179 27325
/proc/meminfo: memFree=28618772/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=136540 CPUtime=488.31 cores=1,3,5,7
/proc/27161/stat : 27161 (python) S 27159 27161 22930 0 -1 4202496 20128 197427 0 1 2126 363 46249 93 20 0 1 0 337906239 139816960 6379 33554432000 4194304 4196484 140737084192272 140737084184032 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 34135 6379 1180 1 0 5192 0
[pid=27322] ppid=27161 vsize=193908 CPUtime=57.22 cores=1,3,5,7
/proc/27322/stat : 27322 (wbo1.4b) R 27161 27322 27322 0 -1 4202496 48490 0 0 0 5703 19 0 0 20 0 1 0 337952745 198561792 48022 33554432000 134512640 135751879 4293797824 4293795916 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27322/statm: 48477 48022 144 303 0 48172 0
Current children cumulated CPU time (s) 545.53
Current children cumulated vsize (KiB) 330448

[startup+582.3 s]
/proc/loadavg: 2.15 2.13 2.05 3/197 27349
/proc/meminfo: memFree=28634984/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=136540 CPUtime=591.94 cores=1,3,5,7
/proc/27161/stat : 27161 (python) S 27159 27161 22930 0 -1 4202496 21381 279705 0 1 2368 403 56295 128 20 0 1 0 337906239 139816960 6380 33554432000 4194304 4196484 140737084192272 140737084184032 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 34135 6380 1180 1 0 5192 0
[pid=27328] ppid=27161 vsize=100108 CPUtime=16.39 cores=1,3,5,7
/proc/27328/stat : 27328 (bsolo_pb10) R 27161 27328 27328 0 -1 4202496 22953 0 0 0 1632 7 0 0 20 0 1 0 337962830 102510592 22583 33554432000 134512640 137138936 4290016160 4290015088 134542764 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/27328/statm: 25027 22583 192 642 0 24383 0
Current children cumulated CPU time (s) 608.33
Current children cumulated vsize (KiB) 236648

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

[startup+588.7 s]
/proc/loadavg: 2.13 2.13 2.05 3/197 27349
/proc/meminfo: memFree=28590016/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=136540 CPUtime=592.25 cores=1,3,5,7
/proc/27161/stat : 27161 (python) S 27159 27161 22930 0 -1 4202496 21387 279705 0 1 2394 408 56295 128 20 0 1 0 337906239 139816960 6380 33554432000 4194304 4196484 140737084192272 140737084184032 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 34135 6380 1180 1 0 5192 0
[pid=27328] ppid=27161 vsize=123960 CPUtime=22.79 cores=1,3,5,7
/proc/27328/stat : 27328 (bsolo_pb10) R 27161 27328 27328 0 -1 4202496 28920 0 0 0 2271 8 0 0 20 0 1 0 337962830 126935040 28550 33554432000 134512640 137138936 4290016160 4289980684 136700814 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/27328/statm: 30990 28550 192 642 0 30346 0
Current children cumulated CPU time (s) 615.04
Current children cumulated vsize (KiB) 260500

[startup+595.107 s]
/proc/loadavg: 2.19 2.14 2.05 3/197 27349
/proc/meminfo: memFree=28553544/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=136540 CPUtime=592.53 cores=1,3,5,7
/proc/27161/stat : 27161 (python) S 27159 27161 22930 0 -1 4202496 21390 279705 0 1 2418 412 56295 128 20 0 1 0 337906239 139816960 6380 33554432000 4194304 4196484 140737084192272 140737084184032 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 34135 6380 1180 1 0 5192 0
[pid=27328] ppid=27161 vsize=143524 CPUtime=29.19 cores=1,3,5,7
/proc/27328/stat : 27328 (bsolo_pb10) R 27161 27328 27328 0 -1 4202496 33816 0 0 0 2910 9 0 0 20 0 1 0 337962830 146968576 33446 33554432000 134512640 137138936 4290016160 4290015088 134542770 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/27328/statm: 35881 33446 192 642 0 35237 0
Current children cumulated CPU time (s) 621.72
Current children cumulated vsize (KiB) 280064

[startup+598.3 s]
/proc/loadavg: 2.19 2.14 2.05 4/197 27349
/proc/meminfo: memFree=28538460/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=136540 CPUtime=592.69 cores=1,3,5,7
/proc/27161/stat : 27161 (python) R 27159 27161 22930 0 -1 4202496 21391 279705 0 1 2432 414 56295 128 20 0 1 0 337906239 139816960 6380 33554432000 4194304 4196484 140737084192272 140737084180600 233220989879 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 34136 6380 1180 1 0 5193 0
[pid=27328] ppid=27161 vsize=151732 CPUtime=32.39 cores=1,3,5,7
/proc/27328/stat : 27328 (bsolo_pb10) R 27161 27328 27328 0 -1 4202496 35883 0 0 0 3229 10 0 0 20 0 1 0 337962830 155373568 35513 33554432000 134512640 137138936 4290016160 4290014912 134575844 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/27328/statm: 37933 35513 192 642 0 37289 0
Current children cumulated CPU time (s) 625.08
Current children cumulated vsize (KiB) 288272

[startup+599.9 s]
/proc/loadavg: 2.17 2.14 2.05 3/197 27349
/proc/meminfo: memFree=28529900/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=136540 CPUtime=592.77 cores=1,3,5,7
/proc/27161/stat : 27161 (python) S 27159 27161 22930 0 -1 4202496 21392 279705 0 1 2439 415 56295 128 20 0 1 0 337906239 139816960 6380 33554432000 4194304 4196484 140737084192272 140737084184032 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 34135 6380 1180 1 0 5192 0
[pid=27328] ppid=27161 vsize=157884 CPUtime=33.98 cores=1,3,5,7
/proc/27328/stat : 27328 (bsolo_pb10) R 27161 27328 27328 0 -1 4202496 37402 0 0 0 3388 10 0 0 20 0 1 0 337962830 161673216 37032 33554432000 134512640 137138936 4290016160 4290015088 134542516 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/27328/statm: 39471 37032 192 642 0 38827 0
Current children cumulated CPU time (s) 626.75
Current children cumulated vsize (KiB) 294424

[startup+600.7 s]
/proc/loadavg: 2.17 2.14 2.05 3/197 27349
/proc/meminfo: memFree=28520904/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=136540 CPUtime=592.8 cores=1,3,5,7
/proc/27161/stat : 27161 (python) S 27159 27161 22930 0 -1 4202496 21392 279705 0 1 2441 416 56295 128 20 0 1 0 337906239 139816960 6380 33554432000 4194304 4196484 140737084192272 140737084184032 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 34135 6380 1180 1 0 5192 0
[pid=27328] ppid=27161 vsize=158920 CPUtime=34.78 cores=1,3,5,7
/proc/27328/stat : 27328 (bsolo_pb10) R 27161 27328 27328 0 -1 4202496 37674 0 0 0 3468 10 0 0 20 0 1 0 337962830 162734080 37304 33554432000 134512640 137138936 4290016160 4290014696 136504089 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/27328/statm: 39730 37304 192 642 0 39086 0
Current children cumulated CPU time (s) 627.58
Current children cumulated vsize (KiB) 295460

[startup+601.5 s]
/proc/loadavg: 2.17 2.14 2.05 3/197 27349
/proc/meminfo: memFree=28520904/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=136540 CPUtime=592.85 cores=1,3,5,7
/proc/27161/stat : 27161 (python) S 27159 27161 22930 0 -1 4202496 21392 279705 0 1 2445 417 56295 128 20 0 1 0 337906239 139816960 6380 33554432000 4194304 4196484 140737084192272 140737084184032 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 34135 6380 1180 1 0 5192 0
[pid=27328] ppid=27161 vsize=159684 CPUtime=35.58 cores=1,3,5,7
/proc/27328/stat : 27328 (bsolo_pb10) R 27161 27328 27328 0 -1 4202496 37866 0 0 0 3548 10 0 0 20 0 1 0 337962830 163516416 37496 33554432000 134512640 137138936 4290016160 4290014912 134575637 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/27328/statm: 39921 37496 192 642 0 39277 0
Current children cumulated CPU time (s) 628.43
Current children cumulated vsize (KiB) 296224

[startup+601.707 s]
/proc/loadavg: 2.17 2.14 2.05 3/197 27349
/proc/meminfo: memFree=28515940/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=136540 CPUtime=592.85 cores=1,3,5,7
/proc/27161/stat : 27161 (python) S 27159 27161 22930 0 -1 4202496 21392 279705 0 1 2445 417 56295 128 20 0 1 0 337906239 139816960 6380 33554432000 4194304 4196484 140737084192272 140737084184032 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 34135 6380 1180 1 0 5192 0
[pid=27328] ppid=27161 vsize=159876 CPUtime=35.79 cores=1,3,5,7
/proc/27328/stat : 27328 (bsolo_pb10) R 27161 27328 27328 0 -1 4202496 37902 0 0 0 3569 10 0 0 20 0 1 0 337962830 163713024 37532 33554432000 134512640 137138936 4290016160 4290015088 134542532 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/27328/statm: 39969 37532 192 642 0 39325 0
Current children cumulated CPU time (s) 628.64
Current children cumulated vsize (KiB) 296416

[startup+601.8 s]
/proc/loadavg: 2.17 2.14 2.05 3/197 27349
/proc/meminfo: memFree=28515940/32873844 swapFree=7120/7120
[pid=27161] ppid=27159 vsize=136540 CPUtime=592.9 cores=1,3,5,7
/proc/27161/stat : 27161 (python) R 27159 27161 22930 0 -1 4202496 21394 279705 0 1 2450 417 56295 128 20 0 1 0 337906239 139816960 6380 33554432000 4194304 4196484 140737084192272 140737084184032 233220989879 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/27161/statm: 34135 6380 1180 1 0 5192 0
[pid=27328] ppid=27161 vsize=0 CPUtime=35.84 cores=1,3,5,7
/proc/27328/stat : 27328 (bsolo_pb10) Z 27161 27328 27328 0 -1 4202508 37904 0 0 0 3573 11 0 0 20 0 1 0 337962830 0 0 33554432000 0 0 0 0 0 0 0 16781312 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27328/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 628.74
Current children cumulated vsize (KiB) 136540

Child status: 20

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.109985
#  lost CPU user time (s): 0.149994
#  lost CPU system time (s): -0.04

Real time (s): 601.862
CPU time (s): 628.94
CPU user time (s): 623.387
CPU system time (s): 5.55315
CPU usage (%): 104.499
Max. virtual memory (cumulated for all children) (KiB): 2851680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 623.237
system time used= 5.59315
maximum resident set size= 350308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344834
page faults= 1
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7109
involuntary context switches= 929

runsolver used 1.35579 second user time and 3.37149 second system time

The end

Launcher Data 

Begin job on node142 at 2012-06-03 12:03:33
IDJOB=3733724
IDBENCH=2589
IDSOLVER=2323
FILE ID=node142/3733724-1338717813
RUNJOBID= node142-1338713724-22947
PBS_JOBID= 14636740
Free space on /tmp= 71160 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733724-1338717813/watcher-3733724-1338717813 -o /tmp/evaluation-result-3733724-1338717813/solver-3733724-1338717813 -C 1800 -W 1900 -M 15500  solver HOME/instance-3733724-1338717813.opb 83841844 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= dab917560b0808668d6327532459772d
RANDOM SEED=83841844

node142.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5391.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28807152 kB
Buffers:          324012 kB
Cached:          2851104 kB
SwapCached:            0 kB
Active:          1336152 kB
Inactive:        1910028 kB
Active(anon):      62052 kB
Inactive(anon):    11220 kB
Active(file):    1274100 kB
Inactive(file):  1898808 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             20592 kB
Writeback:             0 kB
AnonPages:         78100 kB
Mapped:            14468 kB
Shmem:               200 kB
Slab:             682600 kB
SReclaimable:     124124 kB
SUnreclaim:       558476 kB
KernelStack:        1464 kB
PageTables:         4504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     186072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71148 MiB
End job on node142 at 2012-06-03 12:13:36