Trace number 2676210

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
borg-pb 10.05.30UNSAT 600.836 567.789

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
MD5SUMb95bbeb851a52866877e397310a0a770
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.18997
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3600
Total number of constraints170
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
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 46
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 

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2676210-1277134675/watcher-2676210-1277134675 -o /tmp/evaluation-result-2676210-1277134675/solver-2676210-1277134675 -C 1800 -W 2000 -M 1800 solver HOME/instance-2676210-1277134675.opb 1245467142 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.36 0.70 0.73 2/105 11556
/proc/meminfo: memFree=1507004/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=16708 CPUtime=0
/proc/11556/stat : 11556 (python) R 11554 11556 11385 0 -1 4202496 736 0 0 0 0 0 0 0 22 0 1 0 54761116 17108992 502 1992294400 4194304 4196484 140734612252912 18446744073709551615 272447779525 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11556/statm: 4177 504 272 1 0 273 0

[startup+0.0381591 s]
/proc/loadavg: 1.36 0.70 0.73 2/105 11556
/proc/meminfo: memFree=1507004/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=17824 CPUtime=0.02
/proc/11556/stat : 11556 (python) R 11554 11556 11385 0 -1 4202496 1781 0 0 0 1 1 0 0 22 0 1 0 54761116 18251776 809 1992294400 4194304 4196484 140735498407664 18446744073709551615 272448116736 0 2147483391 16781312 2 0 0 0 17 0 0 0 0
/proc/11556/statm: 4456 809 377 1 0 436 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17824

[startup+0.101961 s]
/proc/loadavg: 1.36 0.70 0.73 2/105 11556
/proc/meminfo: memFree=1507004/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=32152 CPUtime=0.08
/proc/11556/stat : 11556 (python) S 11554 11556 11385 0 -1 4202496 2413 0 0 0 5 3 0 0 22 0 1 0 54761116 32923648 1389 1992294400 4194304 4196484 140735498407664 18446744073709551615 272448116736 0 2147483391 16781312 2 18446744071699334334 0 0 17 0 0 0 0
/proc/11556/statm: 8038 1389 459 1 0 910 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32152

[startup+0.301098 s]
/proc/loadavg: 1.36 0.70 0.73 2/105 11556
/proc/meminfo: memFree=1507004/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=71512 CPUtime=0.24
/proc/11556/stat : 11556 (python) R 11554 11556 11385 0 -1 4202496 4123 0 0 0 17 7 0 0 22 0 1 0 54761116 73228288 2943 1992294400 4194304 4196484 140735498407664 18446744073709551615 272447778067 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11556/statm: 17878 2943 693 1 0 2365 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 71512

[startup+0.701137 s]
/proc/loadavg: 1.36 0.70 0.73 2/105 11556
/proc/meminfo: memFree=1507004/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=99192 CPUtime=0.55
/proc/11556/stat : 11556 (python) R 11554 11556 11385 0 -1 4202496 4995 0 0 0 35 20 0 0 22 0 1 0 54761116 101572608 3674 1992294400 4194304 4196484 140735498407664 18446744073709551615 47942526339415 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11556/statm: 24798 3674 1023 1 0 2655 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 99192

[startup+1.50123 s]
/proc/loadavg: 1.33 0.70 0.73 2/106 11561
/proc/meminfo: memFree=1488520/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=132048 CPUtime=1.13
/proc/11556/stat : 11556 (python) R 11554 11556 11385 0 -1 4202496 10218 927 0 0 80 33 0 0 23 0 1 0 54761116 135217152 6307 1992294400 4194304 4196484 140735498407664 18446744073709551615 272459942740 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11556/statm: 33012 6307 1133 1 0 5164 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 132048

[startup+3.10139 s]
/proc/loadavg: 1.33 0.70 0.73 2/107 11562
/proc/meminfo: memFree=1483428/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=132048 CPUtime=1.26
/proc/11556/stat : 11556 (python) S 11554 11556 11385 0 -1 4202496 10268 927 0 0 91 35 0 0 15 0 1 0 54761116 135217152 6307 1992294400 4194304 4196484 140735498407664 18446744073709551615 272448138767 0 0 16781312 2 159688670771686298 0 0 17 0 0 0 0
/proc/11556/statm: 33012 6307 1133 1 0 5164 0
[pid=11562] ppid=11556 vsize=5008 CPUtime=1.6
/proc/11562/stat : 11562 (clasp-1.3.3-x86) R 11556 11562 11562 0 -1 4202496 1309 0 0 0 160 0 0 0 25 0 1 0 54761265 5128192 993 1992294400 134512640 136080129 4290752992 18446744073709551615 134588941 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11562/statm: 1252 993 174 383 0 867 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 137056

