Trace number 3312056

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.64 1245.02

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf
MD5SUM649b4cf0a21e275b244b1034d05ded52
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4.09638
Satisfiable
(Un)Satisfiability was proved
Number of variables96095
Number of clauses285404
Sum of the clauses size665940
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2190268
Number of clauses of size 395134
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.11	49:23 INFO : Reading from input HOME/instance-3312056-1304110162.cnf
1.36/1.14	Executor set job limit to 1000000
1.36/1.14	Executor set job limit to 1000000
1.36/1.14	Executor set job limit to 1000000
1.36/1.14	Executor set job limit to 1000000
1.36/1.14	Starting Executor!
1.36/1.14	Starting Executor!
1.36/1.14	Starting Executor!
1.36/1.15	Starting Executor!
14.71/12.35	49:35 INFO : 91544 variables remaining out of 96095
14.71/12.35	49:35 INFO : 8322462 literals remaining out of 951344

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

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

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: 1.98 4.82 6.36 3/194 15547
/proc/meminfo: memFree=25289236/32951124 swapFree=67111448/67111528
[pid=15547] ppid=15545 vsize=26140 CPUtime=0 cores=0,2,4,6
/proc/15547/stat : 15547 (java) S 15545 15547 14339 0 -1 4202496 1398 0 0 0 0 0 0 0 20 0 2 0 503432383 26767360 877 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118571493 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/15547/statm: 6522 877 671 9 0 381 0
[pid=15547/tid=15548] ppid=15545 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15548/stat : 15548 (java) R 15545 15547 14339 0 -1 4202560 56 0 0 0 0 0 0 0 22 0 2 0 503432384 26714112 885 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255106429637 0 0 4096 0 0 0 0 -1 2 0 0 0

[startup+0.0963819 s]
/proc/loadavg: 1.98 4.82 6.36 3/194 15547
/proc/meminfo: memFree=25289236/32951124 swapFree=67111448/67111528
[pid=15547] ppid=15545 vsize=15676940 CPUtime=0.1 cores=0,2,4,6
/proc/15547/stat : 15547 (java) S 15545 15547 14339 0 -1 4202496 5534 0 1 0 9 1 0 0 20 0 18 0 503432383 16053186560 4971 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15547/statm: 3919235 4971 2116 9 0 3909954 0
[pid=15547/tid=15548] ppid=15545 vsize=15676940 CPUtime=0.08 cores=0,2,4,6
/proc/15547/task/15548/stat : 15548 (java) R 15545 15547 14339 0 -1 4202560 3422 0 1 0 7 1 0 0 18 0 18 0 503432384 16053186560 4971 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255106764645 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676940

[startup+0.100385 s]
/proc/loadavg: 1.98 4.82 6.36 3/194 15547
/proc/meminfo: memFree=25289236/32951124 swapFree=67111448/67111528
[pid=15547] ppid=15545 vsize=15676940 CPUtime=0.1 cores=0,2,4,6
/proc/15547/stat : 15547 (java) S 15545 15547 14339 0 -1 4202496 5601 0 1 0 9 1 0 0 20 0 18 0 503432383 16053186560 5038 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15547/statm: 3919235 5039 2117 9 0 3909954 0
[pid=15547/tid=15548] ppid=15545 vsize=15676940 CPUtime=0.09 cores=0,2,4,6
/proc/15547/task/15548/stat : 15548 (java) R 15545 15547 14339 0 -1 4202560 3490 0 1 0 8 1 0 0 18 0 18 0 503432384 16053186560 5039 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118595531 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676940

[startup+0.300393 s]
/proc/loadavg: 1.98 4.82 6.36 3/194 15547
/proc/meminfo: memFree=25289236/32951124 swapFree=67111448/67111528
[pid=15547] ppid=15545 vsize=15682064 CPUtime=0.52 cores=0,2,4,6
/proc/15547/stat : 15547 (java) S 15545 15547 14339 0 -1 4202496 15880 0 1 0 50 2 0 0 20 0 18 0 503432383 16058433536 14096 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15547/statm: 3920516 14103 2206 9 0 3911235 0
[pid=15547/tid=15548] ppid=15545 vsize=15682064 CPUtime=0.28 cores=0,2,4,6
/proc/15547/task/15548/stat : 15548 (java) R 15545 15547 14339 0 -1 4202560 10793 0 1 0 27 1 0 0 18 0 18 0 503432384 16058433536 14106 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 46912505639456 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15682064

