runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2059955-1247696029/watcher-2059955-1247696029 -o /tmp/evaluation-result-2059955-1247696029/solver-2059955-1247696029 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2014198501 HOME/instance-2059955-1247696029.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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 s]
/proc/loadavg: 1.86 1.98 1.68 4/75 14964
/proc/meminfo: memFree=1310072/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=18576 CPUtime=0
/proc/14964/stat : 14964 (runsolver) R 14962 14964 14714 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 56665576 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 209560595751 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14964/statm: 4644 284 249 26 0 2626 0
[startup+0.078214 s]
/proc/loadavg: 1.86 1.98 1.68 4/75 14964
/proc/meminfo: memFree=1310072/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=5300 CPUtime=0.05
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 1025 822 0 0 5 0 0 0 18 0 1 0 56665576 5427200 634 996147200 134512640 135095119 4294956304 18446744073709551615 4160172326 0 0 4096 0 0 0 0 17 1 0 0
/proc/14964/statm: 1325 634 364 142 0 279 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5300
[startup+0.101211 s]
/proc/loadavg: 1.86 1.98 1.68 4/75 14964
/proc/meminfo: memFree=1310072/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=5564 CPUtime=0.07
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 1119 822 0 0 7 0 0 0 18 0 1 0 56665576 5697536 728 996147200 134512640 135095119 4294956304 18446744073709551615 9174757 0 0 4096 0 0 0 0 17 1 0 0
/proc/14964/statm: 1391 728 364 142 0 345 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5564
[startup+0.301258 s]
/proc/loadavg: 1.86 1.98 1.68 4/75 14964
/proc/meminfo: memFree=1310072/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=9540 CPUtime=0.27
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 2185 822 0 0 27 0 0 0 19 0 1 0 56665576 9768960 1696 996147200 134512640 135095119 4294956304 18446744073709551615 134642884 0 0 4096 0 0 0 0 17 1 0 0
/proc/14964/statm: 2385 1696 379 142 0 1339 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9540
[startup+0.701323 s]
/proc/loadavg: 1.86 1.98 1.68 4/75 14964
/proc/meminfo: memFree=1310072/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=9540 CPUtime=0.67
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 2187 822 0 0 67 0 0 0 23 0 1 0 56665576 9768960 1698 996147200 134512640 135095119 4294956304 18446744073709551615 134617227 0 0 4096 0 0 0 0 17 1 0 0
/proc/14964/statm: 2385 1698 379 142 0 1339 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 9540
[startup+1.50146 s]
/proc/loadavg: 1.86 1.98 1.68 3/76 14970
/proc/meminfo: memFree=1304688/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=9540 CPUtime=1.46
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 2189 822 0 0 146 0 0 0 25 0 1 0 56665576 9768960 1700 996147200 134512640 135095119 4294956304 18446744073709551615 134598480 0 0 4096 0 0 0 0 17 1 0 0
/proc/14964/statm: 2385 1700 379 142 0 1339 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9540
[startup+3.10273 s]
/proc/loadavg: 1.86 1.98 1.68 3/76 14970
/proc/meminfo: memFree=1304432/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=9540 CPUtime=3.05
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 2197 822 0 0 304 1 0 0 25 0 1 0 56665576 9768960 1708 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 1 0 0
/proc/14964/statm: 2385 1708 379 142 0 1339 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 9540
[startup+6.30127 s]
/proc/loadavg: 1.87 1.98 1.68 3/76 14970
/proc/meminfo: memFree=1304560/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=9024 CPUtime=6.23
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 2205 822 0 0 622 1 0 0 25 0 1 0 56665576 9240576 1587 996147200 134512640 135095119 4294956304 18446744073709551615 134615460 0 0 4096 0 0 0 0 17 1 0 0
/proc/14964/statm: 2256 1587 379 142 0 1210 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 9024
[startup+12.7013 s]
/proc/loadavg: 1.88 1.98 1.69 2/71 14988
/proc/meminfo: memFree=1406552/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=9024 CPUtime=12.57
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 2205 822 0 0 1256 1 0 0 25 0 1 0 56665576 9240576 1587 996147200 134512640 135095119 4294956304 18446744073709551615 134606996 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 2256 1587 379 142 0 1210 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 9024
[startup+25.5015 s]
/proc/loadavg: 1.91 1.98 1.69 3/76 15003
/proc/meminfo: memFree=1393648/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=10052 CPUtime=25.36
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 2390 822 0 0 2535 1 0 0 25 0 1 0 56665576 10293248 1772 996147200 134512640 135095119 4294956304 18446744073709551615 134617012 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 2513 1772 379 142 0 1467 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 10052
[startup+51.1018 s]
/proc/loadavg: 1.94 1.98 1.70 3/76 15003
/proc/meminfo: memFree=1389168/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=14972 CPUtime=50.96
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 3522 822 0 0 5094 2 0 0 25 0 1 0 56665576 15331328 2647 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 3743 2647 379 142 0 2697 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 14972
[startup+102.307 s]
/proc/loadavg: 1.97 1.98 1.71 3/76 15003
/proc/meminfo: memFree=1385008/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=17416 CPUtime=102.14
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 4436 822 0 0 10211 3 0 0 25 0 1 0 56665576 17833984 3048 996147200 134512640 135095119 4294956304 18446744073709551615 134607154 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 4354 3048 379 142 0 3308 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 17416
[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.73 3/76 15003
/proc/meminfo: memFree=1379248/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=19256 CPUtime=162.1
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 5213 822 0 0 16206 4 0 0 25 0 1 0 56665576 19718144 3825 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 4814 3825 379 142 0 3768 0
Current children cumulated CPU time (s) 162.1
Current children cumulated vsize (KiB) 19256
[startup+222.302 s]
/proc/loadavg: 1.99 1.98 1.74 3/76 15003
/proc/meminfo: memFree=1371120/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=24472 CPUtime=222.09
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 6821 822 0 0 22203 6 0 0 25 0 1 0 56665576 25059328 4920 996147200 134512640 135095119 4294956304 18446744073709551615 134643061 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 6118 4920 379 142 0 5072 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 24472
[startup+282.302 s]
/proc/loadavg: 1.99 1.98 1.75 3/76 15003
/proc/meminfo: memFree=1368368/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=28832 CPUtime=282.06
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 8153 822 0 0 28199 7 0 0 25 0 1 0 56665576 29523968 5227 996147200 134512640 135095119 4294956304 18446744073709551615 134642638 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 7208 5227 379 142 0 6162 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 28832
[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.76 3/76 15003
/proc/meminfo: memFree=1363696/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=30152 CPUtime=342.03
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 8709 822 0 0 34196 7 0 0 25 0 1 0 56665576 30875648 5783 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 7538 5783 379 142 0 6492 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 30152
[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.78 3/76 15003
/proc/meminfo: memFree=1359024/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=31340 CPUtime=402.01
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 9237 822 0 0 40193 8 0 0 25 0 1 0 56665576 32092160 6311 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 7835 6311 379 142 0 6789 0
Current children cumulated CPU time (s) 402.01
Current children cumulated vsize (KiB) 31340
[startup+462.305 s]
/proc/loadavg: 1.99 1.98 1.79 3/76 15003
/proc/meminfo: memFree=1352048/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=32528 CPUtime=461.98
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 9754 822 0 0 46189 9 0 0 25 0 1 0 56665576 33308672 6828 996147200 134512640 135095119 4294956304 18446744073709551615 134607154 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 8132 6828 379 142 0 7086 0
Current children cumulated CPU time (s) 461.98
Current children cumulated vsize (KiB) 32528
[startup+522.302 s]
/proc/loadavg: 1.99 1.98 1.80 3/76 15003
/proc/meminfo: memFree=1348784/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=33716 CPUtime=521.95
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 10225 822 0 0 52186 9 0 0 25 0 1 0 56665576 34525184 7299 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 8429 7299 379 142 0 7383 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 33716
[startup+582.303 s]
/proc/loadavg: 1.99 1.98 1.81 3/76 15003
/proc/meminfo: memFree=1344688/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=34904 CPUtime=581.92
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 10728 822 0 0 58183 9 0 0 25 0 1 0 56665576 35741696 7802 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 8726 7802 379 142 0 7680 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 34904
[startup+642.302 s]
/proc/loadavg: 1.99 1.98 1.82 3/76 15003
/proc/meminfo: memFree=1339824/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=36092 CPUtime=641.9
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 11234 822 0 0 64180 10 0 0 25 0 1 0 56665576 36958208 8308 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 9023 8308 379 142 0 7977 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 36092
[startup+702.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.99 1.98 1.84 3/76 15003
/proc/meminfo: memFree=1316976/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=54716 CPUtime=821.82
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 16437 822 0 0 82169 13 0 0 25 0 1 0 56665576 56029184 10437 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 13679 10437 379 142 0 12633 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 54716
[startup+882.302 s]
/proc/loadavg: 1.99 1.98 1.84 3/76 15003
/proc/meminfo: memFree=1315056/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=54716 CPUtime=881.8
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 16621 822 0 0 88166 14 0 0 25 0 1 0 56665576 56029184 10621 996147200 134512640 135095119 4294956304 18446744073709551615 134617064 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 13679 10621 379 142 0 12633 0
Current children cumulated CPU time (s) 881.8
Current children cumulated vsize (KiB) 54716
[startup+942.302 s]
/proc/loadavg: 1.99 1.98 1.85 3/76 15003
/proc/meminfo: memFree=1313072/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=54716 CPUtime=941.77
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 16793 822 0 0 94163 14 0 0 25 0 1 0 56665576 56029184 10793 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 13679 10793 379 142 0 12633 0
Current children cumulated CPU time (s) 941.77
Current children cumulated vsize (KiB) 54716
[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.86 3/76 15003
/proc/meminfo: memFree=1310448/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=55376 CPUtime=1001.74
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 17131 822 0 0 100160 14 0 0 25 0 1 0 56665576 56705024 11131 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 13844 11131 379 142 0 12798 0
Current children cumulated CPU time (s) 1001.74
Current children cumulated vsize (KiB) 55376
[startup+1062.3 s]
/proc/loadavg: 2.05 2.00 1.87 3/76 15003
/proc/meminfo: memFree=1306608/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=56304 CPUtime=1061.72
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 17545 822 0 0 106157 15 0 0 25 0 1 0 56665576 57655296 11545 996147200 134512640 135095119 4294956304 18446744073709551615 134589609 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 14076 11545 379 142 0 13030 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 56304
[startup+1122.3 s]
/proc/loadavg: 2.07 2.01 1.88 3/76 15003
/proc/meminfo: memFree=1302128/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=57228 CPUtime=1121.69
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 17956 822 0 0 112153 16 0 0 25 0 1 0 56665576 58601472 11956 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 14307 11956 379 142 0 13261 0
Current children cumulated CPU time (s) 1121.69
Current children cumulated vsize (KiB) 57228
[startup+1182.3 s]
/proc/loadavg: 2.15 2.05 1.90 3/76 15003
/proc/meminfo: memFree=1297648/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=58152 CPUtime=1181.66
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 18364 822 0 0 118149 17 0 0 25 0 1 0 56665576 59547648 12364 996147200 134512640 135095119 4294956304 18446744073709551615 134641482 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 14538 12364 379 142 0 13492 0
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (KiB) 58152
[startup+1242.3 s]
/proc/loadavg: 2.12 2.07 1.91 3/76 15003
/proc/meminfo: memFree=1293296/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=58944 CPUtime=1241.63
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 18728 822 0 0 124146 17 0 0 25 0 1 0 56665576 60358656 12728 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 14736 12728 379 142 0 13690 0
Current children cumulated CPU time (s) 1241.63
Current children cumulated vsize (KiB) 58944
[startup+1302.3 s]
/proc/loadavg: 2.18 2.10 1.93 3/76 15003
/proc/meminfo: memFree=1288752/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=59872 CPUtime=1301.61
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 19108 822 0 0 130144 17 0 0 25 0 1 0 56665576 61308928 13108 996147200 134512640 135095119 4294956304 18446744073709551615 134555074 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 14968 13108 379 142 0 13922 0
Current children cumulated CPU time (s) 1301.61
Current children cumulated vsize (KiB) 59872
[startup+1362.3 s]
/proc/loadavg: 2.06 2.08 1.93 3/76 15003
/proc/meminfo: memFree=1284464/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=60796 CPUtime=1361.58
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 19494 822 0 0 136140 18 0 0 25 0 1 0 56665576 62255104 13494 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 15199 13494 379 142 0 14153 0
Current children cumulated CPU time (s) 1361.58
Current children cumulated vsize (KiB) 60796
[startup+1422.31 s]
/proc/loadavg: 2.02 2.06 1.93 3/76 15003
/proc/meminfo: memFree=1279984/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=61588 CPUtime=1421.56
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 19875 822 0 0 142138 18 0 0 25 0 1 0 56665576 63066112 13875 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 15397 13875 379 142 0 14351 0
Current children cumulated CPU time (s) 1421.56
Current children cumulated vsize (KiB) 61588
[startup+1482.3 s]
/proc/loadavg: 2.01 2.05 1.93 3/76 15003
/proc/meminfo: memFree=1275696/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=62384 CPUtime=1481.53
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 20228 822 0 0 148134 19 0 0 25 0 1 0 56665576 63881216 14228 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 15596 14228 379 142 0 14550 0
Current children cumulated CPU time (s) 1481.53
Current children cumulated vsize (KiB) 62384
[startup+1542.3 s]
/proc/loadavg: 2.00 2.04 1.93 3/76 15003
/proc/meminfo: memFree=1271472/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=63308 CPUtime=1541.5
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 20610 822 0 0 154131 19 0 0 25 0 1 0 56665576 64827392 14610 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 15827 14610 379 142 0 14781 0
Current children cumulated CPU time (s) 1541.5
Current children cumulated vsize (KiB) 63308
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 1.93 3/76 15003
/proc/meminfo: memFree=1253424/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=64096 CPUtime=1601.48
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 20958 822 0 0 160128 20 0 0 25 0 1 0 56665576 65634304 14958 996147200 134512640 135095119 4294956304 18446744073709551615 134642864 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 16024 14958 379 142 0 14978 0
Current children cumulated CPU time (s) 1601.48
Current children cumulated vsize (KiB) 64096
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/76 15003
/proc/meminfo: memFree=1250672/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=81404 CPUtime=1661.45
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 25444 822 0 0 166124 21 0 0 25 0 1 0 56665576 83357696 15347 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 20351 15347 379 142 0 19305 0
Current children cumulated CPU time (s) 1661.45
Current children cumulated vsize (KiB) 81404
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/76 15003
/proc/meminfo: memFree=1247984/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=82204 CPUtime=1721.42
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 25793 822 0 0 172121 21 0 0 25 0 1 0 56665576 84176896 15696 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 20551 15696 379 142 0 19505 0
Current children cumulated CPU time (s) 1721.42
Current children cumulated vsize (KiB) 82204
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/76 15003
/proc/meminfo: memFree=1245104/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=83000 CPUtime=1781.4
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 26151 822 0 0 178118 22 0 0 25 0 1 0 56665576 84992000 16054 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 20750 16054 379 142 0 19704 0
Current children cumulated CPU time (s) 1781.4
Current children cumulated vsize (KiB) 83000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801 s]
/proc/loadavg: 2.00 2.01 1.93 4/76 15003
/proc/meminfo: memFree=1244400/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=83396 CPUtime=1800.1
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 26273 822 0 0 179988 22 0 0 25 0 1 0 56665576 85397504 16176 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 20849 16176 379 142 0 19803 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 83396
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): 1801.02
CPU time (s): 1800.13
CPU user time (s): 1799.89
CPU system time (s): 0.240963
CPU usage (%): 99.9506
Max. virtual memory (cumulated for all children) (KiB): 83400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.240963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27095
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= 21
involuntary context switches= 6015
runsolver used 2.18267 second user time and 6.01408 second system time
The end
Begin job on node68 at 2009-07-16 00:13:49
IDJOB=2059955
IDBENCH=53632
IDSOLVER=733
FILE ID=node68/2059955-1247696029
PBS_JOBID= 9521178
Free space on /tmp= 66420 MiB
SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/frb59-26/normalized-frb59-26-5-mgd_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2059955-1247696029/watcher-2059955-1247696029 -o /tmp/evaluation-result-2059955-1247696029/solver-2059955-1247696029 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2014198501 HOME/instance-2059955-1247696029.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 48e18c10d82e0c79227fc1d9662ae8b3
RANDOM SEED=2014198501
node68.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.258
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.258
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: 1310552 kB
Buffers: 75532 kB
Cached: 480096 kB
SwapCached: 0 kB
Active: 285588 kB
Inactive: 387500 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1310552 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2568 kB
Writeback: 0 kB
Mapped: 129196 kB
Slab: 57176 kB
Committed_AS: 693236 kB
PageTables: 2144 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66416 MiB
End job on node68 at 2009-07-16 00:43:52