Trace number 3311434

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.2 1207.33

General information on the benchmark

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

Solver Data 

0.10/0.11	35:29 INFO : Reading from input HOME/instance-3311434-1304127329.cnf
0.53/0.34	Executor set job limit to 1000000
0.53/0.34	Executor set job limit to 1000000
0.53/0.34	Executor set job limit to 1000000
0.53/0.34	Executor set job limit to 1000000
0.53/0.34	Starting Executor!
0.53/0.34	Starting Executor!
0.53/0.34	Starting Executor!
0.53/0.34	Starting Executor!
0.93/0.58	35:30 INFO : 90 variables remaining out of 90
0.93/0.58	35:30 INFO : 64080 literals remaining out of 64080

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3311434-1304127329/watcher-3311434-1304127329 -o /tmp/evaluation-result-3311434-1304127329/solver-3311434-1304127329 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311434-1304127329.cnf -hbr 2 

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

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


[startup+0 s]
/proc/loadavg: 7.44 7.93 7.97 4/176 17363
/proc/meminfo: memFree=25293308/32951124 swapFree=67111448/67111528
[pid=17363] ppid=17361 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/17363/stat : 17363 (java) S 17361 17363 16699 0 -1 4202496 1412 0 0 0 0 0 0 0 24 0 2 0 505149031 26714112 883 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118571493 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/17363/statm: 6522 885 678 9 0 381 0
[pid=17363/tid=17366] ppid=17361 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (java) S 17361 17363 16699 0 -1 4202560 56 0 0 0 0 0 0 0 25 0 2 0 505149032 26714112 885 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255101845127 0 2147483391 4096 0 18446744071699199166 0 0 -1 2 0 0 0

[startup+0.0796049 s]
/proc/loadavg: 7.44 7.93 7.97 4/176 17363
/proc/meminfo: memFree=25293308/32951124 swapFree=67111448/67111528
[pid=17363] ppid=17361 vsize=15676956 CPUtime=0.07 cores=0,2,4,6
/proc/17363/stat : 17363 (java) S 17361 17363 16699 0 -1 4202496 5107 0 1 0 6 1 0 0 24 0 18 0 505149031 16053202944 4519 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17363/statm: 3919239 4519 2042 9 0 3909958 0
[pid=17363/tid=17366] ppid=17361 vsize=15676956 CPUtime=0.07 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (java) R 17361 17363 16699 0 -1 4202560 3161 0 1 0 6 1 0 0 18 0 18 0 505149032 16053202944 4521 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 47730210346144 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15676956

[startup+0.100578 s]
/proc/loadavg: 7.44 7.93 7.97 4/176 17363
/proc/meminfo: memFree=25293308/32951124 swapFree=67111448/67111528
[pid=17363] ppid=17361 vsize=15676956 CPUtime=0.1 cores=0,2,4,6
/proc/17363/stat : 17363 (java) S 17361 17363 16699 0 -1 4202496 5591 0 1 0 9 1 0 0 24 0 18 0 505149031 16053202944 5002 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17363/statm: 3919239 5002 2116 9 0 3909958 0
[pid=17363/tid=17366] ppid=17361 vsize=15676956 CPUtime=0.08 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (java) R 17361 17363 16699 0 -1 4202560 3456 0 1 0 7 1 0 0 18 0 18 0 505149032 16053202944 5003 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 47730208074276 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676956

[startup+0.300567 s]
/proc/loadavg: 7.44 7.93 7.97 4/176 17363
/proc/meminfo: memFree=25293308/32951124 swapFree=67111448/67111528
[pid=17363] ppid=17361 vsize=15684124 CPUtime=0.53 cores=0,2,4,6
/proc/17363/stat : 17363 (java) S 17361 17363 16699 0 -1 4202496 14387 0 1 0 50 3 0 0 24 0 18 0 505149031 16060542976 13218 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17363/statm: 3921031 13225 2207 9 0 3911750 0
[pid=17363/tid=17366] ppid=17361 vsize=15684124 CPUtime=0.28 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (java) R 17361 17363 16699 0 -1 4202560 9689 0 1 0 26 2 0 0 18 0 18 0 505149032 16060542976 13228 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 46912505640595 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 15684124

[startup+0.701211 s]
/proc/loadavg: 7.44 7.93 7.97 4/176 17363
/proc/meminfo: memFree=25293308/32951124 swapFree=67111448/67111528
[pid=17363] ppid=17361 vsize=15702516 CPUtime=1.53 cores=0,2,4,6
/proc/17363/stat : 17363 (java) S 17361 17363 16699 0 -1 4202496 32457 0 1 0 148 5 0 0 24 0 22 0 505149031 16079376384 27281 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17363/statm: 3925629 27281 2258 9 0 3916348 0
[pid=17363/tid=17366] ppid=17361 vsize=15702516 CPUtime=0.57 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (java) S 17361 17363 16699 0 -1 4202560 16342 0 1 0 54 3 0 0 21 0 22 0 505149032 16079376384 27281 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 15702516

