Trace number 237523

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.23 1802.22

General information on the benchmark

Namehaystacks/
haystacks_28.xml
MD5SUMd182319e3384c4b9a637e552d7b21712
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark77.5232
SatisfiableNO
(Un)Satisfiability was proved
Number of variables784
Number of constraints10611
Maximum constraint arity2
Maximum domain size28
Number of constraints which are defined in extension0
Number of constraints which are defined in intension10611
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/237523-1168349053/unknown.xml
0.26	c reading problem ... 
0.54	c reading problem named ?
0.54	c reading domains done.
0.54	c reading variables
c reading variables (784) done.
1.20	c reading predicates 
c reading relations (5) done.
1.44	c reading constraints
c reading constraints done.
24.85	c ... done. Wall clock time 24.586s.
24.85	c CPU time (experimental) 19.39s.
24.85	c #vars     21952
24.85	c #constraints  594272
1513.66	c cleaning 170992 clauses out of 342000 for limit 1172.1970066096792
1516.41	c cleaning 85751 clauses out of 171509 for limit 3858.6038927254626
1518.64	c cleaning 43120 clauses out of 86257 for limit 12639.914570250021
1520.61	c cleaning 21809 clauses out of 43637 for limit 41204.01052727021
1522.01	c cleaning 11157 clauses out of 22332 for limit 133309.37429710382
1522.94	c cleaning 5828 clauses out of 11671 for limit 418984.61882362526
1523.51	c cleaning 3163 clauses out of 6343 for limit 1271356.4324936816
1523.97	c cleaning 1830 clauses out of 3681 for limit 3616484.5780402124
1524.29	c cleaning 1176 clauses out of 2352 for limit 9343412.359044151
1524.57	c cleaning 834 clauses out of 1674 for limit 2.160599361867077E7
1524.78	c cleaning 660 clauses out of 1341 for limit 4.452370720254744E7
1525.03	c cleaning 580 clauses out of 1180 for limit 8.336033741805172E7
1525.27	c cleaning 550 clauses out of 1101 for limit 1.4748387880666995E8
1525.52	c cleaning 512 clauses out of 1051 for limit 2.5479156180586645E8
1525.77	c cleaning 516 clauses out of 1038 for limit 4.2502236022201127E8
1525.99	c cleaning 511 clauses out of 1022 for limit 7.118920178458484E8
1526.24	c cleaning 504 clauses out of 1011 for limit 1.1867787205105486E9
1526.49	c cleaning 492 clauses out of 1007 for limit 1.96493108258058E9
1526.73	c cleaning 501 clauses out of 1016 for limit 3.2149445296531277E9
1526.96	c cleaning 501 clauses out of 1017 for limit 5.307269600519767E9
1527.18	c cleaning 497 clauses out of 1015 for limit 8.760874024989805E9
1527.44	c cleaning 503 clauses out of 1019 for limit 1.4405544970983444E10
1527.66	c cleaning 506 clauses out of 1015 for limit 2.3826442851302E10
1527.89	c cleaning 501 clauses out of 1007 for limit 3.952597983228714E10
1528.12	c cleaning 502 clauses out of 1008 for limit 6.524939567833382E10
1528.36	c cleaning 486 clauses out of 1004 for limit 1.0781772814935568E11
1528.58	c cleaning 497 clauses out of 1019 for limit 1.75363863122371E11
1528.80	c cleaning 500 clauses out of 1021 for limit 2.883433376460296E11
1529.02	c cleaning 501 clauses out of 1023 for limit 4.755376860031927E11
1529.26	c cleaning 509 clauses out of 1020 for limit 7.849595283176287E11
1529.50	c cleaning 492 clauses out of 1011 for limit 1.3060270402045679E12
1529.77	c cleaning 495 clauses out of 1019 for limit 2.1369040754073743E12
1529.99	c cleaning 512 clauses out of 1025 for limit 3.5069190784682036E12
1530.22	c cleaning 494 clauses out of 1013 for limit 5.851888623223971E12
1530.47	c cleaning 497 clauses out of 1018 for limit 9.59354449954155E12
1530.73	c cleaning 496 clauses out of 1021 for limit 1.5774551391015844E13
1530.94	c cleaning 497 clauses out of 1025 for limit 2.5912826128343047E13
1531.20	c cleaning 504 clauses out of 1028 for limit 4.260900755110449E13
1531.44	c cleaning 508 clauses out of 1030 for limit 7.055377671818192E13
1531.70	c cleaning 502 clauses out of 1019 for limit 1.1725615764345508E14
1531.95	c cleaning 497 clauses out of 1015 for limit 1.9374507160526028E14
1532.19	c cleaning 501 clauses out of 1018 for limit 3.185699557529315E14
1532.41	c cleaning 509 clauses out of 1018 for limit 5.258903649277344E14
1532.66	c cleaning 501 clauses out of 1007 for limit 8.749845506773811E14
1532.92	c cleaning 493 clauses out of 1006 for limit 1.4444009378209402E15
1533.19	c cleaning 497 clauses out of 1014 for limit 2.365582976681804E15
1533.43	c cleaning 498 clauses out of 1019 for limit 3.8897963797494465E15
1533.67	c cleaning 505 clauses out of 1019 for limit 6.401971423455657E-5
1533.90	c cleaning 504 clauses out of 1019 for limit 1.0610654590151434E-4
1534.13	c cleaning 499 clauses out of 1009 for limit 1.7566045820475163E-4
1534.34	c cleaning 502 clauses out of 1013 for limit 2.894110803717672E-4
1534.57	c cleaning 493 clauses out of 1009 for limit 4.7821180970308315E-4
1534.82	c cleaning 497 clauses out of 1015 for limit 7.831893916259769E-4
1535.06	c cleaning 501 clauses out of 1021 for limit 0.0012878536665948891
1535.31	c cleaning 498 clauses out of 1018 for limit 0.0021258437778942313
1535.53	c cleaning 501 clauses out of 1022 for limit 0.0034990740953798447
1535.75	c cleaning 504 clauses out of 1021 for limit 0.0057760930354770834
1535.99	c cleaning 500 clauses out of 1016 for limit 0.009562855406888808
1536.25	c cleaning 497 clauses out of 1015 for limit 0.015770179263990828
1536.50	c cleaning 502 clauses out of 1017 for limit 0.0259300345038087
1536.73	c cleaning 501 clauses out of 1015 for limit 0.042846356041937574
1536.99	c cleaning 498 clauses out of 1017 for limit 0.07073240158867777
1537.22	c cleaning 501 clauses out of 1017 for limit 0.11641401489305508
1537.44	c cleaning 498 clauses out of 1019 for limit 0.19218144686718172
1537.70	c cleaning 499 clauses out of 1020 for limit 0.31630557471650206
1537.94	c cleaning 501 clauses out of 1018 for limit 0.5210886234562532
1538.21	c cleaning 503 clauses out of 1022 for limit 0.8602742422035103
1538.44	c cleaning 498 clauses out of 1015 for limit 1.4227860984130187
1538.72	c cleaning 501 clauses out of 1021 for limit 2.341929663119683
1538.96	c cleaning 501 clauses out of 1018 for limit 3.8657937091349615
1801.98	c starts		: 20
1801.98	c conflicts		: 465840
1801.98	c decisions		: 695938
1801.98	c propagations		: 9154912
1801.98	c inspects		: 2934073470
1801.98	c learnt literals	: 0
1801.98	c learnt binary clauses	: 0
1801.98	c learnt ternary clauses	: 0
1801.98	c learnt clauses	: 465840
1801.98	c root simplifications	: 0
1801.98	c removed literals (reason simplification)	: 0
1801.98	c reason swapping (by a shorter reason)	: 0
1801.98	c Calls to reduceDB	: 70
1801.98	c speed (decisions/second)	: 391.61883539289175
1801.98	c non guided choices	203760
1801.98	s UNKNOWN
1801.98	c Total wall clock time (in seconds) : 1801.719
1801.98	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/node44/watcher-237523-1168349053 -o ROOT/results/node44/solver-237523-1168349053 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/237523-1168349053/sat4jCSP-bf3.jar /tmp/evaluation/237523-1168349053/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.08 2.02 2.00 3/81 14457
/proc/meminfo: memFree=1489480/2055920 swapFree=4191892/4192956
[pid=14456] ppid=14454 vsize=18540 CPUtime=0
/proc/14456/stat : 14456 (runsolver) R 14454 14456 13942 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 183304336 18984960 279 18446744073709551615 4194304 4267372 548682068992 18446744073709551615 264840473895 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14456/statm: 4635 279 244 17 0 2626 0

