Trace number 2116537

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Choco2.1.1b 2009-07-16SAT 21.0918 21.1399

DiagnosticValue
CHECKS0
NODES1171

General information on the benchmark

Namecsp/js-taillard-15/
normalized-js-taillard-15-105-4.xml
MD5SUMcc1626b385ab160ac31e70a43bb38e50
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.03239
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints1785
Maximum constraint arity2
Maximum domain size1298
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1785
Global constraints used (with number of constraints)

Solver Data 

20.98/21.09	s SATISFIABLE
20.98/21.09	v 22 220 316 375 470 546 621 644 743 808 828 899 951 1043 1142 0 37 125 241 293 361 374 507 542 599 636 832 881 949 1071 81 168 214 273 546 576 657 719 756 848 945 1042 1069 1092 1184 21 40 55 97 105 177 192 331 356 434 518 580 731 812 1150 270 338 409 434 529 620 657 811 851 949 1028 1079 1129 1165 1195 22 240 241 286 358 364 409 518 660 849 851 961 1035 1101 1232 0 21 435 534 621 701 772 819 915 971 1049 1102 1129 1222 1247 0 40 125 217 227 272 388 627 772 800 871 996 1069 1199 1245 0 37 168 217 240 241 319 364 379 388 576 719 802 810 899 21 456 534 581 650 660 751 811 895 921 959 996 1102 1177 1245 0 29 78 111 354 395 398 581 649 670 731 805 1058 1211 1250 0 91 149 232 268 375 398 462 599 701 751 808 881 1195 1223 0 21 111 241 316 412 435 520 647 670 697 788 951 1028 1142 62 125 220 272 338 371 383 477 870 945 957 1040 1075 1165 1291 55 214 232 293 378 448 604 649 730 932 1002 1043 1091 1157 1221 
20.98/21.09	d AC 32
20.98/21.09	d RUNTIME 20.961
20.98/21.09	d NODES 1171
20.98/21.09	d NODES/s 56
20.98/21.09	d BACKTRACKS 1006
20.98/21.09	d BACKTRACKS/s 48
20.98/21.09	d CHECKS 0
20.98/21.09	d CHECKS/s 0
20.98/21.09	c SAT 20.961 TIME      1171 NDS    611 PARSTIME      277 BUILDPB       613 CONFIG        19460 RES       true RESTART       1 HEURISTIC       true RANDVAL

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2116537-1248031235/watcher-2116537-1248031235 -o /tmp/evaluation-result-2116537-1248031235/solver-2116537-1248031235 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116537-1248031235.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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


[startup+0 s]
/proc/loadavg: 2.01 2.05 2.00 4/80 25416
/proc/meminfo: memFree=887640/2055920 swapFree=4192812/4192956
[pid=25416] ppid=25414 vsize=1616 CPUtime=0
/proc/25416/stat : 25416 (java) R 25414 25416 23588 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 90190007 1654784 162 996147200 134512640 134550932 4294956064 18446744073709551615 5487200 0 0 4096 0 0 0 0 17 0 0 0
/proc/25416/statm: 404 164 127 9 0 46 0

[startup+0.074032 s]
/proc/loadavg: 2.01 2.05 2.00 4/80 25416
/proc/meminfo: memFree=887640/2055920 swapFree=4192812/4192956
[pid=25416] ppid=25414 vsize=862184 CPUtime=0.06
/proc/25416/stat : 25416 (java) S 25414 25416 23588 0 -1 0 3116 0 1 0 4 2 0 0 18 0 9 0 90190007 882876416 2584 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25416/statm: 215546 2585 1250 9 0 210416 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 862184

[startup+0.101036 s]
/proc/loadavg: 2.01 2.05 2.00 4/80 25416
/proc/meminfo: memFree=887640/2055920 swapFree=4192812/4192956
[pid=25416] ppid=25414 vsize=864104 CPUtime=0.08
/proc/25416/stat : 25416 (java) S 25414 25416 23588 0 -1 0 3849 0 1 0 6 2 0 0 18 0 9 0 90190007 884842496 3303 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25416/statm: 216026 3303 1732 9 0 210495 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 864104

