Trace number 238858

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.21 1808.96

General information on the benchmark

NameblackHole/BH-4-13/
BlackHole-4-13-e-3_ext.xml
MD5SUMd9fc6498eb8cc87a372efbb16281ba77
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.23	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.23	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.23	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.23	c version CSP COMPETITION BUGFIX 3
0.23	c sun.arch.data.model	32
0.23	c java.version	1.5.0_10
0.23	c os.name	Linux
0.23	c os.version	2.6.9-22.EL.rootsmp
0.23	c os.arch	i386
0.23	c Free memory 722620888
0.23	c Max memory 723845120
0.23	c Total memory 723845120
0.23	c Number of processors 2
0.33	c --- Begin Solver configuration ---
0.33	c Stops conflict analysis at the first Unique Implication Point
0.33	c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.33	c Learn all clauses as in MiniSAT
0.33	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.33	c VSIDS like heuristics from MiniSAT using a heap
0.33	c No reason simplification
0.33	c --- End Solver configuration ---
0.33	c solving /tmp/evaluation/238858-1168360834/unknown.xml
0.33	c reading problem ... 
0.60	c reading problem named ?
0.60	c reading domains done.
0.61	c reading variables
c reading variables (208) done.
0.89	c reading relations
c reading relations (9) done.
1.09	c reading constraints
c reading constraints done.
4.03	c ... done. Wall clock time 3.706s.
4.03	c CPU time (experimental) 1.78s.
4.03	c #vars     7334
4.03	c #constraints  5530
546.79	c cleaning 113207 clauses out of 226452 for limit 1.153295651003011E13
549.36	c cleaning 56854 clauses out of 113747 for limit 3.7940388558855887E-7
550.00	c cleaning 28688 clauses out of 57391 for limit 1.2376128128994479E-6
550.32	c cleaning 14590 clauses out of 29204 for limit 4.014917706931699E-6
550.56	c cleaning 7539 clauses out of 15114 for limit 1.2793679209086232E-5
550.74	c cleaning 4026 clauses out of 8074 for limit 3.945549578767116E-5
550.93	c cleaning 2267 clauses out of 4549 for limit 1.1560342788285612E-4
551.06	c cleaning 1367 clauses out of 2781 for limit 3.115351361696664E-4
551.22	c cleaning 930 clauses out of 1914 for limit 7.46486533703703E-4
551.40	c cleaning 716 clauses out of 1484 for limit 0.0015877638039044689
551.61	c cleaning 606 clauses out of 1270 for limit 0.003065780006912538
551.79	c cleaning 559 clauses out of 1163 for limit 0.005515518798871863
551.98	c cleaning 526 clauses out of 1103 for limit 0.009581024410957381
552.13	c cleaning 514 clauses out of 1078 for limit 0.016183002344777354
1159.42	c cleaning 86761 clauses out of 173563 for limit 1.4870415483106357E11
1160.72	c cleaning 43632 clauses out of 87303 for limit 4.880243394754728E11
1161.41	c cleaning 22072 clauses out of 44171 for limit 1.5907037522025715E12
1161.88	c cleaning 11278 clauses out of 22600 for limit 5.132258192300284E12
1162.23	c cleaning 5881 clauses out of 11824 for limit 1.6209791371195957E13
1162.45	c cleaning 3196 clauses out of 6441 for limit 4.89751089314589E13
1162.64	c cleaning 1864 clauses out of 3743 for limit 1.3870615917963553E14
1164.06	c cleaning 2924 clauses out of 5879 for limit 4.831246639006731E-5
1164.23	c cleaning 1707 clauses out of 3455 for limit 1.3557215660650195E-4
1164.42	c cleaning 1100 clauses out of 2249 for limit 3.4381078795350507E-4
1164.59	c cleaning 809 clauses out of 1648 for limit 7.729886604750037E-4
1164.67	c cleaning 654 clauses out of 1340 for limit 0.0015693359759605702
1164.89	c cleaning 582 clauses out of 1186 for limit 0.0029240980227112755
1165.04	c cleaning 535 clauses out of 1104 for limit 0.005180401610948438
1165.26	c cleaning 519 clauses out of 1070 for limit 0.008823464124979056
1165.52	c cleaning 505 clauses out of 1049 for limit 0.014812701705149587
1165.67	c cleaning 503 clauses out of 1047 for limit 0.02454836127114093
1165.75	c cleaning 497 clauses out of 1042 for limit 0.0405964756434473
1165.91	c cleaning 496 clauses out of 1045 for limit 0.06675682109404785
1714.13	c cleaning 89007 clauses out of 178050 for limit 5.24015773671435E-7
1715.23	c cleaning 44752 clauses out of 89541 for limit 1.7149492051950767E-6
1715.70	c cleaning 22635 clauses out of 45289 for limit 5.591603360231827E-6
1715.98	c cleaning 11550 clauses out of 23155 for limit 1.8054052542076535E-5
1716.20	c cleaning 6043 clauses out of 12105 for limit 5.695220990712553E-5
1716.41	c cleaning 3271 clauses out of 6561 for limit 1.7311181582549542E-4
1716.50	c cleaning 1880 clauses out of 3790 for limit 4.942121596790995E-4
1716.58	c cleaning 1187 clauses out of 2412 for limit 0.0012832174113475868
1716.65	c cleaning 830 clauses out of 1724 for limit 0.0029577513477335705
1716.76	c cleaning 674 clauses out of 1393 for limit 0.006030720223855221
1716.89	c cleaning 585 clauses out of 1219 for limit 0.01136507952687928
1716.98	c cleaning 548 clauses out of 1136 for limit 0.02015221388266485
1717.08	c cleaning 523 clauses out of 1088 for limit 0.03469988910484349
1717.19	c cleaning 518 clauses out of 1064 for limit 0.05845702770090775
1717.28	c cleaning 507 clauses out of 1046 for limit 0.09806240945596204
1717.37	c cleaning 499 clauses out of 1038 for limit 0.16280144908139382
1717.47	c cleaning 499 clauses out of 1039 for limit 0.26822296509617055
1717.59	c cleaning 493 clauses out of 1042 for limit 0.4419454818252927
1717.72	c cleaning 497 clauses out of 1047 for limit 0.7238967036939773
1717.86	c cleaning 498 clauses out of 1052 for limit 1.190508365501291
1717.95	c cleaning 502 clauses out of 1052 for limit 1.9593829062628452
1718.04	c cleaning 495 clauses out of 1052 for limit 3.2377568098459713
1718.13	c cleaning 487 clauses out of 1055 for limit 5.313667426058733
1718.25	c cleaning 492 clauses out of 1069 for limit 8.656842622999031
1718.35	c cleaning 500 clauses out of 1076 for limit 14.169232658113806
1718.46	c cleaning 510 clauses out of 1078 for limit 23.3703250282345
1718.54	c cleaning 516 clauses out of 1068 for limit 38.90166124038211
1808.79	c starts		: 21
1808.79	c conflicts		: 697212
1808.79	c decisions		: 1105076
1808.79	c propagations		: 43407168
1808.79	c inspects		: 2293634710
1808.79	c learnt literals	: 3
1808.79	c learnt binary clauses	: 0
1808.79	c learnt ternary clauses	: 17
1808.79	c learnt clauses	: 697164
1808.79	c root simplifications	: 0
1808.79	c removed literals (reason simplification)	: 0
1808.79	c reason swapping (by a shorter reason)	: 0
1808.79	c Calls to reduceDB	: 60
1808.79	c speed (decisions/second)	: 612.3227433718544
1808.79	c non guided choices	11528
1808.79	s UNKNOWN
1808.79	c Total wall clock time (in seconds) : 1808.467
1808.79	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/node1/watcher-238858-1168360834 -o ROOT/results/node1/solver-238858-1168360834 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/238858-1168360834/sat4jCSP-bf3.jar /tmp/evaluation/238858-1168360834/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: 1.78 1.95 1.98 2/98 1504
/proc/meminfo: memFree=1279112/2055920 swapFree=4165612/4192956
[pid=1503] ppid=1501 vsize=18540 CPUtime=0
/proc/1503/stat : 1503 (runsolver) D 1501 1503 1445 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 184479143 18984960 279 18446744073709551615 4194304 4267372 548682068992 18446744073709551615 259353275687 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/1503/statm: 4635 279 244 17 0 2626 0