[startup+0.108517 s]
/proc/loadavg: 2.08 2.02 2.00 3/81 14457
/proc/meminfo: memFree=1489480/2055920 swapFree=4191892/4192956
[pid=14456] ppid=14454 vsize=901540 CPUtime=0.08
/proc/14456/stat : 14456 (java) R 14454 14456 13942 0 -1 0 3316 0 1 0 7 1 0 0 22 0 12 0 183304336 923176960 3076 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152148627 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14456/statm: 225385 3076 1559 14 0 212109 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 901540

[startup+0.516559 s]
/proc/loadavg: 2.08 2.02 2.00 3/81 14457
/proc/meminfo: memFree=1489480/2055920 swapFree=4191892/4192956
[pid=14456] ppid=14454 vsize=905236 CPUtime=0.48
/proc/14456/stat : 14456 (java) R 14454 14456 13942 0 -1 0 5828 0 1 0 46 2 0 0 19 0 12 0 183304336 926961664 5423 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14456/statm: 226309 5423 2250 14 0 212746 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 905236

[startup+1.34164 s]
/proc/loadavg: 2.07 2.02 2.00 3/92 14468
/proc/meminfo: memFree=1473072/2055920 swapFree=4191892/4192956
[pid=14456] ppid=14454 vsize=905236 CPUtime=1.3
/proc/14456/stat : 14456 (java) R 14454 14456 13942 0 -1 0 8304 0 3 0 126 4 0 0 18 0 12 0 183304336 926961664 7623 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4053850184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14456/statm: 226309 7623 2426 14 0 212746 0
[pid=14456/tid=14458] ppid=14454 vsize=905236 CPUtime=0
/proc/14456/task/14458/stat : 14458 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 183304340 926961664 7623 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14459] ppid=14454 vsize=905236 CPUtime=0
/proc/14456/task/14459/stat : 14459 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 183304340 926961664 7623 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14460] ppid=14454 vsize=905236 CPUtime=0
/proc/14456/task/14460/stat : 14460 (java) S 14454 14456 13942 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 183304342 926961664 7623 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14461] ppid=14454 vsize=905236 CPUtime=0
/proc/14456/task/14461/stat : 14461 (java) S 14454 14456 13942 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 183304343 926961664 7623 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14462] ppid=14454 vsize=905236 CPUtime=0
/proc/14456/task/14462/stat : 14462 (java) S 14454 14456 13942 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 183304343 926961664 7623 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14463] ppid=14454 vsize=905236 CPUtime=0
/proc/14456/task/14463/stat : 14463 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 183304347 926961664 7623 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14464] ppid=14454 vsize=905236 CPUtime=0
/proc/14456/task/14464/stat : 14464 (java) S 14454 14456 13942 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 183304347 926961664 7623 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14465] ppid=14454 vsize=905236 CPUtime=0.29
/proc/14456/task/14465/stat : 14465 (java) S 14454 14456 13942 0 -1 64 326 0 1 0 29 0 0 0 16 0 12 0 183304347 926961664 7623 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14466] ppid=14454 vsize=905236 CPUtime=0.27
/proc/14456/task/14466/stat : 14466 (java) S 14454 14456 13942 0 -1 64 744 0 0 0 27 0 0 0 16 0 12 0 183304347 926961664 7623 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14467] ppid=14454 vsize=905236 CPUtime=0
/proc/14456/task/14467/stat : 14467 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 183304347 926961664 7623 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14468] ppid=14454 vsize=905236 CPUtime=0
/proc/14456/task/14468/stat : 14468 (java) S 14454 14456 13942 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 183304347 926961664 7623 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 905236

