Trace number 363990

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
sat4jPseudoCPClause 2007-03-23OPT24 495.919 482.615

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-count.b.opb
MD5SUM931342e76f648ae82c047d164917a326
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark0.181971
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables466
Total number of constraints694
Number of constraints which are clauses694
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint78
Number of terms in the objective function 466
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 466
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 466
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.09/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.09/0.13	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.09/0.13	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.09/0.14	c no version file found!!!
0.09/0.14	c sun.arch.data.model	32
0.09/0.14	c java.version	1.6.0
0.09/0.14	c os.name	Linux
0.09/0.14	c os.version	2.6.9-22.EL.rootsmp
0.09/0.14	c os.arch	i386
0.09/0.14	c Free memory 1651659224
0.09/0.14	c Max memory 1654456320
0.09/0.14	c Total memory 1654456320
0.09/0.15	c Number of processors 2
0.20/0.20	c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause)
0.20/0.20	--- Begin Solver configuration ---
0.20/0.20	c Stops conflict analysis at the first Unique Implication Point
0.20/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.20/0.20	c Learn all clauses as in MiniSAT
0.20/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 
0.20/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.20/0.20	c No reason simplification
0.20/0.20	c --- End Solver configuration ---
0.20/0.20	c Simplify asserted PB constraints to clauses
0.20/0.20	c solving /tmp/evaluation/363990-1177035980/instance-363990-1177035980.opb
0.20/0.20	c reading problem ... 
1.32/0.95	c ... done. Wall clock time 0.746s.
1.32/0.95	c CPU time (experimental) 0.55s.
1.32/0.95	c #vars     466
1.32/0.95	c #constraints  694
1.32/0.98	c SATISFIABLE
1.32/0.98	c OPTIMIZING...
1.32/0.98	c Got one! Elapsed wall clock time (in seconds):0.776
1.32/0.98	o 30
1.62/1.19	c Got one! Elapsed wall clock time (in seconds):0.994
1.62/1.19	o 29
2.47/1.64	c Got one! Elapsed wall clock time (in seconds):1.444
2.47/1.64	o 28
22.80/20.25	c Got one! Elapsed wall clock time (in seconds):20.048
22.80/20.25	o 27
24.93/22.32	c Got one! Elapsed wall clock time (in seconds):22.122
24.93/22.32	o 26
84.23/80.82	c Got one! Elapsed wall clock time (in seconds):80.622
84.23/80.82	o 25
352.59/343.59	c Got one! Elapsed wall clock time (in seconds):343.391
352.59/343.59	o 24
495.71/482.50	c starts		: 12
495.71/482.50	c conflicts		: 10017
495.71/482.50	c decisions		: 104631
495.71/482.50	c propagations		: 338002
495.71/482.50	c inspects		: 52161927
495.71/482.50	c learnt literals	: 0
495.71/482.50	c learnt binary clauses	: 0
495.71/482.50	c learnt ternary clauses	: 0
495.71/482.50	c learnt clauses	: 10016
495.71/482.50	c root simplifications	: 0
495.71/482.50	c removed literals (reason simplification)	: 0
495.71/482.50	c reason swapping (by a shorter reason)	: 0
495.71/482.50	c Calls to reduceDB	: 0
495.71/482.50	c speed (decisions/second)	: 753.3046308029029
495.71/482.50	c non guided choices	0
495.71/482.50	s OPTIMUM FOUND
495.83/482.50	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
495.83/482.50	v -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
495.83/482.50	v -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
495.83/482.50	v -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
495.83/482.50	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
495.83/482.50	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
495.83/482.50	v -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
495.83/482.50	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 -x183 -x184 -x185 x186 x187 -x188 -x189
495.83/482.50	v x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
495.83/482.50	v -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
495.83/482.50	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252
495.83/482.50	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
495.83/482.50	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
495.83/482.50	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
495.83/482.50	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336
495.83/482.50	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
495.83/482.50	v -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
495.83/482.50	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399
495.83/482.50	v -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420
495.83/482.50	v -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441
495.83/482.50	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
495.83/482.50	v x463 -x464 -x465 -x466
495.83/482.50	c objective function=24
495.83/482.50	c Total wall clock time (ms): 482.301

Verifier Data (download as text)