[startup+0.301065 s]
/proc/loadavg: 2.01 2.05 2.00 4/80 25416
/proc/meminfo: memFree=887640/2055920 swapFree=4192812/4192956
[pid=25416] ppid=25414 vsize=864544 CPUtime=0.28
/proc/25416/stat : 25416 (java) S 25414 25416 23588 0 -1 0 4629 0 1 0 25 3 0 0 18 0 9 0 90190007 885293056 4055 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25416/statm: 216136 4057 1856 9 0 210605 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864544

[startup+0.701124 s]
/proc/loadavg: 2.01 2.05 2.00 4/80 25416
/proc/meminfo: memFree=887640/2055920 swapFree=4192812/4192956
[pid=25416] ppid=25414 vsize=864996 CPUtime=0.69
/proc/25416/stat : 25416 (java) S 25414 25416 23588 0 -1 0 7504 0 1 0 64 5 0 0 18 0 9 0 90190007 885755904 6918 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25416/statm: 216249 6918 1902 9 0 210718 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 864996

[startup+1.50224 s]
/proc/loadavg: 2.01 2.05 2.00 3/89 25425
/proc/meminfo: memFree=857168/2055920 swapFree=4192812/4192956
[pid=25416] ppid=25414 vsize=865272 CPUtime=1.48
/proc/25416/stat : 25416 (java) S 25414 25416 23588 0 -1 0 14044 0 1 0 140 8 0 0 18 0 9 0 90190007 886038528 13421 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25416/statm: 216318 13421 1983 9 0 210787 0
[pid=25416/tid=25418] ppid=25414 vsize=865272 CPUtime=1.14
/proc/25416/task/25418/stat : 25418 (java) R 25414 25416 23588 0 -1 64 12630 0 1 0 107 7 0 0 25 0 9 0 90190008 886038528 13422 996147200 134512640 134550932 4294955888 18446744073709551615 4126763879 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25419] ppid=25414 vsize=865272 CPUtime=0
/proc/25416/task/25419/stat : 25419 (java) S 25414 25416 23588 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90190009 886038528 13422 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25420] ppid=25414 vsize=865272 CPUtime=0
/proc/25416/task/25420/stat : 25420 (java) S 25414 25416 23588 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 90190009 886038528 13425 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25421] ppid=25414 vsize=865272 CPUtime=0
/proc/25416/task/25421/stat : 25421 (java) S 25414 25416 23588 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 90190009 886038528 13426 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25422] ppid=25414 vsize=865272 CPUtime=0
/proc/25416/task/25422/stat : 25422 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90190011 886038528 13426 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25423] ppid=25414 vsize=865272 CPUtime=0.34
/proc/25416/task/25423/stat : 25423 (java) S 25414 25416 23588 0 -1 64 683 0 0 0 33 1 0 0 16 0 9 0 90190011 886038528 13426 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25424] ppid=25414 vsize=865272 CPUtime=0
/proc/25416/task/25424/stat : 25424 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90190011 886038528 13427 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25425] ppid=25414 vsize=865272 CPUtime=0
/proc/25416/task/25425/stat : 25425 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90190012 886038528 13427 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 865272