[startup+6.30575 s]
/proc/loadavg: 1.55 0.76 0.75 2/107 11562
/proc/meminfo: memFree=1480948/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=132048 CPUtime=1.43
/proc/11556/stat : 11556 (python) R 11554 11556 11385 0 -1 4202496 10280 927 0 0 107 36 0 0 15 0 1 0 54761116 135217152 6307 1992294400 4194304 4196484 140735498407664 18446744073709551615 47942492390865 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11556/statm: 33012 6307 1133 1 0 5164 0
[pid=11562] ppid=11556 vsize=5668 CPUtime=4.8
/proc/11562/stat : 11562 (clasp-1.3.3-x86) R 11556 11562 11562 0 -1 4202496 1500 0 0 0 480 0 0 0 25 0 1 0 54761265 5804032 1184 1992294400 134512640 136080129 4290752992 18446744073709551615 134579552 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11562/statm: 1417 1184 174 383 0 1032 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 137716

[startup+12.7015 s]
/proc/loadavg: 1.50 0.76 0.75 2/107 11565
/proc/meminfo: memFree=1483552/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=134108 CPUtime=12.04
/proc/11556/stat : 11556 (python) S 11554 11556 11385 0 -1 4202496 11586 3598 0 0 146 42 1013 3 15 0 1 0 54761116 137326592 6328 1992294400 4194304 4196484 140735498407664 18446744073709551615 272448138767 0 0 16781312 2 159688670771686298 0 0 17 0 0 0 0
/proc/11556/statm: 33527 6328 1143 1 0 5164 0
[pid=11565] ppid=11556 vsize=4352 CPUtime=1.01
/proc/11565/stat : 11565 (clasp-1.3.3-x86) R 11556 11565 11565 0 -1 4202496 1166 0 0 0 101 0 0 0 19 0 1 0 54762284 4456448 850 1992294400 134512640 136080129 4290217552 18446744073709551615 134804832 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11565/statm: 1088 850 174 383 0 703 0
Current children cumulated CPU time (s) 13.05
Current children cumulated vsize (KiB) 138460

[startup+25.5009 s]
/proc/loadavg: 1.39 0.77 0.75 2/107 11565
/proc/meminfo: memFree=1479956/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=134108 CPUtime=12.76
/proc/11556/stat : 11556 (python) S 11554 11556 11385 0 -1 4202496 11631 3598 0 0 210 50 1013 3 15 0 1 0 54761116 137326592 6328 1992294400 4194304 4196484 140735498407664 18446744073709551615 272448138767 0 0 16781312 2 159688670771686298 0 0 17 0 0 0 0
/proc/11556/statm: 33527 6328 1143 1 0 5164 0
[pid=11565] ppid=11556 vsize=7360 CPUtime=13.81
/proc/11565/stat : 11565 (clasp-1.3.3-x86) R 11556 11565 11565 0 -1 4202496 1912 0 0 0 1380 1 0 0 25 0 1 0 54762284 7536640 1596 1992294400 134512640 136080129 4290217552 18446744073709551615 134588745 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11565/statm: 1840 1596 174 383 0 1455 0
Current children cumulated CPU time (s) 26.57
Current children cumulated vsize (KiB) 141468

[startup+51.1007 s]
/proc/loadavg: 1.33 0.81 0.76 2/107 11565
/proc/meminfo: memFree=1477848/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=134108 CPUtime=14.23
/proc/11556/stat : 11556 (python) S 11554 11556 11385 0 -1 4202496 11715 3598 0 0 340 67 1013 3 15 0 1 0 54761116 137326592 6328 1992294400 4194304 4196484 140735498407664 18446744073709551615 272448138767 0 0 16781312 2 159688670771686298 0 0 17 0 0 0 0
/proc/11556/statm: 33527 6328 1143 1 0 5164 0
[pid=11565] ppid=11556 vsize=9468 CPUtime=39.39
/proc/11565/stat : 11565 (clasp-1.3.3-x86) R 11556 11565 11565 0 -1 4202496 2450 0 0 0 3938 1 0 0 25 0 1 0 54762284 9695232 2134 1992294400 134512640 136080129 4290217552 18446744073709551615 134804838 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11565/statm: 2367 2134 174 383 0 1982 0
Current children cumulated CPU time (s) 53.62
Current children cumulated vsize (KiB) 143576

