Trace number 3311578

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.11 1207.34

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf
MD5SUMafacdefc4a366ba0b827e7e74ce8af4c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.007998
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.12	07:34 INFO : Reading from input HOME/instance-3311578-1304136454.cnf
0.27/0.24	Executor set job limit to 1000000
0.27/0.24	Executor set job limit to 1000000
0.27/0.24	Executor set job limit to 1000000
0.27/0.24	Executor set job limit to 1000000
0.27/0.24	Starting Executor!
0.27/0.24	Starting Executor!
0.27/0.24	Starting Executor!
0.27/0.25	Starting Executor!
0.48/0.35	07:34 INFO : 448 variables remaining out of 450
0.48/0.35	07:34 INFO : 7616 literals remaining out of 7668

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3311578-1304136454/watcher-3311578-1304136454 -o /tmp/evaluation-result-3311578-1304136454/solver-3311578-1304136454 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311578-1304136454.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.24 7.91 7.94 3/176 24698
/proc/meminfo: memFree=21997388/32951124 swapFree=67111524/67111528
[pid=24696] ppid=24693 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/24696/stat : 24696 (java) S 24693 24696 21275 0 -1 4202496 667 0 0 0 0 0 0 0 22 0 1 0 506060985 9318400 156 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264721481351 0 2147483391 4096 0 18446744071699207358 0 0 17 4 0 0 0
/proc/24696/statm: 2275 156 126 9 0 67 0

[startup+0.0755279 s]
/proc/loadavg: 7.24 7.91 7.94 3/176 24698
/proc/meminfo: memFree=21997388/32951124 swapFree=67111524/67111528
[pid=24696] ppid=24693 vsize=15609780 CPUtime=0.06 cores=0,2,4,6
/proc/24696/stat : 24696 (java) S 24693 24696 21275 0 -1 4202496 4401 0 1 0 5 1 0 0 22 0 18 0 506060985 15984414720 3841 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24696/statm: 3902445 3841 1779 9 0 3893164 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15609780

[startup+0.100501 s]
/proc/loadavg: 7.24 7.91 7.94 3/176 24698
/proc/meminfo: memFree=21997388/32951124 swapFree=67111524/67111528
[pid=24696] ppid=24693 vsize=15676960 CPUtime=0.1 cores=0,2,4,6
/proc/24696/stat : 24696 (java) S 24693 24696 21275 0 -1 4202496 5530 0 1 0 9 1 0 0 22 0 18 0 506060985 16053207040 4956 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24696/statm: 3919240 4956 2115 9 0 3909959 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676960

[startup+0.306481 s]
/proc/loadavg: 7.24 7.91 7.94 3/176 24698
/proc/meminfo: memFree=21997388/32951124 swapFree=67111524/67111528
[pid=24696] ppid=24693 vsize=15686116 CPUtime=0.48 cores=0,2,4,6
/proc/24696/stat : 24696 (java) S 24693 24696 21275 0 -1 4202496 9924 0 1 0 47 1 0 0 22 0 22 0 506060985 16062582784 8936 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24696/statm: 3921529 8937 2211 9 0 3912248 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 15686116

[startup+1.21695 s]
/proc/loadavg: 7.24 7.91 7.94 3/176 24698
/proc/meminfo: memFree=21997388/32951124 swapFree=67111524/67111528
[pid=24696] ppid=24693 vsize=15706200 CPUtime=3.96 cores=0,2,4,6
/proc/24696/stat : 24696 (java) S 24693 24696 21275 0 -1 4202496 55525 0 1 0 388 8 0 0 22 0 22 0 506060985 16083148800 49253 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24696/statm: 3926550 49253 2267 9 0 3917269 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 15706200

[startup+1.50017 s]
/proc/loadavg: 7.24 7.91 7.94 3/176 24698
/proc/meminfo: memFree=21997388/32951124 swapFree=67111524/67111528
[pid=24696] ppid=24693 vsize=15706200 CPUtime=5.09 cores=0,2,4,6
/proc/24696/stat : 24696 (java) S 24693 24696 21275 0 -1 4202496 57557 0 1 0 501 8 0 0 22 0 22 0 506060985 16083148800 51277 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24696/statm: 3926550 51277 2270 9 0 3917269 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 15706200

