Trace number 3493704

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
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06? (TO) 1800.24 1797.36

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf
MD5SUM2b5c02650b763b7d13b77ce3fc61aa15
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1414.3
Satisfiable
(Un)Satisfiability was proved
Number of variables116405
Number of clauses346850
Sum of the clauses size809314
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2231232
Number of clauses of size 3115616
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.05/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.07	c See www.sat4j.org for details.
0.05/0.07	c version 2.3.0.v20110206
0.05/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.07	c java.vm.version	19.1-b02
0.05/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.07	c sun.arch.data.model	64
0.05/0.07	c java.version		1.6.0_24
0.05/0.07	c os.name		Linux
0.05/0.07	c os.version		2.6.18-164.el5
0.05/0.07	c os.arch		amd64
0.05/0.07	c Free memory 		5997854704
0.05/0.07	c Max memory 		6029312000
0.05/0.07	c Total memory 		6029312000
0.05/0.07	c Number of processors 	8
0.05/0.09	c Explanation (MUS) enabled solver
0.05/0.09	c QuickXplain (AAAI 2004 version) minimization strategy
0.09/0.10	c --- Begin Solver configuration ---
0.09/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@aa470b8
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.09/0.10	c Expensive reason simplification
0.09/0.10	c Armin Biere (Picosat) restarts strategy
0.09/0.10	c Glucose learned constraints deletion strategy
0.09/0.10	c timeout=2147483647s
0.09/0.10	c DB Simplification allowed=true
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3493704-1307809813.cnf
0.09/0.10	c reading problem ... 
0.78/0.61	c ... done. Wall clock time 0.515s.
0.78/0.61	c #vars     463255
0.78/0.61	c #constraints  346850
0.78/0.61	c constraints type 
0.78/0.61	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 346848
0.78/0.61	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
9.08/8.76	c cleaning 2430 clauses out of 5000 with flag 5000/5000
18.43/17.80	c cleaning 4199 clauses out of 8570 with flag 11000/11000
28.75/28.11	c cleaning 5509 clauses out of 11371 with flag 18000/18000
42.47/41.83	c cleaning 6846 clauses out of 13863 with flag 26001/26001
58.68/58.08	c cleaning 7814 clauses out of 16016 with flag 35000/35000
79.19/78.52	c cleaning 8793 clauses out of 18202 with flag 45000/45000
104.91/104.29	c cleaning 9834 clauses out of 20409 with flag 56000/56000
143.43/142.74	c cleaning 11017 clauses out of 22575 with flag 68000/68000
182.78/182.02	c cleaning 11903 clauses out of 24559 with flag 81001/81001
233.82/233.03	c cleaning 12934 clauses out of 26655 with flag 95000/95000
302.11/301.28	c cleaning 13987 clauses out of 28721 with flag 110000/110000
372.87/371.92	c cleaning 14898 clauses out of 30736 with flag 126002/126002
440.46/439.45	c cleaning 15997 clauses out of 32837 with flag 143001/143001
521.02/519.92	c cleaning 17051 clauses out of 34839 with flag 161000/161000
612.50/611.32	c cleaning 17979 clauses out of 36788 with flag 180000/180000
715.91/714.63	c cleaning 19235 clauses out of 38810 with flag 200001/200001
804.27/802.83	c cleaning 20098 clauses out of 40575 with flag 221001/221001
890.64/889.16	c cleaning 20698 clauses out of 42477 with flag 243001/243001
1031.40/1029.88	c cleaning 22159 clauses out of 44780 with flag 266002/266002
1142.94/1141.29	c cleaning 23282 clauses out of 46621 with flag 290002/290002
1267.35/1265.58	c cleaning 23810 clauses out of 48337 with flag 315000/315000
1404.59/1402.63	c cleaning 24976 clauses out of 50529 with flag 341002/341002
1576.21/1574.06	c cleaning 26056 clauses out of 52553 with flag 368002/368002
1790.39/1787.62	c cleaning 26921 clauses out of 54495 with flag 396000/396000
1800.06/1797.21	c starts		: 765
1800.06/1797.21	c conflicts		: 399933
1800.06/1797.21	c decisions		: 1676015
1800.06/1797.21	c propagations		: 1667744432
1800.06/1797.21	c inspects		: 4282337146
1800.06/1797.21	c shortcuts		: 0
1800.06/1797.21	c learnt literals	: 0
1800.06/1797.21	c learnt binary clauses	: 0
1800.06/1797.21	c learnt ternary clauses	: 0
1800.06/1797.21	c learnt constraints	: 399933
1800.06/1797.21	c ignored constraints	: 0
1800.06/1797.21	c root simplifications	: 0
1800.06/1797.21	c removed literals (reason simplification)	: 7501290
1800.06/1797.21	c reason swapping (by a shorter reason)	: 0
1800.06/1797.21	c Calls to reduceDB	: 24
1800.06/1797.21	c speed (assignments/second)	: 928301.9679330719
1800.06/1797.21	c non guided choices	9871
1800.06/1797.22	c learnt constraints type 
1800.06/1797.22	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 31508
1800.06/1797.22	c constraints type 
1800.06/1797.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 346848
1800.06/1797.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
1800.06/1797.22	s UNKNOWN
1800.06/1797.22	c Total wall clock time (in seconds) : 1797.112

