Trace number 3482422

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-dec-11.04.03SAT 1512.64 1503.56

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_4_15.opb
MD5SUMc41d0ae6b2deb2ba6caac7b74c416b6f
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark93.7237
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
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 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6140
Sum of products size (including duplicates)12280
Number of different products3070
Sum of products size6140

Solver Data 

0.29/0.49	c INFO: loaded portfolio from HOME/etc/borg-mix+class.dec.pickle
0.29/0.49	c INFO: solving HOME/instance-3482422-1307577966.opb
0.38/0.53	c INFO: wrote linearized instance to HOME/tmpfNkO5n.opb
0.38/0.58	c INFO: parsing took 0.04 s
0.59/1.09	c INFO: features took 0.09 CPU seconds
0.59/1.09	c INFO: running clasp-1.3.7@0 for 45 with 1799 remaining (b = 0.51)
48.99/48.91	c INFO: running scip-2.0.1-spx@0 for 45 with 1751 remaining (b = 0.13)
98.47/98.25	c INFO: running scip-2.0.1-clp@0 for 45 with 1703 remaining (b = 0.03)
148.61/148.18	c INFO: running clasp-1.3.7@48 for 45 with 1653 remaining (b = 0.01)
195.51/194.80	c INFO: wrote minion input file to HOME/tmpkA0O3W.minion
195.51/194.80	c INFO: running minion-0.12@0 for 45 with 1607 remaining (b = 0.02)
243.97/243.18	c INFO: running scip-2.0.1-clp@49 for 45 with 1558 remaining (b = 0.01)
289.91/288.89	c INFO: running pbct-0.1.2-linear@0 for 45 with 1513 remaining (b = 0.01)
338.40/337.17	c INFO: running clasp-1.3.7@94 for 136 with 1466 remaining (b = 0.02)
473.58/471.78	c INFO: running scip-2.0.1-spx@48 for 45 with 1331 remaining (b = 0.01)
521.97/519.81	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1284 remaining (b = 0.03)
572.71/568.46	c INFO: running scip-2.0.1-spx@95 for 410 with 1234 remaining (b = 0.06)
996.62/990.29	c INFO: running bsolo_pb10-l3@0 for 45 with 825 remaining (b = 0.01)
1045.78/1039.30	c INFO: running bsolo_pb10-l1@0 for 91 with 777 remaining (b = 0.01)
1140.49/1133.51	c INFO: running scip-2.0.1-spx@503 for 547 with 683 remaining (b = 0.05)
1512.49/1503.54	s SATISFIABLE
1512.49/1503.54	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 x163 x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 x197 x198 -x199 -x200

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3482422-1307577966/watcher-3482422-1307577966 -o /tmp/evaluation-result-3482422-1307577966/solver-3482422-1307577966 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482422-1307577966.opb -seed 89700951 -budget 1800 

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.13 2.06 1.72 3/564 32672
/proc/meminfo: memFree=22374924/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=16248 CPUtime=0.01 cores=1,3,5,7
/proc/32672/stat : 32672 (python) R 32670 32672 31489 0 -1 4202496 1052 0 0 0 1 0 0 0 17 0 1 0 948027319 16637952 923 33554432000 4194304 5683644 140736972446000 18446744073709551615 4960281 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32672/statm: 4062 923 381 364 0 549 0

[startup+0.0229579 s]
/proc/loadavg: 2.13 2.06 1.72 3/564 32672
/proc/meminfo: memFree=22374924/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=16400 CPUtime=0.01 cores=1,3,5,7
/proc/32672/stat : 32672 (python) R 32670 32672 31489 0 -1 4202496 1118 0 0 0 1 0 0 0 17 0 1 0 948027319 16793600 985 33554432000 4194304 5683644 140736972446000 18446744073709551615 251367544832 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/32672/statm: 4100 985 409 364 0 587 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16400

[startup+0.100946 s]
/proc/loadavg: 2.13 2.06 1.72 3/564 32672
/proc/meminfo: memFree=22374924/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=96128 CPUtime=0.06 cores=1,3,5,7
/proc/32672/stat : 32672 (python) R 32670 32672 31489 0 -1 4202496 3170 928 1 0 5 1 0 0 18 0 1 0 948027319 98435072 2483 33554432000 4194304 5683644 140736972446000 18446744073709551615 5177571 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/32672/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128

[startup+0.300912 s]
/proc/loadavg: 2.13 2.06 1.72 3/564 32672
/proc/meminfo: memFree=22374924/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=184248 CPUtime=0.22 cores=1,3,5,7
/proc/32672/stat : 32672 (python) R 32670 32672 31489 0 -1 4202496 6329 928 1 0 17 5 0 0 17 0 1 0 948027319 188669952 4633 33554432000 4194304 5683644 140736972446000 18446744073709551615 251367544832 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/32672/statm: 46062 4633 1251 364 0 3568 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184248

[startup+0.700834 s]
/proc/loadavg: 2.13 2.06 1.72 3/564 32672
/proc/meminfo: memFree=22374924/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=295152 CPUtime=0.59 cores=1,3,5,7
/proc/32672/stat : 32672 (python) S 32670 32672 31489 0 -1 4202496 11142 1347 1 0 46 10 3 0 19 0 2 0 948027319 302235648 7609 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32672/statm: 73788 7609 1863 364 0 8675 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 295152