[startup+102.308 s]
/proc/loadavg: 1.14 0.83 0.77 2/107 11570
/proc/meminfo: memFree=1434696/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=134108 CPUtime=67.84
/proc/11556/stat : 11556 (python) S 11554 11556 11385 0 -1 4202496 12959 7039 0 0 618 106 6055 5 15 0 1 0 54761116 137326592 6332 1992294400 4194304 4196484 140735498407664 18446744073709551615 272448138767 0 0 16781312 2 159688670771686298 0 0 17 0 0 0 0
/proc/11556/statm: 33527 6332 1143 1 0 5164 0
[pid=11568] ppid=11556 vsize=53548 CPUtime=40.11
/proc/11568/stat : 11568 (wbo1.4a) R 11556 11568 11568 0 -1 4202496 13261 0 0 0 3994 17 0 0 25 0 1 0 54767333 54833152 12931 1992294400 134512640 135751879 4290328720 18446744073709551615 134516976 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11568/statm: 13387 12931 139 303 0 13082 0
Current children cumulated CPU time (s) 107.95
Current children cumulated vsize (KiB) 187656

[startup+162.301 s]
/proc/loadavg: 1.05 0.86 0.78 2/107 11575
/proc/meminfo: memFree=1477848/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=134108 CPUtime=121.91
/proc/11556/stat : 11556 (python) S 11554 11556 11385 0 -1 4202496 14278 24484 0 0 927 148 11087 29 15 0 1 0 54761116 137326592 6332 1992294400 4194304 4196484 140735498407664 18446744073709551615 272448138767 0 0 16781312 2 159688670771686298 0 0 17 0 0 0 0
/proc/11556/statm: 33527 6332 1143 1 0 5164 0
[pid=11573] ppid=11556 vsize=9764 CPUtime=49.51
/proc/11573/stat : 11573 (clasp-1.3.3-x86) R 11556 11573 11573 0 -1 4202496 2496 0 0 0 4950 1 0 0 25 0 1 0 54772392 9998336 2177 1992294400 134512640 136080129 4290892688 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/11573/statm: 2441 2177 174 383 0 2056 0
Current children cumulated CPU time (s) 171.42
Current children cumulated vsize (KiB) 143872

[startup+222.302 s]
/proc/loadavg: 1.02 0.88 0.79 3/107 11580
/proc/meminfo: memFree=1467184/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=134108 CPUtime=225.93
/proc/11556/stat : 11556 (python) S 11554 11556 11385 0 -1 4202496 15508 28367 0 0 1254 190 21117 32 15 0 1 0 54761116 137326592 6333 1992294400 4194304 4196484 140735498407664 18446744073709551615 272448138767 0 0 16781312 2 159688670771686298 0 0 17 0 0 0 0
/proc/11556/statm: 33527 6333 1143 1 0 5164 0
[pid=11578] ppid=11556 vsize=21268 CPUtime=9.14
/proc/11578/stat : 11578 (wbo1.4a) R 11556 11578 11578 0 -1 4202496 5186 0 0 0 906 8 0 0 25 0 1 0 54782431 21778432 4854 1992294400 134512640 135751879 4290647568 18446744073709551615 134516976 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11578/statm: 5317 4854 139 303 0 5012 0
Current children cumulated CPU time (s) 235.07
Current children cumulated vsize (KiB) 155376

[startup+282.301 s]
/proc/loadavg: 1.05 0.92 0.81 2/107 11580
/proc/meminfo: memFree=1409028/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=134108 CPUtime=229.35
/proc/11556/stat : 11556 (python) S 11554 11556 11385 0 -1 4202496 15589 28367 0 0 1558 228 21117 32 15 0 1 0 54761116 137326592 6333 1992294400 4194304 4196484 140735498407664 18446744073709551615 272448138767 0 0 16781312 2 159688670771686298 0 0 17 0 0 0 0
/proc/11556/statm: 33527 6333 1143 1 0 5164 0
[pid=11578] ppid=11556 vsize=79588 CPUtime=69.12
/proc/11578/stat : 11578 (wbo1.4a) R 11556 11578 11578 0 -1 4202496 19765 0 0 0 6885 27 0 0 25 0 1 0 54782431 81498112 19433 1992294400 134512640 135751879 4290647568 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11578/statm: 19897 19433 139 303 0 19592 0
Current children cumulated CPU time (s) 298.47
Current children cumulated vsize (KiB) 213696