[startup+0.102749 s]
/proc/loadavg: 1.78 1.95 1.98 2/98 1504
/proc/meminfo: memFree=1279112/2055920 swapFree=4165612/4192956
[pid=1503] ppid=1501 vsize=895148 CPUtime=0.01
/proc/1503/stat : 1503 (java) R 1501 1503 1445 0 -1 0 2290 0 1 0 0 1 0 0 18 0 3 0 184479143 916631552 2052 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4160643169 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/1503/statm: 223787 2052 1022 14 0 210807 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 895148

[startup+0.511795 s]
/proc/loadavg: 1.78 1.95 1.98 2/98 1504
/proc/meminfo: memFree=1279112/2055920 swapFree=4165612/4192956
[pid=1503] ppid=1501 vsize=905236 CPUtime=0.42
/proc/1503/stat : 1503 (java) R 1501 1503 1445 0 -1 0 5513 0 1 0 39 3 0 0 18 0 12 0 184479143 926961664 5108 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1503/statm: 226309 5108 2135 14 0 212746 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 905236

[startup+1.34089 s]
/proc/loadavg: 1.78 1.95 1.98 4/109 1515
/proc/meminfo: memFree=1262000/2055920 swapFree=4165612/4192956
[pid=1503] ppid=1501 vsize=905236 CPUtime=1.24
/proc/1503/stat : 1503 (java) R 1501 1503 1445 0 -1 0 7151 0 1 0 120 4 0 0 22 0 12 0 184479143 926961664 6658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1503/statm: 226309 6658 2324 14 0 212746 0
[pid=1503/tid=1505] ppid=1501 vsize=905236 CPUtime=0
/proc/1503/task/1505/stat : 1505 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 184479153 926961664 6658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1506] ppid=1501 vsize=905236 CPUtime=0
/proc/1503/task/1506/stat : 1506 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 184479153 926961664 6658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1507] ppid=1501 vsize=905236 CPUtime=0
/proc/1503/task/1507/stat : 1507 (java) S 1501 1503 1445 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 184479156 926961664 6658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1508] ppid=1501 vsize=905236 CPUtime=0
/proc/1503/task/1508/stat : 1508 (java) S 1501 1503 1445 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 184479157 926961664 6658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1509] ppid=1501 vsize=905236 CPUtime=0
/proc/1503/task/1509/stat : 1509 (java) S 1501 1503 1445 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 184479157 926961664 6658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1510] ppid=1501 vsize=905236 CPUtime=0
/proc/1503/task/1510/stat : 1510 (java) S 1501 1503 1445 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 184479160 926961664 6658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1511] ppid=1501 vsize=905236 CPUtime=0
/proc/1503/task/1511/stat : 1511 (java) S 1501 1503 1445 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 184479161 926961664 6658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1512] ppid=1501 vsize=905236 CPUtime=0.29
/proc/1503/task/1512/stat : 1512 (java) S 1501 1503 1445 0 -1 64 334 0 0 0 29 0 0 0 16 0 12 0 184479161 926961664 6658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1513] ppid=1501 vsize=905236 CPUtime=0.25
/proc/1503/task/1513/stat : 1513 (java) R 1501 1503 1445 0 -1 64 689 0 0 0 25 0 0 0 16 0 12 0 184479161 926961664 6658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152369603 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1514] ppid=1501 vsize=905236 CPUtime=0
/proc/1503/task/1514/stat : 1514 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 184479161 926961664 6658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1515] ppid=1501 vsize=905236 CPUtime=0
/proc/1503/task/1515/stat : 1515 (java) S 1501 1503 1445 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 184479161 926961664 6658 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 905236

