0.01 c
0.01 c Parsing xml file
0.01 c domains............... 0.02
0.03 c variables............. 0.08
0.11 c predicates............ 0
0.11 c constraints........... 1.88
2.04 c Allocating memory
2.04 c
2.04 c time limit = -1
2.04 c heuristic = dom/wdeg
2.04 c restart policy = No restart
2.04 c
2.04 c Solving
2.04 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-201366-1168147259 -o ROOT/results/node56/solver-201366-1168147259 -C 1800 -M 900 /tmp/evaluation/201366-1168147259/mistral/bin/solver /tmp/evaluation/201366-1168147259/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.02 1.85 4/84 30682
/proc/meminfo: memFree=1467120/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=6792 CPUtime=0
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 421 0 0 0 0 0 0 0 18 0 1 0 163124106 6955008 400 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 9991198 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 1698 400 363 92 0 30 0
[startup+0.10809 s]
/proc/loadavg: 2.10 2.02 1.85 4/84 30682
/proc/meminfo: memFree=1467120/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=71648 CPUtime=0.1
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 7497 0 0 0 7 3 0 0 18 0 1 0 163124106 73367552 7465 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134805384 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 17912 7469 694 92 0 16256 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 71648
[startup+0.516125 s]
/proc/loadavg: 2.10 2.02 1.85 4/84 30682
/proc/meminfo: memFree=1467120/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=74440 CPUtime=0.5
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 8118 0 0 0 47 3 0 0 21 0 1 0 163124106 76226560 8086 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 10462843 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 18610 8086 708 92 0 16954 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 74440
[startup+1.3372 s]
/proc/loadavg: 2.10 2.02 1.85 3/84 30682
/proc/meminfo: memFree=1429872/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=78464 CPUtime=1.27
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 9132 0 0 0 124 3 0 0 25 0 1 0 163124106 80347136 9100 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 11094622 0 0 4096 0 0 0 0 17 0 0 0
/proc/30681/statm: 19616 9100 708 92 0 17960 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 78464
[startup+2.97436 s]
/proc/loadavg: 2.10 2.02 1.85 3/84 30682
/proc/meminfo: memFree=1418352/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=2.91
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 286 5 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710460 0 0 4096 0 0 0 0 17 0 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 89460
[startup+6.25868 s]
/proc/loadavg: 2.25 2.06 1.86 3/84 30682
/proc/meminfo: memFree=1401136/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=6.17
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 612 5 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711072 0 0 4096 0 0 0 0 17 0 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 89460
[startup+12.7333 s]
/proc/loadavg: 2.23 2.06 1.86 3/84 30682
/proc/meminfo: memFree=1390856/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=12.59
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 1254 5 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637236 0 0 4096 0 0 0 0 17 0 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 89460
[startup+25.5386 s]
/proc/loadavg: 2.18 2.05 1.86 3/84 30682
/proc/meminfo: memFree=1366024/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=25.26
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 2521 5 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722032 0 0 4096 0 0 0 0 17 0 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 89460
[startup+51.1581 s]
/proc/loadavg: 2.12 2.05 1.86 3/84 30682
/proc/meminfo: memFree=1312200/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=50.66
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 5061 5 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709326 0 0 4096 0 0 0 0 17 0 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 89460
[startup+102.409 s]
/proc/loadavg: 2.05 2.04 1.87 3/84 30682
/proc/meminfo: memFree=1212744/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=101.47
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 10142 5 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710273 0 0 4096 0 0 0 0 17 0 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 89460
[startup+162.443 s]
/proc/loadavg: 2.09 2.06 1.88 3/84 30682
/proc/meminfo: memFree=1096712/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=160.92
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 16087 5 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637120 0 0 4096 0 0 0 0 17 0 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 160.92
Current children cumulated vsize (KiB) 89460
[startup+222.465 s]
/proc/loadavg: 2.03 2.04 1.89 3/84 30682
/proc/meminfo: memFree=972232/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=220.61
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 22056 5 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711712 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 220.61
Current children cumulated vsize (KiB) 89460
[startup+282.547 s]
/proc/loadavg: 2.01 2.03 1.89 3/84 30682
/proc/meminfo: memFree=859016/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=280.45
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 28040 5 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711123 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 280.45
Current children cumulated vsize (KiB) 89460
[startup+342.638 s]
/proc/loadavg: 2.16 2.06 1.91 4/84 30682
/proc/meminfo: memFree=858824/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=340.29
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 34024 5 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708945 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 340.29
Current children cumulated vsize (KiB) 89460
[startup+402.728 s]
/proc/loadavg: 2.66 2.21 1.97 4/84 30682
/proc/meminfo: memFree=858760/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=400.11
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 40006 5 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711713 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 400.11
Current children cumulated vsize (KiB) 89460
[startup+462.761 s]
/proc/loadavg: 2.68 2.31 2.02 3/84 30682
/proc/meminfo: memFree=858824/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=459.61
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 45956 5 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 459.61
Current children cumulated vsize (KiB) 89460
[startup+522.812 s]
/proc/loadavg: 2.25 2.25 2.01 3/84 30682
/proc/meminfo: memFree=858888/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=519.12
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 51907 5 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709313 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 519.12
Current children cumulated vsize (KiB) 89460
[startup+582.826 s]
/proc/loadavg: 2.09 2.20 2.00 3/84 30682
/proc/meminfo: memFree=860616/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=578.6
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 57855 5 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812944 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 578.6
Current children cumulated vsize (KiB) 89460
[startup+642.87 s]
/proc/loadavg: 2.20 2.21 2.01 3/84 30682
/proc/meminfo: memFree=858952/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=638.11
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 63806 5 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 638.11
Current children cumulated vsize (KiB) 89460
[startup+702.888 s]
/proc/loadavg: 2.07 2.17 2.01 3/84 30682
/proc/meminfo: memFree=860616/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=697.62
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 69757 5 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 697.62
Current children cumulated vsize (KiB) 89460
[startup+762.915 s]
/proc/loadavg: 2.02 2.13 2.00 3/84 30682
/proc/meminfo: memFree=858952/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=757.15
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 75710 5 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 757.15
Current children cumulated vsize (KiB) 89460
[startup+822.936 s]
/proc/loadavg: 2.01 2.11 2.00 4/84 30682
/proc/meminfo: memFree=858888/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=816.65
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 81660 5 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708944 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 816.65
Current children cumulated vsize (KiB) 89460
[startup+883.001 s]
/proc/loadavg: 2.00 2.08 2.00 3/84 30682
/proc/meminfo: memFree=858952/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=876.19
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 87614 5 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 876.19
Current children cumulated vsize (KiB) 89460
[startup+943.005 s]
/proc/loadavg: 2.00 2.07 2.00 3/84 30682
/proc/meminfo: memFree=858888/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=935.67
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 93562 5 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 935.67
Current children cumulated vsize (KiB) 89460
[startup+1003.01 s]
/proc/loadavg: 2.00 2.05 2.00 3/84 30682
/proc/meminfo: memFree=858824/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=995.17
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 99511 6 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710452 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 995.17
Current children cumulated vsize (KiB) 89460
[startup+1063.03 s]
/proc/loadavg: 1.92 2.02 1.99 3/69 30701
/proc/meminfo: memFree=1599168/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=1054.68
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 105461 7 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134638378 0 0 4096 0 0 0 0 17 0 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 1054.68
Current children cumulated vsize (KiB) 89460
[startup+1123.03 s]
/proc/loadavg: 1.97 2.02 1.99 3/84 30734
/proc/meminfo: memFree=1302144/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=1114.11
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 111404 7 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708944 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 1114.11
Current children cumulated vsize (KiB) 89460
[startup+1183.05 s]
/proc/loadavg: 2.21 2.07 2.01 3/84 30734
/proc/meminfo: memFree=1150144/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=1173.61
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 117354 7 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 1173.61
Current children cumulated vsize (KiB) 89460
[startup+1243.15 s]
/proc/loadavg: 2.08 2.06 2.00 3/84 30734
/proc/meminfo: memFree=1008640/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=1233.45
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 123337 8 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 1233.45
Current children cumulated vsize (KiB) 89460
[startup+1303.16 s]
/proc/loadavg: 2.02 2.04 2.00 3/84 30734
/proc/meminfo: memFree=864960/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=1293.11
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 129303 8 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708953 0 0 4096 0 0 0 0 17 0 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 1293.11
Current children cumulated vsize (KiB) 89460
[startup+1363.25 s]
/proc/loadavg: 2.01 2.03 2.00 3/84 30734
/proc/meminfo: memFree=858752/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=1352.92
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 135284 8 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 1352.92
Current children cumulated vsize (KiB) 89460
[startup+1423.35 s]
/proc/loadavg: 2.33 2.12 2.03 4/84 30734
/proc/meminfo: memFree=856064/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=1413
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 141292 8 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708953 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 1413
Current children cumulated vsize (KiB) 89460
[startup+1483.38 s]
/proc/loadavg: 2.63 2.24 2.08 3/84 30734
/proc/meminfo: memFree=856064/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=1473
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 147292 8 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709312 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 1473
Current children cumulated vsize (KiB) 89460
[startup+1543.4 s]
/proc/loadavg: 2.23 2.20 2.07 3/84 30734
/proc/meminfo: memFree=856000/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=1533.01
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 153293 8 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637098 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 1533.01
Current children cumulated vsize (KiB) 89460
[startup+1603.44 s]
/proc/loadavg: 2.09 2.16 2.06 3/84 30734
/proc/meminfo: memFree=856064/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=1593.03
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 159295 8 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812895 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 1593.03
Current children cumulated vsize (KiB) 89460
[startup+1663.49 s]
/proc/loadavg: 2.03 2.13 2.06 3/84 30734
/proc/meminfo: memFree=856064/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=1653.07
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 165299 8 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710479 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 1653.07
Current children cumulated vsize (KiB) 89460
[startup+1723.54 s]
/proc/loadavg: 2.01 2.10 2.05 3/84 30734
/proc/meminfo: memFree=857728/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=1713.1
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 171302 8 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709313 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 1713.1
Current children cumulated vsize (KiB) 89460
[startup+1783.56 s]
/proc/loadavg: 2.00 2.08 2.05 3/84 30734
/proc/meminfo: memFree=855936/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=1773.1
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 177302 8 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637120 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 1773.1
Current children cumulated vsize (KiB) 89460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.55 s]
/proc/loadavg: 2.00 2.07 2.04 3/84 30734
/proc/meminfo: memFree=856000/2055920 swapFree=4184772/4192956
[pid=30681] ppid=30679 vsize=89460 CPUtime=1800.09
/proc/30681/stat : 30681 (solver) R 30679 30681 30046 0 -1 4194304 11836 0 0 0 180001 8 0 0 25 0 1 0 163124106 91607040 11804 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 1 0 0
/proc/30681/statm: 22365 11804 716 92 0 20709 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 89460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1810.56
CPU time (s): 1800.11
CPU user time (s): 1800.02
CPU system time (s): 0.092985
CPU usage (%): 99.4228
Max. virtual memory (cumulated for all children) (KiB): 89460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.092985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11836
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= 42548
runsolver used 1.84472 s user time and 5.12022 s system time
The end
Begin job on node56 on Sun Jan 7 05:21:00 UTC 2007
IDJOB= 201366
IDBENCH= 3758
FILE ID= node56/201366-1168147259
PBS_JOBID= 3478379
Free space on /tmp= 66545 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp12/fapp12-1500-0.xml
COMMAND LINE= /tmp/evaluation/201366-1168147259/mistral/bin/solver /tmp/evaluation/201366-1168147259/unknown.xml -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-201366-1168147259 -o ROOT/results/node56/solver-201366-1168147259 -C 1800 -M 900 /tmp/evaluation/201366-1168147259/mistral/bin/solver /tmp/evaluation/201366-1168147259/unknown.xml -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 8852f43241b06dc94642af49e2d6d548
RANDOM SEED= 692302931
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: 1467536 kB
Buffers: 29140 kB
Cached: 297740 kB
SwapCached: 2104 kB
Active: 310500 kB
Inactive: 205584 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1467536 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 12336 kB
Writeback: 0 kB
Mapped: 206580 kB
Slab: 57220 kB
Committed_AS: 3846972 kB
PageTables: 2256 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= 66547 MiB
End job on node56 on Sun Jan 7 05:51:10 UTC 2007