OK	24

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node52/watcher-363990-1177035980 -o ROOT/results/node52/solver-363990-1177035980 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/363990-1177035980/sat4jPseudoCPClause.jar /tmp/evaluation/363990-1177035980/instance-363990-1177035980.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 18777
/proc/meminfo: memFree=1788300/2055920 swapFree=4182956/4192956
[pid=18777] ppid=18775 vsize=272 CPUtime=0
/proc/18777/stat : 18777 (java) D 18775 18777 17084 0 -1 0 53 0 0 0 0 0 0 0 18 0 1 0 58443100 278528 37 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4309796 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/18777/statm: 77 37 28 9 0 6 0

[startup+0.104061 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 18777
/proc/meminfo: memFree=1788300/2055920 swapFree=4182956/4192956
[pid=18777] ppid=18775 vsize=1780260 CPUtime=0.09
/proc/18777/stat : 18777 (java) S 18775 18777 17084 0 -1 0 4005 0 1 0 6 3 0 0 18 0 12 0 58443100 1822986240 3747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18777/statm: 445065 3747 1124 9 0 442683 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1780260

[startup+0.201066 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 18777
/proc/meminfo: memFree=1788300/2055920 swapFree=4182956/4192956
[pid=18777] ppid=18775 vsize=1782264 CPUtime=0.2
/proc/18777/stat : 18777 (java) S 18775 18777 17084 0 -1 0 4857 0 1 0 17 3 0 0 18 0 12 0 58443100 1825038336 4596 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18777/statm: 445566 4596 1244 9 0 443177 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 1782264

[startup+0.301074 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 18777
/proc/meminfo: memFree=1788300/2055920 swapFree=4182956/4192956
[pid=18777] ppid=18775 vsize=1782264 CPUtime=0.32
/proc/18777/stat : 18777 (java) S 18775 18777 17084 0 -1 0 5121 0 1 0 28 4 0 0 18 0 12 0 58443100 1825038336 4860 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18777/statm: 445566 4860 1264 9 0 443177 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 1782264

[startup+0.701098 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 18777
/proc/meminfo: memFree=1788300/2055920 swapFree=4182956/4192956
[pid=18777] ppid=18775 vsize=1784424 CPUtime=0.95
/proc/18777/stat : 18777 (java) S 18775 18777 17084 0 -1 0 7930 0 1 0 90 5 0 0 18 0 12 0 58443100 1827250176 6534 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18777/statm: 446106 6534 1306 9 0 443717 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 1784424

[startup+1.50215 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 18791
/proc/meminfo: memFree=1756452/2055920 swapFree=4182956/4192956
[pid=18777] ppid=18775 vsize=1785600 CPUtime=2.3
/proc/18777/stat : 18777 (java) S 18775 18777 17084 0 -1 0 22013 0 1 0 218 12 0 0 18 0 13 0 58443100 1828454400 19352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18777/statm: 446400 19354 1316 9 0 444011 0
[pid=18777/tid=18779] ppid=18775 vsize=1785600 CPUtime=0.97
/proc/18777/task/18779/stat : 18779 (java) R 18775 18777 17084 0 -1 64 17468 0 1 0 88 9 0 0 23 0 13 0 58443101 1828454400 19356 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109735395 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18780] ppid=18775 vsize=1785600 CPUtime=0
/proc/18777/task/18780/stat : 18780 (java) S 18775 18777 17084 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 58443103 1828454400 19359 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18781] ppid=18775 vsize=1785600 CPUtime=0
/proc/18777/task/18781/stat : 18781 (java) S 18775 18777 17084 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 58443103 1828454400 19360 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18782] ppid=18775 vsize=1785600 CPUtime=0
/proc/18777/task/18782/stat : 18782 (java) S 18775 18777 17084 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 58443105 1828454400 19363 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18783] ppid=18775 vsize=1785600 CPUtime=0
/proc/18777/task/18783/stat : 18783 (java) S 18775 18777 17084 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 58443105 1828454400 19366 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18784] ppid=18775 vsize=1785600 CPUtime=0
/proc/18777/task/18784/stat : 18784 (java) S 18775 18777 17084 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 58443105 1828454400 19367 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18785] ppid=18775 vsize=1785600 CPUtime=0
/proc/18777/task/18785/stat : 18785 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 58443109 1828454400 19370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18786] ppid=18775 vsize=1785600 CPUtime=0.71
/proc/18777/task/18786/stat : 18786 (java) S 18775 18777 17084 0 -1 64 1793 0 0 0 70 1 0 0 17 0 13 0 58443109 1828454400 19372 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18787] ppid=18775 vsize=1785600 CPUtime=0.59
/proc/18777/task/18787/stat : 18787 (java) S 18775 18777 17084 0 -1 64 2034 0 0 0 59 0 0 0 16 0 13 0 58443109 1828454400 19374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18788] ppid=18775 vsize=1785600 CPUtime=0
/proc/18777/task/18788/stat : 18788 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 58443109 1828454400 19377 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18789] ppid=18775 vsize=1785600 CPUtime=0
/proc/18777/task/18789/stat : 18789 (java) S 18775 18777 17084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 58443109 1828454400 19378 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 1785600

