Trace number 3311530

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.13 1207.23

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v80-c7120-S1637697223-097.UNKNOWN.cnf
MD5SUMa7e7ad4822818289e739fae39e69d3b8
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of clauses7120
Sum of the clauses size49840
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 57120

Solver Data 

0.10/0.12	06:56 INFO : Reading from input HOME/instance-3311530-1304132816.cnf
0.51/0.33	Executor set job limit to 1000000
0.51/0.33	Executor set job limit to 1000000
0.51/0.33	Executor set job limit to 1000000
0.51/0.33	Executor set job limit to 1000000
0.51/0.34	Starting Executor!
0.51/0.34	Starting Executor!
0.51/0.34	Starting Executor!
0.51/0.34	Starting Executor!
0.94/0.57	06:56 INFO : 80 variables remaining out of 80
0.94/0.57	06:56 INFO : 56960 literals remaining out of 56960

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-3311530-1304132816/watcher-3311530-1304132816 -o /tmp/evaluation-result-3311530-1304132816/solver-3311530-1304132816 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311530-1304132816.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: 3.69 4.28 5.57 2/177 24280
/proc/meminfo: memFree=21998052/32951124 swapFree=67111524/67111528
[pid=24280] ppid=24277 vsize=24004 CPUtime=0 cores=1,3,5,7
/proc/24280/stat : 24280 (java) S 24277 24280 21275 0 -1 4202496 1368 0 0 0 0 0 0 0 20 0 2 0 505697170 24580096 850 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738207717 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/24280/statm: 6001 853 650 9 0 381 0
[pid=24280/tid=24282] ppid=24277 vsize=26140 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24282/stat : 24282 (java) R 24277 24280 21275 0 -1 4202560 34 0 0 0 0 0 0 0 23 0 2 0 505697171 26767360 871 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264721485411 0 0 4096 0 0 0 0 -1 5 0 0 0

[startup+0.02364 s]
/proc/loadavg: 3.69 4.28 5.57 2/177 24280
/proc/meminfo: memFree=21998052/32951124 swapFree=67111524/67111528
[pid=24280] ppid=24277 vsize=15667596 CPUtime=0.01 cores=1,3,5,7
/proc/24280/stat : 24280 (java) S 24277 24280 21275 0 -1 4202496 3332 0 1 0 1 0 0 0 20 0 11 0 505697170 16043618304 2773 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/24280/statm: 3916899 2775 1607 9 0 3907647 0
[pid=24280/tid=24282] ppid=24277 vsize=15667596 CPUtime=0.01 cores=1,3,5,7
/proc/24280/task/24282/stat : 24282 (java) R 24277 24280 21275 0 -1 4202560 1965 0 1 0 1 0 0 0 19 0 11 0 505697171 16043618304 2777 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 47069655160344 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15667596

[startup+0.103443 s]
/proc/loadavg: 3.69 4.28 5.57 2/177 24280
/proc/meminfo: memFree=21998052/32951124 swapFree=67111524/67111528
[pid=24280] ppid=24277 vsize=15676856 CPUtime=0.1 cores=1,3,5,7
/proc/24280/stat : 24280 (java) S 24277 24280 21275 0 -1 4202496 5545 0 1 0 9 1 0 0 20 0 18 0 505697170 16053100544 4984 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24280/statm: 3919214 4984 2117 9 0 3909933 0
[pid=24280/tid=24282] ppid=24277 vsize=15676856 CPUtime=0.08 cores=1,3,5,7
/proc/24280/task/24282/stat : 24282 (java) S 24277 24280 21275 0 -1 4202560 3410 0 1 0 7 1 0 0 18 0 18 0 505697171 16053100544 4984 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738234335 0 2147483391 0 16800975 18446744071699207358 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676856

[startup+0.300596 s]
/proc/loadavg: 3.69 4.28 5.57 2/177 24280
/proc/meminfo: memFree=21998052/32951124 swapFree=67111524/67111528
[pid=24280] ppid=24277 vsize=15684412 CPUtime=0.51 cores=1,3,5,7
/proc/24280/stat : 24280 (java) S 24277 24280 21275 0 -1 4202496 14252 0 1 0 49 2 0 0 20 0 18 0 505697170 16060837888 12463 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24280/statm: 3921103 12466 2208 9 0 3911822 0
[pid=24280/tid=24282] ppid=24277 vsize=15684412 CPUtime=0.27 cores=1,3,5,7
/proc/24280/task/24282/stat : 24282 (java) R 24277 24280 21275 0 -1 4202560 9079 0 1 0 26 1 0 0 18 0 18 0 505697171 16060837888 12468 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 46912505511838 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15684412

