Trace number 238934

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.22 1810.82

General information on the benchmark

NameblackHole/BH-4-13/
BlackHole-4-13-m-2_ext.xml
MD5SUM788076105474c4514c48ffcdd90f49b4
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.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.14	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.15	c version CSP COMPETITION BUGFIX 3
0.15	c sun.arch.data.model	32
0.15	c java.version	1.5.0_10
0.15	c os.name	Linux
0.15	c os.version	2.6.9-22.EL.rootsmp
0.15	c os.arch	i386
0.15	c Free memory 722620888
0.15	c Max memory 723845120
0.15	c Total memory 723845120
0.15	c Number of processors 2
0.24	c --- Begin Solver configuration ---
0.24	c Stops conflict analysis at the first Unique Implication Point
0.24	c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.24	c Learn all clauses as in MiniSAT
0.24	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.24	c VSIDS like heuristics from MiniSAT using a heap
0.24	c No reason simplification
0.24	c --- End Solver configuration ---
0.24	c solving /tmp/evaluation/238934-1168361674/unknown.xml
0.24	c reading problem ... 
0.49	c reading problem named ?
0.49	c reading domains done.
0.50	c reading variables
c reading variables (208) done.
0.75	c reading relations
c reading relations (9) done.
0.94	c reading constraints
c reading constraints done.
3.63	c ... done. Wall clock time 3.396s.
3.63	c CPU time (experimental) 1.65s.
3.63	c #vars     7334
3.63	c #constraints  5530
598.26	c cleaning 124954 clauses out of 249956 for limit 1700.2565245929936
601.02	c cleaning 62750 clauses out of 125502 for limit 5584.486641687897
602.75	c cleaning 31591 clauses out of 63251 for limit 18255.254097738085
604.36	c cleaning 16039 clauses out of 32160 for limit 59210.00876649266
605.59	c cleaning 8278 clauses out of 16623 for limit 189289.56410341468
606.20	c cleaning 4392 clauses out of 8844 for limit 586149.9298473699
606.45	c cleaning 2433 clauses out of 4952 for limit 1726365.316514777
606.70	c cleaning 1505 clauses out of 3018 for limit 4666760.121356163
606.78	c cleaning 1001 clauses out of 2015 for limit 1.155006886349643E7
606.90	c cleaning 720 clauses out of 1514 for limit 2.5350681323247164E7
607.01	c cleaning 603 clauses out of 1292 for limit 4.889223166048575E7
607.10	c cleaning 584 clauses out of 1189 for limit 8.761458474052677E7
607.22	c cleaning 545 clauses out of 1110 for limit 1.555477482832498E8
607.32	c cleaning 509 clauses out of 1061 for limit 2.6729397122472075E8
607.42	c cleaning 478 clauses out of 1052 for limit 4.445746492429992E8
1189.74	c cleaning 86771 clauses out of 173576 for limit 39.9831206069371
1192.40	c cleaning 43635 clauses out of 87302 for limit 130.7056982675465
1193.27	c cleaning 22061 clauses out of 44168 for limit 426.4826610166093
1193.80	c cleaning 11283 clauses out of 22607 for limit 1374.1117906319337
1194.27	c cleaning 5883 clauses out of 11823 for limit 4328.711940137965
1194.68	c cleaning 3177 clauses out of 6440 for limit 13105.584510873843
1195.04	c cleaning 1823 clauses out of 3763 for limit 36988.26252285729
1195.17	c cleaning 1162 clauses out of 2440 for limit 94072.83026256654
1197.01	c cleaning 2833 clauses out of 5778 for limit 3584094.750008906
1197.17	c cleaning 1647 clauses out of 3445 for limit 9913423.978432683
1197.30	c cleaning 1073 clauses out of 2300 for limit 2.4536351315231048E7
1197.44	c cleaning 793 clauses out of 1725 for limit 5.384378499390606E7
1197.56	c cleaning 714 clauses out of 1436 for limit 1.0709376205365783E8
1197.71	c cleaning 586 clauses out of 1218 for limit 2.0739064701587245E8
1197.82	c cleaning 495 clauses out of 1132 for limit 3.679983868949168E8
1197.94	c cleaning 493 clauses out of 1137 for limit 6.042097987373216E8
1198.08	c cleaning 561 clauses out of 1145 for limit 9.904513332504966E8
1198.29	c cleaning 538 clauses out of 1084 for limit 1.7253024237140684E9
1198.37	c cleaning 444 clauses out of 1046 for limit 2.9486193898950777E9
1198.46	c cleaning 547 clauses out of 1101 for limit 4.615135515853461E9
1198.54	c cleaning 526 clauses out of 1054 for limit 7.958323057436875E9
1198.66	c cleaning 510 clauses out of 1028 for limit 1.3456277911429474E10
1198.79	c cleaning 508 clauses out of 1017 for limit 2.240879403775475E10
1198.91	c cleaning 501 clauses out of 1010 for limit 3.724847208482122E10
1199.04	c cleaning 496 clauses out of 1011 for limit 6.148987237367737E10
1700.99	c cleaning 76251 clauses out of 152514 for limit 4.5248081980885486E-6
1701.80	c cleaning 38367 clauses out of 76763 for limit 1.4825653098329133E-5
1702.27	c cleaning 19442 clauses out of 38894 for limit 4.8158175687349816E-5
1702.64	c cleaning 9967 clauses out of 19952 for limit 1.5481822626796455E-4
1703.01	c cleaning 5238 clauses out of 10488 for limit 4.871640892497906E-4
1703.19	c cleaning 2856 clauses out of 5747 for limit 0.0014617701882426151
1703.27	c cleaning 1670 clauses out of 3391 for limit 0.004085529915442591
1703.37	c cleaning 1070 clauses out of 2221 for limit 0.010286876197064742
1703.47	c cleaning 791 clauses out of 1653 for limit 0.022839370445293196
1703.55	c cleaning 642 clauses out of 1360 for limit 0.04568829352668527
1703.64	c cleaning 569 clauses out of 1219 for limit 0.08414543091955384
1703.72	c cleaning 535 clauses out of 1149 for limit 0.1470738939482042
1703.78	c cleaning 519 clauses out of 1114 for limit 0.2501648660098033
1703.86	c cleaning 513 clauses out of 1096 for limit 0.4197506248812887
1703.93	c cleaning 525 clauses out of 1082 for limit 0.7004804517260566
1703.99	c cleaning 511 clauses out of 1058 for limit 1.1825731433902158
1704.07	c cleaning 508 clauses out of 1046 for limit 1.970622196356128
1704.14	c cleaning 497 clauses out of 1040 for limit 3.2751155422672658
1704.20	c cleaning 502 clauses out of 1042 for limit 5.3853461277899335
1704.26	c cleaning 487 clauses out of 1040 for limit 8.89823534998649
1704.33	c cleaning 500 clauses out of 1052 for limit 14.492485114192434
1704.42	c cleaning 507 clauses out of 1059 for limit 23.90892843628303
1704.51	c cleaning 501 clauses out of 1047 for limit 39.68192378675078
1704.59	c cleaning 496 clauses out of 1045 for limit 65.5004803826314
1704.69	c cleaning 497 clauses out of 1049 for limit 107.60716120842505
1704.77	c cleaning 499 clauses out of 1051 for limit 176.94378857669133
1704.86	c cleaning 504 clauses out of 1056 for limit 291.5869302194833
1708.11	c cleaning 6001 clauses out of 12049 for limit 2529663.9600388105
1708.32	c cleaning 3242 clauses out of 6548 for limit 7676461.110227831
1708.43	c cleaning 1891 clauses out of 3809 for limit 2.1828212573096078E7
1708.52	c cleaning 1205 clauses out of 2416 for limit 5.6639456937766165E7
1708.68	c cleaning 841 clauses out of 1709 for limit 1.317834313263052E8
1708.77	c cleaning 681 clauses out of 1369 for limit 2.71575022832075E8
1708.89	c cleaning 573 clauses out of 1187 for limit 5.160169044617001E8
1708.97	c cleaning 553 clauses out of 1114 for limit 9.067453649605291E8
1709.07	c cleaning 527 clauses out of 1061 for limit 1.5700411608630936E9
1709.19	c cleaning 511 clauses out of 1034 for limit 2.6568177883552966E9
1709.28	c cleaning 500 clauses out of 1023 for limit 4.428560299332768E9
1709.39	c cleaning 501 clauses out of 1023 for limit 7.3032883757973585E9
1810.67	c starts		: 21
1810.67	c conflicts		: 715458
1810.67	c decisions		: 1125482
1810.67	c propagations		: 48264328
1810.67	c inspects		: 2303296913
1810.67	c learnt literals	: 3
1810.67	c learnt binary clauses	: 0
1810.67	c learnt ternary clauses	: 5
1810.67	c learnt clauses	: 715412
1810.67	c root simplifications	: 0
1810.67	c removed literals (reason simplification)	: 0
1810.67	c reason swapping (by a shorter reason)	: 0
1810.67	c Calls to reduceDB	: 79
1810.67	c speed (decisions/second)	: 622.8435323402357
1810.67	c non guided choices	11443
1810.67	s UNKNOWN
1810.67	c Total wall clock time (in seconds) : 1810.433
1810.67	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/node34/watcher-238934-1168361674 -o ROOT/results/node34/solver-238934-1168361674 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/238934-1168361674/sat4jCSP-bf3.jar /tmp/evaluation/238934-1168361674/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
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.01 1.99 1.82 4/85 13312
/proc/meminfo: memFree=1761256/2055920 swapFree=4192812/4192956
[pid=13311] ppid=13309 vsize=1784 CPUtime=0
/proc/13311/stat : 13311 (java) D 13309 13311 11806 0 -1 0 342 0 0 0 0 0 0 0 18 0 1 0 184561128 1826816 151 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 7721764 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/13311/statm: 446 151 116 14 0 91 0

