Trace number 3311658

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.27 1207.14

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf
MD5SUMad12e37a0f3b75f1b331fdb5e803c99f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.034993
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.11/0.11	48:04 INFO : Reading from input HOME/instance-3311658-1304178484.cnf
0.27/0.25	Executor set job limit to 1000000
0.27/0.25	Executor set job limit to 1000000
0.27/0.25	Executor set job limit to 1000000
0.27/0.25	Executor set job limit to 1000000
0.27/0.25	Starting Executor!
0.27/0.25	Starting Executor!
0.27/0.25	Starting Executor!
0.27/0.26	Starting Executor!
0.53/0.39	48:04 INFO : 647 variables remaining out of 650
0.53/0.39	48:04 INFO : 11044 literals remaining out of 11076

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-3311658-1304178484/watcher-3311658-1304178484 -o /tmp/evaluation-result-3311658-1304178484/solver-3311658-1304178484 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311658-1304178484.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: 8.05 8.07 8.01 5/198 23289
/proc/meminfo: memFree=22870964/32951124 swapFree=67111524/67111528
[pid=23289] ppid=23287 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/23289/stat : 23289 (java) S 23287 23289 23046 0 -1 4202496 1415 0 0 0 0 0 0 0 25 0 2 0 529448810 27824128 887 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/23289/statm: 6793 892 682 9 0 381 0
[pid=23289/tid=23290] ppid=23287 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23290/stat : 23290 (java) R 23287 23289 23046 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 2 0 529448810 27824128 894 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244442021444 0 0 4096 0 0 0 0 -1 5 0 0 0

[startup+0.024674 s]
/proc/loadavg: 8.05 8.07 8.01 5/198 23289
/proc/meminfo: memFree=22870964/32951124 swapFree=67111524/67111528
[pid=23289] ppid=23287 vsize=15602804 CPUtime=0.01 cores=1,3,5,7
/proc/23289/stat : 23289 (java) S 23287 23289 23046 0 -1 4202496 3403 0 1 0 1 0 0 0 25 0 11 0 529448810 15977271296 2845 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/23289/statm: 3900958 2847 1627 9 0 3891706 0
[pid=23289/tid=23290] ppid=23287 vsize=15603832 CPUtime=0.01 cores=1,3,5,7
/proc/23289/task/23290/stat : 23290 (java) R 23287 23289 23046 0 -1 4202560 2037 0 1 0 1 0 0 0 25 0 12 0 529448810 15978323968 2847 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458771915 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15602804

[startup+0.100658 s]
/proc/loadavg: 8.05 8.07 8.01 5/198 23289
/proc/meminfo: memFree=22870964/32951124 swapFree=67111524/67111528
[pid=23289] ppid=23287 vsize=15743236 CPUtime=0.11 cores=1,3,5,7
/proc/23289/stat : 23289 (java) S 23287 23289 23046 0 -1 4202496 5630 0 1 0 10 1 0 0 25 0 18 0 529448810 16121073664 5041 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23289/statm: 3935809 5041 2118 9 0 3926528 0
[pid=23289/tid=23290] ppid=23287 vsize=15743236 CPUtime=0.08 cores=1,3,5,7
/proc/23289/task/23290/stat : 23290 (java) R 23287 23289 23046 0 -1 4202560 3468 0 1 0 8 0 0 0 18 0 18 0 529448810 16121073664 5041 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458771915 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15743236

[startup+0.304619 s]
/proc/loadavg: 8.05 8.07 8.01 5/198 23289
/proc/meminfo: memFree=22870964/32951124 swapFree=67111524/67111528
[pid=23289] ppid=23287 vsize=15752468 CPUtime=0.53 cores=1,3,5,7
/proc/23289/stat : 23289 (java) S 23287 23289 23046 0 -1 4202496 10948 0 1 0 51 2 0 0 25 0 22 0 529448810 16130527232 9918 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23289/statm: 3938117 9918 2213 9 0 3928836 0
[pid=23289/tid=23290] ppid=23287 vsize=15752468 CPUtime=0.29 cores=1,3,5,7
/proc/23289/task/23290/stat : 23290 (java) R 23287 23289 23046 0 -1 4202560 6470 0 1 0 27 2 0 0 20 0 22 0 529448810 16130527232 9918 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 46912505185591 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 15752468

[startup+1.37941 s]
/proc/loadavg: 8.05 8.07 8.01 5/198 23289
/proc/meminfo: memFree=22870964/32951124 swapFree=67111524/67111528
[pid=23289] ppid=23287 vsize=15762708 CPUtime=4.51 cores=1,3,5,7
/proc/23289/stat : 23289 (java) S 23287 23289 23046 0 -1 4202496 43448 0 1 0 444 7 0 0 25 0 22 0 529448810 16141012992 36997 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23289/statm: 3940677 36997 2252 9 0 3931396 0
[pid=23289/tid=23290] ppid=23287 vsize=15762708 CPUtime=0.38 cores=1,3,5,7
/proc/23289/task/23290/stat : 23290 (java) S 23287 23289 23046 0 -1 4202560 6853 0 1 0 36 2 0 0 20 0 22 0 529448810 16141012992 36997 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.51
Current children cumulated vsize (KiB) 15762708

