runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-268144-1168978034 -o ROOT/results/node12/solver-268144-1168978034 -C 1800 -M 900 /tmp/evaluation/268144-1168978034/VALCSP /tmp/evaluation/268144-1168978034/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
[startup+0.107838 s]
/proc/loadavg: 1.27 0.70 0.27 5/86 27624
/proc/meminfo: memFree=1763576/2055920 swapFree=4160348/4192956
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
/proc/loadavg: 1.27 0.70 0.27 5/86 27624
/proc/meminfo: memFree=1763576/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=81648 CPUtime=0.09
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 20158 0 0 0 2 7 0 0 21 0 1 0 246199490 83607552 20136 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134538684 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 20412 20136 64 8 0 20084 0
[startup+0.515914 s]
/proc/loadavg: 1.27 0.70 0.27 5/86 27624
/proc/meminfo: memFree=1763576/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=393900 CPUtime=0.5
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 98237 0 0 0 12 38 0 0 25 0 1 0 246199490 403353600 98215 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529332 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 98475 98215 64 8 0 98147 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 393900
[startup+1.33605 s]
/proc/loadavg: 1.27 0.70 0.27 3/86 27624
/proc/meminfo: memFree=1371896/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=393900 CPUtime=1.31
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 98237 0 0 0 93 38 0 0 25 0 1 0 246199490 403353600 98215 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529378 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 98475 98215 64 8 0 98147 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 393900
[startup+2.97335 s]
/proc/loadavg: 1.27 0.70 0.27 3/86 27624
/proc/meminfo: memFree=1371896/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=393900 CPUtime=2.94
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 98237 0 0 0 256 38 0 0 25 0 1 0 246199490 403353600 98215 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529332 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 98475 98215 64 8 0 98147 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 393900
[startup+6.25293 s]
/proc/loadavg: 1.33 0.72 0.28 3/86 27624
/proc/meminfo: memFree=1371896/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=393900 CPUtime=6.19
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 98237 0 0 0 581 38 0 0 25 0 1 0 246199490 403353600 98215 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529344 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 98475 98215 64 8 0 98147 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 393900
[startup+12.7101 s]
/proc/loadavg: 1.38 0.74 0.29 3/86 27624
/proc/meminfo: memFree=1371896/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=393900 CPUtime=12.6
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 98237 0 0 0 1222 38 0 0 25 0 1 0 246199490 403353600 98215 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 98475 98215 64 8 0 98147 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 393900
[startup+25.5184 s]
/proc/loadavg: 1.52 0.80 0.32 3/86 27624
/proc/meminfo: memFree=1371896/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=393900 CPUtime=25.29
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 98237 0 0 0 2491 38 0 0 25 0 1 0 246199490 403353600 98215 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 98475 98215 64 8 0 98147 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 393900
[startup+51.138 s]
/proc/loadavg: 1.68 0.90 0.36 3/86 27624
/proc/meminfo: memFree=1371896/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=393900 CPUtime=50.71
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 98237 0 0 0 5032 39 0 0 25 0 1 0 246199490 403353600 98215 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 98475 98215 64 8 0 98147 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 393900
[startup+102.371 s]
/proc/loadavg: 1.86 1.06 0.44 3/86 27624
/proc/meminfo: memFree=1371960/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=393900 CPUtime=101.53
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 98237 0 0 0 10114 39 0 0 25 0 1 0 246199490 403353600 98215 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 98475 98215 64 8 0 98147 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 393900
[startup+162.427 s]
/proc/loadavg: 1.95 1.23 0.54 3/86 27624
/proc/meminfo: memFree=1372024/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=393900 CPUtime=161.09
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 98237 0 0 0 16070 39 0 0 25 0 1 0 246199490 403353600 98215 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 98475 98215 64 8 0 98147 0
Current children cumulated CPU time (s) 161.09
Current children cumulated vsize (KiB) 393900
[startup+222.477 s]
/proc/loadavg: 1.98 1.37 0.63 3/86 27624
/proc/meminfo: memFree=1372088/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=393900 CPUtime=220.66
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 98237 0 0 0 22027 39 0 0 25 0 1 0 246199490 403353600 98215 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 98475 98215 64 8 0 98147 0
Current children cumulated CPU time (s) 220.66
Current children cumulated vsize (KiB) 393900
[startup+282.523 s]
/proc/loadavg: 1.99 1.48 0.71 3/86 27624
/proc/meminfo: memFree=1372088/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=393900 CPUtime=280.22
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 98237 0 0 0 27982 40 0 0 25 0 1 0 246199490 403353600 98215 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 98475 98215 64 8 0 98147 0
Current children cumulated CPU time (s) 280.22
Current children cumulated vsize (KiB) 393900
[startup+342.57 s]
/proc/loadavg: 1.99 1.57 0.79 3/86 27624
/proc/meminfo: memFree=1372152/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=393900 CPUtime=339.77
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 98237 0 0 0 33937 40 0 0 25 0 1 0 246199490 403353600 98215 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 98475 98215 64 8 0 98147 0
Current children cumulated CPU time (s) 339.77
Current children cumulated vsize (KiB) 393900
[startup+402.619 s]
/proc/loadavg: 1.99 1.65 0.86 3/86 27624
/proc/meminfo: memFree=1372088/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=393900 CPUtime=399.33
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 98237 0 0 0 39893 40 0 0 25 0 1 0 246199490 403353600 98215 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529332 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 98475 98215 64 8 0 98147 0
Current children cumulated CPU time (s) 399.33
Current children cumulated vsize (KiB) 393900
[startup+462.669 s]
/proc/loadavg: 1.99 1.71 0.93 3/86 27624
/proc/meminfo: memFree=1372088/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=393900 CPUtime=458.89
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 98237 0 0 0 45849 40 0 0 25 0 1 0 246199490 403353600 98215 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529329 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 98475 98215 64 8 0 98147 0
Current children cumulated CPU time (s) 458.89
Current children cumulated vsize (KiB) 393900
[startup+522.71 s]
/proc/loadavg: 1.99 1.76 0.99 3/86 27624
/proc/meminfo: memFree=1372088/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=393900 CPUtime=518.43
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 98237 0 0 0 51803 40 0 0 25 0 1 0 246199490 403353600 98215 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529329 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 98475 98215 64 8 0 98147 0
Current children cumulated CPU time (s) 518.43
Current children cumulated vsize (KiB) 393900
[startup+582.756 s]
/proc/loadavg: 1.99 1.80 1.05 3/86 27624
/proc/meminfo: memFree=1372088/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=393900 CPUtime=578
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 98237 0 0 0 57760 40 0 0 25 0 1 0 246199490 403353600 98215 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 98475 98215 64 8 0 98147 0
Current children cumulated CPU time (s) 578
Current children cumulated vsize (KiB) 393900
[startup+642.807 s]
/proc/loadavg: 1.99 1.83 1.11 3/86 27624
/proc/meminfo: memFree=1372088/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=393900 CPUtime=637.57
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 98237 0 0 0 63716 41 0 0 25 0 1 0 246199490 403353600 98215 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529344 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 98475 98215 64 8 0 98147 0
Current children cumulated CPU time (s) 637.57
Current children cumulated vsize (KiB) 393900
[startup+702.861 s]
/proc/loadavg: 1.96 1.85 1.16 2/81 27746
/proc/meminfo: memFree=1376008/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=393900 CPUtime=697.24
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 98237 0 0 0 69682 42 0 0 25 0 1 0 246199490 403353600 98215 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 1 0 0
/proc/27623/statm: 98475 98215 64 8 0 98147 0
Current children cumulated CPU time (s) 697.24
Current children cumulated vsize (KiB) 393900
[startup+762.915 s]
/proc/loadavg: 1.98 1.86 1.20 3/86 27849
/proc/meminfo: memFree=1362408/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=393900 CPUtime=757.01
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 98237 0 0 0 75659 42 0 0 25 0 1 0 246199490 403353600 98215 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 98475 98215 64 8 0 98147 0
Current children cumulated CPU time (s) 757.01
Current children cumulated vsize (KiB) 393900
[startup+822.975 s]
/proc/loadavg: 2.07 1.90 1.26 3/86 27851
/proc/meminfo: memFree=970792/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=784760 CPUtime=816.8
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 195923 0 0 0 81596 84 0 0 25 0 1 0 246199490 803594240 195901 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529344 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 196190 195901 64 8 0 195862 0
Current children cumulated CPU time (s) 816.8
Current children cumulated vsize (KiB) 784760
[startup+883.026 s]
/proc/loadavg: 2.02 1.92 1.30 3/86 27851
/proc/meminfo: memFree=970792/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=784760 CPUtime=876.56
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 195923 0 0 0 87572 84 0 0 25 0 1 0 246199490 803594240 195901 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529329 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 196190 195901 64 8 0 195862 0
Current children cumulated CPU time (s) 876.56
Current children cumulated vsize (KiB) 784760
[startup+943.077 s]
/proc/loadavg: 2.08 1.94 1.35 3/86 27851
/proc/meminfo: memFree=970856/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=784760 CPUtime=936.34
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 195923 0 0 0 93550 84 0 0 25 0 1 0 246199490 803594240 195901 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529359 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 196190 195901 64 8 0 195862 0
Current children cumulated CPU time (s) 936.34
Current children cumulated vsize (KiB) 784760
[startup+1003.13 s]
/proc/loadavg: 2.03 1.95 1.38 3/86 27851
/proc/meminfo: memFree=970920/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=784760 CPUtime=996.12
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 195923 0 0 0 99528 84 0 0 25 0 1 0 246199490 803594240 195901 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 196190 195901 64 8 0 195862 0
Current children cumulated CPU time (s) 996.12
Current children cumulated vsize (KiB) 784760
[startup+1063.19 s]
/proc/loadavg: 2.01 1.96 1.42 3/86 27851
/proc/meminfo: memFree=970920/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=784760 CPUtime=1055.88
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 195923 0 0 0 105504 84 0 0 25 0 1 0 246199490 803594240 195901 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 196190 195901 64 8 0 195862 0
Current children cumulated CPU time (s) 1055.88
Current children cumulated vsize (KiB) 784760
[startup+1123.24 s]
/proc/loadavg: 2.00 1.96 1.45 3/86 27851
/proc/meminfo: memFree=970920/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=784760 CPUtime=1115.67
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 195923 0 0 0 111483 84 0 0 25 0 1 0 246199490 803594240 195901 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529344 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 196190 195901 64 8 0 195862 0
Current children cumulated CPU time (s) 1115.67
Current children cumulated vsize (KiB) 784760
[startup+1183.3 s]
/proc/loadavg: 2.00 1.97 1.48 3/86 27851
/proc/meminfo: memFree=970856/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=784760 CPUtime=1175.45
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 195923 0 0 0 117461 84 0 0 25 0 1 0 246199490 803594240 195901 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529332 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 196190 195901 64 8 0 195862 0
Current children cumulated CPU time (s) 1175.45
Current children cumulated vsize (KiB) 784760
[startup+1243.35 s]
/proc/loadavg: 2.00 1.97 1.52 3/86 27851
/proc/meminfo: memFree=970920/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=784760 CPUtime=1235.21
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 195923 0 0 0 123437 84 0 0 25 0 1 0 246199490 803594240 195901 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 196190 195901 64 8 0 195862 0
Current children cumulated CPU time (s) 1235.21
Current children cumulated vsize (KiB) 784760
[startup+1303.41 s]
/proc/loadavg: 2.00 1.97 1.54 3/86 27851
/proc/meminfo: memFree=970920/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=784760 CPUtime=1294.99
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 195923 0 0 0 129415 84 0 0 25 0 1 0 246199490 803594240 195901 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529332 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 196190 195901 64 8 0 195862 0
Current children cumulated CPU time (s) 1294.99
Current children cumulated vsize (KiB) 784760
[startup+1363.46 s]
/proc/loadavg: 2.00 1.97 1.57 3/86 27851
/proc/meminfo: memFree=970920/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=784760 CPUtime=1354.78
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 195923 0 0 0 135394 84 0 0 25 0 1 0 246199490 803594240 195901 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 196190 195901 64 8 0 195862 0
Current children cumulated CPU time (s) 1354.78
Current children cumulated vsize (KiB) 784760
[startup+1423.51 s]
/proc/loadavg: 2.00 1.97 1.59 3/86 27851
/proc/meminfo: memFree=970920/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=784760 CPUtime=1414.53
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 195923 0 0 0 141369 84 0 0 25 0 1 0 246199490 803594240 195901 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529344 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 196190 195901 64 8 0 195862 0
Current children cumulated CPU time (s) 1414.53
Current children cumulated vsize (KiB) 784760
[startup+1483.57 s]
/proc/loadavg: 2.00 1.97 1.62 3/86 27851
/proc/meminfo: memFree=970920/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=784760 CPUtime=1474.33
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 195923 0 0 0 147348 85 0 0 25 0 1 0 246199490 803594240 195901 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529332 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 196190 195901 64 8 0 195862 0
Current children cumulated CPU time (s) 1474.33
Current children cumulated vsize (KiB) 784760
[startup+1543.62 s]
/proc/loadavg: 2.00 1.97 1.64 3/86 27851
/proc/meminfo: memFree=970920/2055920 swapFree=4160348/4192956
[pid=27623] ppid=27621 vsize=784760 CPUtime=1534.11
/proc/27623/stat : 27623 (VALCSP) R 27621 27623 27185 0 -1 4194304 195923 0 0 0 153326 85 0 0 25 0 1 0 246199490 803594240 195901 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529329 0 0 4096 0 0 0 0 17 0 0 0
/proc/27623/statm: 196190 195901 64 8 0 195862 0
Current children cumulated CPU time (s) 1534.11
Current children cumulated vsize (KiB) 784760
Child status: 1
Real time (s): 1586.29
CPU time (s): 1576.59
CPU user time (s): 1575.39
CPU system time (s): 1.19682
CPU usage (%): 99.3884
Max. virtual memory (cumulated for all children) (KiB): 905564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1575.39
system time used= 1.19682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242960
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= 32010
runsolver used 1.55976 s user time and 4.07638 s system time
The end
Begin job on node12 on Tue Jan 16 20:07:19 UTC 2007
IDJOB= 268144
IDBENCH= 3585
IDSOLVER= 90
FILE ID= node12/268144-1168978034
PBS_JOBID= 3565928
Free space on /tmp= 66564 MiB
SOLVER NAME= VALCSP 3.1
BENCH NAME= HOME/pub/bench/CPAI06/knights/knights-100-9.xml
COMMAND LINE= /tmp/evaluation/268144-1168978034/VALCSP /tmp/evaluation/268144-1168978034/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-268144-1168978034 -o ROOT/results/node12/solver-268144-1168978034 -C 1800 -M 900 /tmp/evaluation/268144-1168978034/VALCSP /tmp/evaluation/268144-1168978034/unknown.xml
META MD5SUM SOLVER= d4fc2c4e0b0392ee9c79e754aa39e238
MD5SUM BENCH= 0cd0e67b390af4f151d1050a40941953
RANDOM SEED= 285786230
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.265
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.265
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: 1765848 kB
Buffers: 44560 kB
Cached: 146116 kB
SwapCached: 5164 kB
Active: 180384 kB
Inactive: 48208 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1765848 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 64 kB
Writeback: 0 kB
Mapped: 48000 kB
Slab: 46496 kB
Committed_AS: 6975628 kB
PageTables: 2036 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= 66565 MiB
End job on node12 on Tue Jan 16 20:33:51 UTC 2007