1513.00
1513.00 s SATISFIABLE
1513.00 o 222
1513.00 v 15 14 8 11 0 15 4 15 14 14 15 14 15 5 15 15 15 10 15 14 14 15 12 15 11 12 10 14 0 7 15 11 14 15 14 7 14 13 15 15
1513.00 s SATISFIABLE
1513.00 o 223
1513.00 v 15 14 8 11 0 15 4 15 14 14 15 14 15 5 15 15 15 10 15 14 14 15 12 15 11 12 10 14 0 7 15 11 14 15 14 7 14 13 10 15
1513.00 s SATISFIABLE
1513.00 o 224
1513.00 v 15 14 8 11 0 15 4 15 14 14 15 14 15 3 15 15 15 10 15 14 14 15 12 15 11 12 10 14 0 7 15 11 14 15 14 7 14 13 10 15
1513.00 s SATISFIABLE
1513.00 o 225
1513.00 v 8 7 8 11 0 15 4 15 14 14 15 14 15 3 10 15 15 10 15 14 2 12 12 15 11 5 10 14 0 7 15 11 14 15 14 6 14 13 10 15
1513.00 s SATISFIABLE
1513.00 o 226
1513.00 v 8 7 8 11 0 15 4 15 14 14 15 14 15 3 10 15 15 10 15 11 2 12 15 15 1 5 10 14 0 3 15 11 14 15 14 6 14 13 10 15
1513.00 s SATISFIABLE
1513.00 o 227
1513.00 v 8 7 8 11 0 15 4 15 14 14 15 14 15 3 10 15 15 10 15 11 2 8 15 15 1 5 10 14 0 3 15 5 14 15 14 7 14 13 10 15
1513.00 s SATISFIABLE
1513.00 o 228
1513.00 v 8 7 8 11 0 15 4 15 14 14 15 14 15 3 10 15 15 10 15 11 2 8 15 15 15 5 10 12 0 3 15 5 14 15 14 7 14 13 10 15
1513.00 s SATISFIABLE
1513.00 o 229
1513.00 v 8 7 8 11 0 15 4 15 14 14 15 14 15 3 10 15 15 10 15 11 2 8 11 15 15 5 10 12 0 3 15 5 14 15 14 7 14 13 10 15
1513.00 s SATISFIABLE
1513.00 o 230
1513.00 v 8 7 8 11 0 15 4 15 14 14 15 14 15 3 10 15 15 6 15 11 2 8 11 6 15 5 10 12 14 3 15 3 14 15 14 7 14 13 10 15
1513.00 s SATISFIABLE
1513.00 o 231
1513.00 v 8 7 8 11 5 15 2 15 14 4 15 14 15 3 10 15 15 6 0 11 2 8 11 15 15 5 8 12 0 2 15 5 14 15 14 7 3 13 10 15
1513.00 s SATISFIABLE
1513.00 o 232
1513.00 v 8 7 8 11 14 15 2 15 14 11 13 14 15 3 10 15 15 4 0 11 7 8 11 15 15 4 8 12 0 2 15 5 14 15 14 7 13 13 10 15
1513.00 s SATISFIABLE
1513.00 o 233
1513.00 v 4 7 8 11 14 15 2 15 14 4 13 14 15 3 10 15 15 8 0 11 7 8 11 15 15 4 8 8 0 2 15 5 14 15 14 7 13 13 10 15
1513.00 s SATISFIABLE
1513.00 o 234
1513.00 v 8 7 8 11 14 15 2 15 14 11 0 14 15 15 10 15 15 8 0 11 14 8 11 6 15 5 8 4 14 3 15 3 14 15 14 9 3 13 10 15
1513.00 s SATISFIABLE
1513.00 o 235
1513.00 v 8 3 8 11 5 15 2 15 4 11 0 14 15 10 10 15 15 8 10 11 14 8 11 6 15 5 2 12 14 3 15 3 14 15 14 7 3 13 10 15
1513.00 s SATISFIABLE
1513.00 o 236
1513.00 v 8 7 0 11 12 15 10 15 14 11 5 14 15 10 10 15 15 10 4 11 5 8 11 6 15 11 10 12 14 2 15 12 14 15 14 9 3 13 10 15
1513.00 s SATISFIABLE
1513.00 o 237
1513.00 v 9 3 0 11 11 15 10 15 0 11 5 14 15 10 10 15 15 10 4 11 5 8 11 15 15 11 10 12 9 2 14 2 14 15 14 9 3 13 10 15
1513.00 s SATISFIABLE
1513.00 o 238
1513.00 v 9 3 6 11 12 15 10 15 0 11 5 14 15 10 10 15 15 10 4 11 5 8 11 15 15 11 10 12 11 2 10 2 14 15 14 9 3 13 10 15
1513.00 s SATISFIABLE
1513.00 o 239
1513.00 v 9 3 0 11 12 15 10 15 0 11 5 14 15 10 10 15 15 10 4 11 5 8 11 15 15 11 10 12 11 2 10 2 14 15 14 9 3 13 10 15
1513.00 s SATISFIABLE
1513.00 o 240
1513.00 v 8 11 0 11 11 15 10 15 14 15 5 14 15 8 10 15 15 10 4 11 10 8 11 13 15 11 2 1 11 3 12 12 14 15 12 14 13 13 13 15
1513.00 s SATISFIABLE
1513.00 o 241
1513.00 v 4 9 0 11 14 15 13 15 0 15 13 14 15 8 10 15 15 8 0 11 10 8 11 13 4 12 12 1 11 3 12 2 14 14 12 2 13 13 5 15
1513.00 s SATISFIABLE
1513.00 o 242
1513.00 v 8 7 8 11 14 15 9 15 10 15 13 14 15 8 10 15 15 8 0 11 10 8 11 4 4 7 12 1 14 3 12 2 14 14 11 2 13 13 13 15
1513.00 s SATISFIABLE
1513.00 o 243
1513.00 v 8 2 6 11 11 15 13 15 8 14 1 14 15 8 13 15 12 4 6 11 10 8 11 15 10 11 5 1 11 10 12 5 14 14 12 2 13 13 13 15
1513.00 s SATISFIABLE
1513.00 o 244
1513.00 v 5 10 8 11 14 15 9 15 10 4 13 14 15 10 7 15 6 8 0 15 10 10 11 4 15 7 12 11 14 2 12 2 9 11 11 2 9 13 7 15
1513.00 s SATISFIABLE
1513.00 o 245
1513.00 v 8 3 0 11 11 15 10 15 8 2 5 14 13 10 13 15 12 13 10 11 14 8 11 15 10 11 2 1 9 11 12 2 8 8 14 12 4 13 10 15
1513.00 s SATISFIABLE
1513.00 o 246
1513.00 v 5 10 8 11 14 15 9 15 10 15 13 14 11 8 8 15 15 8 0 15 10 10 6 6 6 7 12 3 14 2 12 2 9 14 11 2 9 13 7 15
1513.00 s SATISFIABLE
1513.00 o 247
1513.00 v 6 1 8 11 8 15 11 9 12 15 15 14 3 8 13 15 12 9 15 15 11 1 11 6 13 13 12 11 4 12 12 14 8 11 12 2 4 8 3 15
1513.00 s SATISFIABLE
1513.00 o 248
1513.00 v 5 2 7 11 12 15 11 13 15 5 6 7 10 8 2 15 12 8 11 14 13 10 12 6 14 3 14 1 14 1 5 14 4 1 6 10 2 13 11 13
1513.00 s SATISFIABLE
1513.00 o 249
1513.00 v 10 1 12 8 7 15 13 6 8 3 13 3 11 15 8 14 12 8 13 10 12 1 14 15 12 13 7 13 0 9 4 2 7 15 12 11 9 10 13 15
1513.00 o 249
1513.00 v 10 1 12 8 7 15 13 6 8 3 13 3 11 15 8 14 12 8 13 10 12 1 14 15 12 13 7 13 0 9 4 2 7 15 12 11 9 10 13 15
1513.00 s OPTIMUM FOUND
c
c
c
c conversion script
c
c
parsing "/tmp/evaluation/277126-1169257401/unknown.xml" file ... done.
writing "/tmp/evaluation/277126-1169257401/unknown.wcsp" file ... done.
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-277126-1169257401 -o ROOT/results/node13/solver-277126-1169257401 -C 2400 -M 900 /tmp/evaluation/277126-1169257401/aolibpvo /tmp/evaluation/277126-1169257401/unknown.wcsp
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.92 1.84 1.45 5/87 19555
/proc/meminfo: memFree=1132744/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=18540 CPUtime=0
/proc/19554/stat : 19554 (runsolver) R 19552 19554 19291 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 274135165 18984960 279 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 269757246759 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19554/statm: 4635 279 244 17 0 2626 0
[startup+0.108473 s]
/proc/loadavg: 1.92 1.84 1.45 5/87 19555
/proc/meminfo: memFree=1132744/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3940 CPUtime=0.09
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 623 0 0 0 9 0 0 0 20 0 1 0 274135165 4034560 604 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135741576 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 985 604 193 428 0 554 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3940
[startup+0.516524 s]
/proc/loadavg: 1.92 1.84 1.45 5/87 19555
/proc/meminfo: memFree=1132744/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=0.5
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 50 0 0 0 23 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647983 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 3944
[startup+1.33763 s]
/proc/loadavg: 1.92 1.84 1.45 3/87 19555
/proc/meminfo: memFree=1131016/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=1.32
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 132 0 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134611804 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 3944
[startup+2.97485 s]
/proc/loadavg: 1.92 1.84 1.45 3/87 19555
/proc/meminfo: memFree=1130952/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=2.95
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 295 0 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647967 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 3944
[startup+6.25429 s]
/proc/loadavg: 1.93 1.84 1.45 3/87 19555
/proc/meminfo: memFree=1130952/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=6.21
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 621 0 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134648000 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 3944
[startup+12.7182 s]
/proc/loadavg: 1.93 1.84 1.46 3/87 19555
/proc/meminfo: memFree=1130960/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=12.65
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 1265 0 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134645662 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 3944
[startup+25.5369 s]
/proc/loadavg: 1.95 1.85 1.46 3/87 19555
/proc/meminfo: memFree=1130960/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=25.42
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 2542 0 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134650691 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 3944
[startup+51.1723 s]
/proc/loadavg: 1.96 1.86 1.48 3/87 19555
/proc/meminfo: memFree=1131024/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=50.94
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 5094 0 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647990 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 3944
[startup+102.437 s]
/proc/loadavg: 1.98 1.88 1.50 3/87 19555
/proc/meminfo: memFree=1131024/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=102.01
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 10200 1 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134648043 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 3944
[startup+162.528 s]
/proc/loadavg: 2.10 1.93 1.54 3/87 19555
/proc/meminfo: memFree=1131088/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=161.85
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 16184 1 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134655825 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 161.85
Current children cumulated vsize (KiB) 3944
[startup+222.612 s]
/proc/loadavg: 2.03 1.94 1.56 3/87 19555
/proc/meminfo: memFree=1131088/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=221.7
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 22168 2 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647920 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 221.7
Current children cumulated vsize (KiB) 3944
[startup+282.696 s]
/proc/loadavg: 2.01 1.95 1.59 3/87 19555
/proc/meminfo: memFree=1131024/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=281.55
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 28152 3 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647983 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 281.55
Current children cumulated vsize (KiB) 3944
[startup+342.78 s]
/proc/loadavg: 2.00 1.95 1.61 3/87 19555
/proc/meminfo: memFree=1131088/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=341.37
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 34134 3 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647983 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 341.37
Current children cumulated vsize (KiB) 3944
[startup+402.87 s]
/proc/loadavg: 2.00 1.96 1.64 3/87 19555
/proc/meminfo: memFree=1131088/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=401.21
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 40117 4 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647860 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 401.21
Current children cumulated vsize (KiB) 3944
[startup+462.959 s]
/proc/loadavg: 2.00 1.96 1.65 3/87 19555
/proc/meminfo: memFree=1131024/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=461.03
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 46099 4 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134648039 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 461.03
Current children cumulated vsize (KiB) 3944
[startup+523.046 s]
/proc/loadavg: 2.03 1.98 1.68 3/87 19555
/proc/meminfo: memFree=1131088/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=520.87
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 52082 5 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134646350 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 520.87
Current children cumulated vsize (KiB) 3944
[startup+583.13 s]
/proc/loadavg: 2.01 1.98 1.70 3/87 19555
/proc/meminfo: memFree=1131024/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=580.69
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 58064 5 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647983 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 580.69
Current children cumulated vsize (KiB) 3944
[startup+643.219 s]
/proc/loadavg: 2.05 2.00 1.72 3/87 19555
/proc/meminfo: memFree=1131088/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=640.52
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 64046 6 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134655719 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 640.52
Current children cumulated vsize (KiB) 3944
[startup+703.302 s]
/proc/loadavg: 2.02 2.00 1.73 3/87 19555
/proc/meminfo: memFree=1131024/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=700.35
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 70028 7 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134646350 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 700.35
Current children cumulated vsize (KiB) 3944
[startup+763.384 s]
/proc/loadavg: 2.01 2.00 1.74 3/87 19555
/proc/meminfo: memFree=1131088/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=760.17
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 76010 7 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134612856 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 760.17
Current children cumulated vsize (KiB) 3944
[startup+823.473 s]
/proc/loadavg: 2.00 2.00 1.76 3/87 19555
/proc/meminfo: memFree=1131024/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=820
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 81992 8 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134648004 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 820
Current children cumulated vsize (KiB) 3944
[startup+883.56 s]
/proc/loadavg: 2.00 2.00 1.77 3/87 19555
/proc/meminfo: memFree=1131024/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=879.83
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 87975 8 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134646350 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 879.83
Current children cumulated vsize (KiB) 3944
[startup+943.646 s]
/proc/loadavg: 2.00 2.00 1.78 3/87 19555
/proc/meminfo: memFree=1131024/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=939.66
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 93957 9 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647970 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 939.66
Current children cumulated vsize (KiB) 3944
[startup+1003.74 s]
/proc/loadavg: 2.00 2.00 1.79 3/87 19555
/proc/meminfo: memFree=1131024/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=999.49
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 99940 9 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647983 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 999.49
Current children cumulated vsize (KiB) 3944
[startup+1063.83 s]
/proc/loadavg: 2.06 2.01 1.81 3/93 19619
/proc/meminfo: memFree=1129720/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=1059.26
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 105916 10 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134611847 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 1059.26
Current children cumulated vsize (KiB) 3944
[startup+1123.84 s]
/proc/loadavg: 2.02 2.01 1.82 3/93 19729
/proc/meminfo: memFree=1129744/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=1118.91
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 111881 10 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134650691 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 1118.91
Current children cumulated vsize (KiB) 3944
[startup+1183.94 s]
/proc/loadavg: 2.00 2.00 1.83 3/87 19753
/proc/meminfo: memFree=1130832/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=1178.71
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 117860 11 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134648004 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 1178.71
Current children cumulated vsize (KiB) 3944
[startup+1244.03 s]
/proc/loadavg: 2.00 2.00 1.83 3/87 19753
/proc/meminfo: memFree=1130832/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=1238.53
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 123842 11 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134611828 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 1238.53
Current children cumulated vsize (KiB) 3944
[startup+1304.12 s]
/proc/loadavg: 2.04 2.01 1.84 3/87 19753
/proc/meminfo: memFree=1130832/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=1298.36
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 129824 12 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134648031 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 1298.36
Current children cumulated vsize (KiB) 3944
[startup+1364.21 s]
/proc/loadavg: 2.01 2.01 1.85 3/87 19753
/proc/meminfo: memFree=1130832/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=1358.19
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 135807 12 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134645755 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 1358.19
Current children cumulated vsize (KiB) 3944
[startup+1424.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/87 19753
/proc/meminfo: memFree=1130832/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=1418.02
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 141789 13 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134926717 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 1418.02
Current children cumulated vsize (KiB) 3944
[startup+1484.38 s]
/proc/loadavg: 2.00 2.00 1.86 3/87 19753
/proc/meminfo: memFree=1130832/2055920 swapFree=4169400/4192956
[pid=19554] ppid=19552 vsize=3944 CPUtime=1477.85
/proc/19554/stat : 19554 (aolibpvo) R 19552 19554 19291 0 -1 0 630 0 0 0 147772 13 0 0 25 0 1 0 274135165 4038656 611 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134645763 0 0 4096 0 0 0 0 17 1 0 0
/proc/19554/statm: 986 611 199 428 0 555 0
Current children cumulated CPU time (s) 1477.85
Current children cumulated vsize (KiB) 3944
Child status: 0
Real time (s): 1513.01
CPU time (s): 1506.36
CPU user time (s): 1506.22
CPU system time (s): 0.141978
CPU usage (%): 99.561
Max. virtual memory (cumulated for all children) (KiB): 3944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1506.22
system time used= 0.141978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 635
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= 7
involuntary context switches= 17186
runsolver used 1.9587 s user time and 4.06838 s system time
The end
Begin job on node13 on Sat Jan 20 01:43:21 UTC 2007
IDJOB= 277126
IDBENCH= 6283
IDSOLVER= 60
FILE ID= node13/277126-1169257401
PBS_JOBID= 3607260
Free space on /tmp= 66560 MiB
SOLVER NAME= aolibpvo 2007-01-17
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-29_ext.xml
COMMAND LINE= /tmp/evaluation/277126-1169257401/aolibpvo /tmp/evaluation/277126-1169257401/unknown.wcsp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node13/convwatcher-277126-1169257401 -o ROOT/results/node13/conversion-277126-1169257401 -C 600 -M 900 python xcsp2wcsp.py /tmp/evaluation/277126-1169257401/unknown.xml
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-277126-1169257401 -o ROOT/results/node13/solver-277126-1169257401 -C 2400 -M 900 /tmp/evaluation/277126-1169257401/aolibpvo /tmp/evaluation/277126-1169257401/unknown.wcsp
META MD5SUM SOLVER= b8e99429ba4d9a99d2bd28d3d95367aa
MD5SUM BENCH= 62dea78fee4aa672a1b59404c260ab7e
RANDOM SEED= 366064043
TIME LIMIT= 2400 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: 1133160 kB
Buffers: 60208 kB
Cached: 523712 kB
SwapCached: 3124 kB
Active: 530648 kB
Inactive: 314276 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1133160 kB
SwapTotal: 4192956 kB
SwapFree: 4169400 kB
Dirty: 2516 kB
Writeback: 0 kB
Mapped: 269896 kB
Slab: 62044 kB
Committed_AS: 7919280 kB
PageTables: 2852 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= 66560 MiB
End job on node13 on Sat Jan 20 02:08:35 UTC 2007