Verifier Data 

ERROR: Unexpected answer ! (UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3493704-1307809813/watcher-3493704-1307809813 -o /tmp/evaluation-result-3493704-1307809813/solver-3493704-1307809813 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493704-1307809813.cnf 

running on 2 cores: 4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 1.02 1.68 5/198 24068
/proc/meminfo: memFree=31857688/32951124 swapFree=67055708/67111528
[pid=24067] ppid=24065 vsize=252 CPUtime=0 cores=4,6
/proc/24067/stat : 24067 (java) R 24065 24067 22467 0 -1 4194304 77 0 0 0 0 0 0 0 21 0 1 0 625172558 258048 31 33554432000 1073741824 1073778376 140736528534272 18446744073709551615 268655738503 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24067/statm: 63 31 24 9 0 22 0

[startup+0.064597 s]
/proc/loadavg: 0.92 1.02 1.68 5/198 24068
/proc/meminfo: memFree=31857688/32951124 swapFree=67055708/67111528
[pid=24067] ppid=24065 vsize=6363596 CPUtime=0.05 cores=4,6
/proc/24067/stat : 24067 (java) S 24065 24067 22467 0 -1 4202496 8434 0 1 0 4 1 0 0 21 0 18 0 625172558 6516322304 8131 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/24067/statm: 1590899 8131 1738 9 0 1581637 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6363596

[startup+0.100593 s]
/proc/loadavg: 0.92 1.02 1.68 5/198 24068
/proc/meminfo: memFree=31857688/32951124 swapFree=67055708/67111528
[pid=24067] ppid=24065 vsize=6429836 CPUtime=0.09 cores=4,6
/proc/24067/stat : 24067 (java) S 24065 24067 22467 0 -1 4202496 9419 0 1 0 8 1 0 0 21 0 18 0 625172558 6584152064 9116 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/24067/statm: 1607459 9116 2057 9 0 1598197 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6429836

[startup+0.300557 s]
/proc/loadavg: 0.92 1.02 1.68 5/198 24068
/proc/meminfo: memFree=31857688/32951124 swapFree=67055708/67111528
[pid=24067] ppid=24065 vsize=6434100 CPUtime=0.46 cores=4,6
/proc/24067/stat : 24067 (java) S 24065 24067 22467 0 -1 4202496 18608 0 1 0 44 2 0 0 21 0 18 0 625172558 6588518400 17442 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/24067/statm: 1608525 17442 2195 9 0 1599263 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 6434100

[startup+0.700499 s]
/proc/loadavg: 0.92 1.02 1.68 5/198 24068
/proc/meminfo: memFree=31857688/32951124 swapFree=67055708/67111528
[pid=24067] ppid=24065 vsize=6431900 CPUtime=0.92 cores=4,6
/proc/24067/stat : 24067 (java) S 24065 24067 22467 0 -1 4202496 55638 0 1 0 86 6 0 0 21 0 18 0 625172558 6586265600 53967 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/24067/statm: 1607975 53967 2208 9 0 1598713 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 6431900

[startup+1.50141 s]
/proc/loadavg: 0.92 1.02 1.68 9/261 24142
/proc/meminfo: memFree=31142072/32951124 swapFree=67055708/67111528
[pid=24067] ppid=24065 vsize=6433572 CPUtime=1.86 cores=4,6
/proc/24067/stat : 24067 (java) S 24065 24067 22467 0 -1 4202496 60826 0 1 0 179 7 0 0 21 0 19 0 625172558 6587977728 58278 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/24067/statm: 1608393 58278 2222 9 0 1599131 0
[pid=24067/tid=24074] ppid=24065 vsize=6433572 CPUtime=1.28 cores=4,6
/proc/24067/task/24074/stat : 24074 (java) R 24065 24067 22467 0 -1 4202560 54546 0 1 0 122 6 0 0 25 0 19 0 625172559 6587977728 58278 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 46912505738351 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24067/tid=24079] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24079/stat : 24079 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 625172560 6587977728 58278 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24080] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24080/stat : 24080 (java) S 24065 24067 22467 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 625172560 6587977728 58278 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24081] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24081/stat : 24081 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172560 6587977728 58278 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24082] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24082/stat : 24082 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172560 6587977728 58278 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24083] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24083/stat : 24083 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172560 6587977728 58278 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24084] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24084/stat : 24084 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172560 6587977728 58278 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24085] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24085/stat : 24085 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172560 6587977728 58278 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24086] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24086/stat : 24086 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172560 6587977728 58278 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24089] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24089/stat : 24089 (java) S 24065 24067 22467 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 625172561 6587977728 58278 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478720 0 0 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24098] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24098/stat : 24098 (java) S 24065 24067 22467 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 625172561 6587977728 58278 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24099] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24099/stat : 24099 (java) S 24065 24067 22467 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 625172561 6587977728 58278 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24103] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24103/stat : 24103 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172563 6587977728 58278 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672485809 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24104] ppid=24065 vsize=6433572 CPUtime=0.28 cores=4,6
/proc/24067/task/24104/stat : 24104 (java) S 24065 24067 22467 0 -1 4202560 1829 0 0 0 28 0 0 0 18 0 19 0 625172563 6587977728 58278 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24105] ppid=24065 vsize=6433572 CPUtime=0.29 cores=4,6
/proc/24067/task/24105/stat : 24105 (java) S 24065 24067 22467 0 -1 4202560 3290 0 0 0 28 1 0 0 20 0 19 0 625172563 6587977728 58278 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24106] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24106/stat : 24106 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172563 6587977728 58278 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24107] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24107/stat : 24107 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 625172563 6587977728 58278 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478720 0 4 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24141] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24141/stat : 24141 (java) S 24065 24067 22467 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 625172644 6587977728 58278 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478720 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 6433572