[startup+342.301 s]
/proc/loadavg: 1.02 0.93 0.82 3/107 11585
/proc/meminfo: memFree=1443748/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=134108 CPUtime=333.61
/proc/11556/stat : 11556 (python) S 11554 11556 11385 0 -1 4202496 16886 57044 0 0 1894 273 31121 73 16 0 1 0 54761116 137326592 6336 1992294400 4194304 4196484 140735498407664 18446744073709551615 272448138767 0 0 16781312 2 159836005329808282 0 0 17 1 0 0 0
/proc/11556/statm: 33527 6336 1143 1 0 5164 0
[pid=11585] ppid=11556 vsize=44680 CPUtime=28.46
/proc/11585/stat : 11585 (wbo1.4b) R 11556 11585 11585 0 -1 4202496 11147 0 0 0 2832 14 0 0 25 0 1 0 54792482 45752320 10725 1992294400 134512640 135751879 4287778720 18446744073709551615 134518929 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11585/statm: 11170 10725 144 303 0 10865 0
Current children cumulated CPU time (s) 362.07
Current children cumulated vsize (KiB) 178788

[startup+402.301 s]
/proc/loadavg: 1.14 0.98 0.84 2/119 11602
/proc/meminfo: memFree=1397156/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=134108 CPUtime=387.63
/proc/11556/stat : 11556 (python) S 11554 11556 11385 0 -1 4202496 18211 74389 0 0 2215 316 36134 98 16 0 1 0 54761116 137326592 6336 1992294400 4194304 4196484 140735498407664 18446744073709551615 272448138767 0 0 16781312 2 159836005329808282 0 0 17 1 0 0 0
/proc/11556/statm: 33527 6336 1143 1 0 5164 0
[pid=11588] ppid=11556 vsize=1479280 CPUtime=38.51
/proc/11588/stat : 11588 (java) S 11556 11588 11588 0 -1 4202496 24833 0 3 0 3837 14 0 0 18 0 13 0 54797555 1514782720 23689 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11588/statm: 369820 23689 1421 10 0 367122 0
[pid=11588/tid=11589] ppid=11556 vsize=1479280 CPUtime=37.36
/proc/11588/task/11589/stat : 11589 (java) R 11556 11588 11588 0 -1 4202560 21292 0 3 0 3724 12 0 0 25 0 13 0 54797558 1514782720 23689 1992294400 134512640 134550932 4292025104 18446744073709551615 4108915274 0 4 0 16800975 0 0 0 -1 0 0 0 5
[pid=11588/tid=11590] ppid=11556 vsize=1479280 CPUtime=0
/proc/11588/task/11590/stat : 11590 (java) S 11556 11588 11588 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 54797561 1514782720 23689 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 4 0 16800975 18446604437843879168 0 0 -1 1 0 0 0
[pid=11588/tid=11591] ppid=11556 vsize=1479280 CPUtime=0
/proc/11588/task/11591/stat : 11591 (java) S 11556 11588 11588 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 54797561 1514782720 23689 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 4 0 16800975 18446604437843879168 0 0 -1 1 0 0 0
[pid=11588/tid=11592] ppid=11556 vsize=1479280 CPUtime=0
/proc/11588/task/11592/stat : 11592 (java) S 11556 11588 11588 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 13 0 54797565 1514782720 23689 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 0 0 16800975 18446604437843879168 0 0 -1 1 0 0 0
[pid=11588/tid=11593] ppid=11556 vsize=1479280 CPUtime=0
/proc/11588/task/11593/stat : 11593 (java) S 11556 11588 11588 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 13 0 54797566 1514782720 23689 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 4 0 16800975 18446604437843879168 0 0 -1 0 0 0 0
[pid=11588/tid=11594] ppid=11556 vsize=1479280 CPUtime=0
/proc/11588/task/11594/stat : 11594 (java) S 11556 11588 11588 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 13 0 54797566 1514782720 23689 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 4 0 16800975 18446604437843879168 0 0 -1 0 0 0 0
[pid=11588/tid=11595] ppid=11556 vsize=1479280 CPUtime=0
/proc/11588/task/11595/stat : 11595 (java) S 11556 11588 11588 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 54797571 1514782720 23689 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 4 0 16800975 18446604437843879168 0 0 -1 0 0 0 0
[pid=11588/tid=11596] ppid=11556 vsize=1479280 CPUtime=0.56
/proc/11588/task/11596/stat : 11596 (java) S 11556 11588 11588 0 -1 4202560 1487 0 0 0 56 0 0 0 15 0 13 0 54797571 1514782720 23689 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 4 0 16800975 18446604437843879168 0 0 -1 1 0 0 0
[pid=11588/tid=11597] ppid=11556 vsize=1479280 CPUtime=0.55
/proc/11588/task/11597/stat : 11597 (java) S 11556 11588 11588 0 -1 4202560 690 0 0 0 55 0 0 0 15 0 13 0 54797571 1514782720 23689 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 4 0 16800975 18446604437843879168 0 0 -1 1 0 0 0
[pid=11588/tid=11598] ppid=11556 vsize=1479280 CPUtime=0
/proc/11588/task/11598/stat : 11598 (java) S 11556 11588 11588 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 54797571 1514782720 23689 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 4 0 16800975 18446604437843879168 0 0 -1 0 0 0 0
[pid=11588/tid=11599] ppid=11556 vsize=1479280 CPUtime=0
/proc/11588/task/11599/stat : 11599 (java) S 11556 11588 11588 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 13 0 54797571 1514782720 23689 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 4 0 16800975 18446604437843879168 0 0 -1 1 0 0 0
[pid=11588/tid=11600] ppid=11556 vsize=1479280 CPUtime=0
/proc/11588/task/11600/stat : 11600 (java) S 11556 11588 11588 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 54797623 1514782720 23689 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 4 0 16800975 18446604437843879168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 426.14
Current children cumulated vsize (KiB) 1613388

