Trace number 238953

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, and are wall clock time (not CPU 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
sat4jCSP 1.7 RC BF3? (TO) 1800.17 1805.56

General information on the benchmark

NameblackHole/BH-4-13/
BlackHole-4-13-e-0_ext.xml
MD5SUMfc5ac11ed4f38c6eb545dd6a6fa0993f
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables208
Number of constraints4218
Maximum constraint arity2
Maximum domain size52
Number of constraints which are defined in extension4218
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.16	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.16	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.17	c version CSP COMPETITION BUGFIX 3
0.17	c sun.arch.data.model	32
0.17	c java.version	1.5.0_10
0.17	c os.name	Linux
0.17	c os.version	2.6.9-22.EL.rootsmp
0.17	c os.arch	i386
0.17	c Free memory 722620888
0.17	c Max memory 723845120
0.17	c Total memory 723845120
0.17	c Number of processors 2
0.26	c --- Begin Solver configuration ---
0.26	c Stops conflict analysis at the first Unique Implication Point
0.26	c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.26	c Learn all clauses as in MiniSAT
0.26	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.26	c VSIDS like heuristics from MiniSAT using a heap
0.26	c No reason simplification
0.26	c --- End Solver configuration ---
0.26	c solving /tmp/evaluation/238953-1168361952/unknown.xml
0.26	c reading problem ... 
0.50	c reading problem named ?
0.50	c reading domains done.
0.51	c reading variables
c reading variables (208) done.
0.79	c reading relations
c reading relations (9) done.
0.99	c reading constraints
c reading constraints done.
3.92	c ... done. Wall clock time 3.654s.
3.92	c CPU time (experimental) 1.78s.
3.92	c #vars     7334
3.92	c #constraints  5530
576.39	c cleaning 111936 clauses out of 223955 for limit 9.560412192219644E11
578.42	c cleaning 56216 clauses out of 112519 for limit 3.1381045112760986E12
579.67	c cleaning 28355 clauses out of 56804 for limit 1.0261355812001273E13
580.93	c cleaning 14427 clauses out of 28950 for limit 3.323728158884337E13
581.72	c cleaning 7463 clauses out of 15022 for limit 1.055279938780428E14
582.19	c cleaning 3978 clauses out of 8060 for limit 3.246764559785967E14
582.44	c cleaning 2289 clauses out of 4583 for limit 9.425977095149249E-6
582.59	c cleaning 1379 clauses out of 2791 for limit 2.5448884609499263E-5
582.71	c cleaning 909 clauses out of 1915 for limit 6.135065913902037E-5
582.82	c cleaning 750 clauses out of 1504 for limit 1.28566268328544E-4
582.92	c cleaning 584 clauses out of 1254 for limit 2.5429230904721196E-4
583.05	c cleaning 539 clauses out of 1169 for limit 4.4940471637782385E-4
583.18	c cleaning 523 clauses out of 1133 for limit 7.669757795948794E-4
583.31	c cleaning 510 clauses out of 1108 for limit 0.0012907991253969626
583.43	c cleaning 504 clauses out of 1097 for limit 0.0021478956107513626
583.52	c cleaning 503 clauses out of 1093 for limit 0.003555130302929546
583.63	c cleaning 506 clauses out of 1092 for limit 0.005880008546172562
1152.94	c cleaning 80759 clauses out of 161581 for limit 358704.5597862169
1154.41	c cleaning 40646 clauses out of 81324 for limit 1177696.455153422
1154.82	c cleaning 20543 clauses out of 41177 for limit 3831940.6356173037
1155.09	c cleaning 10498 clauses out of 21133 for limit 1.2300809619861081E7
1155.31	c cleaning 5506 clauses out of 11137 for limit 3.857016892049962E7
1155.46	c cleaning 3003 clauses out of 6132 for limit 1.1563998140182358E8
1155.77	c cleaning 1743 clauses out of 3626 for limit 3.2153978072685516E8
1155.94	c cleaning 1133 clauses out of 2383 for limit 8.068528840165532E8
1156.03	c cleaning 818 clauses out of 1751 for limit 1.8126862928950624E9
1156.13	c cleaning 711 clauses out of 1433 for limit 3.652737753925281E9
1156.23	c cleaning 608 clauses out of 1221 for limit 7.062694078079699E9
1156.35	c cleaning 550 clauses out of 1114 for limit 1.2778835130231241E10
1156.45	c cleaning 472 clauses out of 1064 for limit 2.206432860716893E10
1156.55	c cleaning 545 clauses out of 1092 for limit 3.545402882767143E10
1156.63	c cleaning 457 clauses out of 1048 for limit 6.098420237910765E10
1156.74	c cleaning 538 clauses out of 1090 for limit 9.65991951455562E10
1156.87	c cleaning 456 clauses out of 1051 for limit 1.6505119197270755E11
1156.96	c cleaning 481 clauses out of 1095 for limit 2.6125412054608658E11
1157.07	c cleaning 491 clauses out of 1114 for limit 4.23494685126528E11
1157.18	c cleaning 555 clauses out of 1127 for limit 6.931116093729945E11
1157.30	c cleaning 472 clauses out of 1068 for limit 1.201361407170268E12
1157.37	c cleaning 509 clauses out of 1096 for limit 1.930590932138305E12
1157.44	c cleaning 493 clauses out of 1088 for limit 3.210423454479888E12
1157.53	c cleaning 490 clauses out of 1095 for limit 5.260572166222113E12
1157.60	c cleaning 548 clauses out of 1104 for limit 8.596059319255229E12
1157.69	c cleaning 527 clauses out of 1057 for limit 1.482121777650323E13
1157.81	c cleaning 457 clauses out of 1029 for limit 2.5082156681189395E13
1157.95	c cleaning 531 clauses out of 1074 for limit 3.971009082567409E13
1158.04	c cleaning 456 clauses out of 1043 for limit 6.743366131091763E13
1158.16	c cleaning 482 clauses out of 1085 for limit 1.0668863876933602E14
1158.25	c cleaning 551 clauses out of 1103 for limit 1.7307258758050884E14
1158.32	c cleaning 475 clauses out of 1053 for limit 2.992718214158587E14
1158.38	c cleaning 475 clauses out of 1079 for limit 4.8212888575325644E14
1158.46	c cleaning 480 clauses out of 1102 for limit 7.769442657973801E14
1158.57	c cleaning 557 clauses out of 1124 for limit 1.258722686037957E15
1158.65	c cleaning 469 clauses out of 1065 for limit 2.1864201769433848E15
1158.73	c cleaning 483 clauses out of 1096 for limit 3.503713343629067E15
1158.82	c cleaning 552 clauses out of 1113 for limit 5.689837247209871E15
1158.91	c cleaning 513 clauses out of 1062 for limit 9.843757136721338E-5
1700.07	c cleaning 88003 clauses out of 176049 for limit 1.0726750634648067E10
1702.82	c cleaning 44253 clauses out of 88546 for limit 3.517132155616061E10
1703.82	c cleaning 22367 clauses out of 44794 for limit 1.1476994864689027E11
1704.60	c cleaning 11422 clauses out of 22927 for limit 3.6979129967994196E11
1705.13	c cleaning 5993 clauses out of 12003 for limit 1.1625214565079688E12
1705.70	c cleaning 3253 clauses out of 6511 for limit 3.537801704890306E12
1705.92	c cleaning 1822 clauses out of 3758 for limit 1.0108350525877602E13
1706.05	c cleaning 1174 clauses out of 2435 for limit 2.5701559677604863E13
1706.19	c cleaning 875 clauses out of 1761 for limit 5.860774011395692E13
1706.34	c cleaning 673 clauses out of 1386 for limit 1.2280243779351864E14
1708.86	c cleaning 3598 clauses out of 7213 for limit 1.5746383247346095E-4
1709.15	c cleaning 2012 clauses out of 4115 for limit 4.5517960757807623E-4
1709.30	c cleaning 1252 clauses out of 2603 for limit 0.0011866820017281709
1709.48	c cleaning 877 clauses out of 1852 for limit 0.002753327928451764
1709.66	c cleaning 693 clauses out of 1474 for limit 0.005699317009382842
1709.81	c cleaning 601 clauses out of 1282 for limit 0.010817394573407906
1709.96	c cleaning 540 clauses out of 1181 for limit 0.019364963637372168
1710.13	c cleaning 523 clauses out of 1141 for limit 0.03305497446689183
1805.44	c starts		: 21
1805.44	c conflicts		: 673329
1805.44	c decisions		: 1023466
1805.44	c propagations		: 42238617
1805.44	c inspects		: 2353820877
1805.44	c learnt literals	: 4
1805.44	c learnt binary clauses	: 0
1805.44	c learnt ternary clauses	: 11
1805.44	c learnt clauses	: 673280
1805.44	c root simplifications	: 0
1805.44	c removed literals (reason simplification)	: 0
1805.44	c reason swapping (by a shorter reason)	: 0
1805.44	c Calls to reduceDB	: 74
1805.44	c speed (decisions/second)	: 568.1235203179599
1805.44	c non guided choices	12338
1805.44	s UNKNOWN
1805.44	c Total wall clock time (in seconds) : 1805.173
1805.44	c Total CPU time (experimental, in seconds) : 0.0

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer: UNKNOWN

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node10/watcher-238953-1168361952 -o ROOT/results/node10/solver-238953-1168361952 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/238953-1168361952/sat4jCSP-bf3.jar /tmp/evaluation/238953-1168361952/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
/proc/loadavg: 2.00 2.00 2.00 4/94 23552
/proc/meminfo: memFree=1735840/2055920 swapFree=4178216/4192956
[pid=23551] ppid=23549 vsize=18540 CPUtime=0
/proc/23551/stat : 23551 (runsolver) R 23549 21442 21442 0 -1 4194368 13 0 0 0 0 0 0 0 20 0 1 0 184590347 18984960 277 18446744073709551615 4194304 4267372 548682068992 18446744073709551615 237710426177 0 0 4096 24578 0 0 0 17 1 0 0
/proc/23551/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.108356 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 23552
/proc/meminfo: memFree=1735840/2055920 swapFree=4178216/4192956
[pid=23551] ppid=23549 vsize=901540 CPUtime=0.08
/proc/23551/stat : 23551 (java) R 23549 23551 21442 0 -1 0 3307 0 1 0 7 1 0 0 21 0 12 0 184590347 923176960 3067 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155126368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23551/statm: 225385 3067 1556 14 0 212109 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 901540

[startup+0.518409 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 23552
/proc/meminfo: memFree=1735840/2055920 swapFree=4178216/4192956
[pid=23551] ppid=23549 vsize=906260 CPUtime=0.51
/proc/23551/stat : 23551 (java) R 23549 23551 21442 0 -1 0 6025 0 1 0 48 3 0 0 18 0 12 0 184590347 928010240 5591 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4151901089 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23551/statm: 226565 5591 2292 14 0 213002 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 906260

[startup+1.34652 s]
/proc/loadavg: 2.08 2.02 2.01 3/105 23563
/proc/meminfo: memFree=1718280/2055920 swapFree=4178216/4192956
[pid=23551] ppid=23549 vsize=906260 CPUtime=1.34
/proc/23551/stat : 23551 (java) R 23549 23551 21442 0 -1 0 7342 0 1 0 130 4 0 0 21 0 12 0 184590347 928010240 6815 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23551/statm: 226565 6815 2325 14 0 213002 0
[pid=23551/tid=23553] ppid=23549 vsize=906260 CPUtime=0
/proc/23551/task/23553/stat : 23553 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 184590350 928010240 6815 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23554] ppid=23549 vsize=906260 CPUtime=0
/proc/23551/task/23554/stat : 23554 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 184590350 928010240 6815 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23555] ppid=23549 vsize=906260 CPUtime=0
/proc/23551/task/23555/stat : 23555 (java) S 23549 23551 21442 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 184590353 928010240 6815 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23556] ppid=23549 vsize=906260 CPUtime=0
/proc/23551/task/23556/stat : 23556 (java) S 23549 23551 21442 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 184590353 928010240 6815 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23557] ppid=23549 vsize=906260 CPUtime=0
/proc/23551/task/23557/stat : 23557 (java) S 23549 23551 21442 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 184590353 928010240 6815 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23558] ppid=23549 vsize=906260 CPUtime=0
/proc/23551/task/23558/stat : 23558 (java) S 23549 23551 21442 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 184590357 928010240 6815 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23559] ppid=23549 vsize=906260 CPUtime=0
/proc/23551/task/23559/stat : 23559 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 184590357 928010240 6815 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23560] ppid=23549 vsize=906260 CPUtime=0.31
/proc/23551/task/23560/stat : 23560 (java) R 23549 23551 21442 0 -1 64 368 0 0 0 31 0 0 0 16 0 12 0 184590357 928010240 6815 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 9372608 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23561] ppid=23549 vsize=906260 CPUtime=0.28
/proc/23551/task/23561/stat : 23561 (java) S 23549 23551 21442 0 -1 64 708 0 0 0 28 0 0 0 16 0 12 0 184590357 928010240 6815 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23562] ppid=23549 vsize=906260 CPUtime=0
/proc/23551/task/23562/stat : 23562 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 184590357 928010240 6815 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23563] ppid=23549 vsize=906260 CPUtime=0
/proc/23551/task/23563/stat : 23563 (java) S 23549 23551 21442 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 184590357 928010240 6815 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 906260

