Trace number 3482356

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 1560.13 1550.71

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_3_15.opb
MD5SUM0f8b3c4075c45404d33689fa65bc6a7e
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 benchmark6.78597
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)6180
Sum of products size (including duplicates)12360
Number of different products3090
Sum of products size6180

Solver Data 

0.28/0.49	c INFO: loaded portfolio from HOME/etc/borg-mix+class.dec.pickle
0.28/0.49	c INFO: solving HOME/instance-3482356-1307576591.opb
0.35/0.53	c INFO: wrote linearized instance to HOME/tmpMy9oAd.opb
0.35/0.58	c INFO: parsing took 0.04 s
0.46/0.67	c INFO: features took 0.09 CPU seconds
0.46/0.69	c INFO: running clasp-1.3.7@0 for 45 with 1799 remaining (b = 0.51)
48.95/48.94	c INFO: running scip-2.0.1-spx@0 for 45 with 1751 remaining (b = 0.13)
98.69/98.41	c INFO: running scip-2.0.1-clp@0 for 45 with 1702 remaining (b = 0.03)
148.60/148.29	c INFO: running clasp-1.3.7@48 for 45 with 1652 remaining (b = 0.01)
194.55/193.94	c INFO: wrote minion input file to HOME/tmpXidih2.minion
194.55/193.94	c INFO: running minion-0.12@0 for 45 with 1607 remaining (b = 0.02)
243.13/242.38	c INFO: running scip-2.0.1-clp@49 for 45 with 1558 remaining (b = 0.01)
288.41/287.33	c INFO: running pbct-0.1.2-linear@0 for 45 with 1514 remaining (b = 0.01)
335.75/334.63	c INFO: running clasp-1.3.7@93 for 136 with 1467 remaining (b = 0.02)
475.98/474.29	c INFO: running scip-2.0.1-spx@48 for 45 with 1327 remaining (b = 0.01)
520.54/518.50	c INFO: running sat4j-pb-v20101225-cutting@0 for 45 with 1284 remaining (b = 0.03)
571.42/567.16	c INFO: running scip-2.0.1-spx@92 for 410 with 1233 remaining (b = 0.06)
990.62/984.36	c INFO: running bsolo_pb10-l3@0 for 45 with 820 remaining (b = 0.01)
1038.18/1031.65	c INFO: running bsolo_pb10-l1@0 for 91 with 773 remaining (b = 0.01)
1131.88/1124.93	c INFO: running scip-2.0.1-spx@505 for 547 with 680 remaining (b = 0.05)
1559.86/1550.68	s SATISFIABLE
1559.86/1550.68	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-3482356-1307576591/watcher-3482356-1307576591 -o /tmp/evaluation-result-3482356-1307576591/solver-3482356-1307576591 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482356-1307576591.opb -seed 1710174457 -budget 1800 

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

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


[startup+0 s]
/proc/loadavg: 4.61 2.56 1.03 2/533 3019
/proc/meminfo: memFree=17296360/32951132 swapFree=45426552/67111528
[pid=3019] ppid=3017 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/3019/stat : 3019 (python) S 3017 3019 2587 0 -1 4202496 734 0 0 0 0 0 0 0 25 0 1 0 869257852 15548416 622 33554432000 4194304 5683644 140736713324816 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 2 0 0 0
/proc/3019/statm: 3796 622 322 364 0 283 0

[startup+0.0769581 s]
/proc/loadavg: 4.61 2.56 1.03 2/533 3019
/proc/meminfo: memFree=17296360/32951132 swapFree=45426552/67111528
[pid=3019] ppid=3017 vsize=84568 CPUtime=0.05 cores=0,2,4,6
/proc/3019/stat : 3019 (python) R 3017 3019 2587 0 -1 4202496 2397 0 0 0 4 1 0 0 17 0 1 0 869257852 86597632 2125 33554432000 4194304 5683644 140736713324816 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3019/statm: 21142 2126 707 364 0 1359 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84568

[startup+0.100937 s]
/proc/loadavg: 4.61 2.56 1.03 2/533 3019
/proc/meminfo: memFree=17296360/32951132 swapFree=45426552/67111528
[pid=3019] ppid=3017 vsize=96124 CPUtime=0.06 cores=0,2,4,6
/proc/3019/stat : 3019 (python) R 3017 3019 2587 0 -1 4202496 3170 934 1 0 5 1 0 0 18 0 1 0 869257852 98430976 2483 33554432000 4194304 5683644 140736713324816 18446744073709551615 5170800 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3019/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124

[startup+0.300971 s]
/proc/loadavg: 4.61 2.56 1.03 2/533 3019
/proc/meminfo: memFree=17296360/32951132 swapFree=45426552/67111528
[pid=3019] ppid=3017 vsize=184596 CPUtime=0.2 cores=0,2,4,6
/proc/3019/stat : 3019 (python) R 3017 3019 2587 0 -1 4202496 6359 934 1 0 15 5 0 0 17 0 1 0 869257852 189026304 4656 33554432000 4194304 5683644 140736713324816 18446744073709551615 242970548224 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3019/statm: 46149 4656 1251 364 0 3655 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 184596

[startup+0.700872 s]
/proc/loadavg: 4.61 2.56 1.03 2/533 3019
/proc/meminfo: memFree=17296360/32951132 swapFree=45426552/67111528
[pid=3019] ppid=3017 vsize=284904 CPUtime=0.57 cores=0,2,4,6
/proc/3019/stat : 3019 (python) R 3017 3019 2587 0 -1 4202496 10832 1354 1 0 44 9 4 0 18 0 1 0 869257852 291741696 7611 33554432000 4194304 5683644 140736713324816 18446744073709551615 5291013 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/3019/statm: 71226 7611 1864 364 0 6113 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 284904