[startup+2.98509 s]
/proc/loadavg: 1.78 1.95 1.98 4/109 1515
/proc/meminfo: memFree=1257648/2055920 swapFree=4165612/4192956
[pid=1503] ppid=1501 vsize=905516 CPUtime=2.87
/proc/1503/stat : 1503 (java) R 1501 1503 1445 0 -1 0 10204 0 1 0 281 6 0 0 25 0 12 0 184479143 927248384 8717 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1503/statm: 226379 8717 2334 14 0 212816 0
[pid=1503/tid=1505] ppid=1501 vsize=905516 CPUtime=0
/proc/1503/task/1505/stat : 1505 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 184479153 927248384 8717 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1506] ppid=1501 vsize=905516 CPUtime=0
/proc/1503/task/1506/stat : 1506 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 184479153 927248384 8717 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1507] ppid=1501 vsize=905516 CPUtime=0
/proc/1503/task/1507/stat : 1507 (java) S 1501 1503 1445 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 184479156 927248384 8717 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1508] ppid=1501 vsize=905516 CPUtime=0
/proc/1503/task/1508/stat : 1508 (java) S 1501 1503 1445 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 184479157 927248384 8717 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1509] ppid=1501 vsize=905516 CPUtime=0
/proc/1503/task/1509/stat : 1509 (java) S 1501 1503 1445 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 184479157 927248384 8717 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1510] ppid=1501 vsize=905516 CPUtime=0
/proc/1503/task/1510/stat : 1510 (java) S 1501 1503 1445 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 184479160 927248384 8717 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1511] ppid=1501 vsize=905516 CPUtime=0
/proc/1503/task/1511/stat : 1511 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 184479161 927248384 8717 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1512] ppid=1501 vsize=905516 CPUtime=0.75
/proc/1503/task/1512/stat : 1512 (java) S 1501 1503 1445 0 -1 64 718 0 0 0 75 0 0 0 16 0 12 0 184479161 927248384 8717 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1513] ppid=1501 vsize=905516 CPUtime=0.79
/proc/1503/task/1513/stat : 1513 (java) R 1501 1503 1445 0 -1 64 1417 0 0 0 79 0 0 0 16 0 12 0 184479161 927248384 8717 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4151470352 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1514] ppid=1501 vsize=905516 CPUtime=0
/proc/1503/task/1514/stat : 1514 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 184479161 927248384 8717 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1515] ppid=1501 vsize=905516 CPUtime=0
/proc/1503/task/1515/stat : 1515 (java) S 1501 1503 1445 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 184479161 927248384 8717 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 905516

