Trace number 3311755

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.34 1207.14

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-6x30.cnf
MD5SUMb4a3233c98b6a02fd9143f926d90025d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.182971
Satisfiable
(Un)Satisfiability was proved
Number of variables720
Number of clauses27360
Sum of the clauses size107280
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21080
Number of clauses of size 30
Number of clauses of size 426280
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.12	04:29 INFO : Reading from input HOME/instance-3311755-1304183068.cnf
0.60/0.42	Executor set job limit to 1000000
0.60/0.42	Executor set job limit to 1000000
0.60/0.42	Executor set job limit to 1000000
0.60/0.42	Executor set job limit to 1000000
0.60/0.42	Starting Executor!
0.60/0.42	Starting Executor!
0.60/0.42	Starting Executor!
0.60/0.42	Starting Executor!
1.82/0.98	04:29 INFO : 720 variables remaining out of 720
1.82/0.98	04:29 INFO : 137880 literals remaining out of 134640
12.07/3.62	log4j:WARN No appenders could be found for logger (ibis.constellation.impl.SingleThreadedConstellation.CID: 0:2).
12.07/3.62	log4j:WARN Please initialize the log4j system properly.
12.07/3.62	log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.

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-3311755-1304183068/watcher-3311755-1304183068 -o /tmp/evaluation-result-3311755-1304183068/solver-3311755-1304183068 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311755-1304183068.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: 6.03 7.57 7.74 3/176 29695
/proc/meminfo: memFree=30109160/32951124 swapFree=67111364/67111528
[pid=29695] ppid=29691 vsize=2464 CPUtime=0 cores=0,2,4,6
/proc/29695/stat : 29695 (java) S 29691 29695 28847 0 -1 4194304 539 0 0 0 0 0 0 0 25 0 1 0 529907241 2523136 44 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253635935879 0 2147483391 4096 0 18446744071699199166 0 0 17 0 0 0 0
/proc/29695/statm: 616 44 35 9 0 27 0

[startup+0.104211 s]
/proc/loadavg: 6.03 7.57 7.74 3/176 29695
/proc/meminfo: memFree=30109160/32951124 swapFree=67111364/67111528
[pid=29695] ppid=29691 vsize=15677080 CPUtime=0.1 cores=0,2,4,6
/proc/29695/stat : 29695 (java) S 29691 29695 28847 0 -1 4202496 5563 0 1 0 9 1 0 0 25 0 18 0 529907241 16053329920 4990 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29695/statm: 3919270 4990 2116 9 0 3909989 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15677080

[startup+0.201183 s]
/proc/loadavg: 6.03 7.57 7.74 3/176 29695
/proc/meminfo: memFree=30109160/32951124 swapFree=67111364/67111528
[pid=29695] ppid=29691 vsize=15680152 CPUtime=0.27 cores=0,2,4,6
/proc/29695/stat : 29695 (java) S 29691 29695 28847 0 -1 4202496 7164 0 1 0 26 1 0 0 25 0 18 0 529907241 16056475648 6591 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29695/statm: 3920038 6592 2181 9 0 3910757 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 15680152

[startup+0.30118 s]
/proc/loadavg: 6.03 7.57 7.74 3/176 29695
/proc/meminfo: memFree=30109160/32951124 swapFree=67111364/67111528
[pid=29695] ppid=29691 vsize=15681176 CPUtime=0.51 cores=0,2,4,6
/proc/29695/stat : 29695 (java) S 29691 29695 28847 0 -1 4202496 14502 0 1 0 49 2 0 0 25 0 18 0 529907241 16057524224 13048 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29695/statm: 3920294 13054 2206 9 0 3911013 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15681176

[startup+0.701055 s]
/proc/loadavg: 6.03 7.57 7.74 3/176 29695
/proc/meminfo: memFree=30109160/32951124 swapFree=67111364/67111528
[pid=29695] ppid=29691 vsize=15711464 CPUtime=1.24 cores=0,2,4,6
/proc/29695/stat : 29695 (java) S 29691 29695 28847 0 -1 4202496 42552 0 1 0 118 6 0 0 25 0 22 0 529907241 16088539136 38791 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29695/statm: 3927866 38792 2233 9 0 3918585 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 15711464