[startup+1.50073 s]
/proc/loadavg: 4.61 2.56 1.03 5/537 3028
/proc/meminfo: memFree=17268056/32951132 swapFree=45426552/67111528
[pid=3019] ppid=3017 vsize=295148 CPUtime=0.57 cores=0,2,4,6
/proc/3019/stat : 3019 (python) S 3017 3019 2587 0 -1 4202496 11031 1354 1 0 44 9 4 0 20 0 2 0 869257852 302231552 7622 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3019/statm: 73787 7622 1871 364 0 8674 0
[pid=3026] ppid=3019 vsize=284904 CPUtime=0 cores=0,2,4,6
/proc/3026/stat : 3026 (python) S 3019 3019 2587 0 -1 4202560 669 0 0 0 0 0 0 0 19 0 1 0 869257921 291741696 6063 33554432000 4194304 5683644 140736713324816 18446744073709551615 242970570255 0 0 16781312 33554946 6048974253980614914 0 0 17 0 0 0 0
/proc/3026/statm: 71226 6063 316 364 0 6113 0
[pid=3028] ppid=3026 vsize=4624 CPUtime=0.79 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp-1.3.7-x86) R 3026 3028 3028 0 -1 4202496 1203 0 0 0 79 0 0 0 22 0 1 0 869257922 4734976 917 33554432000 134512640 136139019 4287174768 18446744073709551615 134832331 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/3028/statm: 1156 917 183 398 0 756 0
[pid=3019/tid=3027] ppid=3017 vsize=295148 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3027/stat : 3027 (python) S 3017 3019 2587 0 -1 4202560 25 1354 0 0 0 0 4 0 20 0 2 0 869257922 302231552 7622 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 584676

[startup+10.2301 s]
/proc/loadavg: 4.61 2.56 1.03 5/537 3028
/proc/meminfo: memFree=17268056/32951132 swapFree=45426552/67111528
[pid=3019] ppid=3017 vsize=295148 CPUtime=0.57 cores=0,2,4,6
/proc/3019/stat : 3019 (python) S 3017 3019 2587 0 -1 4202496 11031 1354 1 0 44 9 4 0 20 0 2 0 869257852 302231552 7622 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3019/statm: 73787 7622 1871 364 0 8674 0
[pid=3026] ppid=3019 vsize=284904 CPUtime=0.04 cores=0,2,4,6
/proc/3026/stat : 3026 (python) S 3019 3019 2587 0 -1 4202560 851 0 0 0 2 2 0 0 18 0 1 0 869257921 291741696 6090 33554432000 4194304 5683644 140736713324816 18446744073709551615 242970570255 0 0 16781312 33554946 72114768642583384 0 0 17 0 0 0 0
/proc/3026/statm: 71226 6090 343 364 0 6113 0
[pid=3028] ppid=3026 vsize=6104 CPUtime=9.52 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp-1.3.7-x86) R 3026 3028 3028 0 -1 4202496 1549 0 0 0 952 0 0 0 25 0 1 0 869257922 6250496 1259 33554432000 134512640 136139019 4287174768 18446744073709551615 134634760 0 0 16781312 16386 0 0 0 17 6 0 0 0
/proc/3028/statm: 1526 1259 183 398 0 1126 0
[pid=3019/tid=3027] ppid=3017 vsize=295148 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3027/stat : 3027 (python) S 3017 3019 2587 0 -1 4202560 25 1354 0 0 0 0 4 0 20 0 2 0 869257922 302231552 7622 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.13
Current children cumulated vsize (KiB) 586156

[startup+10.3011 s]
/proc/loadavg: 4.61 2.56 1.03 5/537 3028
/proc/meminfo: memFree=17268056/32951132 swapFree=45426552/67111528
[pid=3019] ppid=3017 vsize=295148 CPUtime=0.57 cores=0,2,4,6
/proc/3019/stat : 3019 (python) S 3017 3019 2587 0 -1 4202496 11031 1354 1 0 44 9 4 0 20 0 2 0 869257852 302231552 7622 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3019/statm: 73787 7622 1871 364 0 8674 0
[pid=3026] ppid=3019 vsize=284904 CPUtime=0.04 cores=0,2,4,6
/proc/3026/stat : 3026 (python) S 3019 3019 2587 0 -1 4202560 851 0 0 0 2 2 0 0 18 0 1 0 869257921 291741696 6090 33554432000 4194304 5683644 140736713324816 18446744073709551615 242970570255 0 0 16781312 33554946 72114768642583384 0 0 17 0 0 0 0
/proc/3026/statm: 71226 6090 343 364 0 6113 0
[pid=3028] ppid=3026 vsize=6104 CPUtime=9.59 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp-1.3.7-x86) R 3026 3028 3028 0 -1 4202496 1550 0 0 0 959 0 0 0 25 0 1 0 869257922 6250496 1260 33554432000 134512640 136139019 4287174768 18446744073709551615 134634749 0 0 16781312 16386 0 0 0 17 6 0 0 0
/proc/3028/statm: 1526 1260 183 398 0 1126 0
[pid=3019/tid=3027] ppid=3017 vsize=295148 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3027/stat : 3027 (python) S 3017 3019 2587 0 -1 4202560 25 1354 0 0 0 0 4 0 20 0 2 0 869257922 302231552 7622 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.2
Current children cumulated vsize (KiB) 586156