[startup+1.50036 s]
/proc/loadavg: 8.05 8.07 8.01 5/198 23289
/proc/meminfo: memFree=22870964/32951124 swapFree=67111524/67111528
[pid=23289] ppid=23287 vsize=15765404 CPUtime=4.99 cores=1,3,5,7
/proc/23289/stat : 23289 (java) S 23287 23289 23046 0 -1 4202496 45301 0 1 0 492 7 0 0 25 0 22 0 529448810 16143773696 38850 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23289/statm: 3941351 38852 2252 9 0 3932070 0
[pid=23289/tid=23290] ppid=23287 vsize=15765404 CPUtime=0.38 cores=1,3,5,7
/proc/23289/task/23290/stat : 23290 (java) S 23287 23289 23046 0 -1 4202560 6853 0 1 0 36 2 0 0 20 0 22 0 529448810 16143773696 38853 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 15765404

[startup+3.10106 s]
/proc/loadavg: 8.29 8.12 8.02 10/220 23311
/proc/meminfo: memFree=22593080/32951124 swapFree=67111524/67111528
[pid=23289] ppid=23287 vsize=15762708 CPUtime=11.36 cores=1,3,5,7
/proc/23289/stat : 23289 (java) S 23287 23289 23046 0 -1 4202496 104004 0 1 0 1121 15 0 0 25 0 22 0 529448810 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23289/statm: 3940677 92156 2273 9 0 3931396 0
[pid=23289/tid=23290] ppid=23287 vsize=15762708 CPUtime=0.38 cores=1,3,5,7
/proc/23289/task/23290/stat : 23290 (java) S 23287 23289 23046 0 -1 4202560 6853 0 1 0 36 2 0 0 20 0 22 0 529448810 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23292] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23292/stat : 23292 (java) S 23287 23289 23046 0 -1 4202560 862 0 0 0 0 0 0 0 15 0 22 0 529448811 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23293] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23293/stat : 23293 (java) S 23287 23289 23046 0 -1 4202560 2397 0 0 0 0 0 0 0 16 0 22 0 529448811 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23294] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23294/stat : 23294 (java) S 23287 23289 23046 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529448811 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23295] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23295/stat : 23295 (java) S 23287 23289 23046 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529448811 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23296] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23296/stat : 23296 (java) S 23287 23289 23046 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529448811 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23297] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23297/stat : 23297 (java) S 23287 23289 23046 0 -1 4202560 563 0 0 0 0 0 0 0 15 0 22 0 529448811 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 1 0 0 0
[pid=23289/tid=23298] ppid=23287 vsize=15762708 CPUtime=0.01 cores=1,3,5,7
/proc/23289/task/23298/stat : 23298 (java) S 23287 23289 23046 0 -1 4202560 2473 0 0 0 1 0 0 0 15 0 22 0 529448811 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23299] ppid=23287 vsize=15762708 CPUtime=0.01 cores=1,3,5,7
/proc/23289/task/23299/stat : 23299 (java) S 23287 23289 23046 0 -1 4202560 2123 0 0 0 1 0 0 0 15 0 22 0 529448811 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23300] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23300/stat : 23300 (java) S 23287 23289 23046 0 -1 4202560 200 0 0 0 0 0 0 0 16 0 22 0 529448812 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761728 0 0 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23301] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23301/stat : 23301 (java) S 23287 23289 23046 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529448812 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 7 0 0 0
[pid=23289/tid=23302] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23302/stat : 23302 (java) S 23287 23289 23046 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529448812 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23303] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23303/stat : 23303 (java) S 23287 23289 23046 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529448814 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458768817 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23304] ppid=23287 vsize=15762708 CPUtime=1.06 cores=1,3,5,7
/proc/23289/task/23304/stat : 23304 (java) R 23287 23289 23046 0 -1 4202560 13517 0 0 0 105 1 0 0 25 0 22 0 529448814 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 47039772822120 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23289/tid=23305] ppid=23287 vsize=15762708 CPUtime=0.81 cores=1,3,5,7
/proc/23289/task/23305/stat : 23305 (java) R 23287 23289 23046 0 -1 4202560 15775 0 0 0 79 2 0 0 17 0 22 0 529448814 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 47039770762648 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23289/tid=23306] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23306/stat : 23306 (java) S 23287 23289 23046 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529448814 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23307] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23307/stat : 23307 (java) S 23287 23289 23046 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529448814 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761728 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23308] ppid=23287 vsize=15762708 CPUtime=2.65 cores=1,3,5,7
/proc/23289/task/23308/stat : 23308 (java) R 23287 23289 23046 0 -1 4202560 17426 0 0 0 264 1 0 0 18 0 22 0 529448835 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 46912505802028 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23289/tid=23309] ppid=23287 vsize=15762708 CPUtime=1.71 cores=1,3,5,7
/proc/23289/task/23309/stat : 23309 (java) R 23287 23289 23046 0 -1 4202560 11988 0 0 0 170 1 0 0 20 0 22 0 529448835 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 46912505166942 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23289/tid=23310] ppid=23287 vsize=15762708 CPUtime=2.38 cores=1,3,5,7
/proc/23289/task/23310/stat : 23310 (java) R 23287 23289 23046 0 -1 4202560 16358 0 0 0 236 2 0 0 18 0 22 0 529448836 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 46912505228572 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23289/tid=23311] ppid=23287 vsize=15762708 CPUtime=2.23 cores=1,3,5,7
/proc/23289/task/23311/stat : 23311 (java) R 23287 23289 23046 0 -1 4202560 12081 0 0 0 222 1 0 0 21 0 22 0 529448836 16141012992 92156 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.36
Current children cumulated vsize (KiB) 15762708