[startup+3.10107 s]
/proc/loadavg: 0.92 1.02 1.68 5/261 24142
/proc/meminfo: memFree=30655496/32951124 swapFree=67055708/67111528
[pid=24067] ppid=24065 vsize=6433572 CPUtime=3.48 cores=4,6
/proc/24067/stat : 24067 (java) S 24065 24067 22467 0 -1 4202496 61017 0 1 0 340 8 0 0 21 0 19 0 625172558 6587977728 58468 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/24067/statm: 1608393 58468 2225 9 0 1599131 0
[pid=24067/tid=24074] ppid=24065 vsize=6433572 CPUtime=2.87 cores=4,6
/proc/24067/task/24074/stat : 24074 (java) R 24065 24067 22467 0 -1 4202560 54729 0 1 0 280 7 0 0 19 0 19 0 625172559 6587977728 58468 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 46912505662908 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24067/tid=24079] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24079/stat : 24079 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 625172560 6587977728 58468 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24080] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24080/stat : 24080 (java) S 24065 24067 22467 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 625172560 6587977728 58468 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24081] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24081/stat : 24081 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172560 6587977728 58468 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24082] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24082/stat : 24082 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172560 6587977728 58468 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24083] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24083/stat : 24083 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172560 6587977728 58468 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24084] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24084/stat : 24084 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172560 6587977728 58468 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24085] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24085/stat : 24085 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172560 6587977728 58468 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24086] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24086/stat : 24086 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172560 6587977728 58468 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24089] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24089/stat : 24089 (java) S 24065 24067 22467 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 625172561 6587977728 58468 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478720 0 0 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24098] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24098/stat : 24098 (java) S 24065 24067 22467 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 625172561 6587977728 58468 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24099] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24099/stat : 24099 (java) S 24065 24067 22467 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 625172561 6587977728 58468 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24103] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24103/stat : 24103 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172563 6587977728 58468 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672485809 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24104] ppid=24065 vsize=6433572 CPUtime=0.3 cores=4,6
/proc/24067/task/24104/stat : 24104 (java) S 24065 24067 22467 0 -1 4202560 1836 0 0 0 30 0 0 0 15 0 19 0 625172563 6587977728 58468 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24105] ppid=24065 vsize=6433572 CPUtime=0.29 cores=4,6
/proc/24067/task/24105/stat : 24105 (java) S 24065 24067 22467 0 -1 4202560 3290 0 0 0 28 1 0 0 20 0 19 0 625172563 6587977728 58468 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24106] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24106/stat : 24106 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172563 6587977728 58468 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24107] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24107/stat : 24107 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 625172563 6587977728 58468 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478720 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24141] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24141/stat : 24141 (java) S 24065 24067 22467 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 625172644 6587977728 58468 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478720 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 6433572

