Trace number 3312177

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
STRUCTure 0.1 (hbr=2)? (TO) 4800.17 1210.34

General information on the benchmark

NameSAT02/industrial/goldberg/rand_net/
rand_net70-60-10.shuffled.cnf
MD5SUM6ebe2de27b5534e626cb88c01abcf6c6
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.028995
Satisfiable
(Un)Satisfiability was proved
Number of variables8400
Number of clauses25061
Sum of the clauses size58730
Maximum clause length70
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 216520
Number of clauses of size 38540
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51

Solver Data 

0.09/0.13	39:13 INFO : Reading from input HOME/instance-3312177-1304188753.cnf
0.49/0.37	Executor set job limit to 1000000
0.49/0.37	Executor set job limit to 1000000
0.49/0.37	Executor set job limit to 1000000
0.49/0.37	Executor set job limit to 1000000
0.49/0.38	Starting Executor!
0.49/0.38	Starting Executor!
0.49/0.38	Starting Executor!
0.49/0.38	Starting Executor!
1.09/0.67	39:14 INFO : Found 70 xor gates
4.18/2.59	39:15 INFO : 7615 variables remaining out of 8400
4.18/2.59	39:15 INFO : 716890 literals remaining out of 82951

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3312177-1304188753/watcher-3312177-1304188753 -o /tmp/evaluation-result-3312177-1304188753/solver-3312177-1304188753 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312177-1304188753.cnf -hbr 2 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 7.34 7.90 7.89 2/172 23229
/proc/meminfo: memFree=25432424/32951124 swapFree=67111448/67111528
[pid=23229] ppid=23227 vsize=3528 CPUtime=0 cores=1,3,5,7
/proc/23229/stat : 23229 (java) R 23227 23229 23064 0 -1 4194304 541 0 0 0 0 0 0 0 25 0 1 0 511291407 3612672 46 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255101845127 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23229/statm: 1398 49 39 9 0 27 0

[startup+0.03812 s]
/proc/loadavg: 7.34 7.90 7.89 2/172 23229
/proc/meminfo: memFree=25432424/32951124 swapFree=67111448/67111528
[pid=23229] ppid=23227 vsize=15604116 CPUtime=0.01 cores=1,3,5,7
/proc/23229/stat : 23229 (java) S 23227 23229 23064 0 -1 4202496 3447 0 1 0 1 0 0 0 25 0 13 0 511291407 15978614784 2887 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/23229/statm: 3901029 2887 1636 9 0 3891777 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15604116

[startup+0.101037 s]
/proc/loadavg: 7.34 7.90 7.89 2/172 23229
/proc/meminfo: memFree=25432424/32951124 swapFree=67111448/67111528
[pid=23229] ppid=23227 vsize=15676620 CPUtime=0.09 cores=1,3,5,7
/proc/23229/stat : 23229 (java) S 23227 23229 23064 0 -1 4202496 5331 0 1 0 8 1 0 0 25 0 18 0 511291407 16052858880 4770 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23229/statm: 3919155 4772 2115 9 0 3909874 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676620

[startup+0.301002 s]
/proc/loadavg: 7.34 7.90 7.89 2/172 23229
/proc/meminfo: memFree=25432424/32951124 swapFree=67111448/67111528
[pid=23229] ppid=23227 vsize=15680716 CPUtime=0.49 cores=1,3,5,7
/proc/23229/stat : 23229 (java) S 23227 23229 23064 0 -1 4202496 13413 0 1 0 46 3 0 0 25 0 18 0 511291407 16057053184 12022 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23229/statm: 3920179 12025 2205 9 0 3910898 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 15680716

[startup+0.700932 s]
/proc/loadavg: 7.34 7.90 7.89 2/172 23229
/proc/meminfo: memFree=25432424/32951124 swapFree=67111448/67111528
[pid=23229] ppid=23227 vsize=15707140 CPUtime=1.34 cores=1,3,5,7
/proc/23229/stat : 23229 (java) S 23227 23229 23064 0 -1 4202496 33279 0 1 0 130 4 0 0 25 0 22 0 511291407 16084111360 30204 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23229/statm: 3926785 30204 2250 9 0 3917504 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 15707140

