Trace number 3311577

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.59 1207.52

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S1573194644-097.UNKNOWN.cnf
MD5SUM94cfc1731e7c76d51d00543dd5d14f85
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark122.003
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.09/0.12	05:05 INFO : Reading from input HOME/instance-3311577-1304136304.cnf
0.26/0.24	Executor set job limit to 1000000
0.26/0.24	Executor set job limit to 1000000
0.26/0.24	Executor set job limit to 1000000
0.26/0.24	Executor set job limit to 1000000
0.26/0.24	Starting Executor!
0.26/0.24	Starting Executor!
0.26/0.24	Starting Executor!
0.26/0.24	Starting Executor!
0.45/0.34	05:05 INFO : 448 variables remaining out of 450
0.45/0.34	05:05 INFO : 7628 literals remaining out of 7668

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.33 8.21 7.94 5/198 30281
/proc/meminfo: memFree=25496372/32951124 swapFree=67051468/67111528
[pid=30281] ppid=30279 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/30281/stat : 30281 (java) R 30279 30281 29449 0 -1 4202496 1191 0 0 0 0 0 0 0 25 0 1 0 525233209 23580672 677 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218365994472 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30281/statm: 5757 678 505 9 0 124 0

[startup+0.0922381 s]
/proc/loadavg: 8.33 8.21 7.94 5/198 30281
/proc/meminfo: memFree=25496372/32951124 swapFree=67051468/67111528
[pid=30281] ppid=30279 vsize=15676240 CPUtime=0.09 cores=1,3,5,7
/proc/30281/stat : 30281 (java) S 30279 30281 29449 0 -1 4202496 5395 0 1 0 9 0 0 0 25 0 18 0 525233209 16052469760 4834 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30281/statm: 3919060 4835 2115 9 0 3909779 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676240

[startup+0.100236 s]
/proc/loadavg: 8.33 8.21 7.94 5/198 30281
/proc/meminfo: memFree=25496372/32951124 swapFree=67051468/67111528
[pid=30281] ppid=30279 vsize=15676240 CPUtime=0.09 cores=1,3,5,7
/proc/30281/stat : 30281 (java) S 30279 30281 29449 0 -1 4202496 5498 0 1 0 9 0 0 0 25 0 18 0 525233209 16052469760 4937 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30281/statm: 3919060 4937 2116 9 0 3909779 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676240

[startup+0.300269 s]
/proc/loadavg: 8.33 8.21 7.94 5/198 30281
/proc/meminfo: memFree=25496372/32951124 swapFree=67051468/67111528
[pid=30281] ppid=30279 vsize=15684212 CPUtime=0.45 cores=1,3,5,7
/proc/30281/stat : 30281 (java) S 30279 30281 29449 0 -1 4202496 9403 0 1 0 44 1 0 0 25 0 22 0 525233209 16060633088 8438 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30281/statm: 3921053 8438 2207 9 0 3911772 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 15684212

[startup+0.844295 s]
/proc/loadavg: 8.33 8.21 7.94 5/198 30281
/proc/meminfo: memFree=25496372/32951124 swapFree=67051468/67111528
[pid=30281] ppid=30279 vsize=15707056 CPUtime=2.46 cores=1,3,5,7
/proc/30281/stat : 30281 (java) S 30279 30281 29449 0 -1 4202496 33588 0 1 0 242 4 0 0 25 0 22 0 525233209 16084025344 26357 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30281/statm: 3926764 26357 2252 9 0 3917483 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 15707056

