Trace number 3312639

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? (TO) 4800.11 1207.23

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S1475406203-080.UNKNOWN.cnf
MD5SUM6cadcf1602218f53da431eaffbc93148
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of clauses8010
Sum of the clauses size56070
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 58010

Solver Data 

0.09/0.13	24:55 INFO : Reading from input HOME/instance-3312639-1304126695.cnf
0.48/0.35	Executor set job limit to 1000000
0.48/0.35	Executor set job limit to 1000000
0.48/0.35	Executor set job limit to 1000000
0.48/0.35	Executor set job limit to 1000000
0.48/0.35	Starting Executor!
0.48/0.36	Starting Executor!
0.48/0.36	Starting Executor!
0.48/0.36	Starting Executor!
1.17/0.60	24:56 INFO : 90 variables remaining out of 90
1.17/0.60	24:56 INFO : 64080 literals remaining out of 64080

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

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: 6.92 7.81 7.92 3/178 18612
/proc/meminfo: memFree=23078224/32951124 swapFree=67111524/67111528
[pid=18612] ppid=18610 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/18612/stat : 18612 (java) S 18610 18612 18277 0 -1 4202496 1415 0 0 0 0 0 0 0 18 0 2 0 524269933 26714112 885 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/18612/statm: 6522 885 678 9 0 381 0
[pid=18612/tid=18613] ppid=18610 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18613/stat : 18613 (java) S 18610 18612 18277 0 -1 4202560 66 0 0 0 0 0 0 0 19 0 2 0 524269934 27824128 894 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244442021511 0 2147483391 4096 0 18446744071699199166 0 0 -1 5 0 0 0

[startup+0.060347 s]
/proc/loadavg: 6.92 7.81 7.92 3/178 18612
/proc/meminfo: memFree=23078224/32951124 swapFree=67111524/67111528
[pid=18612] ppid=18610 vsize=15604248 CPUtime=0.03 cores=1,3,5,7
/proc/18612/stat : 18612 (java) S 18610 18612 18277 0 -1 4202496 3861 0 1 0 3 0 0 0 18 0 13 0 524269933 15978749952 3299 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458747877 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/18612/statm: 3901062 3299 1683 9 0 3891810 0
[pid=18612/tid=18613] ppid=18610 vsize=15604248 CPUtime=0.03 cores=1,3,5,7
/proc/18612/task/18613/stat : 18613 (java) R 18610 18612 18277 0 -1 4202560 2469 0 1 0 3 0 0 0 21 0 13 0 524269934 15978749952 3299 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 47898370631699 0 4 0 16800971 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15604248

[startup+0.100291 s]
/proc/loadavg: 6.92 7.81 7.92 3/178 18612
/proc/meminfo: memFree=23078224/32951124 swapFree=67111524/67111528
[pid=18612] ppid=18610 vsize=15676528 CPUtime=0.09 cores=1,3,5,7
/proc/18612/stat : 18612 (java) S 18610 18612 18277 0 -1 4202496 5336 0 1 0 8 1 0 0 18 0 18 0 524269933 16052764672 4773 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18612/statm: 3919132 4774 2116 9 0 3909851 0
[pid=18612/tid=18613] ppid=18610 vsize=15676528 CPUtime=0.06 cores=1,3,5,7
/proc/18612/task/18613/stat : 18613 (java) R 18610 18612 18277 0 -1 4202560 3207 0 1 0 6 0 0 0 18 0 18 0 524269934 16052764672 4774 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 47898371433525 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676528

[startup+0.300254 s]
/proc/loadavg: 6.92 7.81 7.92 3/178 18612
/proc/meminfo: memFree=23078224/32951124 swapFree=67111524/67111528
[pid=18612] ppid=18610 vsize=15679712 CPUtime=0.48 cores=1,3,5,7
/proc/18612/stat : 18612 (java) S 18610 18612 18277 0 -1 4202496 13234 0 1 0 46 2 0 0 18 0 18 0 524269933 16056025088 11667 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18612/statm: 3919928 11669 2208 9 0 3910647 0
[pid=18612/tid=18613] ppid=18610 vsize=15679712 CPUtime=0.26 cores=1,3,5,7
/proc/18612/task/18613/stat : 18613 (java) R 18610 18612 18277 0 -1 4202560 8118 0 1 0 25 1 0 0 18 0 18 0 524269934 16056025088 11671 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912505511966 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 15679712