[startup+0.700319 s]
/proc/loadavg: 1.98 4.82 6.36 3/194 15547
/proc/meminfo: memFree=25289236/32951124 swapFree=67111448/67111528
[pid=15547] ppid=15545 vsize=15682064 CPUtime=0.93 cores=0,2,4,6
/proc/15547/stat : 15547 (java) S 15545 15547 14339 0 -1 4202496 41934 0 1 0 88 5 0 0 20 0 18 0 503432383 16058433536 40147 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15547/statm: 3920516 40147 2222 9 0 3911235 0
[pid=15547/tid=15548] ppid=15545 vsize=15682064 CPUtime=0.68 cores=0,2,4,6
/proc/15547/task/15548/stat : 15548 (java) R 15545 15547 14339 0 -1 4202560 35530 0 1 0 64 4 0 0 18 0 18 0 503432384 16058433536 40147 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 46912505521812 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15682064

[startup+1.50114 s]
/proc/loadavg: 1.98 4.82 6.36 4/216 15569
/proc/meminfo: memFree=24959104/32951124 swapFree=67111448/67111528
[pid=15547] ppid=15545 vsize=15688248 CPUtime=2.07 cores=0,2,4,6
/proc/15547/stat : 15547 (java) S 15545 15547 14339 0 -1 4202496 50869 0 1 0 200 7 0 0 20 0 22 0 503432383 16064765952 46921 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15547/statm: 3922062 46921 2263 9 0 3912781 0
[pid=15547/tid=15548] ppid=15545 vsize=15688248 CPUtime=1.47 cores=0,2,4,6
/proc/15547/task/15548/stat : 15548 (java) R 15545 15547 14339 0 -1 4202560 35632 0 1 0 143 4 0 0 18 0 22 0 503432384 16064765952 46921 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 47353557840725 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15547/tid=15550] ppid=15545 vsize=15688248 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15550/stat : 15550 (java) S 15545 15547 14339 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 503432384 16064765952 46921 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15551] ppid=15545 vsize=15688248 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15551/stat : 15551 (java) S 15545 15547 14339 0 -1 4202560 429 0 0 0 0 0 0 0 15 0 22 0 503432384 16064765952 46921 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15552] ppid=15545 vsize=15688248 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15552/stat : 15552 (java) S 15545 15547 14339 0 -1 4202560 896 0 0 0 0 0 0 0 16 0 22 0 503432384 16064765952 46921 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15553] ppid=15545 vsize=15688248 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15553/stat : 15553 (java) S 15545 15547 14339 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 22 0 503432384 16064765952 46921 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15554] ppid=15545 vsize=15688248 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15554/stat : 15554 (java) S 15545 15547 14339 0 -1 4202560 703 0 0 0 0 0 0 0 15 0 22 0 503432384 16064765952 46921 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 4 0 0 0
[pid=15547/tid=15555] ppid=15545 vsize=15688248 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15555/stat : 15555 (java) S 15545 15547 14339 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503432384 16064765952 46921 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 4 0 0 0
[pid=15547/tid=15556] ppid=15545 vsize=15688248 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15556/stat : 15556 (java) S 15545 15547 14339 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 22 0 503432384 16064765952 46921 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15557] ppid=15545 vsize=15688248 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15557/stat : 15557 (java) S 15545 15547 14339 0 -1 4202560 672 0 0 0 0 0 0 0 16 0 22 0 503432384 16064765952 46921 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15558] ppid=15545 vsize=15688248 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15558/stat : 15558 (java) S 15545 15547 14339 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 503432385 16064765952 46921 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118585344 0 0 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15559] ppid=15545 vsize=15688248 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15559/stat : 15559 (java) S 15545 15547 14339 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 503432385 16064765952 46921 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15560] ppid=15545 vsize=15688248 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15560/stat : 15560 (java) S 15545 15547 14339 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 503432385 16064765952 46921 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15561] ppid=15545 vsize=15688248 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15561/stat : 15561 (java) S 15545 15547 14339 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503432388 16064765952 46921 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118592433 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15562] ppid=15545 vsize=15688248 CPUtime=0.22 cores=0,2,4,6
/proc/15547/task/15562/stat : 15562 (java) S 15545 15547 14339 0 -1 4202560 2398 0 0 0 22 0 0 0 16 0 22 0 503432388 16064765952 46921 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15563] ppid=15545 vsize=15688248 CPUtime=0.32 cores=0,2,4,6
/proc/15547/task/15563/stat : 15563 (java) R 15545 15547 14339 0 -1 4202560 8421 0 0 0 31 1 0 0 16 0 22 0 503432388 16064765952 46921 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 47353558642081 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15547/tid=15564] ppid=15545 vsize=15688248 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15564/stat : 15564 (java) S 15545 15547 14339 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503432388 16064765952 46921 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15565] ppid=15545 vsize=15688248 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15565/stat : 15565 (java) S 15545 15547 14339 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503432388 16064765952 46921 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118585344 0 4 0 16800975 18446604453952236224 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 15688248