[startup+1.50096 s]
/proc/loadavg: 8.33 8.21 7.94 11/220 30303
/proc/meminfo: memFree=25289212/32951124 swapFree=67051468/67111528
[pid=30281] ppid=30279 vsize=15704308 CPUtime=5.07 cores=1,3,5,7
/proc/30281/stat : 30281 (java) S 30279 30281 29449 0 -1 4202496 58785 0 1 0 499 8 0 0 25 0 22 0 525233209 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30281/statm: 3926077 47962 2267 9 0 3916796 0
[pid=30281/tid=30283] ppid=30279 vsize=15704308 CPUtime=0.33 cores=1,3,5,7
/proc/30281/task/30283/stat : 30283 (java) S 30279 30281 29449 0 -1 4202560 6065 0 1 0 32 1 0 0 19 0 22 0 525233210 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30284] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30284/stat : 30284 (java) S 30279 30281 29449 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 525233211 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30285] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30285/stat : 30285 (java) S 30279 30281 29449 0 -1 4202560 159 0 0 0 0 0 0 0 18 0 22 0 525233211 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30286] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30286/stat : 30286 (java) S 30279 30281 29449 0 -1 4202560 277 0 0 0 0 0 0 0 18 0 22 0 525233211 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30287] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30287/stat : 30287 (java) S 30279 30281 29449 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 22 0 525233211 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30288] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30288/stat : 30288 (java) S 30279 30281 29449 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 525233211 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30289] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30289/stat : 30289 (java) S 30279 30281 29449 0 -1 4202560 426 0 0 0 0 0 0 0 18 0 22 0 525233211 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 3 0 0 0
[pid=30281/tid=30290] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30290/stat : 30290 (java) S 30279 30281 29449 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 525233211 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30291] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30291/stat : 30291 (java) S 30279 30281 29449 0 -1 4202560 252 0 0 0 0 0 0 0 18 0 22 0 525233211 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30292] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30292/stat : 30292 (java) S 30279 30281 29449 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 525233212 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773760 0 0 0 16800975 18446604462603564160 0 0 -1 7 0 0 0
[pid=30281/tid=30293] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30293/stat : 30293 (java) S 30279 30281 29449 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 525233212 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30294] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30294/stat : 30294 (java) S 30279 30281 29449 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 525233212 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30295] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30295/stat : 30295 (java) S 30279 30281 29449 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 525233214 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382780849 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30296] ppid=30279 vsize=15704308 CPUtime=0.89 cores=1,3,5,7
/proc/30281/task/30296/stat : 30296 (java) R 30279 30281 29449 0 -1 4202560 7821 0 0 0 88 1 0 0 17 0 22 0 525233214 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30281/tid=30297] ppid=30279 vsize=15704308 CPUtime=1 cores=1,3,5,7
/proc/30281/task/30297/stat : 30297 (java) S 30279 30281 29449 0 -1 4202560 12889 0 0 0 98 2 0 0 17 0 22 0 525233214 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30298] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30298/stat : 30298 (java) S 30279 30281 29449 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 525233214 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30299] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30299/stat : 30299 (java) S 30279 30281 29449 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 525233214 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773760 0 4 0 16800975 18446604462603564160 0 0 -1 7 0 0 0
[pid=30281/tid=30300] ppid=30279 vsize=15704308 CPUtime=0.28 cores=1,3,5,7
/proc/30281/task/30300/stat : 30300 (java) R 30279 30281 29449 0 -1 4202560 1886 0 0 0 28 0 0 0 18 0 22 0 525233234 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 46912505719222 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30281/tid=30301] ppid=30279 vsize=15704308 CPUtime=0.86 cores=1,3,5,7
/proc/30281/task/30301/stat : 30301 (java) R 30279 30281 29449 0 -1 4202560 6567 0 0 0 86 0 0 0 17 0 22 0 525233234 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30281/tid=30302] ppid=30279 vsize=15704308 CPUtime=0.77 cores=1,3,5,7
/proc/30281/task/30302/stat : 30302 (java) R 30279 30281 29449 0 -1 4202560 10065 0 0 0 76 1 0 0 17 0 22 0 525233234 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30281/tid=30303] ppid=30279 vsize=15704308 CPUtime=0.89 cores=1,3,5,7
/proc/30281/task/30303/stat : 30303 (java) R 30279 30281 29449 0 -1 4202560 10971 0 0 0 88 1 0 0 17 0 22 0 525233234 16081211392 47962 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 46912505791257 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 15704308