[startup+0.700479 s]
/proc/loadavg: 3.69 4.28 5.57 2/177 24280
/proc/meminfo: memFree=21998052/32951124 swapFree=67111524/67111528
[pid=24280] ppid=24277 vsize=15706500 CPUtime=1.49 cores=1,3,5,7
/proc/24280/stat : 24280 (java) S 24277 24280 21275 0 -1 4202496 32326 0 1 0 145 4 0 0 20 0 22 0 505697170 16083456000 26458 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24280/statm: 3926625 26458 2259 9 0 3917344 0
[pid=24280/tid=24282] ppid=24277 vsize=15706500 CPUtime=0.55 cores=1,3,5,7
/proc/24280/task/24282/stat : 24282 (java) S 24277 24280 21275 0 -1 4202560 15009 0 1 0 53 2 0 0 20 0 22 0 505697171 16083456000 26458 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15706500

[startup+1.50133 s]
/proc/loadavg: 3.69 4.28 5.57 11/220 24323
/proc/meminfo: memFree=21664828/32951124 swapFree=67111524/67111528
[pid=24280] ppid=24277 vsize=15703880 CPUtime=4.52 cores=1,3,5,7
/proc/24280/stat : 24280 (java) S 24277 24280 21275 0 -1 4202496 62146 0 1 0 443 9 0 0 20 0 22 0 505697170 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24280/statm: 3925970 52379 2275 9 0 3916689 0
[pid=24280/tid=24282] ppid=24277 vsize=15703880 CPUtime=0.55 cores=1,3,5,7
/proc/24280/task/24282/stat : 24282 (java) S 24277 24280 21275 0 -1 4202560 15009 0 1 0 53 2 0 0 20 0 22 0 505697171 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24292] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24292/stat : 24292 (java) S 24277 24280 21275 0 -1 4202560 879 0 0 0 0 0 0 0 16 0 22 0 505697171 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24293] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24293/stat : 24293 (java) S 24277 24280 21275 0 -1 4202560 1216 0 0 0 0 0 0 0 16 0 22 0 505697171 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 7 0 0 0
[pid=24280/tid=24294] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24294/stat : 24294 (java) S 24277 24280 21275 0 -1 4202560 721 0 0 0 0 0 0 0 16 0 22 0 505697171 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24295] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24295/stat : 24295 (java) S 24277 24280 21275 0 -1 4202560 1063 0 0 0 0 0 0 0 16 0 22 0 505697171 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 7 0 0 0
[pid=24280/tid=24296] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24296/stat : 24296 (java) S 24277 24280 21275 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 505697171 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24297] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24297/stat : 24297 (java) S 24277 24280 21275 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 505697171 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 7 0 0 0
[pid=24280/tid=24298] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24298/stat : 24298 (java) S 24277 24280 21275 0 -1 4202560 409 0 0 0 0 0 0 0 16 0 22 0 505697171 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24299] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24299/stat : 24299 (java) S 24277 24280 21275 0 -1 4202560 999 0 0 0 0 0 0 0 16 0 22 0 505697171 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 7 0 0 0
[pid=24280/tid=24301] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24301/stat : 24301 (java) S 24277 24280 21275 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 505697172 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738221568 0 0 0 16800975 18446604466751137600 0 0 -1 3 0 0 0
[pid=24280/tid=24304] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24304/stat : 24304 (java) R 24277 24280 21275 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 505697173 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 46912505213668 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24280/tid=24305] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24305/stat : 24305 (java) R 24277 24280 21275 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 505697173 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24280/tid=24311] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24311/stat : 24311 (java) S 24277 24280 21275 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 505697175 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738228657 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24312] ppid=24277 vsize=15703880 CPUtime=0.78 cores=1,3,5,7
/proc/24280/task/24312/stat : 24312 (java) R 24277 24280 21275 0 -1 4202560 12068 0 0 0 77 1 0 0 20 0 22 0 505697175 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738230965 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24280/tid=24313] ppid=24277 vsize=15703880 CPUtime=0.94 cores=1,3,5,7
/proc/24280/task/24313/stat : 24313 (java) R 24277 24280 21275 0 -1 4202560 7812 0 0 0 93 1 0 0 15 0 22 0 505697175 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 47069654724467 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24280/tid=24314] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24314/stat : 24314 (java) S 24277 24280 21275 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 505697175 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24315] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24315/stat : 24315 (java) S 24277 24280 21275 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 505697175 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738221568 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24320] ppid=24277 vsize=15703880 CPUtime=0.72 cores=1,3,5,7
/proc/24280/task/24320/stat : 24320 (java) R 24277 24280 21275 0 -1 4202560 7607 0 0 0 71 1 0 0 16 0 22 0 505697204 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 46912505814052 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24280/tid=24321] ppid=24277 vsize=15703880 CPUtime=0.49 cores=1,3,5,7
/proc/24280/task/24321/stat : 24321 (java) R 24277 24280 21275 0 -1 4202560 2708 0 0 0 49 0 0 0 16 0 22 0 505697204 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 46912505186560 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24280/tid=24322] ppid=24277 vsize=15703880 CPUtime=0.59 cores=1,3,5,7
/proc/24280/task/24322/stat : 24322 (java) R 24277 24280 21275 0 -1 4202560 4133 0 0 0 59 0 0 0 16 0 22 0 505697204 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 47069655918653 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24280/tid=24323] ppid=24277 vsize=15703880 CPUtime=0.36 cores=1,3,5,7
/proc/24280/task/24323/stat : 24323 (java) R 24277 24280 21275 0 -1 4202560 6123 0 0 0 36 0 0 0 16 0 22 0 505697204 16080773120 52379 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 46912505814189 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 15703880