[startup+1.50091 s]
/proc/loadavg: 5.87 7.51 7.72 7/216 29784
/proc/meminfo: memFree=29920908/32951124 swapFree=67111364/67111528
[pid=29695] ppid=29691 vsize=15791844 CPUtime=3.74 cores=0,2,4,6
/proc/29695/stat : 29695 (java) S 29691 29695 28847 0 -1 4202496 59367 0 1 0 366 8 0 0 25 0 22 0 529907241 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29695/statm: 3947961 48866 2274 9 0 3938680 0
[pid=29695/tid=29698] ppid=29691 vsize=15791844 CPUtime=0.96 cores=0,2,4,6
/proc/29695/task/29698/stat : 29698 (java) S 29691 29695 28847 0 -1 4202560 30766 0 1 0 92 4 0 0 20 0 22 0 529907241 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 0 0 0 0
[pid=29695/tid=29700] ppid=29691 vsize=15791844 CPUtime=0.02 cores=0,2,4,6
/proc/29695/task/29700/stat : 29700 (java) S 29691 29695 28847 0 -1 4202560 471 0 0 0 2 0 0 0 17 0 22 0 529907242 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29702] ppid=29691 vsize=15791844 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29702/stat : 29702 (java) S 29691 29695 28847 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 529907242 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29704] ppid=29691 vsize=15791844 CPUtime=0.01 cores=0,2,4,6
/proc/29695/task/29704/stat : 29704 (java) S 29691 29695 28847 0 -1 4202560 1 0 0 0 1 0 0 0 17 0 22 0 529907242 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29706] ppid=29691 vsize=15791844 CPUtime=0.01 cores=0,2,4,6
/proc/29695/task/29706/stat : 29706 (java) S 29691 29695 28847 0 -1 4202560 1 0 0 0 1 0 0 0 17 0 22 0 529907242 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29708] ppid=29691 vsize=15791844 CPUtime=0.01 cores=0,2,4,6
/proc/29695/task/29708/stat : 29708 (java) S 29691 29695 28847 0 -1 4202560 1 0 0 0 1 0 0 0 17 0 22 0 529907242 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29710] ppid=29691 vsize=15791844 CPUtime=0.01 cores=0,2,4,6
/proc/29695/task/29710/stat : 29710 (java) S 29691 29695 28847 0 -1 4202560 269 0 0 0 1 0 0 0 17 0 22 0 529907242 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29712] ppid=29691 vsize=15791844 CPUtime=0.01 cores=0,2,4,6
/proc/29695/task/29712/stat : 29712 (java) S 29691 29695 28847 0 -1 4202560 434 0 0 0 1 0 0 0 17 0 22 0 529907242 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29714] ppid=29691 vsize=15791844 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29714/stat : 29714 (java) S 29691 29695 28847 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 529907242 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29716] ppid=29691 vsize=15791844 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29716/stat : 29716 (java) S 29691 29695 28847 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 529907243 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652676096 0 0 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29719] ppid=29691 vsize=15791844 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29719/stat : 29719 (java) S 29691 29695 28847 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529907244 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29721] ppid=29691 vsize=15791844 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29721/stat : 29721 (java) S 29691 29695 28847 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529907244 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29722] ppid=29691 vsize=15791844 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29722/stat : 29722 (java) S 29691 29695 28847 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 529907246 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652683185 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29724] ppid=29691 vsize=15791844 CPUtime=1.02 cores=0,2,4,6
/proc/29695/task/29724/stat : 29724 (java) R 29691 29695 28847 0 -1 4202560 18263 0 0 0 100 2 0 0 18 0 22 0 529907246 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 47093089388069 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29695/tid=29726] ppid=29691 vsize=15791844 CPUtime=0.89 cores=0,2,4,6
/proc/29695/task/29726/stat : 29726 (java) S 29691 29695 28847 0 -1 4202560 4733 0 0 0 89 0 0 0 15 0 22 0 529907246 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29728] ppid=29691 vsize=15791844 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29728/stat : 29728 (java) S 29691 29695 28847 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 529907246 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 2 0 0 0
[pid=29695/tid=29731] ppid=29691 vsize=15791844 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29731/stat : 29731 (java) S 29691 29695 28847 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529907246 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652676096 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29736] ppid=29691 vsize=15791844 CPUtime=0.28 cores=0,2,4,6
/proc/29695/task/29736/stat : 29736 (java) R 29691 29695 28847 0 -1 4202560 2032 0 0 0 28 0 0 0 15 0 22 0 529907283 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 47093089661674 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29695/tid=29737] ppid=29691 vsize=15791844 CPUtime=0.18 cores=0,2,4,6
/proc/29695/task/29737/stat : 29737 (java) R 29691 29695 28847 0 -1 4202560 33 0 0 0 18 0 0 0 16 0 22 0 529907283 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 47093089661518 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=29695/tid=29738] ppid=29691 vsize=15791844 CPUtime=0.19 cores=0,2,4,6
/proc/29695/task/29738/stat : 29738 (java) R 29691 29695 28847 0 -1 4202560 882 0 0 0 19 0 0 0 15 0 22 0 529907283 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 46912505869718 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29695/tid=29739] ppid=29691 vsize=15791844 CPUtime=0.05 cores=0,2,4,6
/proc/29695/task/29739/stat : 29739 (java) S 29691 29695 28847 0 -1 4202560 18 0 0 0 5 0 0 0 15 0 22 0 529907283 16170848256 48866 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652676096 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 15791844