[startup+1.61274 s]
/proc/loadavg: 2.13 2.06 1.72 3/564 32672
/proc/meminfo: memFree=22374924/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=295152 CPUtime=0.59 cores=1,3,5,7
/proc/32672/stat : 32672 (python) S 32670 32672 31489 0 -1 4202496 11142 1347 1 0 46 10 3 0 19 0 2 0 948027319 302235648 7609 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32672/statm: 73788 7609 1863 364 0 8675 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 295152

[startup+3.10046 s]
/proc/loadavg: 2.13 2.06 1.72 3/568 32681
/proc/meminfo: memFree=22345132/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=295152 CPUtime=0.59 cores=1,3,5,7
/proc/32672/stat : 32672 (python) S 32670 32672 31489 0 -1 4202496 11142 1347 1 0 46 10 3 0 19 0 2 0 948027319 302235648 7609 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32672/statm: 73788 7609 1863 364 0 8675 0
[pid=32679] ppid=32672 vsize=284908 CPUtime=0 cores=1,3,5,7
/proc/32679/stat : 32679 (python) S 32672 32672 31489 0 -1 4202560 695 0 0 0 0 0 0 0 18 0 1 0 948027388 291745792 6061 33554432000 4194304 5683644 140736972446000 18446744073709551615 251367566863 0 0 16781312 33554946 6959012746658545924 0 0 17 7 0 0 0
/proc/32679/statm: 71227 6061 319 364 0 6114 0
[pid=32681] ppid=32679 vsize=4620 CPUtime=2.4 cores=1,3,5,7
/proc/32681/stat : 32681 (clasp-1.3.7-x86) R 32679 32681 32681 0 -1 4202496 1174 0 0 0 240 0 0 0 25 0 1 0 948027389 4730880 892 33554432000 134512640 136139019 4292123792 18446744073709551615 134877008 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/32681/statm: 1155 892 183 398 0 755 0
[pid=32672/tid=32680] ppid=32670 vsize=295152 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32680/stat : 32680 (python) S 32670 32672 31489 0 -1 4202560 25 1347 0 0 0 0 3 0 19 0 2 0 948027389 302235648 7609 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 584680

[startup+6.31887 s]
/proc/loadavg: 2.12 2.06 1.73 3/568 32681
/proc/meminfo: memFree=22344336/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=295152 CPUtime=0.59 cores=1,3,5,7
/proc/32672/stat : 32672 (python) S 32670 32672 31489 0 -1 4202496 11142 1347 1 0 46 10 3 0 19 0 2 0 948027319 302235648 7609 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32672/statm: 73788 7609 1863 364 0 8675 0
[pid=32679] ppid=32672 vsize=284908 CPUtime=0.01 cores=1,3,5,7
/proc/32679/stat : 32679 (python) S 32672 32672 31489 0 -1 4202560 855 0 0 0 1 0 0 0 18 0 1 0 948027388 291745792 6085 33554432000 4194304 5683644 140736972446000 18446744073709551615 251367566863 0 0 16781312 33554946 6959012746658545924 0 0 17 1 0 0 0
/proc/32679/statm: 71227 6085 343 364 0 6114 0
[pid=32681] ppid=32679 vsize=5016 CPUtime=5.61 cores=1,3,5,7
/proc/32681/stat : 32681 (clasp-1.3.7-x86) R 32679 32681 32681 0 -1 4202496 1291 0 0 0 561 0 0 0 25 0 1 0 948027389 5136384 1009 33554432000 134512640 136139019 4292123792 18446744073709551615 134640592 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/32681/statm: 1254 1009 183 398 0 854 0
[pid=32672/tid=32680] ppid=32670 vsize=295152 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32680/stat : 32680 (python) S 32670 32672 31489 0 -1 4202560 25 1347 0 0 0 0 3 0 19 0 2 0 948027389 302235648 7609 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 585076

[startup+12.7007 s]
/proc/loadavg: 2.11 2.06 1.73 3/568 32681
/proc/meminfo: memFree=22343020/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=295152 CPUtime=0.59 cores=1,3,5,7
/proc/32672/stat : 32672 (python) S 32670 32672 31489 0 -1 4202496 11142 1347 1 0 46 10 3 0 19 0 2 0 948027319 302235648 7609 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32672/statm: 73788 7609 1863 364 0 8675 0
[pid=32679] ppid=32672 vsize=284908 CPUtime=0.04 cores=1,3,5,7
/proc/32679/stat : 32679 (python) S 32672 32672 31489 0 -1 4202560 860 0 0 0 2 2 0 0 18 0 1 0 948027388 291745792 6085 33554432000 4194304 5683644 140736972446000 18446744073709551615 251367566863 0 0 16781312 33554946 5623311482772007628 0 0 17 1 0 0 0
/proc/32679/statm: 71227 6085 343 364 0 6114 0
[pid=32681] ppid=32679 vsize=5940 CPUtime=12 cores=1,3,5,7
/proc/32681/stat : 32681 (clasp-1.3.7-x86) R 32679 32681 32681 0 -1 4202496 1526 0 0 0 1200 0 0 0 25 0 1 0 948027389 6082560 1244 33554432000 134512640 136139019 4292123792 18446744073709551615 134876516 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/32681/statm: 1485 1244 183 398 0 1085 0
[pid=32672/tid=32680] ppid=32670 vsize=295152 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32680/stat : 32680 (python) S 32670 32672 31489 0 -1 4202560 25 1347 0 0 0 0 3 0 19 0 2 0 948027389 302235648 7609 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 586000