[startup+462.302 s]
/proc/loadavg: 1.05 0.98 0.85 2/119 11604
/proc/meminfo: memFree=1249596/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=134108 CPUtime=391.01
/proc/11556/stat : 11556 (python) S 11554 11556 11385 0 -1 4202496 18239 74389 0 0 2517 352 36134 98 15 0 1 0 54761116 137326592 6336 1992294400 4194304 4196484 140735498407664 18446744073709551615 272448138767 0 0 16781312 2 159836005329808282 0 0 17 1 0 0 0
/proc/11556/statm: 33527 6336 1143 1 0 5164 0
[pid=11588] ppid=11556 vsize=1479280 CPUtime=98.3
/proc/11588/stat : 11588 (java) S 11556 11588 11588 0 -1 4202496 71058 0 3 0 9792 38 0 0 18 0 13 0 54797555 1514782720 60177 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11588/statm: 369820 60177 1430 10 0 367122 0
[pid=11588/tid=11589] ppid=11556 vsize=1479280 CPUtime=96.82
/proc/11588/task/11589/stat : 11589 (java) R 11556 11588 11588 0 -1 4202560 30933 0 3 0 9664 18 0 0 25 0 13 0 54797558 1514782720 60177 1992294400 134512640 134550932 4292025104 18446744073709551615 4109006519 0 4 0 16800975 0 0 0 -1 0 0 0 5
[pid=11588/tid=11590] ppid=11556 vsize=1479280 CPUtime=0.15
/proc/11588/task/11590/stat : 11590 (java) S 11556 11588 11588 0 -1 4202560 18128 0 0 0 7 8 0 0 18 0 13 0 54797561 1514782720 60177 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 4 0 16800975 18446604437843879168 0 0 -1 1 0 0 0
[pid=11588/tid=11591] ppid=11556 vsize=1479280 CPUtime=0.15
/proc/11588/task/11591/stat : 11591 (java) S 11556 11588 11588 0 -1 4202560 18444 0 0 0 6 9 0 0 18 0 13 0 54797561 1514782720 60177 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 4 0 16800975 18446604437843879168 0 0 -1 0 0 0 0
[pid=11588/tid=11592] ppid=11556 vsize=1479280 CPUtime=0
/proc/11588/task/11592/stat : 11592 (java) S 11556 11588 11588 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 13 0 54797565 1514782720 60177 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 0 0 16800975 18446604437843879168 0 0 -1 1 0 0 0
[pid=11588/tid=11593] ppid=11556 vsize=1479280 CPUtime=0
/proc/11588/task/11593/stat : 11593 (java) S 11556 11588 11588 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 13 0 54797566 1514782720 60177 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 4 0 16800975 18446604437843879168 0 0 -1 0 0 0 0
[pid=11588/tid=11594] ppid=11556 vsize=1479280 CPUtime=0
/proc/11588/task/11594/stat : 11594 (java) S 11556 11588 11588 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 54797566 1514782720 60177 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 4 0 16800975 18446604437843879168 0 0 -1 0 0 0 0
[pid=11588/tid=11595] ppid=11556 vsize=1479280 CPUtime=0
/proc/11588/task/11595/stat : 11595 (java) S 11556 11588 11588 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 54797571 1514782720 60177 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 4 0 16800975 18446604437843879168 0 0 -1 0 0 0 0
[pid=11588/tid=11596] ppid=11556 vsize=1479280 CPUtime=0.57
/proc/11588/task/11596/stat : 11596 (java) S 11556 11588 11588 0 -1 4202560 1488 0 0 0 57 0 0 0 15 0 13 0 54797571 1514782720 60177 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 4 0 16800975 18446604437843879168 0 0 -1 1 0 0 0
[pid=11588/tid=11597] ppid=11556 vsize=1479280 CPUtime=0.55
/proc/11588/task/11597/stat : 11597 (java) S 11556 11588 11588 0 -1 4202560 690 0 0 0 55 0 0 0 15 0 13 0 54797571 1514782720 60177 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 4 0 16800975 18446604437843879168 0 0 -1 1 0 0 0
[pid=11588/tid=11598] ppid=11556 vsize=1479280 CPUtime=0
/proc/11588/task/11598/stat : 11598 (java) S 11556 11588 11588 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 54797571 1514782720 60177 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 4 0 16800975 18446604437843879168 0 0 -1 0 0 0 0
[pid=11588/tid=11599] ppid=11556 vsize=1479280 CPUtime=0
/proc/11588/task/11599/stat : 11599 (java) S 11556 11588 11588 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 13 0 54797571 1514782720 60177 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 4 0 16800975 18446604437843879168 0 0 -1 1 0 0 0
[pid=11588/tid=11600] ppid=11556 vsize=1479280 CPUtime=0
/proc/11588/task/11600/stat : 11600 (java) S 11556 11588 11588 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 54797623 1514782720 60177 1992294400 134512640 134550932 4292025104 18446744073709551615 4294960144 0 4 0 16800975 18446604437843879168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 489.31
Current children cumulated vsize (KiB) 1613388