[startup+6.30156 s]
/proc/loadavg: 1.25 1.09 1.70 10/262 24143
/proc/meminfo: memFree=30173992/32951124 swapFree=67055708/67111528
[pid=24067] ppid=24065 vsize=6433572 CPUtime=6.68 cores=4,6
/proc/24067/stat : 24067 (java) S 24065 24067 22467 0 -1 4202496 61438 0 1 0 660 8 0 0 21 0 19 0 625172558 6587977728 58887 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/24067/statm: 1608393 58887 2225 9 0 1599131 0
[pid=24067/tid=24074] ppid=24065 vsize=6433572 CPUtime=6.07 cores=4,6
/proc/24067/task/24074/stat : 24074 (java) R 24065 24067 22467 0 -1 4202560 55150 0 1 0 600 7 0 0 25 0 19 0 625172559 6587977728 58887 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 46912505658807 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24067/tid=24079] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24079/stat : 24079 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 625172560 6587977728 58887 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24080] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24080/stat : 24080 (java) S 24065 24067 22467 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 625172560 6587977728 58887 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24081] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24081/stat : 24081 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172560 6587977728 58887 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24082] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24082/stat : 24082 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172560 6587977728 58887 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24083] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24083/stat : 24083 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172560 6587977728 58887 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24084] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24084/stat : 24084 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172560 6587977728 58887 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24085] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24085/stat : 24085 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172560 6587977728 58887 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24086] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24086/stat : 24086 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172560 6587977728 58887 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24089] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24089/stat : 24089 (java) S 24065 24067 22467 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 625172561 6587977728 58887 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478720 0 0 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24098] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24098/stat : 24098 (java) S 24065 24067 22467 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 625172561 6587977728 58887 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24099] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24099/stat : 24099 (java) S 24065 24067 22467 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 625172561 6587977728 58887 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24103] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24103/stat : 24103 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172563 6587977728 58887 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672485809 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24104] ppid=24065 vsize=6433572 CPUtime=0.3 cores=4,6
/proc/24067/task/24104/stat : 24104 (java) S 24065 24067 22467 0 -1 4202560 1836 0 0 0 30 0 0 0 15 0 19 0 625172563 6587977728 58887 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24105] ppid=24065 vsize=6433572 CPUtime=0.29 cores=4,6
/proc/24067/task/24105/stat : 24105 (java) S 24065 24067 22467 0 -1 4202560 3290 0 0 0 28 1 0 0 20 0 19 0 625172563 6587977728 58887 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24106] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24106/stat : 24106 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172563 6587977728 58887 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24107] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24107/stat : 24107 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 625172563 6587977728 58887 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478720 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24141] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24141/stat : 24141 (java) S 24065 24067 22467 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 625172644 6587977728 58887 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478720 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.68
Current children cumulated vsize (KiB) 6433572

[startup+12.7014 s]

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