[startup+3.10102 s]
/proc/loadavg: 4.20 4.37 5.59 11/220 24323
/proc/meminfo: memFree=21532272/32951124 swapFree=67111524/67111528
[pid=24280] ppid=24277 vsize=15703880 CPUtime=10.89 cores=1,3,5,7
/proc/24280/stat : 24280 (java) S 24277 24280 21275 0 -1 4202496 130594 0 1 0 1071 18 0 0 20 0 22 0 505697170 16080773120 119252 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24280/statm: 3925970 119260 2286 9 0 3916689 0
[pid=24280/tid=24282] ppid=24277 vsize=15703880 CPUtime=0.55 cores=1,3,5,7
/proc/24280/task/24282/stat : 24282 (java) S 24277 24280 21275 0 -1 4202560 15009 0 1 0 53 2 0 0 20 0 22 0 505697171 16080773120 119261 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24292] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24292/stat : 24292 (java) S 24277 24280 21275 0 -1 4202560 2931 0 0 0 0 0 0 0 15 0 22 0 505697171 16080773120 119265 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 3 0 0 0
[pid=24280/tid=24293] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24293/stat : 24293 (java) S 24277 24280 21275 0 -1 4202560 1650 0 0 0 0 0 0 0 15 0 22 0 505697171 16080773120 119267 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 7 0 0 0
[pid=24280/tid=24294] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24294/stat : 24294 (java) S 24277 24280 21275 0 -1 4202560 2045 0 0 0 0 0 0 0 16 0 22 0 505697171 16080773120 119270 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24295] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24295/stat : 24295 (java) S 24277 24280 21275 0 -1 4202560 2683 0 0 0 0 0 0 0 15 0 22 0 505697171 16080773120 119272 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24296] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24296/stat : 24296 (java) S 24277 24280 21275 0 -1 4202560 1883 0 0 0 0 0 0 0 16 0 22 0 505697171 16080773120 119275 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 3 0 0 0
[pid=24280/tid=24297] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24297/stat : 24297 (java) S 24277 24280 21275 0 -1 4202560 1045 0 0 0 0 0 0 0 16 0 22 0 505697171 16080773120 119277 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 7 0 0 0
[pid=24280/tid=24298] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24298/stat : 24298 (java) S 24277 24280 21275 0 -1 4202560 1028 0 0 0 0 0 0 0 15 0 22 0 505697171 16080773120 119279 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24299] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24299/stat : 24299 (java) S 24277 24280 21275 0 -1 4202560 1961 0 0 0 0 0 0 0 16 0 22 0 505697171 16080773120 119280 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24301] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24301/stat : 24301 (java) S 24277 24280 21275 0 -1 4202560 193 0 0 0 0 0 0 0 15 0 22 0 505697172 16080773120 119284 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738221568 0 0 0 16800975 18446604466751137600 0 0 -1 3 0 0 0
[pid=24280/tid=24304] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24304/stat : 24304 (java) S 24277 24280 21275 0 -1 4202560 19 0 0 0 0 0 0 0 17 0 22 0 505697173 16080773120 119288 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24305] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24305/stat : 24305 (java) S 24277 24280 21275 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 505697173 16080773120 119291 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24311] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24311/stat : 24311 (java) S 24277 24280 21275 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 505697175 16080773120 119293 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738228657 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24312] ppid=24277 vsize=15703880 CPUtime=0.79 cores=1,3,5,7
/proc/24280/task/24312/stat : 24312 (java) R 24277 24280 21275 0 -1 4202560 12106 0 0 0 78 1 0 0 19 0 22 0 505697175 16080773120 119300 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 47069651553585 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24280/tid=24313] ppid=24277 vsize=15703880 CPUtime=1.22 cores=1,3,5,7
/proc/24280/task/24313/stat : 24313 (java) S 24277 24280 21275 0 -1 4202560 9399 0 0 0 121 1 0 0 15 0 22 0 505697175 16080773120 119304 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24314] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24314/stat : 24314 (java) S 24277 24280 21275 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 505697175 16080773120 119308 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24315] ppid=24277 vsize=15703880 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24315/stat : 24315 (java) S 24277 24280 21275 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 505697175 16080773120 119320 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738221568 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24320] ppid=24277 vsize=15703880 CPUtime=2.3 cores=1,3,5,7
/proc/24280/task/24320/stat : 24320 (java) R 24277 24280 21275 0 -1 4202560 22156 0 0 0 227 3 0 0 18 0 22 0 505697204 16080773120 119329 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 46912505726458 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24280/tid=24321] ppid=24277 vsize=15703880 CPUtime=1.89 cores=1,3,5,7
/proc/24280/task/24321/stat : 24321 (java) R 24277 24280 21275 0 -1 4202560 16627 0 0 0 187 2 0 0 17 0 22 0 505697204 16080773120 119337 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 46912505601368 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24280/tid=24322] ppid=24277 vsize=15703880 CPUtime=2.16 cores=1,3,5,7
/proc/24280/task/24322/stat : 24322 (java) R 24277 24280 21275 0 -1 4202560 18240 0 0 0 215 1 0 0 18 0 22 0 505697204 16080773120 119338 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 46912505814968 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24280/tid=24323] ppid=24277 vsize=15703880 CPUtime=1.85 cores=1,3,5,7
/proc/24280/task/24323/stat : 24323 (java) R 24277 24280 21275 0 -1 4202560 20338 0 0 0 183 2 0 0 17 0 22 0 505697204 16080773120 119340 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 46912505726363 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.89
Current children cumulated vsize (KiB) 15703880