[startup+3.10159 s]
/proc/loadavg: 5.87 7.51 7.72 13/220 29788
/proc/meminfo: memFree=29647220/32951124 swapFree=67111364/67111528
[pid=29695] ppid=29691 vsize=15788880 CPUtime=10.09 cores=0,2,4,6
/proc/29695/stat : 29695 (java) S 29691 29695 28847 0 -1 4202496 116764 0 1 0 992 17 0 0 25 0 22 0 529907241 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29695/statm: 3947220 105095 2274 9 0 3937939 0
[pid=29695/tid=29698] ppid=29691 vsize=15788880 CPUtime=0.96 cores=0,2,4,6
/proc/29695/task/29698/stat : 29698 (java) S 29691 29695 28847 0 -1 4202560 30766 0 1 0 92 4 0 0 20 0 22 0 529907241 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 0 0 0 0
[pid=29695/tid=29700] ppid=29691 vsize=15788880 CPUtime=0.02 cores=0,2,4,6
/proc/29695/task/29700/stat : 29700 (java) S 29691 29695 28847 0 -1 4202560 3537 0 0 0 2 0 0 0 16 0 22 0 529907242 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29702] ppid=29691 vsize=15788880 CPUtime=0.01 cores=0,2,4,6
/proc/29695/task/29702/stat : 29702 (java) S 29691 29695 28847 0 -1 4202560 4265 0 0 0 1 0 0 0 16 0 22 0 529907242 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 0 0 0 0
[pid=29695/tid=29704] ppid=29691 vsize=15788880 CPUtime=0.01 cores=0,2,4,6
/proc/29695/task/29704/stat : 29704 (java) S 29691 29695 28847 0 -1 4202560 2210 0 0 0 1 0 0 0 15 0 22 0 529907242 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29706] ppid=29691 vsize=15788880 CPUtime=0.02 cores=0,2,4,6
/proc/29695/task/29706/stat : 29706 (java) S 29691 29695 28847 0 -1 4202560 5229 0 0 0 1 1 0 0 16 0 22 0 529907242 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29708] ppid=29691 vsize=15788880 CPUtime=0.01 cores=0,2,4,6
/proc/29695/task/29708/stat : 29708 (java) S 29691 29695 28847 0 -1 4202560 1953 0 0 0 1 0 0 0 15 0 22 0 529907242 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29710] ppid=29691 vsize=15788880 CPUtime=0.01 cores=0,2,4,6
/proc/29695/task/29710/stat : 29710 (java) S 29691 29695 28847 0 -1 4202560 2445 0 0 0 1 0 0 0 15 0 22 0 529907242 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 0 0 0 0
[pid=29695/tid=29712] ppid=29691 vsize=15788880 CPUtime=0.02 cores=0,2,4,6
/proc/29695/task/29712/stat : 29712 (java) S 29691 29695 28847 0 -1 4202560 4238 0 0 0 2 0 0 0 15 0 22 0 529907242 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 2 0 0 0
[pid=29695/tid=29714] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29714/stat : 29714 (java) S 29691 29695 28847 0 -1 4202560 1429 0 0 0 0 0 0 0 15 0 22 0 529907242 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29716] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29716/stat : 29716 (java) S 29691 29695 28847 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 22 0 529907243 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652676096 0 0 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29719] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29719/stat : 29719 (java) S 29691 29695 28847 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529907244 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29721] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29721/stat : 29721 (java) S 29691 29695 28847 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529907244 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29722] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29722/stat : 29722 (java) S 29691 29695 28847 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 529907246 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652683185 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29724] ppid=29691 vsize=15788880 CPUtime=1.13 cores=0,2,4,6
/proc/29695/task/29724/stat : 29724 (java) S 29691 29695 28847 0 -1 4202560 18308 0 0 0 110 3 0 0 15 0 22 0 529907246 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29726] ppid=29691 vsize=15788880 CPUtime=1.06 cores=0,2,4,6
/proc/29695/task/29726/stat : 29726 (java) S 29691 29695 28847 0 -1 4202560 4822 0 0 0 106 0 0 0 16 0 22 0 529907246 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29728] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29728/stat : 29728 (java) S 29691 29695 28847 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 529907246 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 2 0 0 0
[pid=29695/tid=29731] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29731/stat : 29731 (java) S 29691 29695 28847 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529907246 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652676096 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29736] ppid=29691 vsize=15788880 CPUtime=1.85 cores=0,2,4,6
/proc/29695/task/29736/stat : 29736 (java) R 29691 29695 28847 0 -1 4202560 10162 0 0 0 184 1 0 0 17 0 22 0 529907283 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 46912505744192 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29695/tid=29737] ppid=29691 vsize=15788880 CPUtime=1.7 cores=0,2,4,6
/proc/29695/task/29737/stat : 29737 (java) R 29691 29695 28847 0 -1 4202560 8230 0 0 0 170 0 0 0 17 0 22 0 529907283 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 46912506302009 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=29695/tid=29738] ppid=29691 vsize=15788880 CPUtime=1.67 cores=0,2,4,6
/proc/29695/task/29738/stat : 29738 (java) R 29691 29695 28847 0 -1 4202560 9681 0 0 0 167 0 0 0 17 0 22 0 529907283 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 47093089662006 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29695/tid=29739] ppid=29691 vsize=15788880 CPUtime=1.46 cores=0,2,4,6
/proc/29695/task/29739/stat : 29739 (java) R 29691 29695 28847 0 -1 4202560 7902 0 0 0 145 1 0 0 17 0 22 0 529907283 16167813120 105095 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 46912505864416 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.09
Current children cumulated vsize (KiB) 15788880

