runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-422297-1178554177 -o ROOT/results/node3/solver-422297-1178554177 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422297-1178554177/siegeadapter.pl /tmp/evaluation/422297-1178554177/instance-422297-1178554177.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.98 0.55 0.22 3/77 21554
/proc/meminfo: memFree=1648224/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=26176 CPUtime=0
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 95 0 0 0 0 0 0 0 20 0 1 0 331455620 26804224 80 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134949222 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 6544 80 66 208 0 591 0
[startup+0.042719 s]
/proc/loadavg: 0.98 0.55 0.22 3/77 21554
/proc/meminfo: memFree=1648224/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=54376 CPUtime=0.03
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 4173 0 0 0 2 1 0 0 20 0 1 0 331455620 55681024 4158 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134515452 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 13596 4162 66 208 0 7643 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 66644
[startup+0.101728 s]
/proc/loadavg: 0.98 0.55 0.22 3/77 21554
/proc/meminfo: memFree=1648224/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=70392 CPUtime=0.09
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 10035 0 0 0 5 4 0 0 20 0 1 0 331455620 72081408 10020 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134550786 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 17598 10025 66 208 0 11645 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 82660
[startup+0.301759 s]
/proc/loadavg: 0.98 0.55 0.22 3/77 21554
/proc/meminfo: memFree=1648224/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=510340 CPUtime=0.29
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 16924 0 0 0 22 7 0 0 21 0 1 0 331455620 522588160 16909 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134556531 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 127585 16909 2002 208 0 121632 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 522608
[startup+0.701824 s]
/proc/loadavg: 0.98 0.55 0.22 3/77 21554
/proc/meminfo: memFree=1648224/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=504036 CPUtime=0.69
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 26142 0 0 0 58 11 0 0 25 0 1 0 331455620 516132864 20319 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 126009 20319 86 208 0 125797 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 516304
[startup+1.50196 s]
/proc/loadavg: 0.98 0.55 0.22 2/79 21556
/proc/meminfo: memFree=1564368/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=504036 CPUtime=1.49
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 26494 0 0 0 138 11 0 0 25 0 1 0 331455620 516132864 20671 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134530241 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 126009 20671 86 208 0 125797 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 516304
[startup+3.10121 s]
/proc/loadavg: 0.98 0.55 0.22 2/79 21556
/proc/meminfo: memFree=1565136/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=504040 CPUtime=3.09
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 26515 0 0 0 298 11 0 0 25 0 1 0 331455620 516136960 20692 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 126010 20692 86 208 0 125798 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 516308
[startup+6.30173 s]
/proc/loadavg: 0.98 0.56 0.22 2/79 21556
/proc/meminfo: memFree=1564816/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=504124 CPUtime=6.28
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 26625 0 0 0 617 11 0 0 25 0 1 0 331455620 516222976 20802 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 126031 20802 86 208 0 125819 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 516392
[startup+12.7018 s]
/proc/loadavg: 0.98 0.57 0.23 2/79 21556
/proc/meminfo: memFree=1564304/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=504300 CPUtime=12.68
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 26775 0 0 0 1257 11 0 0 25 0 1 0 331455620 516403200 20952 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529804 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 126075 20952 86 208 0 125863 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 516568
[startup+25.5018 s]
/proc/loadavg: 0.99 0.59 0.24 2/79 21556
/proc/meminfo: memFree=1563088/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=504688 CPUtime=25.48
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 27089 0 0 0 2536 12 0 0 25 0 1 0 331455620 516800512 21266 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 126172 21266 86 208 0 125960 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 516956
[startup+51.102 s]
/proc/loadavg: 0.99 0.62 0.26 2/79 21556
/proc/meminfo: memFree=1560272/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=505476 CPUtime=51.06
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 27815 0 0 0 5093 13 0 0 25 0 1 0 331455620 517607424 21992 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 126369 21992 86 208 0 126157 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 517744
[startup+102.305 s]
/proc/loadavg: 0.99 0.67 0.30 2/79 21556
/proc/meminfo: memFree=1554128/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=506456 CPUtime=102.24
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 29352 0 0 0 10209 15 0 0 25 0 1 0 331455620 518610944 23529 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 126614 23529 86 208 0 126402 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 518724
[startup+162.302 s]
/proc/loadavg: 0.99 0.73 0.34 2/79 21556
/proc/meminfo: memFree=1547920/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=507776 CPUtime=162.22
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 30893 0 0 0 16205 17 0 0 25 0 1 0 331455620 519962624 25070 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134530235 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 126944 25070 86 208 0 126732 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 520044
[startup+222.302 s]
/proc/loadavg: 0.99 0.78 0.38 2/79 21556
/proc/meminfo: memFree=1543504/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=508592 CPUtime=222.2
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 31984 0 0 0 22201 19 0 0 25 0 1 0 331455620 520798208 26161 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529853 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 127148 26161 86 208 0 126936 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 520860
[startup+282.301 s]
/proc/loadavg: 0.99 0.81 0.41 2/79 21556
/proc/meminfo: memFree=1542608/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=509412 CPUtime=282.18
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 32189 0 0 0 28198 20 0 0 25 0 1 0 331455620 521637888 26366 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 127353 26366 86 208 0 127141 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 521680
[startup+342.301 s]
/proc/loadavg: 0.99 0.85 0.45 2/79 21556
/proc/meminfo: memFree=1542160/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=509864 CPUtime=342.15
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 32304 0 0 0 34195 20 0 0 25 0 1 0 331455620 522100736 26481 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529955 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 127466 26481 86 208 0 127254 0
################
# More data... #
################
/proc/21555/statm: 216964 134233 86 208 0 216752 0
Current children cumulated CPU time (s) 2741.35
Current children cumulated vsize (KiB) 880124
[startup+2802.3 s]
/proc/loadavg: 1.00 1.02 0.93 2/79 21558
/proc/meminfo: memFree=1109392/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=868244 CPUtime=2801.33
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 204162 0 0 0 279982 151 0 0 25 0 1 0 331455620 889081856 134328 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529320 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 217061 134328 86 208 0 216849 0
Current children cumulated CPU time (s) 2801.33
Current children cumulated vsize (KiB) 880512
[startup+2862.3 s]
/proc/loadavg: 1.00 1.01 0.93 2/79 21558
/proc/meminfo: memFree=1109200/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=868484 CPUtime=2861.3
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 204222 0 0 0 285979 151 0 0 25 0 1 0 331455620 889327616 134388 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134546497 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 217121 134388 86 208 0 216909 0
Current children cumulated CPU time (s) 2861.3
Current children cumulated vsize (KiB) 880752
[startup+2922.3 s]
/proc/loadavg: 1.00 1.01 0.93 2/79 21558
/proc/meminfo: memFree=1108688/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=868928 CPUtime=2921.29
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 204332 0 0 0 291977 152 0 0 25 0 1 0 331455620 889782272 134498 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529930 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 217232 134498 86 208 0 217020 0
Current children cumulated CPU time (s) 2921.29
Current children cumulated vsize (KiB) 881196
[startup+2982.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/79 21558
/proc/meminfo: memFree=1108496/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=869156 CPUtime=2981.26
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 204389 0 0 0 297974 152 0 0 25 0 1 0 331455620 890015744 134555 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543021 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 217289 134555 86 208 0 217077 0
Current children cumulated CPU time (s) 2981.26
Current children cumulated vsize (KiB) 881424
[startup+3042.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/79 21558
/proc/meminfo: memFree=1108176/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=869536 CPUtime=3041.24
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 204483 0 0 0 303971 153 0 0 25 0 1 0 331455620 890404864 134649 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528244 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 217384 134649 86 208 0 217172 0
Current children cumulated CPU time (s) 3041.24
Current children cumulated vsize (KiB) 881804
[startup+3102.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/85 21674
/proc/meminfo: memFree=1106592/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=869784 CPUtime=3101.17
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 204545 0 0 0 309964 153 0 0 25 0 1 0 331455620 890658816 134711 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543189 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 217446 134711 86 208 0 217234 0
Current children cumulated CPU time (s) 3101.17
Current children cumulated vsize (KiB) 882052
[startup+3162.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/79 21756
/proc/meminfo: memFree=1107152/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=870308 CPUtime=3161.1
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 204677 0 0 0 315956 154 0 0 25 0 1 0 331455620 891195392 134843 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 217577 134843 86 208 0 217365 0
Current children cumulated CPU time (s) 3161.1
Current children cumulated vsize (KiB) 882576
Solver just ended. Dumping a history of the last processes samples
[startup+3167.9 s]
/proc/loadavg: 1.00 1.00 0.93 2/79 21756
/proc/meminfo: memFree=1107216/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=870320 CPUtime=3166.7
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 204680 0 0 0 316516 154 0 0 25 0 1 0 331455620 891207680 134846 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134527995 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 217580 134846 86 208 0 217368 0
Current children cumulated CPU time (s) 3166.7
Current children cumulated vsize (KiB) 882588
[startup+3171.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/79 21756
/proc/meminfo: memFree=1107152/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=870324 CPUtime=3169.9
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 204681 0 0 0 316836 154 0 0 25 0 1 0 331455620 891211776 134847 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 217581 134847 86 208 0 217369 0
Current children cumulated CPU time (s) 3169.9
Current children cumulated vsize (KiB) 882592
[startup+3174.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/79 21756
/proc/meminfo: memFree=1107152/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=870328 CPUtime=3173.1
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 204682 0 0 0 317156 154 0 0 25 0 1 0 331455620 891215872 134848 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528745 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 217582 134848 86 208 0 217370 0
Current children cumulated CPU time (s) 3173.1
Current children cumulated vsize (KiB) 882596
[startup+3175.9 s]
/proc/loadavg: 1.00 1.00 0.93 2/79 21756
/proc/meminfo: memFree=1107152/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 15 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=870332 CPUtime=3174.7
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 204683 0 0 0 317316 154 0 0 25 0 1 0 331455620 891219968 134849 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 217583 134849 86 208 0 217371 0
Current children cumulated CPU time (s) 3174.7
Current children cumulated vsize (KiB) 882600
[startup+3176.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/79 21756
/proc/meminfo: memFree=1107152/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=178208 CPUtime=3175.09
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 204693 0 0 0 317349 160 0 0 25 0 1 0 331455620 182484992 44255 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134940010 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 44552 44255 95 208 0 44340 0
Current children cumulated CPU time (s) 3175.09
Current children cumulated vsize (KiB) 190476
[startup+3176.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/79 21756
/proc/meminfo: memFree=1107152/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=12268 CPUtime=0
/proc/21554/stat : 21554 (siegeadapter.pl) S 21552 21554 21409 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 331455620 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/21554/statm: 3067 352 271 3 0 167 0
[pid=21555] ppid=21554 vsize=178208 CPUtime=3175.29
/proc/21555/stat : 21555 (siege_v4) R 21554 21554 21409 0 -1 0 204693 0 0 0 317369 160 0 0 25 0 1 0 331455620 182484992 44255 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134940993 0 0 4096 0 0 0 0 17 1 0 0
/proc/21555/statm: 44552 44255 95 208 0 44340 0
Current children cumulated CPU time (s) 3175.29
Current children cumulated vsize (KiB) 190476
[startup+3176.6 s]
/proc/loadavg: 1.00 1.00 0.93 2/79 21756
/proc/meminfo: memFree=1107152/2055920 swapFree=4139116/4192956
[pid=21554] ppid=21552 vsize=0 CPUtime=3175.36
/proc/21554/stat : 21554 (siegeadapter.pl) D 21552 21554 21409 0 -1 4194308 2455 204693 0 0 1 1 317371 163 16 0 1 0 331455620 0 0 18446744073709551615 0 0 0 0 0 0 0 4224 0 18446744072100051646 0 0 17 0 0 0
/proc/21554/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3175.36
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 3176.61
CPU time (s): 3175.38
CPU user time (s): 3173.72
CPU system time (s): 1.65775
CPU usage (%): 99.9613
Max. virtual memory (cumulated for all children) (KiB): 913688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3173.72
system time used= 1.65775
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207148
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= 1961
involuntary context switches= 67338
runsolver used 3.20551 second user time and 8.04078 second system time
The end
Begin job on node3 on Mon May 7 16:09:39 UTC 2007
IDJOB= 422297
IDBENCH= 20350
IDSOLVER= 190
FILE ID= node3/422297-1178554177
PBS_JOBID= 5217657
Free space on /tmp= 66541 MiB
SOLVER NAME= Siege V4
BENCH NAME= HOME/pub/bench/SAT07/industrial/anbulagan/hard-sat/partial-5-19-s.cnf
COMMAND LINE= /tmp/evaluation/422297-1178554177/siegeadapter.pl /tmp/evaluation/422297-1178554177/instance-422297-1178554177.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-422297-1178554177 -o ROOT/results/node3/solver-422297-1178554177 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422297-1178554177/siegeadapter.pl /tmp/evaluation/422297-1178554177/instance-422297-1178554177.cnf
META MD5SUM SOLVER= 69ef6d521077f526586997d0c4a9a904
MD5SUM BENCH= e244a296f9644a797dad8a0d16013dcf
RANDOM SEED= 58902794
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
Linux node3.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.270
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.270
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: 1648696 kB
Buffers: 46928 kB
Cached: 257232 kB
SwapCached: 17140 kB
Active: 256420 kB
Inactive: 70952 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1648696 kB
SwapTotal: 4192956 kB
SwapFree: 4139116 kB
Dirty: 23932 kB
Writeback: 0 kB
Mapped: 29848 kB
Slab: 65396 kB
Committed_AS: 11399264 kB
PageTables: 1780 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= 66539 MiB
End job on node3 on Mon May 7 17:02:36 UTC 2007