[startup+0.700181 s]
/proc/loadavg: 6.92 7.81 7.92 3/178 18612
/proc/meminfo: memFree=23078224/32951124 swapFree=67111524/67111528
[pid=18612] ppid=18610 vsize=15692540 CPUtime=1.47 cores=1,3,5,7
/proc/18612/stat : 18612 (java) S 18610 18612 18277 0 -1 4202496 33083 0 1 0 143 4 0 0 18 0 22 0 524269933 16069160960 28595 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18612/statm: 3923135 28595 2257 9 0 3913854 0
[pid=18612/tid=18613] ppid=18610 vsize=15692540 CPUtime=0.56 cores=1,3,5,7
/proc/18612/task/18613/stat : 18613 (java) S 18610 18612 18277 0 -1 4202560 16322 0 1 0 54 2 0 0 21 0 22 0 524269934 16069160960 28595 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 15692540

[startup+1.50103 s]
/proc/loadavg: 6.92 7.81 7.92 11/220 18654
/proc/meminfo: memFree=22727960/32951124 swapFree=67111524/67111528
[pid=18612] ppid=18610 vsize=15690032 CPUtime=4.66 cores=1,3,5,7
/proc/18612/stat : 18612 (java) S 18610 18612 18277 0 -1 4202496 61326 0 1 0 458 8 0 0 18 0 22 0 524269933 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18612/statm: 3922508 53331 2276 9 0 3913227 0
[pid=18612/tid=18613] ppid=18610 vsize=15690032 CPUtime=0.56 cores=1,3,5,7
/proc/18612/task/18613/stat : 18613 (java) S 18610 18612 18277 0 -1 4202560 16322 0 1 0 54 2 0 0 21 0 22 0 524269934 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18623] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18623/stat : 18623 (java) S 18610 18612 18277 0 -1 4202560 466 0 0 0 0 0 0 0 15 0 22 0 524269935 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18624] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18624/stat : 18624 (java) S 18610 18612 18277 0 -1 4202560 993 0 0 0 0 0 0 0 15 0 22 0 524269935 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18625] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18625/stat : 18625 (java) S 18610 18612 18277 0 -1 4202560 1361 0 0 0 0 0 0 0 16 0 22 0 524269935 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18626] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18626/stat : 18626 (java) S 18610 18612 18277 0 -1 4202560 1167 0 0 0 0 0 0 0 15 0 22 0 524269935 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18627] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18627/stat : 18627 (java) S 18610 18612 18277 0 -1 4202560 39 0 0 0 0 0 0 0 15 0 22 0 524269935 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18628] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18628/stat : 18628 (java) S 18610 18612 18277 0 -1 4202560 450 0 0 0 0 0 0 0 15 0 22 0 524269935 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18629] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18629/stat : 18629 (java) S 18610 18612 18277 0 -1 4202560 1529 0 0 0 0 0 0 0 15 0 22 0 524269935 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18630] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18630/stat : 18630 (java) S 18610 18612 18277 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 524269935 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18632] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18632/stat : 18632 (java) S 18610 18612 18277 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 524269936 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761728 0 0 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18635] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18635/stat : 18635 (java) S 18610 18612 18277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524269936 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18636] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18636/stat : 18636 (java) S 18610 18612 18277 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524269936 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18642] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18642/stat : 18642 (java) S 18610 18612 18277 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 524269940 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458768817 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18643] ppid=18610 vsize=15690032 CPUtime=0.64 cores=1,3,5,7
/proc/18612/task/18643/stat : 18643 (java) R 18610 18612 18277 0 -1 4202560 7098 0 0 0 64 0 0 0 23 0 22 0 524269940 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 47898367520800 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18612/tid=18644] ppid=18610 vsize=15690032 CPUtime=0.98 cores=1,3,5,7
/proc/18612/task/18644/stat : 18644 (java) R 18610 18612 18277 0 -1 4202560 11375 0 0 0 97 1 0 0 16 0 22 0 524269940 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 47898367596825 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18612/tid=18645] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18645/stat : 18645 (java) S 18610 18612 18277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524269940 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18646] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18646/stat : 18646 (java) S 18610 18612 18277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524269940 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761728 0 4 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18651] ppid=18610 vsize=15690032 CPUtime=0.85 cores=1,3,5,7
/proc/18612/task/18651/stat : 18651 (java) R 18610 18612 18277 0 -1 4202560 7259 0 0 0 84 1 0 0 16 0 22 0 524269969 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912505695168 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18612/tid=18652] ppid=18610 vsize=15690032 CPUtime=0.43 cores=1,3,5,7
/proc/18612/task/18652/stat : 18652 (java) R 18610 18612 18277 0 -1 4202560 3400 0 0 0 43 0 0 0 16 0 22 0 524269969 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912505785128 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18612/tid=18653] ppid=18610 vsize=15690032 CPUtime=0.62 cores=1,3,5,7
/proc/18612/task/18653/stat : 18653 (java) R 18610 18612 18277 0 -1 4202560 4886 0 0 0 62 0 0 0 16 0 22 0 524269969 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912505865708 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18612/tid=18654] ppid=18610 vsize=15690032 CPUtime=0.48 cores=1,3,5,7
/proc/18612/task/18654/stat : 18654 (java) R 18610 18612 18277 0 -1 4202560 3518 0 0 0 48 0 0 0 19 0 22 0 524269969 16066592768 53331 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 47898372729697 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.66
Current children cumulated vsize (KiB) 15690032