[startup+522.302 s]
/proc/loadavg: 1.02 0.98 0.85 3/107 11609
/proc/meminfo: memFree=1415480/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=134108 CPUtime=495.59
/proc/11556/stat : 11556 (python) S 11554 11556 11385 0 -1 4202496 19556 146365 0 3 2845 393 46180 141 15 0 1 0 54761116 137326592 6338 1992294400 4194304 4196484 140735498407664 18446744073709551615 272448138767 0 0 16781312 2 159688670771686298 0 0 17 0 0 0 0
/proc/11556/statm: 33527 6338 1143 1 0 5164 0
[pid=11607] ppid=11556 vsize=73204 CPUtime=57.26
/proc/11607/stat : 11607 (wbo1.4b) R 11556 11607 11607 0 -1 4202496 18248 0 0 0 5703 23 0 0 25 0 1 0 54807608 74960896 17825 1992294400 134512640 135751879 4288255552 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11607/statm: 18301 17825 144 303 0 17996 0
Current children cumulated CPU time (s) 552.85
Current children cumulated vsize (KiB) 207312

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

[startup+537.501 s]
/proc/loadavg: 1.01 0.98 0.86 3/107 11609
/proc/meminfo: memFree=1406428/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=134108 CPUtime=496.46
/proc/11556/stat : 11556 (python) S 11554 11556 11385 0 -1 4202496 19562 146365 0 3 2921 404 46180 141 15 0 1 0 54761116 137326592 6338 1992294400 4194304 4196484 140735498407664 18446744073709551615 272448138767 0 0 16781312 2 159688670771686298 0 0 17 0 0 0 0
/proc/11556/statm: 33527 6338 1143 1 0 5164 0
[pid=11607] ppid=11556 vsize=81832 CPUtime=72.37
/proc/11607/stat : 11607 (wbo1.4b) R 11556 11607 11607 0 -1 4202496 20410 0 0 0 7210 27 0 0 25 0 1 0 54807608 83795968 19987 1992294400 134512640 135751879 4288255552 18446744073709551615 134616495 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11607/statm: 20458 19987 144 303 0 20153 0
Current children cumulated CPU time (s) 568.83
Current children cumulated vsize (KiB) 215940