[startup+2.98881 s]
/proc/loadavg: 2.07 2.02 2.00 3/92 14468
/proc/meminfo: memFree=1458224/2055920 swapFree=4191892/4192956
[pid=14456] ppid=14454 vsize=907716 CPUtime=2.93
/proc/14456/stat : 14456 (java) R 14454 14456 13942 0 -1 0 17295 0 6 0 284 9 0 0 25 0 12 0 183304336 929501184 15618 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054236905 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14456/statm: 226929 15618 2477 14 0 213366 0
[pid=14456/tid=14458] ppid=14454 vsize=907716 CPUtime=0
/proc/14456/task/14458/stat : 14458 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 183304340 929501184 15618 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14459] ppid=14454 vsize=907716 CPUtime=0
/proc/14456/task/14459/stat : 14459 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 183304340 929501184 15618 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14460] ppid=14454 vsize=907716 CPUtime=0
/proc/14456/task/14460/stat : 14460 (java) S 14454 14456 13942 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 183304342 929501184 15618 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14461] ppid=14454 vsize=907716 CPUtime=0
/proc/14456/task/14461/stat : 14461 (java) S 14454 14456 13942 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 183304343 929501184 15618 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14462] ppid=14454 vsize=907716 CPUtime=0
/proc/14456/task/14462/stat : 14462 (java) S 14454 14456 13942 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 183304343 929501184 15618 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14463] ppid=14454 vsize=907716 CPUtime=0
/proc/14456/task/14463/stat : 14463 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 183304347 929501184 15618 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14464] ppid=14454 vsize=907716 CPUtime=0
/proc/14456/task/14464/stat : 14464 (java) S 14454 14456 13942 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 183304347 929501184 15618 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14465] ppid=14454 vsize=907716 CPUtime=0.54
/proc/14456/task/14465/stat : 14465 (java) S 14454 14456 13942 0 -1 64 356 0 2 0 54 0 0 0 16 0 12 0 183304347 929501184 15618 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14466] ppid=14454 vsize=907716 CPUtime=0.8
/proc/14456/task/14466/stat : 14466 (java) S 14454 14456 13942 0 -1 64 2375 0 2 0 79 1 0 0 16 0 12 0 183304347 929501184 15618 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14467] ppid=14454 vsize=907716 CPUtime=0
/proc/14456/task/14467/stat : 14467 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 183304347 929501184 15618 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14468] ppid=14454 vsize=907716 CPUtime=0
/proc/14456/task/14468/stat : 14468 (java) S 14454 14456 13942 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 183304347 929501184 15618 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 907716

