runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1785005-1241881820/watcher-1785005-1241881820 -o /tmp/evaluation-result-1785005-1241881820/solver-1785005-1241881820 -C 5000 -W 6000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=1669258616 HOME/instance-1785005-1241881820.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 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 134217728 bytes. The first 1048576 bytes and the last 133169152 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.93 0.98 0.98 3/64 31150
/proc/meminfo: memFree=1658472/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=8064 CPUtime=0
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 921 0 0 0 0 0 0 0 18 0 1 0 216210077 8257536 905 1992294400 134512640 135674940 4294956208 18446744073709551615 134545020 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 2016 911 88 283 0 1730 0
[startup+0.033644 s]
/proc/loadavg: 0.93 0.98 0.98 3/64 31150
/proc/meminfo: memFree=1658472/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=22712 CPUtime=0.02
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 2308 0 0 0 2 0 0 0 18 0 1 0 216210077 23257088 2292 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 5678 2293 90 283 0 5392 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 22712
[startup+0.101648 s]
/proc/loadavg: 0.93 0.98 0.98 3/64 31150
/proc/meminfo: memFree=1658472/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=23900 CPUtime=0.09
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 2656 0 0 0 8 1 0 0 18 0 1 0 216210077 24473600 2640 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 5975 2640 91 283 0 5689 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23900
[startup+0.301667 s]
/proc/loadavg: 0.93 0.98 0.98 3/64 31150
/proc/meminfo: memFree=1658472/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=27728 CPUtime=0.3
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 3644 0 0 0 28 2 0 0 19 0 1 0 216210077 28393472 3628 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 6932 3628 92 283 0 6646 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 27728
[startup+0.701702 s]
/proc/loadavg: 0.93 0.98 0.98 3/64 31150
/proc/meminfo: memFree=1658472/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=35784 CPUtime=0.69
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 5702 0 0 0 67 2 0 0 23 0 1 0 216210077 36642816 5686 1992294400 134512640 135674940 4294956208 18446744073709551615 135172670 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 8946 5686 92 283 0 8660 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35784
[startup+1.50277 s]
/proc/loadavg: 0.93 0.98 0.98 2/65 31151
/proc/meminfo: memFree=1631904/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=51228 CPUtime=1.49
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 9581 0 0 0 144 5 0 0 25 0 1 0 216210077 52457472 9565 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 12807 9565 92 283 0 12521 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51228
[startup+3.10191 s]
/proc/loadavg: 0.93 0.98 0.98 2/65 31151
/proc/meminfo: memFree=1612896/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=77640 CPUtime=3.09
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 16206 0 0 0 299 10 0 0 25 0 1 0 216210077 79503360 16190 1992294400 134512640 135674940 4294956208 18446744073709551615 134590076 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 19410 16190 92 283 0 19124 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77640
[startup+6.30119 s]
/proc/loadavg: 0.93 0.98 0.98 2/65 31151
/proc/meminfo: memFree=1590432/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=82772 CPUtime=6.29
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 17581 0 0 0 616 13 0 0 25 0 1 0 216210077 84758528 17466 1992294400 134512640 135674940 4294956208 18446744073709551615 134564368 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 20693 17466 98 283 0 20407 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82772
[startup+12.7017 s]
/proc/loadavg: 0.94 0.98 0.98 2/65 31151
/proc/meminfo: memFree=1585440/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=87392 CPUtime=12.69
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 18746 0 0 0 1255 14 0 0 25 0 1 0 216210077 89489408 18631 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 21848 18631 98 283 0 21562 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 87392
[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.98 2/65 31151
/proc/meminfo: memFree=1577248/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=95500 CPUtime=25.48
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 20743 0 0 0 2532 16 0 0 25 0 1 0 216210077 97792000 20628 1992294400 134512640 135674940 4294956208 18446744073709551615 134556795 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 23875 20628 98 283 0 23589 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 95500
[startup+51.1011 s]
/proc/loadavg: 0.97 0.98 0.98 2/65 31151
/proc/meminfo: memFree=1558112/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=114872 CPUtime=51.06
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 25589 0 0 0 5084 22 0 0 25 0 1 0 216210077 117628928 25474 1992294400 134512640 135674940 4294956208 18446744073709551615 134564285 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 28718 25474 98 283 0 28432 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 114872
[startup+102.307 s]
/proc/loadavg: 0.98 0.98 0.98 2/65 31151
/proc/meminfo: memFree=1525792/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=146784 CPUtime=102.24
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 33559 0 0 0 10195 29 0 0 25 0 1 0 216210077 150306816 33444 1992294400 134512640 135674940 4294956208 18446744073709551615 134556000 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 36696 33444 98 283 0 36410 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 146784
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 31151
/proc/meminfo: memFree=1497888/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=174628 CPUtime=162.22
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 40522 0 0 0 16184 38 0 0 25 0 1 0 216210077 178819072 40407 1992294400 134512640 135674940 4294956208 18446744073709551615 134565273 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 43657 40407 99 283 0 43371 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 174628
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 31151
/proc/meminfo: memFree=1496736/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=175752 CPUtime=222.2
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 40778 0 0 0 22182 38 0 0 25 0 1 0 216210077 179970048 40663 1992294400 134512640 135674940 4294956208 18446744073709551615 134564252 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 43938 40663 99 283 0 43652 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 175752
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 31151
/proc/meminfo: memFree=1494112/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=178804 CPUtime=282.17
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 41546 0 0 0 28178 39 0 0 25 0 1 0 216210077 183095296 41431 1992294400 134512640 135674940 4294956208 18446744073709551615 134564291 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 44701 41431 99 283 0 44415 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 178804
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 31151
/proc/meminfo: memFree=1467488/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=205280 CPUtime=342.16
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 48096 0 0 0 34170 46 0 0 25 0 1 0 216210077 210206720 47981 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 51320 47981 99 283 0 51034 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 205280
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 31151
/proc/meminfo: memFree=1435936/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=237144 CPUtime=402.12
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 56066 0 0 0 40159 53 0 0 25 0 1 0 216210077 242835456 55951 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 59286 55951 99 283 0 59000 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 237144
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 31151
/proc/meminfo: memFree=1406304/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=266632 CPUtime=462.11
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 63376 0 0 0 46149 62 0 0 25 0 1 0 216210077 273031168 63261 1992294400 134512640 135674940 4294956208 18446744073709551615 134558974 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 66658 63261 99 283 0 66372 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 266632
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 31151
/proc/meminfo: memFree=1374560/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=299128 CPUtime=522.09
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 71528 0 0 0 52135 74 0 0 25 0 1 0 216210077 306307072 71284 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 74782 71284 99 283 0 74496 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 299128
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 31151
/proc/meminfo: memFree=1344864/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=328576 CPUtime=582.05
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 78885 0 0 0 58125 80 0 0 25 0 1 0 216210077 336461824 78641 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 82144 78641 99 283 0 81858 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 328576
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 31151
/proc/meminfo: memFree=1311904/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=361148 CPUtime=642.04
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 87008 0 0 0 64114 90 0 0 25 0 1 0 216210077 369815552 86764 1992294400 134512640 135674940 4294956208 18446744073709551615 134552006 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 90287 86764 99 283 0 90001 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 361148
################
# More data... #
################
[startup+4062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31159
/proc/meminfo: memFree=947104/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=725256 CPUtime=4060.72
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 177910 0 0 0 405882 190 0 0 25 0 1 0 216210077 742662144 177409 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 181314 177409 99 283 0 181028 0
Current children cumulated CPU time (s) 4060.72
Current children cumulated vsize (KiB) 725256
[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31159
/proc/meminfo: memFree=946528/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=726348 CPUtime=4120.69
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 178182 0 0 0 411879 190 0 0 25 0 1 0 216210077 743780352 177681 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 181587 177681 99 283 0 181301 0
Current children cumulated CPU time (s) 4120.69
Current children cumulated vsize (KiB) 726348
[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31159
/proc/meminfo: memFree=937952/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=734748 CPUtime=4180.67
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 180228 0 0 0 417875 192 0 0 25 0 1 0 216210077 752381952 179727 1992294400 134512640 135674940 4294956208 18446744073709551615 134558912 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 183687 179727 99 283 0 183401 0
Current children cumulated CPU time (s) 4180.67
Current children cumulated vsize (KiB) 734748
[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31159
/proc/meminfo: memFree=937952/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=734748 CPUtime=4240.65
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 180229 0 0 0 423873 192 0 0 25 0 1 0 216210077 752381952 179728 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 183687 179728 99 283 0 183401 0
Current children cumulated CPU time (s) 4240.65
Current children cumulated vsize (KiB) 734748
[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31159
/proc/meminfo: memFree=937888/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=734748 CPUtime=4300.63
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 180232 0 0 0 429871 192 0 0 25 0 1 0 216210077 752381952 179731 1992294400 134512640 135674940 4294956208 18446744073709551615 134564761 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 183687 179731 99 283 0 183401 0
Current children cumulated CPU time (s) 4300.63
Current children cumulated vsize (KiB) 734748
[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31159
/proc/meminfo: memFree=937888/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=734748 CPUtime=4360.6
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 180232 0 0 0 435868 192 0 0 25 0 1 0 216210077 752381952 179731 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 183687 179731 99 283 0 183401 0
Current children cumulated CPU time (s) 4360.6
Current children cumulated vsize (KiB) 734748
[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31159
/proc/meminfo: memFree=937760/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=734748 CPUtime=4420.58
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 180232 0 0 0 441866 192 0 0 25 0 1 0 216210077 752381952 179731 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 183687 179731 99 283 0 183401 0
Current children cumulated CPU time (s) 4420.58
Current children cumulated vsize (KiB) 734748
[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31159
/proc/meminfo: memFree=937760/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=734748 CPUtime=4480.55
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 180232 0 0 0 447863 192 0 0 25 0 1 0 216210077 752381952 179731 1992294400 134512640 135674940 4294956208 18446744073709551615 134564854 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 183687 179731 99 283 0 183401 0
Current children cumulated CPU time (s) 4480.55
Current children cumulated vsize (KiB) 734748
[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31159
/proc/meminfo: memFree=937696/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=734748 CPUtime=4540.52
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 180235 0 0 0 453860 192 0 0 25 0 1 0 216210077 752381952 179734 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 183687 179734 99 283 0 183401 0
Current children cumulated CPU time (s) 4540.52
Current children cumulated vsize (KiB) 734748
[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31159
/proc/meminfo: memFree=937504/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=734748 CPUtime=4600.51
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 180238 0 0 0 459859 192 0 0 25 0 1 0 216210077 752381952 179737 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 183687 179737 99 283 0 183401 0
Current children cumulated CPU time (s) 4600.51
Current children cumulated vsize (KiB) 734748
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31159
/proc/meminfo: memFree=932192/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=740192 CPUtime=4660.48
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 181595 0 0 0 465855 193 0 0 25 0 1 0 216210077 757956608 181094 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 185048 181094 99 283 0 184762 0
Current children cumulated CPU time (s) 4660.48
Current children cumulated vsize (KiB) 740192
[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31159
/proc/meminfo: memFree=932128/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=740192 CPUtime=4720.45
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 181595 0 0 0 471852 193 0 0 25 0 1 0 216210077 757956608 181094 1992294400 134512640 135674940 4294956208 18446744073709551615 134564848 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 185048 181094 99 283 0 184762 0
Current children cumulated CPU time (s) 4720.45
Current children cumulated vsize (KiB) 740192
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31159
/proc/meminfo: memFree=932128/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=740192 CPUtime=4780.42
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 181597 0 0 0 477849 193 0 0 25 0 1 0 216210077 757956608 181096 1992294400 134512640 135674940 4294956208 18446744073709551615 134551944 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 185048 181096 99 283 0 184762 0
Current children cumulated CPU time (s) 4780.42
Current children cumulated vsize (KiB) 740192
[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31159
/proc/meminfo: memFree=932128/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=740192 CPUtime=4840.4
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 181597 0 0 0 483847 193 0 0 25 0 1 0 216210077 757956608 181096 1992294400 134512640 135674940 4294956208 18446744073709551615 134558972 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 185048 181096 99 283 0 184762 0
Current children cumulated CPU time (s) 4840.4
Current children cumulated vsize (KiB) 740192
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31159
/proc/meminfo: memFree=932128/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=740192 CPUtime=4900.38
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 181598 0 0 0 489845 193 0 0 25 0 1 0 216210077 757956608 181097 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 185048 181097 99 283 0 184762 0
Current children cumulated CPU time (s) 4900.38
Current children cumulated vsize (KiB) 740192
[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31159
/proc/meminfo: memFree=932064/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=740192 CPUtime=4960.36
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 181599 0 0 0 495843 193 0 0 25 0 1 0 216210077 757956608 181098 1992294400 134512640 135674940 4294956208 18446744073709551615 134556413 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 185048 181098 99 283 0 184762 0
Current children cumulated CPU time (s) 4960.36
Current children cumulated vsize (KiB) 740192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5002 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31159
/proc/meminfo: memFree=932000/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=740192 CPUtime=5000.04
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4194304 181599 0 0 0 499811 193 0 0 25 0 1 0 216210077 757956608 181098 1992294400 134512640 135674940 4294956208 18446744073709551615 134556795 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 185048 181098 99 283 0 184762 0
Current children cumulated CPU time (s) 5000.04
Current children cumulated vsize (KiB) 740192
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5002.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31159
/proc/meminfo: memFree=932000/2055920 swapFree=4181940/4192956
[pid=31150] ppid=31148 vsize=0 CPUtime=5000.14
/proc/31150/stat : 31150 (SApperloT-base) R 31148 31150 31069 0 -1 4195332 181599 0 0 0 499811 203 0 0 25 0 1 0 216210077 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/31150/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 5000.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5002.11
CPU time (s): 5000.16
CPU user time (s): 4998.12
CPU system time (s): 2.04469
CPU usage (%): 99.961
Max. virtual memory (cumulated for all children) (KiB): 740192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.12
system time used= 2.04469
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181599
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= 2
involuntary context switches= 14675
runsolver used 4.41533 second user time and 13.7829 second system time
The end
Begin job on node58 at 2009-05-09 17:10:28
IDJOB=1785005
IDBENCH=24669
IDSOLVER=642
FILE ID=node58/1785005-1241881820
PBS_JOBID= 9264645
Free space on /tmp= 66084 MiB
SOLVER NAME= SApperloT base
BENCH NAME= SAT07/crafted/Hard/contest05/others/sgp_9-8-8.sat05-2674.reshuffled-07.cnf
COMMAND LINE= HOME/SApperloT-base -seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1785005-1241881820/watcher-1785005-1241881820 -o /tmp/evaluation-result-1785005-1241881820/solver-1785005-1241881820 -C 5000 -W 6000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=1669258616 HOME/instance-1785005-1241881820.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f935103d71f7bb9e8d8051793d20ec02
RANDOM SEED=1669258616
node58.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.233
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.233
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: 1658888 kB
Buffers: 30940 kB
Cached: 299772 kB
SwapCached: 4936 kB
Active: 125632 kB
Inactive: 213604 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1658888 kB
SwapTotal: 4192956 kB
SwapFree: 4181940 kB
Dirty: 53752 kB
Writeback: 0 kB
Mapped: 14716 kB
Slab: 43852 kB
Committed_AS: 670668 kB
PageTables: 1356 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= 66084 MiB
End job on node58 at 2009-05-09 18:33:53