[startup+12.7008 s]
/proc/loadavg: 4.83 2.67 1.09 3/537 3028
/proc/meminfo: memFree=17262080/32951132 swapFree=45426552/67111528
[pid=3019] ppid=3017 vsize=295148 CPUtime=0.57 cores=0,2,4,6
/proc/3019/stat : 3019 (python) S 3017 3019 2587 0 -1 4202496 11031 1354 1 0 44 9 4 0 20 0 2 0 869257852 302231552 7622 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3019/statm: 73787 7622 1871 364 0 8674 0
[pid=3026] ppid=3019 vsize=284904 CPUtime=0.04 cores=0,2,4,6
/proc/3026/stat : 3026 (python) S 3019 3019 2587 0 -1 4202560 851 0 0 0 2 2 0 0 18 0 1 0 869257921 291741696 6090 33554432000 4194304 5683644 140736713324816 18446744073709551615 242970570255 0 0 16781312 33554946 72114768642583384 0 0 17 0 0 0 0
/proc/3026/statm: 71226 6090 343 364 0 6113 0
[pid=3028] ppid=3026 vsize=6008 CPUtime=11.99 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp-1.3.7-x86) R 3026 3028 3028 0 -1 4202496 1566 0 0 0 1199 0 0 0 25 0 1 0 869257922 6152192 1263 33554432000 134512640 136139019 4287174768 18446744073709551615 134832172 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/3028/statm: 1502 1263 183 398 0 1102 0
[pid=3019/tid=3027] ppid=3017 vsize=295148 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3027/stat : 3027 (python) S 3017 3019 2587 0 -1 4202560 25 1354 0 0 0 0 4 0 20 0 2 0 869257922 302231552 7622 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 586060

[startup+25.5006 s]
/proc/loadavg: 4.64 2.74 1.13 2/532 3029
/proc/meminfo: memFree=17288384/32951132 swapFree=45426552/67111528
[pid=3019] ppid=3017 vsize=295148 CPUtime=0.57 cores=0,2,4,6
/proc/3019/stat : 3019 (python) S 3017 3019 2587 0 -1 4202496 11031 1354 1 0 44 9 4 0 20 0 2 0 869257852 302231552 7622 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3019/statm: 73787 7622 1871 364 0 8674 0
[pid=3026] ppid=3019 vsize=284904 CPUtime=0.1 cores=0,2,4,6
/proc/3026/stat : 3026 (python) S 3019 3019 2587 0 -1 4202560 863 0 0 0 5 5 0 0 18 0 1 0 869257921 291741696 6090 33554432000 4194304 5683644 140736713324816 18446744073709551615 242970570255 0 0 16781312 33554946 72556772316949336 0 0 17 6 0 0 0
/proc/3026/statm: 71226 6090 343 364 0 6113 0
[pid=3028] ppid=3026 vsize=6656 CPUtime=24.79 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp-1.3.7-x86) R 3026 3028 3028 0 -1 4202496 1718 0 0 0 2479 0 0 0 25 0 1 0 869257922 6815744 1415 33554432000 134512640 136139019 4287174768 18446744073709551615 134640605 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/3028/statm: 1664 1415 183 398 0 1264 0
[pid=3019/tid=3027] ppid=3017 vsize=295148 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3027/stat : 3027 (python) S 3017 3019 2587 0 -1 4202560 25 1354 0 0 0 0 4 0 20 0 2 0 869257922 302231552 7622 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 586708

[startup+51.1012 s]
/proc/loadavg: 4.89 2.95 1.24 4/538 3306
/proc/meminfo: memFree=17226872/32951132 swapFree=45426552/67111528
[pid=3019] ppid=3017 vsize=305404 CPUtime=0.59 cores=0,2,4,6
/proc/3019/stat : 3019 (python) S 3017 3019 2587 0 -1 4202496 11946 1354 1 0 46 9 4 0 20 0 3 0 869257852 312733696 7629 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/3019/statm: 76351 7629 1874 364 0 11235 0
[pid=3026] ppid=3019 vsize=295148 CPUtime=0.21 cores=0,2,4,6
/proc/3026/stat : 3026 (python) S 3019 3019 2587 0 -1 4202560 1149 0 0 0 10 11 0 0 19 0 2 0 869257921 302231552 6163 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/3026/statm: 73787 6163 411 364 0 8674 0
[pid=3028] ppid=3026 vsize=7772 CPUtime=48.2 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp-1.3.7-x86) T 3026 3028 3028 0 -1 4202496 1992 0 0 0 4819 1 0 0 25 0 1 0 869257922 7958528 1689 33554432000 134512640 136139019 4287174768 18446744073709551615 134621984 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/3028/statm: 1943 1689 183 398 0 1543 0
[pid=3026/tid=3292] ppid=3019 vsize=295148 CPUtime=0 cores=0,2,4,6
/proc/3026/task/3292/stat : 3292 (python) S 3019 3019 2587 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 869262744 302231552 6163 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554946 18446604444920056768 0 0 -1 2 0 0 0
[pid=3293] ppid=3019 vsize=295160 CPUtime=0 cores=0,2,4,6
/proc/3293/stat : 3293 (python) S 3019 3019 2587 0 -1 4202560 761 0 0 0 0 0 0 0 15 0 1 0 869262746 302243840 6071 33554432000 4194304 5683644 140736713324816 18446744073709551615 242970570310 0 0 16781312 33554946 3613360921042223104 0 0 17 0 0 0 0
/proc/3293/statm: 73790 6071 320 364 0 8674 0
[pid=3295] ppid=3293 vsize=48868 CPUtime=2.14 cores=0,2,4,6
/proc/3295/stat : 3295 (scip-2.0.1.linu) R 3293 3295 3295 0 -1 4202496 10813 0 0 0 207 7 0 0 25 0 1 0 869262746 50040832 10007 33554432000 4194304 13684479 140735356784992 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3295/statm: 12217 10007 771 2317 0 9895 0
[pid=3019/tid=3027] ppid=3017 vsize=305404 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3027/stat : 3027 (python) S 3017 3019 2587 0 -1 4202560 25 1354 0 0 0 0 4 0 20 0 3 0 869257922 312733696 7629 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 0 0 0 0
[pid=3019/tid=3294] ppid=3017 vsize=305404 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3294/stat : 3294 (python) S 3017 3019 2587 0 -1 4202560 33 1354 0 0 0 0 4 0 20 0 3 0 869262746 312733696 7629 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 952352