[startup+3.10088 s]
/proc/loadavg: 1.98 4.82 6.36 4/220 15573
/proc/meminfo: memFree=24888976/32951124 swapFree=67111448/67111528
[pid=15547] ppid=15545 vsize=15686176 CPUtime=4.79 cores=0,2,4,6
/proc/15547/stat : 15547 (java) S 15545 15547 14339 0 -1 4202496 71984 0 1 0 470 9 0 0 20 0 22 0 503432383 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15547/statm: 3921544 62574 2263 9 0 3912263 0
[pid=15547/tid=15548] ppid=15545 vsize=15686176 CPUtime=3.03 cores=0,2,4,6
/proc/15547/task/15548/stat : 15548 (java) R 15545 15547 14339 0 -1 4202560 35647 0 1 0 299 4 0 0 20 0 22 0 503432384 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 46912505601903 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15547/tid=15550] ppid=15545 vsize=15686176 CPUtime=0.03 cores=0,2,4,6
/proc/15547/task/15550/stat : 15550 (java) S 15545 15547 14339 0 -1 4202560 3216 0 0 0 3 0 0 0 16 0 22 0 503432384 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 4 0 0 0
[pid=15547/tid=15551] ppid=15545 vsize=15686176 CPUtime=0.02 cores=0,2,4,6
/proc/15547/task/15551/stat : 15551 (java) S 15545 15547 14339 0 -1 4202560 3689 0 0 0 2 0 0 0 16 0 22 0 503432384 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15552] ppid=15545 vsize=15686176 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15552/stat : 15552 (java) S 15545 15547 14339 0 -1 4202560 896 0 0 0 0 0 0 0 15 0 22 0 503432384 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15553] ppid=15545 vsize=15686176 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15553/stat : 15553 (java) S 15545 15547 14339 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 22 0 503432384 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15554] ppid=15545 vsize=15686176 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15554/stat : 15554 (java) S 15545 15547 14339 0 -1 4202560 703 0 0 0 0 0 0 0 15 0 22 0 503432384 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 4 0 0 0
[pid=15547/tid=15555] ppid=15545 vsize=15686176 CPUtime=0.02 cores=0,2,4,6
/proc/15547/task/15555/stat : 15555 (java) S 15545 15547 14339 0 -1 4202560 2282 0 0 0 2 0 0 0 16 0 22 0 503432384 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15556] ppid=15545 vsize=15686176 CPUtime=0.03 cores=0,2,4,6
/proc/15547/task/15556/stat : 15556 (java) S 15545 15547 14339 0 -1 4202560 3614 0 0 0 3 0 0 0 16 0 22 0 503432384 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15557] ppid=15545 vsize=15686176 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15557/stat : 15557 (java) S 15545 15547 14339 0 -1 4202560 672 0 0 0 0 0 0 0 15 0 22 0 503432384 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15558] ppid=15545 vsize=15686176 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15558/stat : 15558 (java) S 15545 15547 14339 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 22 0 503432385 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118585344 0 0 0 16800975 18446604453952236224 0 0 -1 4 0 0 0
[pid=15547/tid=15559] ppid=15545 vsize=15686176 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15559/stat : 15559 (java) S 15545 15547 14339 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503432385 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15560] ppid=15545 vsize=15686176 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15560/stat : 15560 (java) S 15545 15547 14339 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503432385 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15561] ppid=15545 vsize=15686176 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15561/stat : 15561 (java) S 15545 15547 14339 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503432388 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118592433 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15562] ppid=15545 vsize=15686176 CPUtime=0.33 cores=0,2,4,6
/proc/15547/task/15562/stat : 15562 (java) S 15545 15547 14339 0 -1 4202560 2415 0 0 0 33 0 0 0 15 0 22 0 503432388 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15563] ppid=15545 vsize=15686176 CPUtime=1.24 cores=0,2,4,6
/proc/15547/task/15563/stat : 15563 (java) S 15545 15547 14339 0 -1 4202560 17287 0 0 0 123 1 0 0 15 0 22 0 503432388 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15564] ppid=15545 vsize=15686176 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15564/stat : 15564 (java) S 15545 15547 14339 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503432388 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15565] ppid=15545 vsize=15686176 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15565/stat : 15565 (java) S 15545 15547 14339 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503432388 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118585344 0 4 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15570] ppid=15545 vsize=15686176 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15570/stat : 15570 (java) S 15545 15547 14339 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 503432498 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118585344 0 4 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15571] ppid=15545 vsize=15686176 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15571/stat : 15571 (java) S 15545 15547 14339 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 503432498 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118585344 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15572] ppid=15545 vsize=15686176 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15572/stat : 15572 (java) S 15545 15547 14339 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 503432498 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118585344 0 4 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15573] ppid=15545 vsize=15686176 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15573/stat : 15573 (java) S 15545 15547 14339 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 503432498 16062644224 62574 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118585344 0 4 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 15686176