[startup+2.99075 s]
/proc/loadavg: 2.08 2.02 2.01 3/105 23563
/proc/meminfo: memFree=1713992/2055920 swapFree=4178216/4192956
[pid=23551] ppid=23549 vsize=907024 CPUtime=2.97
/proc/23551/stat : 23551 (java) R 23549 23551 21442 0 -1 0 10619 0 1 0 292 5 0 0 25 0 12 0 184590347 928792576 8841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23551/statm: 226756 8841 2334 14 0 213193 0
[pid=23551/tid=23553] ppid=23549 vsize=907024 CPUtime=0
/proc/23551/task/23553/stat : 23553 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 184590350 928792576 8841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23554] ppid=23549 vsize=907024 CPUtime=0
/proc/23551/task/23554/stat : 23554 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 184590350 928792576 8841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23555] ppid=23549 vsize=907024 CPUtime=0
/proc/23551/task/23555/stat : 23555 (java) S 23549 23551 21442 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 184590353 928792576 8841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23556] ppid=23549 vsize=907024 CPUtime=0
/proc/23551/task/23556/stat : 23556 (java) S 23549 23551 21442 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 184590353 928792576 8841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23557] ppid=23549 vsize=907024 CPUtime=0
/proc/23551/task/23557/stat : 23557 (java) S 23549 23551 21442 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 184590353 928792576 8841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23558] ppid=23549 vsize=907024 CPUtime=0
/proc/23551/task/23558/stat : 23558 (java) S 23549 23551 21442 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 184590357 928792576 8841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23559] ppid=23549 vsize=907024 CPUtime=0
/proc/23551/task/23559/stat : 23559 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 184590357 928792576 8841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23560] ppid=23549 vsize=907024 CPUtime=0.93
/proc/23551/task/23560/stat : 23560 (java) S 23549 23551 21442 0 -1 64 1343 0 0 0 93 0 0 0 16 0 12 0 184590357 928792576 8841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23561] ppid=23549 vsize=907024 CPUtime=0.69
/proc/23551/task/23561/stat : 23561 (java) R 23549 23551 21442 0 -1 64 1162 0 0 0 69 0 0 0 16 0 12 0 184590357 928792576 8841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155025428 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23562] ppid=23549 vsize=907024 CPUtime=0
/proc/23551/task/23562/stat : 23562 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 184590357 928792576 8841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23563] ppid=23549 vsize=907024 CPUtime=0
/proc/23551/task/23563/stat : 23563 (java) R 23549 23551 21442 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 184590357 928792576 8841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 907024

