Trace number 3730282

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 597.799 570.95

General information on the benchmark

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

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: 2.18 2.11 2.02 3/180 12072
/proc/meminfo: memFree=28614360/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/12072/stat : 12072 (python) D 12070 12072 11290 0 -1 4202496 756 0 0 0 0 0 0 0 20 0 1 0 337647673 15642624 526 33554432000 4194304 5683644 140735302664064 140735302649976 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 3819 526 312 364 0 261 0

[startup+0.0482379 s]
/proc/loadavg: 2.18 2.11 2.02 3/180 12072
/proc/meminfo: memFree=28614360/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=16432 CPUtime=0 cores=1,3,5,7
/proc/12072/stat : 12072 (python) D 12070 12072 11290 0 -1 4202496 1182 0 0 0 0 0 0 0 20 0 1 0 337647673 16826368 886 33554432000 4194304 5683644 140735302664064 140735302646216 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 4108 886 382 364 0 550 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16432

[startup+0.100284 s]
/proc/loadavg: 2.18 2.11 2.02 3/180 12072
/proc/meminfo: memFree=28614360/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=17628 CPUtime=0.02 cores=1,3,5,7
/proc/12072/stat : 12072 (python) D 12070 12072 11290 0 -1 4202496 2215 0 0 0 1 1 0 0 20 0 1 0 337647673 18051072 723 33554432000 4194304 4196484 140733710665280 140733710595448 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 4407 723 354 1 0 342 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17628

[startup+0.300228 s]
/proc/loadavg: 2.18 2.11 2.02 3/180 12072
/proc/meminfo: memFree=28614360/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=54508 CPUtime=0.08 cores=1,3,5,7
/proc/12072/stat : 12072 (python) D 12070 12072 11290 0 -1 4202496 3954 0 0 0 4 4 0 0 20 0 1 0 337647673 55816192 2142 33554432000 4194304 4196484 140733710665280 140733710511096 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 13627 2142 600 1 0 1482 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 54508

[startup+0.700239 s]
/proc/loadavg: 2.18 2.11 2.02 3/180 12072
/proc/meminfo: memFree=28614360/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=99040 CPUtime=0.23 cores=1,3,5,7
/proc/12072/stat : 12072 (python) R 12070 12072 11290 0 -1 4202496 5771 0 0 0 14 9 0 0 20 0 1 0 337647673 101416960 3608 33554432000 4194304 4196484 140733710665280 140733710608552 215143499040 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 24760 3608 1047 1 0 2562 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 99040

[startup+1.50022 s]
/proc/loadavg: 2.18 2.11 2.02 2/181 12077
/proc/meminfo: memFree=28592644/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=118116 CPUtime=0.46 cores=1,3,5,7
/proc/12072/stat : 12072 (python) D 12070 12072 11290 0 -1 4202496 9592 1015 0 0 29 17 0 0 20 0 1 0 337647673 120950784 5830 33554432000 4194304 4196484 140733710665280 140733710598632 215143497397 0 0 16781312 2 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 29529 5830 1083 1 0 4728 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 118116

[startup+3.10025 s]
/proc/loadavg: 2.18 2.11 2.02 3/182 12078
/proc/meminfo: memFree=28585816/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=134480 CPUtime=0.66 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 11214 1015 0 0 44 22 0 0 20 0 1 0 337647673 137707520 6346 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 33620 6346 1170 1 0 5192 0
[pid=12078] ppid=12072 vsize=6136 CPUtime=1.25 cores=1,3,5,7
/proc/12078/stat : 12078 (clasp-1.3.3-x86) R 12072 12078 12078 0 -1 4202496 1586 0 0 0 125 0 0 0 20 0 1 0 337647858 6283264 1274 33554432000 134512640 136080129 4293542720 4293541712 134588742 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12078/statm: 1534 1274 175 383 0 1149 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 140616
heavy processes:

