Trace number 3730269

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 592.051 564.834

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

running on 4 cores: 0,2,4,6

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: 2.13 2.07 2.00 3/178 16070
/proc/meminfo: memFree=27011432/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/16070/stat : 16070 (python) D 16068 16070 15301 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 1 0 337646732 15642624 527 33554432000 4194304 5683644 140733857683264 140733857669176 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/16070/statm: 3819 527 312 364 0 261 0

[startup+0.018692 s]
/proc/loadavg: 2.13 2.07 2.00 3/178 16070
/proc/meminfo: memFree=27011432/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=15576 CPUtime=0 cores=0,2,4,6
/proc/16070/stat : 16070 (python) D 16068 16070 15301 0 -1 4202496 948 0 0 0 0 0 0 0 20 0 1 0 337646732 15949824 693 33554432000 4194304 5683644 140733857683264 140733857610024 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/16070/statm: 3894 693 334 364 0 336 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15576

[startup+0.100271 s]
/proc/loadavg: 2.13 2.07 2.00 3/178 16070
/proc/meminfo: memFree=27011432/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=17628 CPUtime=0.02 cores=0,2,4,6
/proc/16070/stat : 16070 (python) D 16068 16070 15301 0 -1 4202496 2231 0 0 0 1 1 0 0 20 0 1 0 337646732 18051072 737 33554432000 4194304 4196484 140737449241744 140737449195560 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/16070/statm: 4407 737 367 1 0 342 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17628

[startup+0.300262 s]
/proc/loadavg: 2.13 2.07 2.00 3/178 16070
/proc/meminfo: memFree=27011432/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=54712 CPUtime=0.08 cores=0,2,4,6
/proc/16070/stat : 16070 (python) D 16068 16070 15301 0 -1 4202496 4022 0 0 0 5 3 0 0 20 0 1 0 337646732 56025088 2194 33554432000 4194304 4196484 140737449241744 140737449069400 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/16070/statm: 13678 2194 600 1 0 1533 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 54712

[startup+0.700128 s]
/proc/loadavg: 2.13 2.07 2.00 3/178 16070
/proc/meminfo: memFree=27011432/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=100116 CPUtime=0.23 cores=0,2,4,6
/proc/16070/stat : 16070 (python) R 16068 16070 15301 0 -1 4202496 5996 0 0 0 14 9 0 0 20 0 1 0 337646732 102518784 3830 33554432000 4194304 4196484 140737449241744 140737449185016 251052658580 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/16070/statm: 25029 3830 1047 1 0 2831 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 100116

[startup+1.50023 s]
/proc/loadavg: 2.13 2.07 2.00 3/179 16075
/proc/meminfo: memFree=26991576/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=118116 CPUtime=0.42 cores=0,2,4,6
/proc/16070/stat : 16070 (python) R 16068 16070 15301 0 -1 4202496 9592 1012 0 0 28 14 0 0 20 0 1 0 337646732 120950784 5830 33554432000 4194304 4196484 140737449241744 140737449175352 251052696032 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 29529 5830 1083 1 0 4728 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 118116

[startup+3.10027 s]
/proc/loadavg: 2.13 2.07 2.00 3/180 16076
/proc/meminfo: memFree=26983260/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=134452 CPUtime=0.6 cores=0,2,4,6
/proc/16070/stat : 16070 (python) S 16068 16070 15301 0 -1 4202496 11233 1012 0 0 43 17 0 0 20 0 1 0 337646732 137678848 6348 33554432000 4194304 4196484 140737449241744 140737449233504 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 33613 6348 1170 1 0 5185 0
[pid=16076] ppid=16070 vsize=7284 CPUtime=1.24 cores=0,2,4,6
/proc/16076/stat : 16076 (clasp-1.3.3-x86) R 16070 16076 16076 0 -1 4202496 1889 0 0 0 124 0 0 0 20 0 1 0 337646917 7458816 1574 33554432000 134512640 136080129 4293993248 4293992384 134846208 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16076/statm: 1821 1574 175 383 0 1436 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 141736
heavy processes:

[startup+6.30022 s]
/proc/loadavg: 2.12 2.07 2.00 3/180 16076
/proc/meminfo: memFree=26970508/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=134452 CPUtime=0.75 cores=0,2,4,6
/proc/16070/stat : 16070 (python) S 16068 16070 15301 0 -1 4202496 11245 1012 0 0 56 19 0 0 20 0 1 0 337646732 137678848 6348 33554432000 4194304 4196484 140737449241744 140737449233504 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 33613 6348 1170 1 0 5185 0
[pid=16076] ppid=16070 vsize=9376 CPUtime=4.44 cores=0,2,4,6
/proc/16076/stat : 16076 (clasp-1.3.3-x86) R 16070 16076 16076 0 -1 4202496 2407 0 0 0 444 0 0 0 20 0 1 0 337646917 9601024 2092 33554432000 134512640 136080129 4293993248 4293992192 134580608 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16076/statm: 2344 2092 175 383 0 1959 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 143828

[startup+12.7002 s]
/proc/loadavg: 2.11 2.07 2.00 3/180 16079
/proc/meminfo: memFree=26958628/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=136512 CPUtime=11.12 cores=0,2,4,6
/proc/16070/stat : 16070 (python) S 16068 16070 15301 0 -1 4202496 12514 4838 0 0 87 23 1001 1 20 0 1 0 337646732 139788288 6368 33554432000 4194304 4196484 140737449241744 140737449233504 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 34128 6368 1180 1 0 5185 0
[pid=16079] ppid=16070 vsize=6108 CPUtime=0.8 cores=0,2,4,6
/proc/16079/stat : 16079 (clasp-1.3.3-x86) R 16070 16079 16079 0 -1 4202496 1599 0 0 0 80 0 0 0 20 0 1 0 337647921 6254592 1288 33554432000 134512640 136080129 4288244192 4288242916 135503247 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16079/statm: 1527 1288 175 383 0 1142 0
Current children cumulated CPU time (s) 11.92
Current children cumulated vsize (KiB) 142620

[startup+25.5003 s]
/proc/loadavg: 2.08 2.06 2.00 3/198 16100
/proc/meminfo: memFree=27004284/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=136512 CPUtime=11.71 cores=0,2,4,6
/proc/16070/stat : 16070 (python) S 16068 16070 15301 0 -1 4202496 12540 4838 0 0 137 32 1001 1 20 0 1 0 337646732 139788288 6368 33554432000 4194304 4196484 140737449241744 140737449233504 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 34128 6368 1180 1 0 5185 0
[pid=16079] ppid=16070 vsize=12260 CPUtime=13.59 cores=0,2,4,6
/proc/16079/stat : 16079 (clasp-1.3.3-x86) R 16070 16079 16079 0 -1 4202496 3134 0 0 0 1359 0 0 0 20 0 1 0 337647921 12554240 2823 33554432000 134512640 136080129 4288244192 4288243280 134579995 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16079/statm: 3065 2823 175 383 0 2680 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 148772

[startup+51.1003 s]
/proc/loadavg: 2.11 2.07 2.00 3/197 16100
/proc/meminfo: memFree=26896616/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=136512 CPUtime=12.89 cores=0,2,4,6
/proc/16070/stat : 16070 (python) S 16068 16070 15301 0 -1 4202496 12578 4838 0 0 240 47 1001 1 20 0 1 0 337646732 139788288 6368 33554432000 4194304 4196484 140737449241744 140737449233504 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 34128 6368 1180 1 0 5185 0
[pid=16079] ppid=16070 vsize=15836 CPUtime=39.19 cores=0,2,4,6
/proc/16079/stat : 16079 (clasp-1.3.3-x86) R 16070 16079 16079 0 -1 4202496 4014 0 0 0 3918 1 0 0 20 0 1 0 337647921 16216064 3704 33554432000 134512640 136080129 4288244192 4288243184 134588658 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16079/statm: 3959 3704 175 383 0 3574 0
Current children cumulated CPU time (s) 52.08
Current children cumulated vsize (KiB) 152348