[startup+6.30147 s]
/proc/loadavg: 8.35 8.13 8.03 9/220 23311
/proc/meminfo: memFree=22255428/32951124 swapFree=67111524/67111528
[pid=23289] ppid=23287 vsize=15762708 CPUtime=24.13 cores=1,3,5,7
/proc/23289/stat : 23289 (java) S 23287 23289 23046 0 -1 4202496 172645 0 1 0 2388 25 0 0 25 0 22 0 529448810 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23289/statm: 3940677 151065 2284 9 0 3931396 0
[pid=23289/tid=23290] ppid=23287 vsize=15762708 CPUtime=0.38 cores=1,3,5,7
/proc/23289/task/23290/stat : 23290 (java) S 23287 23289 23046 0 -1 4202560 6853 0 1 0 36 2 0 0 20 0 22 0 529448810 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23292] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23292/stat : 23292 (java) S 23287 23289 23046 0 -1 4202560 2750 0 0 0 0 0 0 0 16 0 22 0 529448811 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 7 0 0 0
[pid=23289/tid=23293] ppid=23287 vsize=15762708 CPUtime=0.01 cores=1,3,5,7
/proc/23289/task/23293/stat : 23293 (java) S 23287 23289 23046 0 -1 4202560 4353 0 0 0 0 1 0 0 15 0 22 0 529448811 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23294] ppid=23287 vsize=15762708 CPUtime=0.01 cores=1,3,5,7
/proc/23289/task/23294/stat : 23294 (java) S 23287 23289 23046 0 -1 4202560 1260 0 0 0 1 0 0 0 15 0 22 0 529448811 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 1 0 0 0
[pid=23289/tid=23295] ppid=23287 vsize=15762708 CPUtime=0.01 cores=1,3,5,7
/proc/23289/task/23295/stat : 23295 (java) S 23287 23289 23046 0 -1 4202560 1724 0 0 0 1 0 0 0 15 0 22 0 529448811 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23296] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23296/stat : 23296 (java) S 23287 23289 23046 0 -1 4202560 1009 0 0 0 0 0 0 0 15 0 22 0 529448811 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 1 0 0 0
[pid=23289/tid=23297] ppid=23287 vsize=15762708 CPUtime=0.01 cores=1,3,5,7
/proc/23289/task/23297/stat : 23297 (java) S 23287 23289 23046 0 -1 4202560 2048 0 0 0 1 0 0 0 15 0 22 0 529448811 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23298] ppid=23287 vsize=15762708 CPUtime=0.01 cores=1,3,5,7
/proc/23289/task/23298/stat : 23298 (java) S 23287 23289 23046 0 -1 4202560 2474 0 0 0 1 0 0 0 16 0 22 0 529448811 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23299] ppid=23287 vsize=15762708 CPUtime=0.01 cores=1,3,5,7
/proc/23289/task/23299/stat : 23299 (java) S 23287 23289 23046 0 -1 4202560 3018 0 0 0 1 0 0 0 15 0 22 0 529448811 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23300] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23300/stat : 23300 (java) S 23287 23289 23046 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 22 0 529448812 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761728 0 0 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23301] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23301/stat : 23301 (java) S 23287 23289 23046 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529448812 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 7 0 0 0
[pid=23289/tid=23302] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23302/stat : 23302 (java) S 23287 23289 23046 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529448812 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23303] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23303/stat : 23303 (java) S 23287 23289 23046 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529448814 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458768817 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23304] ppid=23287 vsize=15762708 CPUtime=1.38 cores=1,3,5,7
/proc/23289/task/23304/stat : 23304 (java) S 23287 23289 23046 0 -1 4202560 13600 0 0 0 137 1 0 0 15 0 22 0 529448814 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 7 0 0 0
[pid=23289/tid=23305] ppid=23287 vsize=15762708 CPUtime=1.13 cores=1,3,5,7
/proc/23289/task/23305/stat : 23305 (java) S 23287 23289 23046 0 -1 4202560 17893 0 0 0 111 2 0 0 15 0 22 0 529448814 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 7 0 0 0
[pid=23289/tid=23306] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23306/stat : 23306 (java) S 23287 23289 23046 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529448814 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23307] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23307/stat : 23307 (java) S 23287 23289 23046 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529448814 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761728 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23308] ppid=23287 vsize=15762708 CPUtime=5.82 cores=1,3,5,7
/proc/23289/task/23308/stat : 23308 (java) R 23287 23289 23046 0 -1 4202560 31458 0 0 0 579 3 0 0 23 0 22 0 529448835 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 46912505882614 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23289/tid=23309] ppid=23287 vsize=15762708 CPUtime=4.75 cores=1,3,5,7
/proc/23289/task/23309/stat : 23309 (java) R 23287 23289 23046 0 -1 4202560 26085 0 0 0 472 3 0 0 25 0 22 0 529448835 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 47039773761730 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23289/tid=23310] ppid=23287 vsize=15762708 CPUtime=5.56 cores=1,3,5,7
/proc/23289/task/23310/stat : 23310 (java) R 23287 23289 23046 0 -1 4202560 30337 0 0 0 552 4 0 0 25 0 22 0 529448836 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 18446744073699065971 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23289/tid=23311] ppid=23287 vsize=15762708 CPUtime=4.89 cores=1,3,5,7
/proc/23289/task/23311/stat : 23311 (java) R 23287 23289 23046 0 -1 4202560 26198 0 0 0 486 3 0 0 25 0 22 0 529448836 16141012992 151065 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 46912505611234 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.13
Current children cumulated vsize (KiB) 15762708

