runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node37/watcher-422358-1178583021 -o ROOT/results/node37/solver-422358-1178583021 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422358-1178583021/siegeadapter.pl /tmp/evaluation/422358-1178583021/instance-422358-1178583021.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 15000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 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: 0.85 0.97 0.98 3/78 8805
/proc/meminfo: memFree=1523384/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) R 8803 8805 8743 0 -1 4194304 382 0 0 0 0 0 0 0 18 0 1 0 306214575 12562432 350 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213116316319 0 0 4224 0 0 0 0 17 1 0 0
/proc/8805/statm: 3067 350 270 3 0 167 0
[pid=8806] ppid=8805 vsize=3116 CPUtime=0
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 137 0 0 0 0 0 0 0 18 0 1 0 306214576 3190784 122 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134514030 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 779 129 66 208 0 183 0
[startup+0.097365 s]
/proc/loadavg: 0.85 0.97 0.98 3/78 8805
/proc/meminfo: memFree=1523384/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=405740 CPUtime=0.08
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 2846 0 0 0 7 1 0 0 20 0 1 0 306214576 415477760 2446 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528947 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 101435 2446 86 208 0 101223 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 418008
[startup+0.101363 s]
/proc/loadavg: 0.85 0.97 0.98 3/78 8805
/proc/meminfo: memFree=1523384/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=405740 CPUtime=0.09
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 2846 0 0 0 8 1 0 0 20 0 1 0 306214576 415477760 2446 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 101435 2446 86 208 0 101223 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 418008
[startup+0.3014 s]
/proc/loadavg: 0.85 0.97 0.98 3/78 8805
/proc/meminfo: memFree=1523384/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=405740 CPUtime=0.29
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 2874 0 0 0 28 1 0 0 22 0 1 0 306214576 415477760 2474 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134530194 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 101435 2474 86 208 0 101223 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 418008
[startup+0.701476 s]
/proc/loadavg: 0.85 0.97 0.98 3/78 8805
/proc/meminfo: memFree=1523384/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=405740 CPUtime=0.69
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 2927 0 0 0 68 1 0 0 25 0 1 0 306214576 415477760 2527 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134527916 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 101435 2527 86 208 0 101223 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 418008
[startup+1.50163 s]
/proc/loadavg: 0.85 0.97 0.98 2/80 8807
/proc/meminfo: memFree=1513000/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=405748 CPUtime=1.48
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 2992 0 0 0 147 1 0 0 25 0 1 0 306214576 415485952 2592 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529979 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 101437 2592 86 208 0 101225 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 418016
[startup+3.10194 s]
/proc/loadavg: 0.85 0.97 0.98 2/80 8807
/proc/meminfo: memFree=1512552/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=405840 CPUtime=3.08
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 3072 0 0 0 307 1 0 0 25 0 1 0 306214576 415580160 2672 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134530170 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 101460 2672 86 208 0 101248 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 418108
[startup+6.30154 s]
/proc/loadavg: 0.86 0.97 0.98 2/80 8807
/proc/meminfo: memFree=1511536/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=406032 CPUtime=6.28
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 3330 0 0 0 627 1 0 0 25 0 1 0 306214576 415776768 2930 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 101508 2931 86 208 0 101296 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 418300
[startup+12.7027 s]
/proc/loadavg: 0.87 0.97 0.98 2/80 8807
/proc/meminfo: memFree=1508656/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=406336 CPUtime=12.68
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 4090 0 0 0 1266 2 0 0 25 0 1 0 306214576 416088064 3690 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529965 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 101584 3690 86 208 0 101372 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 418604
[startup+25.5012 s]
/proc/loadavg: 0.90 0.97 0.98 2/80 8807
/proc/meminfo: memFree=1505072/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=406876 CPUtime=25.47
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 4880 0 0 0 2545 2 0 0 25 0 1 0 306214576 416641024 4480 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 101719 4480 86 208 0 101507 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 419144
[startup+51.102 s]
/proc/loadavg: 0.93 0.97 0.98 2/80 8807
/proc/meminfo: memFree=1498352/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=408108 CPUtime=51.07
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 6588 0 0 0 5103 4 0 0 25 0 1 0 306214576 417902592 6188 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529290 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 102027 6188 86 208 0 101815 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 420376
[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.98 2/80 8807
/proc/meminfo: memFree=1476976/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=423440 CPUtime=102.25
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 15121 0 0 0 10216 9 0 0 25 0 1 0 306214576 433602560 11470 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 105860 11470 86 208 0 105648 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 435708
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 8807
/proc/meminfo: memFree=1474608/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=425736 CPUtime=162.23
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 15704 0 0 0 16213 10 0 0 25 0 1 0 306214576 435953664 12053 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528117 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 106434 12053 86 208 0 106222 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 438004
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 8807
/proc/meminfo: memFree=1470320/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=426912 CPUtime=222.21
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 16773 0 0 0 22209 12 0 0 25 0 1 0 306214576 437157888 13122 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 106728 13122 86 208 0 106516 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 439180
[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 8807
/proc/meminfo: memFree=1464688/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=428880 CPUtime=282.19
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 18171 0 0 0 28205 14 0 0 25 0 1 0 306214576 439173120 14520 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 107220 14520 86 208 0 107008 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 441148
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/80 8807
/proc/meminfo: memFree=1464304/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=429288 CPUtime=342.16
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 18269 0 0 0 34202 14 0 0 25 0 1 0 306214576 439590912 14618 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529862 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 107322 14618 86 208 0 107110 0
################
# More data... #
################
/proc/8806/statm: 112344 22158 86 208 0 112132 0
Current children cumulated CPU time (s) 9398.84
Current children cumulated vsize (KiB) 461644
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 9685
/proc/meminfo: memFree=1428272/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=449376 CPUtime=9458.83
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 26193 0 0 0 945789 94 0 0 25 0 1 0 306214576 460161024 22158 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529268 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 112344 22158 86 208 0 112132 0
Current children cumulated CPU time (s) 9458.83
Current children cumulated vsize (KiB) 461644
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 9685
/proc/meminfo: memFree=1428272/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=449376 CPUtime=9518.8
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 26193 0 0 0 951786 94 0 0 25 0 1 0 306214576 460161024 22158 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134527995 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 112344 22158 86 208 0 112132 0
Current children cumulated CPU time (s) 9518.8
Current children cumulated vsize (KiB) 461644
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 9685
/proc/meminfo: memFree=1428272/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=449376 CPUtime=9578.79
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 26193 0 0 0 957784 95 0 0 25 0 1 0 306214576 460161024 22158 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529816 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 112344 22158 86 208 0 112132 0
Current children cumulated CPU time (s) 9578.79
Current children cumulated vsize (KiB) 461644
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 9685
/proc/meminfo: memFree=1428336/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=449376 CPUtime=9638.76
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 26193 0 0 0 963781 95 0 0 25 0 1 0 306214576 460161024 22158 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529187 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 112344 22158 86 208 0 112132 0
Current children cumulated CPU time (s) 9638.76
Current children cumulated vsize (KiB) 461644
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 9685
/proc/meminfo: memFree=1428272/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=449376 CPUtime=9698.74
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 26195 0 0 0 969778 96 0 0 25 0 1 0 306214576 460161024 22160 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528857 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 112344 22160 86 208 0 112132 0
Current children cumulated CPU time (s) 9698.74
Current children cumulated vsize (KiB) 461644
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 9685
/proc/meminfo: memFree=1428272/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=449376 CPUtime=9758.73
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 26195 0 0 0 975776 97 0 0 25 0 1 0 306214576 460161024 22160 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529300 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 112344 22160 86 208 0 112132 0
Current children cumulated CPU time (s) 9758.73
Current children cumulated vsize (KiB) 461644
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 9685
/proc/meminfo: memFree=1428272/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=449388 CPUtime=9818.7
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 26200 0 0 0 981773 97 0 0 25 0 1 0 306214576 460173312 22165 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528541 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 112347 22165 86 208 0 112135 0
Current children cumulated CPU time (s) 9818.7
Current children cumulated vsize (KiB) 461656
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 9685
/proc/meminfo: memFree=1428208/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=449404 CPUtime=9878.68
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 26204 0 0 0 987771 97 0 0 25 0 1 0 306214576 460189696 22169 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528947 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 112351 22169 86 208 0 112139 0
Current children cumulated CPU time (s) 9878.68
Current children cumulated vsize (KiB) 461672
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 9685
/proc/meminfo: memFree=1428272/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=449404 CPUtime=9938.66
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 26206 0 0 0 993768 98 0 0 25 0 1 0 306214576 460189696 22171 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528857 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 112351 22171 86 208 0 112139 0
Current children cumulated CPU time (s) 9938.66
Current children cumulated vsize (KiB) 461672
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 9685
/proc/meminfo: memFree=1428208/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=449404 CPUtime=9998.65
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 26211 0 0 0 999766 99 0 0 25 0 1 0 306214576 460189696 22176 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528660 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 112351 22176 86 208 0 112139 0
Current children cumulated CPU time (s) 9998.65
Current children cumulated vsize (KiB) 461672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 9685
/proc/meminfo: memFree=1428208/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=449404 CPUtime=10000
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 26211 0 0 0 999906 99 0 0 25 0 1 0 306214576 460189696 22176 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528000 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 112351 22176 86 208 0 112139 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 461672
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10003.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 9685
/proc/meminfo: memFree=1428208/2055920 swapFree=4145672/4192956
[pid=8805] ppid=8803 vsize=12268 CPUtime=0
/proc/8805/stat : 8805 (siegeadapter.pl) S 8803 8805 8743 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 306214575 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/8805/statm: 3067 352 271 3 0 167 0
[pid=8806] ppid=8805 vsize=449404 CPUtime=10000
/proc/8806/stat : 8806 (siege_v4) R 8805 8805 8743 0 -1 0 26211 0 0 0 999906 99 0 0 25 0 1 0 306214576 460189696 22176 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528000 0 0 4096 0 0 0 0 17 1 0 0
/proc/8806/statm: 112351 22176 86 208 0 112139 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 461672
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8805 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2999
# CPU time returned by wait4() is 0.004998
# while last known CPU time is 10000
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10003.7
CPU time (s): 10000
CPU user time (s): 9999.06
CPU system time (s): 0.99
CPU usage (%): 99.9634
Max. virtual memory (cumulated for all children) (KiB): 461672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001999
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 404
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= 9
involuntary context switches= 1
runsolver used 9.15661 second user time and 27.2259 second system time
The end
Begin job on node37 on Tue May 8 00:10:21 UTC 2007
IDJOB= 422358
IDBENCH= 20411
IDSOLVER= 190
FILE ID= node37/422358-1178583021
PBS_JOBID= 5217935
Free space on /tmp= 66562 MiB
SOLVER NAME= Siege V4
BENCH NAME= HOME/pub/bench/SAT07/industrial/palacios/hard/sortnet-6-ipc5-h11-unsat.cnf
COMMAND LINE= /tmp/evaluation/422358-1178583021/siegeadapter.pl /tmp/evaluation/422358-1178583021/instance-422358-1178583021.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-422358-1178583021 -o ROOT/results/node37/solver-422358-1178583021 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422358-1178583021/siegeadapter.pl /tmp/evaluation/422358-1178583021/instance-422358-1178583021.cnf
META MD5SUM SOLVER= 69ef6d521077f526586997d0c4a9a904
MD5SUM BENCH= e6effc82c71213141cc1dab3b63f32e3
RANDOM SEED= 725211332
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
Linux node37.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/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.281
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.281
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: 1523792 kB
Buffers: 39360 kB
Cached: 367292 kB
SwapCached: 15084 kB
Active: 77808 kB
Inactive: 351580 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1523792 kB
SwapTotal: 4192956 kB
SwapFree: 4145672 kB
Dirty: 2592 kB
Writeback: 0 kB
Mapped: 29788 kB
Slab: 88088 kB
Committed_AS: 6694216 kB
PageTables: 2000 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= 66562 MiB
End job on node37 on Tue May 8 02:57:07 UTC 2007