[startup+6.30142 s]
/proc/loadavg: 4.20 4.37 5.59 9/220 24324
/proc/meminfo: memFree=21256476/32951124 swapFree=67111524/67111528
[pid=24280] ppid=24277 vsize=15696148 CPUtime=23.66 cores=1,3,5,7
/proc/24280/stat : 24280 (java) S 24277 24280 21275 0 -1 4202496 162702 0 1 0 2344 22 0 0 20 0 22 0 505697170 16072855552 148904 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24280/statm: 3924037 148904 2289 9 0 3914756 0
[pid=24280/tid=24282] ppid=24277 vsize=15696148 CPUtime=0.55 cores=1,3,5,7
/proc/24280/task/24282/stat : 24282 (java) S 24277 24280 21275 0 -1 4202560 15009 0 1 0 53 2 0 0 20 0 22 0 505697171 16072855552 148904 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24292] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24292/stat : 24292 (java) S 24277 24280 21275 0 -1 4202560 3046 0 0 0 0 0 0 0 15 0 22 0 505697171 16072855552 148904 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 3 0 0 0
[pid=24280/tid=24293] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24293/stat : 24293 (java) S 24277 24280 21275 0 -1 4202560 2557 0 0 0 0 0 0 0 16 0 22 0 505697171 16072855552 148904 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 7 0 0 0
[pid=24280/tid=24294] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24294/stat : 24294 (java) S 24277 24280 21275 0 -1 4202560 2296 0 0 0 0 0 0 0 16 0 22 0 505697171 16072855552 148904 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24295] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24295/stat : 24295 (java) S 24277 24280 21275 0 -1 4202560 3407 0 0 0 0 0 0 0 15 0 22 0 505697171 16072855552 148904 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24296] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24296/stat : 24296 (java) S 24277 24280 21275 0 -1 4202560 2821 0 0 0 0 0 0 0 16 0 22 0 505697171 16072855552 148904 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 3 0 0 0
[pid=24280/tid=24297] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24297/stat : 24297 (java) S 24277 24280 21275 0 -1 4202560 1232 0 0 0 0 0 0 0 15 0 22 0 505697171 16072855552 148904 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 7 0 0 0
[pid=24280/tid=24298] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24298/stat : 24298 (java) S 24277 24280 21275 0 -1 4202560 1980 0 0 0 0 0 0 0 15 0 22 0 505697171 16072855552 148904 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24299] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24299/stat : 24299 (java) S 24277 24280 21275 0 -1 4202560 2294 0 0 0 0 0 0 0 16 0 22 0 505697171 16072855552 148904 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0

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

[pid=24280/tid=24321] ppid=24277 vsize=15696148 CPUtime=1048.94 cores=1,3,5,7
/proc/24280/task/24321/stat : 24321 (java) R 24277 24280 21275 0 -1 4202560 143342 0 0 0 104863 31 0 0 25 0 22 0 505697204 16072855552 77154 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 46912506113805 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24280/tid=24322] ppid=24277 vsize=15696148 CPUtime=1049.15 cores=1,3,5,7
/proc/24280/task/24322/stat : 24322 (java) R 24277 24280 21275 0 -1 4202560 145392 0 0 0 104889 26 0 0 25 0 22 0 505697204 16072855552 77154 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 46912505951546 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24280/tid=24323] ppid=24277 vsize=15696148 CPUtime=1048.87 cores=1,3,5,7
/proc/24280/task/24323/stat : 24323 (java) R 24277 24280 21275 0 -1 4202560 148279 0 0 0 104856 31 0 0 25 0 22 0 505697204 16072855552 77154 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4223.95
Current children cumulated vsize (KiB) 15696148

