25.86/26.42 c CPU-LOAD 4.47
25.86/26.42 c LOADED 309 V (2 E), 962 PredicateConstraint, arity 87, 4.47 cpu
26.55/27.12 v 0 0 1 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 1 0 1 1 0 1 0 1 0 1 1 1 0 0 1 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 1 1 1 0 0 1 0 1 0 0 1 1 0 1 1 1 0 1 0 0 1 1 0 0 1 1 1 0 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 0 0 0 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 1 1 1 0 1 0 1 1 1 0 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0
26.55/27.12 s SATISFIABLE
26.55/27.12 d NODES 1
26.55/27.12 d CHECKS 75961
26.55/27.12 c gac3-effective-revisions: 0
26.55/27.12 c gac3-useless-revisions: 22582
26.55/27.12 c local-minima: 1
26.55/27.12 c prepro-constraint-ccks: 24137
26.55/27.12 c prepro-constraint-presenceccks: 21989
26.55/27.12 c prepro-cpu: 0.22
26.55/27.12 c prepro-matrix2d-ccks: 0
26.55/27.12 c prepro-matrix2d-presenceccks: 0
26.55/27.12 c prepro-removed: 0
26.55/27.12 c total-assgn: 1
26.55/27.12 c total-constraint-ccks: 75961
26.55/27.12 c total-constraint-presence-ccks: 22341
26.55/27.12 c total-cpu: 0.49
26.55/27.12 c total-matrix2d-ccks: 0
26.55/27.12 c total-matrix2d-presence-ccks: 0
26.55/27.12 c tuples: 0
26.55/27.12 c tuples-collisions: 0
26.55/27.12 c TOTAL-NODES 1
26.55/27.12 c TOTAL-CPU 0.49
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1062126-1215133821/watcher-1062126-1215133821 -o /tmp/evaluation-result-1062126-1215133821/solver-1062126-1215133821 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s WMC HOME/instance-1062126-1215133821.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.08 2.02 2.01 4/93 26019
/proc/meminfo: memFree=1782176/2055920 swapFree=4180840/4192956
[pid=26019] ppid=26017 vsize=5356 CPUtime=0
/proc/26019/stat : 26019 (concrete.sh) R 26017 26019 25568 0 -1 4194304 262 0 0 0 0 0 0 0 20 0 1 0 1992356149 5484544 230 996147200 4194304 4889804 548682068784 18446744073709551615 253307185823 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/26019/statm: 1339 230 191 169 0 50 0
[startup+0.046894 s]
/proc/loadavg: 2.08 2.02 2.01 4/93 26019
/proc/meminfo: memFree=1782176/2055920 swapFree=4180840/4192956
[pid=26019] ppid=26017 vsize=5356 CPUtime=0
/proc/26019/stat : 26019 (concrete.sh) S 26017 26019 25568 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 1992356149 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26019/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.109397 s]
/proc/loadavg: 2.08 2.02 2.01 4/93 26019
/proc/meminfo: memFree=1782176/2055920 swapFree=4180840/4192956
[pid=26019] ppid=26017 vsize=5356 CPUtime=0
/proc/26019/stat : 26019 (concrete.sh) S 26017 26019 25568 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 1992356149 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26019/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301414 s]
/proc/loadavg: 2.08 2.02 2.01 4/93 26019
/proc/meminfo: memFree=1782176/2055920 swapFree=4180840/4192956
[pid=26019] ppid=26017 vsize=5356 CPUtime=0
/proc/26019/stat : 26019 (concrete.sh) S 26017 26019 25568 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 1992356149 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26019/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701451 s]
/proc/loadavg: 2.08 2.02 2.01 4/93 26019
/proc/meminfo: memFree=1782176/2055920 swapFree=4180840/4192956
[pid=26019] ppid=26017 vsize=5356 CPUtime=0
/proc/26019/stat : 26019 (concrete.sh) S 26017 26019 25568 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 1992356149 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26019/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50252 s]
/proc/loadavg: 2.08 2.02 2.01 3/103 26030
/proc/meminfo: memFree=1768080/2055920 swapFree=4180840/4192956
[pid=26019] ppid=26017 vsize=5356 CPUtime=0
/proc/26019/stat : 26019 (concrete.sh) S 26017 26019 25568 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 1992356149 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26019/statm: 1339 242 201 169 0 50 0
[pid=26022] ppid=26019 vsize=846892 CPUtime=1.45
/proc/26022/stat : 26022 (java) S 26019 26019 25568 0 -1 0 7617 0 1 0 139 6 0 0 22 0 10 0 1992356150 867217408 6765 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26022/statm: 211723 6765 2572 9 0 206284 0
[pid=26022/tid=26023] ppid=26019 vsize=846892 CPUtime=0.95
/proc/26022/task/26023/stat : 26023 (java) R 26019 26019 25568 0 -1 64 3435 0 1 0 93 2 0 0 25 0 10 0 1992356151 867217408 6765 996147200 134512640 134550740 4294956016 18446744073709551615 4125203841 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26024] ppid=26019 vsize=846892 CPUtime=0.13
/proc/26022/task/26024/stat : 26024 (java) S 26019 26019 25568 0 -1 64 2410 0 0 0 12 1 0 0 16 0 10 0 1992356152 867217408 6765 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26025] ppid=26019 vsize=846892 CPUtime=0
/proc/26022/task/26025/stat : 26025 (java) S 26019 26019 25568 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1992356152 867217408 6765 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26026] ppid=26019 vsize=846892 CPUtime=0
/proc/26022/task/26026/stat : 26026 (java) S 26019 26019 25568 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1992356152 867217408 6765 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26027] ppid=26019 vsize=846892 CPUtime=0
/proc/26022/task/26027/stat : 26027 (java) S 26019 26019 25568 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992356154 867217408 6765 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26028] ppid=26019 vsize=846892 CPUtime=0.34
/proc/26022/task/26028/stat : 26028 (java) S 26019 26019 25568 0 -1 64 1037 0 0 0 33 1 0 0 15 0 10 0 1992356154 867217408 6765 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26029] ppid=26019 vsize=846892 CPUtime=0
/proc/26022/task/26029/stat : 26029 (java) S 26019 26019 25568 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992356154 867217408 6765 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26030] ppid=26019 vsize=846892 CPUtime=0
/proc/26022/task/26030/stat : 26030 (java) S 26019 26019 25568 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1992356154 867217408 6765 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 852248
[startup+3.10267 s]
/proc/loadavg: 2.07 2.02 2.00 3/104 26031
/proc/meminfo: memFree=1762760/2055920 swapFree=4180840/4192956
[pid=26019] ppid=26017 vsize=5356 CPUtime=0
/proc/26019/stat : 26019 (concrete.sh) S 26017 26019 25568 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 1992356149 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26019/statm: 1339 242 201 169 0 50 0
[pid=26022] ppid=26019 vsize=847056 CPUtime=3.02
/proc/26022/stat : 26022 (java) S 26019 26019 25568 0 -1 0 23115 0 1 0 286 16 0 0 22 0 10 0 1992356150 867385344 21912 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26022/statm: 211764 21912 2582 9 0 206324 0
[pid=26022/tid=26023] ppid=26019 vsize=847056 CPUtime=1.91
/proc/26022/task/26023/stat : 26023 (java) R 26019 26019 25568 0 -1 64 16694 0 1 0 181 10 0 0 25 0 10 0 1992356151 867385344 21912 996147200 134512640 134550740 4294956016 18446744073709551615 103825770 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26024] ppid=26019 vsize=847056 CPUtime=0.57
/proc/26022/task/26024/stat : 26024 (java) S 26019 26019 25568 0 -1 64 4501 0 0 0 54 3 0 0 16 0 10 0 1992356152 867385344 21912 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26025] ppid=26019 vsize=847056 CPUtime=0
/proc/26022/task/26025/stat : 26025 (java) S 26019 26019 25568 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1992356152 867385344 21912 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26026] ppid=26019 vsize=847056 CPUtime=0
/proc/26022/task/26026/stat : 26026 (java) S 26019 26019 25568 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1992356152 867385344 21912 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26027] ppid=26019 vsize=847056 CPUtime=0
/proc/26022/task/26027/stat : 26027 (java) S 26019 26019 25568 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992356154 867385344 21912 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26028] ppid=26019 vsize=847056 CPUtime=0.5
/proc/26022/task/26028/stat : 26028 (java) S 26019 26019 25568 0 -1 64 1185 0 0 0 49 1 0 0 15 0 10 0 1992356154 867385344 21912 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26029] ppid=26019 vsize=847056 CPUtime=0
/proc/26022/task/26029/stat : 26029 (java) S 26019 26019 25568 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992356154 867385344 21912 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26030] ppid=26019 vsize=847056 CPUtime=0
/proc/26022/task/26030/stat : 26030 (java) S 26019 26019 25568 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1992356154 867385344 21912 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26031] ppid=26019 vsize=847056 CPUtime=0
/proc/26022/task/26031/stat : 26031 (java) S 26019 26019 25568 0 -1 64 3 0 0 0 0 0 0 0 24 0 10 0 1992356256 867385344 21912 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 852412
[startup+6.30196 s]
/proc/loadavg: 2.07 2.02 2.00 4/104 26031
/proc/meminfo: memFree=1088264/2055920 swapFree=4180840/4192956
[pid=26019] ppid=26017 vsize=5356 CPUtime=0
/proc/26019/stat : 26019 (concrete.sh) S 26017 26019 25568 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 1992356149 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26019/statm: 1339 242 201 169 0 50 0
[pid=26022] ppid=26019 vsize=853256 CPUtime=6.16
/proc/26022/stat : 26022 (java) S 26019 26019 25568 0 -1 0 185928 0 1 0 528 88 0 0 22 0 10 0 1992356150 873734144 184711 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26022/statm: 213314 184711 2582 9 0 207874 0
[pid=26022/tid=26023] ppid=26019 vsize=853256 CPUtime=2.86
/proc/26022/task/26023/stat : 26023 (java) R 26019 26019 25568 0 -1 64 119823 0 1 0 231 55 0 0 25 0 10 0 1992356151 873734144 184711 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26024] ppid=26019 vsize=853256 CPUtime=2.76
/proc/26022/task/26024/stat : 26024 (java) R 26019 26019 25568 0 -1 64 64185 0 0 0 246 30 0 0 16 0 10 0 1992356152 873734144 184711 996147200 134512640 134550740 4294956016 18446744073709551615 103834246 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26025] ppid=26019 vsize=853256 CPUtime=0
/proc/26022/task/26025/stat : 26025 (java) S 26019 26019 25568 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1992356152 873734144 184711 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26026] ppid=26019 vsize=853256 CPUtime=0
/proc/26022/task/26026/stat : 26026 (java) S 26019 26019 25568 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1992356152 873734144 184711 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26027] ppid=26019 vsize=853256 CPUtime=0
/proc/26022/task/26027/stat : 26027 (java) S 26019 26019 25568 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992356154 873734144 184711 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26028] ppid=26019 vsize=853256 CPUtime=0.5
/proc/26022/task/26028/stat : 26028 (java) S 26019 26019 25568 0 -1 64 1185 0 0 0 49 1 0 0 15 0 10 0 1992356154 873734144 184711 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26029] ppid=26019 vsize=853256 CPUtime=0
/proc/26022/task/26029/stat : 26029 (java) S 26019 26019 25568 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992356154 873734144 184711 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26030] ppid=26019 vsize=853256 CPUtime=0
/proc/26022/task/26030/stat : 26030 (java) S 26019 26019 25568 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1992356154 873734144 184711 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26031] ppid=26019 vsize=853256 CPUtime=0
/proc/26022/task/26031/stat : 26031 (java) S 26019 26019 25568 0 -1 64 3 0 0 0 0 0 0 0 24 0 10 0 1992356256 873734144 184711 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 858612
[startup+12.7025 s]
/proc/loadavg: 2.13 2.03 2.01 4/104 26031
/proc/meminfo: memFree=1025032/2055920 swapFree=4180840/4192956
[pid=26019] ppid=26017 vsize=5356 CPUtime=0
/proc/26019/stat : 26019 (concrete.sh) S 26017 26019 25568 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 1992356149 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26019/statm: 1339 242 201 169 0 50 0
[pid=26022] ppid=26019 vsize=854056 CPUtime=12.42
/proc/26022/stat : 26022 (java) S 26019 26019 25568 0 -1 0 192505 0 1 0 1150 92 0 0 22 0 10 0 1992356150 874553344 173388 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26022/statm: 213514 173388 2582 9 0 208074 0
[pid=26022/tid=26023] ppid=26019 vsize=854056 CPUtime=3.12
/proc/26022/task/26023/stat : 26023 (java) S 26019 26019 25568 0 -1 64 119991 0 1 0 256 56 0 0 17 0 10 0 1992356151 874553344 173388 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26024] ppid=26019 vsize=854056 CPUtime=8.76
/proc/26022/task/26024/stat : 26024 (java) R 26019 26019 25568 0 -1 64 70589 0 0 0 842 34 0 0 25 0 10 0 1992356152 874553344 173388 996147200 134512640 134550740 4294956016 18446744073709551615 103737273 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26025] ppid=26019 vsize=854056 CPUtime=0
/proc/26022/task/26025/stat : 26025 (java) S 26019 26019 25568 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1992356152 874553344 173388 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26026] ppid=26019 vsize=854056 CPUtime=0
/proc/26022/task/26026/stat : 26026 (java) S 26019 26019 25568 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1992356152 874553344 173388 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26027] ppid=26019 vsize=854056 CPUtime=0
/proc/26022/task/26027/stat : 26027 (java) S 26019 26019 25568 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992356154 874553344 173388 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26028] ppid=26019 vsize=854056 CPUtime=0.52
/proc/26022/task/26028/stat : 26028 (java) S 26019 26019 25568 0 -1 64 1190 0 0 0 51 1 0 0 15 0 10 0 1992356154 874553344 173388 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26029] ppid=26019 vsize=854056 CPUtime=0
/proc/26022/task/26029/stat : 26029 (java) S 26019 26019 25568 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992356154 874553344 173388 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26030] ppid=26019 vsize=854056 CPUtime=0
/proc/26022/task/26030/stat : 26030 (java) S 26019 26019 25568 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1992356154 874553344 173388 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26031] ppid=26019 vsize=854056 CPUtime=0
/proc/26022/task/26031/stat : 26031 (java) S 26019 26019 25568 0 -1 64 3 0 0 0 0 0 0 0 24 0 10 0 1992356256 874553344 173388 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 859412
[startup+25.5027 s]
/proc/loadavg: 2.11 2.03 2.01 4/104 26031
/proc/meminfo: memFree=1018504/2055920 swapFree=4180840/4192956
[pid=26019] ppid=26017 vsize=5356 CPUtime=0
/proc/26019/stat : 26019 (concrete.sh) S 26017 26019 25568 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 1992356149 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26019/statm: 1339 242 201 169 0 50 0
[pid=26022] ppid=26019 vsize=860632 CPUtime=24.98
/proc/26022/stat : 26022 (java) S 26019 26019 25568 0 -1 0 375286 0 1 0 2312 186 0 0 22 0 10 0 1992356150 881287168 192854 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26022/statm: 215158 192854 2582 9 0 209718 0
[pid=26022/tid=26023] ppid=26019 vsize=860632 CPUtime=4.38
/proc/26022/task/26023/stat : 26023 (java) S 26019 26019 25568 0 -1 64 180386 0 1 0 354 84 0 0 17 0 10 0 1992356151 881287168 192854 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26024] ppid=26019 vsize=860632 CPUtime=20.04
/proc/26022/task/26024/stat : 26024 (java) R 26019 26019 25568 0 -1 64 192964 0 0 0 1905 99 0 0 25 0 10 0 1992356152 881287168 192854 996147200 134512640 134550740 4294956016 18446744073709551615 103834240 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26025] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26025/stat : 26025 (java) S 26019 26019 25568 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1992356152 881287168 192854 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26026] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26026/stat : 26026 (java) S 26019 26019 25568 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1992356152 881287168 192854 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26027] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26027/stat : 26027 (java) S 26019 26019 25568 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992356154 881287168 192854 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26028] ppid=26019 vsize=860632 CPUtime=0.53
/proc/26022/task/26028/stat : 26028 (java) S 26019 26019 25568 0 -1 64 1201 0 0 0 52 1 0 0 15 0 10 0 1992356154 881287168 192854 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26029] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26029/stat : 26029 (java) S 26019 26019 25568 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992356154 881287168 192854 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26030] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26030/stat : 26030 (java) S 26019 26019 25568 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1992356154 881287168 192854 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26031] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26031/stat : 26031 (java) S 26019 26019 25568 0 -1 64 3 0 0 0 0 0 0 0 24 0 10 0 1992356256 881287168 192854 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 865988
Solver just ended. Dumping a history of the last processes samples
[startup+26.3028 s]
/proc/loadavg: 2.11 2.03 2.01 4/104 26031
/proc/meminfo: memFree=1018440/2055920 swapFree=4180840/4192956
[pid=26019] ppid=26017 vsize=5356 CPUtime=0
/proc/26019/stat : 26019 (concrete.sh) S 26017 26019 25568 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 1992356149 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26019/statm: 1339 242 201 169 0 50 0
[pid=26022] ppid=26019 vsize=860632 CPUtime=25.76
/proc/26022/stat : 26022 (java) S 26019 26019 25568 0 -1 0 375297 0 1 0 2390 186 0 0 22 0 10 0 1992356150 881287168 192863 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26022/statm: 215158 192863 2582 9 0 209718 0
[pid=26022/tid=26023] ppid=26019 vsize=860632 CPUtime=4.45
/proc/26022/task/26023/stat : 26023 (java) R 26019 26019 25568 0 -1 64 180395 0 1 0 361 84 0 0 16 0 10 0 1992356151 881287168 192863 996147200 134512640 134550740 4294956016 18446744073709551615 103856596 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26024] ppid=26019 vsize=860632 CPUtime=20.74
/proc/26022/task/26024/stat : 26024 (java) R 26019 26019 25568 0 -1 64 192966 0 0 0 1975 99 0 0 25 0 10 0 1992356152 881287168 192863 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26025] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26025/stat : 26025 (java) S 26019 26019 25568 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1992356152 881287168 192863 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26026] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26026/stat : 26026 (java) S 26019 26019 25568 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1992356152 881287168 192863 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26027] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26027/stat : 26027 (java) S 26019 26019 25568 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992356154 881287168 192863 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26028] ppid=26019 vsize=860632 CPUtime=0.54
/proc/26022/task/26028/stat : 26028 (java) S 26019 26019 25568 0 -1 64 1201 0 0 0 53 1 0 0 16 0 10 0 1992356154 881287168 192863 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26029] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26029/stat : 26029 (java) S 26019 26019 25568 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992356154 881287168 192863 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26030] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26030/stat : 26030 (java) S 26019 26019 25568 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1992356154 881287168 192863 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26031] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26031/stat : 26031 (java) S 26019 26019 25568 0 -1 64 3 0 0 0 0 0 0 0 24 0 10 0 1992356256 881287168 192863 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.76
Current children cumulated vsize (KiB) 865988
[startup+26.7028 s]
/proc/loadavg: 2.11 2.03 2.01 4/104 26031
/proc/meminfo: memFree=1018440/2055920 swapFree=4180840/4192956
[pid=26019] ppid=26017 vsize=5356 CPUtime=0
/proc/26019/stat : 26019 (concrete.sh) S 26017 26019 25568 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 1992356149 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26019/statm: 1339 242 201 169 0 50 0
[pid=26022] ppid=26019 vsize=860632 CPUtime=26.16
/proc/26022/stat : 26022 (java) S 26019 26019 25568 0 -1 0 375357 0 1 0 2428 188 0 0 22 0 10 0 1992356150 881287168 176025 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26022/statm: 215158 176025 2583 9 0 209718 0
[pid=26022/tid=26023] ppid=26019 vsize=860632 CPUtime=4.7
/proc/26022/task/26023/stat : 26023 (java) R 26019 26019 25568 0 -1 64 180441 0 1 0 385 85 0 0 17 0 10 0 1992356151 881287168 176025 996147200 134512640 134550740 4294956016 18446744073709551615 4125239794 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26024] ppid=26019 vsize=860632 CPUtime=20.86
/proc/26022/task/26024/stat : 26024 (java) R 26019 26019 25568 0 -1 64 192968 0 0 0 1986 100 0 0 25 0 10 0 1992356152 881287168 176025 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26025] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26025/stat : 26025 (java) S 26019 26019 25568 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1992356152 881287168 176025 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26026] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26026/stat : 26026 (java) S 26019 26019 25568 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1992356152 881287168 176025 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26027] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26027/stat : 26027 (java) S 26019 26019 25568 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992356154 881287168 176025 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26028] ppid=26019 vsize=860632 CPUtime=0.57
/proc/26022/task/26028/stat : 26028 (java) S 26019 26019 25568 0 -1 64 1211 0 0 0 56 1 0 0 16 0 10 0 1992356154 881287168 176025 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26029] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26029/stat : 26029 (java) S 26019 26019 25568 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992356154 881287168 176025 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26030] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26030/stat : 26030 (java) S 26019 26019 25568 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1992356154 881287168 176025 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 26.16
Current children cumulated vsize (KiB) 865988
[startup+27.1028 s]
/proc/loadavg: 2.11 2.03 2.01 4/104 26031
/proc/meminfo: memFree=1018440/2055920 swapFree=4180840/4192956
[pid=26019] ppid=26017 vsize=5356 CPUtime=0
/proc/26019/stat : 26019 (concrete.sh) S 26017 26019 25568 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 1992356149 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26019/statm: 1339 242 201 169 0 50 0
[pid=26022] ppid=26019 vsize=860632 CPUtime=26.55
/proc/26022/stat : 26022 (java) S 26019 26019 25568 0 -1 0 375401 0 1 0 2467 188 0 0 22 0 10 0 1992356150 881287168 176065 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26022/statm: 215158 176065 2584 9 0 209718 0
[pid=26022/tid=26023] ppid=26019 vsize=860632 CPUtime=5.04
/proc/26022/task/26023/stat : 26023 (java) R 26019 26019 25568 0 -1 64 180450 0 1 0 419 85 0 0 20 0 10 0 1992356151 881287168 176065 996147200 134512640 134550740 4294956016 18446744073709551615 4127142000 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26024] ppid=26019 vsize=860632 CPUtime=20.87
/proc/26022/task/26024/stat : 26024 (java) R 26019 26019 25568 0 -1 64 192968 0 0 0 1987 100 0 0 25 0 10 0 1992356152 881287168 176065 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26025] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26025/stat : 26025 (java) S 26019 26019 25568 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1992356152 881287168 176065 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26026] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26026/stat : 26026 (java) S 26019 26019 25568 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1992356152 881287168 176065 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26027] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26027/stat : 26027 (java) S 26019 26019 25568 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992356154 881287168 176065 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26028] ppid=26019 vsize=860632 CPUtime=0.61
/proc/26022/task/26028/stat : 26028 (java) S 26019 26019 25568 0 -1 64 1246 0 0 0 60 1 0 0 15 0 10 0 1992356154 881287168 176065 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26029] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26029/stat : 26029 (java) S 26019 26019 25568 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992356154 881287168 176065 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26022/tid=26030] ppid=26019 vsize=860632 CPUtime=0
/proc/26022/task/26030/stat : 26030 (java) S 26019 26019 25568 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1992356154 881287168 176065 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 26.55
Current children cumulated vsize (KiB) 865988
[startup+27.2032 s]
/proc/loadavg: 2.11 2.03 2.01 4/104 26031
/proc/meminfo: memFree=1018440/2055920 swapFree=4180840/4192956
[pid=26019] ppid=26017 vsize=5356 CPUtime=0
/proc/26019/stat : 26019 (concrete.sh) S 26017 26019 25568 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 1992356149 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26019/statm: 1339 242 201 169 0 50 0
[pid=26022] ppid=26019 vsize=0 CPUtime=26.64
/proc/26022/stat : 26022 (java) Z 26019 26019 25568 0 -1 12 375411 0 1 0 2469 195 0 0 16 0 2 0 1992356150 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26022/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 26.64
Current children cumulated vsize (KiB) 5356
Child status: 0
Real time (s): 27.2403
CPU time (s): 26.6949
CPU user time (s): 24.6982
CPU system time (s): 1.9967
CPU usage (%): 97.9979
Max. virtual memory (cumulated for all children) (KiB): 865988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.6982
system time used= 1.9967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 375863
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= 4119
involuntary context switches= 5198
runsolver used 0.036994 second user time and 0.100984 second system time
The end
Begin job on node25 at 2008-07-04 03:10:21
IDJOB=1062126
IDBENCH=54600
IDSOLVER=304
FILE ID=node25/1062126-1215133821
PBS_JOBID= 7877293
Free space on /tmp= 66516 MiB
SOLVER NAME= Concrete + CSP4J - WMC Engine 2008-05-30
BENCH NAME= CPAI08/csp/pseudo/logic-synthesis/normalized-9sym-b.xml
COMMAND LINE= HOME/concrete.sh -c -ext 0 -s WMC BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1062126-1215133821/watcher-1062126-1215133821 -o /tmp/evaluation-result-1062126-1215133821/solver-1062126-1215133821 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s WMC HOME/instance-1062126-1215133821.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 3ddc81d2279bd070325942116a416a76
RANDOM SEED=470389081
node25.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.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: 1782656 kB
Buffers: 12256 kB
Cached: 101536 kB
SwapCached: 5956 kB
Active: 197648 kB
Inactive: 17784 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1782656 kB
SwapTotal: 4192956 kB
SwapFree: 4180840 kB
Dirty: 1332 kB
Writeback: 0 kB
Mapped: 118076 kB
Slab: 42416 kB
Committed_AS: 4097576 kB
PageTables: 2372 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= 66516 MiB
End job on node25 at 2008-07-04 03:10:48