[startup+3.10225 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 18793
/proc/meminfo: memFree=1625564/2055920 swapFree=4182956/4192956
[pid=18777] ppid=18775 vsize=1794920 CPUtime=4.82
/proc/18777/stat : 18777 (java) S 18775 18777 17084 0 -1 0 49006 0 1 0 459 23 0 0 18 0 13 0 58443100 1837998080 42389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18777/statm: 448730 42389 1330 9 0 446341 0
[pid=18777/tid=18779] ppid=18775 vsize=1794920 CPUtime=2.16
/proc/18777/task/18779/stat : 18779 (java) R 18775 18777 17084 0 -1 64 37727 0 1 0 199 17 0 0 19 0 13 0 58443101 1837998080 42389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109734724 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18780] ppid=18775 vsize=1794920 CPUtime=0
/proc/18777/task/18780/stat : 18780 (java) S 18775 18777 17084 0 -1 64 179 0 0 0 0 0 0 0 17 0 13 0 58443103 1837998080 42389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18781] ppid=18775 vsize=1794920 CPUtime=0.01
/proc/18777/task/18781/stat : 18781 (java) S 18775 18777 17084 0 -1 64 400 0 0 0 1 0 0 0 16 0 13 0 58443103 1837998080 42389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18782] ppid=18775 vsize=1794920 CPUtime=0
/proc/18777/task/18782/stat : 18782 (java) S 18775 18777 17084 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 58443105 1837998080 42389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18783] ppid=18775 vsize=1794920 CPUtime=0
/proc/18777/task/18783/stat : 18783 (java) S 18775 18777 17084 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 58443105 1837998080 42389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18784] ppid=18775 vsize=1794920 CPUtime=0
/proc/18777/task/18784/stat : 18784 (java) S 18775 18777 17084 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 58443105 1837998080 42389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18785] ppid=18775 vsize=1794920 CPUtime=0
/proc/18777/task/18785/stat : 18785 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 58443109 1837998080 42389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18786] ppid=18775 vsize=1794920 CPUtime=1.6
/proc/18777/task/18786/stat : 18786 (java) S 18775 18777 17084 0 -1 64 6589 0 0 0 158 2 0 0 15 0 13 0 58443109 1837998080 42389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18787] ppid=18775 vsize=1794920 CPUtime=1.01
/proc/18777/task/18787/stat : 18787 (java) S 18775 18777 17084 0 -1 64 3380 0 0 0 99 2 0 0 16 0 13 0 58443109 1837998080 42389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18788] ppid=18775 vsize=1794920 CPUtime=0
/proc/18777/task/18788/stat : 18788 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 58443109 1837998080 42389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18789] ppid=18775 vsize=1794920 CPUtime=0
/proc/18777/task/18789/stat : 18789 (java) S 18775 18777 17084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 58443109 1837998080 42389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18793] ppid=18775 vsize=1794920 CPUtime=0
/proc/18777/task/18793/stat : 18793 (java) S 18775 18777 17084 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 58443266 1837998080 42389 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.82
Current children cumulated vsize (KiB) 1794920