[startup+1122.3 s]
/proc/loadavg: 8.12 7.98 7.30 10/220 24356
/proc/meminfo: memFree=21420404/32951124 swapFree=67111524/67111528
[pid=24280] ppid=24277 vsize=15696148 CPUtime=4462.51 cores=1,3,5,7
/proc/24280/stat : 24280 (java) S 24277 24280 21275 0 -1 4202496 1259940 0 1 0 445909 342 0 0 20 0 22 0 505697170 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24280/statm: 3924037 74898 2299 9 0 3914756 0
[pid=24280/tid=24282] ppid=24277 vsize=15696148 CPUtime=0.55 cores=1,3,5,7
/proc/24280/task/24282/stat : 24282 (java) S 24277 24280 21275 0 -1 4202560 15009 0 1 0 53 2 0 0 20 0 22 0 505697171 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24292] ppid=24277 vsize=15696148 CPUtime=3.12 cores=1,3,5,7
/proc/24280/task/24292/stat : 24292 (java) S 24277 24280 21275 0 -1 4202560 73063 0 0 0 295 17 0 0 15 0 22 0 505697171 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 3 0 0 0
[pid=24280/tid=24293] ppid=24277 vsize=15696148 CPUtime=3.21 cores=1,3,5,7
/proc/24280/task/24293/stat : 24293 (java) S 24277 24280 21275 0 -1 4202560 73816 0 0 0 303 18 0 0 15 0 22 0 505697171 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24294] ppid=24277 vsize=15696148 CPUtime=3.23 cores=1,3,5,7
/proc/24280/task/24294/stat : 24294 (java) S 24277 24280 21275 0 -1 4202560 75805 0 0 0 304 19 0 0 15 0 22 0 505697171 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 7 0 0 0
[pid=24280/tid=24295] ppid=24277 vsize=15696148 CPUtime=3.11 cores=1,3,5,7
/proc/24280/task/24295/stat : 24295 (java) S 24277 24280 21275 0 -1 4202560 74754 0 0 0 293 18 0 0 16 0 22 0 505697171 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 7 0 0 0
[pid=24280/tid=24296] ppid=24277 vsize=15696148 CPUtime=3.2 cores=1,3,5,7
/proc/24280/task/24296/stat : 24296 (java) S 24277 24280 21275 0 -1 4202560 79249 0 0 0 300 20 0 0 16 0 22 0 505697171 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24297] ppid=24277 vsize=15696148 CPUtime=3.09 cores=1,3,5,7
/proc/24280/task/24297/stat : 24297 (java) S 24277 24280 21275 0 -1 4202560 74188 0 0 0 292 17 0 0 15 0 22 0 505697171 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24298] ppid=24277 vsize=15696148 CPUtime=3.15 cores=1,3,5,7
/proc/24280/task/24298/stat : 24298 (java) S 24277 24280 21275 0 -1 4202560 70996 0 0 0 298 17 0 0 15 0 22 0 505697171 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24299] ppid=24277 vsize=15696148 CPUtime=3.17 cores=1,3,5,7
/proc/24280/task/24299/stat : 24299 (java) S 24277 24280 21275 0 -1 4202560 73022 0 0 0 299 18 0 0 16 0 22 0 505697171 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 3 0 0 0
[pid=24280/tid=24301] ppid=24277 vsize=15696148 CPUtime=1.93 cores=1,3,5,7
/proc/24280/task/24301/stat : 24301 (java) S 24277 24280 21275 0 -1 4202560 3187 0 0 0 134 59 0 0 16 0 22 0 505697172 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738221568 0 0 0 16800975 18446604466751137600 0 0 -1 3 0 0 0
[pid=24280/tid=24304] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24304/stat : 24304 (java) S 24277 24280 21275 0 -1 4202560 19 0 0 0 0 0 0 0 17 0 22 0 505697173 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24305] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24305/stat : 24305 (java) S 24277 24280 21275 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 505697173 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24311] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24311/stat : 24311 (java) S 24277 24280 21275 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 505697175 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738228657 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24312] ppid=24277 vsize=15696148 CPUtime=0.85 cores=1,3,5,7
/proc/24280/task/24312/stat : 24312 (java) S 24277 24280 21275 0 -1 4202560 12124 0 0 0 84 1 0 0 16 0 22 0 505697175 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 7 0 0 0
[pid=24280/tid=24313] ppid=24277 vsize=15696148 CPUtime=1.38 cores=1,3,5,7
/proc/24280/task/24313/stat : 24313 (java) S 24277 24280 21275 0 -1 4202560 9424 0 0 0 137 1 0 0 15 0 22 0 505697175 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24314] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24314/stat : 24314 (java) S 24277 24280 21275 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 505697175 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24315] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24315/stat : 24315 (java) S 24277 24280 21275 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 505697175 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738221568 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24320] ppid=24277 vsize=15696148 CPUtime=1107.53 cores=1,3,5,7
/proc/24280/task/24320/stat : 24320 (java) R 24277 24280 21275 0 -1 4202560 158541 0 0 0 110721 32 0 0 25 0 22 0 505697204 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 46912506052108 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24280/tid=24321] ppid=24277 vsize=15696148 CPUtime=1108.22 cores=1,3,5,7
/proc/24280/task/24321/stat : 24321 (java) R 24277 24280 21275 0 -1 4202560 152378 0 0 0 110789 33 0 0 25 0 22 0 505697204 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 46912505906999 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24280/tid=24322] ppid=24277 vsize=15696148 CPUtime=1108.47 cores=1,3,5,7
/proc/24280/task/24322/stat : 24322 (java) R 24277 24280 21275 0 -1 4202560 154969 0 0 0 110819 28 0 0 25 0 22 0 505697204 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 46912505814558 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24280/tid=24323] ppid=24277 vsize=15696148 CPUtime=1108.11 cores=1,3,5,7
/proc/24280/task/24323/stat : 24323 (java) R 24277 24280 21275 0 -1 4202560 157972 0 0 0 110778 33 0 0 25 0 22 0 505697204 16072855552 74898 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 46912505808427 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4462.51
Current children cumulated vsize (KiB) 15696148