[startup+3.10147 s]
/proc/loadavg: 2.01 2.05 2.00 3/89 25425
/proc/meminfo: memFree=835280/2055920 swapFree=4192812/4192956
[pid=25416] ppid=25414 vsize=865404 CPUtime=3.08
/proc/25416/stat : 25416 (java) S 25414 25416 23588 0 -1 0 19026 0 1 0 297 11 0 0 18 0 9 0 90190007 886173696 18398 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25416/statm: 216351 18398 1999 9 0 210820 0
[pid=25416/tid=25418] ppid=25414 vsize=865404 CPUtime=2.55
/proc/25416/task/25418/stat : 25418 (java) R 25414 25416 23588 0 -1 64 14910 0 1 0 247 8 0 0 25 0 9 0 90190008 886173696 18398 996147200 134512640 134550932 4294955888 18446744073709551615 4127428829 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25419] ppid=25414 vsize=865404 CPUtime=0.05
/proc/25416/task/25419/stat : 25419 (java) S 25414 25416 23588 0 -1 64 2612 0 0 0 5 0 0 0 16 0 9 0 90190009 886173696 18398 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25420] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25420/stat : 25420 (java) S 25414 25416 23588 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90190009 886173696 18398 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25421] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25421/stat : 25421 (java) S 25414 25416 23588 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 90190009 886173696 18398 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25422] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25422/stat : 25422 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90190011 886173696 18398 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25423] ppid=25414 vsize=865404 CPUtime=0.45
/proc/25416/task/25423/stat : 25423 (java) S 25414 25416 23588 0 -1 64 770 0 0 0 44 1 0 0 15 0 9 0 90190011 886173696 18398 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25424] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25424/stat : 25424 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90190011 886173696 18398 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25425] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25425/stat : 25425 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90190012 886173696 18398 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 865404

[startup+6.30293 s]
/proc/loadavg: 2.01 2.05 2.00 3/89 25425
/proc/meminfo: memFree=815760/2055920 swapFree=4192812/4192956
[pid=25416] ppid=25414 vsize=865404 CPUtime=6.28
/proc/25416/stat : 25416 (java) S 25414 25416 23588 0 -1 0 20429 0 1 0 616 12 0 0 18 0 9 0 90190007 886173696 19798 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25416/statm: 216351 19798 1999 9 0 210820 0
[pid=25416/tid=25418] ppid=25414 vsize=865404 CPUtime=5.7
/proc/25416/task/25418/stat : 25418 (java) R 25414 25416 23588 0 -1 64 14917 0 1 0 562 8 0 0 25 0 9 0 90190008 886173696 19798 996147200 134512640 134550932 4294955888 18446744073709551615 4127544703 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25419] ppid=25414 vsize=865404 CPUtime=0.09
/proc/25416/task/25419/stat : 25419 (java) S 25414 25416 23588 0 -1 64 4003 0 0 0 8 1 0 0 16 0 9 0 90190009 886173696 19798 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25420] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25420/stat : 25420 (java) S 25414 25416 23588 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90190009 886173696 19798 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25421] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25421/stat : 25421 (java) S 25414 25416 23588 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 90190009 886173696 19798 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25422] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25422/stat : 25422 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90190011 886173696 19798 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25423] ppid=25414 vsize=865404 CPUtime=0.46
/proc/25416/task/25423/stat : 25423 (java) S 25414 25416 23588 0 -1 64 775 0 0 0 45 1 0 0 16 0 9 0 90190011 886173696 19798 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25424] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25424/stat : 25424 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90190011 886173696 19798 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25425] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25425/stat : 25425 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90190012 886173696 19798 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 865404

[startup+12.7018 s]
/proc/loadavg: 2.01 2.05 2.00 3/89 25425
/proc/meminfo: memFree=815568/2055920 swapFree=4192812/4192956
[pid=25416] ppid=25414 vsize=865404 CPUtime=12.67
/proc/25416/stat : 25416 (java) S 25414 25416 23588 0 -1 0 20461 0 1 0 1255 12 0 0 18 0 9 0 90190007 886173696 19827 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25416/statm: 216351 19827 2001 9 0 210820 0
[pid=25416/tid=25418] ppid=25414 vsize=865404 CPUtime=12.09
/proc/25416/task/25418/stat : 25418 (java) R 25414 25416 23588 0 -1 64 14928 0 1 0 1200 9 0 0 25 0 9 0 90190008 886173696 19827 996147200 134512640 134550932 4294955888 18446744073709551615 4127465020 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25419] ppid=25414 vsize=865404 CPUtime=0.1
/proc/25416/task/25419/stat : 25419 (java) S 25414 25416 23588 0 -1 64 4021 0 0 0 9 1 0 0 16 0 9 0 90190009 886173696 19827 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25420] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25420/stat : 25420 (java) S 25414 25416 23588 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90190009 886173696 19827 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25421] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25421/stat : 25421 (java) S 25414 25416 23588 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 90190009 886173696 19827 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25422] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25422/stat : 25422 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90190011 886173696 19827 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25423] ppid=25414 vsize=865404 CPUtime=0.46
/proc/25416/task/25423/stat : 25423 (java) S 25414 25416 23588 0 -1 64 778 0 0 0 45 1 0 0 15 0 9 0 90190011 886173696 19827 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25424] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25424/stat : 25424 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90190011 886173696 19827 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25425] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25425/stat : 25425 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90190012 886173696 19827 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 865404

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

