runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-204763-1168166774 -o ROOT/results/node21/solver-204763-1168166774 -C 1800 -M 900 /tmp/evaluation/204763-1168166774/cspfj.sh -solver Combo -competition /tmp/evaluation/204763-1168166774/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.83 2.05 1.71 5/94 13094
/proc/meminfo: memFree=965192/2055920 swapFree=4156304/4192956
[pid=13093] ppid=13091 vsize=5352 CPUtime=0
/proc/13093/stat : 13093 (cspfj.sh) S 13091 13093 12788 0 -1 4194304 269 0 0 0 0 0 0 0 20 0 1 0 165072161 5480448 228 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 221236658258 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/13093/statm: 1338 228 191 169 0 49 0
[pid=13095] ppid=13093 vsize=124 CPUtime=0
/proc/13095/stat : 13095 (dirname) R 13093 13093 12788 0 -1 4194304 47 0 0 0 0 0 0 0 22 0 1 0 165072162 126976 22 18446744073709551615 4194304 4208292 548682069488 18446744073709551615 221233870217 0 0 4096 0 0 0 0 17 1 0 0
/proc/13095/statm: 31 22 16 3 0 3 0
[startup+0.105645 s]
/proc/loadavg: 1.83 2.05 1.71 5/94 13094
/proc/meminfo: memFree=965192/2055920 swapFree=4156304/4192956
[pid=13093] ppid=13091 vsize=5352 CPUtime=0
/proc/13093/stat : 13093 (cspfj.sh) S 13091 13093 12788 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 165072161 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13093/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.513724 s]
/proc/loadavg: 1.83 2.05 1.71 5/94 13094
/proc/meminfo: memFree=965192/2055920 swapFree=4156304/4192956
[pid=13093] ppid=13091 vsize=5352 CPUtime=0
/proc/13093/stat : 13093 (cspfj.sh) S 13091 13093 12788 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 165072161 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13093/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+1.33689 s]
/proc/loadavg: 1.83 2.05 1.71 3/102 13103
/proc/meminfo: memFree=951176/2055920 swapFree=4156304/4192956
[pid=13093] ppid=13091 vsize=5352 CPUtime=0
/proc/13093/stat : 13093 (cspfj.sh) S 13091 13093 12788 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 165072161 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13093/statm: 1338 240 201 169 0 49 0
[pid=13096] ppid=13093 vsize=865636 CPUtime=1.3
/proc/13096/stat : 13096 (java) R 13093 13093 12788 0 -1 0 6112 0 1 0 123 7 0 0 24 0 8 0 165072163 886411264 5811 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13096/statm: 216409 5811 1828 14 0 203671 0
[pid=13096/tid=13097] ppid=13093 vsize=865636 CPUtime=0.14
/proc/13096/task/13097/stat : 13097 (java) R 13093 13093 12788 0 -1 64 2017 0 0 0 13 1 0 0 16 0 8 0 165072166 886411264 5811 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155215794 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13098] ppid=13093 vsize=865636 CPUtime=0
/proc/13096/task/13098/stat : 13098 (java) S 13093 13093 12788 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165072167 886411264 5811 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13099] ppid=13093 vsize=865636 CPUtime=0
/proc/13096/task/13099/stat : 13099 (java) S 13093 13093 12788 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 165072167 886411264 5811 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13100] ppid=13093 vsize=865636 CPUtime=0
/proc/13096/task/13100/stat : 13100 (java) S 13093 13093 12788 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165072170 886411264 5811 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13101] ppid=13093 vsize=865636 CPUtime=0.24
/proc/13096/task/13101/stat : 13101 (java) S 13093 13093 12788 0 -1 64 518 0 0 0 24 0 0 0 15 0 8 0 165072171 886411264 5811 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13102] ppid=13093 vsize=865636 CPUtime=0
/proc/13096/task/13102/stat : 13102 (java) S 13093 13093 12788 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165072171 886411264 5811 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13103] ppid=13093 vsize=865636 CPUtime=0
/proc/13096/task/13103/stat : 13103 (java) S 13093 13093 12788 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165072171 886411264 5811 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 870988
[startup+2.9922 s]
/proc/loadavg: 1.83 2.05 1.71 3/102 13103
/proc/meminfo: memFree=938824/2055920 swapFree=4156304/4192956
[pid=13093] ppid=13091 vsize=5352 CPUtime=0
/proc/13093/stat : 13093 (cspfj.sh) S 13091 13093 12788 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 165072161 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13093/statm: 1338 240 201 169 0 49 0
[pid=13096] ppid=13093 vsize=865876 CPUtime=2.93
/proc/13096/stat : 13096 (java) R 13093 13093 12788 0 -1 0 10404 0 1 0 280 13 0 0 25 0 8 0 165072163 886657024 10065 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073594052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13096/statm: 216469 10065 1828 14 0 203731 0
[pid=13096/tid=13097] ppid=13093 vsize=865876 CPUtime=0.52
/proc/13096/task/13097/stat : 13097 (java) S 13093 13093 12788 0 -1 64 5674 0 0 0 50 2 0 0 16 0 8 0 165072166 886657024 10065 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13098] ppid=13093 vsize=865876 CPUtime=0
/proc/13096/task/13098/stat : 13098 (java) S 13093 13093 12788 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165072167 886657024 10065 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13099] ppid=13093 vsize=865876 CPUtime=0
/proc/13096/task/13099/stat : 13099 (java) S 13093 13093 12788 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 165072167 886657024 10065 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13100] ppid=13093 vsize=865876 CPUtime=0
/proc/13096/task/13100/stat : 13100 (java) S 13093 13093 12788 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165072170 886657024 10065 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13101] ppid=13093 vsize=865876 CPUtime=0.3
/proc/13096/task/13101/stat : 13101 (java) S 13093 13093 12788 0 -1 64 545 0 0 0 30 0 0 0 15 0 8 0 165072171 886657024 10065 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13102] ppid=13093 vsize=865876 CPUtime=0
/proc/13096/task/13102/stat : 13102 (java) S 13093 13093 12788 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165072171 886657024 10065 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13103] ppid=13093 vsize=865876 CPUtime=0
/proc/13096/task/13103/stat : 13103 (java) S 13093 13093 12788 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165072171 886657024 10065 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 871228
[startup+6.29282 s]
/proc/loadavg: 1.84 2.04 1.71 3/102 13103
/proc/meminfo: memFree=901384/2055920 swapFree=4156304/4192956
[pid=13093] ppid=13091 vsize=5352 CPUtime=0
/proc/13093/stat : 13093 (cspfj.sh) S 13091 13093 12788 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 165072161 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13093/statm: 1338 240 201 169 0 49 0
[pid=13096] ppid=13093 vsize=866064 CPUtime=6.2
/proc/13096/stat : 13096 (java) R 13093 13093 12788 0 -1 0 19630 0 1 0 591 29 0 0 25 0 8 0 165072163 886849536 19259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13096/statm: 216516 19259 1828 14 0 203778 0
[pid=13096/tid=13097] ppid=13093 vsize=866064 CPUtime=1.02
/proc/13096/task/13097/stat : 13097 (java) S 13093 13093 12788 0 -1 64 13567 0 0 0 96 6 0 0 16 0 8 0 165072166 886849536 19259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13098] ppid=13093 vsize=866064 CPUtime=0
/proc/13096/task/13098/stat : 13098 (java) S 13093 13093 12788 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165072167 886849536 19259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13099] ppid=13093 vsize=866064 CPUtime=0
/proc/13096/task/13099/stat : 13099 (java) S 13093 13093 12788 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 165072167 886849536 19259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13100] ppid=13093 vsize=866064 CPUtime=0
/proc/13096/task/13100/stat : 13100 (java) S 13093 13093 12788 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165072170 886849536 19259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13101] ppid=13093 vsize=866064 CPUtime=0.38
/proc/13096/task/13101/stat : 13101 (java) S 13093 13093 12788 0 -1 64 571 0 0 0 37 1 0 0 15 0 8 0 165072171 886849536 19259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13102] ppid=13093 vsize=866064 CPUtime=0
/proc/13096/task/13102/stat : 13102 (java) S 13093 13093 12788 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165072171 886849536 19259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13103] ppid=13093 vsize=866064 CPUtime=0
/proc/13096/task/13103/stat : 13103 (java) S 13093 13093 12788 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165072171 886849536 19259 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 871416
[startup+12.695 s]
/proc/loadavg: 1.86 2.04 1.71 4/102 13103
/proc/meminfo: memFree=876744/2055920 swapFree=4156304/4192956
[pid=13093] ppid=13091 vsize=5352 CPUtime=0
/proc/13093/stat : 13093 (cspfj.sh) S 13091 13093 12788 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 165072161 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13093/statm: 1338 240 201 169 0 49 0
[pid=13096] ppid=13093 vsize=866064 CPUtime=12.53
/proc/13096/stat : 13096 (java) R 13093 13093 12788 0 -1 0 21667 0 1 0 1217 36 0 0 25 0 8 0 165072163 886849536 21290 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072927042 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13096/statm: 216516 21290 1833 14 0 203778 0
[pid=13096/tid=13097] ppid=13093 vsize=866064 CPUtime=1.08
/proc/13096/task/13097/stat : 13097 (java) S 13093 13093 12788 0 -1 64 15123 0 0 0 100 8 0 0 16 0 8 0 165072166 886849536 21290 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13098] ppid=13093 vsize=866064 CPUtime=0
/proc/13096/task/13098/stat : 13098 (java) S 13093 13093 12788 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165072167 886849536 21290 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13099] ppid=13093 vsize=866064 CPUtime=0
/proc/13096/task/13099/stat : 13099 (java) S 13093 13093 12788 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 165072167 886849536 21290 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13100] ppid=13093 vsize=866064 CPUtime=0
/proc/13096/task/13100/stat : 13100 (java) S 13093 13093 12788 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165072170 886849536 21290 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13101] ppid=13093 vsize=866064 CPUtime=0.92
/proc/13096/task/13101/stat : 13101 (java) S 13093 13093 12788 0 -1 64 871 0 0 0 89 3 0 0 15 0 8 0 165072171 886849536 21290 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13102] ppid=13093 vsize=866064 CPUtime=0
/proc/13096/task/13102/stat : 13102 (java) S 13093 13093 12788 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165072171 886849536 21290 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13103] ppid=13093 vsize=866064 CPUtime=0
/proc/13096/task/13103/stat : 13103 (java) S 13093 13093 12788 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165072171 886849536 21290 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 871416
[startup+25.5755 s]
/proc/loadavg: 1.89 2.04 1.71 3/102 13103
/proc/meminfo: memFree=871624/2055920 swapFree=4156304/4192956
[pid=13093] ppid=13091 vsize=5352 CPUtime=0
/proc/13093/stat : 13093 (cspfj.sh) S 13091 13093 12788 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 165072161 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13093/statm: 1338 240 201 169 0 49 0
[pid=13096] ppid=13093 vsize=866988 CPUtime=25.29
/proc/13096/stat : 13096 (java) R 13093 13093 12788 0 -1 0 22996 0 1 0 2484 45 0 0 25 0 8 0 165072163 887795712 22618 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074206208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13096/statm: 216747 22618 1833 14 0 204009 0
[pid=13096/tid=13097] ppid=13093 vsize=866988 CPUtime=1.09
/proc/13096/task/13097/stat : 13097 (java) S 13093 13093 12788 0 -1 64 15560 0 0 0 101 8 0 0 16 0 8 0 165072166 887795712 22618 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13098] ppid=13093 vsize=866988 CPUtime=0
/proc/13096/task/13098/stat : 13098 (java) S 13093 13093 12788 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165072167 887795712 22618 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13099] ppid=13093 vsize=866988 CPUtime=0
/proc/13096/task/13099/stat : 13099 (java) S 13093 13093 12788 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 165072167 887795712 22618 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13100] ppid=13093 vsize=866988 CPUtime=0
/proc/13096/task/13100/stat : 13100 (java) S 13093 13093 12788 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165072170 887795712 22618 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13101] ppid=13093 vsize=866988 CPUtime=2.1
/proc/13096/task/13101/stat : 13101 (java) S 13093 13093 12788 0 -1 64 1754 0 0 0 199 11 0 0 15 0 8 0 165072171 887795712 22618 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13102] ppid=13093 vsize=866988 CPUtime=0
/proc/13096/task/13102/stat : 13102 (java) S 13093 13093 12788 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165072171 887795712 22618 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13096/tid=13103] ppid=13093 vsize=866988 CPUtime=0
/proc/13096/task/13103/stat : 13103 (java) S 13093 13093 12788 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165072171 887795712 22618 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 872340
Child status: 0
Real time (s): 45.8502
CPU time (s): 45.3281
CPU user time (s): 44.7262
CPU system time (s): 0.601908
CPU usage (%): 98.8614
Max. virtual memory (cumulated for all children) (KiB): 874804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.7262
system time used= 0.601908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25941
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= 14954
involuntary context switches= 16095
runsolver used 0.071989 s user time and 0.157975 s system time
The end
Begin job on node21 on Sun Jan 7 10:46:15 UTC 2007
IDJOB= 204763
IDBENCH= 4053
FILE ID= node21/204763-1168166774
PBS_JOBID= 3478694
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp16-20/fapp17/fapp17-0300-2.xml
COMMAND LINE= /tmp/evaluation/204763-1168166774/cspfj.sh -solver Combo -competition /tmp/evaluation/204763-1168166774/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-204763-1168166774 -o ROOT/results/node21/solver-204763-1168166774 -C 1800 -M 900 /tmp/evaluation/204763-1168166774/cspfj.sh -solver Combo -competition /tmp/evaluation/204763-1168166774/unknown.xml
META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH= 95e7760a24f3e7820ef97b64d0da78c8
RANDOM SEED= 271670268
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
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.261
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: 965992 kB
Buffers: 66148 kB
Cached: 225372 kB
SwapCached: 3056 kB
Active: 869312 kB
Inactive: 154756 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 965992 kB
SwapTotal: 4192956 kB
SwapFree: 4156304 kB
Dirty: 1040 kB
Writeback: 0 kB
Mapped: 749624 kB
Slab: 49328 kB
Committed_AS: 3976420 kB
PageTables: 3616 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= 66557 MiB
End job on node21 on Sun Jan 7 10:47:02 UTC 2007