runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-239514-1168366717 -o ROOT/results/node13/solver-239514-1168366717 -C 1800 -M 900 /tmp/evaluation/239514-1168366717/solve /tmp/evaluation/239514-1168366717/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.99 2.00 2.00 3/87 4306
/proc/meminfo: memFree=1737352/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=18540 CPUtime=0
/proc/4305/stat : 4305 (runsolver) R 4303 4305 2335 0 -1 4194368 16 0 0 0 0 0 0 0 23 0 1 0 185067064 18984960 279 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 269757246759 0 0 4096 24578 0 0 0 17 1 0 0
/proc/4305/statm: 4635 279 244 17 0 2626 0
[startup+0.102312 s]
/proc/loadavg: 1.99 2.00 2.00 3/87 4306
/proc/meminfo: memFree=1737352/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.510367 s]
/proc/loadavg: 1.99 2.00 2.00 3/87 4306
/proc/meminfo: memFree=1737352/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+1.33148 s]
/proc/loadavg: 1.99 2.00 2.00 3/89 4309
/proc/meminfo: memFree=1712120/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
[pid=4308] ppid=4305 vsize=30584 CPUtime=1.29
/proc/4308/stat : 4308 (xlisp) R 4305 4305 2335 0 -1 4194304 7156 0 0 0 126 3 0 0 25 0 1 0 185067066 31318016 7115 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684588 0 0 4096 130 0 0 0 17 1 0 0
/proc/4308/statm: 7646 7115 241 197 0 6886 0
[pid=4309] ppid=4305 vsize=2600 CPUtime=0
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 38536
[startup+2.9787 s]
/proc/loadavg: 1.99 2.00 2.00 3/89 4309
/proc/meminfo: memFree=1697208/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
[pid=4308] ppid=4305 vsize=50488 CPUtime=2.93
/proc/4308/stat : 4308 (xlisp) R 4305 4305 2335 0 -1 4194304 12143 0 0 0 287 6 0 0 25 0 1 0 185067066 51699712 12102 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683956 0 0 4096 130 0 0 0 17 1 0 0
/proc/4308/statm: 12622 12102 241 197 0 11862 0
[pid=4309] ppid=4305 vsize=2600 CPUtime=0
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 58440
[startup+6.27514 s]
/proc/loadavg: 1.99 2.00 2.00 3/89 4309
/proc/meminfo: memFree=1673976/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
[pid=4308] ppid=4305 vsize=67188 CPUtime=6.2
/proc/4308/stat : 4308 (xlisp) R 4305 4305 2335 0 -1 4194304 16305 0 0 0 612 8 0 0 25 0 1 0 185067066 68800512 16263 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684803 0 0 4096 130 0 0 0 17 1 0 0
/proc/4308/statm: 16797 16263 242 197 0 16037 0
[pid=4309] ppid=4305 vsize=2600 CPUtime=0
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 75140
[startup+12.754 s]
/proc/loadavg: 1.99 2.00 2.00 3/89 4309
/proc/meminfo: memFree=1668480/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
[pid=4308] ppid=4305 vsize=71544 CPUtime=12.62
/proc/4308/stat : 4308 (xlisp) R 4305 4305 2335 0 -1 4194304 17393 0 0 0 1253 9 0 0 25 0 1 0 185067066 73261056 17351 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684597 0 0 4096 130 0 0 0 17 1 0 0
/proc/4308/statm: 17886 17351 242 197 0 17126 0
[pid=4309] ppid=4305 vsize=2600 CPUtime=0
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 79496
[startup+25.5907 s]
/proc/loadavg: 1.99 2.00 2.00 3/89 4309
/proc/meminfo: memFree=1668544/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
[pid=4308] ppid=4305 vsize=71544 CPUtime=25.34
/proc/4308/stat : 4308 (xlisp) R 4305 4305 2335 0 -1 4194304 17393 0 0 0 2525 9 0 0 25 0 1 0 185067066 73261056 17351 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684591 0 0 4096 130 0 0 0 17 1 0 0
/proc/4308/statm: 17886 17351 242 197 0 17126 0
[pid=4309] ppid=4305 vsize=2600 CPUtime=0
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 79496
[startup+51.1911 s]
/proc/loadavg: 1.99 2.00 2.00 3/89 4309
/proc/meminfo: memFree=1668608/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
[pid=4308] ppid=4305 vsize=71544 CPUtime=50.7
/proc/4308/stat : 4308 (xlisp) R 4305 4305 2335 0 -1 4194304 17393 0 0 0 5061 9 0 0 25 0 1 0 185067066 73261056 17351 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684597 0 0 4096 130 0 0 0 17 1 0 0
/proc/4308/statm: 17886 17351 242 197 0 17126 0
[pid=4309] ppid=4305 vsize=2600 CPUtime=0
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 79496
[startup+102.468 s]
/proc/loadavg: 2.04 2.01 2.00 3/89 4311
/proc/meminfo: memFree=1668344/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
[pid=4308] ppid=4305 vsize=71544 CPUtime=101.51
/proc/4308/stat : 4308 (xlisp) R 4305 4305 2335 0 -1 4194304 17393 0 0 0 10142 9 0 0 25 0 1 0 185067066 73261056 17351 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683822 0 0 4096 130 0 0 0 17 1 0 0
/proc/4308/statm: 17886 17351 242 197 0 17126 0
[pid=4309] ppid=4305 vsize=2600 CPUtime=0
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 79496
[startup+162.481 s]
/proc/loadavg: 2.01 2.01 2.00 3/89 4311
/proc/meminfo: memFree=1664000/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
[pid=4308] ppid=4305 vsize=76056 CPUtime=160.97
/proc/4308/stat : 4308 (xlisp) R 4305 4305 2335 0 -1 4194304 76739 0 0 0 16057 40 0 0 25 0 1 0 185067066 77881344 18481 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684584 0 0 4096 130 0 0 0 17 1 0 0
/proc/4308/statm: 19014 18481 243 197 0 18254 0
[pid=4309] ppid=4305 vsize=2600 CPUtime=0
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 160.97
Current children cumulated vsize (KiB) 84008
[startup+222.502 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 4311
/proc/meminfo: memFree=1663936/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
[pid=4308] ppid=4305 vsize=76056 CPUtime=220.44
/proc/4308/stat : 4308 (xlisp) R 4305 4305 2335 0 -1 4194304 225726 0 0 0 21927 117 0 0 25 0 1 0 185067066 77881344 18481 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134677643 0 0 4096 130 0 0 0 17 1 0 0
/proc/4308/statm: 19014 18481 243 197 0 18254 0
[pid=4309] ppid=4305 vsize=2600 CPUtime=0
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 220.44
Current children cumulated vsize (KiB) 84008
[startup+282.518 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 4311
/proc/meminfo: memFree=1664640/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
[pid=4308] ppid=4305 vsize=76680 CPUtime=279.91
/proc/4308/stat : 4308 (xlisp) R 4305 4305 2335 0 -1 4194304 373346 0 0 0 27798 193 0 0 25 0 1 0 185067066 78520320 18646 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684572 0 0 4096 130 0 0 0 17 1 0 0
/proc/4308/statm: 19170 18646 243 197 0 18410 0
[pid=4309] ppid=4305 vsize=2600 CPUtime=0
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 279.91
Current children cumulated vsize (KiB) 84632
[startup+342.537 s]
/proc/loadavg: 2.08 2.02 2.01 3/89 4311
/proc/meminfo: memFree=1663232/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
[pid=4308] ppid=4305 vsize=76680 CPUtime=339.37
/proc/4308/stat : 4308 (xlisp) R 4305 4305 2335 0 -1 4194304 520418 0 0 0 33667 270 0 0 25 0 1 0 185067066 78520320 18646 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684588 0 0 4096 130 0 0 0 17 1 0 0
/proc/4308/statm: 19170 18646 243 197 0 18410 0
[pid=4309] ppid=4305 vsize=2600 CPUtime=0
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 339.37
Current children cumulated vsize (KiB) 84632
[startup+402.557 s]
################
# More data... #
################
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1231.41
Current children cumulated vsize (KiB) 84632
[startup+1302.84 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 4311
/proc/meminfo: memFree=1662592/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
[pid=4308] ppid=4305 vsize=76680 CPUtime=1290.88
/proc/4308/stat : 4308 (xlisp) R 4305 4305 2335 0 -1 4194304 2852888 0 0 0 127603 1485 0 0 25 0 1 0 185067066 78520320 18646 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134683822 0 0 4096 130 0 0 0 17 1 0 0
/proc/4308/statm: 19170 18646 243 197 0 18410 0
[pid=4309] ppid=4305 vsize=2600 CPUtime=0
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1290.88
Current children cumulated vsize (KiB) 84632
[startup+1362.86 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 4311
/proc/meminfo: memFree=1662528/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
[pid=4308] ppid=4305 vsize=76680 CPUtime=1350.36
/proc/4308/stat : 4308 (xlisp) R 4305 4305 2335 0 -1 4194304 2998428 0 0 0 133479 1557 0 0 25 0 1 0 185067066 78520320 18646 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684588 0 0 4096 130 0 0 0 17 1 0 0
/proc/4308/statm: 19170 18646 243 197 0 18410 0
[pid=4309] ppid=4305 vsize=2600 CPUtime=0
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1350.36
Current children cumulated vsize (KiB) 84632
[startup+1422.88 s]
/proc/loadavg: 2.10 2.03 2.01 3/89 4311
/proc/meminfo: memFree=1662464/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
[pid=4308] ppid=4305 vsize=76680 CPUtime=1409.83
/proc/4308/stat : 4308 (xlisp) R 4305 4305 2335 0 -1 4194304 3143968 0 0 0 139348 1635 0 0 25 0 1 0 185067066 78520320 18646 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684588 0 0 4096 130 0 0 0 17 1 0 0
/proc/4308/statm: 19170 18646 243 197 0 18410 0
[pid=4309] ppid=4305 vsize=2600 CPUtime=0
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1409.83
Current children cumulated vsize (KiB) 84632
[startup+1482.9 s]
/proc/loadavg: 2.03 2.02 2.00 3/89 4311
/proc/meminfo: memFree=1662464/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
[pid=4308] ppid=4305 vsize=76680 CPUtime=1469.29
/proc/4308/stat : 4308 (xlisp) R 4305 4305 2335 0 -1 4194304 3286444 0 0 0 145221 1708 0 0 25 0 1 0 185067066 78520320 18646 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684584 0 0 4096 130 0 0 0 17 1 0 0
/proc/4308/statm: 19170 18646 243 197 0 18410 0
[pid=4309] ppid=4305 vsize=2600 CPUtime=0
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1469.29
Current children cumulated vsize (KiB) 84632
[startup+1542.92 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 4311
/proc/meminfo: memFree=1662464/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
[pid=4308] ppid=4305 vsize=76680 CPUtime=1528.77
/proc/4308/stat : 4308 (xlisp) R 4305 4305 2335 0 -1 4194304 3428537 0 0 0 151096 1781 0 0 25 0 1 0 185067066 78520320 18646 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684588 0 0 4096 130 0 0 0 17 1 0 0
/proc/4308/statm: 19170 18646 243 197 0 18410 0
[pid=4309] ppid=4305 vsize=2600 CPUtime=0
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1528.77
Current children cumulated vsize (KiB) 84632
[startup+1602.94 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 4311
/proc/meminfo: memFree=1662400/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
[pid=4308] ppid=4305 vsize=76680 CPUtime=1588.23
/proc/4308/stat : 4308 (xlisp) R 4305 4305 2335 0 -1 4194304 3572162 0 0 0 156967 1856 0 0 25 0 1 0 185067066 78520320 18646 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134865587 0 0 4096 130 0 0 0 17 1 0 0
/proc/4308/statm: 19170 18646 243 197 0 18410 0
[pid=4309] ppid=4305 vsize=2600 CPUtime=0
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1588.23
Current children cumulated vsize (KiB) 84632
[startup+1662.96 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 4311
/proc/meminfo: memFree=1662400/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
[pid=4308] ppid=4305 vsize=76680 CPUtime=1647.7
/proc/4308/stat : 4308 (xlisp) R 4305 4305 2335 0 -1 4194304 3714255 0 0 0 162842 1928 0 0 25 0 1 0 185067066 78520320 18646 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134677671 0 0 4096 130 0 0 0 17 1 0 0
/proc/4308/statm: 19170 18646 243 197 0 18410 0
[pid=4309] ppid=4305 vsize=2600 CPUtime=0
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1647.7
Current children cumulated vsize (KiB) 84632
[startup+1723 s]
/proc/loadavg: 2.00 2.00 2.00 4/90 4400
/proc/meminfo: memFree=1672256/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
[pid=4308] ppid=4305 vsize=76680 CPUtime=1707.57
/proc/4308/stat : 4308 (xlisp) R 4305 4305 2335 0 -1 4194304 3860178 0 0 0 168751 2006 0 0 25 0 1 0 185067066 78520320 18646 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684137 0 0 4096 130 0 0 0 17 0 0 0
/proc/4308/statm: 19170 18646 243 197 0 18410 0
[pid=4309] ppid=4305 vsize=2600 CPUtime=0
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1707.57
Current children cumulated vsize (KiB) 84632
[startup+1783.05 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 4400
/proc/meminfo: memFree=1672256/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
[pid=4308] ppid=4305 vsize=76680 CPUtime=1767.54
/proc/4308/stat : 4308 (xlisp) R 4305 4305 2335 0 -1 4194304 4007633 0 0 0 174670 2084 0 0 25 0 1 0 185067066 78520320 18646 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684815 0 0 4096 130 0 0 0 17 0 0 0
/proc/4308/statm: 19170 18646 243 197 0 18410 0
[pid=4309] ppid=4305 vsize=2600 CPUtime=0
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1767.54
Current children cumulated vsize (KiB) 84632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.53 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 4400
/proc/meminfo: memFree=1672832/2055920 swapFree=4191880/4192956
[pid=4305] ppid=4303 vsize=5352 CPUtime=0
/proc/4305/stat : 4305 (solve) S 4303 4305 2335 0 -1 4194304 315 174 0 0 0 0 0 0 23 0 1 0 185067064 5480448 229 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4305/statm: 1338 229 192 169 0 49 0
[pid=4308] ppid=4305 vsize=76680 CPUtime=1800
/proc/4308/stat : 4308 (xlisp) R 4305 4305 2335 0 -1 4194304 4088063 0 0 0 177873 2127 0 0 25 0 1 0 185067066 78520320 18646 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684588 0 0 4096 130 0 0 0 17 0 0 0
/proc/4308/statm: 19170 18646 243 197 0 18410 0
[pid=4309] ppid=4305 vsize=2600 CPUtime=0
/proc/4309/stat : 4309 (sed) S 4305 4305 2335 0 -1 4194304 148 0 0 0 0 0 0 0 25 0 1 0 185067066 2662400 120 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 269757415506 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/4309/statm: 650 120 96 11 0 54 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 84632
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 4305 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=4999
CPU time returned by wait4() is 0.006998
while last known CPU time is 1800
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1815.55
CPU time (s): 1800
CPU user time (s): 1778.73
CPU system time (s): 21.27
CPU usage (%): 99.1438
Max. virtual memory (cumulated for all children) (KiB): 84632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001999
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 637
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= 21
involuntary context switches= 14
runsolver used 1.91471 s user time and 6.12107 s system time
The end
Begin job on node13 on Tue Jan 9 18:18:37 UTC 2007
IDJOB= 239514
IDBENCH= 7064
FILE ID= node13/239514-1168366717
PBS_JOBID= 3503764
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-25/qwh-25-235-8_ext.xml
COMMAND LINE= /tmp/evaluation/239514-1168366717/solve /tmp/evaluation/239514-1168366717/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node13/convwatcher-239514-1168366717 -o ROOT/results/node13/conversion-239514-1168366717 -C 600 -M 900 /tmp/evaluation/239514-1168366717/conversion /tmp/evaluation/239514-1168366717/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-239514-1168366717 -o ROOT/results/node13/solver-239514-1168366717 -C 1800 -M 900 /tmp/evaluation/239514-1168366717/solve /tmp/evaluation/239514-1168366717/unknown 1800
META MD5SUM SOLVER= 91bbaf997669a18b91ccd2f734d8d9ca
MD5SUM BENCH= fe8b9efabd586d8730353429d665bdcd
RANDOM SEED= 813991471
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.247
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.247
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: 1737832 kB
Buffers: 32652 kB
Cached: 169256 kB
SwapCached: 392 kB
Active: 186684 kB
Inactive: 71212 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1737832 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2800 kB
Writeback: 0 kB
Mapped: 74644 kB
Slab: 44748 kB
Committed_AS: 5194448 kB
PageTables: 2396 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= 66553 MiB
End job on node13 on Tue Jan 9 18:48:56 UTC 2007