[startup+15.9023 s]
/proc/loadavg: 2.01 2.05 2.00 3/89 25425
/proc/meminfo: memFree=815568/2055920 swapFree=4192812/4192956
[pid=25416] ppid=25414 vsize=865404 CPUtime=15.88
/proc/25416/stat : 25416 (java) S 25414 25416 23588 0 -1 0 20464 0 1 0 1575 13 0 0 18 0 9 0 90190007 886173696 19828 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25416/statm: 216351 19828 2001 9 0 210820 0
[pid=25416/tid=25418] ppid=25414 vsize=865404 CPUtime=15.28
/proc/25416/task/25418/stat : 25418 (java) R 25414 25416 23588 0 -1 64 14930 0 1 0 1519 9 0 0 25 0 9 0 90190008 886173696 19828 996147200 134512640 134550932 4294955888 18446744073709551615 4127371744 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25419] ppid=25414 vsize=865404 CPUtime=0.1
/proc/25416/task/25419/stat : 25419 (java) S 25414 25416 23588 0 -1 64 4021 0 0 0 9 1 0 0 17 0 9 0 90190009 886173696 19828 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25420] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25420/stat : 25420 (java) S 25414 25416 23588 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90190009 886173696 19828 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25421] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25421/stat : 25421 (java) S 25414 25416 23588 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 90190009 886173696 19828 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25422] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25422/stat : 25422 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90190011 886173696 19828 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25423] ppid=25414 vsize=865404 CPUtime=0.47
/proc/25416/task/25423/stat : 25423 (java) S 25414 25416 23588 0 -1 64 779 0 0 0 46 1 0 0 16 0 9 0 90190011 886173696 19828 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25424] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25424/stat : 25424 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90190011 886173696 19828 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25425] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25425/stat : 25425 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90190012 886173696 19828 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.88
Current children cumulated vsize (KiB) 865404

[startup+19.1018 s]
/proc/loadavg: 2.01 2.04 2.00 3/89 25425
/proc/meminfo: memFree=815568/2055920 swapFree=4192812/4192956
[pid=25416] ppid=25414 vsize=865404 CPUtime=19.08
/proc/25416/stat : 25416 (java) S 25414 25416 23588 0 -1 0 20468 0 1 0 1895 13 0 0 18 0 9 0 90190007 886173696 19829 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25416/statm: 216351 19829 2001 9 0 210820 0
[pid=25416/tid=25418] ppid=25414 vsize=865404 CPUtime=18.47
/proc/25416/task/25418/stat : 25418 (java) R 25414 25416 23588 0 -1 64 14933 0 1 0 1838 9 0 0 25 0 9 0 90190008 886173696 19829 996147200 134512640 134550932 4294955888 18446744073709551615 4127429216 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25419] ppid=25414 vsize=865404 CPUtime=0.11
/proc/25416/task/25419/stat : 25419 (java) S 25414 25416 23588 0 -1 64 4021 0 0 0 10 1 0 0 17 0 9 0 90190009 886173696 19829 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25420] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25420/stat : 25420 (java) S 25414 25416 23588 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90190009 886173696 19829 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25421] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25421/stat : 25421 (java) S 25414 25416 23588 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 90190009 886173696 19829 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25422] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25422/stat : 25422 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90190011 886173696 19829 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25423] ppid=25414 vsize=865404 CPUtime=0.47
/proc/25416/task/25423/stat : 25423 (java) S 25414 25416 23588 0 -1 64 780 0 0 0 46 1 0 0 15 0 9 0 90190011 886173696 19829 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25424] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25424/stat : 25424 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90190011 886173696 19829 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25425] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25425/stat : 25425 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90190012 886173696 19829 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 19.08
Current children cumulated vsize (KiB) 865404

