21.39/21.60 s SATISFIABLE
21.39/21.60 v 18 14 18 19 1 0 17 18 4 4 18 4 20 10 0 17 8 0 0 23 11 4 8 17 4 13 0 0 13 8 18 11 4 18 13 14 4 10 18 18 0 13 4 0 18 4 20 19 0 23 24 19 0 4 11 18 0 11 5 4 12 4 14 8 11 18 14 20 18 18 14 0 17 4 17 18 4 4 10 12 8 13 18 10 0 13 4 0 17 18 8 14 18 1 0 19 13 20 19 19 4 3 4 4 17 24 17 4 4 18 4 0 20 14 17 4 18 20 4 24 18 4 11 18 13 4 4 12 18 13 4 4 18 4 19
21.39/21.60 d ASSIGNMENTS 78
21.39/21.60 c SAT 21506 TIME 78 NDS 859 PARSTIME 948 BUILDPB 19699 RES false RESTART 2 HEURISTIC
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1070920-1215167530/watcher-1070920-1215167530 -o /tmp/evaluation-result-1070920-1215167530/solver-1070920-1215167530 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2impWdeg.jar HOME/instance-1070920-1215167530.xml
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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.00 1.99 4/72 19896
/proc/meminfo: memFree=1648296/2055920 swapFree=4122068/4192956
[pid=19896] ppid=19894 vsize=18572 CPUtime=0
/proc/19896/stat : 19896 (runsolver) R 19894 19896 19214 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 1304998898 19017728 292 996147200 4194304 4296836 548682068400 18446744073709551615 273952599335 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19896/statm: 4643 292 257 25 0 2626 0
[startup+0.032109 s]
/proc/loadavg: 2.01 2.00 1.99 4/72 19896
/proc/meminfo: memFree=1648296/2055920 swapFree=4122068/4192956
[pid=19896] ppid=19894 vsize=861412 CPUtime=0.01
/proc/19896/stat : 19896 (java) S 19894 19896 19214 0 -1 0 1733 0 1 0 0 1 0 0 18 0 3 0 1304998898 882085888 1412 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/19896/statm: 215353 1412 567 9 0 210332 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861412
[startup+0.10094 s]
/proc/loadavg: 2.01 2.00 1.99 4/72 19896
/proc/meminfo: memFree=1648296/2055920 swapFree=4122068/4192956
[pid=19896] ppid=19894 vsize=866556 CPUtime=0.08
/proc/19896/stat : 19896 (java) S 19894 19896 19214 0 -1 0 3752 0 1 0 6 2 0 0 18 0 9 0 1304998898 887353344 3225 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19896/statm: 216639 3225 1740 9 0 211111 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 866556
[startup+0.301976 s]
/proc/loadavg: 2.01 2.00 1.99 4/72 19896
/proc/meminfo: memFree=1648296/2055920 swapFree=4122068/4192956
[pid=19896] ppid=19894 vsize=866556 CPUtime=0.28
/proc/19896/stat : 19896 (java) S 19894 19896 19214 0 -1 0 4369 0 1 0 25 3 0 0 18 0 9 0 1304998898 887353344 3822 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19896/statm: 216639 3822 1852 9 0 211111 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866556
[startup+0.701054 s]
/proc/loadavg: 2.01 2.00 1.99 4/72 19896
/proc/meminfo: memFree=1648296/2055920 swapFree=4122068/4192956
[pid=19896] ppid=19894 vsize=867432 CPUtime=0.68
/proc/19896/stat : 19896 (java) S 19894 19896 19214 0 -1 0 9238 0 1 0 63 5 0 0 18 0 9 0 1304998898 888250368 8680 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19896/statm: 216858 8680 1890 9 0 211330 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867432
[startup+1.50222 s]
/proc/loadavg: 2.01 2.00 1.99 3/81 19905
/proc/meminfo: memFree=1612960/2055920 swapFree=4122068/4192956
[pid=19896] ppid=19894 vsize=867480 CPUtime=1.47
/proc/19896/stat : 19896 (java) S 19894 19896 19214 0 -1 0 19842 0 1 0 136 11 0 0 18 0 9 0 1304998898 888299520 19248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19896/statm: 216870 19248 1980 9 0 211342 0
[pid=19896/tid=19898] ppid=19894 vsize=867480 CPUtime=1.17
/proc/19896/task/19898/stat : 19898 (java) R 19894 19896 19214 0 -1 64 15453 0 1 0 109 8 0 0 25 0 9 0 1304998899 888299520 19248 996147200 134512640 134550740 4294956016 18446744073709551615 4126905680 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19899] ppid=19894 vsize=867480 CPUtime=0.05
/proc/19896/task/19899/stat : 19899 (java) S 19894 19896 19214 0 -1 64 3089 0 0 0 4 1 0 0 16 0 9 0 1304998901 888299520 19248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19900] ppid=19894 vsize=867480 CPUtime=0
/proc/19896/task/19900/stat : 19900 (java) S 19894 19896 19214 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1304998901 888299520 19248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19901] ppid=19894 vsize=867480 CPUtime=0
/proc/19896/task/19901/stat : 19901 (java) S 19894 19896 19214 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1304998901 888299520 19248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19902] ppid=19894 vsize=867480 CPUtime=0
/proc/19896/task/19902/stat : 19902 (java) S 19894 19896 19214 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1304998903 888299520 19248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19903] ppid=19894 vsize=867480 CPUtime=0.21
/proc/19896/task/19903/stat : 19903 (java) S 19894 19896 19214 0 -1 64 571 0 0 0 21 0 0 0 15 0 9 0 1304998903 888299520 19248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19904] ppid=19894 vsize=867480 CPUtime=0
/proc/19896/task/19904/stat : 19904 (java) S 19894 19896 19214 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1304998903 888299520 19248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19905] ppid=19894 vsize=867480 CPUtime=0
/proc/19896/task/19905/stat : 19905 (java) S 19894 19896 19214 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1304998903 888299520 19248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867480
[startup+3.10253 s]
/proc/loadavg: 2.01 2.00 1.99 3/81 19905
/proc/meminfo: memFree=1577824/2055920 swapFree=4122068/4192956
[pid=19896] ppid=19894 vsize=867600 CPUtime=3.05
/proc/19896/stat : 19896 (java) S 19894 19896 19214 0 -1 0 20077 0 1 0 293 12 0 0 18 0 9 0 1304998898 888422400 19473 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19896/statm: 216900 19473 1994 9 0 211372 0
[pid=19896/tid=19898] ppid=19894 vsize=867600 CPUtime=2.63
/proc/19896/task/19898/stat : 19898 (java) R 19894 19896 19214 0 -1 64 15584 0 1 0 254 9 0 0 25 0 9 0 1304998899 888422400 19473 996147200 134512640 134550740 4294956016 18446744073709551615 4127233167 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19899] ppid=19894 vsize=867600 CPUtime=0.05
/proc/19896/task/19899/stat : 19899 (java) S 19894 19896 19214 0 -1 64 3090 0 0 0 4 1 0 0 17 0 9 0 1304998901 888422400 19473 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19900] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19900/stat : 19900 (java) S 19894 19896 19214 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1304998901 888422400 19473 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19901] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19901/stat : 19901 (java) S 19894 19896 19214 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1304998901 888422400 19473 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19902] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19902/stat : 19902 (java) S 19894 19896 19214 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1304998903 888422400 19473 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19903] ppid=19894 vsize=867600 CPUtime=0.35
/proc/19896/task/19903/stat : 19903 (java) S 19894 19896 19214 0 -1 64 674 0 0 0 34 1 0 0 15 0 9 0 1304998903 888422400 19473 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19904] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19904/stat : 19904 (java) S 19894 19896 19214 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1304998903 888422400 19473 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19905] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19905/stat : 19905 (java) S 19894 19896 19214 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1304998903 888422400 19473 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867600
[startup+6.30116 s]
/proc/loadavg: 2.01 2.00 1.99 3/81 19905
/proc/meminfo: memFree=1577568/2055920 swapFree=4122068/4192956
[pid=19896] ppid=19894 vsize=867600 CPUtime=6.23
/proc/19896/stat : 19896 (java) S 19894 19896 19214 0 -1 0 20085 0 1 0 610 13 0 0 18 0 9 0 1304998898 888422400 19478 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19896/statm: 216900 19478 1994 9 0 211372 0
[pid=19896/tid=19898] ppid=19894 vsize=867600 CPUtime=5.78
/proc/19896/task/19898/stat : 19898 (java) R 19894 19896 19214 0 -1 64 15587 0 1 0 569 9 0 0 25 0 9 0 1304998899 888422400 19478 996147200 134512640 134550740 4294956016 18446744073709551615 4127234123 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19899] ppid=19894 vsize=867600 CPUtime=0.05
/proc/19896/task/19899/stat : 19899 (java) S 19894 19896 19214 0 -1 64 3090 0 0 0 4 1 0 0 16 0 9 0 1304998901 888422400 19478 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19900] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19900/stat : 19900 (java) S 19894 19896 19214 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1304998901 888422400 19478 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19901] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19901/stat : 19901 (java) S 19894 19896 19214 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1304998901 888422400 19478 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19902] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19902/stat : 19902 (java) S 19894 19896 19214 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1304998903 888422400 19478 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19903] ppid=19894 vsize=867600 CPUtime=0.36
/proc/19896/task/19903/stat : 19903 (java) S 19894 19896 19214 0 -1 64 679 0 0 0 35 1 0 0 16 0 9 0 1304998903 888422400 19478 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19904] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19904/stat : 19904 (java) S 19894 19896 19214 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1304998903 888422400 19478 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19905] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19905/stat : 19905 (java) S 19894 19896 19214 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1304998903 888422400 19478 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867600
[startup+12.7024 s]
/proc/loadavg: 2.09 2.02 1.99 3/81 19905
/proc/meminfo: memFree=1566496/2055920 swapFree=4122068/4192956
[pid=19896] ppid=19894 vsize=867600 CPUtime=12.58
/proc/19896/stat : 19896 (java) S 19894 19896 19214 0 -1 0 22826 0 1 0 1244 14 0 0 18 0 9 0 1304998898 888422400 22217 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19896/statm: 216900 22217 1994 9 0 211372 0
[pid=19896/tid=19898] ppid=19894 vsize=867600 CPUtime=12.04
/proc/19896/task/19898/stat : 19898 (java) R 19894 19896 19214 0 -1 64 15589 0 1 0 1195 9 0 0 25 0 9 0 1304998899 888422400 22217 996147200 134512640 134550740 4294956016 18446744073709551615 4127234717 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19899] ppid=19894 vsize=867600 CPUtime=0.12
/proc/19896/task/19899/stat : 19899 (java) S 19894 19896 19214 0 -1 64 5821 0 0 0 11 1 0 0 16 0 9 0 1304998901 888422400 22217 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19900] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19900/stat : 19900 (java) S 19894 19896 19214 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1304998901 888422400 22217 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19901] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19901/stat : 19901 (java) S 19894 19896 19214 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1304998901 888422400 22217 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19902] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19902/stat : 19902 (java) S 19894 19896 19214 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1304998903 888422400 22217 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19903] ppid=19894 vsize=867600 CPUtime=0.37
/proc/19896/task/19903/stat : 19903 (java) S 19894 19896 19214 0 -1 64 687 0 0 0 36 1 0 0 17 0 9 0 1304998903 888422400 22217 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19904] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19904/stat : 19904 (java) S 19894 19896 19214 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1304998903 888422400 22217 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19905] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19905/stat : 19905 (java) S 19894 19896 19214 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1304998903 888422400 22217 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 867600
Solver just ended. Dumping a history of the last processes samples
[startup+15.901 s]
/proc/loadavg: 2.08 2.02 1.99 3/81 19905
/proc/meminfo: memFree=1566496/2055920 swapFree=4122068/4192956
[pid=19896] ppid=19894 vsize=867600 CPUtime=15.74
/proc/19896/stat : 19896 (java) S 19894 19896 19214 0 -1 0 22840 0 1 0 1560 14 0 0 18 0 9 0 1304998898 888422400 22229 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19896/statm: 216900 22229 1995 9 0 211372 0
[pid=19896/tid=19898] ppid=19894 vsize=867600 CPUtime=15.2
/proc/19896/task/19898/stat : 19898 (java) R 19894 19896 19214 0 -1 64 15591 0 1 0 1510 10 0 0 25 0 9 0 1304998899 888422400 22229 996147200 134512640 134550740 4294956016 18446744073709551615 4127253619 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19899] ppid=19894 vsize=867600 CPUtime=0.12
/proc/19896/task/19899/stat : 19899 (java) S 19894 19896 19214 0 -1 64 5821 0 0 0 11 1 0 0 16 0 9 0 1304998901 888422400 22229 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19900] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19900/stat : 19900 (java) S 19894 19896 19214 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1304998901 888422400 22229 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19901] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19901/stat : 19901 (java) S 19894 19896 19214 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1304998901 888422400 22229 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19902] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19902/stat : 19902 (java) S 19894 19896 19214 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1304998903 888422400 22229 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19903] ppid=19894 vsize=867600 CPUtime=0.39
/proc/19896/task/19903/stat : 19903 (java) S 19894 19896 19214 0 -1 64 699 0 0 0 38 1 0 0 16 0 9 0 1304998903 888422400 22229 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19904] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19904/stat : 19904 (java) S 19894 19896 19214 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1304998903 888422400 22229 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19905] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19905/stat : 19905 (java) S 19894 19896 19214 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1304998903 888422400 22229 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.74
Current children cumulated vsize (KiB) 867600
[startup+19.1027 s]
/proc/loadavg: 2.08 2.02 1.99 3/81 19905
/proc/meminfo: memFree=1566496/2055920 swapFree=4122068/4192956
[pid=19896] ppid=19894 vsize=867600 CPUtime=18.92
/proc/19896/stat : 19896 (java) S 19894 19896 19214 0 -1 0 22840 0 1 0 1877 15 0 0 18 0 9 0 1304998898 888422400 22229 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19896/statm: 216900 22229 1995 9 0 211372 0
[pid=19896/tid=19898] ppid=19894 vsize=867600 CPUtime=18.37
/proc/19896/task/19898/stat : 19898 (java) R 19894 19896 19214 0 -1 64 15591 0 1 0 1827 10 0 0 25 0 9 0 1304998899 888422400 22229 996147200 134512640 134550740 4294956016 18446744073709551615 4127253619 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19899] ppid=19894 vsize=867600 CPUtime=0.12
/proc/19896/task/19899/stat : 19899 (java) S 19894 19896 19214 0 -1 64 5821 0 0 0 11 1 0 0 16 0 9 0 1304998901 888422400 22229 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19900] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19900/stat : 19900 (java) S 19894 19896 19214 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1304998901 888422400 22229 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19901] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19901/stat : 19901 (java) S 19894 19896 19214 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1304998901 888422400 22229 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19902] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19902/stat : 19902 (java) S 19894 19896 19214 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1304998903 888422400 22229 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19903] ppid=19894 vsize=867600 CPUtime=0.39
/proc/19896/task/19903/stat : 19903 (java) S 19894 19896 19214 0 -1 64 699 0 0 0 38 1 0 0 16 0 9 0 1304998903 888422400 22229 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19904] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19904/stat : 19904 (java) S 19894 19896 19214 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1304998903 888422400 22229 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19905] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19905/stat : 19905 (java) S 19894 19896 19214 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1304998903 888422400 22229 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 18.92
Current children cumulated vsize (KiB) 867600
[startup+20.702 s]
/proc/loadavg: 2.08 2.02 1.99 3/81 19905
/proc/meminfo: memFree=1566560/2055920 swapFree=4122068/4192956
[pid=19896] ppid=19894 vsize=867600 CPUtime=20.5
/proc/19896/stat : 19896 (java) S 19894 19896 19214 0 -1 0 22844 0 1 0 2035 15 0 0 18 0 9 0 1304998898 888422400 22233 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19896/statm: 216900 22233 1996 9 0 211372 0
[pid=19896/tid=19898] ppid=19894 vsize=867600 CPUtime=19.96
/proc/19896/task/19898/stat : 19898 (java) R 19894 19896 19214 0 -1 64 15591 0 1 0 1985 11 0 0 25 0 9 0 1304998899 888422400 22233 996147200 134512640 134550740 4294956016 18446744073709551615 4127253619 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19899] ppid=19894 vsize=867600 CPUtime=0.12
/proc/19896/task/19899/stat : 19899 (java) S 19894 19896 19214 0 -1 64 5821 0 0 0 11 1 0 0 16 0 9 0 1304998901 888422400 22233 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19900] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19900/stat : 19900 (java) S 19894 19896 19214 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1304998901 888422400 22233 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19901] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19901/stat : 19901 (java) S 19894 19896 19214 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1304998901 888422400 22233 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19902] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19902/stat : 19902 (java) S 19894 19896 19214 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1304998903 888422400 22233 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19903] ppid=19894 vsize=867600 CPUtime=0.39
/proc/19896/task/19903/stat : 19903 (java) S 19894 19896 19214 0 -1 64 703 0 0 0 38 1 0 0 16 0 9 0 1304998903 888422400 22233 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19904] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19904/stat : 19904 (java) S 19894 19896 19214 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1304998903 888422400 22233 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19905] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19905/stat : 19905 (java) S 19894 19896 19214 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1304998903 888422400 22233 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.5
Current children cumulated vsize (KiB) 867600
[startup+21.1011 s]
/proc/loadavg: 2.08 2.02 1.99 3/81 19905
/proc/meminfo: memFree=1566560/2055920 swapFree=4122068/4192956
[pid=19896] ppid=19894 vsize=867600 CPUtime=20.9
/proc/19896/stat : 19896 (java) S 19894 19896 19214 0 -1 0 22844 0 1 0 2075 15 0 0 18 0 9 0 1304998898 888422400 22233 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19896/statm: 216900 22233 1996 9 0 211372 0
[pid=19896/tid=19898] ppid=19894 vsize=867600 CPUtime=20.35
/proc/19896/task/19898/stat : 19898 (java) R 19894 19896 19214 0 -1 64 15591 0 1 0 2024 11 0 0 25 0 9 0 1304998899 888422400 22233 996147200 134512640 134550740 4294956016 18446744073709551615 4127253619 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19899] ppid=19894 vsize=867600 CPUtime=0.12
/proc/19896/task/19899/stat : 19899 (java) S 19894 19896 19214 0 -1 64 5821 0 0 0 11 1 0 0 16 0 9 0 1304998901 888422400 22233 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19900] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19900/stat : 19900 (java) S 19894 19896 19214 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1304998901 888422400 22233 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19901] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19901/stat : 19901 (java) S 19894 19896 19214 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1304998901 888422400 22233 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19902] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19902/stat : 19902 (java) S 19894 19896 19214 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1304998903 888422400 22233 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19903] ppid=19894 vsize=867600 CPUtime=0.39
/proc/19896/task/19903/stat : 19903 (java) S 19894 19896 19214 0 -1 64 703 0 0 0 38 1 0 0 16 0 9 0 1304998903 888422400 22233 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19904] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19904/stat : 19904 (java) S 19894 19896 19214 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1304998903 888422400 22233 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19905] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19905/stat : 19905 (java) S 19894 19896 19214 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1304998903 888422400 22233 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.9
Current children cumulated vsize (KiB) 867600
[startup+21.5011 s]
/proc/loadavg: 2.08 2.02 1.99 3/81 19905
/proc/meminfo: memFree=1566560/2055920 swapFree=4122068/4192956
[pid=19896] ppid=19894 vsize=867600 CPUtime=21.29
/proc/19896/stat : 19896 (java) S 19894 19896 19214 0 -1 0 22847 0 1 0 2114 15 0 0 18 0 9 0 1304998898 888422400 22236 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19896/statm: 216900 22236 1997 9 0 211372 0
[pid=19896/tid=19898] ppid=19894 vsize=867600 CPUtime=20.75
/proc/19896/task/19898/stat : 19898 (java) R 19894 19896 19214 0 -1 64 15592 0 1 0 2064 11 0 0 25 0 9 0 1304998899 888422400 22236 996147200 134512640 134550740 4294956016 18446744073709551615 4127215411 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19899] ppid=19894 vsize=867600 CPUtime=0.12
/proc/19896/task/19899/stat : 19899 (java) S 19894 19896 19214 0 -1 64 5821 0 0 0 11 1 0 0 16 0 9 0 1304998901 888422400 22236 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19900] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19900/stat : 19900 (java) S 19894 19896 19214 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1304998901 888422400 22236 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19901] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19901/stat : 19901 (java) S 19894 19896 19214 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1304998901 888422400 22236 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19902] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19902/stat : 19902 (java) S 19894 19896 19214 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1304998903 888422400 22236 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19903] ppid=19894 vsize=867600 CPUtime=0.4
/proc/19896/task/19903/stat : 19903 (java) S 19894 19896 19214 0 -1 64 705 0 0 0 39 1 0 0 15 0 9 0 1304998903 888422400 22236 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19904] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19904/stat : 19904 (java) S 19894 19896 19214 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1304998903 888422400 22236 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19905] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19905/stat : 19905 (java) S 19894 19896 19214 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1304998903 888422400 22236 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.29
Current children cumulated vsize (KiB) 867600
[startup+21.6022 s]
/proc/loadavg: 2.08 2.02 1.99 3/81 19905
/proc/meminfo: memFree=1566560/2055920 swapFree=4122068/4192956
[pid=19896] ppid=19894 vsize=867600 CPUtime=21.39
/proc/19896/stat : 19896 (java) S 19894 19896 19214 0 -1 0 22848 0 1 0 2124 15 0 0 18 0 9 0 1304998898 888422400 22237 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19896/statm: 216900 22237 1997 9 0 211372 0
[pid=19896/tid=19898] ppid=19894 vsize=867600 CPUtime=20.85
/proc/19896/task/19898/stat : 19898 (java) R 19894 19896 19214 0 -1 64 15593 0 1 0 2074 11 0 0 25 0 9 0 1304998899 888422400 22237 996147200 134512640 134550740 4294956016 18446744073709551615 4127254838 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19899] ppid=19894 vsize=867600 CPUtime=0.12
/proc/19896/task/19899/stat : 19899 (java) S 19894 19896 19214 0 -1 64 5821 0 0 0 11 1 0 0 16 0 9 0 1304998901 888422400 22237 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19900] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19900/stat : 19900 (java) S 19894 19896 19214 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1304998901 888422400 22237 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19901] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19901/stat : 19901 (java) S 19894 19896 19214 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1304998901 888422400 22237 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19902] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19902/stat : 19902 (java) S 19894 19896 19214 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1304998903 888422400 22237 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19903] ppid=19894 vsize=867600 CPUtime=0.4
/proc/19896/task/19903/stat : 19903 (java) S 19894 19896 19214 0 -1 64 705 0 0 0 39 1 0 0 15 0 9 0 1304998903 888422400 22237 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19904] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19904/stat : 19904 (java) S 19894 19896 19214 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1304998903 888422400 22237 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19896/tid=19905] ppid=19894 vsize=867600 CPUtime=0
/proc/19896/task/19905/stat : 19905 (java) S 19894 19896 19214 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1304998903 888422400 22237 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.39
Current children cumulated vsize (KiB) 867600
Child status: 0
Real time (s): 21.634
CPU time (s): 21.4217
CPU user time (s): 21.2488
CPU system time (s): 0.172973
CPU usage (%): 99.0188
Max. virtual memory (cumulated for all children) (KiB): 867600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.2488
system time used= 0.172973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22859
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= 2491
involuntary context switches= 2852
runsolver used 0.019996 second user time and 0.084987 second system time
The end
Begin job on node20 at 2008-07-04 12:32:10
IDJOB=1070920
IDBENCH=56004
IDSOLVER=348
FILE ID=node20/1070920-1215167530
PBS_JOBID= 7881492
Free space on /tmp= 66556 MiB
SOLVER NAME= choco2_impwdeg 2008-06-26
BENCH NAME= CPAI08/csp/ukPuzzle/normalized-crossword-m1-uk-puzzle16.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2impWdeg.jar BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1070920-1215167530/watcher-1070920-1215167530 -o /tmp/evaluation-result-1070920-1215167530/solver-1070920-1215167530 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2impWdeg.jar HOME/instance-1070920-1215167530.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 67f615d3f1a75bb28d34b19fc2db7306
RANDOM SEED=2112981560
node20.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.263
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.263
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: 1648840 kB
Buffers: 59284 kB
Cached: 177848 kB
SwapCached: 64788 kB
Active: 216760 kB
Inactive: 115356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1648840 kB
SwapTotal: 4192956 kB
SwapFree: 4122068 kB
Dirty: 6984 kB
Writeback: 0 kB
Mapped: 102460 kB
Slab: 60212 kB
Committed_AS: 2635068 kB
PageTables: 1916 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= 66548 MiB
End job on node20 at 2008-07-04 12:32:32