[startup+1.50629 s]
/proc/loadavg: 7.44 7.93 7.97 14/220 17407
/proc/meminfo: memFree=25036228/32951124 swapFree=67111448/67111528
[pid=17363] ppid=17361 vsize=15704016 CPUtime=4.6 cores=0,2,4,6
/proc/17363/stat : 17363 (java) S 17361 17363 16699 0 -1 4202496 61717 0 1 0 450 10 0 0 24 0 22 0 505149031 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17363/statm: 3926004 52855 2274 9 0 3916723 0
[pid=17363/tid=17366] ppid=17361 vsize=15704016 CPUtime=0.57 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (java) S 17361 17363 16699 0 -1 4202560 16342 0 1 0 54 3 0 0 21 0 22 0 505149032 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17376] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17376/stat : 17376 (java) S 17361 17363 16699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 505149032 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17377] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17377/stat : 17377 (java) S 17361 17363 16699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 505149032 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17378] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17378/stat : 17378 (java) S 17361 17363 16699 0 -1 4202560 597 0 0 0 0 0 0 0 16 0 22 0 505149032 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17379] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17379/stat : 17379 (java) S 17361 17363 16699 0 -1 4202560 782 0 0 0 0 0 0 0 16 0 22 0 505149032 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17380] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17380/stat : 17380 (java) S 17361 17363 16699 0 -1 4202560 270 0 0 0 0 0 0 0 16 0 22 0 505149032 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 0 0 0 0
[pid=17363/tid=17381] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17381/stat : 17381 (java) S 17361 17363 16699 0 -1 4202560 1181 0 0 0 0 0 0 0 16 0 22 0 505149032 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 0 0 0 0
[pid=17363/tid=17382] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17382/stat : 17382 (java) S 17361 17363 16699 0 -1 4202560 1822 0 0 0 0 0 0 0 16 0 22 0 505149032 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17383] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17383/stat : 17383 (java) S 17361 17363 16699 0 -1 4202560 1131 0 0 0 0 0 0 0 16 0 22 0 505149032 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17385] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17385/stat : 17385 (java) S 17361 17363 16699 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 505149033 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118585344 0 0 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17388] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17388/stat : 17388 (java) S 17361 17363 16699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 505149034 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17389] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17389/stat : 17389 (java) S 17361 17363 16699 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 505149034 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17392] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17392/stat : 17392 (java) S 17361 17363 16699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505149036 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118592433 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17393] ppid=17361 vsize=15704016 CPUtime=0.81 cores=0,2,4,6
/proc/17363/task/17393/stat : 17393 (java) S 17361 17363 16699 0 -1 4202560 7737 0 0 0 81 0 0 0 15 0 22 0 505149036 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17396] ppid=17361 vsize=15704016 CPUtime=0.9 cores=0,2,4,6
/proc/17363/task/17396/stat : 17396 (java) R 17361 17363 16699 0 -1 4202560 11334 0 0 0 89 1 0 0 15 0 22 0 505149036 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 47730206813600 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17363/tid=17398] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17398/stat : 17398 (java) S 17361 17363 16699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505149036 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17399] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17399/stat : 17399 (java) S 17361 17363 16699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 505149036 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118585344 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17404] ppid=17361 vsize=15704016 CPUtime=0.6 cores=0,2,4,6
/proc/17363/task/17404/stat : 17404 (java) R 17361 17363 16699 0 -1 4202560 5850 0 0 0 60 0 0 0 16 0 22 0 505149066 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 47730211033958 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17363/tid=17405] ppid=17361 vsize=15704016 CPUtime=0.49 cores=0,2,4,6
/proc/17363/task/17405/stat : 17405 (java) R 17361 17363 16699 0 -1 4202560 6237 0 0 0 49 0 0 0 16 0 22 0 505149066 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17363/tid=17406] ppid=17361 vsize=15704016 CPUtime=0.58 cores=0,2,4,6
/proc/17363/task/17406/stat : 17406 (java) R 17361 17363 16699 0 -1 4202560 2894 0 0 0 58 0 0 0 16 0 22 0 505149066 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 46912505867499 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17363/tid=17407] ppid=17361 vsize=15704016 CPUtime=0.55 cores=0,2,4,6
/proc/17363/task/17407/stat : 17407 (java) R 17361 17363 16699 0 -1 4202560 4142 0 0 0 55 0 0 0 17 0 22 0 505149066 16080912384 52855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 46912505919965 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 15704016