[startup+19.9019 s]
/proc/loadavg: 2.01 2.04 2.00 3/89 25425
/proc/meminfo: memFree=815568/2055920 swapFree=4192812/4192956
[pid=25416] ppid=25414 vsize=865404 CPUtime=19.88
/proc/25416/stat : 25416 (java) S 25414 25416 23588 0 -1 0 20468 0 1 0 1975 13 0 0 18 0 9 0 90190007 886173696 19829 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25416/statm: 216351 19829 2001 9 0 210820 0
[pid=25416/tid=25418] ppid=25414 vsize=865404 CPUtime=19.27
/proc/25416/task/25418/stat : 25418 (java) R 25414 25416 23588 0 -1 64 14933 0 1 0 1918 9 0 0 25 0 9 0 90190008 886173696 19829 996147200 134512640 134550932 4294955888 18446744073709551615 4127422656 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25419] ppid=25414 vsize=865404 CPUtime=0.11
/proc/25416/task/25419/stat : 25419 (java) S 25414 25416 23588 0 -1 64 4021 0 0 0 10 1 0 0 17 0 9 0 90190009 886173696 19829 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25420] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25420/stat : 25420 (java) S 25414 25416 23588 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90190009 886173696 19829 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25421] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25421/stat : 25421 (java) S 25414 25416 23588 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 90190009 886173696 19829 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25422] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25422/stat : 25422 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90190011 886173696 19829 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25423] ppid=25414 vsize=865404 CPUtime=0.47
/proc/25416/task/25423/stat : 25423 (java) S 25414 25416 23588 0 -1 64 780 0 0 0 46 1 0 0 15 0 9 0 90190011 886173696 19829 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25424] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25424/stat : 25424 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90190011 886173696 19829 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25425] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25425/stat : 25425 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90190012 886173696 19829 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 19.88
Current children cumulated vsize (KiB) 865404

[startup+20.703 s]
/proc/loadavg: 2.01 2.04 2.00 3/89 25425
/proc/meminfo: memFree=815568/2055920 swapFree=4192812/4192956
[pid=25416] ppid=25414 vsize=865404 CPUtime=20.68
/proc/25416/stat : 25416 (java) S 25414 25416 23588 0 -1 0 20471 0 1 0 2055 13 0 0 18 0 9 0 90190007 886173696 19830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25416/statm: 216351 19830 2001 9 0 210820 0
[pid=25416/tid=25418] ppid=25414 vsize=865404 CPUtime=20.07
/proc/25416/task/25418/stat : 25418 (java) R 25414 25416 23588 0 -1 64 14935 0 1 0 1998 9 0 0 25 0 9 0 90190008 886173696 19830 996147200 134512640 134550932 4294955888 18446744073709551615 4127423024 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25419] ppid=25414 vsize=865404 CPUtime=0.11
/proc/25416/task/25419/stat : 25419 (java) S 25414 25416 23588 0 -1 64 4022 0 0 0 10 1 0 0 16 0 9 0 90190009 886173696 19830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25420] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25420/stat : 25420 (java) S 25414 25416 23588 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90190009 886173696 19830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25421] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25421/stat : 25421 (java) S 25414 25416 23588 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 90190009 886173696 19830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25422] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25422/stat : 25422 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90190011 886173696 19830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25423] ppid=25414 vsize=865404 CPUtime=0.47
/proc/25416/task/25423/stat : 25423 (java) S 25414 25416 23588 0 -1 64 780 0 0 0 46 1 0 0 15 0 9 0 90190011 886173696 19830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25424] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25424/stat : 25424 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90190011 886173696 19830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25425] ppid=25414 vsize=865404 CPUtime=0
/proc/25416/task/25425/stat : 25425 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90190012 886173696 19830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.68
Current children cumulated vsize (KiB) 865404