[startup+25.5003 s]
/proc/loadavg: 2.08 2.06 1.73 3/568 32681
/proc/meminfo: memFree=22343056/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=295152 CPUtime=0.59 cores=1,3,5,7
/proc/32672/stat : 32672 (python) S 32670 32672 31489 0 -1 4202496 11142 1347 1 0 46 10 3 0 19 0 2 0 948027319 302235648 7609 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32672/statm: 73788 7609 1863 364 0 8675 0
[pid=32679] ppid=32672 vsize=284908 CPUtime=0.09 cores=1,3,5,7
/proc/32679/stat : 32679 (python) S 32672 32672 31489 0 -1 4202560 869 0 0 0 4 5 0 0 18 0 1 0 948027388 291745792 6085 33554432000 4194304 5683644 140736972446000 18446744073709551615 251367566863 0 0 16781312 33554946 5623311482772007628 0 0 17 1 0 0 0
/proc/32679/statm: 71227 6085 343 364 0 6114 0
[pid=32681] ppid=32679 vsize=6864 CPUtime=24.8 cores=1,3,5,7
/proc/32681/stat : 32681 (clasp-1.3.7-x86) R 32679 32681 32681 0 -1 4202496 1744 0 0 0 2480 0 0 0 25 0 1 0 948027389 7028736 1462 33554432000 134512640 136139019 4292123792 18446744073709551615 134876993 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/32681/statm: 1716 1462 183 398 0 1316 0
[pid=32672/tid=32680] ppid=32670 vsize=295152 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32680/stat : 32680 (python) S 32670 32672 31489 0 -1 4202560 25 1347 0 0 0 0 3 0 19 0 2 0 948027389 302235648 7609 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 586924

[startup+51.1005 s]
/proc/loadavg: 2.11 2.07 1.74 3/572 32686
/proc/meminfo: memFree=22301052/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=305912 CPUtime=0.61 cores=1,3,5,7
/proc/32672/stat : 32672 (python) S 32670 32672 31489 0 -1 4202496 12096 1347 1 0 48 10 3 0 19 0 3 0 948027319 313253888 7750 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/32672/statm: 76478 7750 1874 364 0 11362 0
[pid=32679] ppid=32672 vsize=295152 CPUtime=0.2 cores=1,3,5,7
/proc/32679/stat : 32679 (python) S 32672 32672 31489 0 -1 4202560 1153 0 0 0 10 10 0 0 19 0 2 0 948027388 302235648 6158 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/32679/statm: 73788 6158 411 364 0 8675 0
[pid=32681] ppid=32679 vsize=7640 CPUtime=48.19 cores=1,3,5,7
/proc/32681/stat : 32681 (clasp-1.3.7-x86) T 32679 32681 32681 0 -1 4202496 1925 0 0 0 4819 0 0 0 25 0 1 0 948027389 7823360 1643 33554432000 134512640 136139019 4292123792 18446744073709551615 134875018 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/32681/statm: 1910 1643 183 398 0 1510 0
[pid=32679/tid=32683] ppid=32672 vsize=295152 CPUtime=0 cores=1,3,5,7
/proc/32679/task/32683/stat : 32683 (python) S 32672 32672 31489 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 948032208 302235648 6158 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604455363073152 0 0 -1 3 0 0 0
[pid=32684] ppid=32672 vsize=295668 CPUtime=0 cores=1,3,5,7
/proc/32684/stat : 32684 (python) S 32672 32672 31489 0 -1 4202560 764 0 0 0 0 0 0 0 15 0 1 0 948032211 302764032 6192 33554432000 4194304 5683644 140736972446000 18446744073709551615 251367566918 0 0 16781312 33554946 1092786877221568512 0 0 17 1 0 0 0
/proc/32684/statm: 73917 6192 320 364 0 8801 0
[pid=32686] ppid=32684 vsize=48944 CPUtime=2.17 cores=1,3,5,7
/proc/32686/stat : 32686 (scip-2.0.1.linu) R 32684 32686 32686 0 -1 4202496 10802 0 0 0 199 18 0 0 20 0 1 0 948032211 50118656 9996 33554432000 4194304 13684479 140736697614864 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32686/statm: 12236 9996 766 2317 0 9914 0
[pid=32672/tid=32680] ppid=32670 vsize=305912 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32680/stat : 32680 (python) S 32670 32672 31489 0 -1 4202560 25 1347 0 0 0 0 3 0 19 0 3 0 948027389 313253888 7750 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
[pid=32672/tid=32685] ppid=32670 vsize=305912 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32685/stat : 32685 (python) S 32670 32672 31489 0 -1 4202560 27 1347 0 0 0 0 3 0 20 0 3 0 948032211 313253888 7750 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 953316