[startup+3.10101 s]
/proc/loadavg: 7.44 7.93 7.97 12/220 17407
/proc/meminfo: memFree=24816220/32951124 swapFree=67111448/67111528
[pid=17363] ppid=17361 vsize=15704016 CPUtime=10.95 cores=0,2,4,6
/proc/17363/stat : 17363 (java) S 17361 17363 16699 0 -1 4202496 124173 0 1 0 1076 19 0 0 24 0 22 0 505149031 16080912384 114842 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17363/statm: 3926004 114845 2284 9 0 3916723 0
[pid=17363/tid=17366] ppid=17361 vsize=15704016 CPUtime=0.57 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (java) S 17361 17363 16699 0 -1 4202560 16342 0 1 0 54 3 0 0 21 0 22 0 505149032 16080912384 114846 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17376] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17376/stat : 17376 (java) S 17361 17363 16699 0 -1 4202560 3920 0 0 0 0 0 0 0 16 0 22 0 505149032 16080912384 114847 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17377] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17377/stat : 17377 (java) S 17361 17363 16699 0 -1 4202560 1286 0 0 0 0 0 0 0 16 0 22 0 505149032 16080912384 114848 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17378] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17378/stat : 17378 (java) S 17361 17363 16699 0 -1 4202560 2790 0 0 0 0 0 0 0 16 0 22 0 505149032 16080912384 114849 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17379] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17379/stat : 17379 (java) S 17361 17363 16699 0 -1 4202560 1784 0 0 0 0 0 0 0 16 0 22 0 505149032 16080912384 114851 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 0 0 0 0
[pid=17363/tid=17380] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17380/stat : 17380 (java) S 17361 17363 16699 0 -1 4202560 1452 0 0 0 0 0 0 0 15 0 22 0 505149032 16080912384 114852 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17381] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17381/stat : 17381 (java) S 17361 17363 16699 0 -1 4202560 2027 0 0 0 0 0 0 0 15 0 22 0 505149032 16080912384 114853 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 0 0 0 0
[pid=17363/tid=17382] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17382/stat : 17382 (java) S 17361 17363 16699 0 -1 4202560 3214 0 0 0 0 0 0 0 15 0 22 0 505149032 16080912384 114855 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17383] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17383/stat : 17383 (java) S 17361 17363 16699 0 -1 4202560 2592 0 0 0 0 0 0 0 15 0 22 0 505149032 16080912384 114856 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17385] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17385/stat : 17385 (java) S 17361 17363 16699 0 -1 4202560 197 0 0 0 0 0 0 0 16 0 22 0 505149033 16080912384 114858 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118585344 0 0 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17388] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17388/stat : 17388 (java) S 17361 17363 16699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 505149034 16080912384 114859 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17389] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17389/stat : 17389 (java) S 17361 17363 16699 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 505149034 16080912384 114860 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17392] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17392/stat : 17392 (java) S 17361 17363 16699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505149036 16080912384 114861 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118592433 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17393] ppid=17361 vsize=15704016 CPUtime=0.87 cores=0,2,4,6
/proc/17363/task/17393/stat : 17393 (java) S 17361 17363 16699 0 -1 4202560 8225 0 0 0 87 0 0 0 15 0 22 0 505149036 16080912384 114869 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17396] ppid=17361 vsize=15704016 CPUtime=1.05 cores=0,2,4,6
/proc/17363/task/17396/stat : 17396 (java) S 17361 17363 16699 0 -1 4202560 11374 0 0 0 104 1 0 0 15 0 22 0 505149036 16080912384 114876 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17398] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17398/stat : 17398 (java) S 17361 17363 16699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505149036 16080912384 114878 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17399] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17399/stat : 17399 (java) S 17361 17363 16699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 505149036 16080912384 114882 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118585344 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17404] ppid=17361 vsize=15704016 CPUtime=2.18 cores=0,2,4,6
/proc/17363/task/17404/stat : 17404 (java) R 17361 17363 16699 0 -1 4202560 17999 0 0 0 216 2 0 0 17 0 22 0 505149066 16080912384 114884 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 46912505820374 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17363/tid=17405] ppid=17361 vsize=15704016 CPUtime=1.9 cores=0,2,4,6
/proc/17363/task/17405/stat : 17405 (java) R 17361 17363 16699 0 -1 4202560 17575 0 0 0 189 1 0 0 17 0 22 0 505149066 16080912384 114886 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 46912505971726 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17363/tid=17406] ppid=17361 vsize=15704016 CPUtime=2.16 cores=0,2,4,6
/proc/17363/task/17406/stat : 17406 (java) R 17361 17363 16699 0 -1 4202560 15180 0 0 0 214 2 0 0 17 0 22 0 505149066 16080912384 114888 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 46912506116806 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17363/tid=17407] ppid=17361 vsize=15704016 CPUtime=2.06 cores=0,2,4,6
/proc/17363/task/17407/stat : 17407 (java) R 17361 17363 16699 0 -1 4202560 16874 0 0 0 205 1 0 0 19 0 22 0 505149066 16080912384 114890 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 46912505942385 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.95
Current children cumulated vsize (KiB) 15704016