[startup+3.10067 s]
/proc/loadavg: 8.30 8.20 7.94 9/220 30303
/proc/meminfo: memFree=25099436/32951124 swapFree=67051468/67111528
[pid=30281] ppid=30279 vsize=15704308 CPUtime=11.45 cores=1,3,5,7
/proc/30281/stat : 30281 (java) S 30279 30281 29449 0 -1 4202496 156974 0 1 0 1124 21 0 0 25 0 22 0 525233209 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30281/statm: 3926077 144561 2276 9 0 3916796 0
[pid=30281/tid=30283] ppid=30279 vsize=15704308 CPUtime=0.33 cores=1,3,5,7
/proc/30281/task/30283/stat : 30283 (java) S 30279 30281 29449 0 -1 4202560 6065 0 1 0 32 1 0 0 19 0 22 0 525233210 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30284] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30284/stat : 30284 (java) S 30279 30281 29449 0 -1 4202560 1178 0 0 0 0 0 0 0 16 0 22 0 525233211 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 7 0 0 0
[pid=30281/tid=30285] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30285/stat : 30285 (java) S 30279 30281 29449 0 -1 4202560 785 0 0 0 0 0 0 0 16 0 22 0 525233211 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30286] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30286/stat : 30286 (java) S 30279 30281 29449 0 -1 4202560 1374 0 0 0 0 0 0 0 16 0 22 0 525233211 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30287] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30287/stat : 30287 (java) S 30279 30281 29449 0 -1 4202560 973 0 0 0 0 0 0 0 15 0 22 0 525233211 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30288] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30288/stat : 30288 (java) S 30279 30281 29449 0 -1 4202560 894 0 0 0 0 0 0 0 15 0 22 0 525233211 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30289] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30289/stat : 30289 (java) S 30279 30281 29449 0 -1 4202560 1249 0 0 0 0 0 0 0 16 0 22 0 525233211 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 3 0 0 0
[pid=30281/tid=30290] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30290/stat : 30290 (java) S 30279 30281 29449 0 -1 4202560 731 0 0 0 0 0 0 0 16 0 22 0 525233211 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 3 0 0 0
[pid=30281/tid=30291] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30291/stat : 30291 (java) S 30279 30281 29449 0 -1 4202560 1556 0 0 0 0 0 0 0 15 0 22 0 525233211 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 7 0 0 0
[pid=30281/tid=30292] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30292/stat : 30292 (java) S 30279 30281 29449 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 22 0 525233212 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773760 0 0 0 16800975 18446604462603564160 0 0 -1 7 0 0 0
[pid=30281/tid=30293] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30293/stat : 30293 (java) S 30279 30281 29449 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 525233212 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30294] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30294/stat : 30294 (java) S 30279 30281 29449 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 525233212 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30295] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30295/stat : 30295 (java) S 30279 30281 29449 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 525233214 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382780849 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30296] ppid=30279 vsize=15704308 CPUtime=1 cores=1,3,5,7
/proc/30281/task/30296/stat : 30296 (java) S 30279 30281 29449 0 -1 4202560 7982 0 0 0 99 1 0 0 16 0 22 0 525233214 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 3 0 0 0
[pid=30281/tid=30297] ppid=30279 vsize=15704308 CPUtime=1.05 cores=1,3,5,7
/proc/30281/task/30297/stat : 30297 (java) S 30279 30281 29449 0 -1 4202560 12900 0 0 0 103 2 0 0 16 0 22 0 525233214 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30298] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30298/stat : 30298 (java) S 30279 30281 29449 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 525233214 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30299] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30299/stat : 30299 (java) S 30279 30281 29449 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 525233214 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773760 0 4 0 16800975 18446604462603564160 0 0 -1 7 0 0 0
[pid=30281/tid=30300] ppid=30279 vsize=15704308 CPUtime=1.78 cores=1,3,5,7
/proc/30281/task/30300/stat : 30300 (java) R 30279 30281 29449 0 -1 4202560 22757 0 0 0 176 2 0 0 20 0 22 0 525233234 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 46912505699056 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30281/tid=30301] ppid=30279 vsize=15704308 CPUtime=2.36 cores=1,3,5,7
/proc/30281/task/30301/stat : 30301 (java) R 30279 30281 29449 0 -1 4202560 28133 0 0 0 233 3 0 0 19 0 22 0 525233234 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 46912505789784 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30281/tid=30302] ppid=30279 vsize=15704308 CPUtime=2.34 cores=1,3,5,7
/proc/30281/task/30302/stat : 30302 (java) R 30279 30281 29449 0 -1 4202560 33473 0 0 0 231 3 0 0 19 0 22 0 525233234 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 46912505650363 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30281/tid=30303] ppid=30279 vsize=15704308 CPUtime=2.48 cores=1,3,5,7
/proc/30281/task/30303/stat : 30303 (java) R 30279 30281 29449 0 -1 4202560 35351 0 0 0 244 4 0 0 19 0 22 0 525233234 16081211392 144561 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 46912505857206 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.45
Current children cumulated vsize (KiB) 15704308