[startup+6.20718 s]
/proc/loadavg: 2.07 2.02 2.00 3/106 23564
/proc/meminfo: memFree=1691072/2055920 swapFree=4178216/4192956
[pid=23551] ppid=23549 vsize=907688 CPUtime=6.15
/proc/23551/stat : 23551 (java) R 23549 23551 21442 0 -1 0 16910 0 1 0 606 9 0 0 25 0 13 0 184590347 929472512 14245 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054633198 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23551/statm: 226922 14245 2350 14 0 213359 0
[pid=23551/tid=23553] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23553/stat : 23553 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 184590350 929472512 14245 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23554] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23554/stat : 23554 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 184590350 929472512 14245 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23555] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23555/stat : 23555 (java) S 23549 23551 21442 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 184590353 929472512 14245 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23556] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23556/stat : 23556 (java) S 23549 23551 21442 0 -1 64 8 0 0 0 0 0 0 0 21 0 13 0 184590353 929472512 14245 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23557] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23557/stat : 23557 (java) S 23549 23551 21442 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 184590353 929472512 14245 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23558] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23558/stat : 23558 (java) S 23549 23551 21442 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184590357 929472512 14245 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23559] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23559/stat : 23559 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 184590357 929472512 14245 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23560] ppid=23549 vsize=907688 CPUtime=1.41
/proc/23551/task/23560/stat : 23560 (java) S 23549 23551 21442 0 -1 64 2300 0 0 0 141 0 0 0 15 0 13 0 184590357 929472512 14245 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23561] ppid=23549 vsize=907688 CPUtime=1.23
/proc/23551/task/23561/stat : 23561 (java) S 23549 23551 21442 0 -1 64 1290 0 0 0 123 0 0 0 15 0 13 0 184590357 929472512 14245 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23562] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23562/stat : 23562 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184590357 929472512 14245 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23563] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23563/stat : 23563 (java) S 23549 23551 21442 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184590357 929472512 14245 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23564] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23564/stat : 23564 (java) S 23549 23551 21442 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184590743 929472512 14245 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 907688