[startup+6.301 s]
/proc/loadavg: 6.20 7.55 7.73 12/220 29837
/proc/meminfo: memFree=28649908/32951124 swapFree=67111364/67111528
[pid=29695] ppid=29691 vsize=15788880 CPUtime=22.84 cores=0,2,4,6
/proc/29695/stat : 29695 (java) S 29691 29695 28847 0 -1 4202496 339763 0 1 0 2239 45 0 0 25 0 22 0 529907241 16167813120 327879 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29695/statm: 3947220 327879 2289 9 0 3937939 0
[pid=29695/tid=29698] ppid=29691 vsize=15788880 CPUtime=0.96 cores=0,2,4,6
/proc/29695/task/29698/stat : 29698 (java) S 29691 29695 28847 0 -1 4202560 30766 0 1 0 92 4 0 0 20 0 22 0 529907241 16167813120 327879 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 0 0 0 0
[pid=29695/tid=29700] ppid=29691 vsize=15788880 CPUtime=0.05 cores=0,2,4,6
/proc/29695/task/29700/stat : 29700 (java) S 29691 29695 28847 0 -1 4202560 9756 0 0 0 4 1 0 0 15 0 22 0 529907242 16167813120 327879 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29702] ppid=29691 vsize=15788880 CPUtime=0.05 cores=0,2,4,6
/proc/29695/task/29702/stat : 29702 (java) S 29691 29695 28847 0 -1 4202560 14383 0 0 0 3 2 0 0 16 0 22 0 529907242 16167813120 327879 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 0 0 0 0
[pid=29695/tid=29704] ppid=29691 vsize=15788880 CPUtime=0.02 cores=0,2,4,6
/proc/29695/task/29704/stat : 29704 (java) S 29691 29695 28847 0 -1 4202560 5431 0 0 0 2 0 0 0 16 0 22 0 529907242 16167813120 327879 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29706] ppid=29691 vsize=15788880 CPUtime=0.04 cores=0,2,4,6
/proc/29695/task/29706/stat : 29706 (java) S 29691 29695 28847 0 -1 4202560 11028 0 0 0 2 2 0 0 16 0 22 0 529907242 16167813120 327879 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29708] ppid=29691 vsize=15788880 CPUtime=0.02 cores=0,2,4,6
/proc/29695/task/29708/stat : 29708 (java) S 29691 29695 28847 0 -1 4202560 4526 0 0 0 1 1 0 0 15 0 22 0 529907242 16167813120 327879 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 0 0 0 0
[pid=29695/tid=29710] ppid=29691 vsize=15788880 CPUtime=0.06 cores=0,2,4,6
/proc/29695/task/29710/stat : 29710 (java) S 29691 29695 28847 0 -1 4202560 15009 0 0 0 4 2 0 0 16 0 22 0 529907242 16167813120 327879 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 2 0 0 0
[pid=29695/tid=29712] ppid=29691 vsize=15788880 CPUtime=0.02 cores=0,2,4,6
/proc/29695/task/29712/stat : 29712 (java) S 29691 29695 28847 0 -1 4202560 4238 0 0 0 2 0 0 0 15 0 22 0 529907242 16167813120 327879 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 2 0 0 0
[pid=29695/tid=29714] ppid=29691 vsize=15788880 CPUtime=0.03 cores=0,2,4,6
/proc/29695/task/29714/stat : 29714 (java) S 29691 29695 28847 0 -1 4202560 11420 0 0 0 1 2 0 0 15 0 22 0 529907242 16167813120 327879 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 0 0 0 0
[pid=29695/tid=29716] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29716/stat : 29716 (java) S 29691 29695 28847 0 -1 4202560 1006 0 0 0 0 0 0 0 15 0 22 0 529907243 16167813120 327879 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652676096 0 0 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29719] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29719/stat : 29719 (java) S 29691 29695 28847 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529907244 16167813120 327879 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29721] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29721/stat : 29721 (java) S 29691 29695 28847 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529907244 16167813120 327879 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29722] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29722/stat : 29722 (java) S 29691 29695 28847 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 529907246 16167813120 327879 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652683185 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29724] ppid=29691 vsize=15788880 CPUtime=1.45 cores=0,2,4,6
/proc/29695/task/29724/stat : 29724 (java) S 29691 29695 28847 0 -1 4202560 18463 0 0 0 142 3 0 0 15 0 22 0 529907246 16167813120 327879 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0

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

[pid=29695/tid=29737] ppid=29691 vsize=15788880 CPUtime=1048.8 cores=0,2,4,6
/proc/29695/task/29737/stat : 29737 (java) R 29691 29695 28847 0 -1 4202560 240993 0 0 0 104840 40 0 0 25 0 22 0 529907283 16167813120 152047 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 46912505864416 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29695/tid=29738] ppid=29691 vsize=15788880 CPUtime=1048.78 cores=0,2,4,6
/proc/29695/task/29738/stat : 29738 (java) R 29691 29695 28847 0 -1 4202560 213452 0 0 0 104843 35 0 0 25 0 22 0 529907283 16167813120 152047 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 46912505925356 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=29695/tid=29739] ppid=29691 vsize=15788880 CPUtime=1047.8 cores=0,2,4,6
/proc/29695/task/29739/stat : 29739 (java) R 29691 29695 28847 0 -1 4202560 234553 0 0 0 104739 41 0 0 25 0 22 0 529907283 16167813120 152047 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 46912505744209 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4224.3
Current children cumulated vsize (KiB) 15788880