[startup+102.301 s]
/proc/loadavg: 2.15 2.08 1.76 3/576 32691
/proc/meminfo: memFree=22190312/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=316168 CPUtime=0.64 cores=1,3,5,7
/proc/32672/stat : 32672 (python) S 32670 32672 31489 0 -1 4202496 13045 1347 1 0 51 10 3 0 20 0 4 0 948027319 323756032 7756 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32672/statm: 79042 7756 1876 364 0 13923 0
[pid=32679] ppid=32672 vsize=295152 CPUtime=0.2 cores=1,3,5,7
/proc/32679/stat : 32679 (python) S 32672 32672 31489 0 -1 4202560 1153 0 0 0 10 10 0 0 19 0 2 0 948027388 302235648 6158 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/32679/statm: 73788 6158 411 364 0 8675 0
[pid=32681] ppid=32679 vsize=7640 CPUtime=48.19 cores=1,3,5,7
/proc/32681/stat : 32681 (clasp-1.3.7-x86) T 32679 32681 32681 0 -1 4202496 1925 0 0 0 4819 0 0 0 25 0 1 0 948027389 7823360 1643 33554432000 134512640 136139019 4292123792 18446744073709551615 134875018 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/32681/statm: 1910 1643 183 398 0 1510 0
[pid=32679/tid=32683] ppid=32672 vsize=295152 CPUtime=0 cores=1,3,5,7
/proc/32679/task/32683/stat : 32683 (python) S 32672 32672 31489 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 2 0 948032208 302235648 6158 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604455363073152 0 0 -1 3 0 0 0
[pid=32684] ppid=32672 vsize=361204 CPUtime=0.22 cores=1,3,5,7
/proc/32684/stat : 32684 (python) S 32672 32672 31489 0 -1 4202560 1128 0 0 0 9 13 0 0 17 0 2 0 948032211 369872896 6265 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32684/statm: 90301 6265 391 364 0 25185 0
[pid=32686] ppid=32684 vsize=86772 CPUtime=49.3 cores=1,3,5,7
/proc/32686/stat : 32686 (scip-2.0.1.linu) T 32684 32686 32686 0 -1 4202496 24701 0 0 0 4815 115 0 0 19 0 1 0 948032211 88854528 19365 33554432000 4194304 13684479 140736697614864 18446744073709551615 4752953 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/32686/statm: 21693 19365 844 2317 0 19371 0
[pid=32684/tid=32688] ppid=32672 vsize=361204 CPUtime=0 cores=1,3,5,7
/proc/32684/task/32688/stat : 32688 (python) S 32672 32672 31489 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 948037142 369872896 6265 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604458784791488 0 0 -1 3 0 0 0
[pid=32689] ppid=32672 vsize=305924 CPUtime=0.02 cores=1,3,5,7
/proc/32689/stat : 32689 (python) S 32672 32672 31489 0 -1 4202560 913 0 0 0 1 1 0 0 15 0 1 0 948037145 313266176 6220 33554432000 4194304 5683644 140736972446000 18446744073709551615 251367566918 0 0 16781312 33554946 15567438375458668806 0 0 17 7 0 0 0
/proc/32689/statm: 76481 6220 344 364 0 11362 0
[pid=32691] ppid=32689 vsize=77848 CPUtime=4.03 cores=1,3,5,7
/proc/32691/stat : 32691 (scip-2.0.1.linu) R 32689 32691 32691 0 -1 4202496 24077 0 0 0 382 21 0 0 25 0 1 0 948037145 79716352 16434 33554432000 4194304 15243407 140737117961344 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32691/statm: 19462 16434 944 2698 0 16757 0
[pid=32672/tid=32680] ppid=32670 vsize=316168 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32680/stat : 32680 (python) S 32670 32672 31489 0 -1 4202560 25 1347 0 0 0 0 3 0 19 0 4 0 948027389 323756032 7756 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
[pid=32672/tid=32685] ppid=32670 vsize=316168 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32685/stat : 32685 (python) S 32670 32672 31489 0 -1 4202560 27 1347 0 0 0 0 3 0 20 0 4 0 948032211 323756032 7756 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 1 0 0 0

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