[startup+1.50082 s]
/proc/loadavg: 7.34 7.90 7.89 5/220 23282
/proc/meminfo: memFree=25189800/32951124 swapFree=67111448/67111528
[pid=23229] ppid=23227 vsize=15709352 CPUtime=2.92 cores=1,3,5,7
/proc/23229/stat : 23229 (java) S 23227 23229 23064 0 -1 4202496 44979 0 1 0 286 6 0 0 25 0 22 0 511291407 16086376448 36687 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23229/statm: 3927338 36687 2251 9 0 3918057 0
[pid=23229/tid=23231] ppid=23227 vsize=15709352 CPUtime=1.46 cores=1,3,5,7
/proc/23229/task/23231/stat : 23231 (java) R 23227 23229 23064 0 -1 4202560 25516 0 1 0 143 3 0 0 22 0 22 0 511291408 16086376448 36687 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 46912505858324 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23229/tid=23232] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23232/stat : 23232 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511291409 16086376448 36687 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23233] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23233/stat : 23233 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511291409 16086376448 36687 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23234] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23234/stat : 23234 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511291409 16086376448 36687 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23235] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23235/stat : 23235 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511291409 16086376448 36687 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23236] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23236/stat : 23236 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511291409 16086376448 36687 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23237] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23237/stat : 23237 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511291409 16086376448 36687 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23238] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23238/stat : 23238 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511291409 16086376448 36687 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23239] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23239/stat : 23239 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 511291409 16086376448 36687 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23240] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23240/stat : 23240 (java) S 23227 23229 23064 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 511291410 16086376448 36687 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118585344 0 0 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23241] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23241/stat : 23241 (java) S 23227 23229 23064 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 511291410 16086376448 36687 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23242] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23242/stat : 23242 (java) S 23227 23229 23064 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 511291410 16086376448 36687 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23247] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23247/stat : 23247 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 511291414 16086376448 36688 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118592433 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23248] ppid=23227 vsize=15709352 CPUtime=0.91 cores=1,3,5,7
/proc/23229/task/23248/stat : 23248 (java) S 23227 23229 23064 0 -1 4202560 13103 0 0 0 90 1 0 0 18 0 22 0 511291414 16086376448 36688 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 7 0 0 0
[pid=23229/tid=23249] ppid=23227 vsize=15709352 CPUtime=0.51 cores=1,3,5,7
/proc/23229/task/23249/stat : 23249 (java) S 23227 23229 23064 0 -1 4202560 4867 0 0 0 51 0 0 0 15 0 22 0 511291414 16086376448 36688 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=23229/tid=23250] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23250/stat : 23250 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 511291414 16086376448 36688 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23252] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23252/stat : 23252 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 511291414 16086376448 36688 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118585344 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23275] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23275/stat : 23275 (java) S 23227 23229 23064 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 22 0 511291445 16086376448 36688 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118585344 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23276] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23276/stat : 23276 (java) S 23227 23229 23064 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 22 0 511291445 16086376448 36688 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118585344 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23277] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23277/stat : 23277 (java) S 23227 23229 23064 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 511291445 16086376448 36688 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118585344 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23278] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23278/stat : 23278 (java) S 23227 23229 23064 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 511291445 16086376448 36688 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118585344 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 15709352