[startup+6.30145 s]
/proc/loadavg: 7.64 7.97 7.98 10/220 17407
/proc/meminfo: memFree=24361768/32951124 swapFree=67111448/67111528
[pid=17363] ppid=17361 vsize=15704016 CPUtime=23.71 cores=0,2,4,6
/proc/17363/stat : 17363 (java) S 17361 17363 16699 0 -1 4202496 162858 0 1 0 2346 25 0 0 24 0 22 0 505149031 16080912384 152380 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17363/statm: 3926004 152380 2284 9 0 3916723 0
[pid=17363/tid=17366] ppid=17361 vsize=15704016 CPUtime=0.57 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (java) S 17361 17363 16699 0 -1 4202560 16342 0 1 0 54 3 0 0 21 0 22 0 505149032 16080912384 152380 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17376] ppid=17361 vsize=15704016 CPUtime=0.01 cores=0,2,4,6
/proc/17363/task/17376/stat : 17376 (java) S 17361 17363 16699 0 -1 4202560 4246 0 0 0 1 0 0 0 15 0 22 0 505149032 16080912384 152380 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17377] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17377/stat : 17377 (java) S 17361 17363 16699 0 -1 4202560 2315 0 0 0 0 0 0 0 15 0 22 0 505149032 16080912384 152380 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 0 0 0 0
[pid=17363/tid=17378] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17378/stat : 17378 (java) S 17361 17363 16699 0 -1 4202560 3512 0 0 0 0 0 0 0 15 0 22 0 505149032 16080912384 152380 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17379] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17379/stat : 17379 (java) S 17361 17363 16699 0 -1 4202560 1846 0 0 0 0 0 0 0 15 0 22 0 505149032 16080912384 152380 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17380] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17380/stat : 17380 (java) S 17361 17363 16699 0 -1 4202560 1670 0 0 0 0 0 0 0 15 0 22 0 505149032 16080912384 152380 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17381] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17381/stat : 17381 (java) S 17361 17363 16699 0 -1 4202560 2147 0 0 0 0 0 0 0 15 0 22 0 505149032 16080912384 152380 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17382] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17382/stat : 17382 (java) S 17361 17363 16699 0 -1 4202560 4586 0 0 0 0 0 0 0 15 0 22 0 505149032 16080912384 152380 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 0 0 0 0
[pid=17363/tid=17383] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17383/stat : 17383 (java) S 17361 17363 16699 0 -1 4202560 4054 0 0 0 0 0 0 0 15 0 22 0 505149032 16080912384 152380 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0

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

[pid=17363/tid=17405] ppid=17361 vsize=15704016 CPUtime=1107.48 cores=0,2,4,6
/proc/17363/task/17405/stat : 17405 (java) R 17361 17363 16699 0 -1 4202560 159911 0 0 0 110718 30 0 0 19 0 22 0 505149066 16080912384 64049 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 46912505866879 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17363/tid=17406] ppid=17361 vsize=15704016 CPUtime=1108.05 cores=0,2,4,6
/proc/17363/task/17406/stat : 17406 (java) R 17361 17363 16699 0 -1 4202560 159731 0 0 0 110774 31 0 0 25 0 22 0 505149066 16080912384 64049 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 46912505784603 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17363/tid=17407] ppid=17361 vsize=15704016 CPUtime=1108.05 cores=0,2,4,6
/proc/17363/task/17407/stat : 17407 (java) R 17361 17363 16699 0 -1 4202560 159242 0 0 0 110773 32 0 0 25 0 22 0 505149066 16080912384 64049 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 46912505746219 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4462.15
Current children cumulated vsize (KiB) 15704016