[startup+12.7071 s]
/proc/loadavg: 2.07 2.02 2.00 3/106 23564
/proc/meminfo: memFree=1663816/2055920 swapFree=4178216/4192956
[pid=23551] ppid=23549 vsize=907688 CPUtime=12.59
/proc/23551/stat : 23551 (java) R 23549 23551 21442 0 -1 0 23006 0 1 0 1246 13 0 0 25 0 13 0 184590347 929472512 20339 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054674899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23551/statm: 226922 20339 2350 14 0 213359 0
[pid=23551/tid=23553] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23553/stat : 23553 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 184590350 929472512 20339 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23554] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23554/stat : 23554 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 184590350 929472512 20339 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23555] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23555/stat : 23555 (java) S 23549 23551 21442 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 184590353 929472512 20339 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23556] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23556/stat : 23556 (java) S 23549 23551 21442 0 -1 64 8 0 0 0 0 0 0 0 21 0 13 0 184590353 929472512 20339 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23557] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23557/stat : 23557 (java) S 23549 23551 21442 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 184590353 929472512 20339 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23558] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23558/stat : 23558 (java) S 23549 23551 21442 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184590357 929472512 20339 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23559] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23559/stat : 23559 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 184590357 929472512 20339 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23560] ppid=23549 vsize=907688 CPUtime=1.41
/proc/23551/task/23560/stat : 23560 (java) S 23549 23551 21442 0 -1 64 2300 0 0 0 141 0 0 0 16 0 13 0 184590357 929472512 20339 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23561] ppid=23549 vsize=907688 CPUtime=1.25
/proc/23551/task/23561/stat : 23561 (java) S 23549 23551 21442 0 -1 64 1292 0 0 0 125 0 0 0 16 0 13 0 184590357 929472512 20339 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23562] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23562/stat : 23562 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184590357 929472512 20339 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23563] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23563/stat : 23563 (java) S 23549 23551 21442 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184590357 929472512 20339 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23564] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23564/stat : 23564 (java) S 23549 23551 21442 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184590743 929472512 20339 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 907688