[startup+6.3011 s]
/proc/loadavg: 8.30 8.20 7.94 9/220 30303
/proc/meminfo: memFree=24893472/32951124 swapFree=67051468/67111528
[pid=30281] ppid=30279 vsize=15704308 CPUtime=24.2 cores=1,3,5,7
/proc/30281/stat : 30281 (java) S 30279 30281 29449 0 -1 4202496 158623 0 1 0 2399 21 0 0 25 0 22 0 525233209 16081211392 140333 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30281/statm: 3926077 140333 2283 9 0 3916796 0
[pid=30281/tid=30283] ppid=30279 vsize=15704308 CPUtime=0.33 cores=1,3,5,7
/proc/30281/task/30283/stat : 30283 (java) S 30279 30281 29449 0 -1 4202560 6065 0 1 0 32 1 0 0 19 0 22 0 525233210 16081211392 140333 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30284] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30284/stat : 30284 (java) S 30279 30281 29449 0 -1 4202560 1264 0 0 0 0 0 0 0 15 0 22 0 525233211 16081211392 140333 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 7 0 0 0
[pid=30281/tid=30285] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30285/stat : 30285 (java) S 30279 30281 29449 0 -1 4202560 913 0 0 0 0 0 0 0 15 0 22 0 525233211 16081211392 140333 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30286] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30286/stat : 30286 (java) S 30279 30281 29449 0 -1 4202560 1583 0 0 0 0 0 0 0 15 0 22 0 525233211 16081211392 140333 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30287] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30287/stat : 30287 (java) S 30279 30281 29449 0 -1 4202560 1079 0 0 0 0 0 0 0 15 0 22 0 525233211 16081211392 140333 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30288] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30288/stat : 30288 (java) S 30279 30281 29449 0 -1 4202560 894 0 0 0 0 0 0 0 15 0 22 0 525233211 16081211392 140333 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30289] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30289/stat : 30289 (java) S 30279 30281 29449 0 -1 4202560 1410 0 0 0 0 0 0 0 16 0 22 0 525233211 16081211392 140333 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30290] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30290/stat : 30290 (java) S 30279 30281 29449 0 -1 4202560 1252 0 0 0 0 0 0 0 16 0 22 0 525233211 16081211392 140333 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30291] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30291/stat : 30291 (java) S 30279 30281 29449 0 -1 4202560 1719 0 0 0 0 0 0 0 16 0 22 0 525233211 16081211392 140333 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 7 0 0 0
[pid=30281/tid=30292] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30292/stat : 30292 (java) S 30279 30281 29449 0 -1 4202560 186 0 0 0 0 0 0 0 15 0 22 0 525233212 16081211392 140333 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773760 0 0 0 16800975 18446604462603564160 0 0 -1 3 0 0 0
[pid=30281/tid=30293] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30293/stat : 30293 (java) S 30279 30281 29449 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 525233212 16081211392 140333 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30294] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30294/stat : 30294 (java) S 30279 30281 29449 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 525233212 16081211392 140333 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30295] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30295/stat : 30295 (java) S 30279 30281 29449 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 525233214 16081211392 140333 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382780849 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30296] ppid=30279 vsize=15704308 CPUtime=1.1 cores=1,3,5,7
/proc/30281/task/30296/stat : 30296 (java) S 30279 30281 29449 0 -1 4202560 8209 0 0 0 109 1 0 0 15 0 22 0 525233214 16081211392 140333 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 3 0 0 0

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