[startup+6.30132 s]
/proc/loadavg: 1.98 4.78 6.33 3/220 15573
/proc/meminfo: memFree=24702864/32951124 swapFree=67111448/67111528
[pid=15547] ppid=15545 vsize=15686176 CPUtime=8.2 cores=0,2,4,6
/proc/15547/stat : 15547 (java) S 15545 15547 14339 0 -1 4202496 110534 0 1 0 806 14 0 0 20 0 22 0 503432383 16062644224 99746 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15547/statm: 3921544 99746 2273 9 0 3912263 0
[pid=15547/tid=15548] ppid=15545 vsize=15686176 CPUtime=6.21 cores=0,2,4,6
/proc/15547/task/15548/stat : 15548 (java) R 15545 15547 14339 0 -1 4202560 56899 0 1 0 614 7 0 0 25 0 22 0 503432384 16062644224 99746 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 46912506070419 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15547/tid=15550] ppid=15545 vsize=15686176 CPUtime=0.03 cores=0,2,4,6
/proc/15547/task/15550/stat : 15550 (java) S 15545 15547 14339 0 -1 4202560 3216 0 0 0 3 0 0 0 15 0 22 0 503432384 16062644224 99746 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 4 0 0 0
[pid=15547/tid=15551] ppid=15545 vsize=15686176 CPUtime=0.05 cores=0,2,4,6
/proc/15547/task/15551/stat : 15551 (java) S 15545 15547 14339 0 -1 4202560 8014 0 0 0 4 1 0 0 16 0 22 0 503432384 16062644224 99746 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15552] ppid=15545 vsize=15686176 CPUtime=0.02 cores=0,2,4,6
/proc/15547/task/15552/stat : 15552 (java) S 15545 15547 14339 0 -1 4202560 4611 0 0 0 2 0 0 0 16 0 22 0 503432384 16062644224 99746 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15553] ppid=15545 vsize=15686176 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15553/stat : 15553 (java) S 15545 15547 14339 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 22 0 503432384 16062644224 99746 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15554] ppid=15545 vsize=15686176 CPUtime=0.02 cores=0,2,4,6
/proc/15547/task/15554/stat : 15554 (java) S 15545 15547 14339 0 -1 4202560 5211 0 0 0 2 0 0 0 16 0 22 0 503432384 16062644224 99746 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 4 0 0 0
[pid=15547/tid=15555] ppid=15545 vsize=15686176 CPUtime=0.04 cores=0,2,4,6
/proc/15547/task/15555/stat : 15555 (java) S 15545 15547 14339 0 -1 4202560 6869 0 0 0 4 0 0 0 16 0 22 0 503432384 16062644224 99746 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15556] ppid=15545 vsize=15686176 CPUtime=0.03 cores=0,2,4,6
/proc/15547/task/15556/stat : 15556 (java) S 15545 15547 14339 0 -1 4202560 3614 0 0 0 3 0 0 0 15 0 22 0 503432384 16062644224 99746 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15557] ppid=15545 vsize=15686176 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15557/stat : 15557 (java) S 15545 15547 14339 0 -1 4202560 672 0 0 0 0 0 0 0 15 0 22 0 503432384 16062644224 99746 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15558] ppid=15545 vsize=15686176 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15558/stat : 15558 (java) S 15545 15547 14339 0 -1 4202560 224 0 0 0 0 0 0 0 16 0 22 0 503432385 16062644224 99746 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118585344 0 0 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15559] ppid=15545 vsize=15686176 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15559/stat : 15559 (java) S 15545 15547 14339 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503432385 16062644224 99746 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15560] ppid=15545 vsize=15686176 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15560/stat : 15560 (java) S 15545 15547 14339 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503432385 16062644224 99746 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15561] ppid=15545 vsize=15686176 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15561/stat : 15561 (java) S 15545 15547 14339 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503432388 16062644224 99746 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118592433 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0

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

