runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-320885-1176324948 -o ROOT/results/node19/solver-320885-1176324948 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/320885-1176324948/dewSatz_1a /tmp/evaluation/320885-1176324948/instance-320885-1176324948.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.92 0.95 0.96 3/77 13655
/proc/meminfo: memFree=1797448/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=674392 CPUtime=0
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 113 0 0 0 0 0 0 0 18 0 1 0 80412230 690577408 98 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134575619 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 168598 98 41 100 0 168495 0
[startup+0.0894539 s]
/proc/loadavg: 0.92 0.95 0.96 3/77 13655
/proc/meminfo: memFree=1797448/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=675844 CPUtime=0.08
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 669 0 0 0 8 0 0 0 18 0 1 0 80412230 692064256 654 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134575619 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 168961 654 41 100 0 168858 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 675844
[startup+0.101456 s]
/proc/loadavg: 0.92 0.95 0.96 3/77 13655
/proc/meminfo: memFree=1797448/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=675976 CPUtime=0.09
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 744 0 0 0 9 0 0 0 18 0 1 0 80412230 692199424 729 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134520436 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 169027 730 41 100 0 168924 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 675976
[startup+0.301478 s]
/proc/loadavg: 0.92 0.95 0.96 3/77 13655
/proc/meminfo: memFree=1797448/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=679276 CPUtime=0.29
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 2015 0 0 0 28 1 0 0 19 0 1 0 80412230 695578624 2000 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134575619 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 169819 2000 41 100 0 169716 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 679276
[startup+0.701522 s]
/proc/loadavg: 0.92 0.95 0.96 3/77 13655
/proc/meminfo: memFree=1797448/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=688216 CPUtime=0.69
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 15240 0 0 0 65 4 0 0 22 0 1 0 80412230 704733184 5143 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134520907 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 172054 5143 42 100 0 171951 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 688216
[startup+1.50161 s]
/proc/loadavg: 0.92 0.95 0.96 2/78 13656
/proc/meminfo: memFree=1775488/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=689292 CPUtime=1.49
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 15785 0 0 0 145 4 0 0 25 0 1 0 80412230 705835008 5565 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134517515 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 172323 5565 42 100 0 172220 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 689292
[startup+3.10178 s]
/proc/loadavg: 0.92 0.95 0.96 2/78 13656
/proc/meminfo: memFree=1773504/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=693148 CPUtime=3.09
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 16895 0 0 0 305 4 0 0 25 0 1 0 80412230 709783552 6634 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134515636 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 173287 6634 42 100 0 173184 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 693148
[startup+6.30113 s]
/proc/loadavg: 0.92 0.95 0.96 2/78 13656
/proc/meminfo: memFree=1769024/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=694564 CPUtime=6.29
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 17355 0 0 0 624 5 0 0 25 0 1 0 80412230 711233536 7075 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134517515 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 173641 7075 42 100 0 173538 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 694564
[startup+12.7018 s]
/proc/loadavg: 0.94 0.96 0.96 2/78 13656
/proc/meminfo: memFree=1765760/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=698828 CPUtime=12.68
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 18809 0 0 0 1263 5 0 0 25 0 1 0 80412230 715599872 8400 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134517669 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 174707 8400 42 100 0 174604 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 698828
[startup+25.5012 s]
/proc/loadavg: 0.95 0.96 0.96 2/78 13656
/proc/meminfo: memFree=1758592/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=702960 CPUtime=25.48
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 20095 0 0 0 2542 6 0 0 25 0 1 0 80412230 719831040 9630 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134517476 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 175740 9630 42 100 0 175637 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 702960
[startup+51.102 s]
/proc/loadavg: 0.96 0.96 0.96 2/78 13656
/proc/meminfo: memFree=1753920/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=706776 CPUtime=51.08
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 21309 0 0 0 5101 7 0 0 25 0 1 0 80412230 723738624 10791 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134517509 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 176694 10791 42 100 0 176591 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 706776
[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.96 2/78 13656
/proc/meminfo: memFree=1748224/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=711340 CPUtime=102.27
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 22817 0 0 0 10218 9 0 0 25 0 1 0 80412230 728412160 12229 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134517880 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 177835 12229 42 100 0 177732 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 711340
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13656
/proc/meminfo: memFree=1745856/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=713156 CPUtime=162.25
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 23414 0 0 0 16215 10 0 0 25 0 1 0 80412230 730271744 12800 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134517555 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 178289 12800 42 100 0 178186 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 713156
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13656
/proc/meminfo: memFree=1744064/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=714596 CPUtime=222.22
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 23875 0 0 0 22212 10 0 0 25 0 1 0 80412230 731746304 13241 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134517476 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 178649 13241 42 100 0 178546 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 714596
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13656
/proc/meminfo: memFree=1742784/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=715616 CPUtime=282.21
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 24213 0 0 0 28210 11 0 0 25 0 1 0 80412230 732790784 13563 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134518522 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 178904 13563 42 100 0 178801 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 715616
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/84 13764
/proc/meminfo: memFree=1739456/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=717188 CPUtime=342.14
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 24697 0 0 0 34201 13 0 0 25 0 1 0 80412230 734400512 14026 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134518252 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 179297 14026 42 100 0 179194 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 717188
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13854
/proc/meminfo: memFree=1738368/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=718916 CPUtime=402.07
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 25274 0 0 0 40193 14 0 0 25 0 1 0 80412230 736169984 14579 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134518083 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 179729 14579 42 100 0 179626 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 718916
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13854
/proc/meminfo: memFree=1737664/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=719516 CPUtime=462.05
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 25439 0 0 0 46191 14 0 0 25 0 1 0 80412230 736784384 14737 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134517675 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 179879 14737 42 100 0 179776 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 719516
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13854
/proc/meminfo: memFree=1737024/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=719988 CPUtime=522.04
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 25600 0 0 0 52189 15 0 0 25 0 1 0 80412230 737267712 14891 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134517569 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 179997 14891 42 100 0 179894 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 719988
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13854
/proc/meminfo: memFree=1736384/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=720544 CPUtime=582.02
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 25748 0 0 0 58187 15 0 0 25 0 1 0 80412230 737837056 15033 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134517476 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 180136 15033 42 100 0 180033 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 720544
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13854
/proc/meminfo: memFree=1735616/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=721088 CPUtime=642.01
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 25945 0 0 0 64185 16 0 0 25 0 1 0 80412230 738394112 15222 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134517479 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 180272 15222 42 100 0 180169 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 721088
[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13854
/proc/meminfo: memFree=1735296/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=721364 CPUtime=701.99
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 26038 0 0 0 70182 17 0 0 25 0 1 0 80412230 738676736 15311 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134517579 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 180341 15311 42 100 0 180238 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 721364
[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13854
/proc/meminfo: memFree=1734784/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=721776 CPUtime=761.97
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 26163 0 0 0 76180 17 0 0 25 0 1 0 80412230 739098624 15431 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134518083 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 180444 15431 42 100 0 180341 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 721776
[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13854
/proc/meminfo: memFree=1734528/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=722048 CPUtime=821.95
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 26228 0 0 0 82177 18 0 0 25 0 1 0 80412230 739377152 15493 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134517509 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 180512 15493 42 100 0 180409 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 722048
[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13854
/proc/meminfo: memFree=1733568/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=722736 CPUtime=881.93
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 26458 0 0 0 88174 19 0 0 25 0 1 0 80412230 740081664 15714 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134518252 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 180684 15714 42 100 0 180581 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 722736
[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13854
/proc/meminfo: memFree=1732800/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=723456 CPUtime=941.91
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 26668 0 0 0 94172 19 0 0 25 0 1 0 80412230 740818944 15914 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134517517 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 180864 15914 42 100 0 180761 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 723456
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13854
/proc/meminfo: memFree=1732224/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=723724 CPUtime=1001.9
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 26793 0 0 0 100170 20 0 0 25 0 1 0 80412230 741093376 16034 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134517476 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 180931 16034 42 100 0 180828 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 723724
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13854
/proc/meminfo: memFree=1731648/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=724336 CPUtime=1061.88
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 26955 0 0 0 106168 20 0 0 25 0 1 0 80412230 741720064 16188 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134517476 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 181084 16188 42 100 0 180981 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 724336
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13854
/proc/meminfo: memFree=1731136/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=724604 CPUtime=1121.87
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 27056 0 0 0 112166 21 0 0 25 0 1 0 80412230 741994496 16285 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134517476 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 181151 16285 42 100 0 181048 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 724604
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13854
/proc/meminfo: memFree=1729728/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=725728 CPUtime=1181.85
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 27404 0 0 0 118163 22 0 0 25 0 1 0 80412230 743145472 16618 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134517509 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 181432 16618 42 100 0 181329 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 725728
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.97 0.96 3/78 13854
/proc/meminfo: memFree=1729472/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=725860 CPUtime=1200.04
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 27456 0 0 0 119982 22 0 0 25 0 1 0 80412230 743280640 16668 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134517509 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 181465 16668 42 100 0 181362 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 725860
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 0.97 0.96 3/78 13854
/proc/meminfo: memFree=1729472/2055920 swapFree=4192812/4192956
[pid=13655] ppid=13653 vsize=725860 CPUtime=1200.04
/proc/13655/stat : 13655 (dewSatz_1a) R 13653 13655 11600 0 -1 4194304 27456 0 0 0 119982 22 0 0 25 0 1 0 80412230 743280640 16668 18446744073709551615 134512640 134924432 4294956592 18446744073709551615 134517509 0 0 4096 0 0 0 0 17 1 0 0
/proc/13655/statm: 181465 16668 42 100 0 181362 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 725860
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.52
CPU time (s): 1200.07
CPU user time (s): 1199.83
CPU system time (s): 0.238963
CPU usage (%): 99.9623
Max. virtual memory (cumulated for all children) (KiB): 725860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.83
system time used= 0.238963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27456
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= 6
involuntary context switches= 2214
runsolver used 1.40579 second user time and 2.95255 second system time
The end
Begin job on node19 on Wed Apr 11 20:55:49 UTC 2007
IDJOB= 320885
IDBENCH= 20514
IDSOLVER= 118
FILE ID= node19/320885-1176324948
PBS_JOBID= 4516489
Free space on /tmp= 66542 MiB
SOLVER NAME= DEWSATZ 1A 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/babic/xinetd/itox_vc909.cnf
COMMAND LINE= /tmp/evaluation/320885-1176324948/dewSatz_1a /tmp/evaluation/320885-1176324948/instance-320885-1176324948.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-320885-1176324948 -o ROOT/results/node19/solver-320885-1176324948 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/320885-1176324948/dewSatz_1a /tmp/evaluation/320885-1176324948/instance-320885-1176324948.cnf
META MD5SUM SOLVER= 96edd87e369231aed4bad098c50e0080
MD5SUM BENCH= 627c367c3479ca507fb4d6e8524f1677
RANDOM SEED= 303647565
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node19.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.213
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.213
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: 1797856 kB
Buffers: 16800 kB
Cached: 120152 kB
SwapCached: 0 kB
Active: 54972 kB
Inactive: 147248 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1797856 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7008 kB
Writeback: 0 kB
Mapped: 84156 kB
Slab: 41344 kB
Committed_AS: 2683852 kB
PageTables: 1812 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= 66542 MiB
End job on node19 on Wed Apr 11 21:15:51 UTC 2007