[startup+3.10087 s]
/proc/loadavg: 7.24 7.91 7.94 10/220 24743
/proc/meminfo: memFree=21282112/32951124 swapFree=67111524/67111528
[pid=24696] ppid=24693 vsize=15703416 CPUtime=11.46 cores=0,2,4,6
/proc/24696/stat : 24696 (java) S 24693 24696 21275 0 -1 4202496 154819 0 1 0 1126 20 0 0 22 0 22 0 506060985 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24696/statm: 3925854 144838 2276 9 0 3916573 0
[pid=24696/tid=24701] ppid=24693 vsize=15703416 CPUtime=0.34 cores=0,2,4,6
/proc/24696/task/24701/stat : 24701 (java) S 24693 24696 21275 0 -1 4202560 6052 0 1 0 33 1 0 0 18 0 22 0 506060986 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 0 0 0 0
[pid=24696/tid=24703] ppid=24693 vsize=15703416 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24703/stat : 24703 (java) S 24693 24696 21275 0 -1 4202560 697 0 0 0 0 0 0 0 15 0 22 0 506060987 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24705] ppid=24693 vsize=15703416 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24705/stat : 24705 (java) S 24693 24696 21275 0 -1 4202560 953 0 0 0 0 0 0 0 15 0 22 0 506060987 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 0 0 0 0
[pid=24696/tid=24707] ppid=24693 vsize=15703416 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24707/stat : 24707 (java) S 24693 24696 21275 0 -1 4202560 1297 0 0 0 0 0 0 0 16 0 22 0 506060987 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24709] ppid=24693 vsize=15703416 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24709/stat : 24709 (java) S 24693 24696 21275 0 -1 4202560 791 0 0 0 0 0 0 0 15 0 22 0 506060987 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24711] ppid=24693 vsize=15703416 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24711/stat : 24711 (java) S 24693 24696 21275 0 -1 4202560 2585 0 0 0 0 0 0 0 15 0 22 0 506060987 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 0 0 0 0
[pid=24696/tid=24712] ppid=24693 vsize=15703416 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24712/stat : 24712 (java) S 24693 24696 21275 0 -1 4202560 1137 0 0 0 0 0 0 0 16 0 22 0 506060987 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 2 0 0 0
[pid=24696/tid=24714] ppid=24693 vsize=15703416 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24714/stat : 24714 (java) S 24693 24696 21275 0 -1 4202560 881 0 0 0 0 0 0 0 15 0 22 0 506060987 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 2 0 0 0
[pid=24696/tid=24716] ppid=24693 vsize=15703416 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24716/stat : 24716 (java) S 24693 24696 21275 0 -1 4202560 813 0 0 0 0 0 0 0 16 0 22 0 506060987 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24719] ppid=24693 vsize=15703416 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24719/stat : 24719 (java) S 24693 24696 21275 0 -1 4202560 186 0 0 0 0 0 0 0 15 0 22 0 506060988 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738221568 0 0 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24721] ppid=24693 vsize=15703416 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24721/stat : 24721 (java) S 24693 24696 21275 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 506060988 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24723] ppid=24693 vsize=15703416 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24723/stat : 24723 (java) S 24693 24696 21275 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 506060988 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24727] ppid=24693 vsize=15703416 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24727/stat : 24727 (java) S 24693 24696 21275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 506060991 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738228657 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24728] ppid=24693 vsize=15703416 CPUtime=1.11 cores=0,2,4,6
/proc/24696/task/24728/stat : 24728 (java) S 24693 24696 21275 0 -1 4202560 6275 0 0 0 110 1 0 0 16 0 22 0 506060991 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24731] ppid=24693 vsize=15703416 CPUtime=0.87 cores=0,2,4,6
/proc/24696/task/24731/stat : 24731 (java) S 24693 24696 21275 0 -1 4202560 12490 0 0 0 86 1 0 0 15 0 22 0 506060991 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 2 0 0 0
[pid=24696/tid=24732] ppid=24693 vsize=15703416 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24732/stat : 24732 (java) S 24693 24696 21275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 506060991 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24734] ppid=24693 vsize=15703416 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24734/stat : 24734 (java) S 24693 24696 21275 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 506060991 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738221568 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24735] ppid=24693 vsize=15703416 CPUtime=2.6 cores=0,2,4,6
/proc/24696/task/24735/stat : 24735 (java) R 24693 24696 21275 0 -1 4202560 33680 0 0 0 256 4 0 0 18 0 22 0 506061010 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 46912505945781 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24696/tid=24736] ppid=24693 vsize=15703416 CPUtime=1.83 cores=0,2,4,6
/proc/24696/task/24736/stat : 24736 (java) R 24693 24696 21275 0 -1 4202560 24431 0 0 0 180 3 0 0 24 0 22 0 506061010 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 47558615059531 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24696/tid=24737] ppid=24693 vsize=15703416 CPUtime=2.5 cores=0,2,4,6
/proc/24696/task/24737/stat : 24737 (java) R 24693 24696 21275 0 -1 4202560 34580 0 0 0 247 3 0 0 21 0 22 0 506061010 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 46912505654485 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24696/tid=24738] ppid=24693 vsize=15703416 CPUtime=2.11 cores=0,2,4,6
/proc/24696/task/24738/stat : 24738 (java) R 24693 24696 21275 0 -1 4202560 26585 0 0 0 208 3 0 0 23 0 22 0 506061010 16080297984 144838 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 46912505945918 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.46
Current children cumulated vsize (KiB) 15703416