[startup+6.29015 s]
/proc/loadavg: 2.07 2.02 2.00 3/92 14468
/proc/meminfo: memFree=1391856/2055920 swapFree=4191892/4192956
[pid=14456] ppid=14454 vsize=908140 CPUtime=6.2
/proc/14456/stat : 14456 (java) R 14454 14456 13942 0 -1 0 29089 0 6 0 606 14 0 0 25 0 12 0 183304336 929935360 26554 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14456/statm: 227035 26554 2480 14 0 213472 0
[pid=14456/tid=14458] ppid=14454 vsize=908140 CPUtime=0.06
/proc/14456/task/14458/stat : 14458 (java) S 14454 14456 13942 0 -1 64 2864 0 0 0 6 0 0 0 17 0 12 0 183304340 929935360 26554 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14459] ppid=14454 vsize=908140 CPUtime=0.05
/proc/14456/task/14459/stat : 14459 (java) S 14454 14456 13942 0 -1 64 2310 0 0 0 5 0 0 0 17 0 12 0 183304340 929935360 26554 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14460] ppid=14454 vsize=908140 CPUtime=0
/proc/14456/task/14460/stat : 14460 (java) S 14454 14456 13942 0 -1 64 15 0 0 0 0 0 0 0 17 0 12 0 183304342 929935360 26554 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14461] ppid=14454 vsize=908140 CPUtime=0
/proc/14456/task/14461/stat : 14461 (java) S 14454 14456 13942 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 183304343 929935360 26554 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14462] ppid=14454 vsize=908140 CPUtime=0
/proc/14456/task/14462/stat : 14462 (java) S 14454 14456 13942 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 183304343 929935360 26554 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14463] ppid=14454 vsize=908140 CPUtime=0
/proc/14456/task/14463/stat : 14463 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 183304347 929935360 26554 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14464] ppid=14454 vsize=908140 CPUtime=0
/proc/14456/task/14464/stat : 14464 (java) S 14454 14456 13942 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 183304347 929935360 26554 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14465] ppid=14454 vsize=908140 CPUtime=0.97
/proc/14456/task/14465/stat : 14465 (java) R 14454 14456 13942 0 -1 64 866 0 2 0 97 0 0 0 15 0 12 0 183304347 929935360 26554 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152025491 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14466] ppid=14454 vsize=908140 CPUtime=1.31
/proc/14456/task/14466/stat : 14466 (java) S 14454 14456 13942 0 -1 64 2810 0 2 0 130 1 0 0 16 0 12 0 183304347 929935360 26554 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14467] ppid=14454 vsize=908140 CPUtime=0
/proc/14456/task/14467/stat : 14467 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 183304347 929935360 26554 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14468] ppid=14454 vsize=908140 CPUtime=0
/proc/14456/task/14468/stat : 14468 (java) S 14454 14456 13942 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 183304347 929935360 26554 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 908140