[startup+102.301 s]
/proc/loadavg: 4.59 3.16 1.40 3/545 3351
/proc/meminfo: memFree=17036548/32951132 swapFree=45426552/67111528
[pid=3019] ppid=3017 vsize=315660 CPUtime=0.61 cores=0,2,4,6
/proc/3019/stat : 3019 (python) S 3017 3019 2587 0 -1 4202496 12863 1354 1 0 48 9 4 0 20 0 4 0 869257852 323235840 7635 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3019/statm: 78915 7635 1876 364 0 13796 0
[pid=3026] ppid=3019 vsize=295148 CPUtime=0.21 cores=0,2,4,6
/proc/3026/stat : 3026 (python) S 3019 3019 2587 0 -1 4202560 1149 0 0 0 10 11 0 0 19 0 2 0 869257921 302231552 6163 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/3026/statm: 73787 6163 411 364 0 8674 0
[pid=3028] ppid=3026 vsize=7772 CPUtime=48.2 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp-1.3.7-x86) T 3026 3028 3028 0 -1 4202496 1992 0 0 0 4819 1 0 0 25 0 1 0 869257922 7958528 1689 33554432000 134512640 136139019 4287174768 18446744073709551615 134621984 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/3028/statm: 1943 1689 183 398 0 1543 0
[pid=3026/tid=3292] ppid=3019 vsize=295148 CPUtime=0 cores=0,2,4,6
/proc/3026/task/3292/stat : 3292 (python) S 3019 3019 2587 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 869262744 302231552 6163 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554946 18446604444920056768 0 0 -1 2 0 0 0
[pid=3293] ppid=3019 vsize=295160 CPUtime=0.24 cores=0,2,4,6
/proc/3293/stat : 3293 (python) S 3019 3019 2587 0 -1 4202560 1143 0 0 0 12 12 0 0 16 0 2 0 869262746 302243840 6143 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3293/statm: 73790 6143 391 364 0 8674 0
[pid=3295] ppid=3293 vsize=89248 CPUtime=49.44 cores=0,2,4,6
/proc/3295/stat : 3295 (scip-2.0.1.linu) T 3293 3295 3295 0 -1 4202496 25475 0 0 0 4893 51 0 0 25 0 1 0 869262746 91389952 19974 33554432000 4194304 13684479 140735356784992 18446744073709551615 7176207 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/3295/statm: 22312 19974 847 2317 0 19990 0
[pid=3293/tid=3329] ppid=3019 vsize=295160 CPUtime=0 cores=0,2,4,6
/proc/3293/task/3329/stat : 3329 (python) S 3019 3019 2587 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869267691 302243840 6143 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554946 18446604451916589824 0 0 -1 6 0 0 0
[pid=3330] ppid=3019 vsize=305416 CPUtime=0.01 cores=0,2,4,6
/proc/3330/stat : 3330 (python) S 3019 3019 2587 0 -1 4202560 907 0 0 0 0 1 0 0 16 0 1 0 869267693 312745984 6099 33554432000 4194304 5683644 140736713324816 18446744073709551615 242970570310 0 0 16781312 33554946 4211931598049739010 0 0 17 6 0 0 0

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

[pid=3451] ppid=3019 vsize=346440 CPUtime=0.23 cores=0,2,4,6
/proc/3451/stat : 3451 (python) S 3019 3019 2587 0 -1 4202560 1160 0 0 0 11 12 0 0 17 0 2 0 869356288 354754560 6168 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/3451/statm: 86610 6168 391 364 0 21479 0
[pid=3453] ppid=3451 vsize=77764 CPUtime=47.25 cores=0,2,4,6
/proc/3453/stat : 3453 (bsolo_pb10) T 3451 3453 3453 0 -1 4202496 17409 0 0 0 4720 5 0 0 25 0 1 0 869356289 79630336 17011 33554432000 134512640 137138936 4292981904 18446744073709551615 134552141 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/3453/statm: 19441 17011 192 642 0 18797 0
[pid=3451/tid=3456] ppid=3019 vsize=346440 CPUtime=0 cores=0,2,4,6
/proc/3451/task/3456/stat : 3456 (python) S 3019 3019 2587 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869361015 354754560 6168 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554946 18446604446773855360 0 0 -1 0 0 0 0
[pid=3457] ppid=3019 vsize=356696 CPUtime=0.44 cores=0,2,4,6
/proc/3457/stat : 3457 (python) S 3019 3019 2587 0 -1 4202560 1237 0 0 0 23 21 0 0 16 0 2 0 869361017 365256704 6178 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/3457/statm: 89174 6178 397 364 0 24040 0
[pid=3459] ppid=3457 vsize=123840 CPUtime=93.25 cores=0,2,4,6
/proc/3459/stat : 3459 (bsolo_pb10) T 3457 3459 3459 0 -1 4202496 28914 0 0 0 9316 9 0 0 25 0 1 0 869361017 126812160 28518 33554432000 134512640 137138936 4292593568 18446744073709551615 134542752 0 0 16781312 16384 18446744071562691360 0 0 17 4 0 0 0
/proc/3459/statm: 30960 28518 190 642 0 30316 0
[pid=3457/tid=3476] ppid=3019 vsize=356696 CPUtime=0 cores=0,2,4,6
/proc/3457/task/3476/stat : 3476 (python) S 3019 3019 2587 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869370343 365256704 6178 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554946 18446604452771271872 0 0 -1 4 0 0 0
[pid=3019/tid=3027] ppid=3017 vsize=366940 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3027/stat : 3027 (python) S 3017 3019 2587 0 -1 4202560 34 1354 0 0 0 0 4 0 18 0 9 0 869257922 375746560 7670 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 0 0 0 0
[pid=3019/tid=3294] ppid=3017 vsize=366940 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3294/stat : 3294 (python) S 3017 3019 2587 0 -1 4202560 51 1354 0 0 0 0 4 0 18 0 9 0 869262746 375746560 7670 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 4 0 0 0
[pid=3019/tid=3331] ppid=3017 vsize=366940 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3331/stat : 3331 (python) S 3017 3019 2587 0 -1 4202560 33 1354 0 0 0 0 4 0 18 0 9 0 869267693 375746560 7670 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 2 0 0 0
[pid=3019/tid=3362] ppid=3017 vsize=366940 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3362/stat : 3362 (python) S 3017 3019 2587 0 -1 4202560 30 1354 0 0 0 0 4 0 20 0 9 0 869277246 375746560 7670 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 2 0 0 0
[pid=3019/tid=3374] ppid=3017 vsize=366940 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3374/stat : 3374 (python) S 3017 3019 2587 0 -1 4202560 31 1354 0 0 0 0 4 0 20 0 9 0 869286585 375746560 7670 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 2 0 0 0
[pid=3019/tid=3411] ppid=3017 vsize=366940 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3411/stat : 3411 (python) S 3017 3019 2587 0 -1 4202560 31 1354 0 0 0 0 4 0 20 0 9 0 869309703 375746560 7670 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 6 0 0 0
[pid=3019/tid=3452] ppid=3017 vsize=366940 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3452/stat : 3452 (python) S 3017 3019 2587 0 -1 4202560 31 1354 0 0 0 0 4 0 20 0 9 0 869356288 375746560 7670 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 2 0 0 0
[pid=3019/tid=3458] ppid=3017 vsize=366940 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3458/stat : 3458 (python) S 3017 3019 2587 0 -1 4202560 26 1354 0 0 0 0 4 0 20 0 9 0 869361017 375746560 7670 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1558.93
Current children cumulated vsize (KiB) 12080424