[startup+1122.3 s]
/proc/loadavg: 8.16 8.06 7.94 9/220 29867
/proc/meminfo: memFree=28735344/32951124 swapFree=67111364/67111528
[pid=29695] ppid=29691 vsize=15788880 CPUtime=4462.94 cores=0,2,4,6
/proc/29695/stat : 29695 (java) S 29691 29695 28847 0 -1 4202496 1306056 0 1 0 445976 318 0 0 25 0 22 0 529907241 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29695/statm: 3947220 150902 2298 9 0 3937939 0
[pid=29695/tid=29698] ppid=29691 vsize=15788880 CPUtime=0.96 cores=0,2,4,6
/proc/29695/task/29698/stat : 29698 (java) S 29691 29695 28847 0 -1 4202560 30766 0 1 0 92 4 0 0 20 0 22 0 529907241 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 0 0 0 0
[pid=29695/tid=29700] ppid=29691 vsize=15788880 CPUtime=3.27 cores=0,2,4,6
/proc/29695/task/29700/stat : 29700 (java) S 29691 29695 28847 0 -1 4202560 36987 0 0 0 315 12 0 0 16 0 22 0 529907242 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 2 0 0 0
[pid=29695/tid=29702] ppid=29691 vsize=15788880 CPUtime=3.32 cores=0,2,4,6
/proc/29695/task/29702/stat : 29702 (java) S 29691 29695 28847 0 -1 4202560 39902 0 0 0 320 12 0 0 15 0 22 0 529907242 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 2 0 0 0
[pid=29695/tid=29704] ppid=29691 vsize=15788880 CPUtime=3.32 cores=0,2,4,6
/proc/29695/task/29704/stat : 29704 (java) S 29691 29695 28847 0 -1 4202560 31126 0 0 0 322 10 0 0 16 0 22 0 529907242 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29706] ppid=29691 vsize=15788880 CPUtime=3.28 cores=0,2,4,6
/proc/29695/task/29706/stat : 29706 (java) S 29691 29695 28847 0 -1 4202560 36053 0 0 0 318 10 0 0 16 0 22 0 529907242 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 0 0 0 0
[pid=29695/tid=29708] ppid=29691 vsize=15788880 CPUtime=3.35 cores=0,2,4,6
/proc/29695/task/29708/stat : 29708 (java) S 29691 29695 28847 0 -1 4202560 31594 0 0 0 325 10 0 0 16 0 22 0 529907242 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29710] ppid=29691 vsize=15788880 CPUtime=3.29 cores=0,2,4,6
/proc/29695/task/29710/stat : 29710 (java) S 29691 29695 28847 0 -1 4202560 40282 0 0 0 317 12 0 0 16 0 22 0 529907242 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29712] ppid=29691 vsize=15788880 CPUtime=3.21 cores=0,2,4,6
/proc/29695/task/29712/stat : 29712 (java) S 29691 29695 28847 0 -1 4202560 30823 0 0 0 311 10 0 0 15 0 22 0 529907242 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 2 0 0 0
[pid=29695/tid=29714] ppid=29691 vsize=15788880 CPUtime=3.28 cores=0,2,4,6
/proc/29695/task/29714/stat : 29714 (java) S 29691 29695 28847 0 -1 4202560 36246 0 0 0 315 13 0 0 15 0 22 0 529907242 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 0 0 0 0
[pid=29695/tid=29716] ppid=29691 vsize=15788880 CPUtime=1.68 cores=0,2,4,6
/proc/29695/task/29716/stat : 29716 (java) S 29691 29695 28847 0 -1 4202560 2772 0 0 0 119 49 0 0 15 0 22 0 529907243 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652676096 0 0 0 16800975 18446604453942285568 0 0 -1 0 0 0 0
[pid=29695/tid=29719] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29719/stat : 29719 (java) S 29691 29695 28847 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529907244 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29721] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29721/stat : 29721 (java) S 29691 29695 28847 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529907244 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29722] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29722/stat : 29722 (java) S 29691 29695 28847 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 529907246 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652683185 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29724] ppid=29691 vsize=15788880 CPUtime=1.62 cores=0,2,4,6
/proc/29695/task/29724/stat : 29724 (java) S 29691 29695 28847 0 -1 4202560 18808 0 0 0 159 3 0 0 15 0 22 0 529907246 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29726] ppid=29691 vsize=15788880 CPUtime=1.31 cores=0,2,4,6
/proc/29695/task/29726/stat : 29726 (java) S 29691 29695 28847 0 -1 4202560 4856 0 0 0 131 0 0 0 16 0 22 0 529907246 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29728] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29728/stat : 29728 (java) S 29691 29695 28847 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 529907246 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 2 0 0 0
[pid=29695/tid=29731] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29731/stat : 29731 (java) S 29691 29695 28847 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 529907246 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652676096 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29736] ppid=29691 vsize=15788880 CPUtime=1107.81 cores=0,2,4,6
/proc/29695/task/29736/stat : 29736 (java) R 29691 29695 28847 0 -1 4202560 252161 0 0 0 110737 44 0 0 25 0 22 0 529907283 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 46912505839068 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29695/tid=29737] ppid=29691 vsize=15788880 CPUtime=1108.14 cores=0,2,4,6
/proc/29695/task/29737/stat : 29737 (java) R 29691 29695 28847 0 -1 4202560 249127 0 0 0 110772 42 0 0 25 0 22 0 529907283 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 46912505870001 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29695/tid=29738] ppid=29691 vsize=15788880 CPUtime=1107.87 cores=0,2,4,6
/proc/29695/task/29738/stat : 29738 (java) R 29691 29695 28847 0 -1 4202560 220929 0 0 0 110750 37 0 0 25 0 22 0 529907283 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 46912506034491 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29695/tid=29739] ppid=29691 vsize=15788880 CPUtime=1107.09 cores=0,2,4,6
/proc/29695/task/29739/stat : 29739 (java) R 29691 29695 28847 0 -1 4202560 242173 0 0 0 110666 43 0 0 25 0 22 0 529907283 16167813120 150902 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 46912505864402 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4462.94
Current children cumulated vsize (KiB) 15788880

