0.09/0.19 c +------------------------------+
0.09/0.19 c | gNovelty+, version 2.0 |
0.09/0.19 c +------------------------------+
0.09/0.19 c gnovelty+ -h for help
0.09/0.19 c
0.09/0.19 c Problem instance: numAtoms = 23696, numClauses = 70703
0.09/0.19 c General parameters: seed = 1970635071, timeout = 10 secs, targetCost = 0, print solution: no
0.09/0.19 c gNovelty+ parameters: walkprob = 0.01, smoothprob = 1.00, noise = adaptive
0.09/0.19 c tries = 1
0.09/0.19 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1555271-1238739397/watcher-1555271-1238739397 -o /tmp/evaluation-result-1555271-1238739397/solver-1555271-1238739397 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/gnovelty+2 HOME/instance-1555271-1238739397.cnf 1970635071
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): 1800 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: 1.99 1.74 1.60 4/94 4359
/proc/meminfo: memFree=1625496/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1017596 CPUtime=0
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 500270176 1042018304 185 1992294400 134512640 135663704 4294956224 18446744073709551615 135101030 0 0 4096 0 0 0 0 17 1 0 0
/proc/4359/statm: 254399 185 92 281 0 254115 0
[startup+0.0485829 s]
/proc/loadavg: 1.99 1.74 1.60 4/94 4359
/proc/meminfo: memFree=1625496/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1019564 CPUtime=0.03
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 631 0 0 0 3 0 0 0 20 0 1 0 500270176 1044033536 582 1992294400 134512640 135663704 4294956224 18446744073709551615 135286606 0 0 4096 0 0 0 0 17 0 0 0
/proc/4359/statm: 254891 582 96 281 0 254607 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1019564
[startup+0.101592 s]
/proc/loadavg: 1.99 1.74 1.60 4/94 4359
/proc/meminfo: memFree=1625496/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1019960 CPUtime=0.09
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 895 0 0 0 9 0 0 0 20 0 1 0 500270176 1044439040 846 1992294400 134512640 135663704 4294956224 18446744073709551615 135285553 0 0 4096 0 0 0 0 17 0 0 0
/proc/4359/statm: 254990 846 96 281 0 254706 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1019960
[startup+0.301629 s]
/proc/loadavg: 1.99 1.74 1.60 4/94 4359
/proc/meminfo: memFree=1625496/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=0.13
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 12 1 0 0 21 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134545619 0 0 4096 0 0 0 0 17 0 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 1023540
[startup+0.704702 s]
/proc/loadavg: 1.99 1.74 1.60 4/94 4359
/proc/meminfo: memFree=1625496/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=0.43
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 41 2 0 0 24 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134544196 0 0 4096 0 0 0 0 17 0 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 1023540
[startup+1.50185 s]
/proc/loadavg: 1.99 1.74 1.60 5/95 4360
/proc/meminfo: memFree=1618640/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=1.08
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 105 3 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134545793 0 0 4096 0 0 0 0 17 0 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 1023540
[startup+3.10114 s]
/proc/loadavg: 1.99 1.74 1.60 3/95 4360
/proc/meminfo: memFree=1618448/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=2.26
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 221 5 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134546755 0 0 4096 0 0 0 0 17 0 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 1023540
heavy processes:
%CPU=97 pid=3568 uid=539 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI -O -i comp1_min1.in -o R12_min1.out -p R12.prmtop -c R12.inpcrd -r R12_min1.rst -
%CPU=16 pid=3751 uid=522 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI node84.alineos.net 44249 -p4amslave -p4yourname node83 -p4rmrank 2
%CPU=16 pid=3772 uid=522 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI node84.alineos.net 44249 -p4amslave -p4yourname node83 -p4rmrank 3
[startup+6.30187 s]
/proc/loadavg: 2.23 1.79 1.62 3/95 4360
/proc/meminfo: memFree=1618256/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=4.84
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 476 8 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134544167 0 0 4096 0 0 0 0 17 0 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 1023540
heavy processes:
%CPU=97 pid=3568 uid=539 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI -O -i comp1_min1.in -o R12_min1.out -p R12.prmtop -c R12.inpcrd -r R12_min1.rst -
%CPU=16 pid=3751 uid=522 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI node84.alineos.net 44249 -p4amslave -p4yourname node83 -p4rmrank 2
%CPU=16 pid=3772 uid=522 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI node84.alineos.net 44249 -p4amslave -p4yourname node83 -p4rmrank 3
[startup+12.701 s]
/proc/loadavg: 2.37 1.83 1.63 4/95 4360
/proc/meminfo: memFree=1617936/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=8.9
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 870 20 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134544259 0 0 4096 0 0 0 0 17 0 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 8.9
Current children cumulated vsize (KiB) 1023540
heavy processes:
%CPU=97 pid=3568 uid=539 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI -O -i comp1_min1.in -o R12_min1.out -p R12.prmtop -c R12.inpcrd -r R12_min1.rst -
%CPU=16 pid=3751 uid=522 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI node84.alineos.net 44249 -p4amslave -p4yourname node83 -p4rmrank 2
%CPU=16 pid=3772 uid=522 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI node84.alineos.net 44249 -p4amslave -p4yourname node83 -p4rmrank 3
[startup+25.5014 s]
/proc/loadavg: 2.42 1.87 1.65 3/95 4360
/proc/meminfo: memFree=1617808/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=17.98
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 1760 38 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134545631 0 0 4096 0 0 0 0 17 0 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 17.98
Current children cumulated vsize (KiB) 1023540
heavy processes:
%CPU=97 pid=3568 uid=539 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI -O -i comp1_min1.in -o R12_min1.out -p R12.prmtop -c R12.inpcrd -r R12_min1.rst -
%CPU=16 pid=3751 uid=522 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI node84.alineos.net 44249 -p4amslave -p4yourname node83 -p4rmrank 2
%CPU=16 pid=3772 uid=522 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI node84.alineos.net 44249 -p4amslave -p4yourname node83 -p4rmrank 3
[startup+51.1011 s]
/proc/loadavg: 2.41 1.91 1.67 4/95 4360
/proc/meminfo: memFree=1617808/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=35.77
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 3503 74 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134544259 0 0 4096 0 0 0 0 17 0 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 35.77
Current children cumulated vsize (KiB) 1023540
heavy processes:
%CPU=97 pid=3568 uid=539 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI -O -i comp1_min1.in -o R12_min1.out -p R12.prmtop -c R12.inpcrd -r R12_min1.rst -
%CPU=16 pid=3751 uid=522 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI node84.alineos.net 44249 -p4amslave -p4yourname node83 -p4rmrank 2
%CPU=16 pid=3772 uid=522 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI node84.alineos.net 44249 -p4amslave -p4yourname node83 -p4rmrank 3
[startup+102.308 s]
/proc/loadavg: 2.63 2.06 1.73 4/95 4360
/proc/meminfo: memFree=1617616/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=70.77
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 6923 154 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134524897 0 0 4096 0 0 0 0 17 0 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 70.77
Current children cumulated vsize (KiB) 1023540
heavy processes:
%CPU=97 pid=3568 uid=539 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI -O -i comp1_min1.in -o R12_min1.out -p R12.prmtop -c R12.inpcrd -r R12_min1.rst -
%CPU=16 pid=3751 uid=522 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI node84.alineos.net 44249 -p4amslave -p4yourname node83 -p4rmrank 2
%CPU=16 pid=3772 uid=522 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI node84.alineos.net 44249 -p4amslave -p4yourname node83 -p4rmrank 3
[startup+162.302 s]
/proc/loadavg: 2.78 2.19 1.79 3/95 4360
/proc/meminfo: memFree=1617616/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=112.61
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 11020 241 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134545776 0 0 4096 0 0 0 0 17 0 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 112.61
Current children cumulated vsize (KiB) 1023540
heavy processes:
%CPU=97 pid=3568 uid=539 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI -O -i comp1_min1.in -o R12_min1.out -p R12.prmtop -c R12.inpcrd -r R12_min1.rst -
%CPU=16 pid=3751 uid=522 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI node84.alineos.net 44249 -p4amslave -p4yourname node83 -p4rmrank 2
%CPU=16 pid=3772 uid=522 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI node84.alineos.net 44249 -p4amslave -p4yourname node83 -p4rmrank 3
[startup+222.302 s]
/proc/loadavg: 2.56 2.23 1.83 4/95 4360
/proc/meminfo: memFree=1617744/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=156.06
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 15281 325 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134524548 0 0 4096 0 0 0 0 17 0 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 156.06
Current children cumulated vsize (KiB) 1023540
heavy processes:
%CPU=97 pid=3568 uid=539 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI -O -i comp1_min1.in -o R12_min1.out -p R12.prmtop -c R12.inpcrd -r R12_min1.rst -
%CPU=16 pid=3751 uid=522 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI node84.alineos.net 44249 -p4amslave -p4yourname node83 -p4rmrank 2
%CPU=16 pid=3772 uid=522 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI node84.alineos.net 44249 -p4amslave -p4yourname node83 -p4rmrank 3
[startup+282.302 s]
/proc/loadavg: 2.40 2.24 1.85 3/95 4360
/proc/meminfo: memFree=1617808/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=199.41
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 19529 412 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134545190 0 0 4096 0 0 0 0 17 0 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 199.41
Current children cumulated vsize (KiB) 1023540
heavy processes:
%CPU=97 pid=3568 uid=539 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI -O -i comp1_min1.in -o R12_min1.out -p R12.prmtop -c R12.inpcrd -r R12_min1.rst -
%CPU=16 pid=3751 uid=522 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI node84.alineos.net 44249 -p4amslave -p4yourname node83 -p4rmrank 2
%CPU=16 pid=3772 uid=522 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI node84.alineos.net 44249 -p4amslave -p4yourname node83 -p4rmrank 3
[startup+342.302 s]
/proc/loadavg: 2.39 2.27 1.89 5/95 4360
/proc/meminfo: memFree=1617872/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=242.74
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 23780 494 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134524461 0 0 4096 0 0 0 0 17 0 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 242.74
Current children cumulated vsize (KiB) 1023540
heavy processes:
%CPU=97 pid=3568 uid=539 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI -O -i comp1_min1.in -o R12_min1.out -p R12.prmtop -c R12.inpcrd -r R12_min1.rst -
%CPU=16 pid=3751 uid=522 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI node84.alineos.net 44249 -p4amslave -p4yourname node83 -p4rmrank 2
%CPU=16 pid=3772 uid=522 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI node84.alineos.net 44249 -p4amslave -p4yourname node83 -p4rmrank 3
[startup+402.302 s]
/proc/loadavg: 2.14 2.22 1.89 3/87 4360
/proc/meminfo: memFree=1636968/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=297.25
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 29204 521 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134544380 0 0 4096 0 0 0 0 17 1 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 297.25
Current children cumulated vsize (KiB) 1023540
heavy processes:
%CPU=97 pid=3568 uid=539 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI -O -i comp1_min1.in -o R12_min1.out -p R12.prmtop -c R12.inpcrd -r R12_min1.rst -
[startup+462.302 s]
/proc/loadavg: 2.13 2.19 1.90 3/87 4360
/proc/meminfo: memFree=1637128/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=356.94
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 35173 521 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134545187 0 0 4096 0 0 0 0 17 1 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 356.94
Current children cumulated vsize (KiB) 1023540
heavy processes:
%CPU=97 pid=3568 uid=539 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI -O -i comp1_min1.in -o R12_min1.out -p R12.prmtop -c R12.inpcrd -r R12_min1.rst -
[startup+522.303 s]
/proc/loadavg: 2.05 2.15 1.91 3/87 4360
/proc/meminfo: memFree=1637128/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=416.65
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 41144 521 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134545793 0 0 4096 0 0 0 0 17 1 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 416.65
Current children cumulated vsize (KiB) 1023540
heavy processes:
%CPU=97 pid=3568 uid=539 cmd=/home/lpcia/sayede/bin/AMBER-10/exe/sander.MPI -O -i comp1_min1.in -o R12_min1.out -p R12.prmtop -c R12.inpcrd -r R12_min1.rst -
[startup+582.302 s]
/proc/loadavg: 2.02 2.12 1.91 3/87 4360
/proc/meminfo: memFree=1637192/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=476.34
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 47113 521 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134545776 0 0 4096 0 0 0 0 17 1 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 476.34
Current children cumulated vsize (KiB) 1023540
[startup+642.302 s]
/proc/loadavg: 2.00 2.10 1.91 3/87 4360
/proc/meminfo: memFree=1637192/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=536.05
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 53084 521 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134544157 0 0 4096 0 0 0 0 17 1 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 536.05
Current children cumulated vsize (KiB) 1023540
[startup+702.302 s]
/proc/loadavg: 2.00 2.08 1.91 3/87 4360
/proc/meminfo: memFree=1637192/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=595.75
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 59054 521 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134525255 0 0 4096 0 0 0 0 17 1 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 595.75
Current children cumulated vsize (KiB) 1023540
[startup+762.307 s]
/proc/loadavg: 2.00 2.06 1.91 3/87 4360
/proc/meminfo: memFree=1637384/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=655.46
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 65025 521 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134525255 0 0 4096 0 0 0 0 17 1 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 655.46
Current children cumulated vsize (KiB) 1023540
[startup+822.302 s]
/proc/loadavg: 2.00 2.05 1.91 3/87 4360
/proc/meminfo: memFree=1637448/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=715.16
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 70995 521 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134524464 0 0 4096 0 0 0 0 17 1 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 715.16
Current children cumulated vsize (KiB) 1023540
[startup+882.302 s]
/proc/loadavg: 2.00 2.04 1.91 3/87 4360
/proc/meminfo: memFree=1637448/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=774.87
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 76966 521 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134525361 0 0 4096 0 0 0 0 17 1 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 774.87
Current children cumulated vsize (KiB) 1023540
[startup+942.302 s]
/proc/loadavg: 2.00 2.03 1.91 3/87 4360
/proc/meminfo: memFree=1637448/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=834.57
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 82936 521 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134546811 0 0 4096 0 0 0 0 17 1 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 834.57
Current children cumulated vsize (KiB) 1023540
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/87 4360
/proc/meminfo: memFree=1637512/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=894.28
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 88907 521 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134545793 0 0 4096 0 0 0 0 17 1 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 894.28
Current children cumulated vsize (KiB) 1023540
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/87 4360
/proc/meminfo: memFree=1637512/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=953.98
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 94877 521 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134525255 0 0 4096 0 0 0 0 17 1 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 953.98
Current children cumulated vsize (KiB) 1023540
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/87 4360
/proc/meminfo: memFree=1637512/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=1013.69
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 100848 521 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134544240 0 0 4096 0 0 0 0 17 1 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 1013.69
Current children cumulated vsize (KiB) 1023540
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 4360
/proc/meminfo: memFree=1637512/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=1073.4
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 106819 521 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134544389 0 0 4096 0 0 0 0 17 1 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 1073.4
Current children cumulated vsize (KiB) 1023540
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 4360
/proc/meminfo: memFree=1637384/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=1133.1
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 112789 521 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134524548 0 0 4096 0 0 0 0 17 1 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 1133.1
Current children cumulated vsize (KiB) 1023540
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 4360
/proc/meminfo: memFree=1637320/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=1192.81
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 118760 521 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134544373 0 0 4096 0 0 0 0 17 1 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 1192.81
Current children cumulated vsize (KiB) 1023540
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1309.6 s]
/proc/loadavg: 2.00 2.00 1.91 3/87 4360
/proc/meminfo: memFree=1637256/2055924 swapFree=4179644/4192956
[pid=4359] ppid=4357 vsize=1023540 CPUtime=1200.07
/proc/4359/stat : 4359 (gnovelty+2) R 4357 4359 4322 0 -1 4194304 1845 0 0 0 119486 521 0 0 25 0 1 0 500270176 1048104960 1795 1992294400 134512640 135663704 4294956224 18446744073709551615 134544141 0 0 4096 0 0 0 0 17 1 0 0
/proc/4359/statm: 255885 1795 112 281 0 255601 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 1023540
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): 1309.61
CPU time (s): 1200.08
CPU user time (s): 1194.87
CPU system time (s): 5.21921
CPU usage (%): 91.6368
Max. virtual memory (cumulated for all children) (KiB): 1023540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1194.87
system time used= 5.21921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1845
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= 216430
runsolver used 1.58876 second user time and 4.81727 second system time
The end
Begin job on node83 at 2009-04-03 08:16:37
IDJOB=1555271
IDBENCH=70796
IDSOLVER=548
FILE ID=node83/1555271-1238739397
PBS_JOBID= 9085395
Free space on /tmp= 66560 MiB
SOLVER NAME= gnovelty+2 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand032.cnf
COMMAND LINE= HOME/gnovelty+2 BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1555271-1238739397/watcher-1555271-1238739397 -o /tmp/evaluation-result-1555271-1238739397/solver-1555271-1238739397 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/gnovelty+2 HOME/instance-1555271-1238739397.cnf 1970635071
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fc00df719c8630009723cd295f7c0c3b
RANDOM SEED=1970635071
node83.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.268
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.268
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055924 kB
MemFree: 1625912 kB
Buffers: 80492 kB
Cached: 234924 kB
SwapCached: 7584 kB
Active: 239020 kB
Inactive: 112788 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1625912 kB
SwapTotal: 4192956 kB
SwapFree: 4179644 kB
Dirty: 2512 kB
Writeback: 0 kB
Mapped: 45108 kB
Slab: 61292 kB
Committed_AS: 1789668 kB
PageTables: 3348 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= 66560 MiB
End job on node83 at 2009-04-03 08:38:29