[startup+6.30147 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 18793
/proc/meminfo: memFree=1602204/2055920 swapFree=4182956/4192956
[pid=18777] ppid=18775 vsize=1794728 CPUtime=8.26
/proc/18777/stat : 18777 (java) S 18775 18777 17084 0 -1 0 56341 0 1 0 800 26 0 0 18 0 13 0 58443100 1837801472 48291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18777/statm: 448682 48291 1330 9 0 446293 0
[pid=18777/tid=18779] ppid=18775 vsize=1794728 CPUtime=5.25
/proc/18777/task/18779/stat : 18779 (java) R 18775 18777 17084 0 -1 64 41196 0 1 0 507 18 0 0 21 0 13 0 58443101 1837801472 48291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109741088 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18780] ppid=18775 vsize=1794728 CPUtime=0.06
/proc/18777/task/18780/stat : 18780 (java) S 18775 18777 17084 0 -1 64 1644 0 0 0 6 0 0 0 16 0 13 0 58443103 1837801472 48291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18781] ppid=18775 vsize=1794728 CPUtime=0.06
/proc/18777/task/18781/stat : 18781 (java) S 18775 18777 17084 0 -1 64 1949 0 0 0 6 0 0 0 16 0 13 0 58443103 1837801472 48291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18782] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18782/stat : 18782 (java) S 18775 18777 17084 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 58443105 1837801472 48291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18783] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18783/stat : 18783 (java) S 18775 18777 17084 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 58443105 1837801472 48291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18784] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18784/stat : 18784 (java) S 18775 18777 17084 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 58443105 1837801472 48291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18785] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18785/stat : 18785 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 58443109 1837801472 48291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18786] ppid=18775 vsize=1794728 CPUtime=1.79
/proc/18777/task/18786/stat : 18786 (java) S 18775 18777 17084 0 -1 64 7424 0 0 0 176 3 0 0 16 0 13 0 58443109 1837801472 48291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18787] ppid=18775 vsize=1794728 CPUtime=1.05
/proc/18777/task/18787/stat : 18787 (java) S 18775 18777 17084 0 -1 64 3380 0 0 0 103 2 0 0 16 0 13 0 58443109 1837801472 48291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18788] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18788/stat : 18788 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 58443109 1837801472 48291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18789] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18789/stat : 18789 (java) S 18775 18777 17084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 58443109 1837801472 48291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18793] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18793/stat : 18793 (java) S 18775 18777 17084 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 58443266 1837801472 48291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.26
Current children cumulated vsize (KiB) 1794728