/proc/392/statm: 86737 6284 391 364 0 21606 0
[pid=394] ppid=392 vsize=87940 CPUtime=48.92 cores=1,3,5,7
/proc/394/stat : 394 (bsolo_pb10) T 392 394 394 0 -1 4202496 19961 0 0 0 4882 10 0 0 25 0 1 0 948126348 90050560 19559 33554432000 134512640 137138936 4287913904 18446744073709551615 134542764 0 0 16781312 16384 18446744071562691360 0 0 17 7 0 0 0
/proc/394/statm: 21985 19559 192 642 0 21341 0
[pid=392/tid=396] ppid=32672 vsize=346948 CPUtime=0 cores=1,3,5,7
/proc/392/task/396/stat : 396 (python) S 32672 32672 31489 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 948131247 355274752 6284 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604468805647232 0 0 -1 3 0 0 0
[pid=397] ppid=32672 vsize=357204 CPUtime=0.41 cores=1,3,5,7
/proc/397/stat : 397 (python) S 32672 32672 31489 0 -1 4202560 1243 0 0 0 17 24 0 0 17 0 2 0 948131249 365776896 6294 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/397/statm: 89301 6294 397 364 0 24167 0
[pid=399] ppid=397 vsize=122836 CPUtime=94.19 cores=1,3,5,7
/proc/399/stat : 399 (bsolo_pb10) T 397 399 399 0 -1 4202496 28665 0 0 0 9402 17 0 0 25 0 1 0 948131249 125784064 28270 33554432000 134512640 137138936 4289938016 18446744073709551615 134542214 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/399/statm: 30709 28270 190 642 0 30065 0
[pid=397/tid=403] ppid=32672 vsize=357204 CPUtime=0 cores=1,3,5,7
/proc/397/task/403/stat : 403 (python) S 32672 32672 31489 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 948140669 365776896 6294 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604466272518208 0 0 -1 7 0 0 0
[pid=32679] ppid=32672 vsize=295152 CPUtime=1 cores=1,3,5,7
/proc/32679/stat : 32679 (python) S 32672 32672 31489 0 -1 4202560 1216 0 0 0 50 50 0 0 18 0 2 0 948027388 302235648 6159 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32679/statm: 73788 6159 412 364 0 8675 0
[pid=32681] ppid=32679 vsize=9864 CPUtime=228.99 cores=1,3,5,7
/proc/32681/stat : 32681 (clasp-1.3.7-x86) T 32679 32681 32681 0 -1 4202496 2515 0 0 0 22899 0 0 0 25 0 1 0 948027389 10100736 2216 33554432000 134512640 136139019 4292123792 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/32681/statm: 2466 2216 183 398 0 2066 0
[pid=32679/tid=32683] ppid=32672 vsize=295152 CPUtime=0 cores=1,3,5,7
/proc/32679/task/32683/stat : 32683 (python) S 32672 32672 31489 0 -1 4202560 45 0 0 0 0 0 0 0 18 0 2 0 948032208 302235648 6159 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604455363073152 0 0 -1 3 0 0 0
[pid=32684] ppid=32672 vsize=361204 CPUtime=4.48 cores=1,3,5,7
/proc/32684/stat : 32684 (python) S 32672 32672 31489 0 -1 4202560 1303 0 0 0 201 247 0 0 15 0 2 0 948032211 369872896 6273 33554432000 4194304 5683644 140736972446000 18446744073709551615 251367566918 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32684/statm: 90301 6273 392 364 0 25185 0
[pid=32686] ppid=32684 vsize=94092 CPUtime=888.74 cores=1,3,5,7
/proc/32686/stat : 32686 (scip-2.0.1.linu) R 32684 32686 32686 0 -1 4202496 26985 0 0 0 85596 3278 0 0 25 0 1 0 948032211 96350208 21649 33554432000 4194304 13684479 140736697614864 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/32686/statm: 23523 21649 1023 2317 0 21201 0
[pid=32684/tid=32688] ppid=32672 vsize=361204 CPUtime=0 cores=1,3,5,7
/proc/32684/task/32688/stat : 32688 (python) S 32672 32672 31489 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 948037142 369872896 6273 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604458784791488 0 0 -1 3 0 0 0
[pid=32689] ppid=32672 vsize=305924 CPUtime=0.46 cores=1,3,5,7
/proc/32689/stat : 32689 (python) S 32672 32672 31489 0 -1 4202560 1152 0 0 0 21 25 0 0 16 0 2 0 948037145 313266176 6268 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32689/statm: 76481 6268 391 364 0 11362 0
[pid=32691] ppid=32689 vsize=77460 CPUtime=95.56 cores=1,3,5,7
/proc/32691/stat : 32691 (scip-2.0.1.linu) T 32689 32691 32691 0 -1 4202496 28542 0 0 0 9489 67 0 0 25 0 1 0 948037145 79319040 16739 33554432000 4194304 15243407 140737117961344 18446744073709551615 7128780 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/32691/statm: 19365 16739 968 2698 0 16660 0
[pid=32689/tid=32693] ppid=32672 vsize=305924 CPUtime=0 cores=1,3,5,7
/proc/32689/task/32693/stat : 32693 (python) S 32672 32672 31489 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 948042134 313266176 6268 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604464688727040 0 0 -1 7 0 0 0
[pid=32696] ppid=32672 vsize=316180 CPUtime=0.2 cores=1,3,5,7
/proc/32696/stat : 32696 (python) S 32672 32672 31489 0 -1 4202560 1119 0 0 0 10 10 0 0 16 0 2 0 948046799 323768320 6272 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32696/statm: 79045 6272 391 364 0 13923 0
[pid=32698] ppid=32696 vsize=74840 CPUtime=48.34 cores=1,3,5,7
/proc/32698/stat : 32698 (minion) T 32696 32698 32698 0 -1 4202496 12005 0 0 0 4834 0 0 0 25 0 1 0 948046800 76636160 11451 33554432000 134512640 165565024 4291984208 18446744073709551615 158624694 0 0 16781312 8396802 18446744071562691360 0 0 17 5 0 0 0
/proc/32698/statm: 18710 11451 359 7582 0 11125 0
[pid=32696/tid=32700] ppid=32672 vsize=316180 CPUtime=0 cores=1,3,5,7
/proc/32696/task/32700/stat : 32700 (python) S 32672 32672 31489 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 948051635 323768320 6272 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604463873714048 0 0 -1 7 0 0 0
[pid=32702] ppid=32672 vsize=326436 CPUtime=0.21 cores=1,3,5,7
/proc/32702/stat : 32702 (python) S 32672 32672 31489 0 -1 4202560 1161 0 0 0 9 12 0 0 19 0 2 0 948056208 334270464 6276 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32702/statm: 81609 6276 391 364 0 16484 0
[pid=32704] ppid=32702 vsize=114556 CPUtime=48.23 cores=1,3,5,7
/proc/32704/stat : 32704 (pbct-0.1.2-linu) T 32702 32704 32704 0 -1 4202496 29227 0 0 0 4718 105 0 0 25 0 1 0 948056209 117305344 27367 33554432000 134512640 136422188 4289404528 18446744073709551615 135686756 0 0 16781312 16387 18446744071562691360 0 0 17 5 0 0 0
/proc/32704/statm: 28639 27367 214 467 0 28170 0
[pid=32702/tid=32706] ppid=32672 vsize=326436 CPUtime=0 cores=1,3,5,7
/proc/32702/task/32706/stat : 32706 (python) S 32672 32672 31489 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 948061033 334270464 6276 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604464432384768 0 0 -1 7 0 0 0
[pid=32716] ppid=32672 vsize=336692 CPUtime=0.22 cores=1,3,5,7
/proc/32716/stat : 32716 (python) S 32672 32672 31489 0 -1 4202560 1193 0 0 0 10 12 0 0 16 0 2 0 948079300 344772608 6280 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/32716/statm: 84173 6280 391 364 0 19045 0
[pid=32718] ppid=32716 vsize=8546296 CPUtime=50.55 cores=1,3,5,7
/proc/32718/stat : 32718 (java) T 32716 32718 32718 0 -1 4202496 290473 0 1 0 5022 33 0 0 18 0 19 0 948079301 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32718/statm: 2136574 259975 2249 9 0 2127315 0
[pid=32718/tid=32719] ppid=32716 vsize=8546296 CPUtime=48.32 cores=1,3,5,7
/proc/32718/task/32719/stat : 32719 (java) T 32716 32718 32718 0 -1 4202560 247206 0 1 0 4806 26 0 0 25 0 19 0 948079302 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 46912505828259 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32718/tid=32720] ppid=32716 vsize=8546296 CPUtime=0.05 cores=1,3,5,7
/proc/32718/task/32720/stat : 32720 (java) T 32716 32718 32718 0 -1 4202560 4333 0 0 0 5 0 0 0 15 0 19 0 948079302 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32718/tid=32721] ppid=32716 vsize=8546296 CPUtime=0.06 cores=1,3,5,7
/proc/32718/task/32721/stat : 32721 (java) T 32716 32718 32718 0 -1 4202560 4684 0 0 0 6 0 0 0 15 0 19 0 948079302 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32718/tid=32722] ppid=32716 vsize=8546296 CPUtime=0.06 cores=1,3,5,7
/proc/32718/task/32722/stat : 32722 (java) T 32716 32718 32718 0 -1 4202560 3897 0 0 0 6 0 0 0 15 0 19 0 948079302 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32718/tid=32723] ppid=32716 vsize=8546296 CPUtime=0.03 cores=1,3,5,7
/proc/32718/task/32723/stat : 32723 (java) T 32716 32718 32718 0 -1 4202560 3095 0 0 0 3 0 0 0 15 0 19 0 948079302 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32718/tid=32724] ppid=32716 vsize=8546296 CPUtime=0.03 cores=1,3,5,7
/proc/32718/task/32724/stat : 32724 (java) T 32716 32718 32718 0 -1 4202560 1619 0 0 0 3 0 0 0 15 0 19 0 948079302 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32718/tid=32725] ppid=32716 vsize=8546296 CPUtime=0.04 cores=1,3,5,7
/proc/32718/task/32725/stat : 32725 (java) T 32716 32718 32718 0 -1 4202560 3815 0 0 0 4 0 0 0 15 0 19 0 948079302 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32718/tid=32726] ppid=32716 vsize=8546296 CPUtime=0.03 cores=1,3,5,7
/proc/32718/task/32726/stat : 32726 (java) T 32716 32718 32718 0 -1 4202560 1911 0 0 0 3 0 0 0 15 0 19 0 948079302 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32718/tid=32727] ppid=32716 vsize=8546296 CPUtime=0.04 cores=1,3,5,7
/proc/32718/task/32727/stat : 32727 (java) T 32716 32718 32718 0 -1 4202560 3244 0 0 0 4 0 0 0 15 0 19 0 948079302 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32718/tid=32728] ppid=32716 vsize=8546296 CPUtime=0 cores=1,3,5,7
/proc/32718/task/32728/stat : 32728 (java) T 32716 32718 32718 0 -1 4202560 446 0 0 0 0 0 0 0 15 0 19 0 948079303 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379363328 0 0 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32718/tid=32729] ppid=32716 vsize=8546296 CPUtime=0 cores=1,3,5,7
/proc/32718/task/32729/stat : 32729 (java) T 32716 32718 32718 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 948079304 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32718/tid=32730] ppid=32716 vsize=8546296 CPUtime=0 cores=1,3,5,7
/proc/32718/task/32730/stat : 32730 (java) T 32716 32718 32718 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 948079304 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32718/tid=32731] ppid=32716 vsize=8546296 CPUtime=0 cores=1,3,5,7
/proc/32718/task/32731/stat : 32731 (java) T 32716 32718 32718 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948079306 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379370417 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32718/tid=32732] ppid=32716 vsize=8546296 CPUtime=0.81 cores=1,3,5,7
/proc/32718/task/32732/stat : 32732 (java) T 32716 32718 32718 0 -1 4202560 8248 0 0 0 80 1 0 0 15 0 19 0 948079306 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32718/tid=32733] ppid=32716 vsize=8546296 CPUtime=0.95 cores=1,3,5,7
/proc/32718/task/32733/stat : 32733 (java) T 32716 32718 32718 0 -1 4202560 6567 0 0 0 95 0 0 0 15 0 19 0 948079306 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32718/tid=32734] ppid=32716 vsize=8546296 CPUtime=0 cores=1,3,5,7
/proc/32718/task/32734/stat : 32734 (java) T 32716 32718 32718 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948079306 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379362713 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32718/tid=32735] ppid=32716 vsize=8546296 CPUtime=0 cores=1,3,5,7
/proc/32718/task/32735/stat : 32735 (java) T 32716 32718 32718 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 948079306 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379363328 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32718/tid=32736] ppid=32716 vsize=8546296 CPUtime=0 cores=1,3,5,7
/proc/32718/task/32736/stat : 32736 (java) T 32716 32718 32718 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948079342 8751407104 259975 33554432000 1073741824 1073778376 140736393716464 18446744073709551615 251379363328 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32716/tid=32742] ppid=32672 vsize=336692 CPUtime=0 cores=1,3,5,7
/proc/32716/task/32742/stat : 32742 (python) S 32672 32672 31489 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 948084163 344772608 6280 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604457485887680 0 0 -1 5 0 0 0
[pid=32672/tid=32680] ppid=32670 vsize=367448 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32680/stat : 32680 (python) S 32670 32672 31489 0 -1 4202560 35 1347 0 0 0 0 3 0 18 0 9 0 948027389 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
[pid=32672/tid=32685] ppid=32670 vsize=367448 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32685/stat : 32685 (python) S 32670 32672 31489 0 -1 4202560 43 1347 0 0 0 0 3 0 18 0 9 0 948032211 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 1 0 0 0
[pid=32672/tid=32690] ppid=32670 vsize=367448 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32690/stat : 32690 (python) S 32670 32672 31489 0 -1 4202560 35 1347 0 0 0 0 3 0 18 0 9 0 948037145 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
[pid=32672/tid=32697] ppid=32670 vsize=367448 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32697/stat : 32697 (python) S 32670 32672 31489 0 -1 4202560 27 1347 0 0 0 0 3 0 20 0 9 0 948046799 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 3 0 0 0
[pid=32672/tid=32703] ppid=32670 vsize=367448 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32703/stat : 32703 (python) S 32670 32672 31489 0 -1 4202560 29 1347 0 0 0 0 3 0 20 0 9 0 948056209 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 3 0 0 0
[pid=32672/tid=32717] ppid=32670 vsize=367448 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/32717/stat : 32717 (python) S 32670 32672 31489 0 -1 4202560 30 1347 0 0 0 0 3 0 20 0 9 0 948079301 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 3 0 0 0
[pid=32672/tid=393] ppid=32670 vsize=367448 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/393/stat : 393 (python) S 32670 32672 31489 0 -1 4202560 31 1347 0 0 0 0 3 0 20 0 9 0 948126348 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 3 0 0 0
[pid=32672/tid=398] ppid=32670 vsize=367448 CPUtime=0.03 cores=1,3,5,7
/proc/32672/task/398/stat : 398 (python) S 32670 32672 31489 0 -1 4202560 25 1347 0 0 0 0 3 0 20 0 9 0 948131249 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1511.98
Current children cumulated vsize (KiB) 12141072