[startup+6.20846 s]
/proc/loadavg: 1.88 1.97 1.99 3/110 1516
/proc/meminfo: memFree=1234728/2055920 swapFree=4165612/4192956
[pid=1503] ppid=1501 vsize=907388 CPUtime=6.05
/proc/1503/stat : 1503 (java) R 1501 1503 1445 0 -1 0 16451 0 1 0 596 9 0 0 25 0 13 0 184479143 929165312 14056 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054727835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1503/statm: 226847 14056 2350 14 0 213284 0
[pid=1503/tid=1505] ppid=1501 vsize=907388 CPUtime=0
/proc/1503/task/1505/stat : 1505 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 184479153 929165312 14056 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1506] ppid=1501 vsize=907388 CPUtime=0
/proc/1503/task/1506/stat : 1506 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 184479153 929165312 14056 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1507] ppid=1501 vsize=907388 CPUtime=0
/proc/1503/task/1507/stat : 1507 (java) S 1501 1503 1445 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 184479156 929165312 14056 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1508] ppid=1501 vsize=907388 CPUtime=0
/proc/1503/task/1508/stat : 1508 (java) S 1501 1503 1445 0 -1 64 8 0 0 0 0 0 0 0 21 0 13 0 184479157 929165312 14056 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1509] ppid=1501 vsize=907388 CPUtime=0
/proc/1503/task/1509/stat : 1509 (java) S 1501 1503 1445 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 184479157 929165312 14056 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1510] ppid=1501 vsize=907388 CPUtime=0
/proc/1503/task/1510/stat : 1510 (java) S 1501 1503 1445 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184479160 929165312 14056 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1511] ppid=1501 vsize=907388 CPUtime=0
/proc/1503/task/1511/stat : 1511 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 184479161 929165312 14056 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1512] ppid=1501 vsize=907388 CPUtime=1.42
/proc/1503/task/1512/stat : 1512 (java) S 1501 1503 1445 0 -1 64 1867 0 0 0 141 1 0 0 15 0 13 0 184479161 929165312 14056 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1513] ppid=1501 vsize=907388 CPUtime=1.24
/proc/1503/task/1513/stat : 1513 (java) S 1501 1503 1445 0 -1 64 1639 0 0 0 124 0 0 0 15 0 13 0 184479161 929165312 14056 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1514] ppid=1501 vsize=907388 CPUtime=0
/proc/1503/task/1514/stat : 1514 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184479161 929165312 14056 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1515] ppid=1501 vsize=907388 CPUtime=0
/proc/1503/task/1515/stat : 1515 (java) S 1501 1503 1445 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184479161 929165312 14056 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1516] ppid=1501 vsize=907388 CPUtime=0
/proc/1503/task/1516/stat : 1516 (java) S 1501 1503 1445 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184479551 929165312 14056 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 907388