[startup+6.30025 s]
/proc/loadavg: 2.16 2.11 2.02 3/182 12078
/proc/meminfo: memFree=28570440/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=134480 CPUtime=0.8 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 11225 1015 0 0 56 24 0 0 20 0 1 0 337647673 137707520 6346 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 33620 6346 1170 1 0 5192 0
[pid=12078] ppid=12072 vsize=7972 CPUtime=4.45 cores=1,3,5,7
/proc/12078/stat : 12078 (clasp-1.3.3-x86) R 12072 12078 12078 0 -1 4202496 2064 0 0 0 445 0 0 0 20 0 1 0 337647858 8163328 1752 33554432000 134512640 136080129 4293542720 4293541712 134588755 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12078/statm: 1993 1752 175 383 0 1608 0
Current children cumulated CPU time (s) 5.25
Current children cumulated vsize (KiB) 142452

[startup+12.7002 s]
/proc/loadavg: 2.15 2.11 2.02 3/182 12078
/proc/meminfo: memFree=28546748/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=11.67 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 12473 4571 0 0 84 30 1052 1 20 0 1 0 337647673 139816960 6368 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6368 1180 1 0 5192 0
Current children cumulated CPU time (s) 11.67
Current children cumulated vsize (KiB) 136540

[startup+25.5002 s]
/proc/loadavg: 2.19 2.12 2.03 4/200 12102
/proc/meminfo: memFree=28609532/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=12.22 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 12502 4571 0 0 133 36 1052 1 20 0 1 0 337647673 139816960 6368 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6368 1180 1 0 5192 0
[pid=12081] ppid=12072 vsize=10196 CPUtime=13.1 cores=1,3,5,7
/proc/12081/stat : 12081 (clasp-1.3.3-x86) R 12072 12081 12081 0 -1 4202496 2620 0 0 0 1310 0 0 0 20 0 1 0 337648913 10440704 2311 33554432000 134512640 136080129 4292163200 4292162176 134804972 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12081/statm: 2549 2311 175 383 0 2164 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 146736

[startup+51.1003 s]
/proc/loadavg: 2.13 2.11 2.02 3/199 12102
/proc/meminfo: memFree=28494916/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=13.38 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 12530 4571 0 0 233 52 1052 1 20 0 1 0 337647673 139816960 6368 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6368 1180 1 0 5192 0
[pid=12081] ppid=12072 vsize=13252 CPUtime=38.69 cores=1,3,5,7
/proc/12081/stat : 12081 (clasp-1.3.3-x86) R 12072 12081 12081 0 -1 4202496 3389 0 0 0 3869 0 0 0 20 0 1 0 337648913 13570048 3077 33554432000 134512640 136080129 4292163200 4292162144 134804904 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12081/statm: 3313 3077 175 383 0 2928 0
Current children cumulated CPU time (s) 52.07
Current children cumulated vsize (KiB) 149792

[startup+102.307 s]
/proc/loadavg: 2.05 2.09 2.02 3/199 12105
/proc/meminfo: memFree=28226436/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=66.31 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 13717 9018 0 0 454 88 6087 2 20 0 1 0 337647673 139816960 6372 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6372 1180 1 0 5192 0
[pid=12105] ppid=12072 vsize=127204 CPUtime=39.52 cores=1,3,5,7
/proc/12105/stat : 12105 (wbo1.4a) R 12072 12105 12105 0 -1 4202496 31660 0 0 0 3936 16 0 0 20 0 1 0 337653951 130256896 31323 33554432000 134512640 135751879 4292841328 4292839580 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12105/statm: 31801 31323 139 303 0 31496 0
Current children cumulated CPU time (s) 105.83
Current children cumulated vsize (KiB) 263744