[startup+1503.5 s]
/proc/loadavg: 1.10 1.23 1.53 2/594 413
/proc/meminfo: memFree=16729656/32950928 swapFree=34421304/67111528
[pid=32672] ppid=32670 vsize=367448 CPUtime=424.39 cores=1,3,5,7
/proc/32672/stat : 32672 (python) S 32670 32672 31489 0 -1 4202496 18879 78371 1 0 112 12 42038 277 17 0 9 0 948027319 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379376959 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/32672/statm: 91862 7786 1886 364 0 26728 0
[pid=392] ppid=32672 vsize=346948 CPUtime=0.21 cores=1,3,5,7
/proc/392/stat : 392 (python) S 32672 32672 31489 0 -1 4202560 1164 0 0 0 8 13 0 0 16 0 2 0 948126348 355274752 6284 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/392/statm: 86737 6284 391 364 0 21606 0
[pid=394] ppid=392 vsize=87940 CPUtime=48.92 cores=1,3,5,7
/proc/394/stat : 394 (bsolo_pb10) T 392 394 394 0 -1 4202496 19961 0 0 0 4882 10 0 0 25 0 1 0 948126348 90050560 19559 33554432000 134512640 137138936 4287913904 18446744073709551615 134542764 0 0 16781312 16384 18446744071562691360 0 0 17 7 0 0 0
/proc/394/statm: 21985 19559 192 642 0 21341 0
[pid=392/tid=396] ppid=32672 vsize=346948 CPUtime=0 cores=1,3,5,7
/proc/392/task/396/stat : 396 (python) S 32672 32672 31489 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 948131247 355274752 6284 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604468805647232 0 0 -1 3 0 0 0
[pid=397] ppid=32672 vsize=357204 CPUtime=0.41 cores=1,3,5,7
/proc/397/stat : 397 (python) S 32672 32672 31489 0 -1 4202560 1243 0 0 0 17 24 0 0 17 0 2 0 948131249 365776896 6294 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379373515 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/397/statm: 89301 6294 397 364 0 24167 0
[pid=399] ppid=397 vsize=122836 CPUtime=94.19 cores=1,3,5,7
/proc/399/stat : 399 (bsolo_pb10) T 397 399 399 0 -1 4202496 28665 0 0 0 9402 17 0 0 25 0 1 0 948131249 125784064 28270 33554432000 134512640 137138936 4289938016 18446744073709551615 134542214 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/399/statm: 30709 28270 190 642 0 30065 0
[pid=397/tid=403] ppid=32672 vsize=357204 CPUtime=0 cores=1,3,5,7
/proc/397/task/403/stat : 403 (python) S 32672 32672 31489 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 948140669 365776896 6294 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554946 18446604466272518208 0 0 -1 7 0 0 0
[pid=32684] ppid=32672 vsize=0 CPUtime=893.59 cores=1,3,5,7
/proc/32684/stat : 32684 (python) Z 32672 32672 31489 0 -1 4202588 1669 26989 0 0 202 247 85630 3280 15 0 1 0 948032211 0 0 33554432000 0 0 0 0 0 0 0 16781824 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/32684/statm: 0 0 0 0 0 0 0
[pid=32716] ppid=32672 vsize=336692 CPUtime=0.22 cores=1,3,5,7
/proc/32716/stat : 32716 (python) S 32672 32672 31489 0 -1 4202560 1197 0 0 0 10 12 0 0 16 0 2 0 948079300 344772608 6280 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379376959 0 0 16781824 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/32716/statm: 84173 6280 391 364 0 19045 0
[pid=32718] ppid=32716 vsize=0 CPUtime=50.56 cores=1,3,5,7
/proc/32718/stat : 32718 (java) Z 32716 32718 32718 0 -1 4203548 290473 0 1 0 5022 34 0 0 18 0 2 0 948079301 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32718/statm: 0 0 0 0 0 0 0
[pid=32718/tid=32734] ppid=32716 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/32718/task/32734/stat : 32734 (java) R 32716 32718 32718 0 -1 4203588 1 0 0 0 0 0 0 0 18 0 2 0 948079306 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
[pid=32716/tid=32742] ppid=32672 vsize=336692 CPUtime=0 cores=1,3,5,7
/proc/32716/task/32742/stat : 32742 (python) S 32672 32672 31489 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 948084163 344772608 6280 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781824 33554434 18446604457485887680 0 0 -1 5 0 0 0
[pid=32672/tid=32680] ppid=32670 vsize=367448 CPUtime=423.15 cores=1,3,5,7
/proc/32672/task/32680/stat : 32680 (python) S 32670 32672 31489 0 -1 4202560 35 78371 0 0 0 0 42038 277 18 0 9 0 948027389 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
[pid=32672/tid=32685] ppid=32670 vsize=367448 CPUtime=423.15 cores=1,3,5,7
/proc/32672/task/32685/stat : 32685 (python) S 32670 32672 31489 0 -1 4202560 43 78371 0 0 0 0 42038 277 18 0 9 0 948032211 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 1 0 0 0
[pid=32672/tid=32690] ppid=32670 vsize=367448 CPUtime=423.15 cores=1,3,5,7
/proc/32672/task/32690/stat : 32690 (python) S 32670 32672 31489 0 -1 4202560 35 78371 0 0 0 0 42038 277 18 0 9 0 948037145 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
[pid=32672/tid=32697] ppid=32670 vsize=367448 CPUtime=423.15 cores=1,3,5,7
/proc/32672/task/32697/stat : 32697 (python) S 32670 32672 31489 0 -1 4202560 27 78371 0 0 0 0 42038 277 20 0 9 0 948046799 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 3 0 0 0
[pid=32672/tid=32703] ppid=32670 vsize=367448 CPUtime=423.15 cores=1,3,5,7
/proc/32672/task/32703/stat : 32703 (python) S 32670 32672 31489 0 -1 4202560 29 78371 0 0 0 0 42038 277 20 0 9 0 948056209 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 3 0 0 0
[pid=32672/tid=32717] ppid=32670 vsize=367448 CPUtime=423.15 cores=1,3,5,7
/proc/32672/task/32717/stat : 32717 (python) S 32670 32672 31489 0 -1 4202560 30 78371 0 0 0 0 42038 277 20 0 9 0 948079301 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 3 0 0 0
[pid=32672/tid=393] ppid=32670 vsize=367448 CPUtime=423.15 cores=1,3,5,7
/proc/32672/task/393/stat : 393 (python) S 32670 32672 31489 0 -1 4202560 31 78371 0 0 0 0 42038 277 20 0 9 0 948126348 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 3 0 0 0
[pid=32672/tid=398] ppid=32670 vsize=367448 CPUtime=423.15 cores=1,3,5,7
/proc/32672/task/398/stat : 398 (python) S 32670 32672 31489 0 -1 4202560 25 78371 0 0 0 0 42038 277 20 0 9 0 948131249 376266752 7786 33554432000 4194304 5683644 140736972446000 18446744073709551615 251379370417 0 0 16781312 33554434 18446604468548387904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1512.49
Current children cumulated vsize (KiB) 1619068