[startup+3.10073 s]
/proc/loadavg: 6.92 7.81 7.92 10/220 18654
/proc/meminfo: memFree=22456772/32951124 swapFree=67111524/67111528
[pid=18612] ppid=18610 vsize=15690032 CPUtime=11.04 cores=1,3,5,7
/proc/18612/stat : 18612 (java) S 18610 18612 18277 0 -1 4202496 119967 0 1 0 1086 18 0 0 18 0 22 0 524269933 16066592768 111962 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18612/statm: 3922508 111973 2286 9 0 3913227 0
[pid=18612/tid=18613] ppid=18610 vsize=15690032 CPUtime=0.56 cores=1,3,5,7
/proc/18612/task/18613/stat : 18613 (java) S 18610 18612 18277 0 -1 4202560 16322 0 1 0 54 2 0 0 21 0 22 0 524269934 16066592768 111976 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18623] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18623/stat : 18623 (java) S 18610 18612 18277 0 -1 4202560 2617 0 0 0 0 0 0 0 16 0 22 0 524269935 16066592768 111983 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18624] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18624/stat : 18624 (java) S 18610 18612 18277 0 -1 4202560 3044 0 0 0 0 0 0 0 15 0 22 0 524269935 16066592768 111987 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18625] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18625/stat : 18625 (java) S 18610 18612 18277 0 -1 4202560 2249 0 0 0 0 0 0 0 16 0 22 0 524269935 16066592768 111994 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18626] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18626/stat : 18626 (java) S 18610 18612 18277 0 -1 4202560 2737 0 0 0 0 0 0 0 15 0 22 0 524269935 16066592768 111998 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18627] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18627/stat : 18627 (java) S 18610 18612 18277 0 -1 4202560 2688 0 0 0 0 0 0 0 16 0 22 0 524269935 16066592768 112004 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 1 0 0 0
[pid=18612/tid=18628] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18628/stat : 18628 (java) S 18610 18612 18277 0 -1 4202560 956 0 0 0 0 0 0 0 15 0 22 0 524269935 16066592768 112008 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18629] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18629/stat : 18629 (java) S 18610 18612 18277 0 -1 4202560 3605 0 0 0 0 0 0 0 16 0 22 0 524269935 16066592768 112013 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18630] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18630/stat : 18630 (java) S 18610 18612 18277 0 -1 4202560 1371 0 0 0 0 0 0 0 15 0 22 0 524269935 16066592768 112015 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18632] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18632/stat : 18632 (java) S 18610 18612 18277 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 22 0 524269936 16066592768 112019 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761728 0 0 0 16800975 18446604470877741440 0 0 -1 1 0 0 0
[pid=18612/tid=18635] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18635/stat : 18635 (java) S 18610 18612 18277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524269936 16066592768 112026 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18636] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18636/stat : 18636 (java) S 18610 18612 18277 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524269936 16066592768 112027 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18642] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18642/stat : 18642 (java) S 18610 18612 18277 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 524269940 16066592768 112030 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458768817 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18643] ppid=18610 vsize=15690032 CPUtime=0.65 cores=1,3,5,7
/proc/18612/task/18643/stat : 18643 (java) R 18610 18612 18277 0 -1 4202560 7100 0 0 0 65 0 0 0 21 0 22 0 524269940 16066592768 112031 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458771125 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18612/tid=18644] ppid=18610 vsize=15690032 CPUtime=1.29 cores=1,3,5,7
/proc/18612/task/18644/stat : 18644 (java) S 18610 18612 18277 0 -1 4202560 11427 0 0 0 128 1 0 0 15 0 22 0 524269940 16066592768 112033 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 1 0 0 0
[pid=18612/tid=18645] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18645/stat : 18645 (java) S 18610 18612 18277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524269940 16066592768 112034 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18646] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18646/stat : 18646 (java) S 18610 18612 18277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524269940 16066592768 112042 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761728 0 4 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18651] ppid=18610 vsize=15690032 CPUtime=2.43 cores=1,3,5,7
/proc/18612/task/18651/stat : 18651 (java) R 18610 18612 18277 0 -1 4202560 18270 0 0 0 241 2 0 0 18 0 22 0 524269969 16066592768 112048 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912505788059 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18612/tid=18652] ppid=18610 vsize=15690032 CPUtime=2 cores=1,3,5,7
/proc/18612/task/18652/stat : 18652 (java) R 18610 18612 18277 0 -1 4202560 14637 0 0 0 199 1 0 0 17 0 22 0 524269969 16066592768 112055 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912505746658 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18612/tid=18653] ppid=18610 vsize=15690032 CPUtime=2.2 cores=1,3,5,7
/proc/18612/task/18653/stat : 18653 (java) R 18610 18612 18277 0 -1 4202560 16472 0 0 0 218 2 0 0 18 0 22 0 524269969 16066592768 112062 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912505821336 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18612/tid=18654] ppid=18610 vsize=15690032 CPUtime=1.76 cores=1,3,5,7
/proc/18612/task/18654/stat : 18654 (java) R 18610 18612 18277 0 -1 4202560 14986 0 0 0 173 3 0 0 21 0 22 0 524269969 16066592768 112065 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912505866345 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.04
Current children cumulated vsize (KiB) 15690032