[startup+12.7029 s]
/proc/loadavg: 0.94 0.98 0.99 2/77 18793
/proc/meminfo: memFree=1571612/2055920 swapFree=4182956/4192956
[pid=18777] ppid=18775 vsize=1794728 CPUtime=14.87
/proc/18777/stat : 18777 (java) S 18775 18777 17084 0 -1 0 63435 0 1 0 1458 29 0 0 18 0 13 0 58443100 1837801472 55200 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18777/statm: 448682 55200 1331 9 0 446293 0
[pid=18777/tid=18779] ppid=18775 vsize=1794728 CPUtime=11.55
/proc/18777/task/18779/stat : 18779 (java) R 18775 18777 17084 0 -1 64 45462 0 1 0 1135 20 0 0 25 0 13 0 58443101 1837801472 55200 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109838202 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18780] ppid=18775 vsize=1794728 CPUtime=0.13
/proc/18777/task/18780/stat : 18780 (java) S 18775 18777 17084 0 -1 64 2962 0 0 0 13 0 0 0 16 0 13 0 58443103 1837801472 55200 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18781] ppid=18775 vsize=1794728 CPUtime=0.14
/proc/18777/task/18781/stat : 18781 (java) S 18775 18777 17084 0 -1 64 3456 0 0 0 13 1 0 0 16 0 13 0 58443103 1837801472 55200 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18782] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18782/stat : 18782 (java) S 18775 18777 17084 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 58443105 1837801472 55200 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18783] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18783/stat : 18783 (java) S 18775 18777 17084 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 58443105 1837801472 55200 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18784] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18784/stat : 18784 (java) S 18775 18777 17084 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 58443105 1837801472 55200 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18785] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18785/stat : 18785 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 58443109 1837801472 55200 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18786] ppid=18775 vsize=1794728 CPUtime=1.85
/proc/18777/task/18786/stat : 18786 (java) S 18775 18777 17084 0 -1 64 7426 0 0 0 182 3 0 0 15 0 13 0 58443109 1837801472 55200 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18787] ppid=18775 vsize=1794728 CPUtime=1.14
/proc/18777/task/18787/stat : 18787 (java) S 18775 18777 17084 0 -1 64 3381 0 0 0 112 2 0 0 16 0 13 0 58443109 1837801472 55200 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18788] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18788/stat : 18788 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 58443109 1837801472 55200 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18789] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18789/stat : 18789 (java) S 18775 18777 17084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 58443109 1837801472 55200 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18793] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18793/stat : 18793 (java) S 18775 18777 17084 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 58443266 1837801472 55200 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.87
Current children cumulated vsize (KiB) 1794728

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/77 18795
/proc/meminfo: memFree=1558988/2055920 swapFree=4182956/4192956
[pid=18777] ppid=18775 vsize=1794728 CPUtime=28.18
/proc/18777/stat : 18777 (java) S 18775 18777 17084 0 -1 0 67424 0 1 0 2787 31 0 0 18 0 13 0 58443100 1837801472 58354 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18777/statm: 448682 58354 1332 9 0 446293 0
[pid=18777/tid=18779] ppid=18775 vsize=1794728 CPUtime=24.2
/proc/18777/task/18779/stat : 18779 (java) R 18775 18777 17084 0 -1 64 45486 0 1 0 2400 20 0 0 25 0 13 0 58443101 1837801472 58354 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109723933 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18780] ppid=18775 vsize=1794728 CPUtime=0.26
/proc/18777/task/18780/stat : 18780 (java) S 18775 18777 17084 0 -1 64 4581 0 0 0 26 0 0 0 16 0 13 0 58443103 1837801472 58354 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18781] ppid=18775 vsize=1794728 CPUtime=0.28
/proc/18777/task/18781/stat : 18781 (java) S 18775 18777 17084 0 -1 64 5571 0 0 0 26 2 0 0 16 0 13 0 58443103 1837801472 58354 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18782] ppid=18775 vsize=1794728 CPUtime=0.01
/proc/18777/task/18782/stat : 18782 (java) S 18775 18777 17084 0 -1 64 27 0 0 0 1 0 0 0 15 0 13 0 58443105 1837801472 58354 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0

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

[pid=18777] ppid=18775 vsize=1794728 CPUtime=486.66
/proc/18777/stat : 18777 (java) S 18775 18777 17084 0 -1 0 147849 0 1 0 48592 74 0 0 18 0 13 0 58443100 1837801472 127155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18777/statm: 448682 127155 1334 9 0 446293 0
[pid=18777/tid=18779] ppid=18775 vsize=1794728 CPUtime=461.14
/proc/18777/task/18779/stat : 18779 (java) R 18775 18777 17084 0 -1 64 45957 0 1 0 46091 23 0 0 18 0 13 0 58443101 1837801472 127155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109869085 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=1794728 CPUtime=10.88
/proc/18777/task/18780/stat : 18780 (java) S 18775 18777 17084 0 -1 64 45283 0 0 0 1068 20 0 0 17 0 13 0 58443103 1837801472 127155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18781] ppid=18775 vsize=1794728 CPUtime=10.94
/proc/18777/task/18781/stat : 18781 (java) S 18775 18777 17084 0 -1 64 44810 0 0 0 1075 19 0 0 17 0 13 0 58443103 1837801472 127155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18782] ppid=18775 vsize=1794728 CPUtime=0.14
/proc/18777/task/18782/stat : 18782 (java) S 18775 18777 17084 0 -1 64 28 0 0 0 10 4 0 0 16 0 13 0 58443105 1837801472 127155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18783] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18783/stat : 18783 (java) S 18775 18777 17084 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 58443105 1837801472 127155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18784] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18784/stat : 18784 (java) S 18775 18777 17084 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 58443105 1837801472 127155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18785] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18785/stat : 18785 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 58443109 1837801472 127155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18786] ppid=18775 vsize=1794728 CPUtime=2.15
/proc/18777/task/18786/stat : 18786 (java) S 18775 18777 17084 0 -1 64 7655 0 0 0 212 3 0 0 16 0 13 0 58443109 1837801472 127155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18787] ppid=18775 vsize=1794728 CPUtime=1.35
/proc/18777/task/18787/stat : 18787 (java) S 18775 18777 17084 0 -1 64 3389 0 0 0 133 2 0 0 16 0 13 0 58443109 1837801472 127155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18788] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18788/stat : 18788 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 58443109 1837801472 127155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18789] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18789/stat : 18789 (java) S 18775 18777 17084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 58443109 1837801472 127155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18797] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18797/stat : 18797 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 58477460 1837801472 127155 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 486.66
Current children cumulated vsize (KiB) 1794728