[startup+162.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/181 12111
/proc/meminfo: memFree=28546608/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=119.3 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 14968 48905 0 0 689 127 11089 25 20 0 1 0 337647673 139816960 6372 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6372 1180 1 0 5192 0
[pid=12108] ppid=12072 vsize=13752 CPUtime=49.24 cores=1,3,5,7
/proc/12108/stat : 12108 (clasp-1.3.3-x86) R 12072 12108 12108 0 -1 4202496 3538 0 0 0 4923 1 0 0 20 0 1 0 337658978 14082048 3195 33554432000 134512640 136080129 4287727472 4287726416 134580608 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/12108/statm: 3438 3195 175 383 0 3053 0
Current children cumulated CPU time (s) 168.54
Current children cumulated vsize (KiB) 150292

[startup+222.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/181 12114
/proc/meminfo: memFree=28255244/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=222.31 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 16222 54031 0 0 935 169 21100 27 20 0 1 0 337647673 139816960 6376 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6376 1180 1 0 5192 0
[pid=12114] ppid=12072 vsize=37088 CPUtime=9.08 cores=1,3,5,7
/proc/12114/stat : 12114 (wbo1.4a) R 12072 12114 12114 0 -1 4202496 9149 0 0 0 903 5 0 0 20 0 1 0 337668994 37978112 8815 33554432000 134512640 135751879 4290036368 4290034544 134616514 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12114/statm: 9272 8815 139 303 0 8967 0
Current children cumulated CPU time (s) 231.39
Current children cumulated vsize (KiB) 173628

[startup+282.3 s]
/proc/loadavg: 2.03 2.07 2.01 3/181 12121
/proc/meminfo: memFree=28444036/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=225.05 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 16261 54031 0 0 1169 209 21100 27 20 0 1 0 337647673 139816960 6376 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6376 1180 1 0 5192 0
[pid=12114] ppid=12072 vsize=224104 CPUtime=69.07 cores=1,3,5,7
/proc/12114/stat : 12114 (wbo1.4a) R 12072 12114 12114 0 -1 4202496 55877 0 0 0 6881 26 0 0 20 0 1 0 337668994 229482496 55557 33554432000 134512640 135751879 4290036368 4290034544 134616492 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12114/statm: 56026 55557 139 303 0 55721 0
Current children cumulated CPU time (s) 294.12
Current children cumulated vsize (KiB) 360644

[startup+342.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/181 12142
/proc/meminfo: memFree=28577872/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=328.42 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 17495 137846 0 0 1419 250 31108 65 20 0 1 0 337647673 139816960 6378 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6378 1180 1 0 5192 0
[pid=12136] ppid=12072 vsize=88960 CPUtime=28.54 cores=1,3,5,7
/proc/12136/stat : 12136 (wbo1.4b) R 12072 12136 12136 0 -1 4202496 22262 0 0 0 2841 13 0 0 20 0 1 0 337679046 91095040 21783 33554432000 134512640 135751879 4288898992 4288897084 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12136/statm: 22240 21783 144 303 0 21935 0
Current children cumulated CPU time (s) 356.96
Current children cumulated vsize (KiB) 225500

[startup+402.301 s]
/proc/loadavg: 2.11 2.08 2.02 3/217 12190
/proc/meminfo: memFree=28265184/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=381.52 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 18732 177916 0 0 1660 294 36109 89 20 0 1 0 337647673 139816960 6378 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/12072/statm: 34135 6378 1180 1 0 5192 0
[pid=12172] ppid=12072 vsize=2715136 CPUtime=38.87 cores=1,3,5,7
/proc/12172/stat : 12172 (java) S 12072 12172 12172 0 -1 4202496 9373 0 1 0 3881 6 0 0 20 0 19 0 337684075 2780299264 53639 33554432000 1073741824 1073778376 140735422201664 140735422192800 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12172/statm: 678784 53639 2243 9 0 669477 0

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

/proc/12172/task/12184/stat : 12184 (java) S 12072 12172 12172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337684078 2780299264 53639 33554432000 1073741824 1073778376 140735422201664 140648251511816 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12172/tid=12185] ppid=12072 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12172/task/12185/stat : 12185 (java) S 12072 12172 12172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337684081 2780299264 53639 33554432000 1073741824 1073778376 140735422201664 140648250460304 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12172/tid=12186] ppid=12072 vsize=2715136 CPUtime=0.35 cores=1,3,5,7
/proc/12172/task/12186/stat : 12186 (java) S 12072 12172 12172 0 -1 4202560 2033 0 0 0 35 0 0 0 20 0 19 0 337684081 2780299264 53639 33554432000 1073741824 1073778376 140735422201664 140648249408440 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12172/tid=12187] ppid=12072 vsize=2715136 CPUtime=0.27 cores=1,3,5,7
/proc/12172/task/12187/stat : 12187 (java) S 12072 12172 12172 0 -1 4202560 2988 0 0 0 27 0 0 0 20 0 19 0 337684081 2780299264 53639 33554432000 1073741824 1073778376 140735422201664 140648248355640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12172/tid=12188] ppid=12072 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12172/task/12188/stat : 12188 (java) S 12072 12172 12172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337684081 2780299264 53639 33554432000 1073741824 1073778376 140735422201664 140648247303032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12172/tid=12189] ppid=12072 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12172/task/12189/stat : 12189 (java) S 12072 12172 12172 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 337684081 2780299264 53639 33554432000 1073741824 1073778376 140735422201664 140648246250440 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12172/tid=12190] ppid=12072 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12172/task/12190/stat : 12190 (java) S 12072 12172 12172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337684103 2780299264 53639 33554432000 1073741824 1073778376 140735422201664 140648245195944 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 420.39
Current children cumulated vsize (KiB) 2851676