[startup+6.30126 s]
/proc/loadavg: 7.38 7.93 7.95 12/220 24743
/proc/meminfo: memFree=21240264/32951124 swapFree=67111524/67111528
[pid=24696] ppid=24693 vsize=15696756 CPUtime=24.22 cores=0,2,4,6
/proc/24696/stat : 24696 (java) S 24693 24696 21275 0 -1 4202496 155883 0 1 0 2401 21 0 0 22 0 22 0 506060985 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24696/statm: 3924189 138526 2283 9 0 3914908 0
[pid=24696/tid=24701] ppid=24693 vsize=15696756 CPUtime=0.34 cores=0,2,4,6
/proc/24696/task/24701/stat : 24701 (java) S 24693 24696 21275 0 -1 4202560 6052 0 1 0 33 1 0 0 18 0 22 0 506060986 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 0 0 0 0
[pid=24696/tid=24703] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24703/stat : 24703 (java) S 24693 24696 21275 0 -1 4202560 835 0 0 0 0 0 0 0 15 0 22 0 506060987 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24705] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24705/stat : 24705 (java) S 24693 24696 21275 0 -1 4202560 993 0 0 0 0 0 0 0 15 0 22 0 506060987 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 0 0 0 0
[pid=24696/tid=24707] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24707/stat : 24707 (java) S 24693 24696 21275 0 -1 4202560 1496 0 0 0 0 0 0 0 15 0 22 0 506060987 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24709] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24709/stat : 24709 (java) S 24693 24696 21275 0 -1 4202560 903 0 0 0 0 0 0 0 15 0 22 0 506060987 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 0 0 0 0
[pid=24696/tid=24711] ppid=24693 vsize=15696756 CPUtime=0.01 cores=0,2,4,6
/proc/24696/task/24711/stat : 24711 (java) S 24693 24696 21275 0 -1 4202560 2619 0 0 0 1 0 0 0 15 0 22 0 506060987 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 0 0 0 0
[pid=24696/tid=24712] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24712/stat : 24712 (java) S 24693 24696 21275 0 -1 4202560 1361 0 0 0 0 0 0 0 15 0 22 0 506060987 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 2 0 0 0
[pid=24696/tid=24714] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24714/stat : 24714 (java) S 24693 24696 21275 0 -1 4202560 992 0 0 0 0 0 0 0 15 0 22 0 506060987 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 2 0 0 0
[pid=24696/tid=24716] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24716/stat : 24716 (java) S 24693 24696 21275 0 -1 4202560 969 0 0 0 0 0 0 0 15 0 22 0 506060987 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 0 0 0 0
[pid=24696/tid=24719] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24719/stat : 24719 (java) S 24693 24696 21275 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 22 0 506060988 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738221568 0 0 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24721] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24721/stat : 24721 (java) S 24693 24696 21275 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 506060988 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24723] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24723/stat : 24723 (java) S 24693 24696 21275 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 506060988 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24727] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24727/stat : 24727 (java) S 24693 24696 21275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 506060991 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738228657 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24728] ppid=24693 vsize=15696756 CPUtime=1.14 cores=0,2,4,6
/proc/24696/task/24728/stat : 24728 (java) S 24693 24696 21275 0 -1 4202560 6288 0 0 0 113 1 0 0 16 0 22 0 506060991 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24731] ppid=24693 vsize=15696756 CPUtime=0.96 cores=0,2,4,6
/proc/24696/task/24731/stat : 24731 (java) S 24693 24696 21275 0 -1 4202560 12501 0 0 0 95 1 0 0 15 0 22 0 506060991 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 2 0 0 0
[pid=24696/tid=24732] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24732/stat : 24732 (java) S 24693 24696 21275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 506060991 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24734] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24734/stat : 24734 (java) S 24693 24696 21275 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 506060991 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738221568 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24735] ppid=24693 vsize=15696756 CPUtime=5.78 cores=0,2,4,6
/proc/24696/task/24735/stat : 24735 (java) R 24693 24696 21275 0 -1 4202560 33683 0 0 0 574 4 0 0 25 0 22 0 506061010 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 46912505703955 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24696/tid=24736] ppid=24693 vsize=15696756 CPUtime=5 cores=0,2,4,6
/proc/24696/task/24736/stat : 24736 (java) R 24693 24696 21275 0 -1 4202560 24440 0 0 0 497 3 0 0 25 0 22 0 506061010 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 18446744073699065971 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24696/tid=24737] ppid=24693 vsize=15696756 CPUtime=5.66 cores=0,2,4,6
/proc/24696/task/24737/stat : 24737 (java) R 24693 24696 21275 0 -1 4202560 34584 0 0 0 563 3 0 0 25 0 22 0 506061010 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 46912505654392 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24696/tid=24738] ppid=24693 vsize=15696756 CPUtime=5.21 cores=0,2,4,6
/proc/24696/task/24738/stat : 24738 (java) R 24693 24696 21275 0 -1 4202560 26595 0 0 0 518 3 0 0 25 0 22 0 506061010 16073478144 138526 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 46912505617696 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.22
Current children cumulated vsize (KiB) 15696756

