0.18 c
0.18 c Parsing xml file
0.18 c domains............... 0
0.19 c variables............. 0.15
0.33 c predicates............ 13.5
13.97 c constraints........... 4.35
18.36 c Allocating memory
18.36 c
18.36 c time limit = -1
18.36 c heuristic = dom/wdeg
18.36 c restart policy = No restart
18.36 c
18.36 c Solving
18.36 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-215909-1168237382 -o ROOT/results/node12/solver-215909-1168237382 -C 1800 -M 900 /tmp/evaluation/215909-1168237382/mistral/bin/solver /tmp/evaluation/215909-1168237382/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.10 2.39 2.48 5/88 18898
/proc/meminfo: memFree=1878584/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=540 CPUtime=0
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 41 0 0 0 0 0 0 0 19 0 1 0 172133283 552960 26 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 9696036 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/18897/statm: 135 26 21 92 0 18 0
[startup+0.104857 s]
/proc/loadavg: 2.10 2.39 2.48 5/88 18898
/proc/meminfo: memFree=1878584/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=6792 CPUtime=0
/proc/18897/stat : 18897 (solver) D 18895 18897 18653 0 -1 4194304 130 0 8 0 0 0 0 0 18 0 1 0 172133283 6955008 120 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 9659584 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/18897/statm: 1698 120 103 92 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6792
[startup+0.51593 s]
/proc/loadavg: 2.10 2.39 2.48 5/88 18898
/proc/meminfo: memFree=1878584/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=9344 CPUtime=0.33
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 1380 0 29 0 32 1 0 0 20 0 1 0 172133283 9568256 1377 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 10130009 0 0 4096 0 0 0 0 17 1 0 0
/proc/18897/statm: 2336 1377 699 92 0 680 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 9344
[startup+1.34008 s]
/proc/loadavg: 2.10 2.39 2.48 3/88 18898
/proc/meminfo: memFree=1868280/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=12360 CPUtime=1.14
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 2130 0 29 0 113 1 0 0 25 0 1 0 172133283 12656640 2127 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4156332555 0 0 4096 0 0 0 0 17 1 0 0
/proc/18897/statm: 3090 2127 699 92 0 1434 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 12360
[startup+2.97737 s]
/proc/loadavg: 2.10 2.39 2.48 3/88 18898
/proc/meminfo: memFree=1867192/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=12892 CPUtime=2.76
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 2264 0 29 0 275 1 0 0 25 0 1 0 172133283 13201408 2261 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4156330683 0 0 4096 0 0 0 0 17 1 0 0
/proc/18897/statm: 3223 2261 699 92 0 1567 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 12892
[startup+6.26096 s]
/proc/loadavg: 2.09 2.38 2.48 3/88 18898
/proc/meminfo: memFree=1863544/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=16488 CPUtime=6
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 3159 0 29 0 599 1 0 0 25 0 1 0 172133283 16883712 3156 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134573131 0 0 4096 0 0 0 0 17 1 0 0
/proc/18897/statm: 4122 3156 699 92 0 2466 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 16488
[startup+12.7211 s]
/proc/loadavg: 2.08 2.38 2.48 3/88 18898
/proc/meminfo: memFree=1859576/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=21692 CPUtime=12.41
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 4470 0 29 0 1239 2 0 0 25 0 1 0 172133283 22212608 4467 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 10163164 0 0 4096 0 0 0 0 17 1 0 0
/proc/18897/statm: 5423 4467 699 92 0 3767 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 21692
[startup+25.5356 s]
/proc/loadavg: 2.06 2.36 2.47 3/88 18898
/proc/meminfo: memFree=1851960/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28460 CPUtime=25.11
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6169 0 29 0 2508 3 0 0 25 0 1 0 172133283 29143040 6166 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 1 0 0
/proc/18897/statm: 7115 6166 721 92 0 5459 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 28460
[startup+51.177 s]
/proc/loadavg: 2.04 2.33 2.45 3/88 18898
/proc/meminfo: memFree=1852088/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28460 CPUtime=50.51
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6169 0 29 0 5047 4 0 0 25 0 1 0 172133283 29143040 6166 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 1 0 0
/proc/18897/statm: 7115 6166 721 92 0 5459 0
Current children cumulated CPU time (s) 50.51
Current children cumulated vsize (KiB) 28460
[startup+102.446 s]
/proc/loadavg: 2.02 2.28 2.43 3/88 18898
/proc/meminfo: memFree=1852152/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28460 CPUtime=101.33
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6169 0 29 0 10129 4 0 0 25 0 1 0 172133283 29143040 6166 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637816 0 0 4096 0 0 0 0 17 1 0 0
/proc/18897/statm: 7115 6166 721 92 0 5459 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 28460
[startup+162.45 s]
/proc/loadavg: 2.00 2.22 2.40 3/88 18898
/proc/meminfo: memFree=1852152/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28460 CPUtime=160.82
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6169 0 29 0 16077 5 0 0 25 0 1 0 172133283 29143040 6166 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710465 0 0 4096 0 0 0 0 17 1 0 0
/proc/18897/statm: 7115 6166 721 92 0 5459 0
Current children cumulated CPU time (s) 160.82
Current children cumulated vsize (KiB) 28460
[startup+222.494 s]
/proc/loadavg: 2.00 2.18 2.37 3/89 18899
/proc/meminfo: memFree=1852016/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28464 CPUtime=220.31
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6170 0 29 0 22026 5 0 0 25 0 1 0 172133283 29147136 6167 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708945 0 0 4096 0 0 0 0 17 1 0 0
/proc/18897/statm: 7116 6167 721 92 0 5460 0
Current children cumulated CPU time (s) 220.31
Current children cumulated vsize (KiB) 28464
[startup+282.585 s]
/proc/loadavg: 2.00 2.14 2.35 3/89 18899
/proc/meminfo: memFree=1851952/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28508 CPUtime=279.9
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6181 0 29 0 27984 6 0 0 25 0 1 0 172133283 29192192 6178 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710465 0 0 4096 0 0 0 0 17 1 0 0
/proc/18897/statm: 7127 6178 721 92 0 5471 0
Current children cumulated CPU time (s) 279.9
Current children cumulated vsize (KiB) 28508
[startup+342.664 s]
/proc/loadavg: 2.00 2.12 2.32 3/89 18899
/proc/meminfo: memFree=1851832/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28536 CPUtime=339.49
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6188 0 29 0 33943 6 0 0 25 0 1 0 172133283 29220864 6185 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722032 0 0 4096 0 0 0 0 17 1 0 0
/proc/18897/statm: 7134 6185 721 92 0 5478 0
Current children cumulated CPU time (s) 339.49
Current children cumulated vsize (KiB) 28536
[startup+402.746 s]
/proc/loadavg: 2.00 2.09 2.30 3/89 18899
/proc/meminfo: memFree=1851832/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28536 CPUtime=399.13
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6188 0 29 0 39906 7 0 0 25 0 1 0 172133283 29220864 6185 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710465 0 0 4096 0 0 0 0 17 1 0 0
/proc/18897/statm: 7134 6185 721 92 0 5478 0
Current children cumulated CPU time (s) 399.13
Current children cumulated vsize (KiB) 28536
[startup+462.819 s]
/proc/loadavg: 2.00 2.07 2.27 3/89 18899
/proc/meminfo: memFree=1851768/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28536 CPUtime=458.75
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6188 0 29 0 45868 7 0 0 25 0 1 0 172133283 29220864 6185 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710452 0 0 4096 0 0 0 0 17 1 0 0
/proc/18897/statm: 7134 6185 721 92 0 5478 0
Current children cumulated CPU time (s) 458.75
Current children cumulated vsize (KiB) 28536
[startup+522.877 s]
/proc/loadavg: 2.03 2.07 2.26 3/89 18899
/proc/meminfo: memFree=1851640/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28536 CPUtime=518.36
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6188 0 29 0 51829 7 0 0 25 0 1 0 172133283 29220864 6185 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710483 0 0 4096 0 0 0 0 17 1 0 0
/proc/18897/statm: 7134 6185 721 92 0 5478 0
Current children cumulated CPU time (s) 518.36
Current children cumulated vsize (KiB) 28536
[startup+582.972 s]
/proc/loadavg: 2.01 2.06 2.24 3/89 18899
/proc/meminfo: memFree=1851512/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28536 CPUtime=577.99
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6188 0 29 0 57792 7 0 0 25 0 1 0 172133283 29220864 6185 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710113 0 0 4096 0 0 0 0 17 1 0 0
/proc/18897/statm: 7134 6185 721 92 0 5478 0
Current children cumulated CPU time (s) 577.99
Current children cumulated vsize (KiB) 28536
[startup+643.05 s]
/proc/loadavg: 2.00 2.04 2.22 3/86 19163
/proc/meminfo: memFree=1834504/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28536 CPUtime=637.68
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6188 0 29 0 63759 9 0 0 25 0 1 0 172133283 29220864 6185 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710162 0 0 4096 0 0 0 0 17 0 0 0
/proc/18897/statm: 7134 6185 721 92 0 5478 0
Current children cumulated CPU time (s) 637.68
Current children cumulated vsize (KiB) 28536
[startup+703.109 s]
/proc/loadavg: 2.00 2.03 2.21 3/86 19163
/proc/meminfo: memFree=1834648/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28536 CPUtime=697.69
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6188 0 29 0 69760 9 0 0 25 0 1 0 172133283 29220864 6185 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710162 0 0 4096 0 0 0 0 17 0 0 0
/proc/18897/statm: 7134 6185 721 92 0 5478 0
Current children cumulated CPU time (s) 697.69
Current children cumulated vsize (KiB) 28536
[startup+763.168 s]
/proc/loadavg: 2.00 2.02 2.19 3/86 19163
/proc/meminfo: memFree=1834648/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28536 CPUtime=757.7
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6188 0 29 0 75761 9 0 0 25 0 1 0 172133283 29220864 6185 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710132 0 0 4096 0 0 0 0 17 0 0 0
/proc/18897/statm: 7134 6185 721 92 0 5478 0
Current children cumulated CPU time (s) 757.7
Current children cumulated vsize (KiB) 28536
[startup+823.223 s]
/proc/loadavg: 2.00 2.02 2.18 3/86 19163
/proc/meminfo: memFree=1834648/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28536 CPUtime=817.69
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6188 0 29 0 81760 9 0 0 25 0 1 0 172133283 29220864 6185 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710130 0 0 4096 0 0 0 0 17 0 0 0
/proc/18897/statm: 7134 6185 721 92 0 5478 0
Current children cumulated CPU time (s) 817.69
Current children cumulated vsize (KiB) 28536
[startup+883.291 s]
/proc/loadavg: 2.00 2.01 2.16 3/86 19163
/proc/meminfo: memFree=1834584/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28536 CPUtime=877.67
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6188 0 29 0 87758 9 0 0 25 0 1 0 172133283 29220864 6185 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/18897/statm: 7134 6185 721 92 0 5478 0
Current children cumulated CPU time (s) 877.67
Current children cumulated vsize (KiB) 28536
[startup+943.356 s]
/proc/loadavg: 2.00 2.01 2.15 3/86 19163
/proc/meminfo: memFree=1834520/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28536 CPUtime=937.66
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6188 0 29 0 93757 9 0 0 25 0 1 0 172133283 29220864 6185 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710112 0 0 4096 0 0 0 0 17 0 0 0
/proc/18897/statm: 7134 6185 721 92 0 5478 0
Current children cumulated CPU time (s) 937.66
Current children cumulated vsize (KiB) 28536
[startup+1003.42 s]
/proc/loadavg: 2.05 2.02 2.15 3/86 19163
/proc/meminfo: memFree=1834456/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28536 CPUtime=997.67
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6188 0 29 0 99758 9 0 0 25 0 1 0 172133283 29220864 6185 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710471 0 0 4096 0 0 0 0 17 0 0 0
/proc/18897/statm: 7134 6185 721 92 0 5478 0
Current children cumulated CPU time (s) 997.67
Current children cumulated vsize (KiB) 28536
[startup+1063.48 s]
/proc/loadavg: 2.01 2.01 2.13 3/86 19163
/proc/meminfo: memFree=1834328/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28536 CPUtime=1057.64
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6188 0 29 0 105755 9 0 0 25 0 1 0 172133283 29220864 6185 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710132 0 0 4096 0 0 0 0 17 0 0 0
/proc/18897/statm: 7134 6185 721 92 0 5478 0
Current children cumulated CPU time (s) 1057.64
Current children cumulated vsize (KiB) 28536
[startup+1123.54 s]
/proc/loadavg: 2.04 2.02 2.13 3/86 19163
/proc/meminfo: memFree=1834328/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28536 CPUtime=1117.65
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6188 0 29 0 111756 9 0 0 25 0 1 0 172133283 29220864 6185 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710121 0 0 4096 0 0 0 0 17 0 0 0
/proc/18897/statm: 7134 6185 721 92 0 5478 0
Current children cumulated CPU time (s) 1117.65
Current children cumulated vsize (KiB) 28536
[startup+1183.6 s]
/proc/loadavg: 2.01 2.02 2.12 3/86 19163
/proc/meminfo: memFree=1834200/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28536 CPUtime=1177.65
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6188 0 29 0 117756 9 0 0 25 0 1 0 172133283 29220864 6185 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/18897/statm: 7134 6185 721 92 0 5478 0
Current children cumulated CPU time (s) 1177.65
Current children cumulated vsize (KiB) 28536
[startup+1243.66 s]
/proc/loadavg: 2.00 2.01 2.10 3/86 19163
/proc/meminfo: memFree=1834136/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28536 CPUtime=1237.63
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6188 0 29 0 123754 9 0 0 25 0 1 0 172133283 29220864 6185 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710465 0 0 4096 0 0 0 0 17 0 0 0
/proc/18897/statm: 7134 6185 721 92 0 5478 0
Current children cumulated CPU time (s) 1237.63
Current children cumulated vsize (KiB) 28536
[startup+1303.72 s]
/proc/loadavg: 2.00 2.00 2.09 3/86 19163
/proc/meminfo: memFree=1834008/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28560 CPUtime=1297.63
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6194 0 29 0 129754 9 0 0 25 0 1 0 172133283 29245440 6191 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710112 0 0 4096 0 0 0 0 17 0 0 0
/proc/18897/statm: 7140 6191 721 92 0 5484 0
Current children cumulated CPU time (s) 1297.63
Current children cumulated vsize (KiB) 28560
[startup+1363.78 s]
/proc/loadavg: 2.00 2.00 2.09 3/86 19163
/proc/meminfo: memFree=1833880/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28560 CPUtime=1357.65
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6194 0 29 0 135755 10 0 0 25 0 1 0 172133283 29245440 6191 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710432 0 0 4096 0 0 0 0 17 0 0 0
/proc/18897/statm: 7140 6191 721 92 0 5484 0
Current children cumulated CPU time (s) 1357.65
Current children cumulated vsize (KiB) 28560
[startup+1423.84 s]
/proc/loadavg: 2.00 2.00 2.08 3/86 19163
/proc/meminfo: memFree=1833816/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28560 CPUtime=1417.63
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6194 0 29 0 141753 10 0 0 25 0 1 0 172133283 29245440 6191 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/18897/statm: 7140 6191 721 92 0 5484 0
Current children cumulated CPU time (s) 1417.63
Current children cumulated vsize (KiB) 28560
[startup+1483.91 s]
/proc/loadavg: 2.00 2.00 2.07 3/86 19163
/proc/meminfo: memFree=1833752/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28560 CPUtime=1477.62
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6194 0 29 0 147752 10 0 0 25 0 1 0 172133283 29245440 6191 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710132 0 0 4096 0 0 0 0 17 0 0 0
/proc/18897/statm: 7140 6191 721 92 0 5484 0
Current children cumulated CPU time (s) 1477.62
Current children cumulated vsize (KiB) 28560
[startup+1543.96 s]
/proc/loadavg: 2.00 2.00 2.07 3/86 19163
/proc/meminfo: memFree=1833688/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28560 CPUtime=1537.63
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6194 0 29 0 153753 10 0 0 25 0 1 0 172133283 29245440 6191 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708950 0 0 4096 0 0 0 0 17 0 0 0
/proc/18897/statm: 7140 6191 721 92 0 5484 0
Current children cumulated CPU time (s) 1537.63
Current children cumulated vsize (KiB) 28560
[startup+1604.02 s]
/proc/loadavg: 2.00 2.00 2.06 3/86 19163
/proc/meminfo: memFree=1833624/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28560 CPUtime=1597.61
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6194 0 29 0 159751 10 0 0 25 0 1 0 172133283 29245440 6191 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710452 0 0 4096 0 0 0 0 17 0 0 0
/proc/18897/statm: 7140 6191 721 92 0 5484 0
Current children cumulated CPU time (s) 1597.61
Current children cumulated vsize (KiB) 28560
[startup+1664.08 s]
/proc/loadavg: 2.00 2.00 2.06 3/86 19163
/proc/meminfo: memFree=1833496/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28560 CPUtime=1657.61
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6194 0 29 0 165751 10 0 0 25 0 1 0 172133283 29245440 6191 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710432 0 0 4096 0 0 0 0 17 0 0 0
/proc/18897/statm: 7140 6191 721 92 0 5484 0
Current children cumulated CPU time (s) 1657.61
Current children cumulated vsize (KiB) 28560
[startup+1724.14 s]
/proc/loadavg: 2.06 2.02 2.06 3/86 19163
/proc/meminfo: memFree=1833432/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28560 CPUtime=1717.61
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6194 0 29 0 171751 10 0 0 25 0 1 0 172133283 29245440 6191 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708945 0 0 4096 0 0 0 0 17 0 0 0
/proc/18897/statm: 7140 6191 721 92 0 5484 0
Current children cumulated CPU time (s) 1717.61
Current children cumulated vsize (KiB) 28560
[startup+1784.21 s]
/proc/loadavg: 2.02 2.01 2.05 3/86 19163
/proc/meminfo: memFree=1833304/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28560 CPUtime=1777.6
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6194 0 29 0 177750 10 0 0 25 0 1 0 172133283 29245440 6191 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710118 0 0 4096 0 0 0 0 17 0 0 0
/proc/18897/statm: 7140 6191 721 92 0 5484 0
Current children cumulated CPU time (s) 1777.6
Current children cumulated vsize (KiB) 28560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.65 s]
/proc/loadavg: 2.01 2.01 2.05 3/86 19163
/proc/meminfo: memFree=1833304/2055920 swapFree=4160348/4192956
[pid=18897] ppid=18895 vsize=28576 CPUtime=1800.03
/proc/18897/stat : 18897 (solver) R 18895 18897 18653 0 -1 4194304 6198 0 29 0 179993 10 0 0 25 0 1 0 172133283 29261824 6195 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708945 0 0 4096 0 0 0 0 17 0 0 0
/proc/18897/statm: 7144 6195 721 92 0 5488 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 28576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1806.66
CPU time (s): 1800.05
CPU user time (s): 1799.94
CPU system time (s): 0.114982
CPU usage (%): 99.634
Max. virtual memory (cumulated for all children) (KiB): 28576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.114982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6198
page faults= 29
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47
involuntary context switches= 43625
runsolver used 1.69074 s user time and 4.86026 s system time
The end
Begin job on node12 on Mon Jan 8 06:23:02 UTC 2007
IDJOB= 215909
IDBENCH= 5037
FILE ID= node12/215909-1168237382
PBS_JOBID= 3481268
Free space on /tmp= 66321 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mps/mps-air05.xml
COMMAND LINE= /tmp/evaluation/215909-1168237382/mistral/bin/solver /tmp/evaluation/215909-1168237382/unknown.xml -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-215909-1168237382 -o ROOT/results/node12/solver-215909-1168237382 -C 1800 -M 900 /tmp/evaluation/215909-1168237382/mistral/bin/solver /tmp/evaluation/215909-1168237382/unknown.xml -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= bf65c1af4961a151c50df6446162927a
RANDOM SEED= 796918316
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.265
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.265
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: 1879000 kB
Buffers: 21252 kB
Cached: 60476 kB
SwapCached: 4972 kB
Active: 89304 kB
Inactive: 37448 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1879000 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 6432 kB
Writeback: 0 kB
Mapped: 55740 kB
Slab: 35084 kB
Committed_AS: 4969108 kB
PageTables: 2080 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= 66319 MiB
End job on node12 on Mon Jan 8 06:53:09 UTC 2007