[startup+0.104215 s]
/proc/loadavg: 2.01 1.99 1.82 4/85 13312
/proc/meminfo: memFree=1761256/2055920 swapFree=4192812/4192956
[pid=13311] ppid=13309 vsize=901540 CPUtime=0.08
/proc/13311/stat : 13311 (java) R 13309 13311 11806 0 -1 0 3357 0 1 0 7 1 0 0 24 0 12 0 184561128 923176960 3117 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13311/statm: 225385 3117 1568 14 0 212109 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 901540

[startup+0.512246 s]
/proc/loadavg: 2.01 1.99 1.82 4/85 13312
/proc/meminfo: memFree=1761256/2055920 swapFree=4192812/4192956
[pid=13311] ppid=13309 vsize=905236 CPUtime=0.49
/proc/13311/stat : 13311 (java) R 13309 13311 11806 0 -1 0 5982 0 1 0 46 3 0 0 25 0 12 0 184561128 926961664 5576 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13311/statm: 226309 5576 2295 14 0 212746 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 905236

[startup+1.33532 s]
/proc/loadavg: 2.01 1.99 1.82 4/96 13323
/proc/meminfo: memFree=1700496/2055920 swapFree=4192812/4192956
[pid=13311] ppid=13309 vsize=905236 CPUtime=1.31
/proc/13311/stat : 13311 (java) R 13309 13311 11806 0 -1 0 7347 0 1 0 127 4 0 0 25 0 12 0 184561128 926961664 6848 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4053845624 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13311/statm: 226309 6848 2333 14 0 212746 0
[pid=13311/tid=13313] ppid=13309 vsize=905236 CPUtime=0
/proc/13311/task/13313/stat : 13313 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 184561131 926961664 6848 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13314] ppid=13309 vsize=905236 CPUtime=0
/proc/13311/task/13314/stat : 13314 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 184561131 926961664 6848 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13315] ppid=13309 vsize=905236 CPUtime=0
/proc/13311/task/13315/stat : 13315 (java) S 13309 13311 11806 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 184561134 926961664 6848 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13316] ppid=13309 vsize=905236 CPUtime=0
/proc/13311/task/13316/stat : 13316 (java) S 13309 13311 11806 0 -1 64 8 0 0 0 0 0 0 0 22 0 12 0 184561134 926961664 6848 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13317] ppid=13309 vsize=905236 CPUtime=0
/proc/13311/task/13317/stat : 13317 (java) S 13309 13311 11806 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 184561134 926961664 6849 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13318] ppid=13309 vsize=905236 CPUtime=0
/proc/13311/task/13318/stat : 13318 (java) S 13309 13311 11806 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 184561138 926961664 6849 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13319] ppid=13309 vsize=905236 CPUtime=0
/proc/13311/task/13319/stat : 13319 (java) S 13309 13311 11806 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 184561138 926961664 6850 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13320] ppid=13309 vsize=905236 CPUtime=0.32
/proc/13311/task/13320/stat : 13320 (java) S 13309 13311 11806 0 -1 64 339 0 0 0 32 0 0 0 16 0 12 0 184561138 926961664 6850 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13321] ppid=13309 vsize=905236 CPUtime=0.28
/proc/13311/task/13321/stat : 13321 (java) S 13309 13311 11806 0 -1 64 703 0 0 0 28 0 0 0 16 0 12 0 184561138 926961664 6850 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13322] ppid=13309 vsize=905236 CPUtime=0
/proc/13311/task/13322/stat : 13322 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 184561138 926961664 6850 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13323] ppid=13309 vsize=905236 CPUtime=0
/proc/13311/task/13323/stat : 13323 (java) S 13309 13311 11806 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 184561138 926961664 6850 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 905236