[startup+12.6936 s]
/proc/loadavg: 2.06 2.02 2.00 3/92 14468
/proc/meminfo: memFree=1355120/2055920 swapFree=4191892/4192956
[pid=14456] ppid=14454 vsize=909752 CPUtime=12.63
/proc/14456/stat : 14456 (java) R 14454 14456 13942 0 -1 0 39641 0 6 0 1244 19 0 0 25 0 12 0 183304336 931586048 35756 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4053813954 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14456/statm: 227438 35756 2481 14 0 213875 0
[pid=14456/tid=14458] ppid=14454 vsize=909752 CPUtime=0.41
/proc/14456/task/14458/stat : 14458 (java) S 14454 14456 13942 0 -1 64 8290 0 0 0 39 2 0 0 16 0 12 0 183304340 931586048 35756 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14459] ppid=14454 vsize=909752 CPUtime=0.34
/proc/14456/task/14459/stat : 14459 (java) S 14454 14456 13942 0 -1 64 6281 0 0 0 32 2 0 0 16 0 12 0 183304340 931586048 35756 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14460] ppid=14454 vsize=909752 CPUtime=0
/proc/14456/task/14460/stat : 14460 (java) S 14454 14456 13942 0 -1 64 15 0 0 0 0 0 0 0 16 0 12 0 183304342 931586048 35756 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14461] ppid=14454 vsize=909752 CPUtime=0
/proc/14456/task/14461/stat : 14461 (java) S 14454 14456 13942 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 183304343 931586048 35756 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14462] ppid=14454 vsize=909752 CPUtime=0
/proc/14456/task/14462/stat : 14462 (java) S 14454 14456 13942 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 183304343 931586048 35756 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14463] ppid=14454 vsize=909752 CPUtime=0
/proc/14456/task/14463/stat : 14463 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 183304347 931586048 35756 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14464] ppid=14454 vsize=909752 CPUtime=0
/proc/14456/task/14464/stat : 14464 (java) S 14454 14456 13942 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 183304347 931586048 35756 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14465] ppid=14454 vsize=909752 CPUtime=1.39
/proc/14456/task/14465/stat : 14465 (java) S 14454 14456 13942 0 -1 64 1956 0 2 0 139 0 0 0 15 0 12 0 183304347 931586048 35756 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14466] ppid=14454 vsize=909752 CPUtime=1.92
/proc/14456/task/14466/stat : 14466 (java) S 14454 14456 13942 0 -1 64 2860 0 2 0 191 1 0 0 15 0 12 0 183304347 931586048 35756 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14467] ppid=14454 vsize=909752 CPUtime=0
/proc/14456/task/14467/stat : 14467 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 183304347 931586048 35756 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14468] ppid=14454 vsize=909752 CPUtime=0
/proc/14456/task/14468/stat : 14468 (java) S 14454 14456 13942 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 183304347 931586048 35756 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 909752

[startup+25.5629 s]
/proc/loadavg: 2.13 2.03 2.01 5/86 15167
/proc/meminfo: memFree=1652888/2055920 swapFree=4191892/4192956
[pid=14456] ppid=14454 vsize=909820 CPUtime=25.57
/proc/14456/stat : 14456 (java) R 14454 14456 13942 0 -1 0 58969 0 8 0 2519 38 0 0 25 0 13 0 183304336 931655680 53990 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055036145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14456/statm: 227455 53990 2489 14 0 213892 0
[pid=14456/tid=14458] ppid=14454 vsize=909820 CPUtime=0.87
/proc/14456/task/14458/stat : 14458 (java) S 14454 14456 13942 0 -1 64 16923 0 0 0 82 5 0 0 16 0 13 0 183304340 931655680 53990 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14459] ppid=14454 vsize=909820 CPUtime=0.84
/proc/14456/task/14459/stat : 14459 (java) S 14454 14456 13942 0 -1 64 16905 0 0 0 77 7 0 0 16 0 13 0 183304340 931655680 53990 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14460] ppid=14454 vsize=909820 CPUtime=0.01
/proc/14456/task/14460/stat : 14460 (java) S 14454 14456 13942 0 -1 64 17 0 0 0 1 0 0 0 15 0 13 0 183304342 931655680 53990 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14461] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14461/stat : 14461 (java) S 14454 14456 13942 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 183304343 931655680 53990 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14462] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14462/stat : 14462 (java) S 14454 14456 13942 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 183304343 931655680 53990 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14463] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14463/stat : 14463 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 183304347 931655680 53990 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14464] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14464/stat : 14464 (java) S 14454 14456 13942 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 183304347 931655680 53990 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14465] ppid=14454 vsize=909820 CPUtime=1.6
/proc/14456/task/14465/stat : 14465 (java) S 14454 14456 13942 0 -1 64 1969 0 2 0 160 0 0 0 15 0 13 0 183304347 931655680 53990 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14466] ppid=14454 vsize=909820 CPUtime=2.2
/proc/14456/task/14466/stat : 14466 (java) S 14454 14456 13942 0 -1 64 2876 0 2 0 219 1 0 0 15 0 13 0 183304347 931655680 53990 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14467] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14467/stat : 14467 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 183304347 931655680 53990 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14468] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14468/stat : 14468 (java) S 14454 14456 13942 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 183304347 931655680 53990 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=15167] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/15167/stat : 15167 (java) S 14454 14456 13942 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 183306827 931655680 53990 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 909820