[startup+1182.3 s]
/proc/loadavg: 8.19 8.01 7.35 9/220 24358
/proc/meminfo: memFree=21393796/32951124 swapFree=67111524/67111528
[pid=24280] ppid=24277 vsize=15696148 CPUtime=4701.09 cores=1,3,5,7
/proc/24280/stat : 24280 (java) S 24277 24280 21275 0 -1 4202496 1327000 0 1 0 469747 362 0 0 20 0 22 0 505697170 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24280/statm: 3924037 77376 2299 9 0 3914756 0
[pid=24280/tid=24282] ppid=24277 vsize=15696148 CPUtime=0.55 cores=1,3,5,7
/proc/24280/task/24282/stat : 24282 (java) S 24277 24280 21275 0 -1 4202560 15009 0 1 0 53 2 0 0 20 0 22 0 505697171 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24292] ppid=24277 vsize=15696148 CPUtime=3.28 cores=1,3,5,7
/proc/24280/task/24292/stat : 24292 (java) S 24277 24280 21275 0 -1 4202560 77495 0 0 0 310 18 0 0 15 0 22 0 505697171 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24293] ppid=24277 vsize=15696148 CPUtime=3.4 cores=1,3,5,7
/proc/24280/task/24293/stat : 24293 (java) S 24277 24280 21275 0 -1 4202560 77975 0 0 0 321 19 0 0 16 0 22 0 505697171 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24294] ppid=24277 vsize=15696148 CPUtime=3.4 cores=1,3,5,7
/proc/24280/task/24294/stat : 24294 (java) S 24277 24280 21275 0 -1 4202560 79201 0 0 0 320 20 0 0 15 0 22 0 505697171 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 7 0 0 0
[pid=24280/tid=24295] ppid=24277 vsize=15696148 CPUtime=3.26 cores=1,3,5,7
/proc/24280/task/24295/stat : 24295 (java) S 24277 24280 21275 0 -1 4202560 78639 0 0 0 307 19 0 0 15 0 22 0 505697171 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 3 0 0 0
[pid=24280/tid=24296] ppid=24277 vsize=15696148 CPUtime=3.37 cores=1,3,5,7
/proc/24280/task/24296/stat : 24296 (java) S 24277 24280 21275 0 -1 4202560 82307 0 0 0 316 21 0 0 15 0 22 0 505697171 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 7 0 0 0
[pid=24280/tid=24297] ppid=24277 vsize=15696148 CPUtime=3.26 cores=1,3,5,7
/proc/24280/task/24297/stat : 24297 (java) S 24277 24280 21275 0 -1 4202560 77874 0 0 0 307 19 0 0 15 0 22 0 505697171 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24298] ppid=24277 vsize=15696148 CPUtime=3.29 cores=1,3,5,7
/proc/24280/task/24298/stat : 24298 (java) S 24277 24280 21275 0 -1 4202560 74328 0 0 0 311 18 0 0 15 0 22 0 505697171 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 7 0 0 0
[pid=24280/tid=24299] ppid=24277 vsize=15696148 CPUtime=3.34 cores=1,3,5,7
/proc/24280/task/24299/stat : 24299 (java) S 24277 24280 21275 0 -1 4202560 77201 0 0 0 315 19 0 0 16 0 22 0 505697171 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 3 0 0 0
[pid=24280/tid=24301] ppid=24277 vsize=15696148 CPUtime=2.06 cores=1,3,5,7
/proc/24280/task/24301/stat : 24301 (java) S 24277 24280 21275 0 -1 4202560 3412 0 0 0 143 63 0 0 15 0 22 0 505697172 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738221568 0 0 0 16800975 18446604466751137600 0 0 -1 7 0 0 0
[pid=24280/tid=24304] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24304/stat : 24304 (java) S 24277 24280 21275 0 -1 4202560 19 0 0 0 0 0 0 0 17 0 22 0 505697173 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24305] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24305/stat : 24305 (java) S 24277 24280 21275 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 505697173 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24311] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24311/stat : 24311 (java) S 24277 24280 21275 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 505697175 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738228657 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24312] ppid=24277 vsize=15696148 CPUtime=0.85 cores=1,3,5,7
/proc/24280/task/24312/stat : 24312 (java) S 24277 24280 21275 0 -1 4202560 12124 0 0 0 84 1 0 0 16 0 22 0 505697175 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 7 0 0 0
[pid=24280/tid=24313] ppid=24277 vsize=15696148 CPUtime=1.38 cores=1,3,5,7
/proc/24280/task/24313/stat : 24313 (java) S 24277 24280 21275 0 -1 4202560 9424 0 0 0 137 1 0 0 15 0 22 0 505697175 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24314] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24314/stat : 24314 (java) S 24277 24280 21275 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 505697175 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24315] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24315/stat : 24315 (java) S 24277 24280 21275 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 22 0 505697175 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738221568 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24320] ppid=24277 vsize=15696148 CPUtime=1166.92 cores=1,3,5,7
/proc/24280/task/24320/stat : 24320 (java) R 24277 24280 21275 0 -1 4202560 168174 0 0 0 116657 35 0 0 25 0 22 0 505697204 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 46912505950929 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24280/tid=24321] ppid=24277 vsize=15696148 CPUtime=1167.35 cores=1,3,5,7
/proc/24280/task/24321/stat : 24321 (java) R 24277 24280 21275 0 -1 4202560 160993 0 0 0 116699 36 0 0 25 0 22 0 505697204 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 46912505715282 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24280/tid=24322] ppid=24277 vsize=15696148 CPUtime=1167.77 cores=1,3,5,7
/proc/24280/task/24322/stat : 24322 (java) R 24277 24280 21275 0 -1 4202560 164090 0 0 0 116747 30 0 0 25 0 22 0 505697204 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 46912505808418 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24280/tid=24323] ppid=24277 vsize=15696148 CPUtime=1167.45 cores=1,3,5,7
/proc/24280/task/24323/stat : 24323 (java) R 24277 24280 21275 0 -1 4202560 167309 0 0 0 116710 35 0 0 25 0 22 0 505697204 16072855552 77376 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 46912505814165 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4701.09
Current children cumulated vsize (KiB) 15696148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.2 s]
/proc/loadavg: 8.11 8.01 7.37 9/220 24359
/proc/meminfo: memFree=21488524/32951124 swapFree=67111524/67111528
[pid=24280] ppid=24277 vsize=15696148 CPUtime=4800.09 cores=1,3,5,7
/proc/24280/stat : 24280 (java) S 24277 24280 21275 0 -1 4202496 1340870 0 1 0 479640 369 0 0 20 0 22 0 505697170 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24280/statm: 3924037 60811 2299 9 0 3914756 0
[pid=24280/tid=24282] ppid=24277 vsize=15696148 CPUtime=0.55 cores=1,3,5,7
/proc/24280/task/24282/stat : 24282 (java) S 24277 24280 21275 0 -1 4202560 15009 0 1 0 53 2 0 0 20 0 22 0 505697171 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24292] ppid=24277 vsize=15696148 CPUtime=3.36 cores=1,3,5,7
/proc/24280/task/24292/stat : 24292 (java) S 24277 24280 21275 0 -1 4202560 78318 0 0 0 318 18 0 0 15 0 22 0 505697171 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 7 0 0 0
[pid=24280/tid=24293] ppid=24277 vsize=15696148 CPUtime=3.46 cores=1,3,5,7
/proc/24280/task/24293/stat : 24293 (java) S 24277 24280 21275 0 -1 4202560 79102 0 0 0 327 19 0 0 15 0 22 0 505697171 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24294] ppid=24277 vsize=15696148 CPUtime=3.47 cores=1,3,5,7
/proc/24280/task/24294/stat : 24294 (java) S 24277 24280 21275 0 -1 4202560 80079 0 0 0 326 21 0 0 15 0 22 0 505697171 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 7 0 0 0
[pid=24280/tid=24295] ppid=24277 vsize=15696148 CPUtime=3.33 cores=1,3,5,7
/proc/24280/task/24295/stat : 24295 (java) S 24277 24280 21275 0 -1 4202560 79382 0 0 0 314 19 0 0 16 0 22 0 505697171 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 3 0 0 0
[pid=24280/tid=24296] ppid=24277 vsize=15696148 CPUtime=3.44 cores=1,3,5,7
/proc/24280/task/24296/stat : 24296 (java) S 24277 24280 21275 0 -1 4202560 83053 0 0 0 323 21 0 0 15 0 22 0 505697171 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 3 0 0 0
[pid=24280/tid=24297] ppid=24277 vsize=15696148 CPUtime=3.33 cores=1,3,5,7
/proc/24280/task/24297/stat : 24297 (java) S 24277 24280 21275 0 -1 4202560 78570 0 0 0 314 19 0 0 15 0 22 0 505697171 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24298] ppid=24277 vsize=15696148 CPUtime=3.36 cores=1,3,5,7
/proc/24280/task/24298/stat : 24298 (java) S 24277 24280 21275 0 -1 4202560 75319 0 0 0 318 18 0 0 16 0 22 0 505697171 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 3 0 0 0
[pid=24280/tid=24299] ppid=24277 vsize=15696148 CPUtime=3.42 cores=1,3,5,7
/proc/24280/task/24299/stat : 24299 (java) R 24277 24280 21275 0 -1 4202560 78290 0 0 0 323 19 0 0 15 0 22 0 505697171 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24280/tid=24301] ppid=24277 vsize=15696148 CPUtime=2.11 cores=1,3,5,7
/proc/24280/task/24301/stat : 24301 (java) S 24277 24280 21275 0 -1 4202560 3432 0 0 0 147 64 0 0 16 0 22 0 505697172 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 0 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24304] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24304/stat : 24304 (java) S 24277 24280 21275 0 -1 4202560 19 0 0 0 0 0 0 0 17 0 22 0 505697173 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24305] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24305/stat : 24305 (java) S 24277 24280 21275 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 505697173 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24311] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24311/stat : 24311 (java) S 24277 24280 21275 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 505697175 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738228657 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24312] ppid=24277 vsize=15696148 CPUtime=0.85 cores=1,3,5,7
/proc/24280/task/24312/stat : 24312 (java) S 24277 24280 21275 0 -1 4202560 12124 0 0 0 84 1 0 0 16 0 22 0 505697175 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 7 0 0 0
[pid=24280/tid=24313] ppid=24277 vsize=15696148 CPUtime=1.38 cores=1,3,5,7
/proc/24280/task/24313/stat : 24313 (java) S 24277 24280 21275 0 -1 4202560 9424 0 0 0 137 1 0 0 15 0 22 0 505697175 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24314] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24314/stat : 24314 (java) S 24277 24280 21275 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 505697175 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24315] ppid=24277 vsize=15696148 CPUtime=0 cores=1,3,5,7
/proc/24280/task/24315/stat : 24315 (java) S 24277 24280 21275 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 505697175 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738221568 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24320] ppid=24277 vsize=15696148 CPUtime=1191.54 cores=1,3,5,7
/proc/24280/task/24320/stat : 24320 (java) S 24277 24280 21275 0 -1 4202560 169979 0 0 0 119119 35 0 0 25 0 22 0 505697204 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24321] ppid=24277 vsize=15696148 CPUtime=1191.98 cores=1,3,5,7
/proc/24280/task/24321/stat : 24321 (java) S 24277 24280 21275 0 -1 4202560 162691 0 0 0 119162 36 0 0 25 0 22 0 505697204 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 5 0 0 0
[pid=24280/tid=24322] ppid=24277 vsize=15696148 CPUtime=1192.26 cores=1,3,5,7
/proc/24280/task/24322/stat : 24322 (java) S 24277 24280 21275 0 -1 4202560 165819 0 0 0 119196 30 0 0 25 0 22 0 505697204 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 1 0 0 0
[pid=24280/tid=24323] ppid=24277 vsize=15696148 CPUtime=1192.09 cores=1,3,5,7
/proc/24280/task/24323/stat : 24323 (java) S 24277 24280 21275 0 -1 4202560 168832 0 0 0 119173 36 0 0 25 0 22 0 505697204 16072855552 60811 33554432000 1073741824 1073778376 140735958853888 18446744073709551615 264738220953 0 4 0 16800975 18446604466751137600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 15696148

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

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