[startup+2.98845 s]
/proc/loadavg: 2.01 1.99 1.82 3/96 13323
/proc/meminfo: memFree=1695568/2055920 swapFree=4192812/4192956
[pid=13311] ppid=13309 vsize=905480 CPUtime=2.96
/proc/13311/stat : 13311 (java) R 13309 13311 11806 0 -1 0 11274 0 1 0 290 6 0 0 25 0 12 0 184561128 927211520 9472 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4053870926 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13311/statm: 226370 9472 2334 14 0 212807 0
[pid=13311/tid=13313] ppid=13309 vsize=905480 CPUtime=0
/proc/13311/task/13313/stat : 13313 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 184561131 927211520 9472 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13314] ppid=13309 vsize=905480 CPUtime=0
/proc/13311/task/13314/stat : 13314 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 184561131 927211520 9472 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13315] ppid=13309 vsize=905480 CPUtime=0
/proc/13311/task/13315/stat : 13315 (java) S 13309 13311 11806 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 184561134 927211520 9472 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13316] ppid=13309 vsize=905480 CPUtime=0
/proc/13311/task/13316/stat : 13316 (java) S 13309 13311 11806 0 -1 64 8 0 0 0 0 0 0 0 22 0 12 0 184561134 927211520 9472 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13317] ppid=13309 vsize=905480 CPUtime=0
/proc/13311/task/13317/stat : 13317 (java) S 13309 13311 11806 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 184561134 927211520 9472 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13318] ppid=13309 vsize=905480 CPUtime=0
/proc/13311/task/13318/stat : 13318 (java) S 13309 13311 11806 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 184561138 927211520 9472 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13319] ppid=13309 vsize=905480 CPUtime=0.01
/proc/13311/task/13319/stat : 13319 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 1 0 0 0 16 0 12 0 184561138 927211520 9473 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13320] ppid=13309 vsize=905480 CPUtime=0.9
/proc/13311/task/13320/stat : 13320 (java) S 13309 13311 11806 0 -1 64 1343 0 0 0 90 0 0 0 16 0 12 0 184561138 927211520 9473 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13321] ppid=13309 vsize=905480 CPUtime=0.7
/proc/13311/task/13321/stat : 13321 (java) S 13309 13311 11806 0 -1 64 1147 0 0 0 70 0 0 0 16 0 12 0 184561138 927211520 9473 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13322] ppid=13309 vsize=905480 CPUtime=0
/proc/13311/task/13322/stat : 13322 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 184561138 927211520 9473 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13323] ppid=13309 vsize=905480 CPUtime=0
/proc/13311/task/13323/stat : 13323 (java) S 13309 13311 11806 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 184561138 927211520 9473 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 905480

