runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1059795-1215124913/watcher-1059795-1215124913 -o /tmp/evaluation-result-1059795-1215124913/solver-1059795-1215124913 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s WMC HOME/instance-1059795-1215124913.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: 1.26 1.12 1.11 3/70 21984
/proc/meminfo: memFree=1642720/2055920 swapFree=4192812/4192956
[pid=21984] ppid=21982 vsize=5356 CPUtime=0
/proc/21984/stat : 21984 (concrete.sh) R 21982 21984 19927 0 -1 4194304 295 128 0 0 0 0 0 0 19 0 1 0 124161473 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 233588320755 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/21984/statm: 1339 242 201 169 0 50 0
[startup+0.0302531 s]
/proc/loadavg: 1.26 1.12 1.11 3/70 21984
/proc/meminfo: memFree=1642720/2055920 swapFree=4192812/4192956
[pid=21984] ppid=21982 vsize=5356 CPUtime=0
/proc/21984/stat : 21984 (concrete.sh) S 21982 21984 19927 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 124161473 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21984/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101264 s]
/proc/loadavg: 1.26 1.12 1.11 3/70 21984
/proc/meminfo: memFree=1642720/2055920 swapFree=4192812/4192956
[pid=21984] ppid=21982 vsize=5356 CPUtime=0
/proc/21984/stat : 21984 (concrete.sh) S 21982 21984 19927 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 124161473 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21984/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301287 s]
/proc/loadavg: 1.26 1.12 1.11 3/70 21984
/proc/meminfo: memFree=1642720/2055920 swapFree=4192812/4192956
[pid=21984] ppid=21982 vsize=5356 CPUtime=0
/proc/21984/stat : 21984 (concrete.sh) S 21982 21984 19927 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 124161473 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21984/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701333 s]
/proc/loadavg: 1.26 1.12 1.11 3/70 21984
/proc/meminfo: memFree=1642720/2055920 swapFree=4192812/4192956
[pid=21984] ppid=21982 vsize=5356 CPUtime=0
/proc/21984/stat : 21984 (concrete.sh) S 21982 21984 19927 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 124161473 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21984/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50141 s]
/proc/loadavg: 1.26 1.12 1.11 2/78 22013
/proc/meminfo: memFree=1498080/2055920 swapFree=4192812/4192956
[pid=21984] ppid=21982 vsize=5356 CPUtime=0
/proc/21984/stat : 21984 (concrete.sh) S 21982 21984 19927 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 124161473 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21984/statm: 1339 242 201 169 0 50 0
[pid=21986] ppid=21984 vsize=851576 CPUtime=1.63
/proc/21986/stat : 21986 (java) S 21984 21984 19927 0 -1 0 54106 0 1 0 140 23 0 0 20 0 10 0 124161473 872013824 53232 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21986/statm: 212894 53232 2578 9 0 207454 0
[pid=21986/tid=21988] ppid=21984 vsize=851576 CPUtime=0.83
/proc/21986/task/21988/stat : 21988 (java) R 21984 21984 19927 0 -1 64 38983 0 1 0 66 17 0 0 17 0 10 0 124161474 872013824 53232 996147200 134512640 134550740 4294956016 18446744073709551615 101445081 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21986/tid=21989] ppid=21984 vsize=851576 CPUtime=0.59
/proc/21986/task/21989/stat : 21989 (java) S 21984 21984 19927 0 -1 64 13619 0 0 0 55 4 0 0 17 0 10 0 124161475 872013824 53232 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21990] ppid=21984 vsize=851576 CPUtime=0
/proc/21986/task/21990/stat : 21990 (java) S 21984 21984 19927 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 124161476 872013824 53232 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21991] ppid=21984 vsize=851576 CPUtime=0
/proc/21986/task/21991/stat : 21991 (java) S 21984 21984 19927 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 124161476 872013824 53232 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21992] ppid=21984 vsize=851576 CPUtime=0
/proc/21986/task/21992/stat : 21992 (java) S 21984 21984 19927 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 124161478 872013824 53232 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21993] ppid=21984 vsize=851576 CPUtime=0.19
/proc/21986/task/21993/stat : 21993 (java) S 21984 21984 19927 0 -1 64 768 0 0 0 19 0 0 0 16 0 10 0 124161478 872013824 53232 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21986/tid=21994] ppid=21984 vsize=851576 CPUtime=0
/proc/21986/task/21994/stat : 21994 (java) S 21984 21984 19927 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 124161478 872013824 53232 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21995] ppid=21984 vsize=851576 CPUtime=0
/proc/21986/task/21995/stat : 21995 (java) S 21984 21984 19927 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 124161478 872013824 53232 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21986/tid=21996] ppid=21984 vsize=851576 CPUtime=0
/proc/21986/task/21996/stat : 21996 (java) S 21984 21984 19927 0 -1 64 4 0 0 0 0 0 0 0 17 0 10 0 124161505 872013824 53232 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 856932
[startup+3.10257 s]
/proc/loadavg: 1.24 1.12 1.11 2/78 22015
/proc/meminfo: memFree=1389856/2055920 swapFree=4192812/4192956
[pid=21984] ppid=21982 vsize=5356 CPUtime=0
/proc/21984/stat : 21984 (concrete.sh) S 21982 21984 19927 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 124161473 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21984/statm: 1339 242 201 169 0 50 0
[pid=21986] ppid=21984 vsize=861064 CPUtime=3.23
/proc/21986/stat : 21986 (java) S 21984 21984 19927 0 -1 0 78923 0 1 0 289 34 0 0 20 0 10 0 124161473 881729536 78045 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21986/statm: 215266 78045 2578 9 0 209826 0
[pid=21986/tid=21988] ppid=21984 vsize=861064 CPUtime=1.1
/proc/21986/task/21988/stat : 21988 (java) S 21984 21984 19927 0 -1 64 42984 0 1 0 91 19 0 0 16 0 10 0 124161474 881729536 78045 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21989] ppid=21984 vsize=861064 CPUtime=1.92
/proc/21986/task/21989/stat : 21989 (java) R 21984 21984 19927 0 -1 64 34435 0 0 0 179 13 0 0 24 0 10 0 124161475 881729536 78045 996147200 134512640 134550740 4294956016 18446744073709551615 104457091 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21990] ppid=21984 vsize=861064 CPUtime=0
/proc/21986/task/21990/stat : 21990 (java) S 21984 21984 19927 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 124161476 881729536 78045 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21991] ppid=21984 vsize=861064 CPUtime=0
/proc/21986/task/21991/stat : 21991 (java) S 21984 21984 19927 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 124161476 881729536 78045 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21992] ppid=21984 vsize=861064 CPUtime=0
/proc/21986/task/21992/stat : 21992 (java) S 21984 21984 19927 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 124161478 881729536 78045 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21993] ppid=21984 vsize=861064 CPUtime=0.19
/proc/21986/task/21993/stat : 21993 (java) S 21984 21984 19927 0 -1 64 768 0 0 0 19 0 0 0 16 0 10 0 124161478 881729536 78045 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21986/tid=21994] ppid=21984 vsize=861064 CPUtime=0
/proc/21986/task/21994/stat : 21994 (java) S 21984 21984 19927 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 124161478 881729536 78045 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21995] ppid=21984 vsize=861064 CPUtime=0
/proc/21986/task/21995/stat : 21995 (java) S 21984 21984 19927 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 124161478 881729536 78045 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21986/tid=21996] ppid=21984 vsize=861064 CPUtime=0
/proc/21986/task/21996/stat : 21996 (java) S 21984 21984 19927 0 -1 64 4 0 0 0 0 0 0 0 17 0 10 0 124161505 881729536 78045 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.23
Current children cumulated vsize (KiB) 866420
[startup+6.3029 s]
/proc/loadavg: 1.24 1.12 1.11 5/94 22034
/proc/meminfo: memFree=1133536/2055920 swapFree=4192812/4192956
[pid=21984] ppid=21982 vsize=5356 CPUtime=0
/proc/21984/stat : 21984 (concrete.sh) S 21982 21984 19927 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 124161473 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21984/statm: 1339 242 201 169 0 50 0
[pid=21986] ppid=21984 vsize=879656 CPUtime=6.34
/proc/21986/stat : 21986 (java) S 21984 21984 19927 0 -1 0 122371 0 1 0 582 52 0 0 20 0 10 0 124161473 900767744 121487 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21986/statm: 219914 121487 2578 9 0 214474 0
[pid=21986/tid=21988] ppid=21984 vsize=879656 CPUtime=1.67
/proc/21986/task/21988/stat : 21988 (java) S 21984 21984 19927 0 -1 64 47716 0 1 0 145 22 0 0 16 0 10 0 124161474 900767744 121487 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21989] ppid=21984 vsize=879656 CPUtime=4.45
/proc/21986/task/21989/stat : 21989 (java) R 21984 21984 19927 0 -1 64 73151 0 0 0 417 28 0 0 25 0 10 0 124161475 900767744 121487 996147200 134512640 134550740 4294956016 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21990] ppid=21984 vsize=879656 CPUtime=0
/proc/21986/task/21990/stat : 21990 (java) S 21984 21984 19927 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 124161476 900767744 121487 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21991] ppid=21984 vsize=879656 CPUtime=0
/proc/21986/task/21991/stat : 21991 (java) S 21984 21984 19927 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 124161476 900767744 121487 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21992] ppid=21984 vsize=879656 CPUtime=0
/proc/21986/task/21992/stat : 21992 (java) S 21984 21984 19927 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 124161478 900767744 121487 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21993] ppid=21984 vsize=879656 CPUtime=0.19
/proc/21986/task/21993/stat : 21993 (java) S 21984 21984 19927 0 -1 64 768 0 0 0 19 0 0 0 16 0 10 0 124161478 900767744 121487 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21986/tid=21994] ppid=21984 vsize=879656 CPUtime=0
/proc/21986/task/21994/stat : 21994 (java) S 21984 21984 19927 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 124161478 900767744 121487 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21995] ppid=21984 vsize=879656 CPUtime=0
/proc/21986/task/21995/stat : 21995 (java) S 21984 21984 19927 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 124161478 900767744 121487 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21996] ppid=21984 vsize=879656 CPUtime=0
/proc/21986/task/21996/stat : 21996 (java) S 21984 21984 19927 0 -1 64 4 0 0 0 0 0 0 0 17 0 10 0 124161505 900767744 121487 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.34
Current children cumulated vsize (KiB) 885012
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+11.2024 s]
/proc/loadavg: 1.46 1.17 1.12 5/94 22034
/proc/meminfo: memFree=668832/2055920 swapFree=4192812/4192956
[pid=21984] ppid=21982 vsize=5356 CPUtime=0
/proc/21984/stat : 21984 (concrete.sh) S 21982 21984 19927 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 124161473 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21984/statm: 1339 242 201 169 0 50 0
[pid=21986] ppid=21984 vsize=918568 CPUtime=10.72
/proc/21986/stat : 21986 (java) S 21984 21984 19927 0 -1 0 203762 0 1 0 983 89 0 0 20 0 10 0 124161473 940613632 202870 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21986/statm: 229642 202870 2578 9 0 224202 0
[pid=21986/tid=21988] ppid=21984 vsize=918568 CPUtime=2.88
/proc/21986/task/21988/stat : 21988 (java) S 21984 21984 19927 0 -1 64 60618 0 1 0 261 27 0 0 17 0 10 0 124161474 940613632 202870 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21986/tid=21989] ppid=21984 vsize=918568 CPUtime=7.63
/proc/21986/task/21989/stat : 21989 (java) R 21984 21984 19927 0 -1 64 141640 0 0 0 702 61 0 0 25 0 10 0 124161475 940613632 202870 996147200 134512640 134550740 4294956016 18446744073709551615 104456944 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21986/tid=21990] ppid=21984 vsize=918568 CPUtime=0
/proc/21986/task/21990/stat : 21990 (java) S 21984 21984 19927 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 124161476 940613632 202870 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21991] ppid=21984 vsize=918568 CPUtime=0
/proc/21986/task/21991/stat : 21991 (java) S 21984 21984 19927 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 124161476 940613632 202870 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21992] ppid=21984 vsize=918568 CPUtime=0
/proc/21986/task/21992/stat : 21992 (java) S 21984 21984 19927 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 124161478 940613632 202870 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21993] ppid=21984 vsize=918568 CPUtime=0.19
/proc/21986/task/21993/stat : 21993 (java) S 21984 21984 19927 0 -1 64 768 0 0 0 19 0 0 0 16 0 10 0 124161478 940613632 202870 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21986/tid=21994] ppid=21984 vsize=918568 CPUtime=0
/proc/21986/task/21994/stat : 21994 (java) S 21984 21984 19927 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 124161478 940613632 202870 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21995] ppid=21984 vsize=918568 CPUtime=0
/proc/21986/task/21995/stat : 21995 (java) S 21984 21984 19927 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 124161478 940613632 202870 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21986/tid=21996] ppid=21984 vsize=918568 CPUtime=0
/proc/21986/task/21996/stat : 21996 (java) S 21984 21984 19927 0 -1 64 4 0 0 0 0 0 0 0 17 0 10 0 124161505 940613632 202870 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.72
Current children cumulated vsize (KiB) 923924
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21984 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.004998
# while last known CPU time is 10.72
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 11.2208
CPU time (s): 10.72
CPU user time (s): 9.83
CPU system time (s): 0.89
CPU usage (%): 95.5368
Max. virtual memory (cumulated for all children) (KiB): 923924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002999
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11
involuntary context switches= 2
runsolver used 0.016997 second user time and 0.052991 second system time
The end
Begin job on node27 at 2008-07-04 00:41:54
IDJOB=1059795
IDBENCH=54381
IDSOLVER=304
FILE ID=node27/1059795-1215124913
PBS_JOBID= 7877149
Free space on /tmp= 66460 MiB
SOLVER NAME= Concrete + CSP4J - WMC Engine 2008-05-30
BENCH NAME= CPAI08/csp/primes-30/normalized-primes-30-40-2-7.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-1059795-1215124913/watcher-1059795-1215124913 -o /tmp/evaluation-result-1059795-1215124913/solver-1059795-1215124913 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s WMC HOME/instance-1059795-1215124913.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 2785aab9aaac7b7201a44e769841c423
RANDOM SEED=899254715
node27.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 : 2800.188
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 : 5521.40
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 : 2800.188
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: 1643264 kB
Buffers: 27692 kB
Cached: 314824 kB
SwapCached: 0 kB
Active: 162236 kB
Inactive: 198880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1643264 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1004 kB
Writeback: 0 kB
Mapped: 29892 kB
Slab: 37280 kB
Committed_AS: 262656 kB
PageTables: 1488 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264948 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66468 MiB
End job on node27 at 2008-07-04 00:42:13