/proc/24067/task/24098/stat : 24098 (java) S 24065 24067 22467 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 625172561 6587977728 706027 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24099] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24099/stat : 24099 (java) S 24065 24067 22467 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 625172561 6587977728 706027 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24103] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24103/stat : 24103 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172563 6587977728 706027 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672485809 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24104] ppid=24065 vsize=6433572 CPUtime=0.33 cores=4,6
/proc/24067/task/24104/stat : 24104 (java) S 24065 24067 22467 0 -1 4202560 1865 0 0 0 33 0 0 0 16 0 19 0 625172563 6587977728 706027 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24105] ppid=24065 vsize=6433572 CPUtime=0.42 cores=4,6
/proc/24067/task/24105/stat : 24105 (java) S 24065 24067 22467 0 -1 4202560 3314 0 0 0 41 1 0 0 15 0 19 0 625172563 6587977728 706027 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24106] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24106/stat : 24106 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172563 6587977728 706027 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24107] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24107/stat : 24107 (java) S 24065 24067 22467 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 625172563 6587977728 706027 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478720 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24141] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24141/stat : 24141 (java) S 24065 24067 22467 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 625172644 6587977728 706027 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478720 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1664.71
Current children cumulated vsize (KiB) 6433572

[startup+1722.3 s]
/proc/loadavg: 4.01 4.05 3.67 5/262 17302
/proc/meminfo: memFree=15833180/32951124 swapFree=67055708/67111528
[pid=24067] ppid=24065 vsize=6433572 CPUtime=1724.7 cores=4,6
/proc/24067/stat : 24067 (java) S 24065 24067 22467 0 -1 4202496 709544 0 1 0 172378 92 0 0 21 0 19 0 625172558 6587977728 706167 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/24067/statm: 1608393 706167 2255 9 0 1599131 0
[pid=24067/tid=24074] ppid=24065 vsize=6433572 CPUtime=1710.68 cores=4,6
/proc/24067/task/24074/stat : 24074 (java) R 24065 24067 22467 0 -1 4202560 322796 0 1 0 171027 41 0 0 25 0 19 0 625172559 6587977728 706167 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 46912505872278 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24067/tid=24079] ppid=24065 vsize=6433572 CPUtime=0.5 cores=4,6
/proc/24067/task/24079/stat : 24079 (java) S 24065 24067 22467 0 -1 4202560 32851 0 0 0 47 3 0 0 16 0 19 0 625172560 6587977728 706167 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24080] ppid=24065 vsize=6433572 CPUtime=0.59 cores=4,6
/proc/24067/task/24080/stat : 24080 (java) S 24065 24067 22467 0 -1 4202560 41500 0 0 0 54 5 0 0 15 0 19 0 625172560 6587977728 706167 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24081] ppid=24065 vsize=6433572 CPUtime=0.6 cores=4,6
/proc/24067/task/24081/stat : 24081 (java) S 24065 24067 22467 0 -1 4202560 68232 0 0 0 50 10 0 0 16 0 19 0 625172560 6587977728 706167 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24082] ppid=24065 vsize=6433572 CPUtime=0.42 cores=4,6
/proc/24067/task/24082/stat : 24082 (java) S 24065 24067 22467 0 -1 4202560 5558 0 0 0 42 0 0 0 16 0 19 0 625172560 6587977728 706167 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24083] ppid=24065 vsize=6433572 CPUtime=0.41 cores=4,6
/proc/24067/task/24083/stat : 24083 (java) S 24065 24067 22467 0 -1 4202560 3394 0 0 0 41 0 0 0 16 0 19 0 625172560 6587977728 706167 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24084] ppid=24065 vsize=6433572 CPUtime=0.34 cores=4,6
/proc/24067/task/24084/stat : 24084 (java) S 24065 24067 22467 0 -1 4202560 60890 0 0 0 27 7 0 0 15 0 19 0 625172560 6587977728 706167 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24085] ppid=24065 vsize=6433572 CPUtime=0.69 cores=4,6
/proc/24067/task/24085/stat : 24085 (java) S 24065 24067 22467 0 -1 4202560 99636 0 0 0 56 13 0 0 15 0 19 0 625172560 6587977728 706167 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24086] ppid=24065 vsize=6433572 CPUtime=0.44 cores=4,6
/proc/24067/task/24086/stat : 24086 (java) S 24065 24067 22467 0 -1 4202560 12950 0 0 0 42 2 0 0 15 0 19 0 625172560 6587977728 706167 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24089] ppid=24065 vsize=6433572 CPUtime=9.17 cores=4,6
/proc/24067/task/24089/stat : 24089 (java) S 24065 24067 22467 0 -1 4202560 55307 0 0 0 912 5 0 0 15 0 19 0 625172561 6587977728 706167 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478720 0 0 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24098] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24098/stat : 24098 (java) S 24065 24067 22467 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 625172561 6587977728 706167 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24099] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24099/stat : 24099 (java) S 24065 24067 22467 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 625172561 6587977728 706167 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24103] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24103/stat : 24103 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172563 6587977728 706167 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672485809 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24104] ppid=24065 vsize=6433572 CPUtime=0.33 cores=4,6
/proc/24067/task/24104/stat : 24104 (java) S 24065 24067 22467 0 -1 4202560 1865 0 0 0 33 0 0 0 16 0 19 0 625172563 6587977728 706167 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24105] ppid=24065 vsize=6433572 CPUtime=0.42 cores=4,6
/proc/24067/task/24105/stat : 24105 (java) S 24065 24067 22467 0 -1 4202560 3314 0 0 0 41 1 0 0 15 0 19 0 625172563 6587977728 706167 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24106] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24106/stat : 24106 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172563 6587977728 706167 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24107] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24107/stat : 24107 (java) S 24065 24067 22467 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 625172563 6587977728 706167 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478720 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24141] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24141/stat : 24141 (java) S 24065 24067 22467 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 625172644 6587977728 706167 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478720 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.7
Current children cumulated vsize (KiB) 6433572

