runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2079723-1247716989/watcher-2079723-1247716989 -o /tmp/evaluation-result-2079723-1247716989/solver-2079723-1247716989 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 226136006 HOME/instance-2079723-1247716989.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: 2.05 2.05 2.01 4/81 13592
/proc/meminfo: memFree=1484960/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=18576 CPUtime=0
/proc/13592/stat : 13592 (runsolver) R 13590 13592 11357 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 58765023 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 264907582759 0 0 4096 24578 0 0 0 17 1 0 0
/proc/13592/statm: 4644 284 249 26 0 2626 0
[startup+0.010835 s]
/proc/loadavg: 2.05 2.05 2.01 4/81 13592
/proc/meminfo: memFree=1484960/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=5356 CPUtime=0
/proc/13592/stat : 13592 (pcssolve) S 13590 13592 11357 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 58765023 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13592/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101746 s]
/proc/loadavg: 2.05 2.05 2.01 4/81 13592
/proc/meminfo: memFree=1484960/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=5360 CPUtime=0.06
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 955 822 0 0 6 0 0 0 20 0 1 0 58765023 5488640 564 996147200 134512640 135095119 4294956304 18446744073709551615 134739383 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 1340 564 375 142 0 294 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5360
[startup+0.301774 s]
/proc/loadavg: 2.05 2.05 2.01 4/81 13592
/proc/meminfo: memFree=1484960/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=8308 CPUtime=0.26
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 1319 822 0 0 26 0 0 0 22 0 1 0 58765023 8507392 928 996147200 134512640 135095119 4294956304 18446744073709551615 134731034 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 2077 928 375 142 0 1031 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 8308
[startup+0.701834 s]
/proc/loadavg: 2.05 2.05 2.01 4/81 13592
/proc/meminfo: memFree=1484960/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=10328 CPUtime=0.67
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 1587 822 0 0 66 1 0 0 25 0 1 0 58765023 10575872 1196 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 2582 1196 389 142 0 1536 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 10328
[startup+1.50195 s]
/proc/loadavg: 2.05 2.05 2.01 3/82 13598
/proc/meminfo: memFree=1481560/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=10328 CPUtime=1.46
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 1599 822 0 0 145 1 0 0 25 0 1 0 58765023 10575872 1208 996147200 134512640 135095119 4294956304 18446744073709551615 134927020 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 2582 1208 389 142 0 1536 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10328
[startup+3.10118 s]
/proc/loadavg: 2.05 2.05 2.01 3/82 13598
/proc/meminfo: memFree=1481368/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=10460 CPUtime=3.06
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 1642 822 0 0 305 1 0 0 25 0 1 0 58765023 10711040 1251 996147200 134512640 135095119 4294956304 18446744073709551615 134927023 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 2615 1251 389 142 0 1569 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 10460
[startup+6.30165 s]
/proc/loadavg: 2.04 2.05 2.01 3/82 13598
/proc/meminfo: memFree=1480984/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=10720 CPUtime=6.24
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 1741 822 0 0 623 1 0 0 25 0 1 0 58765023 10977280 1317 996147200 134512640 135095119 4294956304 18446744073709551615 134927008 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 2680 1317 389 142 0 1634 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 10720
[startup+12.7016 s]
/proc/loadavg: 2.04 2.05 2.01 3/82 13598
/proc/meminfo: memFree=1480472/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=11104 CPUtime=12.61
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 1958 822 0 0 1260 1 0 0 25 0 1 0 58765023 11370496 1436 996147200 134512640 135095119 4294956304 18446744073709551615 134926981 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 2776 1436 389 142 0 1730 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 11104
[startup+25.5014 s]
/proc/loadavg: 2.03 2.04 2.00 3/82 13598
/proc/meminfo: memFree=1479512/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=11872 CPUtime=25.35
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 2405 822 0 0 2534 1 0 0 25 0 1 0 58765023 12156928 1689 996147200 134512640 135095119 4294956304 18446744073709551615 134910288 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 2968 1689 389 142 0 1922 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 11872
[startup+51.1012 s]
/proc/loadavg: 2.02 2.04 2.00 3/82 13598
/proc/meminfo: memFree=1477592/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=13540 CPUtime=50.85
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 3302 822 0 0 5083 2 0 0 25 0 1 0 58765023 13864960 2200 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 3385 2200 389 142 0 2339 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 13540
[startup+102.306 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 13631
/proc/meminfo: memFree=1493096/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=15720 CPUtime=101.85
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 4532 822 0 0 10181 4 0 0 25 0 1 0 58765023 16097280 2917 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 3930 2917 389 142 0 2884 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 15720
[startup+162.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 13631
/proc/meminfo: memFree=1484136/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=23592 CPUtime=161.61
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 7069 822 0 0 16155 6 0 0 25 0 1 0 58765023 24158208 4139 996147200 134512640 135095119 4294956304 18446744073709551615 134918139 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 5898 4139 389 142 0 4852 0
Current children cumulated CPU time (s) 161.61
Current children cumulated vsize (KiB) 23592
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 13631
/proc/meminfo: memFree=1472872/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=29864 CPUtime=221.36
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 9251 822 0 0 22129 7 0 0 25 0 1 0 58765023 30580736 5743 996147200 134512640 135095119 4294956304 18446744073709551615 134916470 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 7466 5743 389 142 0 6420 0
Current children cumulated CPU time (s) 221.36
Current children cumulated vsize (KiB) 29864
[startup+282.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 13631
/proc/meminfo: memFree=1465192/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=31172 CPUtime=281.11
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 10129 822 0 0 28104 7 0 0 25 0 1 0 58765023 31920128 6621 996147200 134512640 135095119 4294956304 18446744073709551615 134916458 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 7793 6621 389 142 0 6747 0
Current children cumulated CPU time (s) 281.11
Current children cumulated vsize (KiB) 31172
[startup+342.302 s]
/proc/loadavg: 2.15 2.05 2.01 3/73 13631
/proc/meminfo: memFree=1454440/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=41724 CPUtime=340.87
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 13312 822 0 0 34078 9 0 0 25 0 1 0 58765023 42725376 7755 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 10431 7755 389 142 0 9385 0
Current children cumulated CPU time (s) 340.87
Current children cumulated vsize (KiB) 41724
[startup+402.301 s]
/proc/loadavg: 2.12 2.07 2.02 3/73 13631
/proc/meminfo: memFree=1446824/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=44072 CPUtime=400.63
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 14425 822 0 0 40053 10 0 0 25 0 1 0 58765023 45129728 8868 996147200 134512640 135095119 4294956304 18446744073709551615 134918238 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 11018 8868 389 142 0 9972 0
Current children cumulated CPU time (s) 400.63
Current children cumulated vsize (KiB) 44072
[startup+462.301 s]
/proc/loadavg: 2.04 2.05 2.01 3/73 13631
/proc/meminfo: memFree=1434088/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=54360 CPUtime=460.39
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 17520 822 0 0 46027 12 0 0 25 0 1 0 58765023 55664640 10938 996147200 134512640 135095119 4294956304 18446744073709551615 134918139 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 13590 10938 389 142 0 12544 0
Current children cumulated CPU time (s) 460.39
Current children cumulated vsize (KiB) 54360
[startup+522.302 s]
/proc/loadavg: 2.01 2.04 2.00 3/73 13631
/proc/meminfo: memFree=1427624/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=54360 CPUtime=520.14
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 18057 822 0 0 52001 13 0 0 25 0 1 0 58765023 55664640 11475 996147200 134512640 135095119 4294956304 18446744073709551615 134927199 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 13590 11475 389 142 0 12544 0
Current children cumulated CPU time (s) 520.14
Current children cumulated vsize (KiB) 54360
[startup+582.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 13631
/proc/meminfo: memFree=1414376/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=56332 CPUtime=579.9
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 19081 822 0 0 57976 14 0 0 25 0 1 0 58765023 57683968 12499 996147200 134512640 135095119 4294956304 18446744073709551615 134927023 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 14083 12499 389 142 0 13037 0
Current children cumulated CPU time (s) 579.9
Current children cumulated vsize (KiB) 56332
[startup+642.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 13631
/proc/meminfo: memFree=1407912/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=75068 CPUtime=639.66
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 24273 822 0 0 63950 16 0 0 25 0 1 0 58765023 76869632 13594 996147200 134512640 135095119 4294956304 18446744073709551615 134615618 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 18767 13594 389 142 0 17721 0
Current children cumulated CPU time (s) 639.66
Current children cumulated vsize (KiB) 75068
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1392680/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=79764 CPUtime=759.17
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 26436 822 0 0 75899 18 0 0 25 0 1 0 58765023 81678336 15757 996147200 134512640 135095119 4294956304 18446744073709551615 134918260 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 19941 15757 389 142 0 18895 0
Current children cumulated CPU time (s) 759.17
Current children cumulated vsize (KiB) 79764
[startup+822.303 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 13631
/proc/meminfo: memFree=1383912/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=82256 CPUtime=818.93
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 27579 822 0 0 81873 20 0 0 25 0 1 0 58765023 84230144 16900 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 20564 16900 389 142 0 19518 0
Current children cumulated CPU time (s) 818.93
Current children cumulated vsize (KiB) 82256
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13631
/proc/meminfo: memFree=1365928/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=102316 CPUtime=878.68
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 33118 822 0 0 87846 22 0 0 25 0 1 0 58765023 104771584 20390 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 25579 20390 389 142 0 24533 0
Current children cumulated CPU time (s) 878.68
Current children cumulated vsize (KiB) 102316
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13631
/proc/meminfo: memFree=1359784/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=102316 CPUtime=938.44
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 33632 822 0 0 93821 23 0 0 25 0 1 0 58765023 104771584 20904 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 25579 20904 389 142 0 24533 0
Current children cumulated CPU time (s) 938.44
Current children cumulated vsize (KiB) 102316
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13631
/proc/meminfo: memFree=1353448/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=102316 CPUtime=998.2
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 34144 822 0 0 99797 23 0 0 25 0 1 0 58765023 104771584 21416 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 25579 21416 389 142 0 24533 0
Current children cumulated CPU time (s) 998.2
Current children cumulated vsize (KiB) 102316
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13631
/proc/meminfo: memFree=1336040/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=102316 CPUtime=1057.96
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 34643 822 0 0 105771 25 0 0 25 0 1 0 58765023 104771584 21915 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 25579 21915 389 142 0 24533 0
Current children cumulated CPU time (s) 1057.96
Current children cumulated vsize (KiB) 102316
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13631
/proc/meminfo: memFree=1329960/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=104268 CPUtime=1117.71
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 35651 822 0 0 111746 25 0 0 25 0 1 0 58765023 106770432 22923 996147200 134512640 135095119 4294956304 18446744073709551615 134910772 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 26067 22923 389 142 0 25021 0
Current children cumulated CPU time (s) 1117.71
Current children cumulated vsize (KiB) 104268
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13631
/proc/meminfo: memFree=1323560/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=106744 CPUtime=1177.47
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 36767 822 0 0 117721 26 0 0 25 0 1 0 58765023 109305856 24039 996147200 134512640 135095119 4294956304 18446744073709551615 134918194 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 26686 24039 389 142 0 25640 0
Current children cumulated CPU time (s) 1177.47
Current children cumulated vsize (KiB) 106744
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13631
/proc/meminfo: memFree=1316968/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=109092 CPUtime=1237.22
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 37869 822 0 0 123694 28 0 0 25 0 1 0 58765023 111710208 25141 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 27273 25141 389 142 0 26227 0
Current children cumulated CPU time (s) 1237.22
Current children cumulated vsize (KiB) 109092
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/73 13631
/proc/meminfo: memFree=1310312/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=111572 CPUtime=1296.98
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 38954 822 0 0 129669 29 0 0 25 0 1 0 58765023 114249728 26226 996147200 134512640 135095119 4294956304 18446744073709551615 134918268 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 27893 26226 389 142 0 26847 0
Current children cumulated CPU time (s) 1296.98
Current children cumulated vsize (KiB) 111572
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 13631
/proc/meminfo: memFree=1303336/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=146696 CPUtime=1356.74
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 48240 822 0 0 135640 34 0 0 25 0 1 0 58765023 150216704 27319 996147200 134512640 135095119 4294956304 18446744073709551615 134927360 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 36674 27319 389 142 0 35628 0
Current children cumulated CPU time (s) 1356.74
Current children cumulated vsize (KiB) 146696
Solver just ended. Dumping a history of the last processes samples
[startup+1369.51 s]
/proc/loadavg: 2.06 2.02 2.00 3/73 13631
/proc/meminfo: memFree=1302184/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=146956 CPUtime=1363.91
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 48372 822 0 0 136357 34 0 0 25 0 1 0 58765023 150482944 27451 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 36739 27451 389 142 0 35693 0
Current children cumulated CPU time (s) 1363.91
Current children cumulated vsize (KiB) 146956
[startup+1382.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/73 13631
/proc/meminfo: memFree=1300456/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=147476 CPUtime=1376.65
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 48601 822 0 0 137631 34 0 0 25 0 1 0 58765023 151015424 27680 996147200 134512640 135095119 4294956304 18446744073709551615 134918079 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 36869 27680 389 142 0 35823 0
Current children cumulated CPU time (s) 1376.65
Current children cumulated vsize (KiB) 147476
[startup+1385.5 s]
/proc/loadavg: 2.04 2.02 2.00 3/73 13631
/proc/meminfo: memFree=1300008/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=147608 CPUtime=1379.84
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 48658 822 0 0 137950 34 0 0 25 0 1 0 58765023 151150592 27737 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 36902 27737 389 142 0 35856 0
Current children cumulated CPU time (s) 1379.84
Current children cumulated vsize (KiB) 147608
[startup+1388.7 s]
/proc/loadavg: 2.04 2.02 2.00 3/73 13631
/proc/meminfo: memFree=1299624/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=147736 CPUtime=1383.03
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 48715 822 0 0 138269 34 0 0 25 0 1 0 58765023 151281664 27794 996147200 134512640 135095119 4294956304 18446744073709551615 134911229 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 36934 27794 389 142 0 35888 0
Current children cumulated CPU time (s) 1383.03
Current children cumulated vsize (KiB) 147736
[startup+1389.5 s]
/proc/loadavg: 2.04 2.02 2.00 3/73 13631
/proc/meminfo: memFree=1299496/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=147736 CPUtime=1383.82
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 48729 822 0 0 138348 34 0 0 25 0 1 0 58765023 151281664 27808 996147200 134512640 135095119 4294956304 18446744073709551615 134918175 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 36934 27808 389 142 0 35888 0
Current children cumulated CPU time (s) 1383.82
Current children cumulated vsize (KiB) 147736
[startup+1390.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/73 13631
/proc/meminfo: memFree=1299368/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=147868 CPUtime=1384.62
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 48743 822 0 0 138428 34 0 0 25 0 1 0 58765023 151416832 27822 996147200 134512640 135095119 4294956304 18446744073709551615 7447905 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 36967 27822 389 142 0 35921 0
Current children cumulated CPU time (s) 1384.62
Current children cumulated vsize (KiB) 147868
[startup+1390.5 s]
/proc/loadavg: 2.12 2.04 2.01 3/73 13631
/proc/meminfo: memFree=1299368/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=65940 CPUtime=1384.82
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 48743 822 0 0 138447 35 0 0 25 0 1 0 58765023 67522560 15818 996147200 134512640 135095119 4294956304 18446744073709551615 7446643 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 16485 15818 389 142 0 15439 0
Current children cumulated CPU time (s) 1384.82
Current children cumulated vsize (KiB) 65940
[startup+1390.6 s]
/proc/loadavg: 2.12 2.04 2.01 3/73 13631
/proc/meminfo: memFree=1299368/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=65940 CPUtime=1384.92
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 48743 822 0 0 138457 35 0 0 25 0 1 0 58765023 67522560 15818 996147200 134512640 135095119 4294956304 18446744073709551615 7446597 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 16485 15818 389 142 0 15439 0
Current children cumulated CPU time (s) 1384.92
Current children cumulated vsize (KiB) 65940
Child status: 0
Real time (s): 1390.69
CPU time (s): 1385.04
CPU user time (s): 1384.66
CPU system time (s): 0.372943
CPU usage (%): 99.5933
Max. virtual memory (cumulated for all children) (KiB): 147868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1384.66
system time used= 0.372943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49568
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= 22
involuntary context switches= 19358
runsolver used 1.04084 second user time and 4.02239 second system time
The end
Begin job on node30 at 2009-07-16 06:03:09
IDJOB=2079723
IDBENCH=56942
IDSOLVER=734
FILE ID=node30/2079723-1247716989
PBS_JOBID= 9521321
Free space on /tmp= 66284 MiB
SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/rand-3-20-20/normalized-rand-3-20-20-60-632-34_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2079723-1247716989/watcher-2079723-1247716989 -o /tmp/evaluation-result-2079723-1247716989/solver-2079723-1247716989 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 226136006 HOME/instance-2079723-1247716989.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f2a5642d0d3cc3bfc3ccc1bbf7de0804
RANDOM SEED=226136006
node30.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.277
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.277
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: 1485440 kB
Buffers: 76904 kB
Cached: 369244 kB
SwapCached: 0 kB
Active: 85548 kB
Inactive: 401340 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1485440 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2996 kB
Writeback: 0 kB
Mapped: 61184 kB
Slab: 68804 kB
Committed_AS: 580024 kB
PageTables: 1824 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= 66280 MiB
End job on node30 at 2009-07-16 06:26:20