runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-269552-1168980994 -o ROOT/results/node1/solver-269552-1168980994 -C 1800 -M 900 /tmp/evaluation/269552-1168980994/VALCSP /tmp/evaluation/269552-1168980994/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.99 1.91 1.81 5/86 32345
/proc/meminfo: memFree=911072/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=18540 CPUtime=0
/proc/32344/stat : 32344 (runsolver) R 32342 32344 32133 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 246495237 18984960 279 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 259353275687 0 0 4096 24578 0 0 0 17 1 0 0
/proc/32344/statm: 4635 279 244 17 0 2626 0
[startup+0.132525 s]
/proc/loadavg: 1.99 1.91 1.81 5/86 32345
/proc/meminfo: memFree=911072/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=0.12
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 12 0 0 0 21 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520727 0 0 4096 0 0 0 0 17 1 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 3448
[startup+0.540571 s]
/proc/loadavg: 1.99 1.91 1.81 5/86 32345
/proc/meminfo: memFree=911072/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=0.53
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 53 0 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520793 0 0 4096 0 0 0 0 17 1 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 3448
[startup+1.36067 s]
/proc/loadavg: 1.99 1.91 1.81 3/86 32345
/proc/meminfo: memFree=902560/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=1.34
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 134 0 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134527218 0 0 4096 0 0 0 0 17 1 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 3448
[startup+2.99786 s]
/proc/loadavg: 1.99 1.91 1.81 3/86 32345
/proc/meminfo: memFree=895840/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=2.97
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 297 0 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520788 0 0 4096 0 0 0 0 17 1 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 3448
[startup+6.27724 s]
/proc/loadavg: 1.99 1.91 1.81 3/86 32345
/proc/meminfo: memFree=882848/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=6.22
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 622 0 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520737 0 0 4096 0 0 0 0 17 1 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 3448
[startup+12.74 s]
/proc/loadavg: 1.99 1.91 1.81 3/86 32384
/proc/meminfo: memFree=1795744/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=12.67
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 1266 1 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520822 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 3448
[startup+25.5535 s]
/proc/loadavg: 2.07 1.93 1.82 3/86 32384
/proc/meminfo: memFree=1795880/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=25.47
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 2546 1 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134518324 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 3448
[startup+51.1785 s]
/proc/loadavg: 2.04 1.94 1.82 3/86 32384
/proc/meminfo: memFree=1795944/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=51.06
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 5105 1 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520807 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 3448
[startup+102.427 s]
/proc/loadavg: 2.02 1.94 1.83 3/86 32384
/proc/meminfo: memFree=1795944/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=102.26
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 10225 1 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520793 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 3448
[startup+162.493 s]
/proc/loadavg: 2.00 1.95 1.84 3/86 32384
/proc/meminfo: memFree=1796008/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=162.27
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 16226 1 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520807 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 3448
[startup+222.561 s]
/proc/loadavg: 2.00 1.96 1.84 3/86 32384
/proc/meminfo: memFree=1795944/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=222.26
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 22225 1 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520807 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 3448
[startup+282.63 s]
/proc/loadavg: 2.00 1.96 1.85 3/92 32466
/proc/meminfo: memFree=1794648/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=282.25
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 28222 3 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520756 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 3448
[startup+342.72 s]
/proc/loadavg: 2.00 1.97 1.85 3/86 32582
/proc/meminfo: memFree=1795680/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=342.24
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 34215 9 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520954 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 3448
[startup+402.787 s]
/proc/loadavg: 2.00 1.97 1.86 3/86 32582
/proc/meminfo: memFree=1795688/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=402.22
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 40213 9 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520788 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 3448
[startup+462.854 s]
/proc/loadavg: 2.00 1.97 1.86 3/86 32582
/proc/meminfo: memFree=1795688/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=462.23
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 46214 9 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520748 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 3448
[startup+522.92 s]
/proc/loadavg: 2.07 1.99 1.88 3/86 32582
/proc/meminfo: memFree=1795688/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=522.25
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 52216 9 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520793 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 3448
[startup+582.984 s]
/proc/loadavg: 2.02 1.99 1.88 3/86 32582
/proc/meminfo: memFree=1795688/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=582.23
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 58214 9 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520788 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 3448
[startup+643.054 s]
/proc/loadavg: 2.17 2.02 1.90 3/86 32582
/proc/meminfo: memFree=1795688/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=642.25
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 64216 9 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520727 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 642.25
Current children cumulated vsize (KiB) 3448
[startup+703.119 s]
/proc/loadavg: 2.06 2.01 1.90 3/86 32582
/proc/meminfo: memFree=1795688/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=702.26
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 70217 9 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520828 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 702.26
Current children cumulated vsize (KiB) 3448
[startup+763.184 s]
/proc/loadavg: 2.02 2.01 1.91 3/86 32582
/proc/meminfo: memFree=1795688/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=762.24
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 76215 9 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520760 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 762.24
Current children cumulated vsize (KiB) 3448
[startup+823.257 s]
/proc/loadavg: 2.04 2.02 1.91 3/86 32582
/proc/meminfo: memFree=1795752/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=822.26
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 82217 9 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520807 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 822.26
Current children cumulated vsize (KiB) 3448
[startup+883.324 s]
/proc/loadavg: 2.01 2.01 1.91 3/86 32582
/proc/meminfo: memFree=1795816/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=882.28
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 88219 9 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134527121 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 3448
[startup+943.389 s]
/proc/loadavg: 2.08 2.02 1.92 3/86 32582
/proc/meminfo: memFree=1795816/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=942.26
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 94217 9 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520737 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 3448
[startup+1003.45 s]
/proc/loadavg: 2.03 2.02 1.92 3/86 32582
/proc/meminfo: memFree=1795816/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=1002.28
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 100218 10 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520737 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 3448
[startup+1063.52 s]
/proc/loadavg: 2.01 2.01 1.92 3/86 32582
/proc/meminfo: memFree=1795816/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=1062.3
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 106220 10 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520793 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 3448
[startup+1123.59 s]
/proc/loadavg: 2.00 2.01 1.92 3/86 32582
/proc/meminfo: memFree=1795816/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=1122.28
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 112218 10 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520788 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 3448
[startup+1183.65 s]
/proc/loadavg: 2.00 2.00 1.92 3/86 32582
/proc/meminfo: memFree=1795816/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=1182.29
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 118219 10 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520828 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 3448
[startup+1243.72 s]
/proc/loadavg: 2.07 2.02 1.93 3/86 32582
/proc/meminfo: memFree=1795816/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=1242.3
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 124220 10 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520820 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 3448
[startup+1303.79 s]
/proc/loadavg: 2.08 2.03 1.93 3/86 32582
/proc/meminfo: memFree=1795816/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=1302.29
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 130219 10 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520788 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 3448
[startup+1363.85 s]
/proc/loadavg: 2.03 2.02 1.93 3/86 32582
/proc/meminfo: memFree=1795816/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=1362.3
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 136220 10 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134521031 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 3448
[startup+1423.92 s]
/proc/loadavg: 2.01 2.02 1.93 3/86 32582
/proc/meminfo: memFree=1795816/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=1422.29
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 142219 10 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520788 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 3448
[startup+1483.99 s]
/proc/loadavg: 2.00 2.01 1.93 3/86 32584
/proc/meminfo: memFree=1795616/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=1482.31
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 148221 10 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134525076 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 3448
[startup+1544.06 s]
/proc/loadavg: 2.00 2.00 1.93 3/86 32584
/proc/meminfo: memFree=1795688/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=1542.32
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 154222 10 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520815 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3448
[startup+1604.12 s]
/proc/loadavg: 2.00 2.00 1.93 3/86 32584
/proc/meminfo: memFree=1795688/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=1602.33
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 160223 10 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134521031 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3448
[startup+1664.19 s]
/proc/loadavg: 2.00 2.00 1.93 3/86 32584
/proc/meminfo: memFree=1795752/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=1662.31
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 166221 10 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520828 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 3448
[startup+1724.25 s]
/proc/loadavg: 2.00 2.00 1.93 3/86 32584
/proc/meminfo: memFree=1795816/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=1722.32
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 172222 10 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520756 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 3448
[startup+1784.32 s]
/proc/loadavg: 2.00 2.00 1.93 3/86 32584
/proc/meminfo: memFree=1795816/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=1782.32
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 178222 10 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520756 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 3448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.05 s]
/proc/loadavg: 2.00 2.00 1.93 3/86 32584
/proc/meminfo: memFree=1795816/2055920 swapFree=4165612/4192956
[pid=32344] ppid=32342 vsize=3448 CPUtime=1800.03
/proc/32344/stat : 32344 (VALCSP) R 32342 32344 32133 0 -1 4194304 624 0 0 0 179993 10 0 0 25 0 1 0 246495237 3530752 602 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134520793 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 862 602 66 8 0 534 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1802.06
CPU time (s): 1800.04
CPU user time (s): 1799.93
CPU system time (s): 0.107983
CPU usage (%): 99.888
Max. virtual memory (cumulated for all children) (KiB): 3448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.107983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 624
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= 10838
runsolver used 1.43878 s user time and 5.02923 s system time
The end
Begin job on node1 on Tue Jan 16 20:56:35 UTC 2007
IDJOB= 269552
IDBENCH= 6961
IDSOLVER= 90
FILE ID= node1/269552-1168980994
PBS_JOBID= 3566043
Free space on /tmp= 66564 MiB
SOLVER NAME= VALCSP 3.1
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_13.xml
COMMAND LINE= /tmp/evaluation/269552-1168980994/VALCSP /tmp/evaluation/269552-1168980994/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-269552-1168980994 -o ROOT/results/node1/solver-269552-1168980994 -C 1800 -M 900 /tmp/evaluation/269552-1168980994/VALCSP /tmp/evaluation/269552-1168980994/unknown.xml
META MD5SUM SOLVER= d4fc2c4e0b0392ee9c79e754aa39e238
MD5SUM BENCH= e308a2b9e96e3269dcc2ff56fd4195af
RANDOM SEED= 642099746
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.234
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.234
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: 911552 kB
Buffers: 40804 kB
Cached: 98184 kB
SwapCached: 3676 kB
Active: 947992 kB
Inactive: 122244 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 911552 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 364 kB
Writeback: 0 kB
Mapped: 942036 kB
Slab: 57268 kB
Committed_AS: 8052076 kB
PageTables: 4032 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= 66564 MiB
End job on node1 on Tue Jan 16 21:26:39 UTC 2007