[startup+51.2576 s]
/proc/loadavg: 2.08 2.03 2.00 3/86 15167
/proc/meminfo: memFree=1616416/2055920 swapFree=4191892/4192956
[pid=14456] ppid=14454 vsize=909820 CPUtime=51.14
/proc/14456/stat : 14456 (java) R 14454 14456 13942 0 -1 0 69151 0 8 0 5072 42 0 0 25 0 13 0 183304336 931655680 63122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055086027 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14456/statm: 227455 63122 2490 14 0 213892 0
[pid=14456/tid=14458] ppid=14454 vsize=909820 CPUtime=0.99
/proc/14456/task/14458/stat : 14458 (java) S 14454 14456 13942 0 -1 64 22546 0 0 0 91 8 0 0 17 0 13 0 183304340 931655680 63122 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14459] ppid=14454 vsize=909820 CPUtime=0.96

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

/proc/loadavg: 2.00 2.00 2.00 3/92 15226
/proc/meminfo: memFree=540920/2055920 swapFree=4191892/4192956
[pid=14456] ppid=14454 vsize=909820 CPUtime=1602.63
/proc/14456/stat : 14456 (java) R 14454 14456 13942 0 -1 0 200525 0 8 0 160166 97 0 0 25 0 13 0 183304336 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055085783 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14456/statm: 227455 184031 2495 14 0 213892 0
[pid=14456/tid=14458] ppid=14454 vsize=909820 CPUtime=2.2
/proc/14456/task/14458/stat : 14458 (java) S 14454 14456 13942 0 -1 64 83723 0 0 0 189 31 0 0 17 0 13 0 183304340 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14459] ppid=14454 vsize=909820 CPUtime=2.06
/proc/14456/task/14459/stat : 14459 (java) S 14454 14456 13942 0 -1 64 77361 0 0 0 179 27 0 0 17 0 13 0 183304340 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14460] ppid=14454 vsize=909820 CPUtime=3.96
/proc/14456/task/14460/stat : 14460 (java) S 14454 14456 13942 0 -1 64 14242 0 0 0 390 6 0 0 16 0 13 0 183304342 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14461] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14461/stat : 14461 (java) S 14454 14456 13942 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 183304343 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14462] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14462/stat : 14462 (java) S 14454 14456 13942 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 183304343 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14463] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14463/stat : 14463 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 183304347 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14464] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14464/stat : 14464 (java) S 14454 14456 13942 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 183304347 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14465] ppid=14454 vsize=909820 CPUtime=1.95
/proc/14456/task/14465/stat : 14465 (java) S 14454 14456 13942 0 -1 64 1991 0 2 0 194 1 0 0 17 0 13 0 183304347 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14466] ppid=14454 vsize=909820 CPUtime=2.47
/proc/14456/task/14466/stat : 14466 (java) S 14454 14456 13942 0 -1 64 2892 0 2 0 246 1 0 0 17 0 13 0 183304347 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14467] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14467/stat : 14467 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 183304347 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14468] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14468/stat : 14468 (java) S 14454 14456 13942 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 183304347 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=15167] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/15167/stat : 15167 (java) S 14454 14456 13942 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 183306827 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.63
Current children cumulated vsize (KiB) 909820

[startup+1664.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 15226
/proc/meminfo: memFree=540856/2055920 swapFree=4191892/4192956
[pid=14456] ppid=14454 vsize=909820 CPUtime=1662.66
/proc/14456/stat : 14456 (java) R 14454 14456 13942 0 -1 0 200525 0 8 0 166169 97 0 0 25 0 13 0 183304336 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055093412 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14456/statm: 227455 184031 2495 14 0 213892 0
[pid=14456/tid=14458] ppid=14454 vsize=909820 CPUtime=2.2
/proc/14456/task/14458/stat : 14458 (java) S 14454 14456 13942 0 -1 64 83723 0 0 0 189 31 0 0 17 0 13 0 183304340 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14459] ppid=14454 vsize=909820 CPUtime=2.06
/proc/14456/task/14459/stat : 14459 (java) S 14454 14456 13942 0 -1 64 77361 0 0 0 179 27 0 0 17 0 13 0 183304340 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14460] ppid=14454 vsize=909820 CPUtime=3.96
/proc/14456/task/14460/stat : 14460 (java) S 14454 14456 13942 0 -1 64 14242 0 0 0 390 6 0 0 16 0 13 0 183304342 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14461] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14461/stat : 14461 (java) S 14454 14456 13942 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 183304343 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14462] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14462/stat : 14462 (java) S 14454 14456 13942 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 183304343 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14463] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14463/stat : 14463 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 183304347 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14464] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14464/stat : 14464 (java) S 14454 14456 13942 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 183304347 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14465] ppid=14454 vsize=909820 CPUtime=1.95
/proc/14456/task/14465/stat : 14465 (java) S 14454 14456 13942 0 -1 64 1991 0 2 0 194 1 0 0 17 0 13 0 183304347 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14466] ppid=14454 vsize=909820 CPUtime=2.47
/proc/14456/task/14466/stat : 14466 (java) S 14454 14456 13942 0 -1 64 2892 0 2 0 246 1 0 0 17 0 13 0 183304347 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14467] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14467/stat : 14467 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 183304347 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14468] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14468/stat : 14468 (java) S 14454 14456 13942 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 183304347 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=15167] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/15167/stat : 15167 (java) S 14454 14456 13942 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 183306827 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.66
Current children cumulated vsize (KiB) 909820