[startup+12.7013 s]
/proc/loadavg: 8.32 8.13 8.03 9/220 23311
/proc/meminfo: memFree=22376328/32951124 swapFree=67111524/67111528
[pid=23289] ppid=23287 vsize=15762708 CPUtime=49.64 cores=1,3,5,7
/proc/23289/stat : 23289 (java) S 23287 23289 23046 0 -1 4202496 174416 0 1 0 4938 26 0 0 25 0 22 0 529448810 16141012992 115435 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23289/statm: 3940677 115435 2284 9 0 3931396 0
[pid=23289/tid=23290] ppid=23287 vsize=15762708 CPUtime=0.38 cores=1,3,5,7
/proc/23289/task/23290/stat : 23290 (java) S 23287 23289 23046 0 -1 4202560 6853 0 1 0 36 2 0 0 20 0 22 0 529448810 16141012992 115435 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23292] ppid=23287 vsize=15762708 CPUtime=0.01 cores=1,3,5,7
/proc/23289/task/23292/stat : 23292 (java) S 23287 23289 23046 0 -1 4202560 3059 0 0 0 1 0 0 0 15 0 22 0 529448811 16141012992 115435 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 7 0 0 0
[pid=23289/tid=23293] ppid=23287 vsize=15762708 CPUtime=0.02 cores=1,3,5,7
/proc/23289/task/23293/stat : 23293 (java) S 23287 23289 23046 0 -1 4202560 4740 0 0 0 1 1 0 0 15 0 22 0 529448811 16141012992 115435 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23294] ppid=23287 vsize=15762708 CPUtime=0.02 cores=1,3,5,7

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

[pid=23289/tid=23309] ppid=23287 vsize=15762708 CPUtime=1047.5 cores=1,3,5,7
/proc/23289/task/23309/stat : 23309 (java) R 23287 23289 23046 0 -1 4202560 360393 0 0 0 104697 53 0 0 25 0 22 0 529448835 16141012992 110935 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 46912505721155 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23289/tid=23310] ppid=23287 vsize=15762708 CPUtime=1048.76 cores=1,3,5,7
/proc/23289/task/23310/stat : 23310 (java) R 23287 23289 23046 0 -1 4202560 358127 0 0 0 104820 56 0 0 25 0 22 0 529448836 16141012992 110935 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 46912505721155 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23289/tid=23311] ppid=23287 vsize=15762708 CPUtime=1048.06 cores=1,3,5,7
/proc/23289/task/23311/stat : 23311 (java) R 23287 23289 23046 0 -1 4202560 357083 0 0 0 104755 51 0 0 25 0 22 0 529448836 16141012992 110935 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 46912505805211 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4224.3
Current children cumulated vsize (KiB) 15762708