[startup+1182.3 s]
/proc/loadavg: 8.17 8.11 8.02 11/220 17438
/proc/meminfo: memFree=24641024/32951124 swapFree=67111448/67111528
[pid=17363] ppid=17361 vsize=15704016 CPUtime=4700.73 cores=0,2,4,6
/proc/17363/stat : 17363 (java) S 17361 17363 16699 0 -1 4202496 1322758 0 1 0 469727 346 0 0 24 0 22 0 505149031 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17363/statm: 3926004 69258 2298 9 0 3916723 0
[pid=17363/tid=17366] ppid=17361 vsize=15704016 CPUtime=0.57 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (java) S 17361 17363 16699 0 -1 4202560 16342 0 1 0 54 3 0 0 21 0 22 0 505149032 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17376] ppid=17361 vsize=15704016 CPUtime=3.35 cores=0,2,4,6
/proc/17363/task/17376/stat : 17376 (java) S 17361 17363 16699 0 -1 4202560 73879 0 0 0 319 16 0 0 15 0 22 0 505149032 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17377] ppid=17361 vsize=15704016 CPUtime=3.23 cores=0,2,4,6
/proc/17363/task/17377/stat : 17377 (java) S 17361 17363 16699 0 -1 4202560 71869 0 0 0 305 18 0 0 16 0 22 0 505149032 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17378] ppid=17361 vsize=15704016 CPUtime=3.3 cores=0,2,4,6
/proc/17363/task/17378/stat : 17378 (java) S 17361 17363 16699 0 -1 4202560 74909 0 0 0 313 17 0 0 15 0 22 0 505149032 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17379] ppid=17361 vsize=15704016 CPUtime=3.34 cores=0,2,4,6
/proc/17363/task/17379/stat : 17379 (java) S 17361 17363 16699 0 -1 4202560 74178 0 0 0 316 18 0 0 16 0 22 0 505149032 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 0 0 0 0
[pid=17363/tid=17380] ppid=17361 vsize=15704016 CPUtime=3.35 cores=0,2,4,6
/proc/17363/task/17380/stat : 17380 (java) S 17361 17363 16699 0 -1 4202560 75551 0 0 0 318 17 0 0 15 0 22 0 505149032 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17381] ppid=17361 vsize=15704016 CPUtime=3.29 cores=0,2,4,6
/proc/17363/task/17381/stat : 17381 (java) S 17361 17363 16699 0 -1 4202560 78170 0 0 0 314 15 0 0 16 0 22 0 505149032 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 0 0 0 0
[pid=17363/tid=17382] ppid=17361 vsize=15704016 CPUtime=3.3 cores=0,2,4,6
/proc/17363/task/17382/stat : 17382 (java) S 17361 17363 16699 0 -1 4202560 77359 0 0 0 314 16 0 0 15 0 22 0 505149032 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17383] ppid=17361 vsize=15704016 CPUtime=3.29 cores=0,2,4,6
/proc/17363/task/17383/stat : 17383 (java) S 17361 17363 16699 0 -1 4202560 72995 0 0 0 310 19 0 0 15 0 22 0 505149032 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17385] ppid=17361 vsize=15704016 CPUtime=2.18 cores=0,2,4,6
/proc/17363/task/17385/stat : 17385 (java) S 17361 17363 16699 0 -1 4202560 3596 0 0 0 153 65 0 0 16 0 22 0 505149033 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118585344 0 0 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17388] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17388/stat : 17388 (java) S 17361 17363 16699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 505149034 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17389] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17389/stat : 17389 (java) S 17361 17363 16699 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 505149034 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17392] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17392/stat : 17392 (java) S 17361 17363 16699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505149036 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118592433 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17393] ppid=17361 vsize=15704016 CPUtime=1.04 cores=0,2,4,6
/proc/17363/task/17393/stat : 17393 (java) S 17361 17363 16699 0 -1 4202560 8722 0 0 0 104 0 0 0 15 0 22 0 505149036 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17396] ppid=17361 vsize=15704016 CPUtime=1.11 cores=0,2,4,6
/proc/17363/task/17396/stat : 17396 (java) S 17361 17363 16699 0 -1 4202560 11388 0 0 0 110 1 0 0 15 0 22 0 505149036 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17398] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17398/stat : 17398 (java) S 17361 17363 16699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505149036 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17399] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17399/stat : 17399 (java) S 17361 17363 16699 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 505149036 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118585344 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17404] ppid=17361 vsize=15704016 CPUtime=1167.71 cores=0,2,4,6
/proc/17363/task/17404/stat : 17404 (java) R 17361 17363 16699 0 -1 4202560 170632 0 0 0 116741 30 0 0 25 0 22 0 505149066 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 46912505937837 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17363/tid=17405] ppid=17361 vsize=15704016 CPUtime=1166.83 cores=0,2,4,6
/proc/17363/task/17405/stat : 17405 (java) R 17361 17363 16699 0 -1 4202560 171154 0 0 0 116651 32 0 0 25 0 22 0 505149066 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 46912505790827 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17363/tid=17406] ppid=17361 vsize=15704016 CPUtime=1167.24 cores=0,2,4,6
/proc/17363/task/17406/stat : 17406 (java) R 17361 17363 16699 0 -1 4202560 170374 0 0 0 116690 34 0 0 25 0 22 0 505149066 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 46912505601504 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17363/tid=17407] ppid=17361 vsize=15704016 CPUtime=1167.42 cores=0,2,4,6
/proc/17363/task/17407/stat : 17407 (java) R 17361 17363 16699 0 -1 4202560 170188 0 0 0 116708 34 0 0 25 0 22 0 505149066 16080912384 69258 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 46912505784542 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4700.73
Current children cumulated vsize (KiB) 15704016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.3 s]
/proc/loadavg: 8.11 8.10 8.02 9/220 17439
/proc/meminfo: memFree=24660072/32951124 swapFree=67111448/67111528
[pid=17363] ppid=17361 vsize=15704016 CPUtime=4800.15 cores=0,2,4,6
/proc/17363/stat : 17363 (java) S 17361 17363 16699 0 -1 4202496 1352353 0 1 0 479661 354 0 0 24 0 22 0 505149031 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17363/statm: 3926004 73912 2298 9 0 3916723 0
[pid=17363/tid=17366] ppid=17361 vsize=15704016 CPUtime=0.57 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (java) S 17361 17363 16699 0 -1 4202560 16342 0 1 0 54 3 0 0 21 0 22 0 505149032 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17376] ppid=17361 vsize=15704016 CPUtime=3.41 cores=0,2,4,6
/proc/17363/task/17376/stat : 17376 (java) S 17361 17363 16699 0 -1 4202560 75217 0 0 0 325 16 0 0 15 0 22 0 505149032 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17377] ppid=17361 vsize=15704016 CPUtime=3.29 cores=0,2,4,6
/proc/17363/task/17377/stat : 17377 (java) S 17361 17363 16699 0 -1 4202560 73192 0 0 0 311 18 0 0 16 0 22 0 505149032 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17378] ppid=17361 vsize=15704016 CPUtime=3.38 cores=0,2,4,6
/proc/17363/task/17378/stat : 17378 (java) S 17361 17363 16699 0 -1 4202560 75880 0 0 0 320 18 0 0 16 0 22 0 505149032 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17379] ppid=17361 vsize=15704016 CPUtime=3.4 cores=0,2,4,6
/proc/17363/task/17379/stat : 17379 (java) S 17361 17363 16699 0 -1 4202560 75013 0 0 0 322 18 0 0 15 0 22 0 505149032 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17380] ppid=17361 vsize=15704016 CPUtime=3.41 cores=0,2,4,6
/proc/17363/task/17380/stat : 17380 (java) S 17361 17363 16699 0 -1 4202560 76321 0 0 0 324 17 0 0 16 0 22 0 505149032 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17381] ppid=17361 vsize=15704016 CPUtime=3.37 cores=0,2,4,6
/proc/17363/task/17381/stat : 17381 (java) S 17361 17363 16699 0 -1 4202560 79475 0 0 0 321 16 0 0 16 0 22 0 505149032 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17382] ppid=17361 vsize=15704016 CPUtime=3.37 cores=0,2,4,6
/proc/17363/task/17382/stat : 17382 (java) S 17361 17363 16699 0 -1 4202560 78386 0 0 0 321 16 0 0 16 0 22 0 505149032 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 0 0 0 0
[pid=17363/tid=17383] ppid=17361 vsize=15704016 CPUtime=3.35 cores=0,2,4,6
/proc/17363/task/17383/stat : 17383 (java) S 17361 17363 16699 0 -1 4202560 74309 0 0 0 316 19 0 0 15 0 22 0 505149032 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17385] ppid=17361 vsize=15704016 CPUtime=2.23 cores=0,2,4,6
/proc/17363/task/17385/stat : 17385 (java) S 17361 17363 16699 0 -1 4202560 3728 0 0 0 156 67 0 0 15 0 22 0 505149033 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118585344 0 0 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17388] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17388/stat : 17388 (java) S 17361 17363 16699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 505149034 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17389] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17389/stat : 17389 (java) S 17361 17363 16699 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 505149034 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17392] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17392/stat : 17392 (java) S 17361 17363 16699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505149036 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118592433 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17393] ppid=17361 vsize=15704016 CPUtime=1.04 cores=0,2,4,6
/proc/17363/task/17393/stat : 17393 (java) S 17361 17363 16699 0 -1 4202560 8722 0 0 0 104 0 0 0 15 0 22 0 505149036 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17396] ppid=17361 vsize=15704016 CPUtime=1.11 cores=0,2,4,6
/proc/17363/task/17396/stat : 17396 (java) S 17361 17363 16699 0 -1 4202560 11388 0 0 0 110 1 0 0 15 0 22 0 505149036 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17398] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17398/stat : 17398 (java) S 17361 17363 16699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505149036 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17399] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17399/stat : 17399 (java) S 17361 17363 16699 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 505149036 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118585344 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17404] ppid=17361 vsize=15704016 CPUtime=1192.46 cores=0,2,4,6
/proc/17363/task/17404/stat : 17404 (java) R 17361 17363 16699 0 -1 4202560 175474 0 0 0 119215 31 0 0 25 0 22 0 505149066 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 46912505867849 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17363/tid=17405] ppid=17361 vsize=15704016 CPUtime=1191.54 cores=0,2,4,6
/proc/17363/task/17405/stat : 17405 (java) R 17361 17363 16699 0 -1 4202560 176561 0 0 0 119120 34 0 0 18 0 22 0 505149066 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 47730211033419 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17363/tid=17406] ppid=17361 vsize=15704016 CPUtime=1191.94 cores=0,2,4,6
/proc/17363/task/17406/stat : 17406 (java) R 17361 17363 16699 0 -1 4202560 175586 0 0 0 119160 34 0 0 25 0 22 0 505149066 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 46912505898712 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17363/tid=17407] ppid=17361 vsize=15704016 CPUtime=1192.08 cores=0,2,4,6
/proc/17363/task/17407/stat : 17407 (java) R 17361 17363 16699 0 -1 4202560 175305 0 0 0 119173 35 0 0 25 0 22 0 505149066 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 47730211035174 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 15704016

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

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