[startup+1724.48 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 15226
/proc/meminfo: memFree=540856/2055920 swapFree=4191892/4192956
[pid=14456] ppid=14454 vsize=909820 CPUtime=1722.67
/proc/14456/stat : 14456 (java) R 14454 14456 13942 0 -1 0 200525 0 8 0 172170 97 0 0 25 0 13 0 183304336 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055093418 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14456/statm: 227455 184031 2495 14 0 213892 0
[pid=14456/tid=14458] ppid=14454 vsize=909820 CPUtime=2.2
/proc/14456/task/14458/stat : 14458 (java) S 14454 14456 13942 0 -1 64 83723 0 0 0 189 31 0 0 17 0 13 0 183304340 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14459] ppid=14454 vsize=909820 CPUtime=2.06
/proc/14456/task/14459/stat : 14459 (java) S 14454 14456 13942 0 -1 64 77361 0 0 0 179 27 0 0 17 0 13 0 183304340 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14460] ppid=14454 vsize=909820 CPUtime=3.96
/proc/14456/task/14460/stat : 14460 (java) S 14454 14456 13942 0 -1 64 14242 0 0 0 390 6 0 0 16 0 13 0 183304342 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14461] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14461/stat : 14461 (java) S 14454 14456 13942 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 183304343 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14462] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14462/stat : 14462 (java) S 14454 14456 13942 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 183304343 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14463] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14463/stat : 14463 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 183304347 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14464] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14464/stat : 14464 (java) S 14454 14456 13942 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 183304347 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14465] ppid=14454 vsize=909820 CPUtime=1.95
/proc/14456/task/14465/stat : 14465 (java) S 14454 14456 13942 0 -1 64 1991 0 2 0 194 1 0 0 17 0 13 0 183304347 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14466] ppid=14454 vsize=909820 CPUtime=2.47
/proc/14456/task/14466/stat : 14466 (java) S 14454 14456 13942 0 -1 64 2892 0 2 0 246 1 0 0 17 0 13 0 183304347 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14467] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14467/stat : 14467 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 183304347 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14468] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14468/stat : 14468 (java) S 14454 14456 13942 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 183304347 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=15167] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/15167/stat : 15167 (java) S 14454 14456 13942 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 183306827 931655680 184031 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.67
Current children cumulated vsize (KiB) 909820

