runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-422309-1178563018 -o ROOT/results/node21/solver-422309-1178563018 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422309-1178563018/siegeadapter.pl /tmp/evaluation/422309-1178563018/instance-422309-1178563018.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: 1.00 1.00 0.93 3/77 3337
/proc/meminfo: memFree=1823992/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) R 3335 3337 3196 0 -1 4194304 382 0 0 0 0 0 0 0 18 0 1 0 304219281 12562432 350 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221236488863 0 0 4224 0 0 0 0 17 1 0 0
/proc/3337/statm: 3067 350 270 3 0 167 0
[pid=3338] ppid=3337 vsize=20956 CPUtime=0
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 107 0 0 0 0 0 0 0 18 0 1 0 304219282 21458944 92 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134513547 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 5239 95 66 208 0 494 0
[startup+0.0696861 s]
/proc/loadavg: 1.00 1.00 0.93 3/77 3337
/proc/meminfo: memFree=1823992/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=50580 CPUtime=0.05
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 6766 0 0 0 3 2 0 0 19 0 1 0 304219282 51793920 6751 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134948312 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 12646 6756 66 208 0 7901 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 62848
[startup+0.101689 s]
/proc/loadavg: 1.00 1.00 0.93 3/77 3337
/proc/meminfo: memFree=1823992/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=64228 CPUtime=0.08
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 9676 0 0 0 5 3 0 0 19 0 1 0 304219282 65769472 9661 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134521223 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 16057 9661 68 208 0 11312 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 76496
[startup+0.30171 s]
/proc/loadavg: 1.00 1.00 0.93 3/77 3337
/proc/meminfo: memFree=1823992/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=493700 CPUtime=0.28
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 15875 0 0 0 23 5 0 0 21 0 1 0 304219282 505548800 15860 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134557431 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 123425 15861 2230 208 0 118680 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 505968
[startup+0.701755 s]
/proc/loadavg: 1.00 1.00 0.93 3/77 3337
/proc/meminfo: memFree=1823992/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=484796 CPUtime=0.69
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 21503 0 0 0 62 7 0 0 25 0 1 0 304219282 496431104 16899 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528903 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 121199 16899 86 208 0 120987 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 497064
[startup+1.50184 s]
/proc/loadavg: 1.00 1.00 0.93 2/79 3339
/proc/meminfo: memFree=1755880/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=484796 CPUtime=1.49
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 21621 0 0 0 142 7 0 0 25 0 1 0 304219282 496431104 17017 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134527916 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 121199 17017 86 208 0 120987 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 497064
[startup+3.10302 s]
/proc/loadavg: 1.00 1.00 0.93 2/79 3339
/proc/meminfo: memFree=1755112/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=484796 CPUtime=3.09
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 21674 0 0 0 302 7 0 0 25 0 1 0 304219282 496431104 17070 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529833 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 121199 17070 86 208 0 120987 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 497064
[startup+6.30137 s]
/proc/loadavg: 1.00 1.00 0.93 2/79 3339
/proc/meminfo: memFree=1755240/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=484840 CPUtime=6.28
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 21719 0 0 0 621 7 0 0 25 0 1 0 304219282 496476160 17115 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529853 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 121210 17115 86 208 0 120998 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 497108
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 0.93 2/79 3339
/proc/meminfo: memFree=1754808/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=484948 CPUtime=12.68
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 21837 0 0 0 1261 7 0 0 25 0 1 0 304219282 496586752 17233 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 121237 17233 86 208 0 121025 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 497216
[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 0.93 2/79 3339
/proc/meminfo: memFree=1753592/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=485320 CPUtime=25.48
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 22149 0 0 0 2540 8 0 0 25 0 1 0 304219282 496967680 17545 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528819 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 121330 17545 86 208 0 121118 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 497588
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 0.93 2/79 3339
/proc/meminfo: memFree=1750776/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=486008 CPUtime=51.07
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 22845 0 0 0 5098 9 0 0 25 0 1 0 304219282 497672192 18241 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 121502 18241 86 208 0 121290 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 498276
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.93 2/79 3339
/proc/meminfo: memFree=1742904/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=487004 CPUtime=102.26
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 24805 0 0 0 10214 12 0 0 25 0 1 0 304219282 498692096 20201 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 121751 20201 86 208 0 121539 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 499272
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/79 3339
/proc/meminfo: memFree=1722808/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=488528 CPUtime=162.23
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 29836 0 0 0 16207 16 0 0 25 0 1 0 304219282 500252672 25232 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 122132 25232 86 208 0 121920 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 500796
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/79 3339
/proc/meminfo: memFree=1596216/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=703600 CPUtime=222.22
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 114325 0 0 0 22165 57 0 0 25 0 1 0 304219282 720486400 56799 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134542612 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 175900 56799 86 208 0 175688 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 715868
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/79 3339
/proc/meminfo: memFree=1471096/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=739352 CPUtime=282.2
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 145433 0 0 0 28143 77 0 0 25 0 1 0 304219282 757096448 87907 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 184838 87907 86 208 0 184626 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 751620
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/79 3341
/proc/meminfo: memFree=1432376/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=748872 CPUtime=342.19
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 155034 0 0 0 34134 85 0 0 25 0 1 0 304219282 766844928 97508 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134543222 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 187218 97508 86 208 0 187006 0
################
# More data... #
################
/proc/3338/statm: 203384 129201 86 208 0 203172 0
Current children cumulated CPU time (s) 3881.05
Current children cumulated vsize (KiB) 825804
[startup+3942.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/79 3541
/proc/meminfo: memFree=1300984/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=813740 CPUtime=3941.03
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 187161 0 0 0 393964 139 0 0 25 0 1 0 304219282 833269760 129251 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134541092 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 203435 129251 86 208 0 203223 0
Current children cumulated CPU time (s) 3941.03
Current children cumulated vsize (KiB) 826008
[startup+4002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/79 3541
/proc/meminfo: memFree=1300792/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=813932 CPUtime=4001.01
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 187208 0 0 0 399961 140 0 0 25 0 1 0 304219282 833466368 129298 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134530241 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 203483 129298 86 208 0 203271 0
Current children cumulated CPU time (s) 4001.01
Current children cumulated vsize (KiB) 826200
[startup+4062.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/79 3541
/proc/meminfo: memFree=1300536/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=814176 CPUtime=4061
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 187267 0 0 0 405960 140 0 0 25 0 1 0 304219282 833716224 129357 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134517920 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 203544 129357 86 208 0 203332 0
Current children cumulated CPU time (s) 4061
Current children cumulated vsize (KiB) 826444
[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/79 3541
/proc/meminfo: memFree=1300408/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=814296 CPUtime=4120.98
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 187297 0 0 0 411957 141 0 0 25 0 1 0 304219282 833839104 129387 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529243 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 203574 129387 86 208 0 203362 0
Current children cumulated CPU time (s) 4120.98
Current children cumulated vsize (KiB) 826564
[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/79 3541
/proc/meminfo: memFree=1300216/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=814392 CPUtime=4180.96
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 187319 0 0 0 417955 141 0 0 25 0 1 0 304219282 833937408 129409 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529835 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 203598 129409 86 208 0 203386 0
Current children cumulated CPU time (s) 4180.96
Current children cumulated vsize (KiB) 826660
[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 0.94 3/79 3541
/proc/meminfo: memFree=1299960/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=814568 CPUtime=4240.94
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 187360 0 0 0 423952 142 0 0 25 0 1 0 304219282 834117632 129450 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134527995 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 203642 129450 86 208 0 203430 0
Current children cumulated CPU time (s) 4240.94
Current children cumulated vsize (KiB) 826836
[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/79 3541
/proc/meminfo: memFree=1299832/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=814680 CPUtime=4300.92
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 187388 0 0 0 429950 142 0 0 25 0 1 0 304219282 834232320 129478 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529955 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 203670 129478 86 208 0 203458 0
Current children cumulated CPU time (s) 4300.92
Current children cumulated vsize (KiB) 826948
Solver just ended. Dumping a history of the last processes samples
[startup+4326.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/79 3541
/proc/meminfo: memFree=1299704/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=814740 CPUtime=4324.93
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 187403 0 0 0 432350 143 0 0 25 0 1 0 304219282 834293760 129493 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529809 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 203685 129493 86 208 0 203473 0
Current children cumulated CPU time (s) 4324.93
Current children cumulated vsize (KiB) 827008
[startup+4339.1 s]
/proc/loadavg: 1.00 1.00 0.94 2/79 3541
/proc/meminfo: memFree=1299640/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=814792 CPUtime=4337.72
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 187412 0 0 0 433629 143 0 0 25 0 1 0 304219282 834347008 129502 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529268 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 203698 129502 86 208 0 203486 0
Current children cumulated CPU time (s) 4337.72
Current children cumulated vsize (KiB) 827060
[startup+4345.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/79 3541
/proc/meminfo: memFree=1299640/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=814804 CPUtime=4344.12
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 187415 0 0 0 434269 143 0 0 25 0 1 0 304219282 834359296 129505 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528336 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 203701 129505 86 208 0 203489 0
Current children cumulated CPU time (s) 4344.12
Current children cumulated vsize (KiB) 827072
[startup+4348.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/79 3541
/proc/meminfo: memFree=1299640/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=814812 CPUtime=4347.32
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 187417 0 0 0 434589 143 0 0 25 0 1 0 304219282 834367488 129507 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134529833 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 203703 129507 86 208 0 203491 0
Current children cumulated CPU time (s) 4347.32
Current children cumulated vsize (KiB) 827080
[startup+4349.5 s]
/proc/loadavg: 1.00 1.00 0.94 3/79 3541
/proc/meminfo: memFree=1299640/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=814816 CPUtime=4348.12
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 187418 0 0 0 434669 143 0 0 25 0 1 0 304219282 834371584 129508 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134528857 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 203704 129508 86 208 0 203492 0
Current children cumulated CPU time (s) 4348.12
Current children cumulated vsize (KiB) 827084
[startup+4350.3 s]
/proc/loadavg: 1.00 1.00 0.94 3/79 3541
/proc/meminfo: memFree=1299640/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=12268 CPUtime=0
/proc/3337/stat : 3337 (siegeadapter.pl) S 3335 3337 3196 0 -1 4194304 404 0 0 0 0 0 0 0 16 0 1 0 304219281 12562432 352 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/3337/statm: 3067 352 271 3 0 167 0
[pid=3338] ppid=3337 vsize=172704 CPUtime=4348.91
/proc/3338/stat : 3338 (siege_v4) R 3337 3337 3196 0 -1 0 187430 0 0 0 434742 149 0 0 25 0 1 0 304219282 176848896 42602 18446744073709551615 134512640 135367534 4294956736 18446744073709551615 134773997 0 0 4096 0 0 0 0 17 1 0 0
/proc/3338/statm: 43176 42602 95 208 0 42964 0
Current children cumulated CPU time (s) 4348.91
Current children cumulated vsize (KiB) 184972
[startup+4350.51 s]
/proc/loadavg: 1.00 1.00 0.94 3/79 3541
/proc/meminfo: memFree=1645432/2055920 swapFree=4156336/4192956
[pid=3337] ppid=3335 vsize=0 CPUtime=4349.1
/proc/3337/stat : 3337 (siegeadapter.pl) D 3335 3337 3196 0 -1 4194308 2111 187430 0 0 1 1 434756 152 16 0 1 0 304219281 0 0 18446744073709551615 0 0 0 0 0 0 0 4224 0 18446744072100051646 0 0 17 1 0 0
/proc/3337/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4349.1
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 4350.52
CPU time (s): 4349.12
CPU user time (s): 4347.57
CPU system time (s): 1.54876
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 827092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4347.57
system time used= 1.54876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189541
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= 1456
involuntary context switches= 49969
runsolver used 4.35034 second user time and 11.3223 second system time
The end
Begin job on node21 on Mon May 7 18:37:00 UTC 2007
IDJOB= 422309
IDBENCH= 20362
IDSOLVER= 190
FILE ID= node21/422309-1178563018
PBS_JOBID= 5217677
Free space on /tmp= 66546 MiB
SOLVER NAME= Siege V4
BENCH NAME= HOME/pub/bench/SAT07/industrial/anbulagan/medium-sat/partial-5-15-s.cnf
COMMAND LINE= /tmp/evaluation/422309-1178563018/siegeadapter.pl /tmp/evaluation/422309-1178563018/instance-422309-1178563018.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-422309-1178563018 -o ROOT/results/node21/solver-422309-1178563018 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/422309-1178563018/siegeadapter.pl /tmp/evaluation/422309-1178563018/instance-422309-1178563018.cnf
META MD5SUM SOLVER= 69ef6d521077f526586997d0c4a9a904
MD5SUM BENCH= aeddf6934ba21adf4a25a76bc314ef43
RANDOM SEED= 629649912
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
Linux node21.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.232
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.232
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: 1824528 kB
Buffers: 12884 kB
Cached: 111132 kB
SwapCached: 15112 kB
Active: 79336 kB
Inactive: 81412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1824528 kB
SwapTotal: 4192956 kB
SwapFree: 4156336 kB
Dirty: 19000 kB
Writeback: 0 kB
Mapped: 43672 kB
Slab: 56136 kB
Committed_AS: 5048840 kB
PageTables: 1820 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= 66544 MiB
End job on node21 on Mon May 7 19:49:31 UTC 2007