[startup+1550.5 s]
/proc/loadavg: 2.11 2.10 1.93 3/627 3497
/proc/meminfo: memFree=13743224/32951132 swapFree=45426552/67111528
[pid=3019] ppid=3017 vsize=366940 CPUtime=1.25 cores=0,2,4,6
/proc/3019/stat : 3019 (python) S 3017 3019 2587 0 -1 4202496 18468 1354 1 0 110 11 4 0 18 0 9 0 869257852 375746560 7670 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/3019/statm: 91735 7670 1886 364 0 26601 0
[pid=3026] ppid=3019 vsize=295148 CPUtime=1.08 cores=0,2,4,6
/proc/3026/stat : 3026 (python) S 3019 3019 2587 0 -1 4202560 1214 0 0 0 53 55 0 0 18 0 2 0 869257921 302231552 6164 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/3026/statm: 73787 6164 412 364 0 8674 0
[pid=3028] ppid=3026 vsize=9748 CPUtime=233.07 cores=0,2,4,6
/proc/3028/stat : 3028 (clasp-1.3.7-x86) T 3026 3028 3028 0 -1 4202496 2492 0 0 0 23305 2 0 0 25 0 1 0 869257922 9981952 2189 33554432000 134512640 136139019 4287174768 18446744073709551615 134883847 0 0 16781312 16386 18446744071562691360 0 0 17 4 0 0 0
/proc/3028/statm: 2437 2189 183 398 0 2037 0
[pid=3026/tid=3292] ppid=3019 vsize=295148 CPUtime=0 cores=0,2,4,6
/proc/3026/task/3292/stat : 3292 (python) S 3019 3019 2587 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 869262744 302231552 6164 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554946 18446604444920056768 0 0 -1 2 0 0 0
[pid=3293] ppid=3019 vsize=295160 CPUtime=5.12 cores=0,2,4,6
/proc/3293/stat : 3293 (python) S 3019 3019 2587 0 -1 4202560 1292 0 0 0 262 250 0 0 15 0 2 0 869262746 302243840 6144 33554432000 4194304 5683644 140736713324816 18446744073709551615 242970570310 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3293/statm: 73790 6144 392 364 0 8674 0
[pid=3295] ppid=3293 vsize=110740 CPUtime=936.01 cores=0,2,4,6
/proc/3295/stat : 3295 (scip-2.0.1.linu) R 3293 3295 3295 0 -1 4202496 31069 0 0 0 92736 865 0 0 22 0 1 0 869262746 113397760 25567 33554432000 4194304 13684479 140735356784992 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3295/statm: 27685 25567 847 2317 0 25363 0
[pid=3293/tid=3329] ppid=3019 vsize=295160 CPUtime=0 cores=0,2,4,6
/proc/3293/task/3329/stat : 3329 (python) S 3019 3019 2587 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 869267691 302243840 6144 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554946 18446604451916589824 0 0 -1 6 0 0 0
[pid=3330] ppid=3019 vsize=305416 CPUtime=0.48 cores=0,2,4,6
/proc/3330/stat : 3330 (python) S 3019 3019 2587 0 -1 4202560 1142 0 0 0 24 24 0 0 15 0 2 0 869267693 312745984 6147 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/3330/statm: 76354 6147 391 364 0 11235 0
[pid=3332] ppid=3330 vsize=78532 CPUtime=94.67 cores=0,2,4,6
/proc/3332/stat : 3332 (scip-2.0.1.linu) T 3330 3332 3332 0 -1 4202496 31031 0 0 0 9422 45 0 0 25 0 1 0 869267693 80416768 16752 33554432000 4194304 15243407 140736459886800 18446744073709551615 8113323 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 8
/proc/3332/statm: 19633 16752 968 2698 0 16928 0
[pid=3330/tid=3358] ppid=3019 vsize=305416 CPUtime=0 cores=0,2,4,6
/proc/3330/task/3358/stat : 3358 (python) S 3019 3019 2587 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 869272678 312745984 6147 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554946 18446604444908573120 0 0 -1 2 0 0 0
[pid=3361] ppid=3019 vsize=315672 CPUtime=0.22 cores=0,2,4,6
/proc/3361/stat : 3361 (python) S 3019 3019 2587 0 -1 4202560 1119 0 0 0 10 12 0 0 19 0 2 0 869277246 323248128 6156 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3361/statm: 78918 6156 391 364 0 13796 0
[pid=3363] ppid=3361 vsize=74936 CPUtime=48.4 cores=0,2,4,6
/proc/3363/stat : 3363 (minion) T 3361 3363 3363 0 -1 4202496 12022 0 0 0 4839 1 0 0 25 0 1 0 869277247 76734464 11470 33554432000 134512640 165565024 4290923200 18446744073709551615 141381159 0 0 16781312 8396802 18446744071562691360 0 0 17 0 0 0 0
/proc/3363/statm: 18734 11470 359 7582 0 11149 0
[pid=3361/tid=3368] ppid=3019 vsize=315672 CPUtime=0 cores=0,2,4,6
/proc/3361/task/3368/stat : 3368 (python) S 3019 3019 2587 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 869282088 323248128 6156 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554946 18446604448880264512 0 0 -1 6 0 0 0
[pid=3373] ppid=3019 vsize=325928 CPUtime=0.22 cores=0,2,4,6
/proc/3373/stat : 3373 (python) S 3019 3019 2587 0 -1 4202560 1161 0 0 0 12 10 0 0 19 0 2 0 869286585 333750272 6160 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/3373/statm: 81482 6160 391 364 0 16357 0
[pid=3375] ppid=3373 vsize=113972 CPUtime=47.12 cores=0,2,4,6
/proc/3375/stat : 3375 (pbct-0.1.2-linu) T 3373 3375 3375 0 -1 4202496 29090 0 0 0 4655 57 0 0 25 0 1 0 869286585 116707328 27228 33554432000 134512640 136422188 4288240960 18446744073709551615 134862241 0 0 16781312 16387 18446744071562691360 0 0 17 2 0 0 0
/proc/3375/statm: 28493 27228 214 467 0 28024 0
[pid=3373/tid=3382] ppid=3019 vsize=325928 CPUtime=0 cores=0,2,4,6
/proc/3373/task/3382/stat : 3382 (python) S 3019 3019 2587 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 869291313 333750272 6160 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554946 18446604442585999424 0 0 -1 6 0 0 0
[pid=3410] ppid=3019 vsize=336184 CPUtime=0.23 cores=0,2,4,6
/proc/3410/stat : 3410 (python) S 3019 3019 2587 0 -1 4202560 1171 0 0 0 10 13 0 0 17 0 2 0 869309702 344252416 6164 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/3410/statm: 84046 6164 391 364 0 18918 0
[pid=3412] ppid=3410 vsize=8547308 CPUtime=50.72 cores=0,2,4,6
/proc/3412/stat : 3412 (java) T 3410 3412 3412 0 -1 4202496 293121 0 1 0 5033 39 0 0 18 0 19 0 869309703 8752443392 265339 33554432000 1073741824 1073778376 140734473183088 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/3412/statm: 2136827 265339 2249 9 0 2127568 0
[pid=3412/tid=3413] ppid=3410 vsize=8547308 CPUtime=48.34 cores=0,2,4,6
/proc/3412/task/3413/stat : 3413 (java) T 3410 3412 3412 0 -1 4202560 249302 0 1 0 4804 30 0 0 25 0 19 0 869309703 8752443392 265339 33554432000 1073741824 1073778376 140734473183088 18446744073709551615 46912505818368 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3412/tid=3414] ppid=3410 vsize=8547308 CPUtime=0.06 cores=0,2,4,6
/proc/3412/task/3414/stat : 3414 (java) T 3410 3412 3412 0 -1 4202560 4125 0 0 0 6 0 0 0 15 0 19 0 869309704 8752443392 265339 33554432000 1073741824 1073778376 140734473183088 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3412/tid=3415] ppid=3410 vsize=8547308 CPUtime=0.06 cores=0,2,4,6
/proc/3412/task/3415/stat : 3415 (java) T 3410 3412 3412 0 -1 4202560 4400 0 0 0 6 0 0 0 15 0 19 0 869309704 8752443392 265339 33554432000 1073741824 1073778376 140734473183088 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3412/tid=3416] ppid=3410 vsize=8547308 CPUtime=0.05 cores=0,2,4,6
/proc/3412/task/3416/stat : 3416 (java) T 3410 3412 3412 0 -1 4202560 2535 0 0 0 5 0 0 0 15 0 19 0 869309704 8752443392 265339 33554432000 1073741824 1073778376 140734473183088 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3412/tid=3417] ppid=3410 vsize=8547308 CPUtime=0.05 cores=0,2,4,6
/proc/3412/task/3417/stat : 3417 (java) T 3410 3412 3412 0 -1 4202560 4054 0 0 0 5 0 0 0 15 0 19 0 869309704 8752443392 265339 33554432000 1073741824 1073778376 140734473183088 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3412/tid=3418] ppid=3410 vsize=8547308 CPUtime=0.02 cores=0,2,4,6
/proc/3412/task/3418/stat : 3418 (java) T 3410 3412 3412 0 -1 4202560 1462 0 0 0 2 0 0 0 15 0 19 0 869309704 8752443392 265339 33554432000 1073741824 1073778376 140734473183088 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3412/tid=3419] ppid=3410 vsize=8547308 CPUtime=0.03 cores=0,2,4,6
/proc/3412/task/3419/stat : 3419 (java) T 3410 3412 3412 0 -1 4202560 2497 0 0 0 3 0 0 0 15 0 19 0 869309704 8752443392 265339 33554432000 1073741824 1073778376 140734473183088 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3412/tid=3420] ppid=3410 vsize=8547308 CPUtime=0.06 cores=0,2,4,6
/proc/3412/task/3420/stat : 3420 (java) T 3410 3412 3412 0 -1 4202560 3121 0 0 0 5 1 0 0 15 0 19 0 869309704 8752443392 265339 33554432000 1073741824 1073778376 140734473183088 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3412/tid=3421] ppid=3410 vsize=8547308 CPUtime=0.05 cores=0,2,4,6
/proc/3412/task/3421/stat : 3421 (java) T 3410 3412 3412 0 -1 4202560 4025 0 0 0 5 0 0 0 15 0 19 0 869309704 8752443392 265339 33554432000 1073741824 1073778376 140734473183088 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3412/tid=3422] ppid=3410 vsize=8547308 CPUtime=0 cores=0,2,4,6
/proc/3412/task/3422/stat : 3422 (java) T 3410 3412 3412 0 -1 4202560 442 0 0 0 0 0 0 0 15 0 19 0 869309705 8752443392 265339 33554432000 1073741824 1073778376 140734473183088 18446744073709551615 242982366720 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=3412/tid=3423] ppid=3410 vsize=8547308 CPUtime=0 cores=0,2,4,6
/proc/3412/task/3423/stat : 3423 (java) T 3410 3412 3412 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869309705 8752443392 265339 33554432000 1073741824 1073778376 140734473183088 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3412/tid=3424] ppid=3410 vsize=8547308 CPUtime=0 cores=0,2,4,6
/proc/3412/task/3424/stat : 3424 (java) T 3410 3412 3412 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869309705 8752443392 265339 33554432000 1073741824 1073778376 140734473183088 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3412/tid=3425] ppid=3410 vsize=8547308 CPUtime=0 cores=0,2,4,6
/proc/3412/task/3425/stat : 3425 (java) T 3410 3412 3412 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869309707 8752443392 265339 33554432000 1073741824 1073778376 140734473183088 18446744073709551615 242982373809 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3412/tid=3426] ppid=3410 vsize=8547308 CPUtime=0.95 cores=0,2,4,6
/proc/3412/task/3426/stat : 3426 (java) T 3410 3412 3412 0 -1 4202560 11128 0 0 0 94 1 0 0 15 0 19 0 869309707 8752443392 265339 33554432000 1073741824 1073778376 140734473183088 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3412/tid=3427] ppid=3410 vsize=8547308 CPUtime=0.92 cores=0,2,4,6
/proc/3412/task/3427/stat : 3427 (java) T 3410 3412 3412 0 -1 4202560 4627 0 0 0 92 0 0 0 15 0 19 0 869309707 8752443392 265339 33554432000 1073741824 1073778376 140734473183088 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=3412/tid=3428] ppid=3410 vsize=8547308 CPUtime=0 cores=0,2,4,6
/proc/3412/task/3428/stat : 3428 (java) T 3410 3412 3412 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869309707 8752443392 265339 33554432000 1073741824 1073778376 140734473183088 18446744073709551615 242982366105 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3412/tid=3429] ppid=3410 vsize=8547308 CPUtime=0 cores=0,2,4,6
/proc/3412/task/3429/stat : 3429 (java) T 3410 3412 3412 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869309707 8752443392 265339 33554432000 1073741824 1073778376 140734473183088 18446744073709551615 242982366720 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=3412/tid=3431] ppid=3410 vsize=8547308 CPUtime=0 cores=0,2,4,6
/proc/3412/task/3431/stat : 3431 (java) T 3410 3412 3412 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869309744 8752443392 265339 33554432000 1073741824 1073778376 140734473183088 18446744073709551615 242982366720 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=3410/tid=3436] ppid=3019 vsize=336184 CPUtime=0 cores=0,2,4,6
/proc/3410/task/3436/stat : 3436 (python) S 3019 3019 2587 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869314566 344252416 6164 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554946 18446604440590194752 0 0 -1 2 0 0 0
[pid=3451] ppid=3019 vsize=346440 CPUtime=0.23 cores=0,2,4,6
/proc/3451/stat : 3451 (python) S 3019 3019 2587 0 -1 4202560 1160 0 0 0 11 12 0 0 17 0 2 0 869356288 354754560 6168 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/3451/statm: 86610 6168 391 364 0 21479 0
[pid=3453] ppid=3451 vsize=77764 CPUtime=47.25 cores=0,2,4,6
/proc/3453/stat : 3453 (bsolo_pb10) T 3451 3453 3453 0 -1 4202496 17409 0 0 0 4720 5 0 0 25 0 1 0 869356289 79630336 17011 33554432000 134512640 137138936 4292981904 18446744073709551615 134552141 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/3453/statm: 19441 17011 192 642 0 18797 0
[pid=3451/tid=3456] ppid=3019 vsize=346440 CPUtime=0 cores=0,2,4,6
/proc/3451/task/3456/stat : 3456 (python) S 3019 3019 2587 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869361015 354754560 6168 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554946 18446604446773855360 0 0 -1 0 0 0 0
[pid=3457] ppid=3019 vsize=356696 CPUtime=0.44 cores=0,2,4,6
/proc/3457/stat : 3457 (python) S 3019 3019 2587 0 -1 4202560 1237 0 0 0 23 21 0 0 16 0 2 0 869361017 365256704 6178 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982376907 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/3457/statm: 89174 6178 397 364 0 24040 0
[pid=3459] ppid=3457 vsize=123840 CPUtime=93.25 cores=0,2,4,6
/proc/3459/stat : 3459 (bsolo_pb10) T 3457 3459 3459 0 -1 4202496 28914 0 0 0 9316 9 0 0 25 0 1 0 869361017 126812160 28518 33554432000 134512640 137138936 4292593568 18446744073709551615 134542752 0 0 16781312 16384 18446744071562691360 0 0 17 4 0 0 0
/proc/3459/statm: 30960 28518 190 642 0 30316 0
[pid=3457/tid=3476] ppid=3019 vsize=356696 CPUtime=0 cores=0,2,4,6
/proc/3457/task/3476/stat : 3476 (python) S 3019 3019 2587 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869370343 365256704 6178 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554946 18446604452771271872 0 0 -1 4 0 0 0
[pid=3019/tid=3027] ppid=3017 vsize=366940 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3027/stat : 3027 (python) S 3017 3019 2587 0 -1 4202560 34 1354 0 0 0 0 4 0 18 0 9 0 869257922 375746560 7670 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 0 0 0 0
[pid=3019/tid=3294] ppid=3017 vsize=366940 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3294/stat : 3294 (python) S 3017 3019 2587 0 -1 4202560 51 1354 0 0 0 0 4 0 18 0 9 0 869262746 375746560 7670 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 4 0 0 0
[pid=3019/tid=3331] ppid=3017 vsize=366940 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3331/stat : 3331 (python) S 3017 3019 2587 0 -1 4202560 33 1354 0 0 0 0 4 0 18 0 9 0 869267693 375746560 7670 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 2 0 0 0
[pid=3019/tid=3362] ppid=3017 vsize=366940 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3362/stat : 3362 (python) S 3017 3019 2587 0 -1 4202560 30 1354 0 0 0 0 4 0 20 0 9 0 869277246 375746560 7670 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 2 0 0 0
[pid=3019/tid=3374] ppid=3017 vsize=366940 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3374/stat : 3374 (python) S 3017 3019 2587 0 -1 4202560 31 1354 0 0 0 0 4 0 20 0 9 0 869286585 375746560 7670 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 2 0 0 0
[pid=3019/tid=3411] ppid=3017 vsize=366940 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3411/stat : 3411 (python) S 3017 3019 2587 0 -1 4202560 31 1354 0 0 0 0 4 0 20 0 9 0 869309703 375746560 7670 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 6 0 0 0
[pid=3019/tid=3452] ppid=3017 vsize=366940 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3452/stat : 3452 (python) S 3017 3019 2587 0 -1 4202560 31 1354 0 0 0 0 4 0 20 0 9 0 869356288 375746560 7670 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 2 0 0 0
[pid=3019/tid=3458] ppid=3017 vsize=366940 CPUtime=0.04 cores=0,2,4,6
/proc/3019/task/3458/stat : 3458 (python) S 3017 3019 2587 0 -1 4202560 26 1354 0 0 0 0 4 0 20 0 9 0 869361017 375746560 7670 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 33554434 18446604450817876032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1559.76
Current children cumulated vsize (KiB) 12080424