[startup+1122.3 s]
/proc/loadavg: 8.12 8.09 8.05 9/220 23353
/proc/meminfo: memFree=22626240/32951124 swapFree=67111524/67111528
[pid=23289] ppid=23287 vsize=15762708 CPUtime=4462.97 cores=1,3,5,7
/proc/23289/stat : 23289 (java) S 23287 23289 23046 0 -1 4202496 2748057 0 1 0 445753 544 0 0 25 0 22 0 529448810 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23289/statm: 3940677 116985 2298 9 0 3931396 0
[pid=23289/tid=23290] ppid=23287 vsize=15762708 CPUtime=0.38 cores=1,3,5,7
/proc/23289/task/23290/stat : 23290 (java) S 23287 23289 23046 0 -1 4202560 6853 0 1 0 36 2 0 0 20 0 22 0 529448810 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23292] ppid=23287 vsize=15762708 CPUtime=3.42 cores=1,3,5,7
/proc/23289/task/23292/stat : 23292 (java) S 23287 23289 23046 0 -1 4202560 153022 0 0 0 314 28 0 0 15 0 22 0 529448811 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23293] ppid=23287 vsize=15762708 CPUtime=3.4 cores=1,3,5,7
/proc/23289/task/23293/stat : 23293 (java) S 23287 23289 23046 0 -1 4202560 151333 0 0 0 311 29 0 0 15 0 22 0 529448811 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23294] ppid=23287 vsize=15762708 CPUtime=3.43 cores=1,3,5,7
/proc/23289/task/23294/stat : 23294 (java) S 23287 23289 23046 0 -1 4202560 146309 0 0 0 315 28 0 0 15 0 22 0 529448811 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 7 0 0 0
[pid=23289/tid=23295] ppid=23287 vsize=15762708 CPUtime=3.41 cores=1,3,5,7
/proc/23289/task/23295/stat : 23295 (java) S 23287 23289 23046 0 -1 4202560 145623 0 0 0 315 26 0 0 16 0 22 0 529448811 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23296] ppid=23287 vsize=15762708 CPUtime=3.48 cores=1,3,5,7
/proc/23289/task/23296/stat : 23296 (java) S 23287 23289 23046 0 -1 4202560 152792 0 0 0 322 26 0 0 15 0 22 0 529448811 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 7 0 0 0
[pid=23289/tid=23297] ppid=23287 vsize=15762708 CPUtime=3.45 cores=1,3,5,7
/proc/23289/task/23297/stat : 23297 (java) S 23287 23289 23046 0 -1 4202560 149377 0 0 0 318 27 0 0 15 0 22 0 529448811 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 1 0 0 0
[pid=23289/tid=23298] ppid=23287 vsize=15762708 CPUtime=3.45 cores=1,3,5,7
/proc/23289/task/23298/stat : 23298 (java) S 23287 23289 23046 0 -1 4202560 146911 0 0 0 318 27 0 0 15 0 22 0 529448811 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 1 0 0 0
[pid=23289/tid=23299] ppid=23287 vsize=15762708 CPUtime=3.37 cores=1,3,5,7
/proc/23289/task/23299/stat : 23299 (java) S 23287 23289 23046 0 -1 4202560 146974 0 0 0 309 28 0 0 15 0 22 0 529448811 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23300] ppid=23287 vsize=15762708 CPUtime=2.14 cores=1,3,5,7
/proc/23289/task/23300/stat : 23300 (java) S 23287 23289 23046 0 -1 4202560 7049 0 0 0 126 88 0 0 15 0 22 0 529448812 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761728 0 0 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23301] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23301/stat : 23301 (java) S 23287 23289 23046 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529448812 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 7 0 0 0
[pid=23289/tid=23302] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23302/stat : 23302 (java) S 23287 23289 23046 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529448812 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23303] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23303/stat : 23303 (java) S 23287 23289 23046 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529448814 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458768817 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23304] ppid=23287 vsize=15762708 CPUtime=1.53 cores=1,3,5,7
/proc/23289/task/23304/stat : 23304 (java) S 23287 23289 23046 0 -1 4202560 13630 0 0 0 151 2 0 0 15 0 22 0 529448814 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 1 0 0 0
[pid=23289/tid=23305] ppid=23287 vsize=15762708 CPUtime=1.17 cores=1,3,5,7
/proc/23289/task/23305/stat : 23305 (java) S 23287 23289 23046 0 -1 4202560 17901 0 0 0 115 2 0 0 15 0 22 0 529448814 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 7 0 0 0
[pid=23289/tid=23306] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23306/stat : 23306 (java) S 23287 23289 23046 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529448814 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23307] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23307/stat : 23307 (java) S 23287 23289 23046 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 529448814 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761728 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23308] ppid=23287 vsize=15762708 CPUtime=1108.08 cores=1,3,5,7
/proc/23289/task/23308/stat : 23308 (java) R 23287 23289 23046 0 -1 4202560 381982 0 0 0 110753 55 0 0 25 0 22 0 529448835 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 46912505523269 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23289/tid=23309] ppid=23287 vsize=15762708 CPUtime=1106.69 cores=1,3,5,7
/proc/23289/task/23309/stat : 23309 (java) R 23287 23289 23046 0 -1 4202560 377729 0 0 0 110614 55 0 0 25 0 22 0 529448835 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 18446744073699065894 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23289/tid=23310] ppid=23287 vsize=15762708 CPUtime=1107.99 cores=1,3,5,7
/proc/23289/task/23310/stat : 23310 (java) R 23287 23289 23046 0 -1 4202560 374554 0 0 0 110740 59 0 0 18 0 22 0 529448836 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23289/tid=23311] ppid=23287 vsize=15762708 CPUtime=1107.41 cores=1,3,5,7
/proc/23289/task/23311/stat : 23311 (java) R 23287 23289 23046 0 -1 4202560 374572 0 0 0 110687 54 0 0 25 0 22 0 529448836 16141012992 116985 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 46912505805400 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4462.97
Current children cumulated vsize (KiB) 15762708

