runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-456476-1178344040 -o ROOT/results/node14/solver-456476-1178344040 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/456476-1178344040/picosat /tmp/evaluation/456476-1178344040/instance-456476-1178344040.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): 7500 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.85 0.97 0.99 3/77 11869
/proc/meminfo: memFree=1825192/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=884 CPUtime=0
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 137 0 0 0 0 0 0 0 18 0 1 0 282321820 905216 124 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 221 124 40 102 0 116 0
[startup+0.103857 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 11869
/proc/meminfo: memFree=1825192/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=1172 CPUtime=0.09
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 222 0 0 0 3 6 0 0 18 0 1 0 282321820 1200128 209 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 293 209 40 102 0 188 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1172
[startup+0.201866 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 11869
/proc/meminfo: memFree=1825192/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=1568 CPUtime=0.19
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 318 0 0 0 8 11 0 0 18 0 1 0 282321820 1605632 305 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 392 305 40 102 0 287 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1568
[startup+0.301876 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 11869
/proc/meminfo: memFree=1825192/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=2092 CPUtime=0.29
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 417 0 0 0 13 16 0 0 19 0 1 0 282321820 2142208 404 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 523 404 40 102 0 418 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2092
[startup+0.701913 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 11869
/proc/meminfo: memFree=1825192/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=3800 CPUtime=0.69
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 814 0 0 0 32 37 0 0 23 0 1 0 282321820 3891200 801 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 950 801 40 102 0 845 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3800
[startup+1.50199 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 11870
/proc/meminfo: memFree=1820448/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=7084 CPUtime=1.49
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 1615 0 0 0 65 84 0 0 25 0 1 0 282321820 7254016 1602 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 1771 1602 40 102 0 1666 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7084
[startup+3.10214 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 11870
/proc/meminfo: memFree=1816480/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=11180 CPUtime=3.09
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 2670 0 0 0 208 101 0 0 25 0 1 0 282321820 11448320 2655 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134583827 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 2795 2655 48 102 0 2690 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11180
[startup+6.30144 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 11870
/proc/meminfo: memFree=1809376/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=17516 CPUtime=6.29
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 4278 0 0 0 526 103 0 0 25 0 1 0 282321820 17936384 4263 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134583827 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 4379 4263 48 102 0 4274 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17516
[startup+12.701 s]
/proc/loadavg: 0.87 0.97 0.99 2/78 11870
/proc/meminfo: memFree=1801824/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=23428 CPUtime=12.69
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 5842 0 0 0 1164 105 0 0 25 0 1 0 282321820 23990272 5752 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 5857 5752 48 102 0 5752 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23428
[startup+25.5013 s]
/proc/loadavg: 0.90 0.97 0.99 2/78 11870
/proc/meminfo: memFree=1801760/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=24360 CPUtime=25.49
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 6024 0 0 0 2444 105 0 0 25 0 1 0 282321820 24944640 5767 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 6090 5767 48 102 0 5985 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24360
[startup+51.1017 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 11870
/proc/meminfo: memFree=1793376/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=33064 CPUtime=51.08
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 8293 0 0 0 5002 106 0 0 25 0 1 0 282321820 33857536 7874 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134597623 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 8266 7874 48 102 0 8161 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33064
[startup+102.302 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 11870
/proc/meminfo: memFree=1785376/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=40752 CPUtime=102.26
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 10593 0 0 0 10119 107 0 0 25 0 1 0 282321820 41730048 9860 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 10188 9860 48 102 0 10083 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 40752
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11870
/proc/meminfo: memFree=1768800/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=57116 CPUtime=162.25
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 15238 0 0 0 16114 111 0 0 25 0 1 0 282321820 58486784 13988 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134525828 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 14279 13988 48 102 0 14174 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 57116
[startup+222.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11870
/proc/meminfo: memFree=1749728/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=76052 CPUtime=222.23
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 20118 0 0 0 22109 114 0 0 25 0 1 0 282321820 77877248 18743 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134529404 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 19013 18743 48 102 0 18908 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 76052
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11870
/proc/meminfo: memFree=1750816/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=74940 CPUtime=282.21
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 20142 0 0 0 28107 114 0 0 25 0 1 0 282321820 76738560 18489 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 18735 18489 48 102 0 18630 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 74940
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11870
/proc/meminfo: memFree=1747560/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=78620 CPUtime=342.19
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 21072 0 0 0 34103 116 0 0 25 0 1 0 282321820 80506880 19282 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134525621 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 19655 19282 48 102 0 19550 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 78620
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11870
/proc/meminfo: memFree=1747880/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=78160 CPUtime=402.18
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 21098 0 0 0 40101 117 0 0 25 0 1 0 282321820 80035840 19216 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134520000 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 19540 19216 48 102 0 19435 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 78160
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11870
/proc/meminfo: memFree=1739368/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=86604 CPUtime=462.17
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 23506 0 0 0 46098 119 0 0 25 0 1 0 282321820 88682496 21339 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 21651 21339 48 102 0 21546 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 86604
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11870
/proc/meminfo: memFree=1727144/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=98724 CPUtime=522.14
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 27093 0 0 0 52093 121 0 0 25 0 1 0 282321820 101093376 24370 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 24681 24370 48 102 0 24576 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 98724
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11870
/proc/meminfo: memFree=1727400/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=98392 CPUtime=582.13
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 27119 0 0 0 58091 122 0 0 25 0 1 0 282321820 100753408 24328 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134531728 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 24598 24328 48 102 0 24493 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 98392
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11870
/proc/meminfo: memFree=1724072/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=102876 CPUtime=642.12
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 28414 0 0 0 64089 123 0 0 25 0 1 0 282321820 105345024 25446 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 25719 25446 48 102 0 25614 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 102876
################
# More data... #
################
[startup+4062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12070
/proc/meminfo: memFree=1562728/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=264444 CPUtime=4061.08
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 73475 0 0 0 405916 192 0 0 25 0 1 0 282321820 270790656 65458 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134529758 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 66111 65458 48 102 0 66006 0
Current children cumulated CPU time (s) 4061.08
Current children cumulated vsize (KiB) 264444
[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12070
/proc/meminfo: memFree=1562664/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=264444 CPUtime=4121.05
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 73475 0 0 0 411913 192 0 0 25 0 1 0 282321820 270790656 65458 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134525929 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 66111 65458 48 102 0 66006 0
Current children cumulated CPU time (s) 4121.05
Current children cumulated vsize (KiB) 264444
[startup+4182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12070
/proc/meminfo: memFree=1562600/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=264444 CPUtime=4181.04
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 73494 0 0 0 417911 193 0 0 25 0 1 0 282321820 270790656 65477 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 66111 65477 48 102 0 66006 0
Current children cumulated CPU time (s) 4181.04
Current children cumulated vsize (KiB) 264444
[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12070
/proc/meminfo: memFree=1562600/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=264444 CPUtime=4241.02
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 73494 0 0 0 423909 193 0 0 25 0 1 0 282321820 270790656 65477 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134529700 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 66111 65477 48 102 0 66006 0
Current children cumulated CPU time (s) 4241.02
Current children cumulated vsize (KiB) 264444
[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12070
/proc/meminfo: memFree=1562536/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=264444 CPUtime=4301.01
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 73513 0 0 0 429907 194 0 0 25 0 1 0 282321820 270790656 65496 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134529080 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 66111 65496 48 102 0 66006 0
Current children cumulated CPU time (s) 4301.01
Current children cumulated vsize (KiB) 264444
[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12070
/proc/meminfo: memFree=1562536/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=264444 CPUtime=4360.99
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 73513 0 0 0 435905 194 0 0 25 0 1 0 282321820 270790656 65496 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 66111 65496 48 102 0 66006 0
Current children cumulated CPU time (s) 4360.99
Current children cumulated vsize (KiB) 264444
[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 12096
/proc/meminfo: memFree=1561336/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=264444 CPUtime=4420.96
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 73513 0 0 0 441901 195 0 0 25 0 1 0 282321820 270790656 65496 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 66111 65496 48 102 0 66006 0
Current children cumulated CPU time (s) 4420.96
Current children cumulated vsize (KiB) 264444
[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12268
/proc/meminfo: memFree=1562272/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=264444 CPUtime=4480.86
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 73513 0 0 0 447890 196 0 0 25 0 1 0 282321820 270790656 65496 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134529564 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 66111 65496 48 102 0 66006 0
Current children cumulated CPU time (s) 4480.86
Current children cumulated vsize (KiB) 264444
[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12268
/proc/meminfo: memFree=1562344/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=264444 CPUtime=4540.84
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 73513 0 0 0 453888 196 0 0 25 0 1 0 282321820 270790656 65496 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 66111 65496 48 102 0 66006 0
Current children cumulated CPU time (s) 4540.84
Current children cumulated vsize (KiB) 264444
[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12268
/proc/meminfo: memFree=1562280/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=264444 CPUtime=4600.83
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 73531 0 0 0 459886 197 0 0 25 0 1 0 282321820 270790656 65514 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 66111 65514 48 102 0 66006 0
Current children cumulated CPU time (s) 4600.83
Current children cumulated vsize (KiB) 264444
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12268
/proc/meminfo: memFree=1562280/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=264444 CPUtime=4660.8
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 73531 0 0 0 465883 197 0 0 25 0 1 0 282321820 270790656 65514 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134543543 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 66111 65514 48 102 0 66006 0
Current children cumulated CPU time (s) 4660.8
Current children cumulated vsize (KiB) 264444
[startup+4722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12268
/proc/meminfo: memFree=1562152/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=264444 CPUtime=4720.8
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 73552 0 0 0 471882 198 0 0 25 0 1 0 282321820 270790656 65535 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 66111 65535 48 102 0 66006 0
Current children cumulated CPU time (s) 4720.8
Current children cumulated vsize (KiB) 264444
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12268
/proc/meminfo: memFree=1562344/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=264444 CPUtime=4780.77
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 73552 0 0 0 477879 198 0 0 25 0 1 0 282321820 270790656 65535 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 66111 65535 48 102 0 66006 0
Current children cumulated CPU time (s) 4780.77
Current children cumulated vsize (KiB) 264444
[startup+4842.31 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 12268
/proc/meminfo: memFree=1562280/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=264444 CPUtime=4840.76
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 73552 0 0 0 483877 199 0 0 25 0 1 0 282321820 270790656 65535 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 66111 65535 48 102 0 66006 0
Current children cumulated CPU time (s) 4840.76
Current children cumulated vsize (KiB) 264444
[startup+4902.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 12268
/proc/meminfo: memFree=1562280/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=264444 CPUtime=4900.74
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 73552 0 0 0 489875 199 0 0 25 0 1 0 282321820 270790656 65535 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 66111 65535 48 102 0 66006 0
Current children cumulated CPU time (s) 4900.74
Current children cumulated vsize (KiB) 264444
[startup+4962.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 12268
/proc/meminfo: memFree=1562280/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=264444 CPUtime=4960.73
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 73552 0 0 0 495873 200 0 0 25 0 1 0 282321820 270790656 65535 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 66111 65535 48 102 0 66006 0
Current children cumulated CPU time (s) 4960.73
Current children cumulated vsize (KiB) 264444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5001.6 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 12268
/proc/meminfo: memFree=1562280/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=264444 CPUtime=5000.02
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 73552 0 0 0 499802 200 0 0 25 0 1 0 282321820 270790656 65535 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134531123 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 66111 65535 48 102 0 66006 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 264444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5001.6 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 12268
/proc/meminfo: memFree=1562280/2055920 swapFree=4148836/4192956
[pid=11869] ppid=11867 vsize=264444 CPUtime=5000.02
/proc/11869/stat : 11869 (picosat) R 11867 11869 11813 0 -1 4194304 73552 0 0 0 499802 200 0 0 25 0 1 0 282321820 270790656 65535 18446744073709551615 134512640 134931368 4294956592 18446744073709551615 134531123 0 0 4096 0 0 0 0 17 1 0 0
/proc/11869/statm: 66111 65535 48 102 0 66006 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 264444
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5001.65
CPU time (s): 5000.07
CPU user time (s): 4998.02
CPU system time (s): 2.05069
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 267508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.02
system time used= 2.05069
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73552
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= 103591
runsolver used 3.9454 second user time and 10.6574 second system time
The end
Begin job on node14 on Sat May 5 05:47:21 UTC 2007
IDJOB= 456476
IDBENCH= 24724
IDSOLVER= 171
FILE ID= node14/456476-1178344040
PBS_JOBID= 5188610
Free space on /tmp= 66561 MiB
SOLVER NAME= picosat 535
BENCH NAME= HOME/pub/bench/SAT07/crafted/Difficult/contest05/sabharwal/gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/456476-1178344040/picosat /tmp/evaluation/456476-1178344040/instance-456476-1178344040.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-456476-1178344040 -o ROOT/results/node14/solver-456476-1178344040 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/456476-1178344040/picosat /tmp/evaluation/456476-1178344040/instance-456476-1178344040.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= dff294238660aead84de7aec33e643fc
RANDOM SEED= 606503248
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node14.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.227
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.227
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: 1825536 kB
Buffers: 38584 kB
Cached: 118176 kB
SwapCached: 11676 kB
Active: 108848 kB
Inactive: 71060 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1825536 kB
SwapTotal: 4192956 kB
SwapFree: 4148836 kB
Dirty: 4228 kB
Writeback: 0 kB
Mapped: 29968 kB
Slab: 35920 kB
Committed_AS: 9404092 kB
PageTables: 1784 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= 66561 MiB
End job on node14 on Sat May 5 07:10:44 UTC 2007