[startup+102.306 s]
/proc/loadavg: 2.11 2.08 2.00 3/197 16103
/proc/meminfo: memFree=26708288/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=136512 CPUtime=65.97 cores=0,2,4,6
/proc/16070/stat : 16070 (python) S 16068 16070 15301 0 -1 4202496 13783 10150 0 0 467 83 6043 4 20 0 1 0 337646732 139788288 6373 33554432000 4194304 4196484 140737449241744 140737449233504 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 34128 6373 1180 1 0 5185 0
[pid=16103] ppid=16070 vsize=93024 CPUtime=39.92 cores=0,2,4,6
/proc/16103/stat : 16103 (wbo1.4a) R 16070 16103 16103 0 -1 4202496 23129 0 0 0 3981 11 0 0 20 0 1 0 337652969 95256576 22791 33554432000 134512640 135751879 4292366176 4292364428 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16103/statm: 23256 22791 139 303 0 22951 0
Current children cumulated CPU time (s) 105.89
Current children cumulated vsize (KiB) 229536

[startup+162.3 s]
/proc/loadavg: 2.09 2.07 2.00 4/179 16110
/proc/meminfo: memFree=26948940/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=136512 CPUtime=119.2 cores=0,2,4,6
/proc/16070/stat : 16070 (python) S 16068 16070 15301 0 -1 4202496 15063 42583 0 0 717 118 11064 21 20 0 1 0 337646732 139788288 6375 33554432000 4194304 4196484 140737449241744 140737449233504 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 34128 6375 1180 1 0 5185 0
[pid=16106] ppid=16070 vsize=17280 CPUtime=49.52 cores=0,2,4,6
/proc/16106/stat : 16106 (clasp-1.3.3-x86) R 16070 16106 16106 0 -1 4202496 4380 0 0 0 4951 1 0 0 20 0 1 0 337658008 17694720 4065 33554432000 134512640 136080129 4292180576 4292179568 134588755 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0
/proc/16106/statm: 4320 4065 175 383 0 3935 0
Current children cumulated CPU time (s) 168.72
Current children cumulated vsize (KiB) 153792

[startup+222.3 s]
/proc/loadavg: 2.07 2.07 2.00 3/179 16113
/proc/meminfo: memFree=26824760/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=136512 CPUtime=222.51 cores=0,2,4,6
/proc/16070/stat : 16070 (python) S 16068 16070 15301 0 -1 4202496 16354 49101 0 0 977 160 21090 24 20 0 1 0 337646732 139788288 6375 33554432000 4194304 4196484 140737449241744 140737449233504 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 34128 6375 1180 1 0 5185 0
[pid=16113] ppid=16070 vsize=35864 CPUtime=9.21 cores=0,2,4,6
/proc/16113/stat : 16113 (wbo1.4a) R 16070 16113 16113 0 -1 4202496 8852 0 0 0 916 5 0 0 20 0 1 0 337668040 36724736 8510 33554432000 134512640 135751879 4288104576 4288102828 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16113/statm: 8966 8510 139 303 0 8661 0
Current children cumulated CPU time (s) 231.72
Current children cumulated vsize (KiB) 172376

[startup+282.3 s]
/proc/loadavg: 2.11 2.09 2.01 3/179 16164
/proc/meminfo: memFree=26902388/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=136512 CPUtime=225.33 cores=0,2,4,6
/proc/16070/stat : 16070 (python) R 16068 16070 15301 0 -1 4202496 16394 49101 0 0 1219 200 21090 24 20 0 1 0 337646732 139788288 6376 33554432000 4194304 4196484 140737449241744 140737449233504 140648384182777 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 34128 6376 1180 1 0 5185 0
[pid=16113] ppid=16070 vsize=160376 CPUtime=69.19 cores=0,2,4,6
/proc/16113/stat : 16113 (wbo1.4a) R 16070 16113 16113 0 -1 4202496 39966 0 0 0 6900 19 0 0 20 0 1 0 337668040 164225024 39641 33554432000 134512640 135751879 4288104576 4288102828 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16113/statm: 40094 39641 139 303 0 39789 0
Current children cumulated CPU time (s) 294.52
Current children cumulated vsize (KiB) 296888