[startup+6.30114 s]
/proc/loadavg: 7.01 7.82 7.92 10/220 18654
/proc/meminfo: memFree=21374176/32951124 swapFree=67111524/67111528
[pid=18612] ppid=18610 vsize=15690032 CPUtime=23.81 cores=1,3,5,7
/proc/18612/stat : 18612 (java) S 18610 18612 18277 0 -1 4202496 161578 0 1 0 2359 22 0 0 18 0 22 0 524269933 16066592768 152549 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18612/statm: 3922508 152549 2286 9 0 3913227 0
[pid=18612/tid=18613] ppid=18610 vsize=15690032 CPUtime=0.56 cores=1,3,5,7
/proc/18612/task/18613/stat : 18613 (java) S 18610 18612 18277 0 -1 4202560 16322 0 1 0 54 2 0 0 21 0 22 0 524269934 16066592768 152549 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18623] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18623/stat : 18623 (java) S 18610 18612 18277 0 -1 4202560 3574 0 0 0 0 0 0 0 15 0 22 0 524269935 16066592768 152549 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 1 0 0 0
[pid=18612/tid=18624] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18624/stat : 18624 (java) S 18610 18612 18277 0 -1 4202560 3897 0 0 0 0 0 0 0 15 0 22 0 524269935 16066592768 152549 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18625] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18625/stat : 18625 (java) S 18610 18612 18277 0 -1 4202560 3639 0 0 0 0 0 0 0 15 0 22 0 524269935 16066592768 152549 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18626] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18626/stat : 18626 (java) S 18610 18612 18277 0 -1 4202560 2965 0 0 0 0 0 0 0 15 0 22 0 524269935 16066592768 152549 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18627] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18627/stat : 18627 (java) S 18610 18612 18277 0 -1 4202560 2935 0 0 0 0 0 0 0 15 0 22 0 524269935 16066592768 152549 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 1 0 0 0
[pid=18612/tid=18628] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18628/stat : 18628 (java) S 18610 18612 18277 0 -1 4202560 2479 0 0 0 0 0 0 0 16 0 22 0 524269935 16066592768 152549 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18629] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18629/stat : 18629 (java) S 18610 18612 18277 0 -1 4202560 3605 0 0 0 0 0 0 0 15 0 22 0 524269935 16066592768 152549 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18630] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18630/stat : 18630 (java) S 18610 18612 18277 0 -1 4202560 1614 0 0 0 0 0 0 0 16 0 22 0 524269935 16066592768 152549 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0

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

[pid=18612/tid=18652] ppid=18610 vsize=15690032 CPUtime=1048.72 cores=1,3,5,7
/proc/18612/task/18652/stat : 18652 (java) R 18610 18612 18277 0 -1 4202560 153197 0 0 0 104843 29 0 0 25 0 22 0 524269969 16066592768 67799 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912505850389 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18612/tid=18653] ppid=18610 vsize=15690032 CPUtime=1048.96 cores=1,3,5,7
/proc/18612/task/18653/stat : 18653 (java) R 18610 18612 18277 0 -1 4202560 153965 0 0 0 104867 29 0 0 25 0 22 0 524269969 16066592768 67799 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912505524627 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18612/tid=18654] ppid=18610 vsize=15690032 CPUtime=1048.32 cores=1,3,5,7
/proc/18612/task/18654/stat : 18654 (java) R 18610 18612 18277 0 -1 4202560 153025 0 0 0 104800 32 0 0 25 0 22 0 524269969 16066592768 67799 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912505695136 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4223.92
Current children cumulated vsize (KiB) 15690032