[startup+12.7082 s]
/proc/loadavg: 1.89 1.97 1.99 3/110 1516
/proc/meminfo: memFree=1207976/2055920 swapFree=4165612/4192956
[pid=1503] ppid=1501 vsize=906728 CPUtime=12.5
/proc/1503/stat : 1503 (java) R 1501 1503 1445 0 -1 0 22675 0 1 0 1237 13 0 0 25 0 13 0 184479143 928489472 20112 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054300064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1503/statm: 226682 20112 2350 14 0 213119 0
[pid=1503/tid=1505] ppid=1501 vsize=906728 CPUtime=0
/proc/1503/task/1505/stat : 1505 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 184479153 928489472 20112 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1506] ppid=1501 vsize=906728 CPUtime=0
/proc/1503/task/1506/stat : 1506 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 184479153 928489472 20112 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1507] ppid=1501 vsize=906728 CPUtime=0
/proc/1503/task/1507/stat : 1507 (java) S 1501 1503 1445 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 184479156 928489472 20112 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1508] ppid=1501 vsize=906728 CPUtime=0
/proc/1503/task/1508/stat : 1508 (java) S 1501 1503 1445 0 -1 64 8 0 0 0 0 0 0 0 21 0 13 0 184479157 928489472 20112 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1509] ppid=1501 vsize=906728 CPUtime=0
/proc/1503/task/1509/stat : 1509 (java) S 1501 1503 1445 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 184479157 928489472 20112 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1510] ppid=1501 vsize=906728 CPUtime=0
/proc/1503/task/1510/stat : 1510 (java) S 1501 1503 1445 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184479160 928489472 20112 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1511] ppid=1501 vsize=906728 CPUtime=0
/proc/1503/task/1511/stat : 1511 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 184479161 928489472 20112 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1512] ppid=1501 vsize=906728 CPUtime=1.43
/proc/1503/task/1512/stat : 1512 (java) S 1501 1503 1445 0 -1 64 1868 0 0 0 142 1 0 0 16 0 13 0 184479161 928489472 20112 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1513] ppid=1501 vsize=906728 CPUtime=1.25
/proc/1503/task/1513/stat : 1513 (java) S 1501 1503 1445 0 -1 64 1640 0 0 0 125 0 0 0 16 0 13 0 184479161 928489472 20112 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1514] ppid=1501 vsize=906728 CPUtime=0
/proc/1503/task/1514/stat : 1514 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184479161 928489472 20112 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1515] ppid=1501 vsize=906728 CPUtime=0
/proc/1503/task/1515/stat : 1515 (java) S 1501 1503 1445 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184479161 928489472 20112 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1516] ppid=1501 vsize=906728 CPUtime=0
/proc/1503/task/1516/stat : 1516 (java) S 1501 1503 1445 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184479551 928489472 20112 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 906728

[startup+25.5127 s]
/proc/loadavg: 2.05 2.00 2.00 3/110 1516
/proc/meminfo: memFree=1164904/2055920 swapFree=4165612/4192956
[pid=1503] ppid=1501 vsize=906728 CPUtime=25.19
/proc/1503/stat : 1503 (java) R 1501 1503 1445 0 -1 0 33347 0 1 0 2501 18 0 0 25 0 13 0 184479143 928489472 30783 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1503/statm: 226682 30783 2358 14 0 213119 0
[pid=1503/tid=1505] ppid=1501 vsize=906728 CPUtime=0.03
/proc/1503/task/1505/stat : 1505 (java) S 1501 1503 1445 0 -1 64 2203 0 0 0 2 1 0 0 17 0 13 0 184479153 928489472 30783 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1506] ppid=1501 vsize=906728 CPUtime=0.07
/proc/1503/task/1506/stat : 1506 (java) S 1501 1503 1445 0 -1 64 7947 0 0 0 4 3 0 0 17 0 13 0 184479153 928489472 30783 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1507] ppid=1501 vsize=906728 CPUtime=0
/proc/1503/task/1507/stat : 1507 (java) S 1501 1503 1445 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 184479156 928489472 30783 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1508] ppid=1501 vsize=906728 CPUtime=0
/proc/1503/task/1508/stat : 1508 (java) S 1501 1503 1445 0 -1 64 8 0 0 0 0 0 0 0 17 0 13 0 184479157 928489472 30783 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1509] ppid=1501 vsize=906728 CPUtime=0
/proc/1503/task/1509/stat : 1509 (java) S 1501 1503 1445 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 184479157 928489472 30783 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1510] ppid=1501 vsize=906728 CPUtime=0
/proc/1503/task/1510/stat : 1510 (java) S 1501 1503 1445 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184479160 928489472 30783 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1511] ppid=1501 vsize=906728 CPUtime=0
/proc/1503/task/1511/stat : 1511 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 184479161 928489472 30783 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1512] ppid=1501 vsize=906728 CPUtime=1.44
/proc/1503/task/1512/stat : 1512 (java) R 1501 1503 1445 0 -1 64 1868 0 0 0 143 1 0 0 16 0 13 0 184479161 928489472 30783 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152665916 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1513] ppid=1501 vsize=906728 CPUtime=1.25
/proc/1503/task/1513/stat : 1513 (java) S 1501 1503 1445 0 -1 64 1640 0 0 0 125 0 0 0 16 0 13 0 184479161 928489472 30783 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1514] ppid=1501 vsize=906728 CPUtime=0
/proc/1503/task/1514/stat : 1514 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184479161 928489472 30783 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1515] ppid=1501 vsize=906728 CPUtime=0
/proc/1503/task/1515/stat : 1515 (java) S 1501 1503 1445 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184479161 928489472 30783 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1516] ppid=1501 vsize=906728 CPUtime=0
/proc/1503/task/1516/stat : 1516 (java) S 1501 1503 1445 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184479551 928489472 30783 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 906728