/proc/15547/task/15552/stat : 15552 (java) S 15545 15547 14339 0 -1 4202560 201495 0 0 0 792 31 0 0 16 0 22 0 503432384 16062803968 1915717 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15553] ppid=15545 vsize=15686332 CPUtime=9.08 cores=0,2,4,6
/proc/15547/task/15553/stat : 15553 (java) S 15545 15547 14339 0 -1 4202560 223262 0 0 0 873 35 0 0 15 0 22 0 503432384 16062803968 1915717 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15554] ppid=15545 vsize=15686332 CPUtime=8.82 cores=0,2,4,6
/proc/15547/task/15554/stat : 15554 (java) S 15545 15547 14339 0 -1 4202560 257469 0 0 0 838 44 0 0 16 0 22 0 503432384 16062803968 1915717 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15555] ppid=15545 vsize=15686332 CPUtime=9.36 cores=0,2,4,6
/proc/15547/task/15555/stat : 15555 (java) S 15545 15547 14339 0 -1 4202560 230326 0 0 0 899 37 0 0 16 0 22 0 503432384 16062803968 1915717 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15556] ppid=15545 vsize=15686332 CPUtime=9.79 cores=0,2,4,6
/proc/15547/task/15556/stat : 15556 (java) S 15545 15547 14339 0 -1 4202560 253022 0 0 0 936 43 0 0 16 0 22 0 503432384 16062803968 1915717 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 4 0 0 0
[pid=15547/tid=15557] ppid=15545 vsize=15686332 CPUtime=8.41 cores=0,2,4,6
/proc/15547/task/15557/stat : 15557 (java) S 15545 15547 14339 0 -1 4202560 156935 0 0 0 813 28 0 0 16 0 22 0 503432384 16062803968 1915717 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15558] ppid=15545 vsize=15686332 CPUtime=3.36 cores=0,2,4,6
/proc/15547/task/15558/stat : 15558 (java) S 15545 15547 14339 0 -1 4202560 30880 0 0 0 332 4 0 0 15 0 22 0 503432385 16062803968 1915717 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118585344 0 0 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15559] ppid=15545 vsize=15686332 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15559/stat : 15559 (java) S 15545 15547 14339 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503432385 16062803968 1915717 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15560] ppid=15545 vsize=15686332 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15560/stat : 15560 (java) S 15545 15547 14339 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503432385 16062803968 1915717 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15561] ppid=15545 vsize=15686332 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15561/stat : 15561 (java) S 15545 15547 14339 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503432388 16062803968 1915717 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118592433 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15562] ppid=15545 vsize=15686332 CPUtime=1 cores=0,2,4,6
/proc/15547/task/15562/stat : 15562 (java) S 15545 15547 14339 0 -1 4202560 2631 0 0 0 100 0 0 0 15 0 22 0 503432388 16062803968 1915717 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 4 0 0 0
[pid=15547/tid=15563] ppid=15545 vsize=15686332 CPUtime=2.25 cores=0,2,4,6
/proc/15547/task/15563/stat : 15563 (java) S 15545 15547 14339 0 -1 4202560 17395 0 0 0 223 2 0 0 15 0 22 0 503432388 16062803968 1915717 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15564] ppid=15545 vsize=15686332 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15564/stat : 15564 (java) S 15545 15547 14339 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503432388 16062803968 1915717 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15565] ppid=15545 vsize=15686332 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15565/stat : 15565 (java) S 15545 15547 14339 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 503432388 16062803968 1915717 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118585344 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15570] ppid=15545 vsize=15686332 CPUtime=1110.59 cores=0,2,4,6
/proc/15547/task/15570/stat : 15570 (java) R 15545 15547 14339 0 -1 4202560 58 0 0 0 111059 0 0 0 25 0 22 0 503432498 16062803968 1915717 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 46912506070290 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15547/tid=15571] ppid=15545 vsize=15686332 CPUtime=1106.74 cores=0,2,4,6
/proc/15547/task/15571/stat : 15571 (java) R 15545 15547 14339 0 -1 4202560 95 0 0 0 110674 0 0 0 25 0 22 0 503432498 16062803968 1915717 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 46912506070552 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15547/tid=15572] ppid=15545 vsize=15686332 CPUtime=1103.18 cores=0,2,4,6
/proc/15547/task/15572/stat : 15572 (java) R 15545 15547 14339 0 -1 4202560 18105 0 0 0 110315 3 0 0 25 0 22 0 503432498 16062803968 1915717 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 46912506070266 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15547/tid=15573] ppid=15545 vsize=15686332 CPUtime=1139.24 cores=0,2,4,6
/proc/15547/task/15573/stat : 15573 (java) R 15545 15547 14339 0 -1 4202560 19672 0 0 0 113922 2 0 0 25 0 22 0 503432498 16062803968 1915717 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 46912505849999 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4551.02
Current children cumulated vsize (KiB) 15686332