[startup+1122.3 s]
/proc/loadavg: 8.06 8.09 8.02 9/220 18684
/proc/meminfo: memFree=22327412/32951124 swapFree=67111524/67111528
[pid=18612] ppid=18610 vsize=15690032 CPUtime=4462.54 cores=1,3,5,7
/proc/18612/stat : 18612 (java) S 18610 18612 18277 0 -1 4202496 1273069 0 1 0 445910 344 0 0 18 0 22 0 524269933 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18612/statm: 3922508 68833 2299 9 0 3913227 0
[pid=18612/tid=18613] ppid=18610 vsize=15690032 CPUtime=0.56 cores=1,3,5,7
/proc/18612/task/18613/stat : 18613 (java) S 18610 18612 18277 0 -1 4202560 16322 0 1 0 54 2 0 0 21 0 22 0 524269934 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18623] ppid=18610 vsize=15690032 CPUtime=3.25 cores=1,3,5,7
/proc/18612/task/18623/stat : 18623 (java) S 18610 18612 18277 0 -1 4202560 75920 0 0 0 307 18 0 0 15 0 22 0 524269935 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18624] ppid=18610 vsize=15690032 CPUtime=3.15 cores=1,3,5,7
/proc/18612/task/18624/stat : 18624 (java) S 18610 18612 18277 0 -1 4202560 73534 0 0 0 296 19 0 0 15 0 22 0 524269935 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18625] ppid=18610 vsize=15690032 CPUtime=3.2 cores=1,3,5,7
/proc/18612/task/18625/stat : 18625 (java) S 18610 18612 18277 0 -1 4202560 72971 0 0 0 305 15 0 0 16 0 22 0 524269935 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 1 0 0 0
[pid=18612/tid=18626] ppid=18610 vsize=15690032 CPUtime=3.14 cores=1,3,5,7
/proc/18612/task/18626/stat : 18626 (java) S 18610 18612 18277 0 -1 4202560 75417 0 0 0 297 17 0 0 16 0 22 0 524269935 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18627] ppid=18610 vsize=15690032 CPUtime=3.06 cores=1,3,5,7
/proc/18612/task/18627/stat : 18627 (java) S 18610 18612 18277 0 -1 4202560 70368 0 0 0 288 18 0 0 15 0 22 0 524269935 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18628] ppid=18610 vsize=15690032 CPUtime=3.12 cores=1,3,5,7
/proc/18612/task/18628/stat : 18628 (java) S 18610 18612 18277 0 -1 4202560 73417 0 0 0 291 21 0 0 15 0 22 0 524269935 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18629] ppid=18610 vsize=15690032 CPUtime=3.16 cores=1,3,5,7
/proc/18612/task/18629/stat : 18629 (java) S 18610 18612 18277 0 -1 4202560 70619 0 0 0 298 18 0 0 15 0 22 0 524269935 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18630] ppid=18610 vsize=15690032 CPUtime=3.11 cores=1,3,5,7
/proc/18612/task/18630/stat : 18630 (java) S 18610 18612 18277 0 -1 4202560 69074 0 0 0 294 17 0 0 15 0 22 0 524269935 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18632] ppid=18610 vsize=15690032 CPUtime=2.02 cores=1,3,5,7
/proc/18612/task/18632/stat : 18632 (java) S 18610 18612 18277 0 -1 4202560 3363 0 0 0 143 59 0 0 16 0 22 0 524269936 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761728 0 0 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18635] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18635/stat : 18635 (java) S 18610 18612 18277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524269936 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18636] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18636/stat : 18636 (java) S 18610 18612 18277 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524269936 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18642] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18642/stat : 18642 (java) S 18610 18612 18277 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 524269940 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458768817 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18643] ppid=18610 vsize=15690032 CPUtime=0.77 cores=1,3,5,7
/proc/18612/task/18643/stat : 18643 (java) S 18610 18612 18277 0 -1 4202560 7127 0 0 0 77 0 0 0 15 0 22 0 524269940 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18644] ppid=18610 vsize=15690032 CPUtime=1.41 cores=1,3,5,7
/proc/18612/task/18644/stat : 18644 (java) S 18610 18612 18277 0 -1 4202560 11443 0 0 0 140 1 0 0 15 0 22 0 524269940 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 1 0 0 0
[pid=18612/tid=18645] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18645/stat : 18645 (java) S 18610 18612 18277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524269940 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18646] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18646/stat : 18646 (java) S 18610 18612 18277 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 524269940 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761728 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18651] ppid=18610 vsize=15690032 CPUtime=1108.57 cores=1,3,5,7
/proc/18612/task/18651/stat : 18651 (java) R 18610 18612 18277 0 -1 4202560 165839 0 0 0 110824 33 0 0 25 0 22 0 524269969 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18612/tid=18652] ppid=18610 vsize=15690032 CPUtime=1108.06 cores=1,3,5,7
/proc/18612/task/18652/stat : 18652 (java) R 18610 18612 18277 0 -1 4202560 162204 0 0 0 110775 31 0 0 25 0 22 0 524269969 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912505821478 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18612/tid=18653] ppid=18610 vsize=15690032 CPUtime=1108.32 cores=1,3,5,7
/proc/18612/task/18653/stat : 18653 (java) R 18610 18612 18277 0 -1 4202560 162564 0 0 0 110801 31 0 0 25 0 22 0 524269969 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912505859851 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18612/tid=18654] ppid=18610 vsize=15690032 CPUtime=1107.48 cores=1,3,5,7
/proc/18612/task/18654/stat : 18654 (java) R 18610 18612 18277 0 -1 4202560 161442 0 0 0 110714 34 0 0 25 0 22 0 524269969 16066592768 68833 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912505859639 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4462.54
Current children cumulated vsize (KiB) 15690032