[startup+6.18871 s]
/proc/loadavg: 2.08 2.00 1.83 3/97 13324
/proc/meminfo: memFree=1670544/2055920 swapFree=4192812/4192956
[pid=13311] ppid=13309 vsize=907408 CPUtime=6.16
/proc/13311/stat : 13311 (java) R 13309 13311 11806 0 -1 0 17050 0 1 0 607 9 0 0 25 0 13 0 184561128 929185792 14745 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13311/statm: 226852 14745 2350 14 0 213289 0
[pid=13311/tid=13313] ppid=13309 vsize=907408 CPUtime=0
/proc/13311/task/13313/stat : 13313 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 184561131 929185792 14745 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13314] ppid=13309 vsize=907408 CPUtime=0
/proc/13311/task/13314/stat : 13314 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 184561131 929185792 14745 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13315] ppid=13309 vsize=907408 CPUtime=0
/proc/13311/task/13315/stat : 13315 (java) S 13309 13311 11806 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 184561134 929185792 14745 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13316] ppid=13309 vsize=907408 CPUtime=0
/proc/13311/task/13316/stat : 13316 (java) S 13309 13311 11806 0 -1 64 8 0 0 0 0 0 0 0 22 0 13 0 184561134 929185792 14745 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13317] ppid=13309 vsize=907408 CPUtime=0
/proc/13311/task/13317/stat : 13317 (java) S 13309 13311 11806 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184561134 929185792 14745 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13318] ppid=13309 vsize=907408 CPUtime=0
/proc/13311/task/13318/stat : 13318 (java) S 13309 13311 11806 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 184561138 929185792 14745 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13319] ppid=13309 vsize=907408 CPUtime=0.01
/proc/13311/task/13319/stat : 13319 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 184561138 929185792 14745 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13320] ppid=13309 vsize=907408 CPUtime=1.36
/proc/13311/task/13320/stat : 13320 (java) S 13309 13311 11806 0 -1 64 2221 0 0 0 135 1 0 0 15 0 13 0 184561138 929185792 14745 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13321] ppid=13309 vsize=907408 CPUtime=1.1
/proc/13311/task/13321/stat : 13321 (java) R 13309 13311 11806 0 -1 64 1188 0 0 0 110 0 0 0 16 0 13 0 184561138 929185792 14745 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155416768 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13322] ppid=13309 vsize=907408 CPUtime=0
/proc/13311/task/13322/stat : 13322 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 184561138 929185792 14745 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13323] ppid=13309 vsize=907408 CPUtime=0
/proc/13311/task/13323/stat : 13323 (java) S 13309 13311 11806 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184561138 929185792 14745 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13324] ppid=13309 vsize=907408 CPUtime=0
/proc/13311/task/13324/stat : 13324 (java) S 13309 13311 11806 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 184561496 929185792 14745 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 907408