[startup+1242.3 s]
/proc/loadavg: 4.07 4.26 5.10 5/193 15633
/proc/meminfo: memFree=17619444/32951124 swapFree=67111448/67111528
[pid=15547] ppid=15545 vsize=15686332 CPUtime=4790.68 cores=0,2,4,6
/proc/15547/stat : 15547 (java) S 15545 15547 14339 0 -1 4202496 1945582 0 1 0 478738 330 0 0 20 0 22 0 503432383 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15547/statm: 3921583 1919049 2294 9 0 3912302 0
[pid=15547/tid=15548] ppid=15545 vsize=15686332 CPUtime=12.21 cores=0,2,4,6
/proc/15547/task/15548/stat : 15548 (java) S 15545 15547 14339 0 -1 4202560 58671 0 1 0 1214 7 0 0 18 0 22 0 503432384 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 4 0 0 0
[pid=15547/tid=15550] ppid=15545 vsize=15686332 CPUtime=9.24 cores=0,2,4,6
/proc/15547/task/15550/stat : 15550 (java) S 15545 15547 14339 0 -1 4202560 295453 0 0 0 873 51 0 0 16 0 22 0 503432384 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 4 0 0 0
[pid=15547/tid=15551] ppid=15545 vsize=15686332 CPUtime=9.97 cores=0,2,4,6
/proc/15547/task/15551/stat : 15551 (java) S 15545 15547 14339 0 -1 4202560 176181 0 0 0 966 31 0 0 16 0 22 0 503432384 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15552] ppid=15545 vsize=15686332 CPUtime=8.68 cores=0,2,4,6
/proc/15547/task/15552/stat : 15552 (java) S 15545 15547 14339 0 -1 4202560 202337 0 0 0 836 32 0 0 16 0 22 0 503432384 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15553] ppid=15545 vsize=15686332 CPUtime=9.19 cores=0,2,4,6
/proc/15547/task/15553/stat : 15553 (java) S 15545 15547 14339 0 -1 4202560 224087 0 0 0 884 35 0 0 16 0 22 0 503432384 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15554] ppid=15545 vsize=15686332 CPUtime=9.06 cores=0,2,4,6
/proc/15547/task/15554/stat : 15554 (java) S 15545 15547 14339 0 -1 4202560 257469 0 0 0 861 45 0 0 16 0 22 0 503432384 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15555] ppid=15545 vsize=15686332 CPUtime=9.59 cores=0,2,4,6
/proc/15547/task/15555/stat : 15555 (java) S 15545 15547 14339 0 -1 4202560 230326 0 0 0 922 37 0 0 16 0 22 0 503432384 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15556] ppid=15545 vsize=15686332 CPUtime=10.18 cores=0,2,4,6
/proc/15547/task/15556/stat : 15556 (java) S 15545 15547 14339 0 -1 4202560 253022 0 0 0 975 43 0 0 16 0 22 0 503432384 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 4 0 0 0
[pid=15547/tid=15557] ppid=15545 vsize=15686332 CPUtime=8.69 cores=0,2,4,6
/proc/15547/task/15557/stat : 15557 (java) S 15545 15547 14339 0 -1 4202560 157731 0 0 0 841 28 0 0 15 0 22 0 503432384 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 4 0 0 0
[pid=15547/tid=15558] ppid=15545 vsize=15686332 CPUtime=3.36 cores=0,2,4,6
/proc/15547/task/15558/stat : 15558 (java) S 15545 15547 14339 0 -1 4202560 30885 0 0 0 332 4 0 0 15 0 22 0 503432385 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118585344 0 0 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15559] ppid=15545 vsize=15686332 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15559/stat : 15559 (java) S 15545 15547 14339 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503432385 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15560] ppid=15545 vsize=15686332 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15560/stat : 15560 (java) S 15545 15547 14339 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503432385 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15561] ppid=15545 vsize=15686332 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15561/stat : 15561 (java) S 15545 15547 14339 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503432388 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118592433 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15562] ppid=15545 vsize=15686332 CPUtime=1.02 cores=0,2,4,6
/proc/15547/task/15562/stat : 15562 (java) S 15545 15547 14339 0 -1 4202560 2634 0 0 0 102 0 0 0 15 0 22 0 503432388 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 4 0 0 0
[pid=15547/tid=15563] ppid=15545 vsize=15686332 CPUtime=2.25 cores=0,2,4,6
/proc/15547/task/15563/stat : 15563 (java) S 15545 15547 14339 0 -1 4202560 17395 0 0 0 223 2 0 0 15 0 22 0 503432388 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15564] ppid=15545 vsize=15686332 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15564/stat : 15564 (java) S 15545 15547 14339 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503432388 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15565] ppid=15545 vsize=15686332 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15565/stat : 15565 (java) S 15545 15547 14339 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 503432388 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118585344 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15570] ppid=15545 vsize=15686332 CPUtime=1170 cores=0,2,4,6
/proc/15547/task/15570/stat : 15570 (java) R 15545 15547 14339 0 -1 4202560 59 0 0 0 117000 0 0 0 25 0 22 0 503432498 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 46912506070290 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15547/tid=15571] ppid=15545 vsize=15686332 CPUtime=1166.14 cores=0,2,4,6
/proc/15547/task/15571/stat : 15571 (java) R 15545 15547 14339 0 -1 4202560 99 0 0 0 116614 0 0 0 25 0 22 0 503432498 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 46912506139392 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15547/tid=15572] ppid=15545 vsize=15686332 CPUtime=1162.27 cores=0,2,4,6
/proc/15547/task/15572/stat : 15572 (java) R 15545 15547 14339 0 -1 4202560 18105 0 0 0 116224 3 0 0 25 0 22 0 503432498 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 46912506070274 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15547/tid=15573] ppid=15545 vsize=15686332 CPUtime=1198.65 cores=0,2,4,6
/proc/15547/task/15573/stat : 15573 (java) R 15545 15547 14339 0 -1 4202560 19672 0 0 0 119863 2 0 0 25 0 22 0 503432498 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 46912506070274 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4790.68
Current children cumulated vsize (KiB) 15686332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1244.7 s]
/proc/loadavg: 4.14 4.27 5.10 5/193 15633
/proc/meminfo: memFree=17619184/32951124 swapFree=67111448/67111528
[pid=15547] ppid=15545 vsize=15686332 CPUtime=4800.3 cores=0,2,4,6
/proc/15547/stat : 15547 (java) S 15545 15547 14339 0 -1 4202496 1945582 0 1 0 479700 330 0 0 20 0 22 0 503432383 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15547/statm: 3921583 1919049 2294 9 0 3912302 0
[pid=15547/tid=15548] ppid=15545 vsize=15686332 CPUtime=12.21 cores=0,2,4,6
/proc/15547/task/15548/stat : 15548 (java) S 15545 15547 14339 0 -1 4202560 58671 0 1 0 1214 7 0 0 18 0 22 0 503432384 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 4 0 0 0
[pid=15547/tid=15550] ppid=15545 vsize=15686332 CPUtime=9.24 cores=0,2,4,6
/proc/15547/task/15550/stat : 15550 (java) S 15545 15547 14339 0 -1 4202560 295453 0 0 0 873 51 0 0 16 0 22 0 503432384 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 4 0 0 0
[pid=15547/tid=15551] ppid=15545 vsize=15686332 CPUtime=9.97 cores=0,2,4,6
/proc/15547/task/15551/stat : 15551 (java) S 15545 15547 14339 0 -1 4202560 176181 0 0 0 966 31 0 0 16 0 22 0 503432384 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15552] ppid=15545 vsize=15686332 CPUtime=8.68 cores=0,2,4,6
/proc/15547/task/15552/stat : 15552 (java) S 15545 15547 14339 0 -1 4202560 202337 0 0 0 836 32 0 0 16 0 22 0 503432384 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15553] ppid=15545 vsize=15686332 CPUtime=9.19 cores=0,2,4,6
/proc/15547/task/15553/stat : 15553 (java) S 15545 15547 14339 0 -1 4202560 224087 0 0 0 884 35 0 0 16 0 22 0 503432384 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15554] ppid=15545 vsize=15686332 CPUtime=9.06 cores=0,2,4,6
/proc/15547/task/15554/stat : 15554 (java) S 15545 15547 14339 0 -1 4202560 257469 0 0 0 861 45 0 0 16 0 22 0 503432384 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15555] ppid=15545 vsize=15686332 CPUtime=9.59 cores=0,2,4,6
/proc/15547/task/15555/stat : 15555 (java) S 15545 15547 14339 0 -1 4202560 230326 0 0 0 922 37 0 0 16 0 22 0 503432384 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15556] ppid=15545 vsize=15686332 CPUtime=10.18 cores=0,2,4,6
/proc/15547/task/15556/stat : 15556 (java) S 15545 15547 14339 0 -1 4202560 253022 0 0 0 975 43 0 0 16 0 22 0 503432384 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 4 0 0 0
[pid=15547/tid=15557] ppid=15545 vsize=15686332 CPUtime=8.69 cores=0,2,4,6
/proc/15547/task/15557/stat : 15557 (java) S 15545 15547 14339 0 -1 4202560 157731 0 0 0 841 28 0 0 15 0 22 0 503432384 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 4 0 0 0
[pid=15547/tid=15558] ppid=15545 vsize=15686332 CPUtime=3.36 cores=0,2,4,6
/proc/15547/task/15558/stat : 15558 (java) S 15545 15547 14339 0 -1 4202560 30885 0 0 0 332 4 0 0 15 0 22 0 503432385 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118585344 0 0 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15559] ppid=15545 vsize=15686332 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15559/stat : 15559 (java) S 15545 15547 14339 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503432385 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15560] ppid=15545 vsize=15686332 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15560/stat : 15560 (java) S 15545 15547 14339 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503432385 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15561] ppid=15545 vsize=15686332 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15561/stat : 15561 (java) S 15545 15547 14339 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503432388 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118592433 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15562] ppid=15545 vsize=15686332 CPUtime=1.02 cores=0,2,4,6
/proc/15547/task/15562/stat : 15562 (java) S 15545 15547 14339 0 -1 4202560 2634 0 0 0 102 0 0 0 15 0 22 0 503432388 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 4 0 0 0
[pid=15547/tid=15563] ppid=15545 vsize=15686332 CPUtime=2.25 cores=0,2,4,6
/proc/15547/task/15563/stat : 15563 (java) S 15545 15547 14339 0 -1 4202560 17395 0 0 0 223 2 0 0 15 0 22 0 503432388 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 6 0 0 0
[pid=15547/tid=15564] ppid=15545 vsize=15686332 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15564/stat : 15564 (java) S 15545 15547 14339 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503432388 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118584729 0 4 0 16800975 18446604453952236224 0 0 -1 2 0 0 0
[pid=15547/tid=15565] ppid=15545 vsize=15686332 CPUtime=0 cores=0,2,4,6
/proc/15547/task/15565/stat : 15565 (java) S 15545 15547 14339 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 503432388 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 255118585344 0 4 0 16800975 18446604453952236224 0 0 -1 0 0 0 0
[pid=15547/tid=15570] ppid=15545 vsize=15686332 CPUtime=1172.41 cores=0,2,4,6
/proc/15547/task/15570/stat : 15570 (java) R 15545 15547 14339 0 -1 4202560 59 0 0 0 117241 0 0 0 25 0 22 0 503432498 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 46912506290910 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15547/tid=15571] ppid=15545 vsize=15686332 CPUtime=1168.55 cores=0,2,4,6
/proc/15547/task/15571/stat : 15571 (java) R 15545 15547 14339 0 -1 4202560 99 0 0 0 116855 0 0 0 25 0 22 0 503432498 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 46912506070218 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15547/tid=15572] ppid=15545 vsize=15686332 CPUtime=1164.66 cores=0,2,4,6
/proc/15547/task/15572/stat : 15572 (java) R 15545 15547 14339 0 -1 4202560 18105 0 0 0 116463 3 0 0 25 0 22 0 503432498 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 46912506092049 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15547/tid=15573] ppid=15545 vsize=15686332 CPUtime=1201.06 cores=0,2,4,6
/proc/15547/task/15573/stat : 15573 (java) R 15545 15547 14339 0 -1 4202560 19672 0 0 0 120104 2 0 0 25 0 22 0 503432498 16062803968 1919049 33554432000 1073741824 1073778376 140736110516112 18446744073709551615 46912506070428 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 15686332

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

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

