0.01 c
0.01 c Parsing xml file
0.01 c domains............... 0
0.01 c variables............. 0.02
0.03 c predicates............ 0
0.03 c constraints........... 35.6
35.66 c Allocating memory
35.66 c
35.66 c time limit = -1
35.66 c heuristic = dom/wdeg
35.66 c restart policy = No restart
35.66 c
35.66 c Solving
35.66 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-245917-1168386765 -o ROOT/results/node10/solver-245917-1168386765 -C 1800 -M 900 /tmp/evaluation/245917-1168386765/mistral/bin/solver /tmp/evaluation/245917-1168386765/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: 1.01 1.06 0.90 2/78 2858
/proc/meminfo: memFree=1642320/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=6792 CPUtime=0
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 420 0 0 0 0 0 0 0 18 0 1 0 187071773 6955008 399 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 8874884 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 1698 399 362 92 0 30 0
[startup+0.102228 s]
/proc/loadavg: 1.01 1.06 0.90 2/78 2858
/proc/meminfo: memFree=1642320/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=7708 CPUtime=0.09
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 1020 0 0 0 9 0 0 0 18 0 1 0 187071773 7892992 988 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134720127 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 1927 988 708 92 0 271 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7708
[startup+0.510283 s]
/proc/loadavg: 1.01 1.06 0.90 2/78 2858
/proc/meminfo: memFree=1642320/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=9352 CPUtime=0.49
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 1408 0 0 0 49 0 0 0 21 0 1 0 187071773 9576448 1376 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 9340539 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 2338 1376 708 92 0 682 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9352
[startup+1.33039 s]
/proc/loadavg: 1.01 1.06 0.90 2/78 2858
/proc/meminfo: memFree=1637200/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=12688 CPUtime=1.32
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 2260 0 0 0 131 1 0 0 25 0 1 0 187071773 12992512 2195 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 9340539 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 3172 2195 708 92 0 1516 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 12688
[startup+2.97062 s]
/proc/loadavg: 1.01 1.06 0.90 2/78 2858
/proc/meminfo: memFree=1632720/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=19136 CPUtime=2.96
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 3952 0 0 0 292 4 0 0 25 0 1 0 187071773 19595264 3783 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4156461020 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 4784 3783 708 92 0 3128 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 19136
[startup+6.24706 s]
/proc/loadavg: 1.01 1.06 0.90 2/78 2858
/proc/meminfo: memFree=1620688/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=31852 CPUtime=6.23
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 7400 0 0 0 616 7 0 0 25 0 1 0 187071773 32616448 6919 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134604315 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 7963 6919 708 92 0 6307 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 31852
[startup+12.7029 s]
/proc/loadavg: 1.01 1.06 0.90 2/78 2858
/proc/meminfo: memFree=1595176/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=56740 CPUtime=12.69
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 14160 0 0 0 1258 11 0 0 25 0 1 0 187071773 58101760 13065 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 9340539 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 14185 13065 708 92 0 12529 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56740
[startup+25.5047 s]
/proc/loadavg: 1.01 1.06 0.90 2/78 2858
/proc/meminfo: memFree=1548456/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=105692 CPUtime=25.48
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 27433 0 0 0 2528 20 0 0 25 0 1 0 187071773 108228608 25129 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134575794 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 26423 25129 708 92 0 24767 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 105692
[startup+51.1221 s]
/proc/loadavg: 1.00 1.05 0.91 2/78 2858
/proc/meminfo: memFree=1354992/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299320 CPUtime=51.1
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75897 0 0 0 5068 42 0 0 25 0 1 0 187071773 306503680 72792 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785549 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74830 72792 716 92 0 73174 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 299320
[startup+102.342 s]
/proc/loadavg: 1.00 1.04 0.91 2/78 2858
/proc/meminfo: memFree=1355120/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299332 CPUtime=102.3
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75900 0 0 0 10188 42 0 0 25 0 1 0 187071773 306515968 72795 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727371 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74833 72795 716 92 0 73177 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 299332
[startup+162.377 s]
/proc/loadavg: 1.00 1.03 0.91 2/78 2858
/proc/meminfo: memFree=1355056/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=162.32
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 16189 43 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785549 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 299364
[startup+222.412 s]
/proc/loadavg: 1.07 1.04 0.91 2/78 2858
/proc/meminfo: memFree=1355056/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=222.33
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 22190 43 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 299364
[startup+282.442 s]
/proc/loadavg: 1.02 1.03 0.91 2/78 2858
/proc/meminfo: memFree=1355056/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=282.35
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 28191 44 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134655145 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (KiB) 299364
[startup+342.478 s]
/proc/loadavg: 1.01 1.02 0.91 2/78 2858
/proc/meminfo: memFree=1355056/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=342.37
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 34193 44 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134655145 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 342.37
Current children cumulated vsize (KiB) 299364
[startup+402.512 s]
/proc/loadavg: 1.00 1.02 0.91 2/78 2858
/proc/meminfo: memFree=1354992/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=402.39
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 40194 45 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134655145 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 402.39
Current children cumulated vsize (KiB) 299364
[startup+462.544 s]
/proc/loadavg: 1.00 1.01 0.91 2/78 2858
/proc/meminfo: memFree=1354992/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=462.4
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 46195 45 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708377 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 462.4
Current children cumulated vsize (KiB) 299364
[startup+522.591 s]
/proc/loadavg: 1.06 1.02 0.92 2/84 2974
/proc/meminfo: memFree=1353464/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=522.39
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 52192 47 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134640320 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 522.39
Current children cumulated vsize (KiB) 299364
[startup+582.65 s]
/proc/loadavg: 1.02 1.02 0.92 2/84 3034
/proc/meminfo: memFree=1353528/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=582.39
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 58192 47 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785549 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 582.39
Current children cumulated vsize (KiB) 299364
[startup+642.688 s]
/proc/loadavg: 1.00 1.01 0.92 2/78 3056
/proc/meminfo: memFree=1354416/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=642.4
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 64192 48 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 642.4
Current children cumulated vsize (KiB) 299364
[startup+702.717 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 3056
/proc/meminfo: memFree=1354416/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=702.41
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 70193 48 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785549 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 702.41
Current children cumulated vsize (KiB) 299364
[startup+762.749 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 3056
/proc/meminfo: memFree=1354416/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=762.43
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 76194 49 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722251 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 762.43
Current children cumulated vsize (KiB) 299364
[startup+822.786 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 3056
/proc/meminfo: memFree=1354416/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=822.45
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 82195 50 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785549 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 822.45
Current children cumulated vsize (KiB) 299364
[startup+882.817 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 3056
/proc/meminfo: memFree=1354416/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=882.45
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 88195 50 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134655145 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 882.45
Current children cumulated vsize (KiB) 299364
[startup+942.847 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 3056
/proc/meminfo: memFree=1354352/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=942.47
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 94196 51 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785549 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 942.47
Current children cumulated vsize (KiB) 299364
[startup+1002.88 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 3056
/proc/meminfo: memFree=1354288/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=1002.49
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 100197 52 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785549 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 1002.49
Current children cumulated vsize (KiB) 299364
[startup+1062.92 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 3056
/proc/meminfo: memFree=1354224/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=1062.51
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 106199 52 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 1062.51
Current children cumulated vsize (KiB) 299364
[startup+1122.95 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 3056
/proc/meminfo: memFree=1354160/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=1122.53
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 112200 53 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 1122.53
Current children cumulated vsize (KiB) 299364
[startup+1182.98 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 3056
/proc/meminfo: memFree=1354160/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=1182.53
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 118200 53 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 1182.53
Current children cumulated vsize (KiB) 299364
[startup+1243.01 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 3056
/proc/meminfo: memFree=1354096/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=1242.56
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 124202 54 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134655145 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 1242.56
Current children cumulated vsize (KiB) 299364
[startup+1303.05 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 3056
/proc/meminfo: memFree=1354032/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=1302.57
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 130203 54 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134655164 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 1302.57
Current children cumulated vsize (KiB) 299364
[startup+1363.08 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 3056
/proc/meminfo: memFree=1353968/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=1362.59
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 136204 55 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134655145 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 1362.59
Current children cumulated vsize (KiB) 299364
[startup+1423.12 s]
/proc/loadavg: 1.00 1.00 0.92 3/78 3056
/proc/meminfo: memFree=1353904/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=1422.6
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 142205 55 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 1422.6
Current children cumulated vsize (KiB) 299364
[startup+1483.16 s]
/proc/loadavg: 1.05 1.01 0.93 2/78 3056
/proc/meminfo: memFree=1353840/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=1482.63
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 148207 56 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 1482.63
Current children cumulated vsize (KiB) 299364
[startup+1543.19 s]
/proc/loadavg: 1.02 1.01 0.93 2/78 3056
/proc/meminfo: memFree=1353840/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=1542.64
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 154208 56 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134655145 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 1542.64
Current children cumulated vsize (KiB) 299364
[startup+1603.22 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 3056
/proc/meminfo: memFree=1353776/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=1602.66
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 160209 57 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134655143 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 1602.66
Current children cumulated vsize (KiB) 299364
[startup+1663.25 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 3058
/proc/meminfo: memFree=1353456/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=1662.67
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 166210 57 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708377 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 1662.67
Current children cumulated vsize (KiB) 299364
[startup+1723.29 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 3058
/proc/meminfo: memFree=1353456/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=1722.69
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 172211 58 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134785549 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 1722.69
Current children cumulated vsize (KiB) 299364
[startup+1783.32 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 3058
/proc/meminfo: memFree=1353456/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=1782.7
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 178212 58 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708368 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 1782.7
Current children cumulated vsize (KiB) 299364
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.63 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 3058
/proc/meminfo: memFree=1353456/2055920 swapFree=4178216/4192956
[pid=2857] ppid=2855 vsize=299364 CPUtime=1800.01
/proc/2857/stat : 2857 (solver) R 2855 2857 1302 0 -1 4194304 75908 0 0 0 179943 58 0 0 25 0 1 0 187071773 306548736 72803 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134655145 0 0 4096 0 0 0 0 17 1 0 0
/proc/2857/statm: 74841 72803 716 92 0 73185 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 299364
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.68
CPU time (s): 1800.07
CPU user time (s): 1799.44
CPU system time (s): 0.631903
CPU usage (%): 99.9659
Max. virtual memory (cumulated for all children) (KiB): 299364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.631903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75908
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= 11
involuntary context switches= 11258
runsolver used 1.65075 s user time and 4.75228 s system time
The end
Begin job on node10 on Tue Jan 9 23:52:46 UTC 2007
IDJOB= 245917
IDBENCH= 10312
FILE ID= node10/245917-1168386765
PBS_JOBID= 3522673
Free space on /tmp= 66496 MiB
BENCH NAME= HOME/pub/bench/CPAI06/largeQueens/queens-1000.xml
COMMAND LINE= /tmp/evaluation/245917-1168386765/mistral/bin/solver /tmp/evaluation/245917-1168386765/unknown.xml -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-245917-1168386765 -o ROOT/results/node10/solver-245917-1168386765 -C 1800 -M 900 /tmp/evaluation/245917-1168386765/mistral/bin/solver /tmp/evaluation/245917-1168386765/unknown.xml -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 24563206a3688bcf26d5cd66cbbda335
RANDOM SEED= 848771231
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.232
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.232
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: 1642736 kB
Buffers: 28836 kB
Cached: 301888 kB
SwapCached: 1864 kB
Active: 229152 kB
Inactive: 130556 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1642736 kB
SwapTotal: 4192956 kB
SwapFree: 4178216 kB
Dirty: 68808 kB
Writeback: 0 kB
Mapped: 38756 kB
Slab: 38936 kB
Committed_AS: 5640232 kB
PageTables: 1864 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= 66496 MiB
End job on node10 on Wed Jan 10 00:22:47 UTC 2007