[startup+1784.56 s]
/proc/loadavg: 2.03 2.01 2.00 3/92 15226
/proc/meminfo: memFree=540920/2055920 swapFree=4191892/4192956
[pid=14456] ppid=14454 vsize=909820 CPUtime=1782.69
/proc/14456/stat : 14456 (java) R 14454 14456 13942 0 -1 0 200526 0 8 0 178172 97 0 0 25 0 13 0 183304336 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055093518 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14456/statm: 227455 183999 2495 14 0 213892 0
[pid=14456/tid=14458] ppid=14454 vsize=909820 CPUtime=2.25
/proc/14456/task/14458/stat : 14458 (java) S 14454 14456 13942 0 -1 64 83723 0 0 0 194 31 0 0 17 0 13 0 183304340 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14459] ppid=14454 vsize=909820 CPUtime=2.1
/proc/14456/task/14459/stat : 14459 (java) S 14454 14456 13942 0 -1 64 77361 0 0 0 183 27 0 0 17 0 13 0 183304340 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14460] ppid=14454 vsize=909820 CPUtime=3.96
/proc/14456/task/14460/stat : 14460 (java) S 14454 14456 13942 0 -1 64 14242 0 0 0 390 6 0 0 16 0 13 0 183304342 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14461] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14461/stat : 14461 (java) S 14454 14456 13942 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 183304343 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14462] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14462/stat : 14462 (java) S 14454 14456 13942 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 183304343 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14463] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14463/stat : 14463 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 183304347 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14464] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14464/stat : 14464 (java) S 14454 14456 13942 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 183304347 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14465] ppid=14454 vsize=909820 CPUtime=1.95
/proc/14456/task/14465/stat : 14465 (java) S 14454 14456 13942 0 -1 64 1991 0 2 0 194 1 0 0 17 0 13 0 183304347 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14466] ppid=14454 vsize=909820 CPUtime=2.47
/proc/14456/task/14466/stat : 14466 (java) S 14454 14456 13942 0 -1 64 2892 0 2 0 246 1 0 0 17 0 13 0 183304347 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14467] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14467/stat : 14467 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 183304347 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14468] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14468/stat : 14468 (java) S 14454 14456 13942 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 183304347 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=15167] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/15167/stat : 15167 (java) S 14454 14456 13942 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 183306827 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.69
Current children cumulated vsize (KiB) 909820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.97 s]
/proc/loadavg: 2.02 2.01 2.00 3/92 15226
/proc/meminfo: memFree=540920/2055920 swapFree=4191892/4192956
[pid=14456] ppid=14454 vsize=909820 CPUtime=1800.08
/proc/14456/stat : 14456 (java) R 14454 14456 13942 0 -1 0 200526 0 8 0 179911 97 0 0 25 0 13 0 183304336 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4055093435 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14456/statm: 227455 183999 2495 14 0 213892 0
[pid=14456/tid=14458] ppid=14454 vsize=909820 CPUtime=2.25
/proc/14456/task/14458/stat : 14458 (java) S 14454 14456 13942 0 -1 64 83723 0 0 0 194 31 0 0 17 0 13 0 183304340 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14459] ppid=14454 vsize=909820 CPUtime=2.1
/proc/14456/task/14459/stat : 14459 (java) S 14454 14456 13942 0 -1 64 77361 0 0 0 183 27 0 0 17 0 13 0 183304340 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14460] ppid=14454 vsize=909820 CPUtime=3.96
/proc/14456/task/14460/stat : 14460 (java) S 14454 14456 13942 0 -1 64 14242 0 0 0 390 6 0 0 16 0 13 0 183304342 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14461] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14461/stat : 14461 (java) S 14454 14456 13942 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 183304343 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14462] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14462/stat : 14462 (java) S 14454 14456 13942 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 183304343 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14463] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14463/stat : 14463 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 183304347 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14464] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14464/stat : 14464 (java) S 14454 14456 13942 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 183304347 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14465] ppid=14454 vsize=909820 CPUtime=1.95
/proc/14456/task/14465/stat : 14465 (java) S 14454 14456 13942 0 -1 64 1991 0 2 0 194 1 0 0 17 0 13 0 183304347 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14466] ppid=14454 vsize=909820 CPUtime=2.47
/proc/14456/task/14466/stat : 14466 (java) S 14454 14456 13942 0 -1 64 2892 0 2 0 246 1 0 0 17 0 13 0 183304347 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14456/tid=14467] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14467/stat : 14467 (java) S 14454 14456 13942 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 183304347 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=14468] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/14468/stat : 14468 (java) S 14454 14456 13942 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 183304347 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14456/tid=15167] ppid=14454 vsize=909820 CPUtime=0
/proc/14456/task/15167/stat : 15167 (java) S 14454 14456 13942 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 183306827 931655680 183999 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 909820

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

Child status: 143
Real time (s): 1802.22
CPU time (s): 1800.23
CPU user time (s): 1799.14
CPU system time (s): 1.08783
CPU usage (%): 99.8895
Max. virtual memory (cumulated for all children) (KiB): 913824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.14
system time used= 1.08783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200543
page faults= 8
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38483
involuntary context switches= 12472

runsolver used 2.28165 s user time and 5.73313 s system time

The end

Launcher Data (download as text)

Begin job on node44 on Tue Jan  9 13:24:13 UTC 2007


IDJOB= 237523
IDBENCH= 6946
FILE ID= node44/237523-1168349053

PBS_JOBID= 3503601

Free space on /tmp= 66543 MiB

BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_28.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/237523-1168349053/sat4jCSP-bf3.jar /tmp/evaluation/237523-1168349053/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-237523-1168349053 -o ROOT/results/node44/solver-237523-1168349053 -C 1800 -M 900  java -server -Xmx700M -Xms700M -jar /tmp/evaluation/237523-1168349053/sat4jCSP-bf3.jar /tmp/evaluation/237523-1168349053/unknown.xml

META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH=  d182319e3384c4b9a637e552d7b21712

RANDOM SEED= 152172262

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.213
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.213
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:       1489896 kB
Buffers:         19968 kB
Cached:          56444 kB
SwapCached:        292 kB
Active:         486164 kB
Inactive:        23976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1489896 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            3652 kB
Writeback:           0 kB
Mapped:         450600 kB
Slab:            40380 kB
Committed_AS:  4681176 kB
PageTables:       2644 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= 66541 MiB



End job on node44 on Tue Jan  9 13:54:15 UTC 2007