[startup+3.10154 s]
/proc/loadavg: 7.34 7.90 7.89 3/220 23282
/proc/meminfo: memFree=25132760/32951124 swapFree=67111448/67111528
[pid=23229] ppid=23227 vsize=15709352 CPUtime=5.05 cores=1,3,5,7
/proc/23229/stat : 23229 (java) S 23227 23229 23064 0 -1 4202496 59695 0 1 0 497 8 0 0 25 0 22 0 511291407 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23229/statm: 3927338 48901 2273 9 0 3918057 0
[pid=23229/tid=23231] ppid=23227 vsize=15709352 CPUtime=2.55 cores=1,3,5,7
/proc/23229/task/23231/stat : 23231 (java) S 23227 23229 23064 0 -1 4202560 31367 0 1 0 251 4 0 0 25 0 22 0 511291408 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23232] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23232/stat : 23232 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 511291409 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23233] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23233/stat : 23233 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 511291409 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23234] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23234/stat : 23234 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 511291409 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23235] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23235/stat : 23235 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 511291409 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23236] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23236/stat : 23236 (java) S 23227 23229 23064 0 -1 4202560 309 0 0 0 0 0 0 0 18 0 22 0 511291409 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 7 0 0 0
[pid=23229/tid=23237] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23237/stat : 23237 (java) S 23227 23229 23064 0 -1 4202560 1695 0 0 0 0 0 0 0 18 0 22 0 511291409 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23238] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23238/stat : 23238 (java) S 23227 23229 23064 0 -1 4202560 941 0 0 0 0 0 0 0 17 0 22 0 511291409 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23239] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23239/stat : 23239 (java) S 23227 23229 23064 0 -1 4202560 1248 0 0 0 0 0 0 0 18 0 22 0 511291409 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23240] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23240/stat : 23240 (java) S 23227 23229 23064 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 511291410 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118585344 0 0 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23241] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23241/stat : 23241 (java) S 23227 23229 23064 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 511291410 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23242] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23242/stat : 23242 (java) S 23227 23229 23064 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 511291410 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23247] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23247/stat : 23247 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 511291414 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118592433 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23248] ppid=23227 vsize=15709352 CPUtime=1.16 cores=1,3,5,7
/proc/23229/task/23248/stat : 23248 (java) S 23227 23229 23064 0 -1 4202560 13436 0 0 0 115 1 0 0 15 0 22 0 511291414 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23249] ppid=23227 vsize=15709352 CPUtime=0.8 cores=1,3,5,7
/proc/23229/task/23249/stat : 23249 (java) S 23227 23229 23064 0 -1 4202560 7275 0 0 0 80 0 0 0 15 0 22 0 511291414 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=23229/tid=23250] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23250/stat : 23250 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 511291414 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23252] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23252/stat : 23252 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 511291414 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118585344 0 4 0 16800975 18446604471135232128 0 0 -1 7 0 0 0
[pid=23229/tid=23275] ppid=23227 vsize=15709352 CPUtime=0.47 cores=1,3,5,7
/proc/23229/task/23275/stat : 23275 (java) R 23227 23229 23064 0 -1 4202560 1941 0 0 0 47 0 0 0 16 0 22 0 511291445 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 46912505858410 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23229/tid=23276] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23276/stat : 23276 (java) S 23227 23229 23064 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 22 0 511291445 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118585344 0 4 0 16800975 18446604471135232128 0 0 -1 7 0 0 0
[pid=23229/tid=23277] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23277/stat : 23277 (java) S 23227 23229 23064 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 22 0 511291445 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118585344 0 4 0 16800975 18446604471135232128 0 0 -1 7 0 0 0
[pid=23229/tid=23278] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23278/stat : 23278 (java) S 23227 23229 23064 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 22 0 511291445 16086376448 48901 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118585344 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.05
Current children cumulated vsize (KiB) 15709352

[startup+6.37771 s]
/proc/loadavg: 6.99 7.82 7.87 9/220 23282
/proc/meminfo: memFree=24829700/32951124 swapFree=67111448/67111528
[pid=23229] ppid=23227 vsize=15709352 CPUtime=11.17 cores=1,3,5,7
/proc/23229/stat : 23229 (java) S 23227 23229 23064 0 -1 4202496 81360 0 1 0 1105 12 0 0 25 0 22 0 511291407 16086376448 67884 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23229/statm: 3927338 67884 2284 9 0 3918057 0
[pid=23229/tid=23231] ppid=23227 vsize=15709352 CPUtime=2.55 cores=1,3,5,7
/proc/23229/task/23231/stat : 23231 (java) S 23227 23229 23064 0 -1 4202560 31367 0 1 0 251 4 0 0 25 0 22 0 511291408 16086376448 67884 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23232] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23232/stat : 23232 (java) S 23227 23229 23064 0 -1 4202560 4056 0 0 0 0 0 0 0 15 0 22 0 511291409 16086376448 67884 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23233] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23233/stat : 23233 (java) S 23227 23229 23064 0 -1 4202560 1673 0 0 0 0 0 0 0 16 0 22 0 511291409 16086376448 67884 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23234] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23234/stat : 23234 (java) S 23227 23229 23064 0 -1 4202560 3172 0 0 0 0 0 0 0 15 0 22 0 511291409 16086376448 67884 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 7 0 0 0
[pid=23229/tid=23235] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23235/stat : 23235 (java) S 23227 23229 23064 0 -1 4202560 285 0 0 0 0 0 0 0 16 0 22 0 511291409 16086376448 67884 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23236] ppid=23227 vsize=15709352 CPUtime=0.01 cores=1,3,5,7
/proc/23229/task/23236/stat : 23236 (java) R 23227 23229 23064 0 -1 4202560 2576 0 0 0 1 0 0 0 15 0 22 0 511291409 16086376448 67884 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118585798 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23229/tid=23237] ppid=23227 vsize=15709352 CPUtime=0.02 cores=1,3,5,7
/proc/23229/task/23237/stat : 23237 (java) S 23227 23229 23064 0 -1 4202560 5024 0 0 0 2 0 0 0 16 0 22 0 511291409 16086376448 67884 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23238] ppid=23227 vsize=15709352 CPUtime=0.01 cores=1,3,5,7
/proc/23229/task/23238/stat : 23238 (java) S 23227 23229 23064 0 -1 4202560 2099 0 0 0 1 0 0 0 16 0 22 0 511291409 16086376448 67884 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=23229/tid=23239] ppid=23227 vsize=15709352 CPUtime=0.01 cores=1,3,5,7
/proc/23229/task/23239/stat : 23239 (java) S 23227 23229 23064 0 -1 4202560 2140 0 0 0 1 0 0 0 16 0 22 0 511291409 16086376448 67884 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 7 0 0 0
[pid=23229/tid=23240] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23240/stat : 23240 (java) S 23227 23229 23064 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 511291410 16086376448 67884 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 0 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23241] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23241/stat : 23241 (java) S 23227 23229 23064 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 511291410 16086376448 67884 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23242] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23242/stat : 23242 (java) S 23227 23229 23064 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 511291410 16086376448 67884 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23247] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23247/stat : 23247 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 511291414 16086376448 67884 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118592433 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23248] ppid=23227 vsize=15709352 CPUtime=1.35 cores=1,3,5,7
/proc/23229/task/23248/stat : 23248 (java) S 23227 23229 23064 0 -1 4202560 13479 0 0 0 134 1 0 0 16 0 22 0 511291414 16086376448 67884 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0

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