[startup+1182.3 s]
/proc/loadavg: 8.10 8.06 7.94 9/220 29869
/proc/meminfo: memFree=28724140/32951124 swapFree=67111364/67111528
[pid=29695] ppid=29691 vsize=15788880 CPUtime=4701.6 cores=0,2,4,6
/proc/29695/stat : 29695 (java) S 29691 29695 28847 0 -1 4202496 1359906 0 1 0 469825 335 0 0 25 0 22 0 529907241 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29695/statm: 3947220 159684 2298 9 0 3937939 0
[pid=29695/tid=29698] ppid=29691 vsize=15788880 CPUtime=0.96 cores=0,2,4,6
/proc/29695/task/29698/stat : 29698 (java) S 29691 29695 28847 0 -1 4202560 30766 0 1 0 92 4 0 0 20 0 22 0 529907241 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 0 0 0 0
[pid=29695/tid=29700] ppid=29691 vsize=15788880 CPUtime=3.45 cores=0,2,4,6
/proc/29695/task/29700/stat : 29700 (java) S 29691 29695 28847 0 -1 4202560 40079 0 0 0 332 13 0 0 15 0 22 0 529907242 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29702] ppid=29691 vsize=15788880 CPUtime=3.51 cores=0,2,4,6
/proc/29695/task/29702/stat : 29702 (java) S 29691 29695 28847 0 -1 4202560 43600 0 0 0 338 13 0 0 15 0 22 0 529907242 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29704] ppid=29691 vsize=15788880 CPUtime=3.5 cores=0,2,4,6
/proc/29695/task/29704/stat : 29704 (java) S 29691 29695 28847 0 -1 4202560 34340 0 0 0 339 11 0 0 15 0 22 0 529907242 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 2 0 0 0
[pid=29695/tid=29706] ppid=29691 vsize=15788880 CPUtime=3.44 cores=0,2,4,6
/proc/29695/task/29706/stat : 29706 (java) S 29691 29695 28847 0 -1 4202560 39402 0 0 0 333 11 0 0 15 0 22 0 529907242 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29708] ppid=29691 vsize=15788880 CPUtime=3.55 cores=0,2,4,6
/proc/29695/task/29708/stat : 29708 (java) S 29691 29695 28847 0 -1 4202560 35655 0 0 0 343 12 0 0 15 0 22 0 529907242 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 2 0 0 0
[pid=29695/tid=29710] ppid=29691 vsize=15788880 CPUtime=3.48 cores=0,2,4,6
/proc/29695/task/29710/stat : 29710 (java) S 29691 29695 28847 0 -1 4202560 44153 0 0 0 336 12 0 0 15 0 22 0 529907242 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 2 0 0 0
[pid=29695/tid=29712] ppid=29691 vsize=15788880 CPUtime=3.39 cores=0,2,4,6
/proc/29695/task/29712/stat : 29712 (java) S 29691 29695 28847 0 -1 4202560 34587 0 0 0 328 11 0 0 15 0 22 0 529907242 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 0 0 0 0
[pid=29695/tid=29714] ppid=29691 vsize=15788880 CPUtime=3.47 cores=0,2,4,6
/proc/29695/task/29714/stat : 29714 (java) S 29691 29695 28847 0 -1 4202560 39798 0 0 0 333 14 0 0 15 0 22 0 529907242 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 0 0 0 0
[pid=29695/tid=29716] ppid=29691 vsize=15788880 CPUtime=1.76 cores=0,2,4,6
/proc/29695/task/29716/stat : 29716 (java) S 29691 29695 28847 0 -1 4202560 2977 0 0 0 126 50 0 0 15 0 22 0 529907243 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652676096 0 0 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29719] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29719/stat : 29719 (java) S 29691 29695 28847 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529907244 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29721] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29721/stat : 29721 (java) S 29691 29695 28847 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529907244 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29722] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29722/stat : 29722 (java) S 29691 29695 28847 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 529907246 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652683185 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29724] ppid=29691 vsize=15788880 CPUtime=1.62 cores=0,2,4,6
/proc/29695/task/29724/stat : 29724 (java) S 29691 29695 28847 0 -1 4202560 18808 0 0 0 159 3 0 0 15 0 22 0 529907246 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29726] ppid=29691 vsize=15788880 CPUtime=1.31 cores=0,2,4,6
/proc/29695/task/29726/stat : 29726 (java) S 29691 29695 28847 0 -1 4202560 4856 0 0 0 131 0 0 0 16 0 22 0 529907246 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29728] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29728/stat : 29728 (java) S 29691 29695 28847 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 529907246 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 2 0 0 0
[pid=29695/tid=29731] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29731/stat : 29731 (java) S 29691 29695 28847 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 529907246 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652676096 0 4 0 16800975 18446604453942285568 0 0 -1 0 0 0 0
[pid=29695/tid=29736] ppid=29691 vsize=15788880 CPUtime=1167.17 cores=0,2,4,6
/proc/29695/task/29736/stat : 29736 (java) R 29691 29695 28847 0 -1 4202560 258822 0 0 0 116671 46 0 0 25 0 22 0 529907283 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 46912505907882 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29695/tid=29737] ppid=29691 vsize=15788880 CPUtime=1167.4 cores=0,2,4,6
/proc/29695/task/29737/stat : 29737 (java) R 29691 29695 28847 0 -1 4202560 255541 0 0 0 116697 43 0 0 25 0 22 0 529907283 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 46912505907872 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29695/tid=29738] ppid=29691 vsize=15788880 CPUtime=1167.11 cores=0,2,4,6
/proc/29695/task/29738/stat : 29738 (java) R 29691 29695 28847 0 -1 4202560 226744 0 0 0 116673 38 0 0 25 0 22 0 529907283 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 46912505924929 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29695/tid=29739] ppid=29691 vsize=15788880 CPUtime=1166.32 cores=0,2,4,6
/proc/29695/task/29739/stat : 29739 (java) R 29691 29695 28847 0 -1 4202560 248323 0 0 0 116586 46 0 0 25 0 22 0 529907283 16167813120 159684 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 46912505869999 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4701.6
Current children cumulated vsize (KiB) 15788880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.1 s]
/proc/loadavg: 8.07 8.06 7.94 9/220 29869
/proc/meminfo: memFree=28754620/32951124 swapFree=67111364/67111528
[pid=29695] ppid=29691 vsize=15788880 CPUtime=4800.28 cores=0,2,4,6
/proc/29695/stat : 29695 (java) S 29691 29695 28847 0 -1 4202496 1372856 0 1 0 479687 341 0 0 25 0 22 0 529907241 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29695/statm: 3947220 150071 2298 9 0 3937939 0
[pid=29695/tid=29698] ppid=29691 vsize=15788880 CPUtime=0.96 cores=0,2,4,6
/proc/29695/task/29698/stat : 29698 (java) S 29691 29695 28847 0 -1 4202560 30766 0 1 0 92 4 0 0 20 0 22 0 529907241 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 0 0 0 0
[pid=29695/tid=29700] ppid=29691 vsize=15788880 CPUtime=3.51 cores=0,2,4,6
/proc/29695/task/29700/stat : 29700 (java) S 29691 29695 28847 0 -1 4202560 41089 0 0 0 338 13 0 0 15 0 22 0 529907242 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29702] ppid=29691 vsize=15788880 CPUtime=3.57 cores=0,2,4,6
/proc/29695/task/29702/stat : 29702 (java) S 29691 29695 28847 0 -1 4202560 44897 0 0 0 344 13 0 0 16 0 22 0 529907242 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 0 0 0 0
[pid=29695/tid=29704] ppid=29691 vsize=15788880 CPUtime=3.59 cores=0,2,4,6
/proc/29695/task/29704/stat : 29704 (java) S 29691 29695 28847 0 -1 4202560 35590 0 0 0 347 12 0 0 15 0 22 0 529907242 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 2 0 0 0
[pid=29695/tid=29706] ppid=29691 vsize=15788880 CPUtime=3.51 cores=0,2,4,6
/proc/29695/task/29706/stat : 29706 (java) S 29691 29695 28847 0 -1 4202560 41004 0 0 0 340 11 0 0 15 0 22 0 529907242 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29708] ppid=29691 vsize=15788880 CPUtime=3.61 cores=0,2,4,6
/proc/29695/task/29708/stat : 29708 (java) S 29691 29695 28847 0 -1 4202560 37094 0 0 0 349 12 0 0 16 0 22 0 529907242 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 2 0 0 0
[pid=29695/tid=29710] ppid=29691 vsize=15788880 CPUtime=3.55 cores=0,2,4,6
/proc/29695/task/29710/stat : 29710 (java) S 29691 29695 28847 0 -1 4202560 45515 0 0 0 343 12 0 0 15 0 22 0 529907242 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29712] ppid=29691 vsize=15788880 CPUtime=3.46 cores=0,2,4,6
/proc/29695/task/29712/stat : 29712 (java) S 29691 29695 28847 0 -1 4202560 35790 0 0 0 335 11 0 0 15 0 22 0 529907242 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29714] ppid=29691 vsize=15788880 CPUtime=3.54 cores=0,2,4,6
/proc/29695/task/29714/stat : 29714 (java) S 29691 29695 28847 0 -1 4202560 41065 0 0 0 340 14 0 0 16 0 22 0 529907242 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 0 0 0 0
[pid=29695/tid=29716] ppid=29691 vsize=15788880 CPUtime=1.8 cores=0,2,4,6
/proc/29695/task/29716/stat : 29716 (java) S 29691 29695 28847 0 -1 4202560 3021 0 0 0 128 52 0 0 15 0 22 0 529907243 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652676096 0 0 0 16800975 18446604453942285568 0 0 -1 0 0 0 0
[pid=29695/tid=29719] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29719/stat : 29719 (java) S 29691 29695 28847 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529907244 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29721] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29721/stat : 29721 (java) S 29691 29695 28847 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529907244 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29722] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29722/stat : 29722 (java) S 29691 29695 28847 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 529907246 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652683185 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29724] ppid=29691 vsize=15788880 CPUtime=1.62 cores=0,2,4,6
/proc/29695/task/29724/stat : 29724 (java) S 29691 29695 28847 0 -1 4202560 18808 0 0 0 159 3 0 0 15 0 22 0 529907246 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 6 0 0 0
[pid=29695/tid=29726] ppid=29691 vsize=15788880 CPUtime=1.31 cores=0,2,4,6
/proc/29695/task/29726/stat : 29726 (java) S 29691 29695 28847 0 -1 4202560 4856 0 0 0 131 0 0 0 16 0 22 0 529907246 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 4 0 0 0
[pid=29695/tid=29728] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29728/stat : 29728 (java) S 29691 29695 28847 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 529907246 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652675481 0 4 0 16800975 18446604453942285568 0 0 -1 2 0 0 0
[pid=29695/tid=29731] ppid=29691 vsize=15788880 CPUtime=0 cores=0,2,4,6
/proc/29695/task/29731/stat : 29731 (java) S 29691 29695 28847 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 529907246 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 253652676096 0 4 0 16800975 18446604453942285568 0 0 -1 0 0 0 0
[pid=29695/tid=29736] ppid=29691 vsize=15788880 CPUtime=1191.68 cores=0,2,4,6
/proc/29695/task/29736/stat : 29736 (java) R 29691 29695 28847 0 -1 4202560 259320 0 0 0 119122 46 0 0 24 0 22 0 529907283 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 46912505838983 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=29695/tid=29737] ppid=29691 vsize=15788880 CPUtime=1191.96 cores=0,2,4,6
/proc/29695/task/29737/stat : 29737 (java) R 29691 29695 28847 0 -1 4202560 256053 0 0 0 119152 44 0 0 25 0 22 0 529907283 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 46912505901074 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29695/tid=29738] ppid=29691 vsize=15788880 CPUtime=1191.65 cores=0,2,4,6
/proc/29695/task/29738/stat : 29738 (java) R 29691 29695 28847 0 -1 4202560 227429 0 0 0 119127 38 0 0 25 0 22 0 529907283 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 46912505924974 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29695/tid=29739] ppid=29691 vsize=15788880 CPUtime=1190.77 cores=0,2,4,6
/proc/29695/task/29739/stat : 29739 (java) R 29691 29695 28847 0 -1 4202560 249104 0 0 0 119031 46 0 0 25 0 22 0 529907283 16167813120 150071 33554432000 1073741824 1073778376 140737415473280 18446744073709551615 46912505869868 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 15788880

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

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