[startup+1550.7 s]
/proc/loadavg: 2.11 2.10 1.93 3/627 3497
/proc/meminfo: memFree=13743224/32951132 swapFree=45426552/67111528
[pid=3019] ppid=3017 vsize=325860 CPUtime=1560.11 cores=0,2,4,6
/proc/3019/stat : 3019 (python) R 3017 3019 2587 0 -1 4202496 22062 456535 1 1 112 12 154451 1436 17 0 2 0 869257852 333680640 7640 33554432000 4194304 5683644 140736713324816 18446744073709551615 4501813 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/3019/statm: 81465 7640 1872 364 0 16357 0
[pid=3019/tid=3294] ppid=3017 vsize=325860 CPUtime=1558.87 cores=0,2,4,6
/proc/3019/task/3294/stat : 3294 (python) S 3017 3019 2587 0 -1 4202560 51 456535 0 1 0 0 154451 1436 18 0 2 0 869262746 333680640 7640 33554432000 4194304 5683644 140736713324816 18446744073709551615 242982373809 0 0 16781312 0 18446604450817876032 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1560.11
Current children cumulated vsize (KiB) 325860

Child status: 0
Real time (s): 1550.71
CPU time (s): 1560.13
CPU user time (s): 1545.64
CPU system time (s): 14.4848
CPU usage (%): 100.607
Max. virtual memory (cumulated for all children) (KiB): 12080424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1545.65
system time used= 14.4848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 479270
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= 9976
involuntary context switches= 7531