[startup+1207.3 s]
/proc/loadavg: 8.11 8.10 8.02 9/220 17439
/proc/meminfo: memFree=24660072/32951124 swapFree=67111448/67111528
[pid=17363] ppid=17361 vsize=15704016 CPUtime=4800.15 cores=0,2,4,6
/proc/17363/stat : 17363 (java) S 17361 17363 16699 0 -1 4202496 1352353 0 1 0 479661 354 0 0 24 0 22 0 505149031 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17363/statm: 3926004 73912 2298 9 0 3916723 0
[pid=17363/tid=17366] ppid=17361 vsize=15704016 CPUtime=0.57 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (java) S 17361 17363 16699 0 -1 4202560 16342 0 1 0 54 3 0 0 21 0 22 0 505149032 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17376] ppid=17361 vsize=15704016 CPUtime=3.41 cores=0,2,4,6
/proc/17363/task/17376/stat : 17376 (java) S 17361 17363 16699 0 -1 4202560 75217 0 0 0 325 16 0 0 15 0 22 0 505149032 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17377] ppid=17361 vsize=15704016 CPUtime=3.29 cores=0,2,4,6
/proc/17363/task/17377/stat : 17377 (java) S 17361 17363 16699 0 -1 4202560 73192 0 0 0 311 18 0 0 16 0 22 0 505149032 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17378] ppid=17361 vsize=15704016 CPUtime=3.38 cores=0,2,4,6
/proc/17363/task/17378/stat : 17378 (java) S 17361 17363 16699 0 -1 4202560 75880 0 0 0 320 18 0 0 16 0 22 0 505149032 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17379] ppid=17361 vsize=15704016 CPUtime=3.4 cores=0,2,4,6
/proc/17363/task/17379/stat : 17379 (java) S 17361 17363 16699 0 -1 4202560 75013 0 0 0 322 18 0 0 15 0 22 0 505149032 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17380] ppid=17361 vsize=15704016 CPUtime=3.41 cores=0,2,4,6
/proc/17363/task/17380/stat : 17380 (java) S 17361 17363 16699 0 -1 4202560 76321 0 0 0 324 17 0 0 16 0 22 0 505149032 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17381] ppid=17361 vsize=15704016 CPUtime=3.37 cores=0,2,4,6
/proc/17363/task/17381/stat : 17381 (java) S 17361 17363 16699 0 -1 4202560 79475 0 0 0 321 16 0 0 16 0 22 0 505149032 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17382] ppid=17361 vsize=15704016 CPUtime=3.37 cores=0,2,4,6
/proc/17363/task/17382/stat : 17382 (java) S 17361 17363 16699 0 -1 4202560 78386 0 0 0 321 16 0 0 16 0 22 0 505149032 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 0 0 0 0
[pid=17363/tid=17383] ppid=17361 vsize=15704016 CPUtime=3.35 cores=0,2,4,6
/proc/17363/task/17383/stat : 17383 (java) S 17361 17363 16699 0 -1 4202560 74309 0 0 0 316 19 0 0 15 0 22 0 505149032 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17385] ppid=17361 vsize=15704016 CPUtime=2.23 cores=0,2,4,6
/proc/17363/task/17385/stat : 17385 (java) S 17361 17363 16699 0 -1 4202560 3728 0 0 0 156 67 0 0 15 0 22 0 505149033 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118585344 0 0 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17388] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17388/stat : 17388 (java) S 17361 17363 16699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 505149034 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17389] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17389/stat : 17389 (java) S 17361 17363 16699 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 505149034 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 4 0 0 0
[pid=17363/tid=17392] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17392/stat : 17392 (java) S 17361 17363 16699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505149036 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118592433 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17393] ppid=17361 vsize=15704016 CPUtime=1.04 cores=0,2,4,6
/proc/17363/task/17393/stat : 17393 (java) S 17361 17363 16699 0 -1 4202560 8722 0 0 0 104 0 0 0 15 0 22 0 505149036 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17396] ppid=17361 vsize=15704016 CPUtime=1.11 cores=0,2,4,6
/proc/17363/task/17396/stat : 17396 (java) S 17361 17363 16699 0 -1 4202560 11388 0 0 0 110 1 0 0 15 0 22 0 505149036 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17398] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17398/stat : 17398 (java) S 17361 17363 16699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505149036 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118584729 0 4 0 16800975 18446604453956828096 0 0 -1 2 0 0 0
[pid=17363/tid=17399] ppid=17361 vsize=15704016 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17399/stat : 17399 (java) S 17361 17363 16699 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 505149036 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 255118585344 0 4 0 16800975 18446604453956828096 0 0 -1 6 0 0 0
[pid=17363/tid=17404] ppid=17361 vsize=15704016 CPUtime=1192.46 cores=0,2,4,6
/proc/17363/task/17404/stat : 17404 (java) R 17361 17363 16699 0 -1 4202560 175474 0 0 0 119215 31 0 0 25 0 22 0 505149066 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 46912505867849 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17363/tid=17405] ppid=17361 vsize=15704016 CPUtime=1191.54 cores=0,2,4,6
/proc/17363/task/17405/stat : 17405 (java) R 17361 17363 16699 0 -1 4202560 176561 0 0 0 119120 34 0 0 18 0 22 0 505149066 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 47730211033419 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17363/tid=17406] ppid=17361 vsize=15704016 CPUtime=1191.94 cores=0,2,4,6
/proc/17363/task/17406/stat : 17406 (java) R 17361 17363 16699 0 -1 4202560 175586 0 0 0 119160 34 0 0 25 0 22 0 505149066 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 46912505898712 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17363/tid=17407] ppid=17361 vsize=15704016 CPUtime=1192.08 cores=0,2,4,6
/proc/17363/task/17407/stat : 17407 (java) R 17361 17363 16699 0 -1 4202560 175305 0 0 0 119173 35 0 0 25 0 22 0 505149066 16080912384 73912 33554432000 1073741824 1073778376 140734714705680 18446744073709551615 47730211035174 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 15704016