[pid=23229/tid=23276] ppid=23227 vsize=15709352 CPUtime=1103.36 cores=1,3,5,7
/proc/23229/task/23276/stat : 23276 (java) R 23227 23229 23064 0 -1 4202560 326115 0 0 0 110284 52 0 0 25 0 22 0 511291445 16086376448 132665 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 46912505863200 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23229/tid=23277] ppid=23227 vsize=15709352 CPUtime=1103.91 cores=1,3,5,7
/proc/23229/task/23277/stat : 23277 (java) R 23227 23229 23064 0 -1 4202560 311891 0 0 0 110344 47 0 0 25 0 22 0 511291445 16086376448 132665 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23229/tid=23278] ppid=23227 vsize=15709352 CPUtime=1103.27 cores=1,3,5,7
/proc/23229/task/23278/stat : 23278 (java) R 23227 23229 23064 0 -1 4202560 300419 0 0 0 110281 46 0 0 25 0 22 0 511291445 16086376448 132665 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 46912506485373 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4450.1
Current children cumulated vsize (KiB) 15709352

[startup+1182.3 s]
/proc/loadavg: 7.83 8.02 8.00 10/220 23362
/proc/meminfo: memFree=24442268/32951124 swapFree=67111448/67111528
[pid=23229] ppid=23227 vsize=15709352 CPUtime=4688.71 cores=1,3,5,7
/proc/23229/stat : 23229 (java) S 23227 23229 23064 0 -1 4202496 1955394 0 1 0 468447 424 0 0 25 0 22 0 511291407 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23229/statm: 3927338 131913 2299 9 0 3918057 0
[pid=23229/tid=23231] ppid=23227 vsize=15709352 CPUtime=2.55 cores=1,3,5,7
/proc/23229/task/23231/stat : 23231 (java) S 23227 23229 23064 0 -1 4202560 31367 0 1 0 251 4 0 0 25 0 22 0 511291408 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23232] ppid=23227 vsize=15709352 CPUtime=3.49 cores=1,3,5,7
/proc/23229/task/23232/stat : 23232 (java) S 23227 23229 23064 0 -1 4202560 75464 0 0 0 330 19 0 0 15 0 22 0 511291409 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23233] ppid=23227 vsize=15709352 CPUtime=3.48 cores=1,3,5,7
/proc/23229/task/23233/stat : 23233 (java) S 23227 23229 23064 0 -1 4202560 77094 0 0 0 332 16 0 0 15 0 22 0 511291409 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23234] ppid=23227 vsize=15709352 CPUtime=3.54 cores=1,3,5,7
/proc/23229/task/23234/stat : 23234 (java) S 23227 23229 23064 0 -1 4202560 76279 0 0 0 337 17 0 0 15 0 22 0 511291409 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 7 0 0 0
[pid=23229/tid=23235] ppid=23227 vsize=15709352 CPUtime=3.41 cores=1,3,5,7
/proc/23229/task/23235/stat : 23235 (java) S 23227 23229 23064 0 -1 4202560 72357 0 0 0 324 17 0 0 16 0 22 0 511291409 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23236] ppid=23227 vsize=15709352 CPUtime=3.56 cores=1,3,5,7
/proc/23229/task/23236/stat : 23236 (java) S 23227 23229 23064 0 -1 4202560 75713 0 0 0 339 17 0 0 15 0 22 0 511291409 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 7 0 0 0
[pid=23229/tid=23237] ppid=23227 vsize=15709352 CPUtime=3.54 cores=1,3,5,7
/proc/23229/task/23237/stat : 23237 (java) S 23227 23229 23064 0 -1 4202560 80157 0 0 0 335 19 0 0 15 0 22 0 511291409 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23238] ppid=23227 vsize=15709352 CPUtime=3.43 cores=1,3,5,7
/proc/23229/task/23238/stat : 23238 (java) S 23227 23229 23064 0 -1 4202560 73540 0 0 0 325 18 0 0 16 0 22 0 511291409 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=23229/tid=23239] ppid=23227 vsize=15709352 CPUtime=3.57 cores=1,3,5,7
/proc/23229/task/23239/stat : 23239 (java) S 23227 23229 23064 0 -1 4202560 85860 0 0 0 337 20 0 0 15 0 22 0 511291409 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=23229/tid=23240] ppid=23227 vsize=15709352 CPUtime=2.22 cores=1,3,5,7
/proc/23229/task/23240/stat : 23240 (java) S 23227 23229 23064 0 -1 4202560 5579 0 0 0 153 69 0 0 16 0 22 0 511291410 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118585344 0 0 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=23229/tid=23241] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23241/stat : 23241 (java) S 23227 23229 23064 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 511291410 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23242] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23242/stat : 23242 (java) S 23227 23229 23064 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 511291410 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23247] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23247/stat : 23247 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 511291414 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118592433 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23248] ppid=23227 vsize=15709352 CPUtime=1.9 cores=1,3,5,7
/proc/23229/task/23248/stat : 23248 (java) S 23227 23229 23064 0 -1 4202560 13539 0 0 0 189 1 0 0 15 0 22 0 511291414 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23249] ppid=23227 vsize=15709352 CPUtime=1.36 cores=1,3,5,7
/proc/23229/task/23249/stat : 23249 (java) S 23227 23229 23064 0 -1 4202560 10259 0 0 0 135 1 0 0 16 0 22 0 511291414 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 7 0 0 0
[pid=23229/tid=23250] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23250/stat : 23250 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 511291414 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23252] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23252/stat : 23252 (java) S 23227 23229 23064 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 511291414 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118585344 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23275] ppid=23227 vsize=15709352 CPUtime=1164.07 cores=1,3,5,7
/proc/23229/task/23275/stat : 23275 (java) R 23227 23229 23064 0 -1 4202560 303983 0 0 0 116361 46 0 0 25 0 22 0 511291445 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 46912506123106 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23229/tid=23276] ppid=23227 vsize=15709352 CPUtime=1162.68 cores=1,3,5,7
/proc/23229/task/23276/stat : 23276 (java) R 23227 23229 23064 0 -1 4202560 336521 0 0 0 116214 54 0 0 25 0 22 0 511291445 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 46912505792953 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23229/tid=23277] ppid=23227 vsize=15709352 CPUtime=1163.25 cores=1,3,5,7
/proc/23229/task/23277/stat : 23277 (java) R 23227 23229 23064 0 -1 4202560 323162 0 0 0 116275 50 0 0 25 0 22 0 511291445 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 46912505894208 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23229/tid=23278] ppid=23227 vsize=15709352 CPUtime=1162.51 cores=1,3,5,7
/proc/23229/task/23278/stat : 23278 (java) R 23227 23229 23064 0 -1 4202560 313068 0 0 0 116204 47 0 0 25 0 22 0 511291445 16086376448 131913 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 46912505793650 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4688.71
Current children cumulated vsize (KiB) 15709352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.3 s]
/proc/loadavg: 8.18 8.09 8.02 9/220 23363
/proc/meminfo: memFree=24517528/32951124 swapFree=67111448/67111528
[pid=23229] ppid=23227 vsize=15709352 CPUtime=4800.1 cores=1,3,5,7
/proc/23229/stat : 23229 (java) S 23227 23229 23064 0 -1 4202496 2002091 0 1 0 479576 434 0 0 25 0 22 0 511291407 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23229/statm: 3927338 136860 2299 9 0 3918057 0
[pid=23229/tid=23231] ppid=23227 vsize=15709352 CPUtime=2.55 cores=1,3,5,7
/proc/23229/task/23231/stat : 23231 (java) S 23227 23229 23064 0 -1 4202560 31367 0 1 0 251 4 0 0 25 0 22 0 511291408 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23232] ppid=23227 vsize=15709352 CPUtime=3.57 cores=1,3,5,7
/proc/23229/task/23232/stat : 23232 (java) S 23227 23229 23064 0 -1 4202560 78148 0 0 0 337 20 0 0 15 0 22 0 511291409 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23233] ppid=23227 vsize=15709352 CPUtime=3.57 cores=1,3,5,7
/proc/23229/task/23233/stat : 23233 (java) S 23227 23229 23064 0 -1 4202560 79591 0 0 0 340 17 0 0 15 0 22 0 511291409 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 7 0 0 0
[pid=23229/tid=23234] ppid=23227 vsize=15709352 CPUtime=3.62 cores=1,3,5,7
/proc/23229/task/23234/stat : 23234 (java) S 23227 23229 23064 0 -1 4202560 77872 0 0 0 345 17 0 0 15 0 22 0 511291409 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=23229/tid=23235] ppid=23227 vsize=15709352 CPUtime=3.48 cores=1,3,5,7
/proc/23229/task/23235/stat : 23235 (java) S 23227 23229 23064 0 -1 4202560 75541 0 0 0 331 17 0 0 16 0 22 0 511291409 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23236] ppid=23227 vsize=15709352 CPUtime=3.65 cores=1,3,5,7
/proc/23229/task/23236/stat : 23236 (java) S 23227 23229 23064 0 -1 4202560 78196 0 0 0 347 18 0 0 16 0 22 0 511291409 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 7 0 0 0
[pid=23229/tid=23237] ppid=23227 vsize=15709352 CPUtime=3.62 cores=1,3,5,7
/proc/23229/task/23237/stat : 23237 (java) S 23227 23229 23064 0 -1 4202560 83456 0 0 0 343 19 0 0 16 0 22 0 511291409 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=23229/tid=23238] ppid=23227 vsize=15709352 CPUtime=3.51 cores=1,3,5,7
/proc/23229/task/23238/stat : 23238 (java) S 23227 23229 23064 0 -1 4202560 75569 0 0 0 332 19 0 0 16 0 22 0 511291409 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23239] ppid=23227 vsize=15709352 CPUtime=3.66 cores=1,3,5,7
/proc/23229/task/23239/stat : 23239 (java) S 23227 23229 23064 0 -1 4202560 88188 0 0 0 346 20 0 0 15 0 22 0 511291409 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=23229/tid=23240] ppid=23227 vsize=15709352 CPUtime=2.28 cores=1,3,5,7
/proc/23229/task/23240/stat : 23240 (java) S 23227 23229 23064 0 -1 4202560 5674 0 0 0 158 70 0 0 15 0 22 0 511291410 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118585344 0 0 0 16800975 18446604471135232128 0 0 -1 7 0 0 0
[pid=23229/tid=23241] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23241/stat : 23241 (java) S 23227 23229 23064 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 511291410 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23242] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23242/stat : 23242 (java) S 23227 23229 23064 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 511291410 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23247] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23247/stat : 23247 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 511291414 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118592433 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23248] ppid=23227 vsize=15709352 CPUtime=1.9 cores=1,3,5,7
/proc/23229/task/23248/stat : 23248 (java) S 23227 23229 23064 0 -1 4202560 13539 0 0 0 189 1 0 0 15 0 22 0 511291414 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23249] ppid=23227 vsize=15709352 CPUtime=1.36 cores=1,3,5,7
/proc/23229/task/23249/stat : 23249 (java) S 23227 23229 23064 0 -1 4202560 10259 0 0 0 135 1 0 0 16 0 22 0 511291414 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 7 0 0 0
[pid=23229/tid=23250] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23250/stat : 23250 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 511291414 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23252] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23252/stat : 23252 (java) S 23227 23229 23064 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 511291414 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118585344 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23275] ppid=23227 vsize=15709352 CPUtime=1191.78 cores=1,3,5,7
/proc/23229/task/23275/stat : 23275 (java) R 23227 23229 23064 0 -1 4202560 309159 0 0 0 119131 47 0 0 25 0 22 0 511291445 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 47086413437067 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23229/tid=23276] ppid=23227 vsize=15709352 CPUtime=1190.33 cores=1,3,5,7
/proc/23229/task/23276/stat : 23276 (java) R 23227 23229 23064 0 -1 4202560 344457 0 0 0 118978 55 0 0 25 0 22 0 511291445 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 46912506123966 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23229/tid=23277] ppid=23227 vsize=15709352 CPUtime=1190.89 cores=1,3,5,7
/proc/23229/task/23277/stat : 23277 (java) R 23227 23229 23064 0 -1 4202560 330518 0 0 0 119037 52 0 0 25 0 22 0 511291445 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 46912506184616 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23229/tid=23278] ppid=23227 vsize=15709352 CPUtime=1190.17 cores=1,3,5,7
/proc/23229/task/23278/stat : 23278 (java) R 23227 23229 23064 0 -1 4202560 319103 0 0 0 118969 48 0 0 25 0 22 0 511291445 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 18446744073699065918 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 15709352

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1210.3 s]
/proc/loadavg: 8.18 8.09 8.02 9/220 23363
/proc/meminfo: memFree=24517528/32951124 swapFree=67111448/67111528
[pid=23229] ppid=23227 vsize=15709352 CPUtime=4800.1 cores=1,3,5,7
/proc/23229/stat : 23229 (java) S 23227 23229 23064 0 -1 4202496 2002091 0 1 0 479576 434 0 0 25 0 22 0 511291407 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23229/statm: 3927338 136860 2299 9 0 3918057 0
[pid=23229/tid=23231] ppid=23227 vsize=15709352 CPUtime=2.55 cores=1,3,5,7
/proc/23229/task/23231/stat : 23231 (java) S 23227 23229 23064 0 -1 4202560 31367 0 1 0 251 4 0 0 25 0 22 0 511291408 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23232] ppid=23227 vsize=15709352 CPUtime=3.57 cores=1,3,5,7
/proc/23229/task/23232/stat : 23232 (java) S 23227 23229 23064 0 -1 4202560 78148 0 0 0 337 20 0 0 15 0 22 0 511291409 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23233] ppid=23227 vsize=15709352 CPUtime=3.57 cores=1,3,5,7
/proc/23229/task/23233/stat : 23233 (java) S 23227 23229 23064 0 -1 4202560 79591 0 0 0 340 17 0 0 15 0 22 0 511291409 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 7 0 0 0
[pid=23229/tid=23234] ppid=23227 vsize=15709352 CPUtime=3.62 cores=1,3,5,7
/proc/23229/task/23234/stat : 23234 (java) S 23227 23229 23064 0 -1 4202560 77872 0 0 0 345 17 0 0 15 0 22 0 511291409 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=23229/tid=23235] ppid=23227 vsize=15709352 CPUtime=3.48 cores=1,3,5,7
/proc/23229/task/23235/stat : 23235 (java) S 23227 23229 23064 0 -1 4202560 75541 0 0 0 331 17 0 0 16 0 22 0 511291409 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23236] ppid=23227 vsize=15709352 CPUtime=3.65 cores=1,3,5,7
/proc/23229/task/23236/stat : 23236 (java) S 23227 23229 23064 0 -1 4202560 78196 0 0 0 347 18 0 0 16 0 22 0 511291409 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 7 0 0 0
[pid=23229/tid=23237] ppid=23227 vsize=15709352 CPUtime=3.62 cores=1,3,5,7
/proc/23229/task/23237/stat : 23237 (java) S 23227 23229 23064 0 -1 4202560 83456 0 0 0 343 19 0 0 16 0 22 0 511291409 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=23229/tid=23238] ppid=23227 vsize=15709352 CPUtime=3.51 cores=1,3,5,7
/proc/23229/task/23238/stat : 23238 (java) S 23227 23229 23064 0 -1 4202560 75569 0 0 0 332 19 0 0 16 0 22 0 511291409 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23239] ppid=23227 vsize=15709352 CPUtime=3.66 cores=1,3,5,7
/proc/23229/task/23239/stat : 23239 (java) S 23227 23229 23064 0 -1 4202560 88188 0 0 0 346 20 0 0 15 0 22 0 511291409 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=23229/tid=23240] ppid=23227 vsize=15709352 CPUtime=2.28 cores=1,3,5,7
/proc/23229/task/23240/stat : 23240 (java) S 23227 23229 23064 0 -1 4202560 5674 0 0 0 158 70 0 0 15 0 22 0 511291410 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118585344 0 0 0 16800975 18446604471135232128 0 0 -1 7 0 0 0
[pid=23229/tid=23241] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23241/stat : 23241 (java) S 23227 23229 23064 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 511291410 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23242] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23242/stat : 23242 (java) S 23227 23229 23064 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 511291410 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23247] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23247/stat : 23247 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 511291414 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118592433 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23248] ppid=23227 vsize=15709352 CPUtime=1.9 cores=1,3,5,7
/proc/23229/task/23248/stat : 23248 (java) S 23227 23229 23064 0 -1 4202560 13539 0 0 0 189 1 0 0 15 0 22 0 511291414 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23249] ppid=23227 vsize=15709352 CPUtime=1.36 cores=1,3,5,7
/proc/23229/task/23249/stat : 23249 (java) S 23227 23229 23064 0 -1 4202560 10259 0 0 0 135 1 0 0 16 0 22 0 511291414 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 7 0 0 0
[pid=23229/tid=23250] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23250/stat : 23250 (java) S 23227 23229 23064 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 511291414 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=23229/tid=23252] ppid=23227 vsize=15709352 CPUtime=0 cores=1,3,5,7
/proc/23229/task/23252/stat : 23252 (java) S 23227 23229 23064 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 511291414 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 255118585344 0 4 0 16800975 18446604471135232128 0 0 -1 5 0 0 0
[pid=23229/tid=23275] ppid=23227 vsize=15709352 CPUtime=1191.78 cores=1,3,5,7
/proc/23229/task/23275/stat : 23275 (java) R 23227 23229 23064 0 -1 4202560 309159 0 0 0 119131 47 0 0 25 0 22 0 511291445 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 47086413437067 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23229/tid=23276] ppid=23227 vsize=15709352 CPUtime=1190.33 cores=1,3,5,7
/proc/23229/task/23276/stat : 23276 (java) R 23227 23229 23064 0 -1 4202560 344457 0 0 0 118978 55 0 0 25 0 22 0 511291445 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 46912506123966 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23229/tid=23277] ppid=23227 vsize=15709352 CPUtime=1190.89 cores=1,3,5,7
/proc/23229/task/23277/stat : 23277 (java) R 23227 23229 23064 0 -1 4202560 330518 0 0 0 119037 52 0 0 25 0 22 0 511291445 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 46912506184616 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23229/tid=23278] ppid=23227 vsize=15709352 CPUtime=1190.17 cores=1,3,5,7
/proc/23229/task/23278/stat : 23278 (java) R 23227 23229 23064 0 -1 4202560 319103 0 0 0 118969 48 0 0 25 0 22 0 511291445 16086376448 136860 33554432000 1073741824 1073778376 140733271422352 18446744073709551615 18446744073699065918 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 15709352