[startup+12.5902 s]
/proc/loadavg: 2.07 2.00 1.83 3/97 13324
/proc/meminfo: memFree=1644304/2055920 swapFree=4192812/4192956
[pid=13311] ppid=13309 vsize=907084 CPUtime=12.56
/proc/13311/stat : 13311 (java) R 13309 13311 11806 0 -1 0 30338 0 1 0 1240 16 0 0 25 0 13 0 184561128 928854016 27959 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13311/statm: 226771 27969 2356 14 0 213208 0
[pid=13311/tid=13313] ppid=13309 vsize=907084 CPUtime=0.04
/proc/13311/task/13313/stat : 13313 (java) R 13309 13311 11806 0 -1 64 5406 0 0 0 2 2 0 0 17 0 13 0 184561131 928854016 27974 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154958745 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13314] ppid=13309 vsize=907084 CPUtime=0.02
/proc/13311/task/13314/stat : 13314 (java) R 13309 13311 11806 0 -1 64 1858 0 0 0 2 0 0 0 17 0 13 0 184561131 928854016 27981 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13315] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13315/stat : 13315 (java) S 13309 13311 11806 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 184561134 928854016 27988 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13316] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13316/stat : 13316 (java) S 13309 13311 11806 0 -1 64 8 0 0 0 0 0 0 0 22 0 13 0 184561134 928854016 27994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13317] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13317/stat : 13317 (java) S 13309 13311 11806 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184561134 928854016 28001 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13318] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13318/stat : 13318 (java) S 13309 13311 11806 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 184561138 928854016 28008 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13319] ppid=13309 vsize=907084 CPUtime=0.01
/proc/13311/task/13319/stat : 13319 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 184561138 928854016 28014 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13320] ppid=13309 vsize=907084 CPUtime=1.36
/proc/13311/task/13320/stat : 13320 (java) S 13309 13311 11806 0 -1 64 2221 0 0 0 135 1 0 0 16 0 13 0 184561138 928854016 28020 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13321] ppid=13309 vsize=907084 CPUtime=1.12
/proc/13311/task/13321/stat : 13321 (java) S 13309 13311 11806 0 -1 64 1191 0 0 0 112 0 0 0 16 0 13 0 184561138 928854016 28027 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13322] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13322/stat : 13322 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 184561138 928854016 28035 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13323] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13323/stat : 13323 (java) S 13309 13311 11806 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184561138 928854016 28041 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13324] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13324/stat : 13324 (java) S 13309 13311 11806 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 184561496 928854016 28047 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 907084

[startup+25.4753 s]
/proc/loadavg: 2.06 2.00 1.83 3/97 13324
/proc/meminfo: memFree=1533072/2055920 swapFree=4192812/4192956
[pid=13311] ppid=13309 vsize=907084 CPUtime=25.44
/proc/13311/stat : 13311 (java) R 13309 13311 11806 0 -1 0 33476 0 1 0 2528 16 0 0 25 0 13 0 184561128 928854016 31096 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054636634 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13311/statm: 226771 31096 2357 14 0 213208 0
[pid=13311/tid=13313] ppid=13309 vsize=907084 CPUtime=0.07
/proc/13311/task/13313/stat : 13313 (java) S 13309 13311 11806 0 -1 64 8520 0 0 0 4 3 0 0 17 0 13 0 184561131 928854016 31096 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13314] ppid=13309 vsize=907084 CPUtime=0.02
/proc/13311/task/13314/stat : 13314 (java) S 13309 13311 11806 0 -1 64 1858 0 0 0 2 0 0 0 17 0 13 0 184561131 928854016 31096 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13315] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13315/stat : 13315 (java) S 13309 13311 11806 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 184561134 928854016 31096 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13316] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13316/stat : 13316 (java) S 13309 13311 11806 0 -1 64 8 0 0 0 0 0 0 0 22 0 13 0 184561134 928854016 31096 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13317] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13317/stat : 13317 (java) S 13309 13311 11806 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184561134 928854016 31096 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13318] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13318/stat : 13318 (java) S 13309 13311 11806 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 184561138 928854016 31096 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13319] ppid=13309 vsize=907084 CPUtime=0.01
/proc/13311/task/13319/stat : 13319 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 184561138 928854016 31096 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13320] ppid=13309 vsize=907084 CPUtime=1.38
/proc/13311/task/13320/stat : 13320 (java) S 13309 13311 11806 0 -1 64 2222 0 0 0 137 1 0 0 16 0 13 0 184561138 928854016 31096 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13321] ppid=13309 vsize=907084 CPUtime=1.13
/proc/13311/task/13321/stat : 13321 (java) S 13309 13311 11806 0 -1 64 1191 0 0 0 113 0 0 0 16 0 13 0 184561138 928854016 31096 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13322] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13322/stat : 13322 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 184561138 928854016 31096 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13323] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13323/stat : 13323 (java) S 13309 13311 11806 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184561138 928854016 31096 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13324] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13324/stat : 13324 (java) S 13309 13311 11806 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 184561496 928854016 31096 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 907084

