runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-194353-1168099872 -o ROOT/results/node61/solver-194353-1168099872 -C 1800 -M 900 /tmp/evaluation/194353-1168099872/solver
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: 0.31 0.09 0.10 5/81 16518
/proc/meminfo: memFree=1243176/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) R 16515 16517 15874 0 -1 4194304 261 0 0 0 0 0 0 0 20 0 1 0 158386982 5480448 228 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406507167 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16517/statm: 1338 228 191 169 0 49 0
[pid=16519] ppid=16517 vsize=5352 CPUtime=0
/proc/16519/stat : 16519 (solver) R 16517 16517 15874 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 158386982 5480448 228 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406507167 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16519/statm: 1338 228 191 169 0 49 0
[startup+0.105148 s]
/proc/loadavg: 0.31 0.09 0.10 5/81 16518
/proc/meminfo: memFree=1243176/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.514222 s]
/proc/loadavg: 0.31 0.09 0.10 5/81 16518
/proc/meminfo: memFree=1243176/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+1.33537 s]
/proc/loadavg: 0.45 0.12 0.11 3/83 16521
/proc/meminfo: memFree=1237912/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=1.31
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1488 0 0 0 130 1 0 0 25 0 1 0 158386983 8151040 1447 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684815 0 0 4096 130 0 0 0 17 1 0 0
/proc/16520/statm: 1990 1447 244 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 15912
[startup+2.97265 s]
/proc/loadavg: 0.45 0.12 0.11 3/83 16521
/proc/meminfo: memFree=1237912/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=2.94
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1493 0 0 0 293 1 0 0 25 0 1 0 158386983 8151040 1452 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684597 0 0 4096 130 0 0 0 17 1 0 0
/proc/16520/statm: 1990 1452 244 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 15912
[startup+6.26623 s]
/proc/loadavg: 0.45 0.12 0.11 3/83 16521
/proc/meminfo: memFree=1237848/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=6.22
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1493 0 0 0 621 1 0 0 25 0 1 0 158386983 8151040 1452 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684597 0 0 4096 130 0 0 0 17 1 0 0
/proc/16520/statm: 1990 1452 244 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 15912
[startup+12.7364 s]
/proc/loadavg: 0.68 0.18 0.13 3/83 16521
/proc/meminfo: memFree=1237848/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=12.65
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1495 0 0 0 1263 2 0 0 25 0 1 0 158386983 8151040 1454 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134876908 0 0 4096 130 0 0 0 17 1 0 0
/proc/16520/statm: 1990 1454 244 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 15912
[startup+25.5846 s]
/proc/loadavg: 0.89 0.24 0.15 3/83 16521
/proc/meminfo: memFree=1237848/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=25.44
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1499 0 0 0 2541 3 0 0 25 0 1 0 158386983 8151040 1458 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684584 0 0 4096 130 0 0 0 17 1 0 0
/proc/16520/statm: 1990 1458 245 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 15912
[startup+51.2691 s]
/proc/loadavg: 1.32 0.40 0.20 3/83 16521
/proc/meminfo: memFree=1237912/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=51
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1504 0 0 0 5095 5 0 0 25 0 1 0 158386983 8151040 1463 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134752517 0 0 4096 130 0 0 0 17 1 0 0
/proc/16520/statm: 1990 1463 248 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 15912
[startup+102.537 s]
/proc/loadavg: 1.70 0.65 0.29 3/83 16521
/proc/meminfo: memFree=1237912/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=102.03
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1507 0 0 0 10194 9 0 0 25 0 1 0 158386983 8151040 1466 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134752668 0 0 4096 130 0 0 0 17 1 0 0
/proc/16520/statm: 1990 1466 248 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 15912
[startup+162.54 s]
/proc/loadavg: 2.03 0.94 0.41 3/83 16521
/proc/meminfo: memFree=1237912/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=161.74
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1507 0 0 0 16161 13 0 0 25 0 1 0 158386983 8151040 1466 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134904468 0 0 4096 130 0 0 0 17 1 0 0
/proc/16520/statm: 1990 1466 248 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 161.74
Current children cumulated vsize (KiB) 15912
[startup+222.64 s]
/proc/loadavg: 2.01 1.13 0.51 3/83 16521
/proc/meminfo: memFree=1237912/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=221.56
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1507 0 0 0 22137 19 0 0 25 0 1 0 158386983 8151040 1466 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684584 0 0 4096 130 0 0 0 17 1 0 0
/proc/16520/statm: 1990 1466 248 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 221.56
Current children cumulated vsize (KiB) 15912
[startup+282.649 s]
/proc/loadavg: 2.00 1.28 0.60 3/83 16521
/proc/meminfo: memFree=1237912/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=281.28
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1507 0 0 0 28104 24 0 0 25 0 1 0 158386983 8151040 1466 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684809 0 0 4096 130 0 0 0 17 1 0 0
/proc/16520/statm: 1990 1466 248 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 281.28
Current children cumulated vsize (KiB) 15912
[startup+342.651 s]
/proc/loadavg: 2.00 1.41 0.68 3/83 16521
/proc/meminfo: memFree=1237848/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=340.99
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1507 0 0 0 34070 29 0 0 25 0 1 0 158386983 8151040 1466 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134865228 0 0 4096 130 0 0 0 17 1 0 0
/proc/16520/statm: 1990 1466 248 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 340.99
################
# More data... #
################
[startup+1243.19 s]
/proc/loadavg: 2.00 1.96 1.48 3/83 16523
/proc/meminfo: memFree=1237720/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=1237.23
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1507 0 0 0 123625 98 0 0 25 0 1 0 158386983 8151040 1466 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134865047 0 0 4096 130 0 0 0 17 1 0 0
/proc/16520/statm: 1990 1466 248 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1237.23
Current children cumulated vsize (KiB) 15912
[startup+1303.2 s]
/proc/loadavg: 2.00 1.96 1.51 3/83 16523
/proc/meminfo: memFree=1237656/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=1296.95
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1507 0 0 0 129592 103 0 0 25 0 1 0 158386983 8151040 1466 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684890 0 0 4096 130 0 0 0 17 1 0 0
/proc/16520/statm: 1990 1466 248 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1296.95
Current children cumulated vsize (KiB) 15912
[startup+1363.2 s]
/proc/loadavg: 2.00 1.97 1.54 3/83 16523
/proc/meminfo: memFree=1237720/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=1356.67
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1507 0 0 0 135559 108 0 0 25 0 1 0 158386983 8151040 1466 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134878505 0 0 4096 130 0 0 0 17 1 0 0
/proc/16520/statm: 1990 1466 248 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1356.67
Current children cumulated vsize (KiB) 15912
[startup+1423.21 s]
/proc/loadavg: 2.00 1.97 1.56 3/83 16523
/proc/meminfo: memFree=1237720/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=1416.39
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1507 0 0 0 141525 114 0 0 25 0 1 0 158386983 8151040 1466 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134807945 0 0 4096 130 0 0 0 17 1 0 0
/proc/16520/statm: 1990 1466 248 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1416.39
Current children cumulated vsize (KiB) 15912
[startup+1483.21 s]
/proc/loadavg: 2.00 1.97 1.58 3/83 16523
/proc/meminfo: memFree=1237656/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=1476.11
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1507 0 0 0 147492 119 0 0 25 0 1 0 158386983 8151040 1466 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684803 0 0 4096 130 0 0 0 17 1 0 0
/proc/16520/statm: 1990 1466 248 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1476.11
Current children cumulated vsize (KiB) 15912
[startup+1543.31 s]
/proc/loadavg: 2.00 1.97 1.61 3/83 16523
/proc/meminfo: memFree=1237720/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=1535.92
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1507 0 0 0 153468 124 0 0 25 0 1 0 158386983 8151040 1466 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134870554 0 0 4096 130 0 0 0 17 1 0 0
/proc/16520/statm: 1990 1466 248 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1535.92
Current children cumulated vsize (KiB) 15912
[startup+1603.32 s]
/proc/loadavg: 2.00 1.97 1.63 3/83 16523
/proc/meminfo: memFree=1237656/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=1595.64
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1507 0 0 0 159436 128 0 0 25 0 1 0 158386983 8151040 1466 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684584 0 0 4096 130 0 0 0 17 1 0 0
/proc/16520/statm: 1990 1466 248 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1595.64
Current children cumulated vsize (KiB) 15912
[startup+1663.32 s]
/proc/loadavg: 2.08 1.99 1.66 3/83 16523
/proc/meminfo: memFree=1237656/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=1655.36
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1507 0 0 0 165403 133 0 0 25 0 1 0 158386983 8151040 1466 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684591 0 0 4096 130 0 0 0 17 1 0 0
/proc/16520/statm: 1990 1466 248 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1655.36
Current children cumulated vsize (KiB) 15912
[startup+1723.33 s]
/proc/loadavg: 2.03 1.99 1.67 3/83 16523
/proc/meminfo: memFree=1237656/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=1715.08
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1507 0 0 0 171370 138 0 0 25 0 1 0 158386983 8151040 1466 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134904495 0 0 4096 130 0 0 0 17 1 0 0
/proc/16520/statm: 1990 1466 248 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1715.08
Current children cumulated vsize (KiB) 15912
[startup+1783.33 s]
/proc/loadavg: 2.01 1.99 1.69 3/83 16523
/proc/meminfo: memFree=1237656/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=1774.79
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1507 0 0 0 177336 143 0 0 25 0 1 0 158386983 8151040 1466 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684815 0 0 4096 130 0 0 0 17 1 0 0
/proc/16520/statm: 1990 1466 248 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1774.79
Current children cumulated vsize (KiB) 15912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.7 s]
/proc/loadavg: 1.85 1.95 1.69 2/70 16534
/proc/meminfo: memFree=1250112/2055920 swapFree=4192812/4192956
[pid=16517] ppid=16515 vsize=5352 CPUtime=0
/proc/16517/stat : 16517 (solver) S 16515 16517 15874 0 -1 4194304 313 174 0 0 0 0 0 0 20 0 1 0 158386982 5480448 229 18446744073709551615 4194304 4889804 548682069392 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16517/statm: 1338 229 192 169 0 49 0
[pid=16520] ppid=16517 vsize=7960 CPUtime=1800.08
/proc/16520/stat : 16520 (xlisp) R 16517 16517 15874 0 -1 4194304 1507 0 0 0 179862 146 0 0 25 0 1 0 158386983 8151040 1466 18446744073709551615 134512640 135322396 4294956848 18446744073709551615 134684920 0 0 4096 130 0 0 0 17 0 0 0
/proc/16520/statm: 1990 1466 248 197 0 1230 0
[pid=16521] ppid=16517 vsize=2600 CPUtime=0
/proc/16521/stat : 16521 (sed) S 16517 16517 15874 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 158386983 2662400 119 18446744073709551615 4194304 4240196 548682069504 18446744073709551615 246406676562 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/16521/statm: 650 119 96 11 0 54 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 15912
Sending SIGTERM to process tree (bottom up)
Child status: 143
Real time (s): 1808.71
CPU time (s): 1800.09
CPU user time (s): 1798.63
CPU system time (s): 1.46678
CPU usage (%): 99.5238
Max. virtual memory (cumulated for all children) (KiB): 15912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.63
system time used= 1.46678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2156
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= 37
involuntary context switches= 19815
runsolver used 1.9477 s user time and 6.05808 s system time
The end
Begin job on node61 on Sat Jan 6 16:11:15 UTC 2007
IDJOB= 194353
IDBENCH= 3210
FILE ID= node61/194353-1168099872
PBS_JOBID= 3477276
Free space on /tmp= 66511 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-49_ext.xml
COMMAND LINE= /tmp/evaluation/194353-1168099872/solver
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node61/convwatcher-194353-1168099872 -o ROOT/results/node61/conversion-194353-1168099872 -C 600 -M 900 /tmp/evaluation/194353-1168099872/conversion /tmp/evaluation/194353-1168099872/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-194353-1168099872 -o ROOT/results/node61/solver-194353-1168099872 -C 1800 -M 900 /tmp/evaluation/194353-1168099872/solver
META MD5SUM SOLVER= b57068d1450403a75f014042200261c5
MD5SUM BENCH= 8e9364a8312392aba5edf6899f972d6b
RANDOM SEED= 348668542
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.259
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.259
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: 1243592 kB
Buffers: 54088 kB
Cached: 641144 kB
SwapCached: 0 kB
Active: 165264 kB
Inactive: 562188 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1243592 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2312 kB
Writeback: 0 kB
Mapped: 49968 kB
Slab: 70196 kB
Committed_AS: 3185184 kB
PageTables: 1848 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= 66510 MiB
End job on node61 on Sat Jan 6 16:41:49 UTC 2007