[startup+1244.9 s]
/proc/loadavg: 4.14 4.27 5.10 5/193 15633
/proc/meminfo: memFree=17619184/32951124 swapFree=67111448/67111528
[pid=15547] ppid=15545 vsize=0 CPUtime=4800.51 cores=0,2,4,6
/proc/15547/stat : 15547 (java) Z 15545 15547 14339 0 -1 4203548 1945609 0 1 0 479703 348 0 0 17 0 2 0 503432383 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15547/statm: 0 0 0 0 0 0 0
[pid=15547/tid=15571] ppid=15545 vsize=0 CPUtime=1168.74 cores=0,2,4,6
/proc/15547/task/15571/stat : 15571 (java) R 15545 15547 14339 0 -1 4203588 99 0 0 0 116856 18 0 0 25 0 2 0 503432498 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.51
Current children cumulated vsize (KiB) 0

[startup+1245 s]
/proc/loadavg: 4.14 4.27 5.10 5/193 15633
/proc/meminfo: memFree=17619184/32951124 swapFree=67111448/67111528
[pid=15547] ppid=15545 vsize=0 CPUtime=4800.61 cores=0,2,4,6
/proc/15547/stat : 15547 (java) Z 15545 15547 14339 0 -1 4203548 1945609 0 1 0 479703 358 0 0 17 0 2 0 503432383 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15547/statm: 0 0 0 0 0 0 0
[pid=15547/tid=15571] ppid=15545 vsize=0 CPUtime=1168.84 cores=0,2,4,6
/proc/15547/task/15571/stat : 15571 (java) R 15545 15547 14339 0 -1 4203588 99 0 0 0 116856 28 0 0 25 0 2 0 503432498 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.61
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1245.02
CPU time (s): 4800.64
CPU user time (s): 4797.04
CPU system time (s): 3.60445
CPU usage (%): 385.587
Max. virtual memory (cumulated for all children) (KiB): 15689124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.04
system time used= 3.60445
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1945609
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= 33534
involuntary context switches= 54802

runsolver used 2.21566 second user time and 4.6323 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-29 22:49:23
IDJOB=3312056
IDBENCH=82489
IDSOLVER=1698
FILE ID=node144/3312056-1304110162
RUNJOBID= node144-1304110162-15510
PBS_JOBID= 13170634
Free space on /tmp= 72400 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312056-1304110162/watcher-3312056-1304110162 -o /tmp/evaluation-result-3312056-1304110162/solver-3312056-1304110162 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312056-1304110162.cnf -hbr 2

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

MD5SUM BENCH= 649b4cf0a21e275b244b1034d05ded52
RANDOM SEED=387965190

node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25289764 kB
Buffers:       2107516 kB
Cached:        4939168 kB
SwapCached:         80 kB
Active:         113208 kB
Inactive:      7004468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25289764 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:           11340 kB
Writeback:           0 kB
AnonPages:       70136 kB
Mapped:          21072 kB
Slab:           480344 kB
PageTables:       4732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   776400 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= 72404 MiB
End job on node144 at 2011-04-29 23:10:09