[startup+12.7071 s]
/proc/loadavg: 7.43 7.93 7.95 10/220 24743
/proc/meminfo: memFree=21323772/32951124 swapFree=67111524/67111528
[pid=24696] ppid=24693 vsize=15696756 CPUtime=49.73 cores=0,2,4,6
/proc/24696/stat : 24696 (java) S 24693 24696 21275 0 -1 4202496 157152 0 1 0 4951 22 0 0 22 0 22 0 506060985 16073478144 120755 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24696/statm: 3924189 120755 2286 9 0 3914908 0
[pid=24696/tid=24701] ppid=24693 vsize=15696756 CPUtime=0.34 cores=0,2,4,6
/proc/24696/task/24701/stat : 24701 (java) S 24693 24696 21275 0 -1 4202560 6052 0 1 0 33 1 0 0 18 0 22 0 506060986 16073478144 120755 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 0 0 0 0
[pid=24696/tid=24703] ppid=24693 vsize=15696756 CPUtime=0.01 cores=0,2,4,6
/proc/24696/task/24703/stat : 24703 (java) S 24693 24696 21275 0 -1 4202560 966 0 0 0 1 0 0 0 15 0 22 0 506060987 16073478144 120755 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 0 0 0 0
[pid=24696/tid=24705] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24705/stat : 24705 (java) S 24693 24696 21275 0 -1 4202560 1257 0 0 0 0 0 0 0 15 0 22 0 506060987 16073478144 120755 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 2 0 0 0
[pid=24696/tid=24707] ppid=24693 vsize=15696756 CPUtime=0.01 cores=0,2,4,6
/proc/24696/task/24707/stat : 24707 (java) S 24693 24696 21275 0 -1 4202560 1742 0 0 0 1 0 0 0 15 0 22 0 506060987 16073478144 120755 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 2 0 0 0
[pid=24696/tid=24709] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24709/stat : 24709 (java) S 24693 24696 21275 0 -1 4202560 935 0 0 0 0 0 0 0 15 0 22 0 506060987 16073478144 120755 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24711] ppid=24693 vsize=15696756 CPUtime=0.02 cores=0,2,4,6
/proc/24696/task/24711/stat : 24711 (java) S 24693 24696 21275 0 -1 4202560 2840 0 0 0 2 0 0 0 15 0 22 0 506060987 16073478144 120755 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 2 0 0 0
[pid=24696/tid=24712] ppid=24693 vsize=15696756 CPUtime=0.01 cores=0,2,4,6
/proc/24696/task/24712/stat : 24712 (java) S 24693 24696 21275 0 -1 4202560 1440 0 0 0 1 0 0 0 15 0 22 0 506060987 16073478144 120755 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24714] ppid=24693 vsize=15696756 CPUtime=0.01 cores=0,2,4,6
/proc/24696/task/24714/stat : 24714 (java) S 24693 24696 21275 0 -1 4202560 1082 0 0 0 1 0 0 0 15 0 22 0 506060987 16073478144 120755 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24716] ppid=24693 vsize=15696756 CPUtime=0.01 cores=0,2,4,6
/proc/24696/task/24716/stat : 24716 (java) S 24693 24696 21275 0 -1 4202560 1135 0 0 0 1 0 0 0 15 0 22 0 506060987 16073478144 120755 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24719] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6

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

[pid=24696/tid=24736] ppid=24693 vsize=15696756 CPUtime=1107 cores=0,2,4,6
/proc/24696/task/24736/stat : 24736 (java) R 24693 24696 21275 0 -1 4202560 286787 0 0 0 110656 44 0 0 25 0 22 0 506061010 16073478144 83298 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 46912505667279 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24696/tid=24737] ppid=24693 vsize=15696756 CPUtime=1107.82 cores=0,2,4,6
/proc/24696/task/24737/stat : 24737 (java) R 24693 24696 21275 0 -1 4202560 297032 0 0 0 110735 47 0 0 25 0 22 0 506061010 16073478144 83298 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 46912505797118 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24696/tid=24738] ppid=24693 vsize=15696756 CPUtime=1107.81 cores=0,2,4,6
/proc/24696/task/24738/stat : 24738 (java) R 24693 24696 21275 0 -1 4202560 290376 0 0 0 110736 45 0 0 25 0 22 0 506061010 16073478144 83298 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 18446744073699065863 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4462.16
Current children cumulated vsize (KiB) 15696756