[startup+1782.31 s]
/proc/loadavg: 4.00 4.04 3.69 6/262 18096
/proc/meminfo: memFree=14675796/32951124 swapFree=67055708/67111528
[pid=24067] ppid=24065 vsize=6433572 CPUtime=1785.09 cores=4,6
/proc/24067/stat : 24067 (java) S 24065 24067 22467 0 -1 4202496 940689 0 1 0 178388 121 0 0 21 0 19 0 625172558 6587977728 937078 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/24067/statm: 1608393 937078 2255 9 0 1599131 0
[pid=24067/tid=24074] ppid=24065 vsize=6433572 CPUtime=1770.29 cores=4,6
/proc/24067/task/24074/stat : 24074 (java) R 24065 24067 22467 0 -1 4202560 391347 0 1 0 176980 49 0 0 25 0 19 0 625172559 6587977728 937078 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 46912505738468 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24067/tid=24079] ppid=24065 vsize=6433572 CPUtime=0.5 cores=4,6
/proc/24067/task/24079/stat : 24079 (java) S 24065 24067 22467 0 -1 4202560 32851 0 0 0 47 3 0 0 15 0 19 0 625172560 6587977728 937078 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24080] ppid=24065 vsize=6433572 CPUtime=0.81 cores=4,6
/proc/24067/task/24080/stat : 24080 (java) S 24065 24067 22467 0 -1 4202560 72219 0 0 0 72 9 0 0 16 0 19 0 625172560 6587977728 937078 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24081] ppid=24065 vsize=6433572 CPUtime=0.69 cores=4,6
/proc/24067/task/24081/stat : 24081 (java) S 24065 24067 22467 0 -1 4202560 105991 0 0 0 55 14 0 0 16 0 19 0 625172560 6587977728 937078 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24082] ppid=24065 vsize=6433572 CPUtime=0.42 cores=4,6
/proc/24067/task/24082/stat : 24082 (java) S 24065 24067 22467 0 -1 4202560 5558 0 0 0 42 0 0 0 15 0 19 0 625172560 6587977728 937078 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24083] ppid=24065 vsize=6433572 CPUtime=0.49 cores=4,6
/proc/24067/task/24083/stat : 24083 (java) S 24065 24067 22467 0 -1 4202560 37718 0 0 0 45 4 0 0 16 0 19 0 625172560 6587977728 937078 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24084] ppid=24065 vsize=6433572 CPUtime=0.34 cores=4,6
/proc/24067/task/24084/stat : 24084 (java) S 24065 24067 22467 0 -1 4202560 60890 0 0 0 27 7 0 0 15 0 19 0 625172560 6587977728 937078 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24085] ppid=24065 vsize=6433572 CPUtime=0.85 cores=4,6
/proc/24067/task/24085/stat : 24085 (java) S 24065 24067 22467 0 -1 4202560 151736 0 0 0 66 19 0 0 16 0 19 0 625172560 6587977728 937078 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24086] ppid=24065 vsize=6433572 CPUtime=0.64 cores=4,6
/proc/24067/task/24086/stat : 24086 (java) S 24065 24067 22467 0 -1 4202560 20638 0 0 0 61 3 0 0 16 0 19 0 625172560 6587977728 937078 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24089] ppid=24065 vsize=6433572 CPUtime=9.17 cores=4,6
/proc/24067/task/24089/stat : 24089 (java) S 24065 24067 22467 0 -1 4202560 55309 0 0 0 912 5 0 0 15 0 19 0 625172561 6587977728 937078 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478720 0 0 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24098] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24098/stat : 24098 (java) S 24065 24067 22467 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 625172561 6587977728 937078 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24099] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24099/stat : 24099 (java) S 24065 24067 22467 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 625172561 6587977728 937078 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24103] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24103/stat : 24103 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172563 6587977728 937078 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672485809 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24104] ppid=24065 vsize=6433572 CPUtime=0.33 cores=4,6
/proc/24067/task/24104/stat : 24104 (java) S 24065 24067 22467 0 -1 4202560 1865 0 0 0 33 0 0 0 16 0 19 0 625172563 6587977728 937078 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24105] ppid=24065 vsize=6433572 CPUtime=0.42 cores=4,6
/proc/24067/task/24105/stat : 24105 (java) S 24065 24067 22467 0 -1 4202560 3314 0 0 0 41 1 0 0 15 0 19 0 625172563 6587977728 937078 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24106] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24106/stat : 24106 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172563 6587977728 937078 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24107] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24107/stat : 24107 (java) S 24065 24067 22467 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 625172563 6587977728 937078 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478720 0 4 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24141] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24141/stat : 24141 (java) S 24065 24067 22467 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 625172644 6587977728 937078 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478720 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1785.09
Current children cumulated vsize (KiB) 6433572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.2 s]
/proc/loadavg: 3.91 4.02 3.69 3/222 18271
/proc/meminfo: memFree=23695844/32951124 swapFree=67055708/67111528
[pid=24067] ppid=24065 vsize=6433572 CPUtime=1800.06 cores=4,6
/proc/24067/stat : 24067 (java) S 24065 24067 22467 0 -1 4202496 945145 0 1 0 179885 121 0 0 21 0 19 0 625172558 6587977728 941525 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/24067/statm: 1608393 941525 2255 9 0 1599131 0
[pid=24067/tid=24074] ppid=24065 vsize=6433572 CPUtime=1784.67 cores=4,6
/proc/24067/task/24074/stat : 24074 (java) R 24065 24067 22467 0 -1 4202560 391348 0 1 0 178418 49 0 0 25 0 19 0 625172559 6587977728 941525 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 46912505767925 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24067/tid=24079] ppid=24065 vsize=6433572 CPUtime=0.5 cores=4,6
/proc/24067/task/24079/stat : 24079 (java) S 24065 24067 22467 0 -1 4202560 32851 0 0 0 47 3 0 0 15 0 19 0 625172560 6587977728 941525 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24080] ppid=24065 vsize=6433572 CPUtime=0.81 cores=4,6
/proc/24067/task/24080/stat : 24080 (java) S 24065 24067 22467 0 -1 4202560 72219 0 0 0 72 9 0 0 15 0 19 0 625172560 6587977728 941525 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24081] ppid=24065 vsize=6433572 CPUtime=0.69 cores=4,6
/proc/24067/task/24081/stat : 24081 (java) S 24065 24067 22467 0 -1 4202560 105991 0 0 0 55 14 0 0 15 0 19 0 625172560 6587977728 941525 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24082] ppid=24065 vsize=6433572 CPUtime=0.42 cores=4,6
/proc/24067/task/24082/stat : 24082 (java) S 24065 24067 22467 0 -1 4202560 5558 0 0 0 42 0 0 0 15 0 19 0 625172560 6587977728 941525 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24083] ppid=24065 vsize=6433572 CPUtime=0.49 cores=4,6
/proc/24067/task/24083/stat : 24083 (java) S 24065 24067 22467 0 -1 4202560 37718 0 0 0 45 4 0 0 15 0 19 0 625172560 6587977728 941525 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24084] ppid=24065 vsize=6433572 CPUtime=0.41 cores=4,6
/proc/24067/task/24084/stat : 24084 (java) S 24065 24067 22467 0 -1 4202560 63627 0 0 0 34 7 0 0 15 0 19 0 625172560 6587977728 941525 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24085] ppid=24065 vsize=6433572 CPUtime=0.85 cores=4,6
/proc/24067/task/24085/stat : 24085 (java) S 24065 24067 22467 0 -1 4202560 151736 0 0 0 66 19 0 0 15 0 19 0 625172560 6587977728 941525 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24086] ppid=24065 vsize=6433572 CPUtime=0.72 cores=4,6
/proc/24067/task/24086/stat : 24086 (java) S 24065 24067 22467 0 -1 4202560 22352 0 0 0 69 3 0 0 15 0 19 0 625172560 6587977728 941525 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24089] ppid=24065 vsize=6433572 CPUtime=9.61 cores=4,6
/proc/24067/task/24089/stat : 24089 (java) S 24065 24067 22467 0 -1 4202560 55311 0 0 0 956 5 0 0 15 0 19 0 625172561 6587977728 941525 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478720 0 0 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24098] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24098/stat : 24098 (java) S 24065 24067 22467 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 625172561 6587977728 941525 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24099] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24099/stat : 24099 (java) S 24065 24067 22467 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 625172561 6587977728 941525 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24103] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24103/stat : 24103 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172563 6587977728 941525 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672485809 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24104] ppid=24065 vsize=6433572 CPUtime=0.33 cores=4,6
/proc/24067/task/24104/stat : 24104 (java) S 24065 24067 22467 0 -1 4202560 1865 0 0 0 33 0 0 0 16 0 19 0 625172563 6587977728 941525 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24105] ppid=24065 vsize=6433572 CPUtime=0.42 cores=4,6
/proc/24067/task/24105/stat : 24105 (java) S 24065 24067 22467 0 -1 4202560 3314 0 0 0 41 1 0 0 15 0 19 0 625172563 6587977728 941525 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 4 0 0 0
[pid=24067/tid=24106] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24106/stat : 24106 (java) S 24065 24067 22467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 625172563 6587977728 941525 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478105 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24107] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24107/stat : 24107 (java) S 24065 24067 22467 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 625172563 6587977728 941525 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478720 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
[pid=24067/tid=24141] ppid=24065 vsize=6433572 CPUtime=0 cores=4,6
/proc/24067/task/24141/stat : 24141 (java) S 24065 24067 22467 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 625172644 6587977728 941525 33554432000 1073741824 1073778376 140735249074416 18446744073709551615 268672478720 0 4 0 16800975 18446604453955378112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 6433572

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

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