[startup+25.5138 s]
/proc/loadavg: 2.06 2.01 2.00 3/106 23564
/proc/meminfo: memFree=1620296/2055920 swapFree=4178216/4192956
[pid=23551] ppid=23549 vsize=907688 CPUtime=25.31
/proc/23551/stat : 23551 (java) R 23549 23551 21442 0 -1 0 34981 0 1 0 2514 17 0 0 25 0 13 0 184590347 929472512 31109 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054674531 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23551/statm: 226922 31109 2358 14 0 213359 0
[pid=23551/tid=23553] ppid=23549 vsize=907688 CPUtime=0.04
/proc/23551/task/23553/stat : 23553 (java) S 23549 23551 21442 0 -1 64 3433 0 0 0 4 0 0 0 17 0 13 0 184590350 929472512 31109 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23554] ppid=23549 vsize=907688 CPUtime=0.06
/proc/23551/task/23554/stat : 23554 (java) S 23549 23551 21442 0 -1 64 8248 0 0 0 4 2 0 0 17 0 13 0 184590350 929472512 31109 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23555] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23555/stat : 23555 (java) S 23549 23551 21442 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 184590353 929472512 31109 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23556] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23556/stat : 23556 (java) S 23549 23551 21442 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 184590353 929472512 31109 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23557] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23557/stat : 23557 (java) S 23549 23551 21442 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184590353 929472512 31109 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23558] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23558/stat : 23558 (java) S 23549 23551 21442 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184590357 929472512 31109 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23559] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23559/stat : 23559 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 184590357 929472512 31109 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23560] ppid=23549 vsize=907688 CPUtime=1.41
/proc/23551/task/23560/stat : 23560 (java) S 23549 23551 21442 0 -1 64 2300 0 0 0 141 0 0 0 16 0 13 0 184590357 929472512 31109 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23561] ppid=23549 vsize=907688 CPUtime=1.25
/proc/23551/task/23561/stat : 23561 (java) S 23549 23551 21442 0 -1 64 1292 0 0 0 125 0 0 0 16 0 13 0 184590357 929472512 31109 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23562] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23562/stat : 23562 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184590357 929472512 31109 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23563] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23563/stat : 23563 (java) S 23549 23551 21442 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184590357 929472512 31109 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23564] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23564/stat : 23564 (java) S 23549 23551 21442 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184590743 929472512 31109 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 907688

[startup+51.2043 s]
/proc/loadavg: 2.03 2.01 2.00 3/106 23564
/proc/meminfo: memFree=1620232/2055920 swapFree=4178216/4192956
[pid=23551] ppid=23549 vsize=907688 CPUtime=50.76
/proc/23551/stat : 23551 (java) R 23549 23551 21442 0 -1 0 34983 0 1 0 5059 17 0 0 25 0 13 0 184590347 929472512 31111 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054709888 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