[startup+342.3 s]
/proc/loadavg: 2.16 2.10 2.01 3/179 16218
/proc/meminfo: memFree=26984960/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=136512 CPUtime=328.91 cores=0,2,4,6
/proc/16070/stat : 16070 (python) S 16068 16070 15301 0 -1 4202496 17625 105444 0 0 1485 237 31118 51 20 0 1 0 337646732 139788288 6377 33554432000 4194304 4196484 140737449241744 140737449233504 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 34128 6377 1180 1 0 5185 0
[pid=16218] ppid=16070 vsize=73552 CPUtime=28.58 cores=0,2,4,6
/proc/16218/stat : 16218 (wbo1.4b) R 16070 16218 16218 0 -1 4202496 18434 0 0 0 2851 7 0 0 20 0 1 0 337678102 75317248 17924 33554432000 134512640 135751879 4294211008 4294209100 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16218/statm: 18388 17924 144 303 0 18083 0
Current children cumulated CPU time (s) 357.49
Current children cumulated vsize (KiB) 210064

[startup+402.301 s]
/proc/loadavg: 2.11 2.09 2.01 3/197 16245
/proc/meminfo: memFree=26876892/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=136512 CPUtime=382.18 cores=0,2,4,6
/proc/16070/stat : 16070 (python) S 16068 16070 15301 0 -1 4202496 18889 138055 0 0 1737 278 36136 67 20 0 1 0 337646732 139788288 6379 33554432000 4194304 4196484 140737449241744 140737449233504 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 34128 6379 1180 1 0 5185 0

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

/proc/16224/task/16239/stat : 16239 (java) S 16070 16224 16224 0 -1 4202560 2821 0 0 0 35 0 0 0 20 0 19 0 337683143 2780299264 48786 33554432000 1073741824 1073778376 140735558892256 139648922192184 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16224/tid=16240] ppid=16070 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16224/task/16240/stat : 16240 (java) S 16070 16224 16224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337683143 2780299264 48786 33554432000 1073741824 1073778376 140735558892256 139648921139576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16224/tid=16241] ppid=16070 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16224/task/16241/stat : 16241 (java) S 16070 16224 16224 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 337683143 2780299264 48786 33554432000 1073741824 1073778376 140735558892256 139648920086984 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16224/tid=16242] ppid=16070 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16224/task/16242/stat : 16242 (java) S 16070 16224 16224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337683167 2780299264 48786 33554432000 1073741824 1073778376 140735558892256 139648919033512 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 421.03
Current children cumulated vsize (KiB) 2851648

