runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1561957-1238769794/watcher-1561957-1238769794 -o /tmp/evaluation-result-1561957-1238769794/solver-1561957-1238769794 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/march_nn HOME/instance-1561957-1238769794.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): 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: 2.06 2.17 2.26 3/86 6379
/proc/meminfo: memFree=1757408/2055924 swapFree=4179644/4192956
[pid=6379] ppid=6377 vsize=8196 CPUtime=0
/proc/6379/stat : 6379 (march_nn) R 6377 6379 4931 0 -1 4194304 1028 0 0 0 0 0 0 0 18 0 1 0 503309992 8392704 1014 1992294400 134512640 135197250 4294956224 18446744073709551615 134568349 0 0 4096 0 0 0 0 17 1 0 0
/proc/6379/statm: 2049 1020 58 167 0 1880 0
[startup+0.015771 s]
/proc/loadavg: 2.06 2.17 2.26 3/86 6379
/proc/meminfo: memFree=1757408/2055924 swapFree=4179644/4192956
[pid=6379] ppid=6377 vsize=16732 CPUtime=0
/proc/6379/stat : 6379 (march_nn) R 6377 6379 4931 0 -1 4194304 2196 0 0 0 0 0 0 0 18 0 1 0 503309992 17133568 2181 1992294400 134512640 135197250 4294956224 18446744073709551615 134697286 0 0 4096 0 0 0 0 17 1 0 0
/proc/6379/statm: 4183 2185 58 167 0 4014 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16732
[startup+0.101787 s]
/proc/loadavg: 2.06 2.17 2.26 3/86 6379
/proc/meminfo: memFree=1757408/2055924 swapFree=4179644/4192956
[pid=6379] ppid=6377 vsize=18784 CPUtime=0.09
/proc/6379/stat : 6379 (march_nn) R 6377 6379 4931 0 -1 4194304 2799 0 0 0 9 0 0 0 18 0 1 0 503309992 19234816 2784 1992294400 134512640 135197250 4294956224 18446744073709551615 134697286 0 0 4096 0 0 0 0 17 1 0 0
/proc/6379/statm: 4696 2784 58 167 0 4527 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18784
[startup+0.301822 s]
/proc/loadavg: 2.06 2.17 2.26 3/86 6379
/proc/meminfo: memFree=1757408/2055924 swapFree=4179644/4192956
[pid=6379] ppid=6377 vsize=22084 CPUtime=0.29
/proc/6379/stat : 6379 (march_nn) R 6377 6379 4931 0 -1 4194304 3828 0 0 0 28 1 0 0 20 0 1 0 503309992 22614016 3813 1992294400 134512640 135197250 4294956224 18446744073709551615 134697286 0 0 4096 0 0 0 0 17 1 0 0
/proc/6379/statm: 5521 3813 58 167 0 5352 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22084
[startup+0.701897 s]
/proc/loadavg: 2.06 2.17 2.26 3/86 6379
/proc/meminfo: memFree=1757408/2055924 swapFree=4179644/4192956
[pid=6379] ppid=6377 vsize=28552 CPUtime=0.69
/proc/6379/stat : 6379 (march_nn) R 6377 6379 4931 0 -1 4194304 5861 0 0 0 67 2 0 0 24 0 1 0 503309992 29237248 5846 1992294400 134512640 135197250 4294956224 18446744073709551615 134697286 0 0 4096 0 0 0 0 17 1 0 0
/proc/6379/statm: 7138 5846 58 167 0 6969 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28552
[startup+1.50104 s]
/proc/loadavg: 2.06 2.17 2.26 3/87 6380
/proc/meminfo: memFree=1728408/2055924 swapFree=4179644/4192956
[pid=6379] ppid=6377 vsize=40696 CPUtime=1.48
/proc/6379/stat : 6379 (march_nn) R 6377 6379 4931 0 -1 4194304 9644 0 0 0 145 3 0 0 25 0 1 0 503309992 41672704 9629 1992294400 134512640 135197250 4294956224 18446744073709551615 134697286 0 0 4096 0 0 0 0 17 1 0 0
/proc/6379/statm: 10174 9629 58 167 0 10005 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 40696
[startup+3.10134 s]
/proc/loadavg: 2.06 2.17 2.26 3/87 6380
/proc/meminfo: memFree=1694552/2055924 swapFree=4179644/4192956
[pid=6379] ppid=6377 vsize=116476 CPUtime=3.09
/proc/6379/stat : 6379 (march_nn) R 6377 6379 4931 0 -1 4194304 22209 0 0 0 299 10 0 0 25 0 1 0 503309992 119271424 14300 1992294400 134512640 135197250 4294956224 18446744073709551615 134569403 0 0 4096 0 0 0 0 17 1 0 0
/proc/6379/statm: 29119 14300 65 167 0 28950 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 116476
[startup+6.30193 s]
/proc/loadavg: 2.06 2.17 2.26 3/87 6380
/proc/meminfo: memFree=1676376/2055924 swapFree=4179644/4192956
[pid=6379] ppid=6377 vsize=124444 CPUtime=6.29
/proc/6379/stat : 6379 (march_nn) R 6377 6379 4931 0 -1 4194304 93387 0 0 0 587 42 0 0 25 0 1 0 503309992 127430656 16258 1992294400 134512640 135197250 4294956224 18446744073709551615 134560777 0 0 4096 0 0 0 0 17 1 0 0
/proc/6379/statm: 31111 16258 82 167 0 30942 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 124444
[startup+12.7011 s]
/proc/loadavg: 2.36 2.23 2.28 3/87 6380
/proc/meminfo: memFree=1529048/2055924 swapFree=4179644/4192956
[pid=6379] ppid=6377 vsize=327832 CPUtime=12.68
/proc/6379/stat : 6379 (march_nn) R 6377 6379 4931 0 -1 4194304 155412 0 0 0 1202 66 0 0 25 0 1 0 503309992 335699968 62209 1992294400 134512640 135197250 4294956224 18446744073709551615 134697286 0 0 4096 0 0 0 0 17 1 0 0
/proc/6379/statm: 81958 62209 83 167 0 81789 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 327832
[startup+25.5015 s]
/proc/loadavg: 2.46 2.25 2.28 3/87 6380
/proc/meminfo: memFree=1129304/2055924 swapFree=4179644/4192956
[pid=6379] ppid=6377 vsize=809296 CPUtime=25.48
/proc/6379/stat : 6379 (march_nn) R 6377 6379 4931 0 -1 4194304 251950 0 0 0 2442 106 0 0 25 0 1 0 503309992 828719104 158747 1992294400 134512640 135197250 4294956224 18446744073709551615 134697286 0 0 4096 0 0 0 0 17 1 0 0
/proc/6379/statm: 202324 158747 83 167 0 202155 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 809296
[startup+51.1012 s]
/proc/loadavg: 2.71 2.33 2.31 3/87 6380
/proc/meminfo: memFree=952856/2055924 swapFree=4179644/4192956
[pid=6379] ppid=6377 vsize=906260 CPUtime=51.06
/proc/6379/stat : 6379 (march_nn) R 6377 6379 4931 0 -1 4194304 458708 0 0 0 4910 196 0 0 25 0 1 0 503309992 928010240 200446 1992294400 134512640 135197250 4294956224 18446744073709551615 134565259 0 0 4096 0 0 0 0 17 1 0 0
/proc/6379/statm: 226565 200446 83 167 0 226396 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 906260
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+92.4068 s]
/proc/loadavg: 2.57 2.35 2.32 3/87 6380
/proc/meminfo: memFree=309528/2055924 swapFree=4179644/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=92.35
/proc/6379/stat : 6379 (march_nn) R 6377 6379 4931 0 -1 4195840 855444 0 0 0 8873 362 0 0 25 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 0 0 0 17 1 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 92.35
Current children cumulated vsize (KiB) 1845036
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -6379
[startup+102.307 s]
/proc/loadavg: 2.64 2.37 2.32 2/87 6381
/proc/meminfo: memFree=157144/2055924 swapFree=4179644/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=92.9
/proc/6379/stat : 6379 (march_nn) D 6377 6379 4931 0 -1 4195840 855444 0 0 0 8873 417 0 0 25 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 92.9
Current children cumulated vsize (KiB) 1845036
[startup+162.302 s]
/proc/loadavg: 3.11 2.56 2.39 2/87 6381
/proc/meminfo: memFree=16216/2055924 swapFree=4179644/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=93.47
/proc/6379/stat : 6379 (march_nn) D 6377 6379 4931 0 -1 4195840 855444 0 0 0 8873 474 0 0 24 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 18446744071563608069 0 0 17 0 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 93.47
Current children cumulated vsize (KiB) 1845036
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=57 pid=6379 uid=0 cmd=HOME/march_nn HOME/instance-1561957-1238769794.cnf
[startup+222.302 s]
/proc/loadavg: 3.56 2.78 2.47 2/87 6381
/proc/meminfo: memFree=15832/2055924 swapFree=4179644/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=93.85
/proc/6379/stat : 6379 (march_nn) D 6377 6379 4931 0 -1 4195840 855444 0 0 0 8873 512 0 0 18 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 18446744071564464661 0 0 17 0 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 93.85
Current children cumulated vsize (KiB) 1845036
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=42 pid=6379 uid=0 cmd=HOME/march_nn HOME/instance-1561957-1238769794.cnf
[startup+282.302 s]
/proc/loadavg: 5.04 3.33 2.68 2/87 6381
/proc/meminfo: memFree=15960/2055924 swapFree=4170372/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=93.93
/proc/6379/stat : 6379 (march_nn) D 6377 6379 4931 0 -1 4195840 855444 0 0 0 8873 520 0 0 18 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 18446744071564464661 0 0 17 0 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 93.93
Current children cumulated vsize (KiB) 1845036
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=33 pid=6379 uid=0 cmd=HOME/march_nn HOME/instance-1561957-1238769794.cnf
[startup+342.302 s]
/proc/loadavg: 5.97 3.93 2.92 2/87 6381
/proc/meminfo: memFree=16088/2055924 swapFree=4170372/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=94.07
/proc/6379/stat : 6379 (march_nn) D 6377 6379 4931 0 -1 4195840 855444 0 0 0 8873 534 0 0 18 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 18446744071564464661 0 0 17 0 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 94.07
Current children cumulated vsize (KiB) 1845036
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=27 pid=6379 uid=0 cmd=HOME/march_nn HOME/instance-1561957-1238769794.cnf
[startup+402.302 s]
/proc/loadavg: 4.77 3.94 2.99 2/87 6381
/proc/meminfo: memFree=15576/2055924 swapFree=4170372/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=94.11
/proc/6379/stat : 6379 (march_nn) D 6377 6379 4931 0 -1 4195840 855444 0 0 0 8873 538 0 0 18 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 94.11
Current children cumulated vsize (KiB) 1845036
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=23 pid=6379 uid=0 cmd=HOME/march_nn HOME/instance-1561957-1238769794.cnf
[startup+462.301 s]
################
# More data... #
################
/proc/loadavg: 7.77 6.11 4.80 2/87 6390
/proc/meminfo: memFree=20688/2055924 swapFree=4170372/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=96.92
/proc/6379/stat : 6379 (march_nn) D 6377 6379 4931 0 -1 4195840 857798 0 0 0 8873 819 0 0 18 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 96.92
Current children cumulated vsize (KiB) 1845036
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+2082.3 s]
/proc/loadavg: 7.91 6.45 5.00 2/87 6390
/proc/meminfo: memFree=21776/2055924 swapFree=4170372/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=96.92
/proc/6379/stat : 6379 (march_nn) D 6377 6379 4931 0 -1 4195840 857798 0 0 0 8873 819 0 0 18 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 96.92
Current children cumulated vsize (KiB) 1845036
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+2142.3 s]
/proc/loadavg: 7.97 6.73 5.18 2/87 6390
/proc/meminfo: memFree=22792/2055924 swapFree=4170372/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=96.92
/proc/6379/stat : 6379 (march_nn) D 6377 6379 4931 0 -1 4195840 857798 0 0 0 8873 819 0 0 18 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 96.92
Current children cumulated vsize (KiB) 1845036
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+2202.3 s]
/proc/loadavg: 7.99 6.96 5.36 2/87 6390
/proc/meminfo: memFree=23816/2055924 swapFree=4170372/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=96.92
/proc/6379/stat : 6379 (march_nn) D 6377 6379 4931 0 -1 4195840 857798 0 0 0 8873 819 0 0 18 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 96.92
Current children cumulated vsize (KiB) 1845036
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+2262.3 s]
/proc/loadavg: 7.99 7.14 5.52 2/87 6390
/proc/meminfo: memFree=24712/2055924 swapFree=4170372/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=96.92
/proc/6379/stat : 6379 (march_nn) D 6377 6379 4931 0 -1 4195840 857798 0 0 0 8873 819 0 0 18 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 96.92
Current children cumulated vsize (KiB) 1845036
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+2322.3 s]
/proc/loadavg: 8.05 7.31 5.68 2/87 6390
/proc/meminfo: memFree=15360/2055924 swapFree=4170372/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=97.4
/proc/6379/stat : 6379 (march_nn) D 6377 6379 4931 0 -1 4195840 857798 0 0 0 8873 867 0 0 22 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 97.4
Current children cumulated vsize (KiB) 1845036
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+2382.3 s]
/proc/loadavg: 7.52 7.31 5.78 2/87 6391
/proc/meminfo: memFree=16128/2055924 swapFree=4170372/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=98.29
/proc/6379/stat : 6379 (march_nn) D 6377 6379 4931 0 -1 4195840 857798 0 0 0 8873 956 0 0 18 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 18446744071564464661 0 0 17 1 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 98.29
Current children cumulated vsize (KiB) 1845036
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+2442.3 s]
/proc/loadavg: 7.19 7.25 5.85 2/87 6391
/proc/meminfo: memFree=15608/2055924 swapFree=4170372/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=98.42
/proc/6379/stat : 6379 (march_nn) D 6377 6379 4931 0 -1 4195840 857798 0 0 0 8873 969 0 0 18 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 18446744071564464661 0 0 17 1 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 98.42
Current children cumulated vsize (KiB) 1845036
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 -
Solver just ended. Dumping a history of the last processes samples
[startup+2454.2 s]
/proc/loadavg: 7.16 7.24 5.86 2/87 6391
/proc/meminfo: memFree=16248/2055924 swapFree=4170372/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=98.44
/proc/6379/stat : 6379 (march_nn) D 6377 6379 4931 0 -1 4195840 857798 0 0 0 8873 971 0 0 18 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 18446744071564464661 0 0 17 1 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 98.44
Current children cumulated vsize (KiB) 1845036
[startup+2467 s]
/proc/loadavg: 7.12 7.23 5.88 2/87 6391
/proc/meminfo: memFree=15736/2055924 swapFree=4170372/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=98.47
/proc/6379/stat : 6379 (march_nn) D 6377 6379 4931 0 -1 4195840 857798 0 0 0 8873 974 0 0 18 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 18446744071564464661 0 0 17 1 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 98.47
Current children cumulated vsize (KiB) 1845036
[startup+2479.81 s]
/proc/loadavg: 7.10 7.22 5.89 2/87 6391
/proc/meminfo: memFree=15288/2055924 swapFree=4170372/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=98.51
/proc/6379/stat : 6379 (march_nn) D 6377 6379 4931 0 -1 4195840 857798 0 0 0 8873 978 0 0 18 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 18446744071564464661 0 0 17 1 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 98.51
Current children cumulated vsize (KiB) 1845036
[startup+2483 s]
/proc/loadavg: 7.10 7.22 5.90 2/87 6391
/proc/meminfo: memFree=15288/2055924 swapFree=4170372/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=98.51
/proc/6379/stat : 6379 (march_nn) D 6377 6379 4931 0 -1 4195840 857798 0 0 0 8873 978 0 0 18 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 18446744071564464661 0 0 17 1 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 98.51
Current children cumulated vsize (KiB) 1845036
[startup+2484.6 s]
/proc/loadavg: 7.10 7.22 5.90 2/87 6391
/proc/meminfo: memFree=15288/2055924 swapFree=4170372/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=98.51
/proc/6379/stat : 6379 (march_nn) D 6377 6379 4931 0 -1 4195840 857798 0 0 0 8873 978 0 0 18 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 18446744071564464661 0 0 17 1 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 98.51
Current children cumulated vsize (KiB) 1845036
[startup+2485.4 s]
/proc/loadavg: 7.10 7.22 5.90 2/87 6391
/proc/meminfo: memFree=15288/2055924 swapFree=4170372/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=98.51
/proc/6379/stat : 6379 (march_nn) D 6377 6379 4931 0 -1 4195840 857798 0 0 0 8873 978 0 0 18 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 18446744071564464661 0 0 17 1 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 98.51
Current children cumulated vsize (KiB) 1845036
[startup+2485.8 s]
/proc/loadavg: 7.10 7.22 5.90 2/87 6391
/proc/meminfo: memFree=15288/2055924 swapFree=4170372/4192956
[pid=6379] ppid=6377 vsize=1845036 CPUtime=98.51
/proc/6379/stat : 6379 (march_nn) D 6377 6379 4931 0 -1 4195840 857798 0 0 0 8873 978 0 0 18 0 1 0 503309992 1889316864 355373 1992294400 134512640 135197250 4294956224 18446744073709551615 134599751 0 0 4096 0 18446744071564464661 0 0 17 1 0 0
/proc/6379/statm: 461259 355373 88 167 0 461090 0
Current children cumulated CPU time (s) 98.51
Current children cumulated vsize (KiB) 1845036
[startup+2486 s]
/proc/loadavg: 7.10 7.22 5.90 2/87 6391
/proc/meminfo: memFree=15288/2055924 swapFree=4170372/4192956
[pid=6379] ppid=6377 vsize=0 CPUtime=98.57
/proc/6379/stat : 6379 (march_nn) R 6377 6379 4931 0 -1 4195844 859714 0 0 0 8873 984 0 0 18 0 1 0 503309992 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/6379/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 98.57
Current children cumulated vsize (KiB) 0
[startup+2486.1 s]
/proc/loadavg: 7.10 7.22 5.90 2/87 6391
/proc/meminfo: memFree=15288/2055924 swapFree=4170372/4192956
[pid=6379] ppid=6377 vsize=0 CPUtime=98.67
/proc/6379/stat : 6379 (march_nn) R 6377 6379 4931 0 -1 4195844 859714 0 0 0 8873 994 0 0 18 0 1 0 503309992 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/6379/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 98.67
Current children cumulated vsize (KiB) 0
Child ended because it received signal 11 (SIGSEGV)
Child dumped core
Real time (s): 2486.18
CPU time (s): 98.762
CPU user time (s): 88.7335
CPU system time (s): 10.0285
CPU usage (%): 3.97243
Max. virtual memory (cumulated for all children) (KiB): 1845036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.7335
system time used= 10.0285
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 859714
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= 4203
involuntary context switches= 985
runsolver used 3.02354 second user time and 8.37273 second system time
The end
Begin job on node83 at 2009-04-03 16:43:16
IDJOB=1561957
IDBENCH=70925
IDSOLVER=522
FILE ID=node83/1561957-1238769794
PBS_JOBID= 9085484
Free space on /tmp= 66532 MiB
SOLVER NAME= march_nn nn
BENCH NAME= SAT09/APPLICATIONS/edgematching/all/em_14_7_3_all.cnf
COMMAND LINE= HOME/march_nn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1561957-1238769794/watcher-1561957-1238769794 -o /tmp/evaluation-result-1561957-1238769794/solver-1561957-1238769794 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/march_nn HOME/instance-1561957-1238769794.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 690ec6e6ad357e580cb6fa1e2f7f32cc
RANDOM SEED=339316409
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: 1757888 kB
Buffers: 58920 kB
Cached: 146884 kB
SwapCached: 7580 kB
Active: 76504 kB
Inactive: 147908 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1757888 kB
SwapTotal: 4192956 kB
SwapFree: 4179644 kB
Dirty: 30564 kB
Writeback: 0 kB
Mapped: 26068 kB
Slab: 57692 kB
Committed_AS: 1298832 kB
PageTables: 2688 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= 65144 MiB
End job on node83 at 2009-04-03 17:24:42