[startup+1182.3 s]
/proc/loadavg: 8.08 8.09 8.05 9/220 23355
/proc/meminfo: memFree=22646036/32951124 swapFree=67111524/67111528
[pid=23289] ppid=23287 vsize=15762708 CPUtime=4701.52 cores=1,3,5,7
/proc/23289/stat : 23289 (java) S 23287 23289 23046 0 -1 4202496 2870585 0 1 0 469580 572 0 0 25 0 22 0 529448810 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23289/statm: 3940677 98706 2298 9 0 3931396 0
[pid=23289/tid=23290] ppid=23287 vsize=15762708 CPUtime=0.38 cores=1,3,5,7
/proc/23289/task/23290/stat : 23290 (java) S 23287 23289 23046 0 -1 4202560 6853 0 1 0 36 2 0 0 20 0 22 0 529448810 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23292] ppid=23287 vsize=15762708 CPUtime=3.59 cores=1,3,5,7
/proc/23289/task/23292/stat : 23292 (java) S 23287 23289 23046 0 -1 4202560 162185 0 0 0 330 29 0 0 15 0 22 0 529448811 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 7 0 0 0
[pid=23289/tid=23293] ppid=23287 vsize=15762708 CPUtime=3.58 cores=1,3,5,7
/proc/23289/task/23293/stat : 23293 (java) S 23287 23289 23046 0 -1 4202560 160681 0 0 0 327 31 0 0 16 0 22 0 529448811 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23294] ppid=23287 vsize=15762708 CPUtime=3.62 cores=1,3,5,7
/proc/23289/task/23294/stat : 23294 (java) S 23287 23289 23046 0 -1 4202560 153867 0 0 0 332 30 0 0 15 0 22 0 529448811 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 1 0 0 0
[pid=23289/tid=23295] ppid=23287 vsize=15762708 CPUtime=3.58 cores=1,3,5,7
/proc/23289/task/23295/stat : 23295 (java) S 23287 23289 23046 0 -1 4202560 154090 0 0 0 331 27 0 0 15 0 22 0 529448811 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 7 0 0 0
[pid=23289/tid=23296] ppid=23287 vsize=15762708 CPUtime=3.66 cores=1,3,5,7
/proc/23289/task/23296/stat : 23296 (java) S 23287 23289 23046 0 -1 4202560 160807 0 0 0 338 28 0 0 15 0 22 0 529448811 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 1 0 0 0
[pid=23289/tid=23297] ppid=23287 vsize=15762708 CPUtime=3.62 cores=1,3,5,7
/proc/23289/task/23297/stat : 23297 (java) S 23287 23289 23046 0 -1 4202560 157613 0 0 0 334 28 0 0 15 0 22 0 529448811 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 7 0 0 0
[pid=23289/tid=23298] ppid=23287 vsize=15762708 CPUtime=3.65 cores=1,3,5,7
/proc/23289/task/23298/stat : 23298 (java) S 23287 23289 23046 0 -1 4202560 156689 0 0 0 336 29 0 0 15 0 22 0 529448811 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23299] ppid=23287 vsize=15762708 CPUtime=3.55 cores=1,3,5,7
/proc/23289/task/23299/stat : 23299 (java) S 23287 23289 23046 0 -1 4202560 155561 0 0 0 326 29 0 0 15 0 22 0 529448811 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23300] ppid=23287 vsize=15762708 CPUtime=2.28 cores=1,3,5,7
/proc/23289/task/23300/stat : 23300 (java) S 23287 23289 23046 0 -1 4202560 7420 0 0 0 135 93 0 0 15 0 22 0 529448812 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761728 0 0 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23301] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23301/stat : 23301 (java) S 23287 23289 23046 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529448812 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 7 0 0 0
[pid=23289/tid=23302] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23302/stat : 23302 (java) S 23287 23289 23046 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529448812 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23303] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23303/stat : 23303 (java) S 23287 23289 23046 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529448814 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458768817 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23304] ppid=23287 vsize=15762708 CPUtime=1.53 cores=1,3,5,7
/proc/23289/task/23304/stat : 23304 (java) S 23287 23289 23046 0 -1 4202560 13630 0 0 0 151 2 0 0 15 0 22 0 529448814 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 1 0 0 0
[pid=23289/tid=23305] ppid=23287 vsize=15762708 CPUtime=1.17 cores=1,3,5,7
/proc/23289/task/23305/stat : 23305 (java) S 23287 23289 23046 0 -1 4202560 17901 0 0 0 115 2 0 0 15 0 22 0 529448814 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 7 0 0 0
[pid=23289/tid=23306] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23306/stat : 23306 (java) S 23287 23289 23046 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529448814 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23307] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23307/stat : 23307 (java) S 23287 23289 23046 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 529448814 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761728 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23308] ppid=23287 vsize=15762708 CPUtime=1167.38 cores=1,3,5,7
/proc/23289/task/23308/stat : 23308 (java) R 23287 23289 23046 0 -1 4202560 394989 0 0 0 116680 58 0 0 25 0 22 0 529448835 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 46912505611280 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23289/tid=23309] ppid=23287 vsize=15762708 CPUtime=1166.01 cores=1,3,5,7
/proc/23289/task/23309/stat : 23309 (java) R 23287 23289 23046 0 -1 4202560 390636 0 0 0 116543 58 0 0 25 0 22 0 529448835 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23289/tid=23310] ppid=23287 vsize=15762708 CPUtime=1167.09 cores=1,3,5,7
/proc/23289/task/23310/stat : 23310 (java) R 23287 23289 23046 0 -1 4202560 387618 0 0 0 116648 61 0 0 25 0 22 0 529448836 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 46912505721423 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23289/tid=23311] ppid=23287 vsize=15762708 CPUtime=1166.66 cores=1,3,5,7
/proc/23289/task/23311/stat : 23311 (java) R 23287 23289 23046 0 -1 4202560 388596 0 0 0 116610 56 0 0 25 0 22 0 529448836 16141012992 98706 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 46912505738550 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4701.52
Current children cumulated vsize (KiB) 15762708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.1 s]
/proc/loadavg: 8.24 8.13 8.06 9/220 23406
/proc/meminfo: memFree=22844760/32951124 swapFree=67111524/67111528
[pid=23289] ppid=23287 vsize=15762708 CPUtime=4800.21 cores=1,3,5,7
/proc/23289/stat : 23289 (java) S 23287 23289 23046 0 -1 4202496 2936901 0 1 0 479436 585 0 0 25 0 22 0 529448810 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23289/statm: 3940677 111984 2298 9 0 3931396 0
[pid=23289/tid=23290] ppid=23287 vsize=15762708 CPUtime=0.38 cores=1,3,5,7
/proc/23289/task/23290/stat : 23290 (java) S 23287 23289 23046 0 -1 4202560 6853 0 1 0 36 2 0 0 20 0 22 0 529448810 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23292] ppid=23287 vsize=15762708 CPUtime=3.68 cores=1,3,5,7
/proc/23289/task/23292/stat : 23292 (java) S 23287 23289 23046 0 -1 4202560 164698 0 0 0 338 30 0 0 16 0 22 0 529448811 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23293] ppid=23287 vsize=15762708 CPUtime=3.66 cores=1,3,5,7
/proc/23289/task/23293/stat : 23293 (java) S 23287 23289 23046 0 -1 4202560 164027 0 0 0 334 32 0 0 15 0 22 0 529448811 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 7 0 0 0
[pid=23289/tid=23294] ppid=23287 vsize=15762708 CPUtime=3.69 cores=1,3,5,7
/proc/23289/task/23294/stat : 23294 (java) S 23287 23289 23046 0 -1 4202560 156034 0 0 0 338 31 0 0 15 0 22 0 529448811 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 7 0 0 0
[pid=23289/tid=23295] ppid=23287 vsize=15762708 CPUtime=3.66 cores=1,3,5,7
/proc/23289/task/23295/stat : 23295 (java) S 23287 23289 23046 0 -1 4202560 156304 0 0 0 338 28 0 0 16 0 22 0 529448811 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 1 0 0 0
[pid=23289/tid=23296] ppid=23287 vsize=15762708 CPUtime=3.74 cores=1,3,5,7
/proc/23289/task/23296/stat : 23296 (java) S 23287 23289 23046 0 -1 4202560 163185 0 0 0 345 29 0 0 16 0 22 0 529448811 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 7 0 0 0
[pid=23289/tid=23297] ppid=23287 vsize=15762708 CPUtime=3.69 cores=1,3,5,7
/proc/23289/task/23297/stat : 23297 (java) S 23287 23289 23046 0 -1 4202560 159782 0 0 0 340 29 0 0 15 0 22 0 529448811 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 1 0 0 0
[pid=23289/tid=23298] ppid=23287 vsize=15762708 CPUtime=3.72 cores=1,3,5,7
/proc/23289/task/23298/stat : 23298 (java) S 23287 23289 23046 0 -1 4202560 160088 0 0 0 342 30 0 0 16 0 22 0 529448811 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23299] ppid=23287 vsize=15762708 CPUtime=3.64 cores=1,3,5,7
/proc/23289/task/23299/stat : 23299 (java) S 23287 23289 23046 0 -1 4202560 158443 0 0 0 334 30 0 0 15 0 22 0 529448811 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23300] ppid=23287 vsize=15762708 CPUtime=2.33 cores=1,3,5,7
/proc/23289/task/23300/stat : 23300 (java) S 23287 23289 23046 0 -1 4202560 7610 0 0 0 138 95 0 0 15 0 22 0 529448812 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761728 0 0 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23301] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23301/stat : 23301 (java) S 23287 23289 23046 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529448812 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 7 0 0 0
[pid=23289/tid=23302] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23302/stat : 23302 (java) S 23287 23289 23046 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529448812 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 3 0 0 0
[pid=23289/tid=23303] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23303/stat : 23303 (java) S 23287 23289 23046 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529448814 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458768817 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23304] ppid=23287 vsize=15762708 CPUtime=1.53 cores=1,3,5,7
/proc/23289/task/23304/stat : 23304 (java) S 23287 23289 23046 0 -1 4202560 13630 0 0 0 151 2 0 0 15 0 22 0 529448814 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 1 0 0 0
[pid=23289/tid=23305] ppid=23287 vsize=15762708 CPUtime=1.17 cores=1,3,5,7
/proc/23289/task/23305/stat : 23305 (java) S 23287 23289 23046 0 -1 4202560 17901 0 0 0 115 2 0 0 15 0 22 0 529448814 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 7 0 0 0
[pid=23289/tid=23306] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23306/stat : 23306 (java) S 23287 23289 23046 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529448814 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761113 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23307] ppid=23287 vsize=15762708 CPUtime=0 cores=1,3,5,7
/proc/23289/task/23307/stat : 23307 (java) S 23287 23289 23046 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 529448814 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 244458761728 0 4 0 16800975 18446604460812984448 0 0 -1 5 0 0 0
[pid=23289/tid=23308] ppid=23287 vsize=15762708 CPUtime=1191.9 cores=1,3,5,7
/proc/23289/task/23308/stat : 23308 (java) R 23287 23289 23046 0 -1 4202560 406494 0 0 0 119131 59 0 0 25 0 22 0 529448835 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 46912505805419 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23289/tid=23309] ppid=23287 vsize=15762708 CPUtime=1190.49 cores=1,3,5,7
/proc/23289/task/23309/stat : 23309 (java) R 23287 23289 23046 0 -1 4202560 402008 0 0 0 118989 60 0 0 25 0 22 0 529448835 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23289/tid=23310] ppid=23287 vsize=15762708 CPUtime=1191.59 cores=1,3,5,7
/proc/23289/task/23310/stat : 23310 (java) R 23287 23289 23046 0 -1 4202560 398833 0 0 0 119097 62 0 0 25 0 22 0 529448836 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 46912505721235 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23289/tid=23311] ppid=23287 vsize=15762708 CPUtime=1191.2 cores=1,3,5,7
/proc/23289/task/23311/stat : 23311 (java) R 23287 23289 23046 0 -1 4202560 399560 0 0 0 119063 57 0 0 25 0 22 0 529448836 16141012992 111984 33554432000 1073741824 1073778376 140737237893440 18446744073709551615 47039773761913 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 15762708

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

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