[startup+462.301 s]
/proc/loadavg: 2.08 2.09 2.01 3/197 16246
/proc/meminfo: memFree=26373580/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=136512 CPUtime=384.98 cores=0,2,4,6
/proc/16070/stat : 16070 (python) S 16068 16070 15301 0 -1 4202496 18913 138055 0 0 1978 317 36136 67 20 0 1 0 337646732 139788288 6379 33554432000 4194304 4196484 140737449241744 140737449233504 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 34128 6379 1180 1 0 5185 0
[pid=16224] ppid=16070 vsize=2715136 CPUtime=99.39 cores=0,2,4,6
/proc/16224/stat : 16224 (java) S 16070 16224 16224 0 -1 4202496 10031 0 1 0 9889 50 0 0 20 0 19 0 337683137 2780299264 172198 33554432000 1073741824 1073778376 140735558892256 140735558883392 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16224/statm: 678784 172198 2256 9 0 669477 0
[pid=16224/tid=16225] ppid=16070 vsize=2715136 CPUtime=97.99 cores=0,2,4,6
/proc/16224/task/16225/stat : 16225 (java) R 16070 16224 16224 0 -1 4202560 2919 0 1 0 9791 8 0 0 20 0 19 0 337683138 2780299264 172198 33554432000 1073741824 1073778376 140735558892256 139648962784744 139648798626078 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16224/tid=16226] ppid=16070 vsize=2715136 CPUtime=0.05 cores=0,2,4,6
/proc/16224/task/16226/stat : 16226 (java) S 16070 16224 16224 0 -1 4202560 69 0 0 0 1 4 0 0 20 0 19 0 337683139 2780299264 172198 33554432000 1073741824 1073778376 140735558892256 139648947235880 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16224/tid=16227] ppid=16070 vsize=2715136 CPUtime=0.07 cores=0,2,4,6
/proc/16224/task/16227/stat : 16227 (java) S 16070 16224 16224 0 -1 4202560 75 0 0 0 2 5 0 0 20 0 19 0 337683139 2780299264 172198 33554432000 1073741824 1073778376 140735558892256 139648946183080 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16224/tid=16228] ppid=16070 vsize=2715136 CPUtime=0.07 cores=0,2,4,6
/proc/16224/task/16228/stat : 16228 (java) S 16070 16224 16224 0 -1 4202560 80 0 0 0 2 5 0 0 20 0 19 0 337683139 2780299264 172198 33554432000 1073741824 1073778376 140735558892256 139648945130280 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16224/tid=16229] ppid=16070 vsize=2715136 CPUtime=0.16 cores=0,2,4,6
/proc/16224/task/16229/stat : 16229 (java) S 16070 16224 16224 0 -1 4202560 165 0 0 0 7 9 0 0 20 0 19 0 337683139 2780299264 172198 33554432000 1073741824 1073778376 140735558892256 139648944077480 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16224/tid=16230] ppid=16070 vsize=2715136 CPUtime=0.08 cores=0,2,4,6
/proc/16224/task/16230/stat : 16230 (java) S 16070 16224 16224 0 -1 4202560 86 0 0 0 2 6 0 0 20 0 19 0 337683139 2780299264 172198 33554432000 1073741824 1073778376 140735558892256 139648943024680 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16224/tid=16231] ppid=16070 vsize=2715136 CPUtime=0.07 cores=0,2,4,6
/proc/16224/task/16231/stat : 16231 (java) S 16070 16224 16224 0 -1 4202560 75 0 0 0 2 5 0 0 20 0 19 0 337683139 2780299264 172198 33554432000 1073741824 1073778376 140735558892256 139648941971880 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16224/tid=16232] ppid=16070 vsize=2715136 CPUtime=0.04 cores=0,2,4,6
/proc/16224/task/16232/stat : 16232 (java) S 16070 16224 16224 0 -1 4202560 54 0 0 0 1 3 0 0 20 0 19 0 337683139 2780299264 172198 33554432000 1073741824 1073778376 140735558892256 139648940919080 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16224/tid=16233] ppid=16070 vsize=2715136 CPUtime=0.04 cores=0,2,4,6
/proc/16224/task/16233/stat : 16233 (java) S 16070 16224 16224 0 -1 4202560 55 0 0 0 1 3 0 0 20 0 19 0 337683139 2780299264 172198 33554432000 1073741824 1073778376 140735558892256 139648939866280 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16224/tid=16234] ppid=16070 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16224/task/16234/stat : 16234 (java) S 16070 16224 16224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 337683140 2780299264 172198 33554432000 1073741824 1073778376 140735558892256 139648927456232 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16224/tid=16235] ppid=16070 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16224/task/16235/stat : 16235 (java) S 16070 16224 16224 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337683141 2780299264 172198 33554432000 1073741824 1073778376 140735558892256 139648926402296 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16224/tid=16236] ppid=16070 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16224/task/16236/stat : 16236 (java) S 16070 16224 16224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337683141 2780299264 172198 33554432000 1073741824 1073778376 140735558892256 139648925349384 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16224/tid=16237] ppid=16070 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16224/task/16237/stat : 16237 (java) S 16070 16224 16224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337683143 2780299264 172198 33554432000 1073741824 1073778376 140735558892256 139648924297872 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16224/tid=16238] ppid=16070 vsize=2715136 CPUtime=0.3 cores=0,2,4,6
/proc/16224/task/16238/stat : 16238 (java) S 16070 16224 16224 0 -1 4202560 2117 0 0 0 30 0 0 0 20 0 19 0 337683143 2780299264 172198 33554432000 1073741824 1073778376 140735558892256 139648923244984 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16224/tid=16239] ppid=16070 vsize=2715136 CPUtime=0.35 cores=0,2,4,6
/proc/16224/task/16239/stat : 16239 (java) S 16070 16224 16224 0 -1 4202560 2821 0 0 0 35 0 0 0 20 0 19 0 337683143 2780299264 172198 33554432000 1073741824 1073778376 140735558892256 139648922192184 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16224/tid=16240] ppid=16070 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16224/task/16240/stat : 16240 (java) S 16070 16224 16224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337683143 2780299264 172198 33554432000 1073741824 1073778376 140735558892256 139648921139576 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16224/tid=16241] ppid=16070 vsize=2715136 CPUtime=0.02 cores=0,2,4,6
/proc/16224/task/16241/stat : 16241 (java) S 16070 16224 16224 0 -1 4202560 8 0 0 0 1 1 0 0 20 0 19 0 337683143 2780299264 172198 33554432000 1073741824 1073778376 140735558892256 139648920086984 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16224/tid=16242] ppid=16070 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/16224/task/16242/stat : 16242 (java) S 16070 16224 16224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337683167 2780299264 172198 33554432000 1073741824 1073778376 140735558892256 139648919033512 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 484.37
Current children cumulated vsize (KiB) 2851648