[startup+51.1945 s]
/proc/loadavg: 2.03 2.00 2.00 3/110 1516
/proc/meminfo: memFree=1094056/2055920 swapFree=4165612/4192956
[pid=1503] ppid=1501 vsize=906728 CPUtime=50.76
/proc/1503/stat : 1503 (java) R 1501 1503 1445 0 -1 0 51616 0 1 0 5050 26 0 0 25 0 13 0 184479143 928489472 48502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054673567 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

/proc/loadavg: 2.00 2.00 2.00 3/106 1795
/proc/meminfo: memFree=1045128/2055920 swapFree=4165612/4192956
[pid=1503] ppid=1501 vsize=907372 CPUtime=1595.15
/proc/1503/stat : 1503 (java) R 1501 1503 1445 0 -1 0 193093 0 1 0 159419 96 0 0 25 0 13 0 184479143 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054673623 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1503/statm: 226843 178502 2367 14 0 213280 0
[pid=1503/tid=1505] ppid=1501 vsize=907372 CPUtime=3.22
/proc/1503/task/1505/stat : 1505 (java) S 1501 1503 1445 0 -1 64 85652 0 0 0 287 35 0 0 17 0 13 0 184479153 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1506] ppid=1501 vsize=907372 CPUtime=3.17
/proc/1503/task/1506/stat : 1506 (java) S 1501 1503 1445 0 -1 64 78057 0 0 0 283 34 0 0 17 0 13 0 184479153 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1507] ppid=1501 vsize=907372 CPUtime=0.67
/proc/1503/task/1507/stat : 1507 (java) S 1501 1503 1445 0 -1 64 6128 0 0 0 65 2 0 0 16 0 13 0 184479156 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1508] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1508/stat : 1508 (java) S 1501 1503 1445 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 184479157 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1509] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1509/stat : 1509 (java) S 1501 1503 1445 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 184479157 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1510] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1510/stat : 1510 (java) S 1501 1503 1445 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184479160 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1511] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1511/stat : 1511 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 184479161 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1512] ppid=1501 vsize=907372 CPUtime=1.53
/proc/1503/task/1512/stat : 1512 (java) S 1501 1503 1445 0 -1 64 1870 0 0 0 152 1 0 0 15 0 13 0 184479161 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1513] ppid=1501 vsize=907372 CPUtime=1.35
/proc/1503/task/1513/stat : 1513 (java) S 1501 1503 1445 0 -1 64 1646 0 0 0 135 0 0 0 16 0 13 0 184479161 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1514] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1514/stat : 1514 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184479161 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1515] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1515/stat : 1515 (java) S 1501 1503 1445 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184479161 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1516] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1516/stat : 1516 (java) S 1501 1503 1445 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184479551 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.15
Current children cumulated vsize (KiB) 907372

[startup+1663.06 s]
/proc/loadavg: 2.00 2.00 2.00 3/106 1795
/proc/meminfo: memFree=1045064/2055920 swapFree=4165612/4192956
[pid=1503] ppid=1501 vsize=907372 CPUtime=1654.87
/proc/1503/stat : 1503 (java) R 1501 1503 1445 0 -1 0 193094 0 1 0 165391 96 0 0 25 0 13 0 184479143 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054673297 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1503/statm: 226843 178502 2367 14 0 213280 0
[pid=1503/tid=1505] ppid=1501 vsize=907372 CPUtime=3.28
/proc/1503/task/1505/stat : 1505 (java) S 1501 1503 1445 0 -1 64 85652 0 0 0 293 35 0 0 16 0 13 0 184479153 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1506] ppid=1501 vsize=907372 CPUtime=3.23
/proc/1503/task/1506/stat : 1506 (java) S 1501 1503 1445 0 -1 64 78057 0 0 0 289 34 0 0 16 0 13 0 184479153 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1507] ppid=1501 vsize=907372 CPUtime=0.67
/proc/1503/task/1507/stat : 1507 (java) S 1501 1503 1445 0 -1 64 6128 0 0 0 65 2 0 0 16 0 13 0 184479156 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1508] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1508/stat : 1508 (java) S 1501 1503 1445 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 184479157 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1509] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1509/stat : 1509 (java) S 1501 1503 1445 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 184479157 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1510] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1510/stat : 1510 (java) S 1501 1503 1445 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184479160 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1511] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1511/stat : 1511 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 184479161 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1512] ppid=1501 vsize=907372 CPUtime=1.53
/proc/1503/task/1512/stat : 1512 (java) S 1501 1503 1445 0 -1 64 1870 0 0 0 152 1 0 0 15 0 13 0 184479161 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1513] ppid=1501 vsize=907372 CPUtime=1.35
/proc/1503/task/1513/stat : 1513 (java) S 1501 1503 1445 0 -1 64 1646 0 0 0 135 0 0 0 16 0 13 0 184479161 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1514] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1514/stat : 1514 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184479161 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1515] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1515/stat : 1515 (java) S 1501 1503 1445 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184479161 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1516] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1516/stat : 1516 (java) S 1501 1503 1445 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184479551 929148928 178502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.87
Current children cumulated vsize (KiB) 907372