[startup+476.801 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 18797
/proc/meminfo: memFree=1281916/2055920 swapFree=4182956/4192956
[pid=18777] ppid=18775 vsize=1794728 CPUtime=489.93
/proc/18777/stat : 18777 (java) S 18775 18777 17084 0 -1 0 148181 0 1 0 48919 74 0 0 18 0 13 0 58443100 1837801472 127424 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18777/statm: 448682 127424 1334 9 0 446293 0
[pid=18777/tid=18779] ppid=18775 vsize=1794728 CPUtime=464.26
/proc/18777/task/18779/stat : 18779 (java) R 18775 18777 17084 0 -1 64 45959 0 1 0 46403 23 0 0 21 0 13 0 58443101 1837801472 127424 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109735282 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=1794728 CPUtime=10.96
/proc/18777/task/18780/stat : 18780 (java) S 18775 18777 17084 0 -1 64 45410 0 0 0 1076 20 0 0 16 0 13 0 58443103 1837801472 127424 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18781] ppid=18775 vsize=1794728 CPUtime=11.02
/proc/18777/task/18781/stat : 18781 (java) S 18775 18777 17084 0 -1 64 45013 0 0 0 1083 19 0 0 17 0 13 0 58443103 1837801472 127424 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18782] ppid=18775 vsize=1794728 CPUtime=0.14
/proc/18777/task/18782/stat : 18782 (java) S 18775 18777 17084 0 -1 64 28 0 0 0 10 4 0 0 16 0 13 0 58443105 1837801472 127424 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18783] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18783/stat : 18783 (java) S 18775 18777 17084 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 58443105 1837801472 127424 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18784] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18784/stat : 18784 (java) S 18775 18777 17084 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 58443105 1837801472 127424 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18785] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18785/stat : 18785 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 58443109 1837801472 127424 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18786] ppid=18775 vsize=1794728 CPUtime=2.15
/proc/18777/task/18786/stat : 18786 (java) S 18775 18777 17084 0 -1 64 7655 0 0 0 212 3 0 0 16 0 13 0 58443109 1837801472 127424 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18787] ppid=18775 vsize=1794728 CPUtime=1.35
/proc/18777/task/18787/stat : 18787 (java) S 18775 18777 17084 0 -1 64 3389 0 0 0 133 2 0 0 16 0 13 0 58443109 1837801472 127424 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18788] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18788/stat : 18788 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 58443109 1837801472 127424 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18789] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18789/stat : 18789 (java) S 18775 18777 17084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 58443109 1837801472 127424 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18797] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18797/stat : 18797 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 58477460 1837801472 127424 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 489.93
Current children cumulated vsize (KiB) 1794728