[startup+522.3 s]
/proc/loadavg: 2.07 2.08 2.01 4/179 16252
/proc/meminfo: memFree=26860132/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=136512 CPUtime=488.85 cores=0,2,4,6
/proc/16070/stat : 16070 (python) S 16068 16070 15301 0 -1 4202496 20189 149016 0 1 2245 355 46155 130 20 0 1 0 337646732 139788288 6380 33554432000 4194304 4196484 140737449241744 140737449233504 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 34128 6380 1180 1 0 5185 0
[pid=16249] ppid=16070 vsize=145348 CPUtime=58.61 cores=0,2,4,6
/proc/16249/stat : 16249 (wbo1.4b) R 16070 16249 16249 0 -1 4202496 36411 0 0 0 5845 16 0 0 20 0 1 0 337693096 148836352 35904 33554432000 134512640 135751879 4290086688 4290084780 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16249/statm: 36337 35904 144 303 0 36032 0
Current children cumulated CPU time (s) 547.46
Current children cumulated vsize (KiB) 281860

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

[startup+537.5 s]
/proc/loadavg: 2.06 2.08 2.01 3/179 16252
/proc/meminfo: memFree=26792040/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=136512 CPUtime=489.57 cores=0,2,4,6
/proc/16070/stat : 16070 (python) S 16068 16070 15301 0 -1 4202496 20195 149016 0 1 2308 364 46155 130 20 0 1 0 337646732 139788288 6380 33554432000 4194304 4196484 140737449241744 140737449233504 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 34128 6380 1180 1 0 5185 0
[pid=16249] ppid=16070 vsize=169180 CPUtime=73.81 cores=0,2,4,6
/proc/16249/stat : 16249 (wbo1.4b) R 16070 16249 16249 0 -1 4202496 42355 0 0 0 7362 19 0 0 20 0 1 0 337693096 173240320 41852 33554432000 134512640 135751879 4290086688 4290084696 134517414 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16249/statm: 42295 41852 144 303 0 41990 0
Current children cumulated CPU time (s) 563.38
Current children cumulated vsize (KiB) 305692

[startup+550.3 s]
/proc/loadavg: 2.04 2.07 2.01 3/179 16252
/proc/meminfo: memFree=26732860/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=136512 CPUtime=490.18 cores=0,2,4,6
/proc/16070/stat : 16070 (python) S 16068 16070 15301 0 -1 4202496 20200 149016 0 1 2361 372 46155 130 20 0 1 0 337646732 139788288 6380 33554432000 4194304 4196484 140737449241744 140737449233504 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 34128 6380 1180 1 0 5185 0
[pid=16249] ppid=16070 vsize=189936 CPUtime=86.59 cores=0,2,4,6
/proc/16249/stat : 16249 (wbo1.4b) R 16070 16249 16249 0 -1 4202496 47555 0 0 0 8637 22 0 0 20 0 1 0 337693096 194494464 47041 33554432000 134512640 135751879 4290086688 4290084704 134616514 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16249/statm: 47484 47041 144 303 0 47179 0
Current children cumulated CPU time (s) 576.77
Current children cumulated vsize (KiB) 326448

