runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-339640-1178917271 -o ROOT/results/node21/solver-339640-1178917271 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/339640-1178917271/MiraXTv3_dyn /tmp/evaluation/339640-1178917271/instance-339640-1178917271.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 1.70 1.31 2/83 4133
/proc/meminfo: memFree=1634864/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=3920 CPUtime=0
/proc/4133/stat : 4133 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194304 335 0 0 0 0 0 0 0 18 0 1 0 339644412 4014080 310 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8877005 0 0 4096 0 0 0 0 17 1 0 0
/proc/4133/statm: 980 310 206 20 0 338 0
[startup+0.07219 s]
/proc/loadavg: 2.06 1.70 1.31 2/83 4133
/proc/meminfo: memFree=1634864/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=5344 CPUtime=0.06
/proc/4133/stat : 4133 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194304 697 0 0 0 6 0 0 0 18 0 1 0 339644412 5472256 672 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134580837 0 0 4096 0 0 0 0 17 1 0 0
/proc/4133/statm: 1336 672 207 20 0 694 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5344
[startup+0.101196 s]
/proc/loadavg: 2.06 1.70 1.31 2/83 4133
/proc/meminfo: memFree=1634864/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=9116 CPUtime=0.09
/proc/4133/stat : 4133 (MiraXTv3_dyn) S 4131 4133 3062 0 -1 4194304 966 0 0 0 9 0 0 0 18 0 3 0 339644412 9334784 903 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4133/statm: 2279 903 218 20 0 1637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9116
[startup+0.301219 s]
/proc/loadavg: 2.06 1.70 1.31 2/83 4133
/proc/meminfo: memFree=1634864/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=9380 CPUtime=0.49
/proc/4133/stat : 4133 (MiraXTv3_dyn) S 4131 4133 3062 0 -1 4194304 1191 0 0 0 49 0 0 0 18 0 3 0 339644412 9605120 1128 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4133/statm: 2345 1128 218 20 0 1703 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9380
[startup+0.701264 s]
/proc/loadavg: 2.06 1.70 1.31 2/83 4133
/proc/meminfo: memFree=1634864/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=11896 CPUtime=1.29
/proc/4133/stat : 4133 (MiraXTv3_dyn) S 4131 4133 3062 0 -1 4194304 1615 0 0 0 129 0 0 0 18 0 3 0 339644412 12181504 1552 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4133/statm: 2974 1552 218 20 0 2332 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 11896
[startup+1.50135 s]
/proc/loadavg: 2.06 1.71 1.32 3/86 4136
/proc/meminfo: memFree=1628184/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=14460 CPUtime=2.89
/proc/4133/stat : 4133 (MiraXTv3_dyn) S 4131 4133 3062 0 -1 4194304 2345 0 0 0 288 1 0 0 18 0 3 0 339644412 14807040 2282 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4133/statm: 3615 2282 218 20 0 2973 0
[pid=4133/tid=4135] ppid=4131 vsize=14460 CPUtime=1.4
/proc/4133/task/4135/stat : 4135 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 763 0 0 0 140 0 0 0 25 0 3 0 339644421 14807040 2282 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4133/tid=4136] ppid=4131 vsize=14460 CPUtime=1.39
/proc/4133/task/4136/stat : 4136 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 862 0 0 0 139 0 0 0 25 0 3 0 339644421 14807040 2282 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526502 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 14460
[startup+3.10153 s]
/proc/loadavg: 2.06 1.71 1.32 3/86 4136
/proc/meminfo: memFree=1624408/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=16900 CPUtime=6.08
/proc/4133/stat : 4133 (MiraXTv3_dyn) S 4131 4133 3062 0 -1 4194304 3069 0 0 0 606 2 0 0 18 0 3 0 339644412 17305600 3006 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4133/statm: 4225 3006 218 20 0 3583 0
[pid=4133/tid=4135] ppid=4131 vsize=16900 CPUtime=2.99
/proc/4133/task/4135/stat : 4135 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 1132 0 0 0 299 0 0 0 20 0 3 0 339644421 17305600 3006 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4133/tid=4136] ppid=4131 vsize=16900 CPUtime=2.98
/proc/4133/task/4136/stat : 4136 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 1217 0 0 0 297 1 0 0 23 0 3 0 339644421 17305600 3006 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520222 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 16900
[startup+6.30188 s]
/proc/loadavg: 2.05 1.71 1.32 3/86 4144
/proc/meminfo: memFree=1619864/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=22120 CPUtime=12.42
/proc/4133/stat : 4133 (MiraXTv3_dyn) S 4131 4133 3062 0 -1 4194304 4453 0 0 0 1237 5 0 0 18 0 3 0 339644412 22650880 4316 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4133/statm: 5530 4316 218 20 0 4888 0
[pid=4133/tid=4135] ppid=4131 vsize=22120 CPUtime=6.17
/proc/4133/task/4135/stat : 4135 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 1730 0 0 0 616 1 0 0 25 0 3 0 339644421 22650880 4316 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4133/tid=4136] ppid=4131 vsize=22120 CPUtime=6.15
/proc/4133/task/4136/stat : 4136 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 2003 0 0 0 612 3 0 0 25 0 3 0 339644421 22650880 4316 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 22120
[startup+12.7016 s]
/proc/loadavg: 2.05 1.71 1.32 3/86 4184
/proc/meminfo: memFree=1608912/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=31256 CPUtime=25.17
/proc/4133/stat : 4133 (MiraXTv3_dyn) S 4131 4133 3062 0 -1 4194304 7044 0 0 0 2508 9 0 0 18 0 3 0 339644412 32006144 6826 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4133/statm: 7814 6826 218 20 0 7172 0
[pid=4133/tid=4135] ppid=4131 vsize=31256 CPUtime=12.56
/proc/4133/task/4135/stat : 4135 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 3041 0 0 0 1254 2 0 0 25 0 3 0 339644421 32006144 6826 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4133/tid=4136] ppid=4131 vsize=31256 CPUtime=12.52
/proc/4133/task/4136/stat : 4136 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 3283 0 0 0 1246 6 0 0 25 0 3 0 339644421 32006144 6826 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 31256
[startup+25.503 s]
/proc/loadavg: 2.04 1.73 1.33 3/86 4226
/proc/meminfo: memFree=1599256/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=41188 CPUtime=50.64
/proc/4133/stat : 4133 (MiraXTv3_dyn) S 4131 4133 3062 0 -1 4194304 9489 0 0 0 5048 16 0 0 18 0 3 0 339644412 42176512 8955 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4133/statm: 10297 8955 218 20 0 9655 0
[pid=4133/tid=4135] ppid=4131 vsize=41188 CPUtime=25.31
/proc/4133/task/4135/stat : 4135 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 4242 0 0 0 2528 3 0 0 25 0 3 0 339644421 42176512 8955 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4133/tid=4136] ppid=4131 vsize=41188 CPUtime=25.23
/proc/4133/task/4136/stat : 4136 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 4527 0 0 0 2511 12 0 0 25 0 3 0 339644421 42176512 8955 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 41188
[startup+51.1028 s]
/proc/loadavg: 2.02 1.75 1.35 3/80 4260
/proc/meminfo: memFree=1587344/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=54044 CPUtime=101.64
/proc/4133/stat : 4133 (MiraXTv3_dyn) S 4131 4133 3062 0 -1 4194304 13351 0 0 0 10137 27 0 0 18 0 3 0 339644412 55341056 12373 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4133/statm: 13511 12373 218 20 0 12869 0
[pid=4133/tid=4135] ppid=4131 vsize=54044 CPUtime=50.86
/proc/4133/task/4135/stat : 4135 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 6137 0 0 0 5081 5 0 0 25 0 3 0 339644421 55341056 12373 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520111 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4133/tid=4136] ppid=4131 vsize=54044 CPUtime=50.68
/proc/4133/task/4136/stat : 4136 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 6494 0 0 0 5047 21 0 0 25 0 3 0 339644421 55341056 12373 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 54044
[startup+102.306 s]
/proc/loadavg: 2.01 1.79 1.38 3/80 4260
/proc/meminfo: memFree=1579600/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=61796 CPUtime=203.79
/proc/4133/stat : 4133 (MiraXTv3_dyn) S 4131 4133 3062 0 -1 4194304 16083 0 0 0 20349 30 0 0 18 0 3 0 339644412 63279104 14133 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4133/statm: 15449 14133 218 20 0 14807 0
[pid=4133/tid=4135] ppid=4131 vsize=61796 CPUtime=102.04
/proc/4133/task/4135/stat : 4135 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 7614 0 0 0 10197 7 0 0 25 0 3 0 339644421 63279104 14133 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4133/tid=4136] ppid=4131 vsize=61796 CPUtime=101.65
/proc/4133/task/4136/stat : 4136 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 7749 0 0 0 10143 22 0 0 25 0 3 0 339644421 63279104 14133 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134517002 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 61796
[startup+162.303 s]
/proc/loadavg: 2.00 1.82 1.42 3/80 4260
/proc/meminfo: memFree=1578128/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=63932 CPUtime=323.5
/proc/4133/stat : 4133 (MiraXTv3_dyn) S 4131 4133 3062 0 -1 4194304 17502 0 0 0 32319 31 0 0 18 0 3 0 339644412 65466368 14474 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4133/statm: 15983 14474 218 20 0 15341 0
[pid=4133/tid=4135] ppid=4131 vsize=63932 CPUtime=162.02
/proc/4133/task/4135/stat : 4135 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 8451 0 0 0 16194 8 0 0 25 0 3 0 339644421 65466368 14474 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4133/tid=4136] ppid=4131 vsize=63932 CPUtime=161.39
/proc/4133/task/4136/stat : 4136 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 8331 0 0 0 16116 23 0 0 25 0 3 0 339644421 65466368 14474 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.5
Current children cumulated vsize (KiB) 63932
[startup+222.302 s]
/proc/loadavg: 2.00 1.85 1.45 3/80 4260
/proc/meminfo: memFree=1577040/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=64956 CPUtime=443.17
/proc/4133/stat : 4133 (MiraXTv3_dyn) S 4131 4133 3062 0 -1 4194304 18950 0 0 0 44284 33 0 0 18 0 3 0 339644412 66514944 14826 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4133/statm: 16239 14826 218 20 0 15597 0
[pid=4133/tid=4135] ppid=4131 vsize=64956 CPUtime=221.97
/proc/4133/task/4135/stat : 4135 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 9304 0 0 0 22189 8 0 0 25 0 3 0 339644421 66514944 14826 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526423 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4133/tid=4136] ppid=4131 vsize=64956 CPUtime=221.09
/proc/4133/task/4136/stat : 4136 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 8926 0 0 0 22086 23 0 0 25 0 3 0 339644421 66514944 14826 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.17
Current children cumulated vsize (KiB) 64956
[startup+282.301 s]
/proc/loadavg: 2.00 1.88 1.48 3/80 4260
/proc/meminfo: memFree=1576848/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=64956 CPUtime=562.88
/proc/4133/stat : 4133 (MiraXTv3_dyn) S 4131 4133 3062 0 -1 4194304 19942 0 0 0 56254 34 0 0 18 0 3 0 339644412 66514944 14857 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4133/statm: 16239 14857 218 20 0 15597 0
[pid=4133/tid=4135] ppid=4131 vsize=64956 CPUtime=281.95
/proc/4133/task/4135/stat : 4135 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 9828 0 0 0 28186 9 0 0 25 0 3 0 339644421 66514944 14857 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4133/tid=4136] ppid=4131 vsize=64956 CPUtime=280.83
/proc/4133/task/4136/stat : 4136 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 9394 0 0 0 28059 24 0 0 25 0 3 0 339644421 66514944 14857 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.88
Current children cumulated vsize (KiB) 64956
[startup+342.302 s]
/proc/loadavg: 2.00 1.89 1.51 3/80 4260
/proc/meminfo: memFree=1576784/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=64956 CPUtime=682.57
/proc/4133/stat : 4133 (MiraXTv3_dyn) S 4131 4133 3062 0 -1 4194304 21063 0 0 0 68222 35 0 0 18 0 3 0 339644412 66514944 14863 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4133/statm: 16239 14863 218 20 0 15597 0
[pid=4133/tid=4135] ppid=4131 vsize=64956 CPUtime=341.92
/proc/4133/task/4135/stat : 4135 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 10426 0 0 0 34182 10 0 0 25 0 3 0 339644421 66514944 14863 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4133/tid=4136] ppid=4131 vsize=64956 CPUtime=340.55
/proc/4133/task/4136/stat : 4136 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 9917 0 0 0 34031 24 0 0 25 0 3 0 339644421 66514944 14863 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134528385 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.57
Current children cumulated vsize (KiB) 64956
[startup+402.301 s]
/proc/loadavg: 2.00 1.91 1.54 3/80 4260
/proc/meminfo: memFree=1576784/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=64956 CPUtime=802.22
/proc/4133/stat : 4133 (MiraXTv3_dyn) S 4131 4133 3062 0 -1 4194304 22259 0 0 0 80186 36 0 0 18 0 3 0 339644412 66514944 14876 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4133/statm: 16239 14876 218 20 0 15597 0
[pid=4133/tid=4135] ppid=4131 vsize=64956 CPUtime=401.89
/proc/4133/task/4135/stat : 4135 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 10891 0 0 0 40178 11 0 0 23 0 3 0 339644421 66514944 14876 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4133/tid=4136] ppid=4131 vsize=64956 CPUtime=400.23
/proc/4133/task/4136/stat : 4136 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 10648 0 0 0 39999 24 0 0 23 0 3 0 339644421 66514944 14876 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.22
Current children cumulated vsize (KiB) 64956
[startup+462.302 s]
/proc/loadavg: 2.00 1.92 1.57 3/80 4260
/proc/meminfo: memFree=1576656/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=64956 CPUtime=921.92
/proc/4133/stat : 4133 (MiraXTv3_dyn) S 4131 4133 3062 0 -1 4194304 23355 0 0 0 92154 38 0 0 18 0 3 0 339644412 66514944 14898 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4133/statm: 16239 14898 218 20 0 15597 0
[pid=4133/tid=4135] ppid=4131 vsize=64956 CPUtime=461.86
/proc/4133/task/4135/stat : 4135 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 11436 0 0 0 46174 12 0 0 25 0 3 0 339644421 66514944 14898 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4133/tid=4136] ppid=4131 vsize=64956 CPUtime=459.96
/proc/4133/task/4136/stat : 4136 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 11199 0 0 0 45971 25 0 0 25 0 3 0 339644421 66514944 14898 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520951 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 921.92
Current children cumulated vsize (KiB) 64956
[startup+522.301 s]
/proc/loadavg: 2.00 1.94 1.59 3/80 4260
/proc/meminfo: memFree=1576656/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=64956 CPUtime=1041.61
/proc/4133/stat : 4133 (MiraXTv3_dyn) S 4131 4133 3062 0 -1 4194304 24455 0 0 0 104123 38 0 0 18 0 3 0 339644412 66514944 14908 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4133/statm: 16239 14908 218 20 0 15597 0
[pid=4133/tid=4135] ppid=4131 vsize=64956 CPUtime=521.82
/proc/4133/task/4135/stat : 4135 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 11908 0 0 0 52169 13 0 0 25 0 3 0 339644421 66514944 14908 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4133/tid=4136] ppid=4131 vsize=64956 CPUtime=519.7
/proc/4133/task/4136/stat : 4136 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 11827 0 0 0 51945 25 0 0 25 0 3 0 339644421 66514944 14908 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.61
Current children cumulated vsize (KiB) 64956
[startup+582.302 s]
/proc/loadavg: 2.00 1.94 1.61 3/80 4260
/proc/meminfo: memFree=1574032/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=67004 CPUtime=1161.3
/proc/4133/stat : 4133 (MiraXTv3_dyn) S 4131 4133 3062 0 -1 4194304 26123 0 0 0 116089 41 0 0 18 0 3 0 339644412 68612096 15562 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4133/statm: 16751 15562 218 20 0 16109 0
[pid=4133/tid=4135] ppid=4131 vsize=67004 CPUtime=581.79
/proc/4133/task/4135/stat : 4135 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 12377 0 0 0 58166 13 0 0 25 0 3 0 339644421 68612096 15562 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4133/tid=4136] ppid=4131 vsize=67004 CPUtime=579.41
/proc/4133/task/4136/stat : 4136 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 13026 0 0 0 57914 27 0 0 25 0 3 0 339644421 68612096 15562 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.3
Current children cumulated vsize (KiB) 67004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+601.706 s]
/proc/loadavg: 2.00 1.95 1.62 3/80 4260
/proc/meminfo: memFree=1572688/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=68456 CPUtime=1200.04
/proc/4133/stat : 4133 (MiraXTv3_dyn) S 4131 4133 3062 0 -1 4194304 26824 0 0 0 119962 42 0 0 18 0 3 0 339644412 70098944 15948 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4133/statm: 17114 15948 218 20 0 16472 0
[pid=4133/tid=4135] ppid=4131 vsize=68456 CPUtime=601.2
/proc/4133/task/4135/stat : 4135 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 12920 0 0 0 60106 14 0 0 25 0 3 0 339644421 70098944 15948 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526613 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4133/tid=4136] ppid=4131 vsize=68456 CPUtime=598.74
/proc/4133/task/4136/stat : 4136 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 13184 0 0 0 59847 27 0 0 25 0 3 0 339644421 70098944 15948 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 68456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+601.706 s]
/proc/loadavg: 2.00 1.95 1.62 3/80 4260
/proc/meminfo: memFree=1572688/2055920 swapFree=4156344/4192956
[pid=4133] ppid=4131 vsize=68456 CPUtime=1200.04
/proc/4133/stat : 4133 (MiraXTv3_dyn) S 4131 4133 3062 0 -1 4194304 26824 0 0 0 119962 42 0 0 18 0 3 0 339644412 70098944 15948 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/4133/statm: 17114 15948 218 20 0 16472 0
[pid=4133/tid=4135] ppid=4131 vsize=68456 CPUtime=601.2
/proc/4133/task/4135/stat : 4135 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 12920 0 0 0 60106 14 0 0 25 0 3 0 339644421 70098944 15948 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526613 0 0 4096 0 0 0 0 -1 1 0 0
[pid=4133/tid=4136] ppid=4131 vsize=68456 CPUtime=598.74
/proc/4133/task/4136/stat : 4136 (MiraXTv3_dyn) R 4131 4133 3062 0 -1 4194368 13184 0 0 0 59847 27 0 0 25 0 3 0 339644421 70098944 15948 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 68456
Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.728
CPU time (s): 1200.07
CPU user time (s): 1199.63
CPU system time (s): 0.435933
CPU usage (%): 199.437
Max. virtual memory (cumulated for all children) (KiB): 68456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.63
system time used= 0.435933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26824
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= 150
involuntary context switches= 22817
runsolver used 0.614906 second user time and 1.61375 second system time
The end
Begin job on node21 on Fri May 11 21:01:11 UTC 2007
IDJOB= 339640
IDBENCH= 24751
IDSOLVER= 128
FILE ID= node21/339640-1178917271
PBS_JOBID= 5251102
Free space on /tmp= 66548 MiB
SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/crafted/Difficult/contest-02-03-04/contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/339640-1178917271/MiraXTv3_dyn /tmp/evaluation/339640-1178917271/instance-339640-1178917271.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-339640-1178917271 -o ROOT/results/node21/solver-339640-1178917271 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/339640-1178917271/MiraXTv3_dyn /tmp/evaluation/339640-1178917271/instance-339640-1178917271.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= d8fa78c834564753f42ad3a5aaefa23a
RANDOM SEED= 237888528
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node21.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/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: 1635016 kB
Buffers: 48664 kB
Cached: 282772 kB
SwapCached: 15772 kB
Active: 145136 kB
Inactive: 210768 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1635016 kB
SwapTotal: 4192956 kB
SwapFree: 4156344 kB
Dirty: 4168 kB
Writeback: 0 kB
Mapped: 31356 kB
Slab: 50060 kB
Committed_AS: 5190980 kB
PageTables: 2016 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= 66548 MiB
End job on node21 on Fri May 11 21:11:15 UTC 2007