[startup+1182.3 s]
/proc/loadavg: 8.19 8.11 8.03 9/220 18685
/proc/meminfo: memFree=22376732/32951124 swapFree=67111524/67111528
[pid=18612] ppid=18610 vsize=15690032 CPUtime=4701.02 cores=1,3,5,7
/proc/18612/stat : 18612 (java) S 18610 18612 18277 0 -1 4202496 1340885 0 1 0 469735 367 0 0 18 0 22 0 524269933 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18612/statm: 3922508 71646 2299 9 0 3913227 0
[pid=18612/tid=18613] ppid=18610 vsize=15690032 CPUtime=0.56 cores=1,3,5,7
/proc/18612/task/18613/stat : 18613 (java) S 18610 18612 18277 0 -1 4202560 16322 0 1 0 54 2 0 0 21 0 22 0 524269934 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18623] ppid=18610 vsize=15690032 CPUtime=3.4 cores=1,3,5,7
/proc/18612/task/18623/stat : 18623 (java) S 18610 18612 18277 0 -1 4202560 78136 0 0 0 321 19 0 0 15 0 22 0 524269935 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 1 0 0 0
[pid=18612/tid=18624] ppid=18610 vsize=15690032 CPUtime=3.32 cores=1,3,5,7
/proc/18612/task/18624/stat : 18624 (java) S 18610 18612 18277 0 -1 4202560 76592 0 0 0 313 19 0 0 15 0 22 0 524269935 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18625] ppid=18610 vsize=15690032 CPUtime=3.34 cores=1,3,5,7
/proc/18612/task/18625/stat : 18625 (java) S 18610 18612 18277 0 -1 4202560 75280 0 0 0 318 16 0 0 15 0 22 0 524269935 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18626] ppid=18610 vsize=15690032 CPUtime=3.3 cores=1,3,5,7
/proc/18612/task/18626/stat : 18626 (java) S 18610 18612 18277 0 -1 4202560 78160 0 0 0 312 18 0 0 15 0 22 0 524269935 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18627] ppid=18610 vsize=15690032 CPUtime=3.2 cores=1,3,5,7
/proc/18612/task/18627/stat : 18627 (java) S 18610 18612 18277 0 -1 4202560 72824 0 0 0 301 19 0 0 15 0 22 0 524269935 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18628] ppid=18610 vsize=15690032 CPUtime=3.25 cores=1,3,5,7
/proc/18612/task/18628/stat : 18628 (java) S 18610 18612 18277 0 -1 4202560 75907 0 0 0 303 22 0 0 16 0 22 0 524269935 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18629] ppid=18610 vsize=15690032 CPUtime=3.35 cores=1,3,5,7
/proc/18612/task/18629/stat : 18629 (java) S 18610 18612 18277 0 -1 4202560 73541 0 0 0 315 20 0 0 15 0 22 0 524269935 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 1 0 0 0
[pid=18612/tid=18630] ppid=18610 vsize=15690032 CPUtime=3.26 cores=1,3,5,7
/proc/18612/task/18630/stat : 18630 (java) S 18610 18612 18277 0 -1 4202560 70977 0 0 0 309 17 0 0 15 0 22 0 524269935 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18632] ppid=18610 vsize=15690032 CPUtime=2.16 cores=1,3,5,7
/proc/18612/task/18632/stat : 18632 (java) S 18610 18612 18277 0 -1 4202560 3583 0 0 0 152 64 0 0 15 0 22 0 524269936 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761728 0 0 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18635] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18635/stat : 18635 (java) S 18610 18612 18277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524269936 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18636] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18636/stat : 18636 (java) S 18610 18612 18277 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524269936 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18642] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18642/stat : 18642 (java) S 18610 18612 18277 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 524269940 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458768817 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18643] ppid=18610 vsize=15690032 CPUtime=0.77 cores=1,3,5,7
/proc/18612/task/18643/stat : 18643 (java) S 18610 18612 18277 0 -1 4202560 7127 0 0 0 77 0 0 0 15 0 22 0 524269940 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18644] ppid=18610 vsize=15690032 CPUtime=1.41 cores=1,3,5,7
/proc/18612/task/18644/stat : 18644 (java) S 18610 18612 18277 0 -1 4202560 11443 0 0 0 140 1 0 0 15 0 22 0 524269940 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 1 0 0 0
[pid=18612/tid=18645] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18645/stat : 18645 (java) S 18610 18612 18277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524269940 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18646] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18646/stat : 18646 (java) S 18610 18612 18277 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 524269940 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761728 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18651] ppid=18610 vsize=15690032 CPUtime=1167.94 cores=1,3,5,7
/proc/18612/task/18651/stat : 18651 (java) R 18610 18612 18277 0 -1 4202560 177921 0 0 0 116758 36 0 0 25 0 22 0 524269969 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912505722721 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18612/tid=18652] ppid=18610 vsize=15690032 CPUtime=1167.28 cores=1,3,5,7
/proc/18612/task/18652/stat : 18652 (java) R 18610 18612 18277 0 -1 4202560 173979 0 0 0 116694 34 0 0 25 0 22 0 524269969 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912505897885 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18612/tid=18653] ppid=18610 vsize=15690032 CPUtime=1167.61 cores=1,3,5,7
/proc/18612/task/18653/stat : 18653 (java) R 18610 18612 18277 0 -1 4202560 174375 0 0 0 116728 33 0 0 25 0 22 0 524269969 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912505746658 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18612/tid=18654] ppid=18610 vsize=15690032 CPUtime=1166.68 cores=1,3,5,7
/proc/18612/task/18654/stat : 18654 (java) R 18610 18612 18277 0 -1 4202560 173270 0 0 0 116632 36 0 0 25 0 22 0 524269969 16066592768 71646 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912505695174 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4701.02
Current children cumulated vsize (KiB) 15690032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.2 s]
/proc/loadavg: 8.20 8.12 8.04 5/197 18689
/proc/meminfo: memFree=22784116/32951124 swapFree=67111524/67111528
[pid=18612] ppid=18610 vsize=15690032 CPUtime=4800.06 cores=1,3,5,7
/proc/18612/stat : 18612 (java) S 18610 18612 18277 0 -1 4202496 1374827 0 1 0 479629 377 0 0 18 0 22 0 524269933 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18612/statm: 3922508 74348 2299 9 0 3913227 0
[pid=18612/tid=18613] ppid=18610 vsize=15690032 CPUtime=0.56 cores=1,3,5,7
/proc/18612/task/18613/stat : 18613 (java) S 18610 18612 18277 0 -1 4202560 16322 0 1 0 54 2 0 0 21 0 22 0 524269934 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18623] ppid=18610 vsize=15690032 CPUtime=3.47 cores=1,3,5,7
/proc/18612/task/18623/stat : 18623 (java) S 18610 18612 18277 0 -1 4202560 78885 0 0 0 327 20 0 0 15 0 22 0 524269935 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18624] ppid=18610 vsize=15690032 CPUtime=3.39 cores=1,3,5,7
/proc/18612/task/18624/stat : 18624 (java) S 18610 18612 18277 0 -1 4202560 78062 0 0 0 319 20 0 0 16 0 22 0 524269935 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18625] ppid=18610 vsize=15690032 CPUtime=3.43 cores=1,3,5,7
/proc/18612/task/18625/stat : 18625 (java) S 18610 18612 18277 0 -1 4202560 76727 0 0 0 326 17 0 0 16 0 22 0 524269935 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18626] ppid=18610 vsize=15690032 CPUtime=3.36 cores=1,3,5,7
/proc/18612/task/18626/stat : 18626 (java) S 18610 18612 18277 0 -1 4202560 79471 0 0 0 317 19 0 0 15 0 22 0 524269935 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18627] ppid=18610 vsize=15690032 CPUtime=3.28 cores=1,3,5,7
/proc/18612/task/18627/stat : 18627 (java) S 18610 18612 18277 0 -1 4202560 73629 0 0 0 309 19 0 0 15 0 22 0 524269935 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18628] ppid=18610 vsize=15690032 CPUtime=3.33 cores=1,3,5,7
/proc/18612/task/18628/stat : 18628 (java) S 18610 18612 18277 0 -1 4202560 76746 0 0 0 311 22 0 0 16 0 22 0 524269935 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18629] ppid=18610 vsize=15690032 CPUtime=3.41 cores=1,3,5,7
/proc/18612/task/18629/stat : 18629 (java) S 18610 18612 18277 0 -1 4202560 74855 0 0 0 321 20 0 0 15 0 22 0 524269935 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 1 0 0 0
[pid=18612/tid=18630] ppid=18610 vsize=15690032 CPUtime=3.34 cores=1,3,5,7
/proc/18612/task/18630/stat : 18630 (java) S 18610 18612 18277 0 -1 4202560 72592 0 0 0 316 18 0 0 16 0 22 0 524269935 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 1 0 0 0
[pid=18612/tid=18632] ppid=18610 vsize=15690032 CPUtime=2.21 cores=1,3,5,7
/proc/18612/task/18632/stat : 18632 (java) S 18610 18612 18277 0 -1 4202560 3687 0 0 0 155 66 0 0 16 0 22 0 524269936 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761728 0 0 0 16800975 18446604470877741440 0 0 -1 3 0 0 0
[pid=18612/tid=18635] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18635/stat : 18635 (java) S 18610 18612 18277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524269936 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18636] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18636/stat : 18636 (java) S 18610 18612 18277 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524269936 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 7 0 0 0
[pid=18612/tid=18642] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18642/stat : 18642 (java) S 18610 18612 18277 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 524269940 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458768817 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18643] ppid=18610 vsize=15690032 CPUtime=0.77 cores=1,3,5,7
/proc/18612/task/18643/stat : 18643 (java) S 18610 18612 18277 0 -1 4202560 7127 0 0 0 77 0 0 0 15 0 22 0 524269940 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18644] ppid=18610 vsize=15690032 CPUtime=1.41 cores=1,3,5,7
/proc/18612/task/18644/stat : 18644 (java) S 18610 18612 18277 0 -1 4202560 11443 0 0 0 140 1 0 0 15 0 22 0 524269940 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 1 0 0 0
[pid=18612/tid=18645] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18645/stat : 18645 (java) S 18610 18612 18277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524269940 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761113 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18646] ppid=18610 vsize=15690032 CPUtime=0 cores=1,3,5,7
/proc/18612/task/18646/stat : 18646 (java) S 18610 18612 18277 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 524269940 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 244458761728 0 4 0 16800975 18446604470877741440 0 0 -1 5 0 0 0
[pid=18612/tid=18651] ppid=18610 vsize=15690032 CPUtime=1192.53 cores=1,3,5,7
/proc/18612/task/18651/stat : 18651 (java) R 18610 18612 18277 0 -1 4202560 183998 0 0 0 119216 37 0 0 25 0 22 0 524269969 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912505820541 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18612/tid=18652] ppid=18610 vsize=15690032 CPUtime=1191.9 cores=1,3,5,7
/proc/18612/task/18652/stat : 18652 (java) R 18610 18612 18277 0 -1 4202560 180264 0 0 0 119155 35 0 0 25 0 22 0 524269969 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912505746621 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18612/tid=18653] ppid=18610 vsize=15690032 CPUtime=1192.18 cores=1,3,5,7
/proc/18612/task/18653/stat : 18653 (java) R 18610 18612 18277 0 -1 4202560 180512 0 0 0 119184 34 0 0 25 0 22 0 524269969 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912505897546 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18612/tid=18654] ppid=18610 vsize=15690032 CPUtime=1191.33 cores=1,3,5,7
/proc/18612/task/18654/stat : 18654 (java) R 18610 18612 18277 0 -1 4202560 179057 0 0 0 119095 38 0 0 25 0 22 0 524269969 16066592768 74348 33554432000 1073741824 1073778376 140737370617040 18446744073709551615 46912506232809 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 15690032

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.23
CPU time (s): 4800.11
CPU user time (s): 4796.32
CPU system time (s): 3.78942
CPU usage (%): 397.614
Max. virtual memory (cumulated for all children) (KiB): 15692676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.32
system time used= 3.78942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1374852
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= 292736
involuntary context switches= 157711

runsolver used 2.11468 second user time and 4.51131 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-30 03:24:55
IDJOB=3312639
IDBENCH=82824
IDSOLVER=1699
FILE ID=node105/3312639-1304126695
RUNJOBID= node105-1304126695-18592
PBS_JOBID= 13170751
Free space on /tmp= 71936 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/medium/unif-k7-r89-v90-c8010-S1475406203-080.UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312639-1304126695/watcher-3312639-1304126695 -o /tmp/evaluation-result-3312639-1304126695/solver-3312639-1304126695 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312639-1304126695.cnf

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

MD5SUM BENCH= 6cadcf1602218f53da431eaffbc93148
RANDOM SEED=1662999824

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:      23078760 kB
Buffers:       2161704 kB
Cached:        7099660 kB
SwapCached:          4 kB
Active:         589732 kB
Inactive:      8736164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23078760 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            3232 kB
Writeback:           0 kB
AnonPages:       63812 kB
Mapped:          16044 kB
Slab:           483768 kB
PageTables:       4884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   195640 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= 71936 MiB
End job on node105 at 2011-04-30 03:45:04