[startup+1182.3 s]
/proc/loadavg: 8.24 8.15 8.05 10/220 24777
/proc/meminfo: memFree=21313636/32951124 swapFree=67111524/67111528
[pid=24696] ppid=24693 vsize=15696756 CPUtime=4700.65 cores=0,2,4,6
/proc/24696/stat : 24696 (java) S 24693 24696 21275 0 -1 4202496 2195209 0 1 0 469617 448 0 0 22 0 22 0 506060985 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24696/statm: 3924189 98569 2297 9 0 3914908 0
[pid=24696/tid=24701] ppid=24693 vsize=15696756 CPUtime=0.34 cores=0,2,4,6
/proc/24696/task/24701/stat : 24701 (java) S 24693 24696 21275 0 -1 4202560 6052 0 1 0 33 1 0 0 18 0 22 0 506060986 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 0 0 0 0
[pid=24696/tid=24703] ppid=24693 vsize=15696756 CPUtime=3.37 cores=0,2,4,6
/proc/24696/task/24703/stat : 24703 (java) S 24693 24696 21275 0 -1 4202560 118838 0 0 0 317 20 0 0 15 0 22 0 506060987 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24705] ppid=24693 vsize=15696756 CPUtime=3.43 cores=0,2,4,6
/proc/24696/task/24705/stat : 24705 (java) S 24693 24696 21275 0 -1 4202560 114484 0 0 0 324 19 0 0 15 0 22 0 506060987 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24707] ppid=24693 vsize=15696756 CPUtime=3.34 cores=0,2,4,6
/proc/24696/task/24707/stat : 24707 (java) S 24693 24696 21275 0 -1 4202560 118228 0 0 0 313 21 0 0 16 0 22 0 506060987 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 2 0 0 0
[pid=24696/tid=24709] ppid=24693 vsize=15696756 CPUtime=3.45 cores=0,2,4,6
/proc/24696/task/24709/stat : 24709 (java) S 24693 24696 21275 0 -1 4202560 116684 0 0 0 325 20 0 0 16 0 22 0 506060987 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 0 0 0 0
[pid=24696/tid=24711] ppid=24693 vsize=15696756 CPUtime=3.36 cores=0,2,4,6
/proc/24696/task/24711/stat : 24711 (java) S 24693 24696 21275 0 -1 4202560 114378 0 0 0 316 20 0 0 15 0 22 0 506060987 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 0 0 0 0
[pid=24696/tid=24712] ppid=24693 vsize=15696756 CPUtime=3.33 cores=0,2,4,6
/proc/24696/task/24712/stat : 24712 (java) S 24693 24696 21275 0 -1 4202560 116666 0 0 0 311 22 0 0 15 0 22 0 506060987 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24714] ppid=24693 vsize=15696756 CPUtime=3.45 cores=0,2,4,6
/proc/24696/task/24714/stat : 24714 (java) S 24693 24696 21275 0 -1 4202560 116368 0 0 0 326 19 0 0 15 0 22 0 506060987 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 2 0 0 0
[pid=24696/tid=24716] ppid=24693 vsize=15696756 CPUtime=3.35 cores=0,2,4,6
/proc/24696/task/24716/stat : 24716 (java) S 24693 24696 21275 0 -1 4202560 110326 0 0 0 313 22 0 0 16 0 22 0 506060987 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24719] ppid=24693 vsize=15696756 CPUtime=2.41 cores=0,2,4,6
/proc/24696/task/24719/stat : 24719 (java) S 24693 24696 21275 0 -1 4202560 5794 0 0 0 161 80 0 0 15 0 22 0 506060988 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738221568 0 0 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24721] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24721/stat : 24721 (java) S 24693 24696 21275 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 506060988 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24723] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24723/stat : 24723 (java) S 24693 24696 21275 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 506060988 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24727] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24727/stat : 24727 (java) S 24693 24696 21275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 506060991 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738228657 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24728] ppid=24693 vsize=15696756 CPUtime=1.18 cores=0,2,4,6
/proc/24696/task/24728/stat : 24728 (java) S 24693 24696 21275 0 -1 4202560 6303 0 0 0 117 1 0 0 15 0 22 0 506060991 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24731] ppid=24693 vsize=15696756 CPUtime=1.01 cores=0,2,4,6
/proc/24696/task/24731/stat : 24731 (java) S 24693 24696 21275 0 -1 4202560 12507 0 0 0 100 1 0 0 15 0 22 0 506060991 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 2 0 0 0
[pid=24696/tid=24732] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24732/stat : 24732 (java) S 24693 24696 21275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 506060991 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24734] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24734/stat : 24734 (java) S 24693 24696 21275 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 506060991 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738221568 0 4 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24735] ppid=24693 vsize=15696756 CPUtime=1168.01 cores=0,2,4,6
/proc/24696/task/24735/stat : 24735 (java) R 24693 24696 21275 0 -1 4202560 316904 0 0 0 116750 51 0 0 25 0 22 0 506061010 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 46912505905544 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24696/tid=24736] ppid=24693 vsize=15696756 CPUtime=1166.22 cores=0,2,4,6
/proc/24696/task/24736/stat : 24736 (java) R 24693 24696 21275 0 -1 4202560 301676 0 0 0 116576 46 0 0 25 0 22 0 506061010 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 46912505922882 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24696/tid=24737] ppid=24693 vsize=15696756 CPUtime=1167.08 cores=0,2,4,6
/proc/24696/task/24737/stat : 24737 (java) R 24693 24696 21275 0 -1 4202560 312375 0 0 0 116659 49 0 0 25 0 22 0 506061010 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 46912505733830 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24696/tid=24738] ppid=24693 vsize=15696756 CPUtime=1167.15 cores=0,2,4,6
/proc/24696/task/24738/stat : 24738 (java) R 24693 24696 21275 0 -1 4202560 306178 0 0 0 116668 47 0 0 25 0 22 0 506061010 16073478144 98569 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4700.65
Current children cumulated vsize (KiB) 15696756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.31 s]
/proc/loadavg: 8.15 8.14 8.05 9/220 24778
/proc/meminfo: memFree=21339296/32951124 swapFree=67111524/67111528
[pid=24696] ppid=24693 vsize=15696756 CPUtime=4800.06 cores=0,2,4,6
/proc/24696/stat : 24696 (java) S 24693 24696 21275 0 -1 4202496 2229182 0 1 0 479551 455 0 0 22 0 22 0 506060985 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24696/statm: 3924189 82119 2297 9 0 3914908 0
[pid=24696/tid=24701] ppid=24693 vsize=15696756 CPUtime=0.34 cores=0,2,4,6
/proc/24696/task/24701/stat : 24701 (java) S 24693 24696 21275 0 -1 4202560 6052 0 1 0 33 1 0 0 18 0 22 0 506060986 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 0 0 0 0
[pid=24696/tid=24703] ppid=24693 vsize=15696756 CPUtime=3.44 cores=0,2,4,6
/proc/24696/task/24703/stat : 24703 (java) S 24693 24696 21275 0 -1 4202560 121379 0 0 0 324 20 0 0 15 0 22 0 506060987 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24705] ppid=24693 vsize=15696756 CPUtime=3.5 cores=0,2,4,6
/proc/24696/task/24705/stat : 24705 (java) S 24693 24696 21275 0 -1 4202560 117121 0 0 0 331 19 0 0 15 0 22 0 506060987 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24707] ppid=24693 vsize=15696756 CPUtime=3.41 cores=0,2,4,6
/proc/24696/task/24707/stat : 24707 (java) S 24693 24696 21275 0 -1 4202560 120623 0 0 0 319 22 0 0 16 0 22 0 506060987 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 0 0 0 0
[pid=24696/tid=24709] ppid=24693 vsize=15696756 CPUtime=3.5 cores=0,2,4,6
/proc/24696/task/24709/stat : 24709 (java) S 24693 24696 21275 0 -1 4202560 119413 0 0 0 330 20 0 0 15 0 22 0 506060987 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 2 0 0 0
[pid=24696/tid=24711] ppid=24693 vsize=15696756 CPUtime=3.44 cores=0,2,4,6
/proc/24696/task/24711/stat : 24711 (java) S 24693 24696 21275 0 -1 4202560 116731 0 0 0 323 21 0 0 15 0 22 0 506060987 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24712] ppid=24693 vsize=15696756 CPUtime=3.41 cores=0,2,4,6
/proc/24696/task/24712/stat : 24712 (java) S 24693 24696 21275 0 -1 4202560 118946 0 0 0 318 23 0 0 15 0 22 0 506060987 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24714] ppid=24693 vsize=15696756 CPUtime=3.51 cores=0,2,4,6
/proc/24696/task/24714/stat : 24714 (java) S 24693 24696 21275 0 -1 4202560 119301 0 0 0 332 19 0 0 16 0 22 0 506060987 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24716] ppid=24693 vsize=15696756 CPUtime=3.42 cores=0,2,4,6
/proc/24696/task/24716/stat : 24716 (java) S 24693 24696 21275 0 -1 4202560 112011 0 0 0 320 22 0 0 15 0 22 0 506060987 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 0 0 0 0
[pid=24696/tid=24719] ppid=24693 vsize=15696756 CPUtime=2.47 cores=0,2,4,6
/proc/24696/task/24719/stat : 24719 (java) S 24693 24696 21275 0 -1 4202560 5910 0 0 0 166 81 0 0 16 0 22 0 506060988 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738221568 0 0 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24721] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24721/stat : 24721 (java) S 24693 24696 21275 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 506060988 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24723] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24723/stat : 24723 (java) S 24693 24696 21275 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 506060988 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24727] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24727/stat : 24727 (java) S 24693 24696 21275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 506060991 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738228657 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24728] ppid=24693 vsize=15696756 CPUtime=1.18 cores=0,2,4,6
/proc/24696/task/24728/stat : 24728 (java) S 24693 24696 21275 0 -1 4202560 6303 0 0 0 117 1 0 0 15 0 22 0 506060991 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24731] ppid=24693 vsize=15696756 CPUtime=1.01 cores=0,2,4,6
/proc/24696/task/24731/stat : 24731 (java) S 24693 24696 21275 0 -1 4202560 12507 0 0 0 100 1 0 0 15 0 22 0 506060991 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 2 0 0 0
[pid=24696/tid=24732] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24732/stat : 24732 (java) S 24693 24696 21275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 506060991 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24734] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24734/stat : 24734 (java) S 24693 24696 21275 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 506060991 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738221568 0 4 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24735] ppid=24693 vsize=15696756 CPUtime=1192.74 cores=0,2,4,6
/proc/24696/task/24735/stat : 24735 (java) R 24693 24696 21275 0 -1 4202560 320361 0 0 0 119223 51 0 0 25 0 22 0 506061010 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 46912505660660 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24696/tid=24736] ppid=24693 vsize=15696756 CPUtime=1190.96 cores=0,2,4,6
/proc/24696/task/24736/stat : 24736 (java) R 24693 24696 21275 0 -1 4202560 305253 0 0 0 119049 47 0 0 25 0 22 0 506061010 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 46912505947184 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24696/tid=24737] ppid=24693 vsize=15696756 CPUtime=1191.69 cores=0,2,4,6
/proc/24696/task/24737/stat : 24737 (java) R 24693 24696 21275 0 -1 4202560 315855 0 0 0 119119 50 0 0 25 0 22 0 506061010 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24696/tid=24738] ppid=24693 vsize=15696756 CPUtime=1191.87 cores=0,2,4,6
/proc/24696/task/24738/stat : 24738 (java) R 24693 24696 21275 0 -1 4202560 309966 0 0 0 119139 48 0 0 25 0 22 0 506061010 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 46912505714240 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 15696756

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

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