[startup+556.7 s]
/proc/loadavg: 2.04 2.07 2.01 4/179 16252
/proc/meminfo: memFree=26707564/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=136512 CPUtime=490.47 cores=0,2,4,6
/proc/16070/stat : 16070 (python) S 16068 16070 15301 0 -1 4202496 20203 149016 0 1 2387 375 46155 130 20 0 1 0 337646732 139788288 6380 33554432000 4194304 4196484 140737449241744 140737449233504 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 34128 6380 1180 1 0 5185 0
[pid=16249] ppid=16070 vsize=203960 CPUtime=92.99 cores=0,2,4,6
/proc/16249/stat : 16249 (wbo1.4b) R 16070 16249 16249 0 -1 4202496 51057 0 0 0 9276 23 0 0 20 0 1 0 337693096 208855040 50543 33554432000 134512640 135751879 4290086688 4290084780 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16249/statm: 50990 50543 144 303 0 50685 0
Current children cumulated CPU time (s) 583.46
Current children cumulated vsize (KiB) 340472

[startup+559.907 s]
/proc/loadavg: 2.04 2.07 2.01 3/179 16252
/proc/meminfo: memFree=26692668/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=136512 CPUtime=490.62 cores=0,2,4,6
/proc/16070/stat : 16070 (python) S 16068 16070 15301 0 -1 4202496 20204 149016 0 1 2399 378 46155 130 20 0 1 0 337646732 139788288 6380 33554432000 4194304 4196484 140737449241744 140737449233504 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 34128 6380 1180 1 0 5185 0
[pid=16249] ppid=16070 vsize=212448 CPUtime=96.19 cores=0,2,4,6
/proc/16249/stat : 16249 (wbo1.4b) R 16070 16249 16249 0 -1 4202496 53170 0 0 0 9595 24 0 0 20 0 1 0 337693096 217546752 52656 33554432000 134512640 135751879 4290086688 4290084780 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16249/statm: 53112 52656 144 303 0 52807 0
Current children cumulated CPU time (s) 586.81
Current children cumulated vsize (KiB) 348960

[startup+563.1 s]
/proc/loadavg: 2.03 2.07 2.01 3/179 16252
/proc/meminfo: memFree=26680020/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=136512 CPUtime=490.77 cores=0,2,4,6
/proc/16070/stat : 16070 (python) S 16068 16070 15301 0 -1 4202496 20205 149016 0 1 2412 380 46155 130 20 0 1 0 337646732 139788288 6380 33554432000 4194304 4196484 140737449241744 140737449233504 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 34128 6380 1180 1 0 5185 0
[pid=16249] ppid=16070 vsize=219576 CPUtime=99.39 cores=0,2,4,6
/proc/16249/stat : 16249 (wbo1.4b) R 16070 16249 16249 0 -1 4202496 54973 0 0 0 9914 25 0 0 20 0 1 0 337693096 224845824 54459 33554432000 134512640 135751879 4290086688 4290084780 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16249/statm: 54894 54459 144 303 0 54589 0
Current children cumulated CPU time (s) 590.16
Current children cumulated vsize (KiB) 356088

[startup+563.9 s]
/proc/loadavg: 2.03 2.07 2.01 3/179 16252
/proc/meminfo: memFree=26680020/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=136512 CPUtime=490.82 cores=0,2,4,6
/proc/16070/stat : 16070 (python) S 16068 16070 15301 0 -1 4202496 20206 149016 0 1 2417 380 46155 130 20 0 1 0 337646732 139788288 6380 33554432000 4194304 4196484 140737449241744 140737449233504 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 34128 6380 1180 1 0 5185 0
[pid=16249] ppid=16070 vsize=221556 CPUtime=100.18 cores=0,2,4,6
/proc/16249/stat : 16249 (wbo1.4b) R 16070 16249 16249 0 -1 4202496 55452 0 0 0 9993 25 0 0 20 0 1 0 337693096 226873344 54938 33554432000 134512640 135751879 4290086688 4290084780 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/16249/statm: 55389 54938 144 303 0 55084 0
Current children cumulated CPU time (s) 591
Current children cumulated vsize (KiB) 358068