/proc/loadavg: 2.18 2.06 2.02 3/99 24515
/proc/meminfo: memFree=1047040/2055920 swapFree=4178216/4192956
[pid=23551] ppid=23549 vsize=907688 CPUtime=1599.51
/proc/23551/stat : 23551 (java) R 23549 23551 21442 0 -1 0 199967 0 1 0 159839 112 0 0 25 0 13 0 184590347 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054674257 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23551/statm: 226922 180408 2367 14 0 213359 0
[pid=23551/tid=23553] ppid=23549 vsize=907688 CPUtime=3
/proc/23551/task/23553/stat : 23553 (java) S 23549 23551 21442 0 -1 64 78447 0 0 0 268 32 0 0 17 0 13 0 184590350 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23551/tid=23554] ppid=23549 vsize=907688 CPUtime=3.07
/proc/23551/task/23554/stat : 23554 (java) S 23549 23551 21442 0 -1 64 92067 0 0 0 265 42 0 0 17 0 13 0 184590350 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23551/tid=23555] ppid=23549 vsize=907688 CPUtime=0.64
/proc/23551/task/23555/stat : 23555 (java) S 23549 23551 21442 0 -1 64 6093 0 0 0 62 2 0 0 16 0 13 0 184590353 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23551/tid=23556] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23556/stat : 23556 (java) S 23549 23551 21442 0 -1 64 8 0 0 0 0 0 0 0 17 0 13 0 184590353 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23557] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23557/stat : 23557 (java) S 23549 23551 21442 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184590353 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23558] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23558/stat : 23558 (java) S 23549 23551 21442 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184590357 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23559] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23559/stat : 23559 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 184590357 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23560] ppid=23549 vsize=907688 CPUtime=1.51
/proc/23551/task/23560/stat : 23560 (java) S 23549 23551 21442 0 -1 64 2307 0 0 0 151 0 0 0 16 0 13 0 184590357 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23561] ppid=23549 vsize=907688 CPUtime=1.37
/proc/23551/task/23561/stat : 23561 (java) S 23549 23551 21442 0 -1 64 1293 0 0 0 137 0 0 0 16 0 13 0 184590357 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23562] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23562/stat : 23562 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184590357 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23563] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23563/stat : 23563 (java) S 23549 23551 21442 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184590357 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23551/tid=23564] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23564/stat : 23564 (java) S 23549 23551 21442 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184590743 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.51
Current children cumulated vsize (KiB) 907688

[startup+1664.21 s]
/proc/loadavg: 2.22 2.08 2.02 3/99 24515
/proc/meminfo: memFree=1047040/2055920 swapFree=4178216/4192956
[pid=23551] ppid=23549 vsize=907688 CPUtime=1659.45
/proc/23551/stat : 23551 (java) R 23549 23551 21442 0 -1 0 199969 0 1 0 165832 113 0 0 25 0 13 0 184590347 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054674257 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23551/statm: 226922 180408 2367 14 0 213359 0
[pid=23551/tid=23553] ppid=23549 vsize=907688 CPUtime=3.12
/proc/23551/task/23553/stat : 23553 (java) S 23549 23551 21442 0 -1 64 78447 0 0 0 280 32 0 0 16 0 13 0 184590350 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23554] ppid=23549 vsize=907688 CPUtime=3.18
/proc/23551/task/23554/stat : 23554 (java) S 23549 23551 21442 0 -1 64 92067 0 0 0 276 42 0 0 16 0 13 0 184590350 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23551/tid=23555] ppid=23549 vsize=907688 CPUtime=0.64
/proc/23551/task/23555/stat : 23555 (java) S 23549 23551 21442 0 -1 64 6093 0 0 0 62 2 0 0 16 0 13 0 184590353 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23556] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23556/stat : 23556 (java) S 23549 23551 21442 0 -1 64 8 0 0 0 0 0 0 0 17 0 13 0 184590353 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23557] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23557/stat : 23557 (java) S 23549 23551 21442 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184590353 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23558] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23558/stat : 23558 (java) S 23549 23551 21442 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184590357 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23559] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23559/stat : 23559 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 184590357 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23560] ppid=23549 vsize=907688 CPUtime=1.51
/proc/23551/task/23560/stat : 23560 (java) S 23549 23551 21442 0 -1 64 2307 0 0 0 151 0 0 0 16 0 13 0 184590357 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23561] ppid=23549 vsize=907688 CPUtime=1.37
/proc/23551/task/23561/stat : 23561 (java) S 23549 23551 21442 0 -1 64 1293 0 0 0 137 0 0 0 16 0 13 0 184590357 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23562] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23562/stat : 23562 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184590357 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23563] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23563/stat : 23563 (java) S 23549 23551 21442 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184590357 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23551/tid=23564] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23564/stat : 23564 (java) S 23549 23551 21442 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184590743 929472512 180408 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1659.45
Current children cumulated vsize (KiB) 907688