runsolver used 13.021 second user time and 25.7021 second system time

The end

Launcher Data 

Begin job on node128 at 2011-06-09 01:43:11
IDJOB=3482356
IDBENCH=48317
IDSOLVER=1971
FILE ID=node128/3482356-1307576591
RUNJOBID= node128-1307576356-2605
PBS_JOBID= 13547671
Free space on /tmp= 73832 MiB

SOLVER NAME= borg pb-dec-11.04.03
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_3_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-3482356-1307576591/watcher-3482356-1307576591 -o /tmp/evaluation-result-3482356-1307576591/solver-3482356-1307576591 -C 1800 -W 1900 -M 15500  python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482356-1307576591.opb -seed 1710174457 -budget 1800

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

MD5SUM BENCH= 0f8b3c4075c45404d33689fa65bc6a7e
RANDOM SEED=1710174457

node128.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.852
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.70
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.852
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.75
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.852
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.82
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.852
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.852
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.82
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.852
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.852
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.82
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      17296392 kB
Buffers:        360352 kB
Cached:        2486632 kB
SwapCached:      35756 kB
Active:        9455176 kB
Inactive:      5851376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      17296392 kB
SwapTotal:    67111528 kB
SwapFree:     45426552 kB
Dirty:          203988 kB
Writeback:          40 kB
AnonPages:    12433440 kB
Mapped:          23800 kB
Slab:           163848 kB
PageTables:     113516 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 174858588 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73732 MiB
End job on node128 at 2011-06-09 02:09:03