Child status: 143
Real time (s): 1207.14
CPU time (s): 4800.27
CPU user time (s): 4794.39
CPU system time (s): 5.87411
CPU usage (%): 397.657
Max. virtual memory (cumulated for all children) (KiB): 15765432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.39
system time used= 5.87411
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2936928
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= 217108
involuntary context switches= 125592

runsolver used 1.92271 second user time and 4.70728 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-30 17:48:04
IDJOB=3311658
IDBENCH=83043
IDSOLVER=1698
FILE ID=node105/3311658-1304178484
RUNJOBID= node105-1304177250-23065
PBS_JOBID= 13172437
Free space on /tmp= 73040 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311658-1304178484/watcher-3311658-1304178484 -o /tmp/evaluation-result-3311658-1304178484/solver-3311658-1304178484 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311658-1304178484.cnf -hbr 2

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

MD5SUM BENCH= ad12e37a0f3b75f1b331fdb5e803c99f
RANDOM SEED=42850833

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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	: 5410.70
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.825
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.74
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.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22871236 kB
Buffers:       2180788 kB
Cached:        6671900 kB
SwapCached:          4 kB
Active:        1273852 kB
Inactive:      8253520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22871236 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            3436 kB
Writeback:           0 kB
AnonPages:      674404 kB
Mapped:          23452 kB
Slab:           488256 kB
PageTables:       6352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1445480 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= 73040 MiB
End job on node105 at 2011-04-30 18:08:13