[startup+21.1021 s]
/proc/loadavg: 2.01 2.04 2.00 3/89 25425
/proc/meminfo: memFree=815568/2055920 swapFree=4192812/4192956
[pid=25416] ppid=25414 vsize=865728 CPUtime=21.07
/proc/25416/stat : 25416 (java) S 25414 25416 23588 0 -1 0 20506 0 1 0 2094 13 0 0 18 0 9 0 90190007 886505472 19861 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25416/statm: 216432 19861 2011 9 0 210901 0
[pid=25416/tid=25418] ppid=25414 vsize=865728 CPUtime=20.45
/proc/25416/task/25418/stat : 25418 (java) S 25414 25416 23588 0 -1 64 14963 0 1 0 2036 9 0 0 25 0 9 0 90190008 886505472 19861 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25419] ppid=25414 vsize=865728 CPUtime=0.11
/proc/25416/task/25419/stat : 25419 (java) S 25414 25416 23588 0 -1 64 4022 0 0 0 10 1 0 0 17 0 9 0 90190009 886505472 19861 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25420] ppid=25414 vsize=865728 CPUtime=0
/proc/25416/task/25420/stat : 25420 (java) S 25414 25416 23588 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90190009 886505472 19861 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25421] ppid=25414 vsize=865728 CPUtime=0
/proc/25416/task/25421/stat : 25421 (java) S 25414 25416 23588 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 90190009 886505472 19861 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25422] ppid=25414 vsize=865728 CPUtime=0
/proc/25416/task/25422/stat : 25422 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 90190011 886505472 19861 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25423] ppid=25414 vsize=865728 CPUtime=0.47
/proc/25416/task/25423/stat : 25423 (java) S 25414 25416 23588 0 -1 64 782 0 0 0 46 1 0 0 16 0 9 0 90190011 886505472 19861 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25424] ppid=25414 vsize=865728 CPUtime=0
/proc/25416/task/25424/stat : 25424 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 90190011 886505472 19861 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25416/tid=25425] ppid=25414 vsize=865728 CPUtime=0
/proc/25416/task/25425/stat : 25425 (java) S 25414 25416 23588 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90190012 886505472 19861 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.07
Current children cumulated vsize (KiB) 865728

Child status: 0
Real time (s): 21.1399
CPU time (s): 21.0918
CPU user time (s): 20.9478
CPU system time (s): 0.143978
CPU usage (%): 99.7723
Max. virtual memory (cumulated for all children) (KiB): 865728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.9478
system time used= 0.143978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20509
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= 3258
involuntary context switches= 3237

runsolver used 0.032994 second user time and 0.072988 second system time

The end

Launcher Data 

Begin job on node22 at 2009-07-19 21:20:35
IDJOB=2116537
IDBENCH=57056
IDSOLVER=780
FILE ID=node22/2116537-1248031235
PBS_JOBID= 9529001
Free space on /tmp= 66388 MiB

SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/js-taillard-15/normalized-js-taillard-15-105-4.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file BENCHNAME -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2116537-1248031235/watcher-2116537-1248031235 -o /tmp/evaluation-result-2116537-1248031235/solver-2116537-1248031235 -C 1800 -W 2000 -M 900  java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116537-1248031235.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= cc1626b385ab160ac31e70a43bb38e50
RANDOM SEED=1319936531

node22.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.278
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.278
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	: 5636.09
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        888120 kB
Buffers:        104336 kB
Cached:         877108 kB
SwapCached:          0 kB
Active:         209124 kB
Inactive:       859116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        888120 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5288 kB
Writeback:           0 kB
Mapped:         104660 kB
Slab:            84732 kB
Committed_AS:  1332384 kB
PageTables:       1892 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= 66384 MiB
End job on node22 at 2009-07-19 21:20:56