[startup+51.1674 s]
/proc/loadavg: 2.04 2.00 1.83 3/97 13324
/proc/meminfo: memFree=1462480/2055920 swapFree=4192812/4192956
[pid=13311] ppid=13309 vsize=907084 CPUtime=51.2
/proc/13311/stat : 13311 (java) R 13309 13311 11806 0 -1 0 58955 0 1 0 5092 28 0 0 25 0 13 0 184561128 928854016 48749 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054636583 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

/proc/loadavg: 2.00 2.02 1.93 3/97 13524
/proc/meminfo: memFree=423248/2055920 swapFree=4192812/4192956
[pid=13311] ppid=13309 vsize=907084 CPUtime=1593.86
/proc/13311/stat : 13311 (java) R 13309 13311 11806 0 -1 0 191489 0 1 0 159296 90 0 0 25 0 13 0 184561128 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054674577 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13311/statm: 226771 178127 2365 14 0 213208 0
[pid=13311/tid=13313] ppid=13309 vsize=907084 CPUtime=3.17
/proc/13311/task/13313/stat : 13313 (java) S 13309 13311 11806 0 -1 64 98453 0 0 0 276 41 0 0 17 0 13 0 184561131 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13314] ppid=13309 vsize=907084 CPUtime=2.91
/proc/13311/task/13314/stat : 13314 (java) S 13309 13311 11806 0 -1 64 63690 0 0 0 264 27 0 0 17 0 13 0 184561131 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13315] ppid=13309 vsize=907084 CPUtime=0.71
/proc/13311/task/13315/stat : 13315 (java) S 13309 13311 11806 0 -1 64 6191 0 0 0 69 2 0 0 16 0 13 0 184561134 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13316] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13316/stat : 13316 (java) S 13309 13311 11806 0 -1 64 8 0 0 0 0 0 0 0 17 0 13 0 184561134 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13317] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13317/stat : 13317 (java) S 13309 13311 11806 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184561134 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13318] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13318/stat : 13318 (java) S 13309 13311 11806 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 184561138 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13319] ppid=13309 vsize=907084 CPUtime=0.01
/proc/13311/task/13319/stat : 13319 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 184561138 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13320] ppid=13309 vsize=907084 CPUtime=1.44
/proc/13311/task/13320/stat : 13320 (java) S 13309 13311 11806 0 -1 64 2228 0 0 0 143 1 0 0 16 0 13 0 184561138 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13321] ppid=13309 vsize=907084 CPUtime=1.26
/proc/13311/task/13321/stat : 13321 (java) S 13309 13311 11806 0 -1 64 1192 0 0 0 126 0 0 0 17 0 13 0 184561138 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13322] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13322/stat : 13322 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 184561138 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13323] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13323/stat : 13323 (java) S 13309 13311 11806 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184561138 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13324] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13324/stat : 13324 (java) S 13309 13311 11806 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 184561496 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1593.86
Current children cumulated vsize (KiB) 907084

[startup+1663.93 s]
/proc/loadavg: 2.00 2.01 1.93 3/97 13524
/proc/meminfo: memFree=423248/2055920 swapFree=4192812/4192956
[pid=13311] ppid=13309 vsize=907084 CPUtime=1653.69
/proc/13311/stat : 13311 (java) R 13309 13311 11806 0 -1 0 191491 0 1 0 165279 90 0 0 25 0 13 0 184561128 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054674577 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13311/statm: 226771 178127 2365 14 0 213208 0
[pid=13311/tid=13313] ppid=13309 vsize=907084 CPUtime=3.27
/proc/13311/task/13313/stat : 13313 (java) S 13309 13311 11806 0 -1 64 98453 0 0 0 286 41 0 0 16 0 13 0 184561131 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13314] ppid=13309 vsize=907084 CPUtime=3.02
/proc/13311/task/13314/stat : 13314 (java) S 13309 13311 11806 0 -1 64 63690 0 0 0 275 27 0 0 16 0 13 0 184561131 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13311/tid=13315] ppid=13309 vsize=907084 CPUtime=0.71
/proc/13311/task/13315/stat : 13315 (java) S 13309 13311 11806 0 -1 64 6191 0 0 0 69 2 0 0 16 0 13 0 184561134 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13311/tid=13316] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13316/stat : 13316 (java) S 13309 13311 11806 0 -1 64 8 0 0 0 0 0 0 0 17 0 13 0 184561134 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13317] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13317/stat : 13317 (java) S 13309 13311 11806 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184561134 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13318] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13318/stat : 13318 (java) S 13309 13311 11806 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 184561138 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13319] ppid=13309 vsize=907084 CPUtime=0.01
/proc/13311/task/13319/stat : 13319 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 184561138 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13320] ppid=13309 vsize=907084 CPUtime=1.44
/proc/13311/task/13320/stat : 13320 (java) S 13309 13311 11806 0 -1 64 2228 0 0 0 143 1 0 0 16 0 13 0 184561138 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13321] ppid=13309 vsize=907084 CPUtime=1.26
/proc/13311/task/13321/stat : 13321 (java) S 13309 13311 11806 0 -1 64 1192 0 0 0 126 0 0 0 17 0 13 0 184561138 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13322] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13322/stat : 13322 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 184561138 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13323] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13323/stat : 13323 (java) S 13309 13311 11806 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184561138 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13324] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13324/stat : 13324 (java) S 13309 13311 11806 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 184561496 928854016 178127 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.69
Current children cumulated vsize (KiB) 907084