[startup+462.301 s]
/proc/loadavg: 2.04 2.06 2.01 3/199 12205
/proc/meminfo: memFree=27980832/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=384.25 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 18760 177916 0 0 1892 335 36109 89 20 0 1 0 337647673 139816960 6378 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6378 1180 1 0 5192 0
[pid=12172] ppid=12072 vsize=2715136 CPUtime=99.58 cores=1,3,5,7
/proc/12172/stat : 12172 (java) S 12072 12172 12172 0 -1 4202496 10123 0 1 0 9896 62 0 0 20 0 19 0 337684075 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140735422192800 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12172/statm: 678784 172443 2256 9 0 669477 0
[pid=12172/tid=12173] ppid=12072 vsize=2715136 CPUtime=97.97 cores=1,3,5,7
/proc/12172/task/12173/stat : 12173 (java) R 12072 12172 12172 0 -1 4202560 2916 0 1 0 9789 8 0 0 20 0 19 0 337684076 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648288947688 140648116687216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12172/tid=12174] ppid=12072 vsize=2715136 CPUtime=0.06 cores=1,3,5,7
/proc/12172/task/12174/stat : 12174 (java) S 12072 12172 12172 0 -1 4202560 64 0 0 0 1 5 0 0 20 0 19 0 337684076 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648273398312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12172/tid=12175] ppid=12072 vsize=2715136 CPUtime=0.1 cores=1,3,5,7
/proc/12172/task/12175/stat : 12175 (java) S 12072 12172 12172 0 -1 4202560 83 0 0 0 3 7 0 0 20 0 19 0 337684076 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648272345512 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12172/tid=12176] ppid=12072 vsize=2715136 CPUtime=0.1 cores=1,3,5,7
/proc/12172/task/12176/stat : 12176 (java) S 12072 12172 12172 0 -1 4202560 83 0 0 0 3 7 0 0 20 0 19 0 337684076 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648271292712 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12172/tid=12177] ppid=12072 vsize=2715136 CPUtime=0.21 cores=1,3,5,7
/proc/12172/task/12177/stat : 12177 (java) S 12072 12172 12172 0 -1 4202560 167 0 0 0 9 12 0 0 20 0 19 0 337684076 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648270239912 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12172/tid=12178] ppid=12072 vsize=2715136 CPUtime=0.1 cores=1,3,5,7
/proc/12172/task/12178/stat : 12178 (java) S 12072 12172 12172 0 -1 4202560 80 0 0 0 3 7 0 0 20 0 19 0 337684076 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648269188136 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12172/tid=12179] ppid=12072 vsize=2715136 CPUtime=0.1 cores=1,3,5,7
/proc/12172/task/12179/stat : 12179 (java) S 12072 12172 12172 0 -1 4202560 79 0 0 0 3 7 0 0 20 0 19 0 337684076 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648268135336 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12172/tid=12180] ppid=12072 vsize=2715136 CPUtime=0.06 cores=1,3,5,7
/proc/12172/task/12180/stat : 12180 (java) S 12072 12172 12172 0 -1 4202560 55 0 0 0 2 4 0 0 20 0 19 0 337684076 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648267082536 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12172/tid=12181] ppid=12072 vsize=2715136 CPUtime=0.06 cores=1,3,5,7
/proc/12172/task/12181/stat : 12181 (java) S 12072 12172 12172 0 -1 4202560 60 0 0 0 2 4 0 0 20 0 19 0 337684076 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648266029736 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12172/tid=12182] ppid=12072 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12172/task/12182/stat : 12182 (java) S 12072 12172 12172 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 337684078 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648253618664 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12172/tid=12183] ppid=12072 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12172/task/12183/stat : 12183 (java) S 12072 12172 12172 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337684078 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648252564728 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12172/tid=12184] ppid=12072 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12172/task/12184/stat : 12184 (java) S 12072 12172 12172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337684078 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648251511816 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12172/tid=12185] ppid=12072 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12172/task/12185/stat : 12185 (java) S 12072 12172 12172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337684081 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648250460304 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12172/tid=12186] ppid=12072 vsize=2715136 CPUtime=0.36 cores=1,3,5,7
/proc/12172/task/12186/stat : 12186 (java) S 12072 12172 12172 0 -1 4202560 2035 0 0 0 36 0 0 0 20 0 19 0 337684081 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648249408440 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12172/tid=12187] ppid=12072 vsize=2715136 CPUtime=0.27 cores=1,3,5,7
/proc/12172/task/12187/stat : 12187 (java) S 12072 12172 12172 0 -1 4202560 2988 0 0 0 27 0 0 0 20 0 19 0 337684081 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648248355640 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12172/tid=12188] ppid=12072 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12172/task/12188/stat : 12188 (java) S 12072 12172 12172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337684081 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648247303032 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12172/tid=12189] ppid=12072 vsize=2715136 CPUtime=0.04 cores=1,3,5,7
/proc/12172/task/12189/stat : 12189 (java) S 12072 12172 12172 0 -1 4202560 6 0 0 0 2 2 0 0 20 0 19 0 337684081 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648246250440 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12172/tid=12190] ppid=12072 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/12172/task/12190/stat : 12190 (java) S 12072 12172 12172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337684103 2780299264 172443 33554432000 1073741824 1073778376 140735422201664 140648245195944 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 483.83
Current children cumulated vsize (KiB) 2851676