[startup+1207.31 s]
/proc/loadavg: 8.15 8.14 8.05 9/220 24778
/proc/meminfo: memFree=21339296/32951124 swapFree=67111524/67111528
[pid=24696] ppid=24693 vsize=15696756 CPUtime=4800.06 cores=0,2,4,6
/proc/24696/stat : 24696 (java) S 24693 24696 21275 0 -1 4202496 2229182 0 1 0 479551 455 0 0 22 0 22 0 506060985 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24696/statm: 3924189 82119 2297 9 0 3914908 0
[pid=24696/tid=24701] ppid=24693 vsize=15696756 CPUtime=0.34 cores=0,2,4,6
/proc/24696/task/24701/stat : 24701 (java) S 24693 24696 21275 0 -1 4202560 6052 0 1 0 33 1 0 0 18 0 22 0 506060986 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 0 0 0 0
[pid=24696/tid=24703] ppid=24693 vsize=15696756 CPUtime=3.44 cores=0,2,4,6
/proc/24696/task/24703/stat : 24703 (java) S 24693 24696 21275 0 -1 4202560 121379 0 0 0 324 20 0 0 15 0 22 0 506060987 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24705] ppid=24693 vsize=15696756 CPUtime=3.5 cores=0,2,4,6
/proc/24696/task/24705/stat : 24705 (java) S 24693 24696 21275 0 -1 4202560 117121 0 0 0 331 19 0 0 15 0 22 0 506060987 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24707] ppid=24693 vsize=15696756 CPUtime=3.41 cores=0,2,4,6
/proc/24696/task/24707/stat : 24707 (java) S 24693 24696 21275 0 -1 4202560 120623 0 0 0 319 22 0 0 16 0 22 0 506060987 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 0 0 0 0
[pid=24696/tid=24709] ppid=24693 vsize=15696756 CPUtime=3.5 cores=0,2,4,6
/proc/24696/task/24709/stat : 24709 (java) S 24693 24696 21275 0 -1 4202560 119413 0 0 0 330 20 0 0 15 0 22 0 506060987 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 2 0 0 0
[pid=24696/tid=24711] ppid=24693 vsize=15696756 CPUtime=3.44 cores=0,2,4,6
/proc/24696/task/24711/stat : 24711 (java) S 24693 24696 21275 0 -1 4202560 116731 0 0 0 323 21 0 0 15 0 22 0 506060987 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24712] ppid=24693 vsize=15696756 CPUtime=3.41 cores=0,2,4,6
/proc/24696/task/24712/stat : 24712 (java) S 24693 24696 21275 0 -1 4202560 118946 0 0 0 318 23 0 0 15 0 22 0 506060987 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24714] ppid=24693 vsize=15696756 CPUtime=3.51 cores=0,2,4,6
/proc/24696/task/24714/stat : 24714 (java) S 24693 24696 21275 0 -1 4202560 119301 0 0 0 332 19 0 0 16 0 22 0 506060987 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24716] ppid=24693 vsize=15696756 CPUtime=3.42 cores=0,2,4,6
/proc/24696/task/24716/stat : 24716 (java) S 24693 24696 21275 0 -1 4202560 112011 0 0 0 320 22 0 0 15 0 22 0 506060987 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 0 0 0 0
[pid=24696/tid=24719] ppid=24693 vsize=15696756 CPUtime=2.47 cores=0,2,4,6
/proc/24696/task/24719/stat : 24719 (java) S 24693 24696 21275 0 -1 4202560 5910 0 0 0 166 81 0 0 16 0 22 0 506060988 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738221568 0 0 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24721] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24721/stat : 24721 (java) S 24693 24696 21275 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 506060988 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24723] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24723/stat : 24723 (java) S 24693 24696 21275 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 506060988 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24727] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24727/stat : 24727 (java) S 24693 24696 21275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 506060991 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738228657 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24728] ppid=24693 vsize=15696756 CPUtime=1.18 cores=0,2,4,6
/proc/24696/task/24728/stat : 24728 (java) S 24693 24696 21275 0 -1 4202560 6303 0 0 0 117 1 0 0 15 0 22 0 506060991 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24731] ppid=24693 vsize=15696756 CPUtime=1.01 cores=0,2,4,6
/proc/24696/task/24731/stat : 24731 (java) S 24693 24696 21275 0 -1 4202560 12507 0 0 0 100 1 0 0 15 0 22 0 506060991 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 2 0 0 0
[pid=24696/tid=24732] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24732/stat : 24732 (java) S 24693 24696 21275 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 506060991 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738220953 0 4 0 16800975 18446604453939091456 0 0 -1 4 0 0 0
[pid=24696/tid=24734] ppid=24693 vsize=15696756 CPUtime=0 cores=0,2,4,6
/proc/24696/task/24734/stat : 24734 (java) S 24693 24696 21275 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 506060991 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 264738221568 0 4 0 16800975 18446604453939091456 0 0 -1 6 0 0 0
[pid=24696/tid=24735] ppid=24693 vsize=15696756 CPUtime=1192.74 cores=0,2,4,6
/proc/24696/task/24735/stat : 24735 (java) R 24693 24696 21275 0 -1 4202560 320361 0 0 0 119223 51 0 0 25 0 22 0 506061010 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 46912505660660 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24696/tid=24736] ppid=24693 vsize=15696756 CPUtime=1190.96 cores=0,2,4,6
/proc/24696/task/24736/stat : 24736 (java) R 24693 24696 21275 0 -1 4202560 305253 0 0 0 119049 47 0 0 25 0 22 0 506061010 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 46912505947184 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24696/tid=24737] ppid=24693 vsize=15696756 CPUtime=1191.69 cores=0,2,4,6
/proc/24696/task/24737/stat : 24737 (java) R 24693 24696 21275 0 -1 4202560 315855 0 0 0 119119 50 0 0 25 0 22 0 506061010 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24696/tid=24738] ppid=24693 vsize=15696756 CPUtime=1191.87 cores=0,2,4,6
/proc/24696/task/24738/stat : 24738 (java) R 24693 24696 21275 0 -1 4202560 309966 0 0 0 119139 48 0 0 25 0 22 0 506061010 16073478144 82119 33554432000 1073741824 1073778376 140734427354208 18446744073709551615 46912505714240 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 15696756

Child status: 143
Real time (s): 1207.34
CPU time (s): 4800.11
CPU user time (s): 4795.54
CPU system time (s): 4.57131
CPU usage (%): 397.578
Max. virtual memory (cumulated for all children) (KiB): 15706220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.54
system time used= 4.5713
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2229210
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= 268911
involuntary context switches= 153148

runsolver used 1.9977 second user time and 4.64729 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-30 06:07:34
IDJOB=3311578
IDBENCH=82963
IDSOLVER=1698
FILE ID=node141/3311578-1304136454
RUNJOBID= node141-1304136454-24679
PBS_JOBID= 13170777
Free space on /tmp= 72600 MiB

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

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

MD5SUM BENCH= afacdefc4a366ba0b827e7e74ce8af4c
RANDOM SEED=420414750

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:      21997692 kB
Buffers:       1404036 kB
Cached:        8911672 kB
SwapCached:          4 kB
Active:        2566788 kB
Inactive:      7812136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21997692 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            3308 kB
Writeback:           0 kB
AnonPages:       62664 kB
Mapped:          14480 kB
Slab:           511016 kB
PageTables:       4740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186368 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 06:27:43