Child status: 143
Real time (s): 1210.34
CPU time (s): 4800.17
CPU user time (s): 4795.8
CPU system time (s): 4.37233
CPU usage (%): 396.596
Max. virtual memory (cumulated for all children) (KiB): 15712160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.79
system time used= 4.37233
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2002117
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= 222757
involuntary context switches= 142843

runsolver used 2.11768 second user time and 4.54431 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-30 20:39:13
IDJOB=3312177
IDBENCH=87988
IDSOLVER=1698
FILE ID=node144/3312177-1304188753
RUNJOBID= node144-1304187543-23083
PBS_JOBID= 13172498
Free space on /tmp= 73536 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT02/industrial/goldberg/rand_net/rand_net70-60-10.shuffled.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312177-1304188753/watcher-3312177-1304188753 -o /tmp/evaluation-result-3312177-1304188753/solver-3312177-1304188753 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312177-1304188753.cnf -hbr 2

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

MD5SUM BENCH= 6ebe2de27b5534e626cb88c01abcf6c6
RANDOM SEED=537957397

node144.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.850
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.850
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	: 5226.16
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.850
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.75
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.850
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.83
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.850
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.75
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.850
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.82
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.850
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.75
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.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25432572 kB
Buffers:       2132072 kB
Cached:        4778516 kB
SwapCached:         80 kB
Active:         271840 kB
Inactive:      6701836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25432572 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            2012 kB
Writeback:           0 kB
AnonPages:       63068 kB
Mapped:          14676 kB
Slab:           480648 kB
PageTables:       4272 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185372 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73532 MiB
End job on node144 at 2011-04-30 20:59:25