Child status: 143
Real time (s): 1207.23
CPU time (s): 4800.13
CPU user time (s): 4796.43
CPU system time (s): 3.70644
CPU usage (%): 397.617
Max. virtual memory (cumulated for all children) (KiB): 15706520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.43
system time used= 3.70644
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1340897
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= 300452
involuntary context switches= 158607

runsolver used 2.02269 second user time and 4.6133 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-30 05:06:56
IDJOB=3311530
IDBENCH=82915
IDSOLVER=1698
FILE ID=node141/3311530-1304132816
RUNJOBID= node141-1304132816-24261
PBS_JOBID= 13170777
Free space on /tmp= 72596 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v80-c7120-S1637697223-097.UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311530-1304132816/watcher-3311530-1304132816 -o /tmp/evaluation-result-3311530-1304132816/solver-3311530-1304132816 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311530-1304132816.cnf -hbr 2

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

MD5SUM BENCH= a7e7ad4822818289e739fae39e69d3b8
RANDOM SEED=1962754139

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21998588 kB
Buffers:       1403416 kB
Cached:        8911468 kB
SwapCached:          4 kB
Active:        2565860 kB
Inactive:      7813008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21998588 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            3124 kB
Writeback:           0 kB
AnonPages:       63816 kB
Mapped:          14868 kB
Slab:           510580 kB
PageTables:       4740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   195492 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= 72596 MiB
End job on node141 at 2011-04-30 05:27:05