[startup+1724.28 s]
/proc/loadavg: 2.15 2.08 2.02 3/99 24515
/proc/meminfo: memFree=1058368/2055920 swapFree=4178216/4192956
[pid=23551] ppid=23549 vsize=907688 CPUtime=1719
/proc/23551/stat : 23551 (java) R 23549 23551 21442 0 -1 0 199975 0 1 0 171786 114 0 0 25 0 13 0 184590347 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054636314 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23551/statm: 226922 177537 2367 14 0 213359 0
[pid=23551/tid=23553] ppid=23549 vsize=907688 CPUtime=3.31
/proc/23551/task/23553/stat : 23553 (java) S 23549 23551 21442 0 -1 64 78447 0 0 0 299 32 0 0 17 0 13 0 184590350 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23554] ppid=23549 vsize=907688 CPUtime=3.34
/proc/23551/task/23554/stat : 23554 (java) S 23549 23551 21442 0 -1 64 92067 0 0 0 292 42 0 0 17 0 13 0 184590350 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23555] ppid=23549 vsize=907688 CPUtime=0.82
/proc/23551/task/23555/stat : 23555 (java) S 23549 23551 21442 0 -1 64 6093 0 0 0 80 2 0 0 16 0 13 0 184590353 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23556] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23556/stat : 23556 (java) S 23549 23551 21442 0 -1 64 8 0 0 0 0 0 0 0 17 0 13 0 184590353 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23557] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23557/stat : 23557 (java) S 23549 23551 21442 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184590353 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23558] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23558/stat : 23558 (java) S 23549 23551 21442 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184590357 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23559] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23559/stat : 23559 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 184590357 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23560] ppid=23549 vsize=907688 CPUtime=1.51
/proc/23551/task/23560/stat : 23560 (java) S 23549 23551 21442 0 -1 64 2307 0 0 0 151 0 0 0 16 0 13 0 184590357 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23561] ppid=23549 vsize=907688 CPUtime=1.4
/proc/23551/task/23561/stat : 23561 (java) S 23549 23551 21442 0 -1 64 1294 0 0 0 140 0 0 0 17 0 13 0 184590357 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23562] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23562/stat : 23562 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184590357 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23563] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23563/stat : 23563 (java) S 23549 23551 21442 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184590357 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23551/tid=23564] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23564/stat : 23564 (java) S 23549 23551 21442 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184590743 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719
Current children cumulated vsize (KiB) 907688