[startup+522.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/181 12211
/proc/meminfo: memFree=28465356/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=488.04 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 20004 188967 0 1 2151 374 46114 165 20 0 1 0 337647673 139816960 6380 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6380 1180 1 0 5192 0
[pid=12208] ppid=12072 vsize=197996 CPUtime=58.81 cores=1,3,5,7
/proc/12208/stat : 12208 (wbo1.4b) R 12072 12208 12208 0 -1 4202496 49509 0 0 0 5857 24 0 0 20 0 1 0 337694018 202747904 49043 33554432000 134512640 135751879 4287041504 4287039596 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12208/statm: 49499 49043 144 303 0 49194 0
Current children cumulated CPU time (s) 546.85
Current children cumulated vsize (KiB) 334536

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

[startup+537.5 s]
/proc/loadavg: 2.10 2.08 2.02 3/181 12211
/proc/meminfo: memFree=28424544/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=488.72 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 20010 188967 0 1 2210 383 46114 165 20 0 1 0 337647673 139816960 6380 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6380 1180 1 0 5192 0
[pid=12208] ppid=12072 vsize=236040 CPUtime=74 cores=1,3,5,7
/proc/12208/stat : 12208 (wbo1.4b) R 12072 12208 12208 0 -1 4202496 59024 0 0 0 7371 29 0 0 20 0 1 0 337694018 241704960 58558 33554432000 134512640 135751879 4287041504 4287039596 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12208/statm: 59010 58558 144 303 0 58705 0
Current children cumulated CPU time (s) 562.72
Current children cumulated vsize (KiB) 372580

[startup+550.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/181 12211
/proc/meminfo: memFree=28378648/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=489.31 cores=1,3,5,7
/proc/12072/stat : 12072 (python) R 12070 12072 11290 0 -1 4202496 20016 188967 0 1 2260 392 46114 165 20 0 1 0 337647673 139816960 6380 33554432000 4194304 4196484 140733710665280 140733710657040 215143539639 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6380 1180 1 0 5192 0
[pid=12208] ppid=12072 vsize=281464 CPUtime=86.8 cores=1,3,5,7
/proc/12208/stat : 12208 (wbo1.4b) R 12072 12208 12208 0 -1 4202496 70376 0 0 0 8646 34 0 0 20 0 1 0 337694018 288219136 69910 33554432000 134512640 135751879 4287041504 4287039596 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12208/statm: 70366 69910 144 303 0 70061 0
Current children cumulated CPU time (s) 576.11
Current children cumulated vsize (KiB) 418004

[startup+563.1 s]
/proc/loadavg: 2.07 2.07 2.01 3/181 12211
/proc/meminfo: memFree=28327032/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=489.89 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 20021 188967 0 1 2310 400 46114 165 20 0 1 0 337647673 139816960 6380 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6380 1180 1 0 5192 0
[pid=12208] ppid=12072 vsize=329932 CPUtime=99.6 cores=1,3,5,7
/proc/12208/stat : 12208 (wbo1.4b) R 12072 12208 12208 0 -1 4202496 82495 0 0 0 9923 37 0 0 20 0 1 0 337694018 337850368 82035 33554432000 134512640 135751879 4287041504 4287039512 134517414 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/12208/statm: 82483 82035 144 303 0 82178 0
Current children cumulated CPU time (s) 589.49
Current children cumulated vsize (KiB) 466472

[startup+566.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/181 12214
/proc/meminfo: memFree=28647484/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=590.6 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 21213 272965 0 1 2331 403 56122 204 20 0 1 0 337647673 139816960 6381 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6381 1180 1 0 5192 0
[pid=12214] ppid=12072 vsize=22196 CPUtime=2.31 cores=1,3,5,7
/proc/12214/stat : 12214 (bsolo_pb10) R 12072 12214 12214 0 -1 4202496 3481 0 0 0 230 1 0 0 20 0 1 0 337704071 22728704 3109 33554432000 134512640 137138936 4291859984 4291854144 134598928 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/12214/statm: 5549 3109 192 642 0 4905 0
Current children cumulated CPU time (s) 592.91
Current children cumulated vsize (KiB) 158736

[startup+569.5 s]
/proc/loadavg: 2.06 2.07 2.01 3/181 12214
/proc/meminfo: memFree=28636200/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=590.77 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 21218 272965 0 1 2344 407 56122 204 20 0 1 0 337647673 139816960 6381 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6381 1180 1 0 5192 0
[pid=12214] ppid=12072 vsize=31964 CPUtime=5.51 cores=1,3,5,7
/proc/12214/stat : 12214 (bsolo_pb10) R 12072 12214 12214 0 -1 4202496 5938 0 0 0 550 1 0 0 20 0 1 0 337704071 32731136 5566 33554432000 134512640 137138936 4291859984 4291858912 134542770 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/12214/statm: 7991 5566 192 642 0 7347 0
Current children cumulated CPU time (s) 596.28
Current children cumulated vsize (KiB) 168504

[startup+570.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/181 12214
/proc/meminfo: memFree=28633224/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=590.79 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 21220 272965 0 1 2346 407 56122 204 20 0 1 0 337647673 139816960 6381 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6381 1180 1 0 5192 0
[pid=12214] ppid=12072 vsize=34228 CPUtime=6.31 cores=1,3,5,7
/proc/12214/stat : 12214 (bsolo_pb10) R 12072 12214 12214 0 -1 4202496 6479 0 0 0 629 2 0 0 20 0 1 0 337704071 35049472 6107 33554432000 134512640 137138936 4291859984 4291858736 134575900 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/12214/statm: 8557 6107 192 642 0 7913 0
Current children cumulated CPU time (s) 597.1
Current children cumulated vsize (KiB) 170768

[startup+570.7 s]
/proc/loadavg: 2.06 2.07 2.01 3/181 12214
/proc/meminfo: memFree=28633224/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=590.81 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 21220 272965 0 1 2348 407 56122 204 20 0 1 0 337647673 139816960 6381 33554432000 4194304 4196484 140733710665280 140733710657040 215143514536 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6381 1180 1 0 5192 0
[pid=12214] ppid=12072 vsize=34960 CPUtime=6.71 cores=1,3,5,7
/proc/12214/stat : 12214 (bsolo_pb10) R 12072 12214 12214 0 -1 4202496 6685 0 0 0 669 2 0 0 20 0 1 0 337704071 35799040 6312 33554432000 134512640 137138936 4291859984 4291858912 134542307 0 0 16781312 16384 0 0 0 17 5 0 0 0 0 0
/proc/12214/statm: 8740 6312 192 642 0 8096 0
Current children cumulated CPU time (s) 597.52
Current children cumulated vsize (KiB) 171500

[startup+570.907 s]
/proc/loadavg: 2.06 2.07 2.01 4/181 12214
/proc/meminfo: memFree=28630232/32873844 swapFree=7380/7380
[pid=12072] ppid=12070 vsize=136540 CPUtime=597.73 cores=1,3,5,7
/proc/12072/stat : 12072 (python) S 12070 12072 11290 0 -1 4202496 21317 279700 0 1 2354 408 56804 207 20 0 1 0 337647673 139816960 6381 33554432000 4194304 4196484 140733710665280 140733710655248 215146885150 0 0 16781312 2 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12072/statm: 34135 6381 1180 1 0 5192 0
Current children cumulated CPU time (s) 597.73
Current children cumulated vsize (KiB) 136540

Child status: 20
Real time (s): 570.95
CPU time (s): 597.799
CPU user time (s): 591.627
CPU system time (s): 6.17206
CPU usage (%): 104.702
Max. virtual memory (cumulated for all children) (KiB): 2851680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 591.627
system time used= 6.17206
maximum resident set size= 689772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 306757
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= 7075
involuntary context switches= 1211

runsolver used 1.70174 second user time and 3.81442 second system time

The end

Launcher Data

Begin job on node133 at 2012-06-03 11:20:28
IDJOB=3730282
IDBENCH=1403
IDSOLVER=2323
FILE ID=node133/3730282-1338715228
RUNJOBID= node133-1338713154-11307
PBS_JOBID= 14636724
Free space on /tmp= 70464 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3730282-1338715228/watcher-3730282-1338715228 -o /tmp/evaluation-result-3730282-1338715228/solver-3730282-1338715228 -C 1800 -W 1900 -M 15500  solver HOME/instance-3730282-1338715228.opb 342454618 

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

MD5SUM BENCH= 04ec290f8a8afffbd026dcfb09cada39
RANDOM SEED=342454618

node133.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.540
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.08
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.540
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.92
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.540
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	: 5331.92
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.540
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.540
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.540
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.90
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.540
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.540
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:        28614780 kB
Buffers:          422656 kB
Cached:          2823096 kB
SwapCached:          676 kB
Active:          1577936 kB
Inactive:        1779628 kB
Active(anon):     103288 kB
Inactive(anon):    10220 kB
Active(file):    1474648 kB
Inactive(file):  1769408 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             20776 kB
Writeback:             0 kB
AnonPages:        117644 kB
Mapped:            14200 kB
Shmem:                 0 kB
Slab:             760624 kB
SReclaimable:     202016 kB
SUnreclaim:       558608 kB
KernelStack:        1520 kB
PageTables:         4368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     228164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70444 MiB
End job on node133 at 2012-06-03 11:30:00