[startup+480.003 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 18797
/proc/meminfo: memFree=1280636/2055920 swapFree=4182956/4192956
[pid=18777] ppid=18775 vsize=1794728 CPUtime=493.22
/proc/18777/stat : 18777 (java) S 18775 18777 17084 0 -1 0 148561 0 1 0 49248 74 0 0 18 0 13 0 58443100 1837801472 127746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18777/statm: 448682 127746 1334 9 0 446293 0
[pid=18777/tid=18779] ppid=18775 vsize=1794728 CPUtime=467.37
/proc/18777/task/18779/stat : 18779 (java) S 18775 18777 17084 0 -1 64 45961 0 1 0 46714 23 0 0 25 0 13 0 58443101 1837801472 127746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=1794728 CPUtime=11.04
/proc/18777/task/18780/stat : 18780 (java) R 18775 18777 17084 0 -1 64 45554 0 0 0 1084 20 0 0 16 0 13 0 58443103 1837801472 127746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105070774 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18781] ppid=18775 vsize=1794728 CPUtime=11.11
/proc/18777/task/18781/stat : 18781 (java) R 18775 18777 17084 0 -1 64 45247 0 0 0 1092 19 0 0 16 0 13 0 58443103 1837801472 127746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105070772 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18782] ppid=18775 vsize=1794728 CPUtime=0.14
/proc/18777/task/18782/stat : 18782 (java) S 18775 18777 17084 0 -1 64 28 0 0 0 10 4 0 0 16 0 13 0 58443105 1837801472 127746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18783] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18783/stat : 18783 (java) S 18775 18777 17084 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 58443105 1837801472 127746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18784] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18784/stat : 18784 (java) S 18775 18777 17084 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 58443105 1837801472 127746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18785] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18785/stat : 18785 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 58443109 1837801472 127746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18786] ppid=18775 vsize=1794728 CPUtime=2.15
/proc/18777/task/18786/stat : 18786 (java) S 18775 18777 17084 0 -1 64 7655 0 0 0 212 3 0 0 16 0 13 0 58443109 1837801472 127746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18787] ppid=18775 vsize=1794728 CPUtime=1.35
/proc/18777/task/18787/stat : 18787 (java) S 18775 18777 17084 0 -1 64 3389 0 0 0 133 2 0 0 16 0 13 0 58443109 1837801472 127746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18788] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18788/stat : 18788 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 58443109 1837801472 127746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18789] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18789/stat : 18789 (java) S 18775 18777 17084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 58443109 1837801472 127746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18797] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18797/stat : 18797 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 58477460 1837801472 127746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 493.22
Current children cumulated vsize (KiB) 1794728

[startup+481.603 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 18797
/proc/meminfo: memFree=1280124/2055920 swapFree=4182956/4192956
[pid=18777] ppid=18775 vsize=1794728 CPUtime=494.89
/proc/18777/stat : 18777 (java) S 18775 18777 17084 0 -1 0 148885 0 1 0 49415 74 0 0 18 0 13 0 58443100 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18777/statm: 448682 128025 1334 9 0 446293 0
[pid=18777/tid=18779] ppid=18775 vsize=1794728 CPUtime=468.9
/proc/18777/task/18779/stat : 18779 (java) R 18775 18777 17084 0 -1 64 45963 0 1 0 46867 23 0 0 25 0 13 0 58443101 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109734884 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=1794728 CPUtime=11.12
/proc/18777/task/18780/stat : 18780 (java) S 18775 18777 17084 0 -1 64 45723 0 0 0 1092 20 0 0 17 0 13 0 58443103 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18781] ppid=18775 vsize=1794728 CPUtime=11.18
/proc/18777/task/18781/stat : 18781 (java) S 18775 18777 17084 0 -1 64 45400 0 0 0 1099 19 0 0 16 0 13 0 58443103 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18782] ppid=18775 vsize=1794728 CPUtime=0.14
/proc/18777/task/18782/stat : 18782 (java) S 18775 18777 17084 0 -1 64 28 0 0 0 10 4 0 0 16 0 13 0 58443105 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18783] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18783/stat : 18783 (java) S 18775 18777 17084 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 58443105 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18784] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18784/stat : 18784 (java) S 18775 18777 17084 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 58443105 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18785] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18785/stat : 18785 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 58443109 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18786] ppid=18775 vsize=1794728 CPUtime=2.15
/proc/18777/task/18786/stat : 18786 (java) S 18775 18777 17084 0 -1 64 7655 0 0 0 212 3 0 0 16 0 13 0 58443109 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18787] ppid=18775 vsize=1794728 CPUtime=1.35
/proc/18777/task/18787/stat : 18787 (java) S 18775 18777 17084 0 -1 64 3389 0 0 0 133 2 0 0 16 0 13 0 58443109 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18788] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18788/stat : 18788 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 58443109 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18789] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18789/stat : 18789 (java) S 18775 18777 17084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 58443109 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18797] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18797/stat : 18797 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 58477460 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 494.89
Current children cumulated vsize (KiB) 1794728