[startup+550.302 s]
/proc/loadavg: 1.01 0.98 0.86 2/107 11609
/proc/meminfo: memFree=1397872/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=134108 CPUtime=497.18
/proc/11556/stat : 11556 (python) S 11554 11556 11385 0 -1 4202496 19567 146365 0 3 2985 412 46180 141 16 0 1 0 54761116 137326592 6338 1992294400 4194304 4196484 140735498407664 18446744073709551615 272448138767 0 0 16781312 2 159688670771686298 0 0 17 0 0 0 0
/proc/11556/statm: 33527 6338 1143 1 0 5164 0
[pid=11607] ppid=11556 vsize=90068 CPUtime=85.1
/proc/11607/stat : 11607 (wbo1.4b) R 11556 11607 11607 0 -1 4202496 22464 0 0 0 8479 31 0 0 25 0 1 0 54807608 92229632 22041 1992294400 134512640 135751879 4288255552 18446744073709551615 134616326 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11607/statm: 22517 22041 144 303 0 22212 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 224176

[startup+556.702 s]
/proc/loadavg: 1.01 0.98 0.86 2/107 11609
/proc/meminfo: memFree=1385348/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=134108 CPUtime=497.54
/proc/11556/stat : 11556 (python) S 11554 11556 11385 0 -1 4202496 19570 146365 0 3 3018 415 46180 141 15 0 1 0 54761116 137326592 6338 1992294400 4194304 4196484 140735498407664 18446744073709551615 272448138767 0 0 16781312 2 159688670771686298 0 0 17 0 0 0 0
/proc/11556/statm: 33527 6338 1143 1 0 5164 0
[pid=11607] ppid=11556 vsize=102488 CPUtime=91.46
/proc/11607/stat : 11607 (wbo1.4b) R 11556 11607 11607 0 -1 4202496 25585 0 0 0 9113 33 0 0 25 0 1 0 54807608 104947712 25162 1992294400 134512640 135751879 4288255552 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11607/statm: 25622 25162 144 303 0 25317 0
Current children cumulated CPU time (s) 589
Current children cumulated vsize (KiB) 236596

[startup+563.101 s]
/proc/loadavg: 1.01 0.98 0.86 2/107 11609
/proc/meminfo: memFree=1378528/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=134108 CPUtime=497.91
/proc/11556/stat : 11556 (python) S 11554 11556 11385 0 -1 4202496 19573 146365 0 3 3050 420 46180 141 15 0 1 0 54761116 137326592 6338 1992294400 4194304 4196484 140735498407664 18446744073709551615 272448138767 0 0 16781312 2 159688670771686298 0 0 17 0 0 0 0
/proc/11556/statm: 33527 6338 1143 1 0 5164 0
[pid=11607] ppid=11556 vsize=108972 CPUtime=97.83
/proc/11607/stat : 11607 (wbo1.4b) R 11556 11607 11607 0 -1 4202496 27205 0 0 0 9748 35 0 0 25 0 1 0 54807608 111587328 26782 1992294400 134512640 135751879 4288255552 18446744073709551615 134616486 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11607/statm: 27243 26782 144 303 0 26938 0
Current children cumulated CPU time (s) 595.74
Current children cumulated vsize (KiB) 243080

[startup+566.302 s]
/proc/loadavg: 1.01 0.98 0.86 2/107 11609
/proc/meminfo: memFree=1376544/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=134108 CPUtime=598.81
/proc/11556/stat : 11556 (python) S 11554 11556 11385 0 -1 4202496 20751 175098 0 3 3081 424 56196 180 16 0 1 0 54761116 137326592 6340 1992294400 4194304 4196484 140735498407664 18446744073709551615 272448138767 0 0 16781312 2 9028793014570418432 0 0 17 0 0 0 0
/proc/11556/statm: 33527 6340 1143 1 0 5164 0
Current children cumulated CPU time (s) 598.81
Current children cumulated vsize (KiB) 134108