[startup+1797.31 s]
/proc/loadavg: 3.91 4.02 3.69 3/222 18271
/proc/meminfo: memFree=23695844/32951124 swapFree=67055708/67111528
[pid=24067] ppid=24065 vsize=0 CPUtime=1800.19 cores=4,6
/proc/24067/stat : 24067 (java) Z 24065 24067 22467 0 -1 4203548 945174 0 1 0 179889 130 0 0 17 0 2 0 625172558 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/24067/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1797.36
CPU time (s): 1800.24
CPU user time (s): 1798.9
CPU system time (s): 1.3478
CPU usage (%): 100.161
Max. virtual memory (cumulated for all children) (KiB): 6434100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.3478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 945174
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= 37410
involuntary context switches= 12164

runsolver used 3.2715 second user time and 6.551 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-11 18:30:13
IDJOB=3493704
IDBENCH=82471
IDSOLVER=1972
FILE ID=node107/3493704-1307809813
RUNJOBID= node107-1307809812-24012
PBS_JOBID= 13551069
Free space on /tmp= 74104 MiB

SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf
COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493704-1307809813/watcher-3493704-1307809813 -o /tmp/evaluation-result-3493704-1307809813/solver-3493704-1307809813 -C 1800 -W 1850 -M 7680  java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493704-1307809813.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 2b5c02650b763b7d13b77ce3fc61aa15
RANDOM SEED=1166581624

node107.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.829
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.65
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.829
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	: 5332.75
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.829
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.67
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.829
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.829
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.829
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	: 5359.47
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.829
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.829
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:      31859744 kB
Buffers:        174452 kB
Cached:         658000 kB
SwapCached:      19468 kB
Active:         314120 kB
Inactive:       588176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31859744 kB
SwapTotal:    67111528 kB
SwapFree:     67055708 kB
Dirty:           28364 kB
Writeback:           0 kB
AnonPages:       68376 kB
Mapped:          20652 kB
Slab:           123220 kB
PageTables:       5184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  6429108 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= 74092 MiB
End job on node107 at 2011-06-11 19:00:12