Child status: 143
Real time (s): 1207.14
CPU time (s): 4800.34
CPU user time (s): 4796.9
CPU system time (s): 3.43548
CPU usage (%): 397.662
Max. virtual memory (cumulated for all children) (KiB): 15791844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.9
system time used= 3.43548
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1372883
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= 259514
involuntary context switches= 132602

runsolver used 1.80872 second user time and 4.82427 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-30 19:04:28
IDJOB=3311755
IDBENCH=83160
IDSOLVER=1698
FILE ID=node106/3311755-1304183068
RUNJOBID= node106-1304183068-29676
PBS_JOBID= 13172424
Free space on /tmp= 72888 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-6x30.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311755-1304183068/watcher-3311755-1304183068 -o /tmp/evaluation-result-3311755-1304183068/solver-3311755-1304183068 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311755-1304183068.cnf -hbr 2

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

MD5SUM BENCH= b4a3233c98b6a02fd9143f926d90025d
RANDOM SEED=1544776137

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30109704 kB
Buffers:        288588 kB
Cached:        2275916 kB
SwapCached:         88 kB
Active:         900380 kB
Inactive:      1727844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30109704 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            3976 kB
Writeback:           8 kB
AnonPages:       63280 kB
Mapped:          14428 kB
Slab:           148736 kB
PageTables:       4452 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   192456 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= 72884 MiB
End job on node106 at 2011-04-30 19:24:38