runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-201556-1168290281 -o ROOT/results/node15/solver-201556-1168290281 -C 1800 -M 900 /tmp/evaluation/201556-1168290281/solver2 /tmp/evaluation/201556-1168290281/unknown 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.41 1.11 1.03 5/87 29294
/proc/meminfo: memFree=1625920/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=0
/proc/29293/stat : 29293 (solver2) R 29291 29293 25158 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 177423160 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472615583 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/29293/statm: 1338 231 193 169 0 49 0
[pid=29295] ppid=29293 vsize=5352 CPUtime=0
/proc/29295/stat : 29295 (solver2) R 29293 29293 25158 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 177423160 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472615583 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/29295/statm: 1338 231 193 169 0 49 0
[startup+0.10509 s]
/proc/loadavg: 1.41 1.11 1.03 5/87 29294
/proc/meminfo: memFree=1625920/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=0
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 353 334 0 0 0 0 0 0 22 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.513164 s]
/proc/loadavg: 1.41 1.11 1.03 5/87 29294
/proc/meminfo: memFree=1625920/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=0.39
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 376 2634 0 0 0 0 34 5 15 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 5352
[startup+1.3363 s]
/proc/loadavg: 1.41 1.11 1.03 3/88 29306
/proc/meminfo: memFree=1587000/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=0.39
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 376 2634 0 0 0 0 34 5 15 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29306] ppid=29293 vsize=41120 CPUtime=0.9
/proc/29306/stat : 29306 (bordewijk) R 29293 29293 25158 0 -1 4194304 9774 0 0 0 84 6 0 0 25 0 1 0 177423202 42106880 9746 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 7954149 0 0 4096 0 0 0 0 17 1 0 0
/proc/29306/statm: 10280 9746 204 97 0 9561 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 46472
[startup+2.97859 s]
/proc/loadavg: 1.41 1.11 1.03 3/88 29306
/proc/meminfo: memFree=1537336/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=0.39
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 376 2634 0 0 0 0 34 5 15 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29306] ppid=29293 vsize=84556 CPUtime=2.52
/proc/29306/stat : 29306 (bordewijk) R 29293 29293 25158 0 -1 4194304 22354 0 0 0 233 19 0 0 25 0 1 0 177423202 86585344 20617 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134543468 0 0 4096 0 0 0 0 17 1 0 0
/proc/29306/statm: 21139 20617 211 97 0 20420 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 89908
[startup+6.25914 s]
/proc/loadavg: 1.46 1.12 1.04 3/88 29306
/proc/meminfo: memFree=1470392/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=0.39
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 376 2634 0 0 0 0 34 5 15 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29306] ppid=29293 vsize=127292 CPUtime=5.75
/proc/29306/stat : 29306 (bordewijk) R 29293 29293 25158 0 -1 4194304 36132 0 0 0 314 261 0 0 25 0 1 0 177423202 130347008 30844 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29306/statm: 31823 30844 217 97 0 31104 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 132644
[startup+12.7273 s]
/proc/loadavg: 1.50 1.14 1.04 3/88 29307
/proc/meminfo: memFree=1560696/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47764 CPUtime=5.65
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11639 0 0 0 484 81 0 0 25 0 1 0 177423861 48910336 11055 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4120389011 0 0 4096 0 0 0 0 17 1 0 0
/proc/29307/statm: 11941 11055 137 64 0 11256 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 53116
[startup+25.5455 s]
/proc/loadavg: 1.61 1.18 1.06 3/88 29307
/proc/meminfo: memFree=1561016/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47764 CPUtime=18.36
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11639 0 0 0 1755 81 0 0 25 0 1 0 177423861 48910336 11055 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134527014 0 0 4096 0 0 0 0 17 1 0 0
/proc/29307/statm: 11941 11055 137 64 0 11256 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 53116
[startup+51.1969 s]
/proc/loadavg: 1.74 1.24 1.08 3/88 29307
/proc/meminfo: memFree=1561016/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47764 CPUtime=43.77
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11639 0 0 0 4295 82 0 0 25 0 1 0 177423861 48910336 11055 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4121210278 0 0 4096 0 0 0 0 17 1 0 0
/proc/29307/statm: 11941 11055 137 64 0 11256 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 53116
[startup+102.401 s]
/proc/loadavg: 1.89 1.36 1.13 3/88 29307
/proc/meminfo: memFree=1560696/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47784 CPUtime=94.53
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11793 0 0 0 9371 82 0 0 25 0 1 0 177423861 48930816 11209 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4118120961 0 0 4096 0 0 0 0 17 1 0 0
/proc/29307/statm: 11946 11209 138 64 0 11261 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 53136
[startup+162.481 s]
/proc/loadavg: 1.96 1.47 1.18 3/88 29307
/proc/meminfo: memFree=1560504/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47788 CPUtime=154.05
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11813 0 0 0 15323 82 0 0 25 0 1 0 177423861 48934912 11229 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549718 0 0 4096 0 0 0 0 17 1 0 0
/proc/29307/statm: 11947 11229 138 64 0 11262 0
Current children cumulated CPU time (s) 160.95
Current children cumulated vsize (KiB) 53140
[startup+222.568 s]
/proc/loadavg: 1.98 1.56 1.23 3/88 29307
/proc/meminfo: memFree=1560440/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47788 CPUtime=213.59
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11813 0 0 0 21276 83 0 0 25 0 1 0 177423861 48934912 11229 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549715 0 0 4096 0 0 0 0 17 1 0 0
/proc/29307/statm: 11947 11229 138 64 0 11262 0
Current children cumulated CPU time (s) 220.49
Current children cumulated vsize (KiB) 53140
[startup+282.651 s]
/proc/loadavg: 1.99 1.64 1.27 3/88 29307
/proc/meminfo: memFree=1560376/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47788 CPUtime=273.12
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11815 0 0 0 27229 83 0 0 25 0 1 0 177423861 48934912 11231 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554178 0 0 4096 0 0 0 0 17 1 0 0
/proc/29307/statm: 11947 11231 138 64 0 11262 0
Current children cumulated CPU time (s) 280.02
Current children cumulated vsize (KiB) 53140
[startup+342.734 s]
/proc/loadavg: 1.99 1.70 1.32 3/88 29307
/proc/meminfo: memFree=1560312/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47788 CPUtime=332.65
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11815 0 0 0 33182 83 0 0 25 0 1 0 177423861 48934912 11231 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519698 0 0 4096 0 0 0 0 17 1 0 0
/proc/29307/statm: 11947 11231 138 64 0 11262 0
Current children cumulated CPU time (s) 339.55
Current children cumulated vsize (KiB) 53140
[startup+402.815 s]
/proc/loadavg: 1.99 1.75 1.36 3/88 29307
/proc/meminfo: memFree=1560248/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47788 CPUtime=392.18
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11815 0 0 0 39134 84 0 0 25 0 1 0 177423861 48934912 11231 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4119766345 0 0 4096 0 0 0 0 17 1 0 0
/proc/29307/statm: 11947 11231 138 64 0 11262 0
Current children cumulated CPU time (s) 399.08
Current children cumulated vsize (KiB) 53140
[startup+462.889 s]
/proc/loadavg: 2.05 1.81 1.40 3/88 29307
/proc/meminfo: memFree=1560184/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47788 CPUtime=451.7
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11821 0 0 0 45086 84 0 0 25 0 1 0 177423861 48934912 11237 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554178 0 0 4096 0 0 0 0 17 1 0 0
/proc/29307/statm: 11947 11237 138 64 0 11262 0
Current children cumulated CPU time (s) 458.6
Current children cumulated vsize (KiB) 53140
[startup+522.944 s]
/proc/loadavg: 1.91 1.82 1.43 2/82 30684
/proc/meminfo: memFree=1572008/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47788 CPUtime=511.57
################
# More data... #
################
/proc/loadavg: 1.00 1.11 1.22 2/79 31390
/proc/meminfo: memFree=1618016/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47788 CPUtime=1112.04
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11821 0 0 0 111097 107 0 0 25 0 1 0 177423861 48934912 11237 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549715 0 0 4096 0 0 0 0 17 0 0 0
/proc/29307/statm: 11947 11237 138 64 0 11262 0
Current children cumulated CPU time (s) 1118.94
Current children cumulated vsize (KiB) 53140
[startup+1183.76 s]
/proc/loadavg: 1.00 1.09 1.20 2/79 31390
/proc/meminfo: memFree=1617952/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47788 CPUtime=1172.09
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11821 0 0 0 117102 107 0 0 25 0 1 0 177423861 48934912 11237 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519594 0 0 4096 0 0 0 0 17 0 0 0
/proc/29307/statm: 11947 11237 138 64 0 11262 0
Current children cumulated CPU time (s) 1178.99
Current children cumulated vsize (KiB) 53140
[startup+1243.84 s]
/proc/loadavg: 1.00 1.07 1.19 2/79 31390
/proc/meminfo: memFree=1617888/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47788 CPUtime=1232.15
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11821 0 0 0 123108 107 0 0 25 0 1 0 177423861 48934912 11237 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549733 0 0 4096 0 0 0 0 17 0 0 0
/proc/29307/statm: 11947 11237 138 64 0 11262 0
Current children cumulated CPU time (s) 1239.05
Current children cumulated vsize (KiB) 53140
[startup+1303.93 s]
/proc/loadavg: 1.03 1.07 1.18 2/79 31390
/proc/meminfo: memFree=1617888/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47788 CPUtime=1292.22
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11821 0 0 0 129115 107 0 0 25 0 1 0 177423861 48934912 11237 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4118999920 0 0 4096 0 0 0 0 17 0 0 0
/proc/29307/statm: 11947 11237 138 64 0 11262 0
Current children cumulated CPU time (s) 1299.12
Current children cumulated vsize (KiB) 53140
[startup+1364.01 s]
/proc/loadavg: 1.01 1.05 1.16 2/79 31390
/proc/meminfo: memFree=1617824/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47788 CPUtime=1352.27
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11821 0 0 0 135120 107 0 0 25 0 1 0 177423861 48934912 11237 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134548923 0 0 4096 0 0 0 0 17 0 0 0
/proc/29307/statm: 11947 11237 138 64 0 11262 0
Current children cumulated CPU time (s) 1359.17
Current children cumulated vsize (KiB) 53140
[startup+1424.08 s]
/proc/loadavg: 1.00 1.04 1.15 2/79 31390
/proc/meminfo: memFree=1617824/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47788 CPUtime=1412.34
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11821 0 0 0 141126 108 0 0 25 0 1 0 177423861 48934912 11237 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549715 0 0 4096 0 0 0 0 17 0 0 0
/proc/29307/statm: 11947 11237 138 64 0 11262 0
Current children cumulated CPU time (s) 1419.24
Current children cumulated vsize (KiB) 53140
[startup+1484.16 s]
/proc/loadavg: 1.00 1.03 1.14 2/79 31390
/proc/meminfo: memFree=1617760/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47788 CPUtime=1472.39
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11821 0 0 0 147131 108 0 0 25 0 1 0 177423861 48934912 11237 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554209 0 0 4096 0 0 0 0 17 0 0 0
/proc/29307/statm: 11947 11237 138 64 0 11262 0
Current children cumulated CPU time (s) 1479.29
Current children cumulated vsize (KiB) 53140
[startup+1544.24 s]
/proc/loadavg: 1.00 1.02 1.13 2/79 31390
/proc/meminfo: memFree=1617632/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47788 CPUtime=1532.45
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11821 0 0 0 153137 108 0 0 25 0 1 0 177423861 48934912 11237 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549715 0 0 4096 0 0 0 0 17 0 0 0
/proc/29307/statm: 11947 11237 138 64 0 11262 0
Current children cumulated CPU time (s) 1539.35
Current children cumulated vsize (KiB) 53140
[startup+1604.32 s]
/proc/loadavg: 1.00 1.02 1.12 2/79 31390
/proc/meminfo: memFree=1617632/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47788 CPUtime=1592.51
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11821 0 0 0 159143 108 0 0 25 0 1 0 177423861 48934912 11237 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549015 0 0 4096 0 0 0 0 17 0 0 0
/proc/29307/statm: 11947 11237 138 64 0 11262 0
Current children cumulated CPU time (s) 1599.41
Current children cumulated vsize (KiB) 53140
[startup+1664.41 s]
/proc/loadavg: 1.00 1.01 1.11 2/79 31390
/proc/meminfo: memFree=1617504/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47788 CPUtime=1652.58
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11821 0 0 0 165150 108 0 0 25 0 1 0 177423861 48934912 11237 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134548929 0 0 4096 0 0 0 0 17 0 0 0
/proc/29307/statm: 11947 11237 138 64 0 11262 0
Current children cumulated CPU time (s) 1659.48
Current children cumulated vsize (KiB) 53140
[startup+1724.49 s]
/proc/loadavg: 1.00 1.01 1.09 2/79 31390
/proc/meminfo: memFree=1617440/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47788 CPUtime=1712.63
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11821 0 0 0 171155 108 0 0 25 0 1 0 177423861 48934912 11237 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549718 0 0 4096 0 0 0 0 17 0 0 0
/proc/29307/statm: 11947 11237 138 64 0 11262 0
Current children cumulated CPU time (s) 1719.53
Current children cumulated vsize (KiB) 53140
[startup+1784.57 s]
/proc/loadavg: 1.00 1.00 1.09 2/79 31390
/proc/meminfo: memFree=1617376/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47788 CPUtime=1772.7
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11821 0 0 0 177161 109 0 0 25 0 1 0 177423861 48934912 11237 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554146 0 0 4096 0 0 0 0 17 0 0 0
/proc/29307/statm: 11947 11237 138 64 0 11262 0
Current children cumulated CPU time (s) 1779.6
Current children cumulated vsize (KiB) 53140
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.08 s]
/proc/loadavg: 1.00 1.00 1.08 2/79 31390
/proc/meminfo: memFree=1617312/2055920 swapFree=4174172/4192956
[pid=29293] ppid=29291 vsize=5352 CPUtime=6.9
/proc/29293/stat : 29293 (solver2) S 29291 29293 25158 0 -1 4194304 397 38767 0 0 0 0 354 336 16 0 1 0 177423160 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29293/statm: 1338 242 203 169 0 49 0
[pid=29307] ppid=29293 vsize=47788 CPUtime=1793.2
/proc/29307/stat : 29307 (standalone) R 29293 29293 25158 0 -1 4194304 11821 0 0 0 179211 109 0 0 25 0 1 0 177423861 48934912 11237 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549718 0 0 4096 0 0 0 0 17 0 0 0
/proc/29307/statm: 11947 11237 138 64 0 11262 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 53140
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 29293 and gives childrusage.ru_utime.tv_sec=3 childrusage.ru_utime.tv_usec=543461 childrusage.ru_stime.tv_sec=3 childrusage.ru_stime.tv_usec=363488
CPU time returned by wait4() is 6.90695
while last known CPU time is 1800.1
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1805.09
CPU time (s): 1800.1
CPU user time (s): 1795.65
CPU system time (s): 4.45
CPU usage (%): 99.7236
Max. virtual memory (cumulated for all children) (KiB): 132644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.54346
system time used= 3.36349
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39164
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= 552
involuntary context switches= 651
runsolver used 1.9547 s user time and 4.86826 s system time
The end
Begin job on node15 on Mon Jan 8 21:04:43 UTC 2007
IDJOB= 201556
IDBENCH= 3770
FILE ID= node15/201556-1168290281
PBS_JOBID= 3501750
Free space on /tmp= 66297 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp13/fapp13-2000-5.xml
COMMAND LINE= /tmp/evaluation/201556-1168290281/solver2 /tmp/evaluation/201556-1168290281/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-201556-1168290281 -o ROOT/results/node15/solver-201556-1168290281 -C 1800 -M 900 /tmp/evaluation/201556-1168290281/solver2 /tmp/evaluation/201556-1168290281/unknown 1800
META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH= ffb4cc3cc68459b6d1c6c34b1a6e5ea5
RANDOM SEED= 176747588
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.276
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.276
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: 1626272 kB
Buffers: 26536 kB
Cached: 273324 kB
SwapCached: 5800 kB
Active: 284884 kB
Inactive: 91192 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1626272 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 38940 kB
Writeback: 0 kB
Mapped: 87272 kB
Slab: 38028 kB
Committed_AS: 5418664 kB
PageTables: 2472 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= 66301 MiB
End job on node15 on Mon Jan 8 21:34:48 UTC 2007