[startup+1784.36 s]
/proc/loadavg: 2.15 2.09 2.03 3/99 24515
/proc/meminfo: memFree=1058432/2055920 swapFree=4178216/4192956
[pid=23551] ppid=23549 vsize=907688 CPUtime=1778.98
/proc/23551/stat : 23551 (java) R 23549 23551 21442 0 -1 0 199994 0 1 0 177784 114 0 0 25 0 13 0 184590347 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054674510 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23551/statm: 226922 177537 2367 14 0 213359 0
[pid=23551/tid=23553] ppid=23549 vsize=907688 CPUtime=3.58
/proc/23551/task/23553/stat : 23553 (java) S 23549 23551 21442 0 -1 64 78458 0 0 0 326 32 0 0 17 0 13 0 184590350 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23551/tid=23554] ppid=23549 vsize=907688 CPUtime=3.57
/proc/23551/task/23554/stat : 23554 (java) S 23549 23551 21442 0 -1 64 92070 0 0 0 315 42 0 0 17 0 13 0 184590350 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23551/tid=23555] ppid=23549 vsize=907688 CPUtime=0.82
/proc/23551/task/23555/stat : 23555 (java) S 23549 23551 21442 0 -1 64 6093 0 0 0 80 2 0 0 16 0 13 0 184590353 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23551/tid=23556] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23556/stat : 23556 (java) S 23549 23551 21442 0 -1 64 8 0 0 0 0 0 0 0 17 0 13 0 184590353 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23557] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23557/stat : 23557 (java) S 23549 23551 21442 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184590353 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23558] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23558/stat : 23558 (java) S 23549 23551 21442 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184590357 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23559] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23559/stat : 23559 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 184590357 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23560] ppid=23549 vsize=907688 CPUtime=1.51
/proc/23551/task/23560/stat : 23560 (java) S 23549 23551 21442 0 -1 64 2307 0 0 0 151 0 0 0 16 0 13 0 184590357 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23561] ppid=23549 vsize=907688 CPUtime=1.4
/proc/23551/task/23561/stat : 23561 (java) S 23549 23551 21442 0 -1 64 1294 0 0 0 140 0 0 0 17 0 13 0 184590357 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23562] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23562/stat : 23562 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184590357 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23563] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23563/stat : 23563 (java) S 23549 23551 21442 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184590357 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23551/tid=23564] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23564/stat : 23564 (java) S 23549 23551 21442 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184590743 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.98
Current children cumulated vsize (KiB) 907688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.43 s]
/proc/loadavg: 2.23 2.11 2.03 4/99 24515
/proc/meminfo: memFree=1058432/2055920 swapFree=4178216/4192956
[pid=23551] ppid=23549 vsize=907688 CPUtime=1800.04
/proc/23551/stat : 23551 (java) R 23549 23551 21442 0 -1 0 199995 0 1 0 179890 114 0 0 25 0 13 0 184590347 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054739867 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23551/statm: 226922 177537 2367 14 0 213359 0
[pid=23551/tid=23553] ppid=23549 vsize=907688 CPUtime=3.63
/proc/23551/task/23553/stat : 23553 (java) S 23549 23551 21442 0 -1 64 78458 0 0 0 331 32 0 0 17 0 13 0 184590350 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23551/tid=23554] ppid=23549 vsize=907688 CPUtime=3.61
/proc/23551/task/23554/stat : 23554 (java) S 23549 23551 21442 0 -1 64 92070 0 0 0 319 42 0 0 17 0 13 0 184590350 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23551/tid=23555] ppid=23549 vsize=907688 CPUtime=0.82
/proc/23551/task/23555/stat : 23555 (java) S 23549 23551 21442 0 -1 64 6093 0 0 0 80 2 0 0 16 0 13 0 184590353 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23551/tid=23556] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23556/stat : 23556 (java) S 23549 23551 21442 0 -1 64 8 0 0 0 0 0 0 0 17 0 13 0 184590353 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23557] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23557/stat : 23557 (java) S 23549 23551 21442 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184590353 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23558] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23558/stat : 23558 (java) S 23549 23551 21442 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184590357 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23559] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23559/stat : 23559 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 184590357 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23560] ppid=23549 vsize=907688 CPUtime=1.51
/proc/23551/task/23560/stat : 23560 (java) S 23549 23551 21442 0 -1 64 2307 0 0 0 151 0 0 0 16 0 13 0 184590357 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23561] ppid=23549 vsize=907688 CPUtime=1.4
/proc/23551/task/23561/stat : 23561 (java) S 23549 23551 21442 0 -1 64 1294 0 0 0 140 0 0 0 17 0 13 0 184590357 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23562] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23562/stat : 23562 (java) S 23549 23551 21442 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184590357 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23551/tid=23563] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23563/stat : 23563 (java) S 23549 23551 21442 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184590357 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23551/tid=23564] ppid=23549 vsize=907688 CPUtime=0
/proc/23551/task/23564/stat : 23564 (java) S 23549 23551 21442 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184590743 929472512 177537 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 907688

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

Child status: 143
Real time (s): 1805.56
CPU time (s): 1800.17
CPU user time (s): 1798.93
CPU system time (s): 1.24681
CPU usage (%): 99.7018
Max. virtual memory (cumulated for all children) (KiB): 908692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.93
system time used= 1.24681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200014
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= 38385
involuntary context switches= 74052

runsolver used 2.15767 s user time and 5.99909 s system time

The end

Launcher Data (download as text)

Begin job on node10 on Tue Jan  9 16:59:12 UTC 2007


IDJOB= 238953
IDBENCH= 7029
FILE ID= node10/238953-1168361952

PBS_JOBID= 3503735

Free space on /tmp= 66560 MiB

BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-13/BlackHole-4-13-e-0_ext.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/238953-1168361952/sat4jCSP-bf3.jar /tmp/evaluation/238953-1168361952/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-238953-1168361952 -o ROOT/results/node10/solver-238953-1168361952 -C 1800 -M 900  java -server -Xmx700M -Xms700M -jar /tmp/evaluation/238953-1168361952/sat4jCSP-bf3.jar /tmp/evaluation/238953-1168361952/unknown.xml

META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH=  fc5ac11ed4f38c6eb545dd6a6fa0993f

RANDOM SEED= 381211905

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1736320 kB
Buffers:         50692 kB
Cached:         127320 kB
SwapCached:       2596 kB
Active:         160624 kB
Inactive:       102632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1736320 kB
SwapTotal:     4192956 kB
SwapFree:      4178216 kB
Dirty:            2696 kB
Writeback:           0 kB
Mapped:         101884 kB
Slab:            41096 kB
Committed_AS:  5278740 kB
PageTables:       2384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66546 MiB



End job on node10 on Tue Jan  9 17:29:18 UTC 2007