Child status: 143
Real time (s): 1207.33
CPU time (s): 4800.2
CPU user time (s): 4796.64
CPU system time (s): 3.55646
CPU usage (%): 397.588
Max. virtual memory (cumulated for all children) (KiB): 15706524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.64
system time used= 3.55646
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1352381
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= 299284
involuntary context switches= 158586

runsolver used 2.01369 second user time and 4.64229 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-30 03:35:29
IDJOB=3311434
IDBENCH=82819
IDSOLVER=1698
FILE ID=node144/3311434-1304127329
RUNJOBID= node144-1304127329-17344
PBS_JOBID= 13170730
Free space on /tmp= 72408 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311434-1304127329/watcher-3311434-1304127329 -o /tmp/evaluation-result-3311434-1304127329/solver-3311434-1304127329 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311434-1304127329.cnf -hbr 2

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

MD5SUM BENCH= 8dc696d26aef2000e5a242477bc06639
RANDOM SEED=2116210196

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25293712 kB
Buffers:       2110368 kB
Cached:        4938920 kB
SwapCached:         80 kB
Active:         174516 kB
Inactive:      6938592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25293712 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            3164 kB
Writeback:           8 kB
AnonPages:       62908 kB
Mapped:          14776 kB
Slab:           480540 kB
PageTables:       4972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   195020 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= 72408 MiB
End job on node144 at 2011-04-30 03:55:38