0.20 c
0.20 c Parsing xml file
0.20 c domains............... 0
0.20 c variables............. 0.03
0.20 c predicates............ 0.01
0.20 c constraints........... 2.3
2.37 c Allocating memory
2.37 c
2.37 c time limit = -1
2.37 c heuristic = dom/wdeg
2.37 c restart policy = No restart
2.37 c
2.37 c Solving
2.37 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-211271-1168206665 -o ROOT/results/node3/solver-211271-1168206665 -C 1800 -M 900 /tmp/evaluation/211271-1168206665/mistral/bin/solver /tmp/evaluation/211271-1168206665/unknown.xml -v 1
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: 2.22 1.94 1.54 2/94 8666
/proc/meminfo: memFree=1400104/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=540 CPUtime=0
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 41 0 0 0 0 0 0 0 20 0 1 0 169062193 552960 26 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 10924836 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 135 26 21 92 0 18 0
[startup+0.103615 s]
/proc/loadavg: 2.22 1.94 1.54 2/94 8666
/proc/meminfo: memFree=1400104/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=8384 CPUtime=0.09
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 1175 0 0 0 9 0 0 0 18 0 1 0 169062193 8585216 1143 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4157911351 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 2096 1143 712 92 0 440 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8384
[startup+0.513676 s]
/proc/loadavg: 2.22 1.94 1.54 2/94 8666
/proc/meminfo: memFree=1400104/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=13280 CPUtime=0.5
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 2407 0 0 0 49 1 0 0 22 0 1 0 169062193 13598720 2375 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4158601729 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 3320 2375 712 92 0 1664 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13280
[startup+1.33481 s]
/proc/loadavg: 2.22 1.94 1.54 3/94 8666
/proc/meminfo: memFree=1380136/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=33144 CPUtime=1.31
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 7457 0 0 0 128 3 0 0 25 0 1 0 169062193 33939456 7284 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134572419 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 8286 7284 712 92 0 6630 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 33144
[startup+2.97209 s]
/proc/loadavg: 2.22 1.94 1.54 4/94 8666
/proc/meminfo: memFree=1344680/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110892 CPUtime=2.95
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26824 0 0 0 281 14 0 0 25 0 1 0 169062193 113553408 26267 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637813 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27723 26267 720 92 0 26067 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 110892
[startup+6.25862 s]
/proc/loadavg: 2.20 1.94 1.54 3/94 8666
/proc/meminfo: memFree=1297384/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110900 CPUtime=6.21
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26826 0 0 0 607 14 0 0 25 0 1 0 169062193 113561600 26269 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27725 26269 720 92 0 26069 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 110900
[startup+12.7217 s]
/proc/loadavg: 2.18 1.94 1.54 3/94 8666
/proc/meminfo: memFree=1297384/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=12.64
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 1250 14 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134799371 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 110928
[startup+25.5487 s]
/proc/loadavg: 2.22 1.96 1.56 3/94 8666
/proc/meminfo: memFree=1297384/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=25.41
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 2527 14 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134799388 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 110928
[startup+51.2049 s]
/proc/loadavg: 2.14 1.96 1.57 3/94 8666
/proc/meminfo: memFree=1297448/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=50.94
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 5079 15 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727341 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 110928
[startup+102.406 s]
/proc/loadavg: 2.06 1.97 1.59 4/94 8666
/proc/meminfo: memFree=1297448/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=101.9
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 10175 15 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134790146 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 110928
[startup+162.43 s]
/proc/loadavg: 2.02 1.97 1.61 3/94 8666
/proc/meminfo: memFree=1297448/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=161.63
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 16148 15 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 161.63
Current children cumulated vsize (KiB) 110928
[startup+222.46 s]
/proc/loadavg: 2.01 1.97 1.63 3/94 8666
/proc/meminfo: memFree=1297384/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=221.37
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 22122 15 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727362 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 221.37
Current children cumulated vsize (KiB) 110928
[startup+282.489 s]
/proc/loadavg: 2.04 1.99 1.66 3/94 8666
/proc/meminfo: memFree=1297128/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=281.12
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 28096 16 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727371 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 281.12
Current children cumulated vsize (KiB) 110928
[startup+342.523 s]
/proc/loadavg: 2.01 1.99 1.67 4/94 8666
/proc/meminfo: memFree=1297000/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=340.87
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 34071 16 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 340.87
Current children cumulated vsize (KiB) 110928
[startup+402.554 s]
/proc/loadavg: 2.00 1.99 1.69 3/94 8666
/proc/meminfo: memFree=1296872/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=400.61
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 40045 16 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727371 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 400.61
Current children cumulated vsize (KiB) 110928
[startup+462.585 s]
/proc/loadavg: 2.00 1.99 1.71 3/94 8666
/proc/meminfo: memFree=1296680/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=460.36
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 46019 17 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 460.36
Current children cumulated vsize (KiB) 110928
[startup+522.607 s]
/proc/loadavg: 2.00 1.99 1.73 3/94 8666
/proc/meminfo: memFree=1296552/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=520.1
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 51993 17 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134792827 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 520.1
Current children cumulated vsize (KiB) 110928
[startup+582.648 s]
/proc/loadavg: 2.00 1.99 1.74 3/94 8666
/proc/meminfo: memFree=1296424/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=579.84
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 57967 17 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134650426 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 579.84
Current children cumulated vsize (KiB) 110928
[startup+642.696 s]
/proc/loadavg: 2.00 1.99 1.75 3/100 8808
/proc/meminfo: memFree=1294968/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=639.47
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 63930 17 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134790149 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 639.47
Current children cumulated vsize (KiB) 110928
[startup+702.742 s]
/proc/loadavg: 2.00 1.99 1.76 3/94 8864
/proc/meminfo: memFree=1295848/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=699.17
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 69900 17 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 699.17
Current children cumulated vsize (KiB) 110928
[startup+762.769 s]
/proc/loadavg: 2.00 1.99 1.77 3/94 8864
/proc/meminfo: memFree=1295848/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=758.91
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 75874 17 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785547 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 758.91
Current children cumulated vsize (KiB) 110928
[startup+822.792 s]
/proc/loadavg: 2.00 1.99 1.79 3/94 8864
/proc/meminfo: memFree=1295848/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=818.65
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 81847 18 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 818.65
Current children cumulated vsize (KiB) 110928
[startup+882.822 s]
/proc/loadavg: 2.00 1.99 1.80 3/94 8864
/proc/meminfo: memFree=1295848/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=878.39
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 87821 18 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727371 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 878.39
Current children cumulated vsize (KiB) 110928
[startup+942.85 s]
/proc/loadavg: 2.00 1.99 1.81 3/94 8864
/proc/meminfo: memFree=1295848/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=938.13
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 93795 18 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134792838 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 938.13
Current children cumulated vsize (KiB) 110928
[startup+1002.88 s]
/proc/loadavg: 2.00 1.99 1.82 3/94 8864
/proc/meminfo: memFree=1295848/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=997.88
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 99769 19 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134790146 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 997.88
Current children cumulated vsize (KiB) 110928
[startup+1062.91 s]
/proc/loadavg: 2.00 1.99 1.83 3/94 8864
/proc/meminfo: memFree=1295848/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=1057.62
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 105743 19 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785572 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 1057.62
Current children cumulated vsize (KiB) 110928
[startup+1122.95 s]
/proc/loadavg: 2.00 1.99 1.83 3/94 8864
/proc/meminfo: memFree=1295784/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=1117.37
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 111718 19 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134793020 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 1117.37
Current children cumulated vsize (KiB) 110928
[startup+1182.97 s]
/proc/loadavg: 2.00 1.99 1.84 3/94 8864
/proc/meminfo: memFree=1295720/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=1177.11
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 117692 19 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 1177.11
Current children cumulated vsize (KiB) 110928
[startup+1243.07 s]
/proc/loadavg: 1.61 1.89 1.81 2/78 8881
/proc/meminfo: memFree=1430568/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=1237.04
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 123684 20 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727371 0 0 4096 0 0 0 0 17 0 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 1237.04
Current children cumulated vsize (KiB) 110928
[startup+1303.11 s]
/proc/loadavg: 1.22 1.73 1.76 2/78 8881
/proc/meminfo: memFree=1430632/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=1297.07
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 129687 20 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 0 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 1297.07
Current children cumulated vsize (KiB) 110928
[startup+1363.15 s]
/proc/loadavg: 1.08 1.59 1.71 2/78 8881
/proc/meminfo: memFree=1430632/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=1357.09
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 135689 20 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134650590 0 0 4096 0 0 0 0 17 0 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 1357.09
Current children cumulated vsize (KiB) 110928
[startup+1423.2 s]
/proc/loadavg: 1.03 1.48 1.66 2/78 8881
/proc/meminfo: memFree=1430632/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=1417.11
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 141691 20 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134715047 0 0 4096 0 0 0 0 17 0 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 1417.11
Current children cumulated vsize (KiB) 110928
[startup+1483.23 s]
/proc/loadavg: 1.01 1.39 1.62 2/78 8881
/proc/meminfo: memFree=1430632/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=1477.13
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 147693 20 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134651864 0 0 4096 0 0 0 0 17 0 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 1477.13
Current children cumulated vsize (KiB) 110928
[startup+1543.28 s]
/proc/loadavg: 1.00 1.32 1.58 2/78 8881
/proc/meminfo: memFree=1430696/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=1537.16
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 153695 21 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785549 0 0 4096 0 0 0 0 17 0 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 1537.16
Current children cumulated vsize (KiB) 110928
[startup+1603.32 s]
/proc/loadavg: 1.00 1.26 1.54 2/78 8883
/proc/meminfo: memFree=1430568/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=1597.18
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 159697 21 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134799371 0 0 4096 0 0 0 0 17 0 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 1597.18
Current children cumulated vsize (KiB) 110928
[startup+1663.37 s]
/proc/loadavg: 1.00 1.21 1.50 2/78 8883
/proc/meminfo: memFree=1430568/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=1657.21
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 165700 21 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134790149 0 0 4096 0 0 0 0 17 0 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 1657.21
Current children cumulated vsize (KiB) 110928
[startup+1723.41 s]
/proc/loadavg: 1.00 1.17 1.47 2/78 8883
/proc/meminfo: memFree=1430568/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=1717.24
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 171703 21 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134799371 0 0 4096 0 0 0 0 17 0 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 1717.24
Current children cumulated vsize (KiB) 110928
[startup+1783.45 s]
/proc/loadavg: 1.00 1.13 1.43 2/78 8883
/proc/meminfo: memFree=1430632/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=1777.25
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 177704 21 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134650435 0 0 4096 0 0 0 0 17 0 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 1777.25
Current children cumulated vsize (KiB) 110928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.3 s]
/proc/loadavg: 1.00 1.12 1.42 2/78 8883
/proc/meminfo: memFree=1430632/2055920 swapFree=4192812/4192956
[pid=8665] ppid=8663 vsize=110928 CPUtime=1800.1
/proc/8665/stat : 8665 (solver) R 8663 8665 7704 0 -1 4194304 26833 0 0 0 179989 21 0 0 25 0 1 0 169062193 113590272 26276 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134799416 0 0 4096 0 0 0 0 17 0 0 0
/proc/8665/statm: 27732 26276 720 92 0 26076 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 110928
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1806.33
CPU time (s): 1800.13
CPU user time (s): 1799.9
CPU system time (s): 0.232964
CPU usage (%): 99.6568
Max. virtual memory (cumulated for all children) (KiB): 110928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.232964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26833
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= 10
involuntary context switches= 62892
runsolver used 2.01969 s user time and 5.47017 s system time
The end
Begin job on node3 on Sun Jan 7 21:51:06 UTC 2007
IDJOB= 211271
IDBENCH= 4681
FILE ID= node3/211271-1168206665
PBS_JOBID= 3480562
Free space on /tmp= 66546 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ttp/data-8-3.xml
COMMAND LINE= /tmp/evaluation/211271-1168206665/mistral/bin/solver /tmp/evaluation/211271-1168206665/unknown.xml -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-211271-1168206665 -o ROOT/results/node3/solver-211271-1168206665 -C 1800 -M 900 /tmp/evaluation/211271-1168206665/mistral/bin/solver /tmp/evaluation/211271-1168206665/unknown.xml -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 4a6ed926c351140e8834a0ef1f973750
RANDOM SEED= 719489265
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.279
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.279
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: 1400520 kB
Buffers: 52532 kB
Cached: 360364 kB
SwapCached: 0 kB
Active: 315908 kB
Inactive: 277828 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1400520 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6044 kB
Writeback: 0 kB
Mapped: 207748 kB
Slab: 46396 kB
Committed_AS: 4637720 kB
PageTables: 2376 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= 66549 MiB
End job on node3 on Sun Jan 7 22:21:12 UTC 2007