/proc/meminfo: memFree=25514176/32951124 swapFree=67051468/67111528
[pid=30281] ppid=30279 vsize=15704308 CPUtime=4461.89 cores=1,3,5,7
/proc/30281/stat : 30281 (java) S 30279 30281 29449 0 -1 4202496 2181121 0 1 0 445711 478 0 0 25 0 22 0 525233209 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30281/statm: 3926077 95503 2297 9 0 3916796 0
[pid=30281/tid=30283] ppid=30279 vsize=15704308 CPUtime=0.33 cores=1,3,5,7
/proc/30281/task/30283/stat : 30283 (java) S 30279 30281 29449 0 -1 4202560 6065 0 1 0 32 1 0 0 19 0 22 0 525233210 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30284] ppid=30279 vsize=15704308 CPUtime=3.21 cores=1,3,5,7
/proc/30281/task/30284/stat : 30284 (java) S 30279 30281 29449 0 -1 4202560 105796 0 0 0 298 23 0 0 15 0 22 0 525233211 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 3 0 0 0
[pid=30281/tid=30285] ppid=30279 vsize=15704308 CPUtime=3.16 cores=1,3,5,7
/proc/30281/task/30285/stat : 30285 (java) S 30279 30281 29449 0 -1 4202560 103564 0 0 0 294 22 0 0 15 0 22 0 525233211 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 7 0 0 0
[pid=30281/tid=30286] ppid=30279 vsize=15704308 CPUtime=3.17 cores=1,3,5,7
/proc/30281/task/30286/stat : 30286 (java) S 30279 30281 29449 0 -1 4202560 104103 0 0 0 296 21 0 0 15 0 22 0 525233211 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30287] ppid=30279 vsize=15704308 CPUtime=3.15 cores=1,3,5,7
/proc/30281/task/30287/stat : 30287 (java) S 30279 30281 29449 0 -1 4202560 106475 0 0 0 295 20 0 0 15 0 22 0 525233211 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30288] ppid=30279 vsize=15704308 CPUtime=3.17 cores=1,3,5,7
/proc/30281/task/30288/stat : 30288 (java) S 30279 30281 29449 0 -1 4202560 109494 0 0 0 294 23 0 0 15 0 22 0 525233211 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 3 0 0 0
[pid=30281/tid=30289] ppid=30279 vsize=15704308 CPUtime=3.24 cores=1,3,5,7
/proc/30281/task/30289/stat : 30289 (java) S 30279 30281 29449 0 -1 4202560 111262 0 0 0 303 21 0 0 16 0 22 0 525233211 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 7 0 0 0
[pid=30281/tid=30290] ppid=30279 vsize=15704308 CPUtime=3.18 cores=1,3,5,7
/proc/30281/task/30290/stat : 30290 (java) S 30279 30281 29449 0 -1 4202560 105505 0 0 0 295 23 0 0 15 0 22 0 525233211 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30291] ppid=30279 vsize=15704308 CPUtime=3.17 cores=1,3,5,7
/proc/30281/task/30291/stat : 30291 (java) S 30279 30281 29449 0 -1 4202560 105534 0 0 0 296 21 0 0 16 0 22 0 525233211 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30292] ppid=30279 vsize=15704308 CPUtime=2.28 cores=1,3,5,7
/proc/30281/task/30292/stat : 30292 (java) S 30279 30281 29449 0 -1 4202560 5585 0 0 0 145 83 0 0 15 0 22 0 525233212 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773760 0 0 0 16800975 18446604462603564160 0 0 -1 3 0 0 0
[pid=30281/tid=30293] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30293/stat : 30293 (java) S 30279 30281 29449 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 525233212 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30294] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30294/stat : 30294 (java) S 30279 30281 29449 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 525233212 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30295] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30295/stat : 30295 (java) S 30279 30281 29449 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 525233214 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382780849 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30296] ppid=30279 vsize=15704308 CPUtime=1.12 cores=1,3,5,7
/proc/30281/task/30296/stat : 30296 (java) S 30279 30281 29449 0 -1 4202560 8215 0 0 0 111 1 0 0 15 0 22 0 525233214 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 3 0 0 0
[pid=30281/tid=30297] ppid=30279 vsize=15704308 CPUtime=1.14 cores=1,3,5,7
/proc/30281/task/30297/stat : 30297 (java) S 30279 30281 29449 0 -1 4202560 12925 0 0 0 112 2 0 0 15 0 22 0 525233214 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30298] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30298/stat : 30298 (java) S 30279 30281 29449 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 525233214 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30299] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30299/stat : 30299 (java) S 30279 30281 29449 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 525233214 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773760 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30300] ppid=30279 vsize=15704308 CPUtime=1107.16 cores=1,3,5,7
/proc/30281/task/30300/stat : 30300 (java) R 30279 30281 29449 0 -1 4202560 317589 0 0 0 110663 53 0 0 25 0 22 0 525233234 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 47297227299904 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30281/tid=30301] ppid=30279 vsize=15704308 CPUtime=1108.14 cores=1,3,5,7
/proc/30281/task/30301/stat : 30301 (java) R 30279 30281 29449 0 -1 4202560 320639 0 0 0 110762 52 0 0 25 0 22 0 525233234 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 46912505613024 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30281/tid=30302] ppid=30279 vsize=15704308 CPUtime=1108.29 cores=1,3,5,7
/proc/30281/task/30302/stat : 30302 (java) R 30279 30281 29449 0 -1 4202560 328793 0 0 0 110777 52 0 0 25 0 22 0 525233234 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 18446744073699066054 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30281/tid=30303] ppid=30279 vsize=15704308 CPUtime=1107.81 cores=1,3,5,7
/proc/30281/task/30303/stat : 30303 (java) R 30279 30281 29449 0 -1 4202560 328130 0 0 0 110729 52 0 0 25 0 22 0 525233234 16081211392 95503 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 47297227835314 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4461.89
Current children cumulated vsize (KiB) 15704308

