runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-315523-1178879938 -o ROOT/results/node17/solver-315523-1178879938 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/315523-1178879938/MiraXTv3_dyn /tmp/evaluation/315523-1178879938/instance-315523-1178879938.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: 0.93 1.01 1.07 3/77 15025
/proc/meminfo: memFree=1735672/2055920 swapFree=4140644/4192956
[pid=15025] ppid=15023 vsize=3788 CPUtime=0
/proc/15025/stat : 15025 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194304 411 0 0 0 0 0 0 0 18 0 1 0 335911419 3878912 386 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15025/statm: 947 393 202 20 0 305 0
[startup+0.021216 s]
/proc/loadavg: 0.93 1.01 1.07 3/77 15025
/proc/meminfo: memFree=1735672/2055920 swapFree=4140644/4192956
[pid=15025] ppid=15023 vsize=5356 CPUtime=0.01
/proc/15025/stat : 15025 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194304 914 0 0 0 1 0 0 0 18 0 1 0 335911419 5484544 889 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 3294843 0 0 4096 0 0 0 0 17 0 0 0
/proc/15025/statm: 1372 891 206 20 0 730 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5356
[startup+0.101224 s]
/proc/loadavg: 0.93 1.01 1.07 3/77 15025
/proc/meminfo: memFree=1735672/2055920 swapFree=4140644/4192956
[pid=15025] ppid=15023 vsize=11888 CPUtime=0.09
/proc/15025/stat : 15025 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194304 2390 0 0 0 9 0 0 0 18 0 1 0 335911419 12173312 2365 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 3294843 0 0 4096 0 0 0 0 17 0 0 0
/proc/15025/statm: 2972 2366 206 20 0 2330 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11888
[startup+0.301245 s]
/proc/loadavg: 0.93 1.01 1.07 3/77 15025
/proc/meminfo: memFree=1735672/2055920 swapFree=4140644/4192956
[pid=15025] ppid=15023 vsize=27580 CPUtime=0.29
/proc/15025/stat : 15025 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194304 6038 0 0 0 26 3 0 0 19 0 1 0 335911419 28241920 6013 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 3294843 0 0 4096 0 0 0 0 17 0 0 0
/proc/15025/statm: 6895 6013 206 20 0 6253 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27580
[startup+0.701287 s]
/proc/loadavg: 0.93 1.01 1.07 3/77 15025
/proc/meminfo: memFree=1735672/2055920 swapFree=4140644/4192956
[pid=15025] ppid=15023 vsize=56180 CPUtime=0.69
/proc/15025/stat : 15025 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194304 13214 0 0 0 61 8 0 0 23 0 1 0 335911419 57528320 13189 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 3294843 0 0 4096 0 0 0 0 17 0 0 0
/proc/15025/statm: 14045 13189 206 20 0 13403 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56180
[startup+1.50137 s]
/proc/loadavg: 0.93 1.01 1.07 2/78 15026
/proc/meminfo: memFree=1669104/2055920 swapFree=4140644/4192956
[pid=15025] ppid=15023 vsize=74452 CPUtime=1.49
/proc/15025/stat : 15025 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194304 16829 0 0 0 139 10 0 0 25 0 1 0 335911419 76238848 16804 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583912 0 0 4096 0 0 0 0 17 0 0 0
/proc/15025/statm: 18613 16804 207 20 0 17971 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 74452
[startup+3.10154 s]
/proc/loadavg: 0.93 1.01 1.07 2/78 15026
/proc/meminfo: memFree=1668144/2055920 swapFree=4140644/4192956
[pid=15025] ppid=15023 vsize=74452 CPUtime=3.09
/proc/15025/stat : 15025 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194304 16829 0 0 0 299 10 0 0 25 0 1 0 335911419 76238848 16804 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134584079 0 0 4096 0 0 0 0 17 0 0 0
/proc/15025/statm: 18613 16804 207 20 0 17971 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 74452
[startup+6.30187 s]
/proc/loadavg: 1.01 1.03 1.08 2/78 15026
/proc/meminfo: memFree=1644208/2055920 swapFree=4140644/4192956
[pid=15025] ppid=15023 vsize=123484 CPUtime=6.29
/proc/15025/stat : 15025 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194304 28634 0 0 0 614 15 0 0 25 0 1 0 335911419 126447616 28609 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134584069 0 0 4096 0 0 0 0 17 0 0 0
/proc/15025/statm: 30871 28609 207 20 0 30229 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 123484
[startup+12.7015 s]
/proc/loadavg: 1.01 1.03 1.08 2/78 15026
/proc/meminfo: memFree=1602096/2055920 swapFree=4140644/4192956
[pid=15025] ppid=15023 vsize=142764 CPUtime=12.68
/proc/15025/stat : 15025 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194304 33544 0 0 0 1252 16 0 0 25 0 1 0 335911419 146190336 33519 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134584061 0 0 4096 0 0 0 0 17 0 0 0
/proc/15025/statm: 35691 33519 207 20 0 35049 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 142764
[startup+25.5019 s]
/proc/loadavg: 1.08 1.04 1.08 2/78 15026
/proc/meminfo: memFree=1595504/2055920 swapFree=4140644/4192956
[pid=15025] ppid=15023 vsize=150812 CPUtime=25.47
/proc/15025/stat : 15025 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194304 35212 0 0 0 2530 17 0 0 25 0 1 0 335911419 154431488 35187 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583713 0 0 4096 0 0 0 0 17 0 0 0
/proc/15025/statm: 37703 35187 207 20 0 37061 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 150812
[startup+51.1016 s]
/proc/loadavg: 1.05 1.04 1.08 2/80 15028
/proc/meminfo: memFree=1520992/2055920 swapFree=4140644/4192956
[pid=15025] ppid=15023 vsize=355036 CPUtime=51.43
/proc/15025/stat : 15025 (MiraXTv3_dyn) S 15023 15025 13535 0 -1 4194304 58012 0 0 0 5113 30 0 0 25 0 3 0 335911419 363556864 53744 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15025/statm: 88759 53744 218 20 0 88117 0
[pid=15025/tid=15027] ppid=15023 vsize=355036 CPUtime=19.26
/proc/15025/task/15027/stat : 15027 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194368 10693 0 0 0 1921 5 0 0 25 0 3 0 335914602 363556864 53744 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15025/tid=15028] ppid=15023 vsize=355036 CPUtime=0.36
/proc/15025/task/15028/stat : 15028 (MiraXTv3_dyn) S 15023 15025 13535 0 -1 4194368 10486 0 0 0 30 6 0 0 18 0 3 0 335914602 363556864 53744 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.43
Current children cumulated vsize (KiB) 355036
[startup+102.307 s]
/proc/loadavg: 1.59 1.18 1.13 3/80 15028
/proc/meminfo: memFree=1511584/2055920 swapFree=4140644/4192956
[pid=15025] ppid=15023 vsize=362092 CPUtime=152.04
/proc/15025/stat : 15025 (MiraXTv3_dyn) S 15023 15025 13535 0 -1 4194304 63111 0 0 0 15166 38 0 0 25 0 3 0 335911419 370782208 56144 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15025/statm: 90523 56144 218 20 0 89881 0
[pid=15025/tid=15027] ppid=15023 vsize=362092 CPUtime=70.42
/proc/15025/task/15027/stat : 15027 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194368 12945 0 0 0 7035 7 0 0 25 0 3 0 335914602 370782208 56144 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15025/tid=15028] ppid=15023 vsize=362092 CPUtime=49.81
/proc/15025/task/15028/stat : 15028 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194368 13333 0 0 0 4969 12 0 0 25 0 3 0 335914602 370782208 56144 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 152.04
Current children cumulated vsize (KiB) 362092
[startup+162.301 s]
/proc/loadavg: 1.85 1.33 1.18 3/80 15028
/proc/meminfo: memFree=1459360/2055920 swapFree=4140644/4192956
[pid=15025] ppid=15023 vsize=413072 CPUtime=271.75
/proc/15025/stat : 15025 (MiraXTv3_dyn) S 15023 15025 13535 0 -1 4194304 76387 0 0 0 27115 60 0 0 25 0 3 0 335911419 422985728 69287 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15025/statm: 103268 69287 218 20 0 102626 0
[pid=15025/tid=15027] ppid=15023 vsize=413072 CPUtime=130.37
/proc/15025/task/15027/stat : 15027 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194368 18786 0 0 0 13023 14 0 0 25 0 3 0 335914602 422985728 69287 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526451 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15025/tid=15028] ppid=15023 vsize=413072 CPUtime=109.56
/proc/15025/task/15028/stat : 15028 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194368 20768 0 0 0 10930 26 0 0 25 0 3 0 335914602 422985728 69287 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 271.75
Current children cumulated vsize (KiB) 413072
[startup+222.301 s]
/proc/loadavg: 1.94 1.45 1.23 3/80 15030
/proc/meminfo: memFree=1428384/2055920 swapFree=4140644/4192956
[pid=15025] ppid=15023 vsize=442792 CPUtime=391.44
/proc/15025/stat : 15025 (MiraXTv3_dyn) S 15023 15025 13535 0 -1 4194304 84241 0 0 0 39073 71 0 0 25 0 3 0 335911419 453419008 76794 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15025/statm: 110698 76794 218 20 0 110056 0
[pid=15025/tid=15027] ppid=15023 vsize=442792 CPUtime=190.32
/proc/15025/task/15027/stat : 15027 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194368 22454 0 0 0 19014 18 0 0 25 0 3 0 335914602 453419008 76794 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15025/tid=15028] ppid=15023 vsize=442792 CPUtime=169.31
/proc/15025/task/15028/stat : 15028 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194368 24954 0 0 0 16897 34 0 0 25 0 3 0 335914602 453419008 76794 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 391.44
Current children cumulated vsize (KiB) 442792
[startup+282.302 s]
/proc/loadavg: 1.98 1.55 1.27 3/80 15030
/proc/meminfo: memFree=1366816/2055920 swapFree=4140644/4192956
[pid=15025] ppid=15023 vsize=505380 CPUtime=511.17
/proc/15025/stat : 15025 (MiraXTv3_dyn) S 15023 15025 13535 0 -1 4194304 100444 0 0 0 51017 100 0 0 25 0 3 0 335911419 517509120 92568 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15025/statm: 126345 92568 218 20 0 125703 0
[pid=15025/tid=15027] ppid=15023 vsize=505380 CPUtime=250.28
/proc/15025/task/15027/stat : 15027 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194368 29469 0 0 0 25001 27 0 0 25 0 3 0 335914602 517509120 92568 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15025/tid=15028] ppid=15023 vsize=505380 CPUtime=229.08
/proc/15025/task/15028/stat : 15028 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194368 34142 0 0 0 22854 54 0 0 25 0 3 0 335914602 517509120 92568 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 511.17
Current children cumulated vsize (KiB) 505380
[startup+342.302 s]
/proc/loadavg: 1.99 1.63 1.31 3/80 15030
/proc/meminfo: memFree=1335584/2055920 swapFree=4140644/4192956
[pid=15025] ppid=15023 vsize=533904 CPUtime=630.87
/proc/15025/stat : 15025 (MiraXTv3_dyn) S 15023 15025 13535 0 -1 4194304 108234 0 0 0 62974 113 0 0 25 0 3 0 335911419 546717696 99965 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15025/statm: 133476 99965 218 20 0 132834 0
[pid=15025/tid=15027] ppid=15023 vsize=533904 CPUtime=310.21
/proc/15025/task/15027/stat : 15027 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194368 33888 0 0 0 30989 32 0 0 25 0 3 0 335914602 546717696 99965 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15025/tid=15028] ppid=15023 vsize=533904 CPUtime=288.85
/proc/15025/task/15028/stat : 15028 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194368 37513 0 0 0 28823 62 0 0 25 0 3 0 335914602 546717696 99965 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 630.87
Current children cumulated vsize (KiB) 533904
[startup+402.301 s]
/proc/loadavg: 1.99 1.69 1.35 3/80 15030
/proc/meminfo: memFree=1285728/2055920 swapFree=4140644/4192956
[pid=15025] ppid=15023 vsize=585900 CPUtime=750.6
/proc/15025/stat : 15025 (MiraXTv3_dyn) S 15023 15025 13535 0 -1 4194304 121651 0 0 0 74930 130 0 0 25 0 3 0 335911419 599961600 112970 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15025/statm: 146475 112970 218 20 0 145833 0
[pid=15025/tid=15027] ppid=15023 vsize=585900 CPUtime=370.18
/proc/15025/task/15027/stat : 15027 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194368 41557 0 0 0 36979 39 0 0 25 0 3 0 335914602 599961600 112970 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520502 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15025/tid=15028] ppid=15023 vsize=585900 CPUtime=348.61
/proc/15025/task/15028/stat : 15028 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194368 43261 0 0 0 34789 72 0 0 25 0 3 0 335914602 599961600 112970 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 750.6
Current children cumulated vsize (KiB) 585900
[startup+462.302 s]
/proc/loadavg: 1.99 1.74 1.39 3/80 15030
/proc/meminfo: memFree=1265696/2055920 swapFree=4140644/4192956
[pid=15025] ppid=15023 vsize=602940 CPUtime=870.31
/proc/15025/stat : 15025 (MiraXTv3_dyn) S 15023 15025 13535 0 -1 4194304 126501 0 0 0 86894 137 0 0 25 0 3 0 335911419 617410560 117396 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15025/statm: 150735 117396 218 20 0 150093 0
[pid=15025/tid=15027] ppid=15023 vsize=602940 CPUtime=430.14
/proc/15025/task/15027/stat : 15027 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194368 44048 0 0 0 42972 42 0 0 25 0 3 0 335914602 617410560 117396 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526049 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15025/tid=15028] ppid=15023 vsize=602940 CPUtime=408.36
/proc/15025/task/15028/stat : 15028 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194368 45620 0 0 0 40760 76 0 0 25 0 3 0 335914602 617410560 117396 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 870.31
Current children cumulated vsize (KiB) 602940
[startup+522.302 s]
/proc/loadavg: 1.99 1.79 1.43 3/80 15030
/proc/meminfo: memFree=1242784/2055920 swapFree=4140644/4192956
[pid=15025] ppid=15023 vsize=626472 CPUtime=990.02
/proc/15025/stat : 15025 (MiraXTv3_dyn) S 15023 15025 13535 0 -1 4194304 132816 0 0 0 98860 142 0 0 25 0 3 0 335911419 641507328 123278 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15025/statm: 156618 123278 218 20 0 155976 0
[pid=15025/tid=15027] ppid=15023 vsize=626472 CPUtime=490.08
/proc/15025/task/15027/stat : 15027 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194368 50089 0 0 0 48961 47 0 0 25 0 3 0 335914602 641507328 123278 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15025/tid=15028] ppid=15023 vsize=626472 CPUtime=468.12
/proc/15025/task/15028/stat : 15028 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194368 45894 0 0 0 46736 76 0 0 25 0 3 0 335914602 641507328 123278 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 990.02
Current children cumulated vsize (KiB) 626472
[startup+582.301 s]
/proc/loadavg: 1.99 1.82 1.46 3/80 15030
/proc/meminfo: memFree=1236832/2055920 swapFree=4140644/4192956
[pid=15025] ppid=15023 vsize=631752 CPUtime=1109.75
/proc/15025/stat : 15025 (MiraXTv3_dyn) S 15023 15025 13535 0 -1 4194304 134499 0 0 0 110830 145 0 0 25 0 3 0 335911419 646914048 124607 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15025/statm: 157938 124607 218 20 0 157296 0
[pid=15025/tid=15027] ppid=15023 vsize=631752 CPUtime=550.04
/proc/15025/task/15027/stat : 15027 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194368 51679 0 0 0 54955 49 0 0 25 0 3 0 335914602 646914048 124607 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15025/tid=15028] ppid=15023 vsize=631752 CPUtime=527.88
/proc/15025/task/15028/stat : 15028 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194368 45987 0 0 0 52712 76 0 0 25 0 3 0 335914602 646914048 124607 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1109.75
Current children cumulated vsize (KiB) 631752
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+627.602 s]
/proc/loadavg: 1.99 1.85 1.48 3/80 15030
/proc/meminfo: memFree=1236704/2055920 swapFree=4140644/4192956
[pid=15025] ppid=15023 vsize=631752 CPUtime=1200.13
/proc/15025/stat : 15025 (MiraXTv3_dyn) S 15023 15025 13535 0 -1 4194304 134874 0 0 0 119868 145 0 0 25 0 3 0 335911419 646914048 124625 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/15025/statm: 157938 124625 218 20 0 157296 0
[pid=15025/tid=15027] ppid=15023 vsize=631752 CPUtime=595.31
/proc/15025/task/15027/stat : 15027 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194368 51866 0 0 0 59482 49 0 0 25 0 3 0 335914602 646914048 124625 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565556 0 0 4096 0 0 0 0 -1 0 0 0
[pid=15025/tid=15028] ppid=15023 vsize=631752 CPUtime=573.02
/proc/15025/task/15028/stat : 15028 (MiraXTv3_dyn) R 15023 15025 13535 0 -1 4194368 46175 0 0 0 57225 77 0 0 25 0 3 0 335914602 646914048 124625 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.13
Current children cumulated vsize (KiB) 631752
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 627.694
CPU time (s): 1200.24
CPU user time (s): 1198.7
CPU system time (s): 1.53477
CPU usage (%): 191.214
Max. virtual memory (cumulated for all children) (KiB): 632108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.7
system time used= 1.53477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134874
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= 252
involuntary context switches= 21917
runsolver used 0.679896 second user time and 1.62575 second system time
The end
Begin job on node17 on Fri May 11 10:38:59 UTC 2007
IDJOB= 315523
IDBENCH= 20418
IDSOLVER= 128
FILE ID= node17/315523-1178879938
PBS_JOBID= 5251051
Free space on /tmp= 66546 MiB
SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/industrial/palacios/uts/uts-l06-ipc5-h33-unknown.cnf
COMMAND LINE= /tmp/evaluation/315523-1178879938/MiraXTv3_dyn /tmp/evaluation/315523-1178879938/instance-315523-1178879938.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-315523-1178879938 -o ROOT/results/node17/solver-315523-1178879938 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/315523-1178879938/MiraXTv3_dyn /tmp/evaluation/315523-1178879938/instance-315523-1178879938.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= 6197e38464facb30636a5a3ad5b2f0b5
RANDOM SEED= 984169004
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node17.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.240
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.240
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: 1735952 kB
Buffers: 47908 kB
Cached: 171328 kB
SwapCached: 15568 kB
Active: 152116 kB
Inactive: 105172 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1735952 kB
SwapTotal: 4192956 kB
SwapFree: 4140644 kB
Dirty: 19112 kB
Writeback: 0 kB
Mapped: 43936 kB
Slab: 48212 kB
Committed_AS: 10179460 kB
PageTables: 1828 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= 66546 MiB
End job on node17 on Fri May 11 10:49:29 UTC 2007