[startup+1723.08 s]
/proc/loadavg: 2.03 2.01 2.00 3/106 1795
/proc/meminfo: memFree=1054088/2055920 swapFree=4165612/4192956
[pid=1503] ppid=1501 vsize=907372 CPUtime=1714.65
/proc/1503/stat : 1503 (java) R 1501 1503 1445 0 -1 0 193096 0 1 0 171368 97 0 0 25 0 13 0 184479143 929148928 176184 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054673613 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1503/statm: 226843 176184 2367 14 0 213280 0
[pid=1503/tid=1505] ppid=1501 vsize=907372 CPUtime=3.37
/proc/1503/task/1505/stat : 1505 (java) S 1501 1503 1445 0 -1 64 85652 0 0 0 302 35 0 0 17 0 13 0 184479153 929148928 176184 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1506] ppid=1501 vsize=907372 CPUtime=3.34
/proc/1503/task/1506/stat : 1506 (java) S 1501 1503 1445 0 -1 64 78057 0 0 0 300 34 0 0 16 0 13 0 184479153 929148928 176184 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1507] ppid=1501 vsize=907372 CPUtime=0.84
/proc/1503/task/1507/stat : 1507 (java) S 1501 1503 1445 0 -1 64 6128 0 0 0 82 2 0 0 16 0 13 0 184479156 929148928 176184 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1508] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1508/stat : 1508 (java) S 1501 1503 1445 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 184479157 929148928 176184 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1509] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1509/stat : 1509 (java) S 1501 1503 1445 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 184479157 929148928 176184 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1510] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1510/stat : 1510 (java) S 1501 1503 1445 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184479160 929148928 176184 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1511] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1511/stat : 1511 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 184479161 929148928 176184 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1512] ppid=1501 vsize=907372 CPUtime=1.53
/proc/1503/task/1512/stat : 1512 (java) S 1501 1503 1445 0 -1 64 1870 0 0 0 152 1 0 0 15 0 13 0 184479161 929148928 176184 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1513] ppid=1501 vsize=907372 CPUtime=1.35
/proc/1503/task/1513/stat : 1513 (java) S 1501 1503 1445 0 -1 64 1646 0 0 0 135 0 0 0 16 0 13 0 184479161 929148928 176184 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1514] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1514/stat : 1514 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184479161 929148928 176184 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1515] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1515/stat : 1515 (java) S 1501 1503 1445 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184479161 929148928 176184 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1516] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1516/stat : 1516 (java) S 1501 1503 1445 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184479551 929148928 176184 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.65
Current children cumulated vsize (KiB) 907372