[startup+564.307 s]
/proc/loadavg: 2.03 2.07 2.01 4/179 16252
/proc/meminfo: memFree=26675804/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=136512 CPUtime=591.41 cores=0,2,4,6
/proc/16070/stat : 16070 (python) S 16068 16070 15301 0 -1 4202496 21414 205560 0 1 2424 381 56180 156 20 0 1 0 337646732 139788288 6380 33554432000 4194304 4196484 140737449241744 140737449233504 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 34128 6380 1180 1 0 5185 0
Current children cumulated CPU time (s) 591.41
Current children cumulated vsize (KiB) 136512

[startup+564.7 s]
/proc/loadavg: 2.03 2.07 2.01 4/179 16252
/proc/meminfo: memFree=26675804/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=136512 CPUtime=591.43 cores=0,2,4,6
/proc/16070/stat : 16070 (python) S 16068 16070 15301 0 -1 4202496 21416 205560 0 1 2426 381 56180 156 20 0 1 0 337646732 139788288 6380 33554432000 4194304 4196484 140737449241744 140737449233504 251053048232 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 34128 6380 1180 1 0 5185 0
Current children cumulated CPU time (s) 591.43
Current children cumulated vsize (KiB) 136512

[startup+564.8 s]
/proc/loadavg: 2.03 2.07 2.01 4/179 16252
/proc/meminfo: memFree=26675804/32873648 swapFree=7368/7368
[pid=16070] ppid=16068 vsize=136512 CPUtime=592 cores=0,2,4,6
/proc/16070/stat : 16070 (python) S 16068 16070 15301 0 -1 4202496 21626 207940 0 1 2433 382 56227 158 20 0 1 0 337646732 139788288 6380 33554432000 4194304 4196484 140737449241744 140737449231712 251056418846 0 0 16781312 2 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16070/statm: 34128 6380 1180 1 0 5185 0
Current children cumulated CPU time (s) 592
Current children cumulated vsize (KiB) 136512

Child status: 20
Real time (s): 564.834
CPU time (s): 592.051
CPU user time (s): 586.634
CPU system time (s): 5.41718
CPU usage (%): 104.819
Max. virtual memory (cumulated for all children) (KiB): 2851652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 586.634
system time used= 5.41718
maximum resident set size= 688792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234733
page faults= 1
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7135
involuntary context switches= 1447

runsolver used 1.07284 second user time and 2.91756 second system time

The end

Launcher Data

Begin job on node149 at 2012-06-03 11:20:25
IDJOB=3730269
IDBENCH=1402
IDSOLVER=2323
FILE ID=node149/3730269-1338715225
RUNJOBID= node149-1338713283-15317
PBS_JOBID= 14636730
Free space on /tmp= 71036 MiB

SOLVER NAME= PB10: 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-3730269-1338715225/watcher-3730269-1338715225 -o /tmp/evaluation-result-3730269-1338715225/solver-3730269-1338715225 -C 1800 -W 1900 -M 15500  solver HOME/instance-3730269-1338715225.opb 1059918355 

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

MD5SUM BENCH= 6f530d7030eb010292a76e81381ed552
RANDOM SEED=1059918355

node149.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.145
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	: 5332.29
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.145
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.145
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	: 5438.55
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.145
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.91
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.145
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.91
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.145
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	: 5438.55
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.145
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.145
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:       32873648 kB
MemFree:        27011960 kB
Buffers:          730280 kB
Cached:          4119144 kB
SwapCached:         2468 kB
Active:          2084956 kB
Inactive:        2877868 kB
Active(anon):      96636 kB
Inactive(anon):     9368 kB
Active(file):    1988320 kB
Inactive(file):  2868500 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:             20812 kB
Writeback:             0 kB
AnonPages:        108992 kB
Mapped:            18332 kB
Shmem:                96 kB
Slab:             760120 kB
SReclaimable:     203132 kB
SUnreclaim:       556988 kB
KernelStack:        1456 kB
PageTables:         4416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     220608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71012 MiB
End job on node149 at 2012-06-03 11:29:51