[startup+567.102 s]
/proc/loadavg: 1.01 0.98 0.86 2/107 11612
/proc/meminfo: memFree=1480580/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=134108 CPUtime=598.87
/proc/11556/stat : 11556 (python) S 11554 11556 11385 0 -1 4202496 20757 175098 0 3 3087 424 56196 180 15 0 1 0 54761116 137326592 6340 1992294400 4194304 4196484 140735498407664 18446744073709551615 272448138767 0 0 16781312 2 159688670771686298 0 0 17 0 0 0 0
/proc/11556/statm: 33527 6340 1143 1 0 5164 0
[pid=11612] ppid=11556 vsize=19468 CPUtime=1.22
/proc/11612/stat : 11612 (bsolo_pb10) R 11556 11612 11612 0 -1 4202496 2757 0 0 0 120 2 0 0 21 0 1 0 54817703 19935232 2415 1992294400 134512640 137138936 4292041424 18446744073709551615 134606982 0 0 16781312 16384 0 0 0 17 1 0 0 0
/proc/11612/statm: 4867 2415 192 642 0 4223 0
Current children cumulated CPU time (s) 600.09
Current children cumulated vsize (KiB) 153576

[startup+567.502 s]
/proc/loadavg: 1.01 0.98 0.86 2/107 11612
/proc/meminfo: memFree=1475744/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=134108 CPUtime=598.91
/proc/11556/stat : 11556 (python) S 11554 11556 11385 0 -1 4202496 20759 175098 0 3 3090 425 56196 180 15 0 1 0 54761116 137326592 6340 1992294400 4194304 4196484 140735498407664 18446744073709551615 272448138767 0 0 16781312 2 159688670771686298 0 0 17 0 0 0 0
/proc/11556/statm: 33527 6340 1143 1 0 5164 0
[pid=11612] ppid=11556 vsize=20052 CPUtime=1.62
/proc/11612/stat : 11612 (bsolo_pb10) R 11556 11612 11612 0 -1 4202496 2912 0 0 0 160 2 0 0 22 0 1 0 54817703 20533248 2570 1992294400 134512640 137138936 4292041424 18446744073709551615 136504029 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/11612/statm: 5013 2570 192 642 0 4369 0
Current children cumulated CPU time (s) 600.53
Current children cumulated vsize (KiB) 154160

[startup+567.702 s]
/proc/loadavg: 1.01 0.98 0.86 2/107 11612
/proc/meminfo: memFree=1475744/2059040 swapFree=4139948/4192956
[pid=11556] ppid=11554 vsize=134108 CPUtime=600.72
/proc/11556/stat : 11556 (python) R 11554 11556 11385 0 -1 4202496 20793 178085 0 3 3100 426 56363 183 16 0 1 0 54761116 137326592 6340 1992294400 4194304 4196484 140735498407664 18446744073709551615 272447938965 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11556/statm: 33527 6340 1143 1 0 5164 0
Current children cumulated CPU time (s) 600.72
Current children cumulated vsize (KiB) 134108

Child status: 20
Real time (s): 567.789
CPU time (s): 600.836
CPU user time (s): 594.706
CPU system time (s): 6.13007
CPU usage (%): 105.82
Max. virtual memory (cumulated for all children) (KiB): 1613392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 594.706
system time used= 6.13007
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204649
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7264
involuntary context switches= 8513

runsolver used 1.10583 second user time and 2.65759 second system time

The end

Launcher Data 

Begin job on node087 at 2010-06-21 17:37:55
IDJOB=2676210
IDBENCH=1410
IDSOLVER=1178
FILE ID=node087/2676210-1277134675
PBS_JOBID= 11182065
Free space on /tmp= 62528 MiB

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

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

MD5SUM BENCH= b95bbeb851a52866877e397310a0a770
RANDOM SEED=1245467142

node087.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1507532 kB
Buffers:        125960 kB
Cached:         323228 kB
SwapCached:       5404 kB
Active:         218288 kB
Inactive:       243820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1507532 kB
SwapTotal:     4192956 kB
SwapFree:      4139948 kB
Dirty:           21544 kB
Writeback:           0 kB
AnonPages:       11560 kB
Mapped:          12940 kB
Slab:            67700 kB
PageTables:       3988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183264 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62508 MiB
End job on node087 at 2010-06-21 17:47:24