[startup+1182.3 s]
/proc/loadavg: 4.12 5.82 7.08 5/193 30354
/proc/meminfo: memFree=25516132/32951124 swapFree=67051468/67111528
[pid=30281] ppid=30279 vsize=15704308 CPUtime=4700.43 cores=1,3,5,7
/proc/30281/stat : 30281 (java) S 30279 30281 29449 0 -1 4202496 2280379 0 1 0 469539 504 0 0 25 0 22 0 525233209 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30281/statm: 3926077 92961 2297 9 0 3916796 0
[pid=30281/tid=30283] ppid=30279 vsize=15704308 CPUtime=0.33 cores=1,3,5,7
/proc/30281/task/30283/stat : 30283 (java) S 30279 30281 29449 0 -1 4202560 6065 0 1 0 32 1 0 0 19 0 22 0 525233210 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30284] ppid=30279 vsize=15704308 CPUtime=3.38 cores=1,3,5,7
/proc/30281/task/30284/stat : 30284 (java) S 30279 30281 29449 0 -1 4202560 109780 0 0 0 313 25 0 0 16 0 22 0 525233211 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 3 0 0 0
[pid=30281/tid=30285] ppid=30279 vsize=15704308 CPUtime=3.33 cores=1,3,5,7
/proc/30281/task/30285/stat : 30285 (java) S 30279 30281 29449 0 -1 4202560 106413 0 0 0 310 23 0 0 15 0 22 0 525233211 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30286] ppid=30279 vsize=15704308 CPUtime=3.34 cores=1,3,5,7
/proc/30281/task/30286/stat : 30286 (java) S 30279 30281 29449 0 -1 4202560 108021 0 0 0 312 22 0 0 15 0 22 0 525233211 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30287] ppid=30279 vsize=15704308 CPUtime=3.33 cores=1,3,5,7
/proc/30281/task/30287/stat : 30287 (java) S 30279 30281 29449 0 -1 4202560 110868 0 0 0 311 22 0 0 15 0 22 0 525233211 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30288] ppid=30279 vsize=15704308 CPUtime=3.35 cores=1,3,5,7
/proc/30281/task/30288/stat : 30288 (java) S 30279 30281 29449 0 -1 4202560 113344 0 0 0 310 25 0 0 15 0 22 0 525233211 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 7 0 0 0
[pid=30281/tid=30289] ppid=30279 vsize=15704308 CPUtime=3.41 cores=1,3,5,7
/proc/30281/task/30289/stat : 30289 (java) S 30279 30281 29449 0 -1 4202560 115702 0 0 0 318 23 0 0 16 0 22 0 525233211 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30290] ppid=30279 vsize=15704308 CPUtime=3.34 cores=1,3,5,7
/proc/30281/task/30290/stat : 30290 (java) S 30279 30281 29449 0 -1 4202560 111133 0 0 0 310 24 0 0 15 0 22 0 525233211 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 7 0 0 0
[pid=30281/tid=30291] ppid=30279 vsize=15704308 CPUtime=3.34 cores=1,3,5,7
/proc/30281/task/30291/stat : 30291 (java) S 30279 30281 29449 0 -1 4202560 109024 0 0 0 312 22 0 0 15 0 22 0 525233211 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 3 0 0 0
[pid=30281/tid=30292] ppid=30279 vsize=15704308 CPUtime=2.39 cores=1,3,5,7
/proc/30281/task/30292/stat : 30292 (java) S 30279 30281 29449 0 -1 4202560 5852 0 0 0 152 87 0 0 15 0 22 0 525233212 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773760 0 0 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30293] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30293/stat : 30293 (java) S 30279 30281 29449 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 525233212 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30294] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30294/stat : 30294 (java) S 30279 30281 29449 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 525233212 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30295] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30295/stat : 30295 (java) S 30279 30281 29449 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 525233214 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382780849 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30296] ppid=30279 vsize=15704308 CPUtime=1.12 cores=1,3,5,7
/proc/30281/task/30296/stat : 30296 (java) S 30279 30281 29449 0 -1 4202560 8215 0 0 0 111 1 0 0 15 0 22 0 525233214 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 3 0 0 0
[pid=30281/tid=30297] ppid=30279 vsize=15704308 CPUtime=1.14 cores=1,3,5,7
/proc/30281/task/30297/stat : 30297 (java) S 30279 30281 29449 0 -1 4202560 12925 0 0 0 112 2 0 0 15 0 22 0 525233214 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30298] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30298/stat : 30298 (java) S 30279 30281 29449 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 525233214 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30299] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30299/stat : 30299 (java) S 30279 30281 29449 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 525233214 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773760 0 4 0 16800975 18446604462603564160 0 0 -1 7 0 0 0
[pid=30281/tid=30300] ppid=30279 vsize=15704308 CPUtime=1166.4 cores=1,3,5,7
/proc/30281/task/30300/stat : 30300 (java) R 30279 30281 29449 0 -1 4202560 334032 0 0 0 116584 56 0 0 25 0 22 0 525233234 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 18446744073699065949 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30281/tid=30301] ppid=30279 vsize=15704308 CPUtime=1167.44 cores=1,3,5,7
/proc/30281/task/30301/stat : 30301 (java) R 30279 30281 29449 0 -1 4202560 337260 0 0 0 116689 55 0 0 25 0 22 0 525233234 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 46912505846235 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30281/tid=30302] ppid=30279 vsize=15704308 CPUtime=1167.61 cores=1,3,5,7
/proc/30281/task/30302/stat : 30302 (java) R 30279 30281 29449 0 -1 4202560 346017 0 0 0 116706 55 0 0 21 0 22 0 525233234 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 18446744073699065897 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30281/tid=30303] ppid=30279 vsize=15704308 CPUtime=1167.04 cores=1,3,5,7
/proc/30281/task/30303/stat : 30303 (java) R 30279 30281 29449 0 -1 4202560 344277 0 0 0 116650 54 0 0 25 0 22 0 525233234 16081211392 92961 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 46912505699178 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4700.43
Current children cumulated vsize (KiB) 15704308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.4 s]
/proc/loadavg: 4.13 5.66 6.99 5/193 30355
/proc/meminfo: memFree=25540552/32951124 swapFree=67051468/67111528
[pid=30281] ppid=30279 vsize=15704308 CPUtime=4800.18 cores=1,3,5,7
/proc/30281/stat : 30281 (java) S 30279 30281 29449 0 -1 4202496 2323938 0 1 0 479501 517 0 0 25 0 22 0 525233209 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30281/statm: 3926077 88635 2297 9 0 3916796 0
[pid=30281/tid=30283] ppid=30279 vsize=15704308 CPUtime=0.33 cores=1,3,5,7
/proc/30281/task/30283/stat : 30283 (java) S 30279 30281 29449 0 -1 4202560 6065 0 1 0 32 1 0 0 19 0 22 0 525233210 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30284] ppid=30279 vsize=15704308 CPUtime=3.45 cores=1,3,5,7
/proc/30281/task/30284/stat : 30284 (java) S 30279 30281 29449 0 -1 4202560 111786 0 0 0 319 26 0 0 15 0 22 0 525233211 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30285] ppid=30279 vsize=15704308 CPUtime=3.38 cores=1,3,5,7
/proc/30281/task/30285/stat : 30285 (java) S 30279 30281 29449 0 -1 4202560 108589 0 0 0 315 23 0 0 16 0 22 0 525233211 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30286] ppid=30279 vsize=15704308 CPUtime=3.4 cores=1,3,5,7
/proc/30281/task/30286/stat : 30286 (java) S 30279 30281 29449 0 -1 4202560 110222 0 0 0 318 22 0 0 15 0 22 0 525233211 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30287] ppid=30279 vsize=15704308 CPUtime=3.39 cores=1,3,5,7
/proc/30281/task/30287/stat : 30287 (java) S 30279 30281 29449 0 -1 4202560 113348 0 0 0 316 23 0 0 16 0 22 0 525233211 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 3 0 0 0
[pid=30281/tid=30288] ppid=30279 vsize=15704308 CPUtime=3.43 cores=1,3,5,7
/proc/30281/task/30288/stat : 30288 (java) S 30279 30281 29449 0 -1 4202560 115869 0 0 0 317 26 0 0 15 0 22 0 525233211 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 7 0 0 0
[pid=30281/tid=30289] ppid=30279 vsize=15704308 CPUtime=3.48 cores=1,3,5,7
/proc/30281/task/30289/stat : 30289 (java) S 30279 30281 29449 0 -1 4202560 118951 0 0 0 325 23 0 0 15 0 22 0 525233211 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30290] ppid=30279 vsize=15704308 CPUtime=3.42 cores=1,3,5,7
/proc/30281/task/30290/stat : 30290 (java) S 30279 30281 29449 0 -1 4202560 113481 0 0 0 317 25 0 0 15 0 22 0 525233211 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 7 0 0 0
[pid=30281/tid=30291] ppid=30279 vsize=15704308 CPUtime=3.42 cores=1,3,5,7
/proc/30281/task/30291/stat : 30291 (java) S 30279 30281 29449 0 -1 4202560 111387 0 0 0 319 23 0 0 16 0 22 0 525233211 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30292] ppid=30279 vsize=15704308 CPUtime=2.47 cores=1,3,5,7
/proc/30281/task/30292/stat : 30292 (java) S 30279 30281 29449 0 -1 4202560 6016 0 0 0 158 89 0 0 15 0 22 0 525233212 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773760 0 0 0 16800975 18446604462603564160 0 0 -1 3 0 0 0
[pid=30281/tid=30293] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30293/stat : 30293 (java) S 30279 30281 29449 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 525233212 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30294] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30294/stat : 30294 (java) S 30279 30281 29449 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 525233212 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30295] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30295/stat : 30295 (java) S 30279 30281 29449 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 525233214 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382780849 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30296] ppid=30279 vsize=15704308 CPUtime=1.12 cores=1,3,5,7
/proc/30281/task/30296/stat : 30296 (java) S 30279 30281 29449 0 -1 4202560 8215 0 0 0 111 1 0 0 15 0 22 0 525233214 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 3 0 0 0
[pid=30281/tid=30297] ppid=30279 vsize=15704308 CPUtime=1.14 cores=1,3,5,7
/proc/30281/task/30297/stat : 30297 (java) S 30279 30281 29449 0 -1 4202560 12925 0 0 0 112 2 0 0 15 0 22 0 525233214 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 5 0 0 0
[pid=30281/tid=30298] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30298/stat : 30298 (java) S 30279 30281 29449 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 525233214 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773145 0 4 0 16800975 18446604462603564160 0 0 -1 1 0 0 0
[pid=30281/tid=30299] ppid=30279 vsize=15704308 CPUtime=0 cores=1,3,5,7
/proc/30281/task/30299/stat : 30299 (java) S 30279 30281 29449 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 525233214 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 218382773760 0 4 0 16800975 18446604462603564160 0 0 -1 3 0 0 0
[pid=30281/tid=30300] ppid=30279 vsize=15704308 CPUtime=1191.22 cores=1,3,5,7
/proc/30281/task/30300/stat : 30300 (java) R 30279 30281 29449 0 -1 4202560 340284 0 0 0 119065 57 0 0 25 0 22 0 525233234 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 47297228512080 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30281/tid=30301] ppid=30279 vsize=15704308 CPUtime=1192.22 cores=1,3,5,7
/proc/30281/task/30301/stat : 30301 (java) R 30279 30281 29449 0 -1 4202560 343172 0 0 0 119166 56 0 0 25 0 22 0 525233234 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 46912506068318 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30281/tid=30302] ppid=30279 vsize=15704308 CPUtime=1192.37 cores=1,3,5,7
/proc/30281/task/30302/stat : 30302 (java) R 30279 30281 29449 0 -1 4202560 352119 0 0 0 119180 57 0 0 25 0 22 0 525233234 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 46912505711239 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30281/tid=30303] ppid=30279 vsize=15704308 CPUtime=1191.8 cores=1,3,5,7
/proc/30281/task/30303/stat : 30303 (java) R 30279 30281 29449 0 -1 4202560 350058 0 0 0 119124 56 0 0 25 0 22 0 525233234 16081211392 88635 33554432000 1073741824 1073778376 140733991340432 18446744073709551615 46912505736096 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 15704308

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

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