[startup+1723.98 s]
/proc/loadavg: 2.00 2.01 1.93 3/97 13524
/proc/meminfo: memFree=427728/2055920 swapFree=4192812/4192956
[pid=13311] ppid=13309 vsize=907084 CPUtime=1713.54
/proc/13311/stat : 13311 (java) R 13309 13311 11806 0 -1 0 191500 0 1 0 171263 91 0 0 25 0 13 0 184561128 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054636634 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13311/statm: 226771 176994 2367 14 0 213208 0
[pid=13311/tid=13313] ppid=13309 vsize=907084 CPUtime=3.47
/proc/13311/task/13313/stat : 13313 (java) S 13309 13311 11806 0 -1 64 98453 0 0 0 306 41 0 0 17 0 13 0 184561131 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13314] ppid=13309 vsize=907084 CPUtime=3.2
/proc/13311/task/13314/stat : 13314 (java) S 13309 13311 11806 0 -1 64 63690 0 0 0 292 28 0 0 17 0 13 0 184561131 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13315] ppid=13309 vsize=907084 CPUtime=0.89
/proc/13311/task/13315/stat : 13315 (java) S 13309 13311 11806 0 -1 64 6191 0 0 0 87 2 0 0 16 0 13 0 184561134 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13316] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13316/stat : 13316 (java) S 13309 13311 11806 0 -1 64 8 0 0 0 0 0 0 0 17 0 13 0 184561134 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13317] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13317/stat : 13317 (java) S 13309 13311 11806 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184561134 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13318] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13318/stat : 13318 (java) S 13309 13311 11806 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 184561138 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13319] ppid=13309 vsize=907084 CPUtime=0.01
/proc/13311/task/13319/stat : 13319 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 184561138 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13320] ppid=13309 vsize=907084 CPUtime=1.48
/proc/13311/task/13320/stat : 13320 (java) S 13309 13311 11806 0 -1 64 2228 0 0 0 147 1 0 0 17 0 13 0 184561138 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13321] ppid=13309 vsize=907084 CPUtime=1.26
/proc/13311/task/13321/stat : 13321 (java) S 13309 13311 11806 0 -1 64 1192 0 0 0 126 0 0 0 17 0 13 0 184561138 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13322] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13322/stat : 13322 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 184561138 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13323] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13323/stat : 13323 (java) S 13309 13311 11806 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184561138 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13324] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13324/stat : 13324 (java) S 13309 13311 11806 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 184561496 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.54
Current children cumulated vsize (KiB) 907084