Child status: 0
Real time (s): 1503.56
CPU time (s): 1512.64
CPU user time (s): 1473.31
CPU system time (s): 39.334
CPU usage (%): 100.604
Max. virtual memory (cumulated for all children) (KiB): 12141072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1473.31
system time used= 39.334
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472803
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8038
involuntary context switches= 3490

runsolver used 10.0435 second user time and 25.7281 second system time

The end

Launcher Data 

Begin job on node113 at 2011-06-09 02:06:06
IDJOB=3482422
IDBENCH=48383
IDSOLVER=1971
FILE ID=node113/3482422-1307577966
RUNJOBID= node113-1307576360-31508
PBS_JOBID= 13547686
Free space on /tmp= 73688 MiB

SOLVER NAME= borg pb-dec-11.04.03
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_4_15.opb
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.dec.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3482422-1307577966/watcher-3482422-1307577966 -o /tmp/evaluation-result-3482422-1307577966/solver-3482422-1307577966 -C 1800 -W 1900 -M 15500  python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482422-1307577966.opb -seed 89700951 -budget 1800

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

MD5SUM BENCH= c41d0ae6b2deb2ba6caac7b74c416b6f
RANDOM SEED=89700951

node113.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      22375080 kB
Buffers:        154484 kB
Cached:         526148 kB
SwapCached:      14424 kB
Active:       10076136 kB
Inactive:       160892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22375080 kB
SwapTotal:    67111528 kB
SwapFree:     34421304 kB
Dirty:          104052 kB
Writeback:           0 kB
AnonPages:     9554168 kB
Mapped:          49684 kB
Slab:           138212 kB
PageTables:     130352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 161438356 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73600 MiB
End job on node113 at 2011-06-09 02:31:10