[startup+1207.51 s]
/proc/loadavg: 4.13 5.66 6.99 5/193 30355
/proc/meminfo: memFree=25540552/32951124 swapFree=67051468/67111528
[pid=30281] ppid=30279 vsize=0 CPUtime=4800.57 cores=1,3,5,7
/proc/30281/stat : 30281 (java) Z 30279 30281 29449 0 -1 4203548 2323964 0 1 0 479539 518 0 0 17 0 2 0 525233209 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30281/statm: 0 0 0 0 0 0 0
[pid=30281/tid=30303] ppid=30279 vsize=0 CPUtime=1191.91 cores=1,3,5,7
/proc/30281/task/30303/stat : 30303 (java) R 30279 30281 29449 0 -1 4203588 350058 0 0 0 119134 57 0 0 25 0 2 0 525233234 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.57
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1207.52
CPU time (s): 4800.59
CPU user time (s): 4795.4
CPU system time (s): 5.19421
CPU usage (%): 397.558
Max. virtual memory (cumulated for all children) (KiB): 15707072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.4
system time used= 5.19421
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2323964
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= 266127
involuntary context switches= 139759

runsolver used 1.9637 second user time and 4.67829 second system time

The end

Launcher Data 

Begin job on node101 at 2011-04-30 06:05:04
IDJOB=3311577
IDBENCH=82962
IDSOLVER=1698
FILE ID=node101/3311577-1304136304
RUNJOBID= node101-1304134780-29988
PBS_JOBID= 13170794
Free space on /tmp= 72156 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v450-c1917-S1573194644-097.UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311577-1304136304/watcher-3311577-1304136304 -o /tmp/evaluation-result-3311577-1304136304/solver-3311577-1304136304 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311577-1304136304.cnf -hbr 2

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

MD5SUM BENCH= 94cfc1731e7c76d51d00543dd5d14f85
RANDOM SEED=133619955

node101.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.841
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.68
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.841
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.07
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.841
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.77
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.841
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.841
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.74
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.841
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.83
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.841
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.841
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25496644 kB
Buffers:       1916612 kB
Cached:        4668868 kB
SwapCached:      30424 kB
Active:        2130128 kB
Inactive:      4878912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25496644 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:            1512 kB
Writeback:           8 kB
AnonPages:      414408 kB
Mapped:          17608 kB
Slab:           379488 kB
PageTables:       6520 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   685636 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= 72156 MiB
End job on node101 at 2011-04-30 06:25:14