[startup+1783.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/106 1795
/proc/meminfo: memFree=1054216/2055920 swapFree=4165612/4192956
[pid=1503] ppid=1501 vsize=907372 CPUtime=1774.45
/proc/1503/stat : 1503 (java) R 1501 1503 1445 0 -1 0 193101 0 1 0 177348 97 0 0 25 0 13 0 184479143 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054635354 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1503/statm: 226843 176152 2367 14 0 213280 0
[pid=1503/tid=1505] ppid=1501 vsize=907372 CPUtime=3.61
/proc/1503/task/1505/stat : 1505 (java) S 1501 1503 1445 0 -1 64 85652 0 0 0 326 35 0 0 16 0 13 0 184479153 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1506] ppid=1501 vsize=907372 CPUtime=3.61
/proc/1503/task/1506/stat : 1506 (java) S 1501 1503 1445 0 -1 64 78057 0 0 0 327 34 0 0 17 0 13 0 184479153 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1507] ppid=1501 vsize=907372 CPUtime=0.84
/proc/1503/task/1507/stat : 1507 (java) S 1501 1503 1445 0 -1 64 6128 0 0 0 82 2 0 0 16 0 13 0 184479156 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1508] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1508/stat : 1508 (java) S 1501 1503 1445 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 184479157 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1509] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1509/stat : 1509 (java) S 1501 1503 1445 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 184479157 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1510] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1510/stat : 1510 (java) S 1501 1503 1445 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184479160 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1511] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1511/stat : 1511 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 184479161 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1512] ppid=1501 vsize=907372 CPUtime=1.53
/proc/1503/task/1512/stat : 1512 (java) S 1501 1503 1445 0 -1 64 1870 0 0 0 152 1 0 0 15 0 13 0 184479161 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1513] ppid=1501 vsize=907372 CPUtime=1.35
/proc/1503/task/1513/stat : 1513 (java) S 1501 1503 1445 0 -1 64 1646 0 0 0 135 0 0 0 16 0 13 0 184479161 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1514] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1514/stat : 1514 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184479161 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1515] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1515/stat : 1515 (java) S 1501 1503 1445 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184479161 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1516] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1516/stat : 1516 (java) S 1501 1503 1445 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184479551 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.45
Current children cumulated vsize (KiB) 907372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.78 s]
/proc/loadavg: 2.00 2.00 2.00 3/106 1795
/proc/meminfo: memFree=1054216/2055920 swapFree=4165612/4192956
[pid=1503] ppid=1501 vsize=907372 CPUtime=1800.04
/proc/1503/stat : 1503 (java) R 1501 1503 1445 0 -1 0 193102 0 1 0 179906 98 0 0 25 0 13 0 184479143 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054673717 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1503/statm: 226843 176152 2367 14 0 213280 0
[pid=1503/tid=1505] ppid=1501 vsize=907372 CPUtime=3.68
/proc/1503/task/1505/stat : 1505 (java) S 1501 1503 1445 0 -1 64 85652 0 0 0 333 35 0 0 16 0 13 0 184479153 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1506] ppid=1501 vsize=907372 CPUtime=3.68
/proc/1503/task/1506/stat : 1506 (java) S 1501 1503 1445 0 -1 64 78057 0 0 0 334 34 0 0 17 0 13 0 184479153 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1507] ppid=1501 vsize=907372 CPUtime=0.84
/proc/1503/task/1507/stat : 1507 (java) S 1501 1503 1445 0 -1 64 6128 0 0 0 82 2 0 0 16 0 13 0 184479156 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1508] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1508/stat : 1508 (java) S 1501 1503 1445 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 184479157 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1509] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1509/stat : 1509 (java) S 1501 1503 1445 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 184479157 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1510] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1510/stat : 1510 (java) S 1501 1503 1445 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 184479160 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1511] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1511/stat : 1511 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 184479161 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1512] ppid=1501 vsize=907372 CPUtime=1.53
/proc/1503/task/1512/stat : 1512 (java) S 1501 1503 1445 0 -1 64 1870 0 0 0 152 1 0 0 15 0 13 0 184479161 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1513] ppid=1501 vsize=907372 CPUtime=1.35
/proc/1503/task/1513/stat : 1513 (java) S 1501 1503 1445 0 -1 64 1646 0 0 0 135 0 0 0 16 0 13 0 184479161 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1503/tid=1514] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1514/stat : 1514 (java) S 1501 1503 1445 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 184479161 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1515] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1515/stat : 1515 (java) S 1501 1503 1445 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 184479161 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1503/tid=1516] ppid=1501 vsize=907372 CPUtime=0
/proc/1503/task/1516/stat : 1516 (java) S 1501 1503 1445 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 184479551 929148928 176152 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 907372

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

Child status: 143
Real time (s): 1808.96
CPU time (s): 1800.21
CPU user time (s): 1799.13
CPU system time (s): 1.08283
CPU usage (%): 99.5165
Max. virtual memory (cumulated for all children) (KiB): 908376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 1.08283
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193121
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= 38392
involuntary context switches= 70263

runsolver used 2.20167 s user time and 5.80312 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Tue Jan  9 16:40:34 UTC 2007


IDJOB= 238858
IDBENCH= 7024
FILE ID= node1/238858-1168360834

PBS_JOBID= 3503758

Free space on /tmp= 66510 MiB

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

META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH=  d9fc6498eb8cc87a372efbb16281ba77

RANDOM SEED= 976966698

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.234
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.234
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:       1279592 kB
Buffers:         26952 kB
Cached:         130212 kB
SwapCached:       4064 kB
Active:         629040 kB
Inactive:        88664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1279592 kB
SwapTotal:     4192956 kB
SwapFree:      4165612 kB
Dirty:            2976 kB
Writeback:           0 kB
Mapped:         579976 kB
Slab:            42180 kB
Committed_AS:  6637768 kB
PageTables:       3404 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= 66512 MiB



End job on node1 on Tue Jan  9 17:10:43 UTC 2007