[startup+1784.03 s]
/proc/loadavg: 2.00 2.00 1.93 3/97 13524
/proc/meminfo: memFree=427728/2055920 swapFree=4192812/4192956
[pid=13311] ppid=13309 vsize=907084 CPUtime=1773.56
/proc/13311/stat : 13311 (java) R 13309 13311 11806 0 -1 0 191536 0 1 0 177265 91 0 0 25 0 13 0 184561128 928854016 177025 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054674577 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13311/statm: 226771 177025 2367 14 0 213208 0
[pid=13311/tid=13313] ppid=13309 vsize=907084 CPUtime=3.75
/proc/13311/task/13313/stat : 13313 (java) S 13309 13311 11806 0 -1 64 98484 0 0 0 334 41 0 0 17 0 13 0 184561131 928854016 177025 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13314] ppid=13309 vsize=907084 CPUtime=3.42
/proc/13311/task/13314/stat : 13314 (java) S 13309 13311 11806 0 -1 64 63690 0 0 0 314 28 0 0 17 0 13 0 184561131 928854016 177025 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13315] ppid=13309 vsize=907084 CPUtime=0.89
/proc/13311/task/13315/stat : 13315 (java) S 13309 13311 11806 0 -1 64 6191 0 0 0 87 2 0 0 16 0 13 0 184561134 928854016 177025 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13316] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13316/stat : 13316 (java) S 13309 13311 11806 0 -1 64 8 0 0 0 0 0 0 0 17 0 13 0 184561134 928854016 177025 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13317] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13317/stat : 13317 (java) S 13309 13311 11806 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184561134 928854016 177025 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13318] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13318/stat : 13318 (java) S 13309 13311 11806 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 184561138 928854016 177025 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13319] ppid=13309 vsize=907084 CPUtime=0.01
/proc/13311/task/13319/stat : 13319 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 184561138 928854016 177025 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13320] ppid=13309 vsize=907084 CPUtime=1.48
/proc/13311/task/13320/stat : 13320 (java) S 13309 13311 11806 0 -1 64 2228 0 0 0 147 1 0 0 17 0 13 0 184561138 928854016 177025 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13321] ppid=13309 vsize=907084 CPUtime=1.26
/proc/13311/task/13321/stat : 13321 (java) S 13309 13311 11806 0 -1 64 1192 0 0 0 126 0 0 0 17 0 13 0 184561138 928854016 177025 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13322] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13322/stat : 13322 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 184561138 928854016 177025 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13323] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13323/stat : 13323 (java) S 13309 13311 11806 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184561138 928854016 177025 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13324] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13324/stat : 13324 (java) S 13309 13311 11806 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 184561496 928854016 177025 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.56
Current children cumulated vsize (KiB) 907084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.66 s]
/proc/loadavg: 2.00 2.00 1.93 3/85 13753
/proc/meminfo: memFree=1117616/2055920 swapFree=4192812/4192956
[pid=13311] ppid=13309 vsize=907084 CPUtime=1800.06
/proc/13311/stat : 13311 (java) R 13309 13311 11806 0 -1 0 191537 0 1 0 179914 92 0 0 25 0 13 0 184561128 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054674830 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13311/statm: 226771 176994 2367 14 0 213208 0
[pid=13311/tid=13313] ppid=13309 vsize=907084 CPUtime=3.81
/proc/13311/task/13313/stat : 13313 (java) S 13309 13311 11806 0 -1 64 98484 0 0 0 340 41 0 0 17 0 13 0 184561131 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13314] ppid=13309 vsize=907084 CPUtime=3.46
/proc/13311/task/13314/stat : 13314 (java) S 13309 13311 11806 0 -1 64 63690 0 0 0 318 28 0 0 17 0 13 0 184561131 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13315] ppid=13309 vsize=907084 CPUtime=0.89
/proc/13311/task/13315/stat : 13315 (java) S 13309 13311 11806 0 -1 64 6191 0 0 0 87 2 0 0 16 0 13 0 184561134 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13316] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13316/stat : 13316 (java) S 13309 13311 11806 0 -1 64 8 0 0 0 0 0 0 0 17 0 13 0 184561134 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13317] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13317/stat : 13317 (java) S 13309 13311 11806 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 184561134 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13318] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13318/stat : 13318 (java) S 13309 13311 11806 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 184561138 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13319] ppid=13309 vsize=907084 CPUtime=0.01
/proc/13311/task/13319/stat : 13319 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 184561138 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13320] ppid=13309 vsize=907084 CPUtime=1.48
/proc/13311/task/13320/stat : 13320 (java) S 13309 13311 11806 0 -1 64 2228 0 0 0 147 1 0 0 17 0 13 0 184561138 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13321] ppid=13309 vsize=907084 CPUtime=1.26
/proc/13311/task/13321/stat : 13321 (java) S 13309 13311 11806 0 -1 64 1192 0 0 0 126 0 0 0 17 0 13 0 184561138 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13322] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13322/stat : 13322 (java) S 13309 13311 11806 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 184561138 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13323] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13323/stat : 13323 (java) S 13309 13311 11806 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184561138 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13311/tid=13324] ppid=13309 vsize=907084 CPUtime=0
/proc/13311/task/13324/stat : 13324 (java) S 13309 13311 11806 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 184561496 928854016 176994 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 907084

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

Child status: 143
Real time (s): 1810.82
CPU time (s): 1800.22
CPU user time (s): 1799.18
CPU system time (s): 1.03584
CPU usage (%): 99.4146
Max. virtual memory (cumulated for all children) (KiB): 908088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 1.03584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191556
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= 38482
involuntary context switches= 59053

runsolver used 2.55761 s user time and 6.90395 s system time

The end

Launcher Data (download as text)

Begin job on node34 on Tue Jan  9 16:54:34 UTC 2007


IDJOB= 238934
IDBENCH= 7028
FILE ID= node34/238934-1168361674

PBS_JOBID= 3503993

Free space on /tmp= 66550 MiB

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

META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH=  788076105474c4514c48ffcdd90f49b4

RANDOM SEED= 558168843

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.227
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.227
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:       1761800 kB
Buffers:         20020 kB
Cached:         126316 kB
SwapCached:          0 kB
Active:         190636 kB
Inactive:        47984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1761800 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5612 kB
Writeback:           0 kB
Mapped:         112384 kB
Slab:            40740 kB
Committed_AS:  4177928 kB
PageTables:       1952 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= 66549 MiB



End job on node34 on Tue Jan  9 17:24:45 UTC 2007