[startup+482.403 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 18797
/proc/meminfo: memFree=1279548/2055920 swapFree=4182956/4192956
[pid=18777] ppid=18775 vsize=1794728 CPUtime=495.71
/proc/18777/stat : 18777 (java) S 18775 18777 17084 0 -1 0 148886 0 1 0 49497 74 0 0 18 0 13 0 58443100 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18777/statm: 448682 128025 1334 9 0 446293 0
[pid=18777/tid=18779] ppid=18775 vsize=1794728 CPUtime=469.67
/proc/18777/task/18779/stat : 18779 (java) S 18775 18777 17084 0 -1 64 45964 0 1 0 46944 23 0 0 25 0 13 0 58443101 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18780] ppid=18775 vsize=1794728 CPUtime=11.14
/proc/18777/task/18780/stat : 18780 (java) R 18775 18777 17084 0 -1 64 45723 0 0 0 1094 20 0 0 17 0 13 0 58443103 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105070770 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18781] ppid=18775 vsize=1794728 CPUtime=11.21
/proc/18777/task/18781/stat : 18781 (java) R 18775 18777 17084 0 -1 64 45400 0 0 0 1102 19 0 0 17 0 13 0 58443103 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105070770 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18782] ppid=18775 vsize=1794728 CPUtime=0.14
/proc/18777/task/18782/stat : 18782 (java) S 18775 18777 17084 0 -1 64 28 0 0 0 10 4 0 0 15 0 13 0 58443105 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18783] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18783/stat : 18783 (java) S 18775 18777 17084 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 58443105 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18784] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18784/stat : 18784 (java) S 18775 18777 17084 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 58443105 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18777/tid=18785] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18785/stat : 18785 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 58443109 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18786] ppid=18775 vsize=1794728 CPUtime=2.15
/proc/18777/task/18786/stat : 18786 (java) S 18775 18777 17084 0 -1 64 7655 0 0 0 212 3 0 0 16 0 13 0 58443109 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18787] ppid=18775 vsize=1794728 CPUtime=1.35
/proc/18777/task/18787/stat : 18787 (java) S 18775 18777 17084 0 -1 64 3389 0 0 0 133 2 0 0 16 0 13 0 58443109 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18788] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18788/stat : 18788 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 58443109 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18789] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18789/stat : 18789 (java) S 18775 18777 17084 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 58443109 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18777/tid=18797] ppid=18775 vsize=1794728 CPUtime=0
/proc/18777/task/18797/stat : 18797 (java) S 18775 18777 17084 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 58477460 1837801472 128025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 495.71
Current children cumulated vsize (KiB) 1794728

[startup+482.603 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 18797
/proc/meminfo: memFree=1279548/2055920 swapFree=4182956/4192956
[pid=18777] ppid=18775 vsize=0 CPUtime=495.9
/proc/18777/stat : 18777 (java) Z 18775 18777 17084 0 -1 1036 149069 0 1 0 49509 81 0 0 16 0 2 0 58443100 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18777/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 495.9
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 482.615
CPU time (s): 495.919
CPU user time (s): 495.091
CPU system time (s): 0.827874
CPU usage (%): 102.757
Max. virtual memory (cumulated for all children) (KiB): 1796976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 495.091
system time used= 0.827874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149069
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15099
involuntary context switches= 12323

runsolver used 0.582911 second user time and 1.43578 second system time

The end

Launcher Data (download as text)

Begin job on node52 on Fri Apr 20 02:26:20 UTC 2007

IDJOB= 363990
IDBENCH= 2049
IDSOLVER= 164
FILE ID= node52/363990-1177035980

PBS_JOBID= 4630651

Free space on /tmp= 66310 MiB

SOLVER NAME= sat4jPseudoCPClause 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-count.b.opb
COMMAND LINE= java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/363990-1177035980/sat4jPseudoCPClause.jar /tmp/evaluation/363990-1177035980/instance-363990-1177035980.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-363990-1177035980 -o ROOT/results/node52/solver-363990-1177035980 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/363990-1177035980/sat4jPseudoCPClause.jar /tmp/evaluation/363990-1177035980/instance-363990-1177035980.opb

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  931342e76f648ae82c047d164917a326

RANDOM SEED= 332136702

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node52.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1788644 kB
Buffers:         20520 kB
Cached:         196668 kB
SwapCached:       3744 kB
Active:          48956 kB
Inactive:       178076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1788644 kB
SwapTotal:     4192956 kB
SwapFree:      4182956 kB
Dirty:            3720 kB
Writeback:           0 kB
Mapped:          15892 kB
Slab:            26188 kB
Committed_AS:  1663888 kB
PageTables:       1488 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66310 MiB

End job on node52 on Fri Apr 20 02:34:23 UTC 2007