runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2080635-1247717971/watcher-2080635-1247717971 -o /tmp/evaluation-result-2080635-1247717971/solver-2080635-1247717971 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 82081830 HOME/instance-2080635-1247717971.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.06 2.10 2.03 4/82 15658
/proc/meminfo: memFree=936192/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=5356 CPUtime=0
/proc/15658/stat : 15658 (pcssolve) R 15656 15658 14344 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 58864203 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 214919867039 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15658/statm: 1339 241 200 169 0 50 0
[pid=15659] ppid=15658 vsize=5356 CPUtime=0
/proc/15659/stat : 15659 (pcssolve) R 15658 15658 14344 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 58864203 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 214919867039 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15659/statm: 1339 241 200 169 0 50 0
[startup+0.114714 s]
/proc/loadavg: 2.06 2.10 2.03 4/82 15658
/proc/meminfo: memFree=936192/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=4776 CPUtime=0.09
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 907 640 0 0 9 0 0 0 18 0 1 0 58864203 4890624 538 996147200 134512640 135215973 4294956320 18446744073709551615 134589807 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 1194 538 416 171 0 119 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4776
[startup+0.20173 s]
/proc/loadavg: 2.06 2.10 2.03 4/82 15658
/proc/meminfo: memFree=936192/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=4908 CPUtime=0.17
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 953 640 0 0 17 0 0 0 18 0 1 0 58864203 5025792 584 996147200 134512640 135215973 4294956320 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 1227 584 416 171 0 152 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 4908
[startup+0.301751 s]
/proc/loadavg: 2.06 2.10 2.03 4/82 15658
/proc/meminfo: memFree=936192/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=5192 CPUtime=0.27
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 992 640 0 0 27 0 0 0 19 0 1 0 58864203 5316608 623 996147200 134512640 135215973 4294956320 18446744073709551615 134590080 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 1298 623 416 171 0 223 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5192
[startup+0.701838 s]
/proc/loadavg: 2.06 2.10 2.03 4/82 15658
/proc/meminfo: memFree=936192/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=5840 CPUtime=0.67
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 1141 640 0 0 67 0 0 0 23 0 1 0 58864203 5980160 772 996147200 134512640 135215973 4294956320 18446744073709551615 134648513 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 1460 772 416 171 0 385 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 5840
[startup+1.50201 s]
/proc/loadavg: 2.06 2.10 2.03 3/83 15663
/proc/meminfo: memFree=934008/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=6624 CPUtime=1.46
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 1349 640 0 0 146 0 0 0 25 0 1 0 58864203 6782976 980 996147200 134512640 135215973 4294956320 18446744073709551615 135097160 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 1656 980 416 171 0 581 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 6624
[startup+3.10136 s]
/proc/loadavg: 2.06 2.10 2.03 3/83 15663
/proc/meminfo: memFree=932856/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=7928 CPUtime=3.05
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 1717 640 0 0 304 1 0 0 25 0 1 0 58864203 8118272 1315 996147200 134512640 135215973 4294956320 18446744073709551615 4158960272 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 1982 1315 416 171 0 907 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7928
[startup+6.30105 s]
/proc/loadavg: 2.05 2.10 2.03 3/83 15663
/proc/meminfo: memFree=930360/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=10676 CPUtime=6.22
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 2415 640 0 0 621 1 0 0 25 0 1 0 58864203 10932224 1948 996147200 134512640 135215973 4294956320 18446744073709551615 134609894 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 2669 1948 416 171 0 1594 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 10676
[startup+12.7024 s]
/proc/loadavg: 2.05 2.10 2.03 3/83 15663
/proc/meminfo: memFree=925752/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=14956 CPUtime=12.56
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 3532 640 0 0 1254 2 0 0 25 0 1 0 58864203 15314944 3032 996147200 134512640 135215973 4294956320 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 3739 3032 416 171 0 2664 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 14956
[startup+25.5012 s]
/proc/loadavg: 2.04 2.09 2.03 3/83 15663
/proc/meminfo: memFree=919992/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=20436 CPUtime=25.23
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 4945 640 0 0 2521 2 0 0 25 0 1 0 58864203 20926464 4316 996147200 134512640 135215973 4294956320 18446744073709551615 4158960547 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 5109 4316 416 171 0 4034 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 20436
[startup+51.1017 s]
/proc/loadavg: 2.02 2.08 2.03 3/83 15663
/proc/meminfo: memFree=911480/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=29212 CPUtime=50.59
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 7360 640 0 0 5055 4 0 0 25 0 1 0 58864203 29913088 6537 996147200 134512640 135215973 4294956320 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 7303 6537 416 171 0 6228 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 29212
[startup+102.302 s]
/proc/loadavg: 2.01 2.07 2.02 3/83 15663
/proc/meminfo: memFree=889016/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=53300 CPUtime=101.31
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 13903 640 0 0 10122 9 0 0 25 0 1 0 58864203 54579200 12053 996147200 134512640 135215973 4294956320 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 13325 12053 416 171 0 12250 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 53300
[startup+162.302 s]
/proc/loadavg: 2.00 2.05 2.02 3/83 15663
/proc/meminfo: memFree=866232/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=74296 CPUtime=160.74
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 19652 640 0 0 16060 14 0 0 25 0 1 0 58864203 76079104 17802 996147200 134512640 135215973 4294956320 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 18574 17802 416 171 0 17499 0
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (KiB) 74296
[startup+222.306 s]
/proc/loadavg: 2.00 2.04 2.01 3/83 15663
/proc/meminfo: memFree=846008/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=98940 CPUtime=220.17
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 26170 640 0 0 21996 21 0 0 25 0 1 0 58864203 101314560 22782 996147200 134512640 135215973 4294956320 18446744073709551615 134533353 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 24735 22782 416 171 0 23660 0
Current children cumulated CPU time (s) 220.17
Current children cumulated vsize (KiB) 98940
[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.01 3/83 15663
/proc/meminfo: memFree=832760/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=111144 CPUtime=279.6
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 29493 640 0 0 27935 25 0 0 25 0 1 0 58864203 113811456 26105 996147200 134512640 135215973 4294956320 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 27786 26105 416 171 0 26711 0
Current children cumulated CPU time (s) 279.6
Current children cumulated vsize (KiB) 111144
[startup+342.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 15663
/proc/meminfo: memFree=819512/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=123340 CPUtime=339.03
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 32772 640 0 0 33874 29 0 0 25 0 1 0 58864203 126300160 29384 996147200 134512640 135215973 4294956320 18446744073709551615 4158960089 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 30835 29384 416 171 0 29760 0
Current children cumulated CPU time (s) 339.03
Current children cumulated vsize (KiB) 123340
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 15663
/proc/meminfo: memFree=806648/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=135180 CPUtime=398.47
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 35974 640 0 0 39814 33 0 0 25 0 1 0 58864203 138424320 32586 996147200 134512640 135215973 4294956320 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 33795 32586 416 171 0 32720 0
Current children cumulated CPU time (s) 398.47
Current children cumulated vsize (KiB) 135180
[startup+462.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 15663
/proc/meminfo: memFree=794104/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=146360 CPUtime=457.89
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 39088 640 0 0 45753 36 0 0 25 0 1 0 58864203 149872640 35700 996147200 134512640 135215973 4294956320 18446744073709551615 134585688 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 36590 35700 416 171 0 35515 0
Current children cumulated CPU time (s) 457.89
Current children cumulated vsize (KiB) 146360
[startup+522.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 15663
/proc/meminfo: memFree=780088/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=167452 CPUtime=517.33
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 44685 640 0 0 51691 42 0 0 25 0 1 0 58864203 171470848 39248 996147200 134512640 135215973 4294956320 18446744073709551615 134587796 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 41863 39248 416 171 0 40788 0
Current children cumulated CPU time (s) 517.33
Current children cumulated vsize (KiB) 167452
[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15663
/proc/meminfo: memFree=760568/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=189200 CPUtime=576.75
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 50454 640 0 0 57629 46 0 0 25 0 1 0 58864203 193740800 43992 996147200 134512640 135215973 4294956320 18446744073709551615 134591047 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 47300 43992 416 171 0 46225 0
Current children cumulated CPU time (s) 576.75
Current children cumulated vsize (KiB) 189200
[startup+642.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15663
/proc/meminfo: memFree=749496/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=199592 CPUtime=636.19
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 53288 640 0 0 63570 49 0 0 25 0 1 0 58864203 204382208 46826 996147200 134512640 135215973 4294956320 18446744073709551615 134616941 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 49898 46826 416 171 0 48823 0
Current children cumulated CPU time (s) 636.19
################
# More data... #
################
/proc/meminfo: memFree=652280/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=304208 CPUtime=1052.21
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 81640 640 0 0 105142 79 0 0 25 0 1 0 58864203 311508992 71081 996147200 134512640 135215973 4294956320 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 76052 71081 416 171 0 74977 0
Current children cumulated CPU time (s) 1052.21
Current children cumulated vsize (KiB) 304208
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15663
/proc/meminfo: memFree=638200/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=316848 CPUtime=1111.63
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 85109 640 0 0 111080 83 0 0 25 0 1 0 58864203 324452352 74550 996147200 134512640 135215973 4294956320 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 79212 74550 416 171 0 78137 0
Current children cumulated CPU time (s) 1111.63
Current children cumulated vsize (KiB) 316848
[startup+1182.3 s]
/proc/loadavg: 1.92 1.98 1.99 4/83 15705
/proc/meminfo: memFree=1341312/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=329996 CPUtime=1171.1
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 88736 640 0 0 117022 88 0 0 25 0 1 0 58864203 337915904 78177 996147200 134512640 135215973 4294956320 18446744073709551615 134585101 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 82499 78177 416 171 0 81424 0
Current children cumulated CPU time (s) 1171.1
Current children cumulated vsize (KiB) 329996
[startup+1242.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1308920/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=344696 CPUtime=1231.07
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 92762 640 0 0 123014 93 0 0 25 0 1 0 58864203 352968704 82203 996147200 134512640 135215973 4294956320 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 86174 82203 416 171 0 85099 0
Current children cumulated CPU time (s) 1231.07
Current children cumulated vsize (KiB) 344696
[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1293944/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=358472 CPUtime=1291.04
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 96539 640 0 0 129007 97 0 0 25 0 1 0 58864203 367075328 85980 996147200 134512640 135215973 4294956320 18446744073709551615 134599842 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 89618 85980 416 171 0 88543 0
Current children cumulated CPU time (s) 1291.04
Current children cumulated vsize (KiB) 358472
[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1276408/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=373864 CPUtime=1351.01
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 100769 640 0 0 135000 101 0 0 25 0 1 0 58864203 382836736 90210 996147200 134512640 135215973 4294956320 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 93466 90210 416 171 0 92391 0
Current children cumulated CPU time (s) 1351.01
Current children cumulated vsize (KiB) 373864
[startup+1422.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1260088/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=388424 CPUtime=1410.98
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 104792 640 0 0 140992 106 0 0 25 0 1 0 58864203 397746176 94233 996147200 134512640 135215973 4294956320 18446744073709551615 134650912 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 97106 94233 416 171 0 96031 0
Current children cumulated CPU time (s) 1410.98
Current children cumulated vsize (KiB) 388424
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1243640/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=403556 CPUtime=1470.95
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 108929 640 0 0 146984 111 0 0 25 0 1 0 58864203 413241344 98370 996147200 134512640 135215973 4294956320 18446744073709551615 4158960170 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 100889 98370 416 171 0 99814 0
Current children cumulated CPU time (s) 1470.95
Current children cumulated vsize (KiB) 403556
[startup+1542.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1216760/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=436252 CPUtime=1530.93
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 117416 640 0 0 152978 115 0 0 25 0 1 0 58864203 446722048 104808 996147200 134512640 135215973 4294956320 18446744073709551615 4158960587 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 109063 104808 416 171 0 107988 0
Current children cumulated CPU time (s) 1530.93
Current children cumulated vsize (KiB) 436252
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1203640/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=448236 CPUtime=1590.89
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 120724 640 0 0 158970 119 0 0 25 0 1 0 58864203 458993664 108116 996147200 134512640 135215973 4294956320 18446744073709551615 134584470 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 112059 108116 416 171 0 110984 0
Current children cumulated CPU time (s) 1590.89
Current children cumulated vsize (KiB) 448236
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1188536/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=461772 CPUtime=1650.86
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 124466 640 0 0 164963 123 0 0 25 0 1 0 58864203 472854528 111858 996147200 134512640 135215973 4294956320 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 115443 111858 416 171 0 114368 0
Current children cumulated CPU time (s) 1650.86
Current children cumulated vsize (KiB) 461772
Solver just ended. Dumping a history of the last processes samples
[startup+1664 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1188280/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=462168 CPUtime=1652.55
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 124580 640 0 0 165132 123 0 0 25 0 1 0 58864203 473260032 111972 996147200 134512640 135215973 4294956320 18446744073709551615 134585304 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 115542 111972 416 171 0 114467 0
Current children cumulated CPU time (s) 1652.55
Current children cumulated vsize (KiB) 462168
[startup+1670.4 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1186616/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=463612 CPUtime=1658.95
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 124964 640 0 0 165772 123 0 0 25 0 1 0 58864203 474738688 112356 996147200 134512640 135215973 4294956320 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 115903 112356 416 171 0 114828 0
Current children cumulated CPU time (s) 1658.95
Current children cumulated vsize (KiB) 463612
[startup+1673.6 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1185720/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=464400 CPUtime=1662.16
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 125188 640 0 0 166092 124 0 0 25 0 1 0 58864203 475545600 112580 996147200 134512640 135215973 4294956320 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 116100 112580 416 171 0 115025 0
Current children cumulated CPU time (s) 1662.16
Current children cumulated vsize (KiB) 464400
[startup+1676.8 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1184888/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=465192 CPUtime=1665.35
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 125392 640 0 0 166411 124 0 0 25 0 1 0 58864203 476356608 112784 996147200 134512640 135215973 4294956320 18446744073709551615 134609874 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 116298 112784 416 171 0 115223 0
Current children cumulated CPU time (s) 1665.35
Current children cumulated vsize (KiB) 465192
[startup+1677.61 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1184504/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=449068 CPUtime=1666.16
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 125453 640 0 0 166492 124 0 0 25 0 1 0 58864203 459845632 110639 996147200 134512640 135215973 4294956320 18446744073709551615 9334853 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 112267 110639 416 171 0 111192 0
Current children cumulated CPU time (s) 1666.16
Current children cumulated vsize (KiB) 449068
[startup+1678 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1184504/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=449068 CPUtime=1666.55
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 125453 640 0 0 166531 124 0 0 25 0 1 0 58864203 459845632 110639 996147200 134512640 135215973 4294956320 18446744073709551615 134532717 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 112267 110639 416 171 0 111192 0
Current children cumulated CPU time (s) 1666.55
Current children cumulated vsize (KiB) 449068
[startup+1678.2 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1184504/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=449068 CPUtime=1666.75
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 125453 640 0 0 166551 124 0 0 25 0 1 0 58864203 459845632 110639 996147200 134512640 135215973 4294956320 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 112267 110639 416 171 0 111192 0
Current children cumulated CPU time (s) 1666.75
Current children cumulated vsize (KiB) 449068
[startup+1678.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1184504/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=449068 CPUtime=1666.85
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 125453 640 0 0 166561 124 0 0 25 0 1 0 58864203 459845632 110639 996147200 134512640 135215973 4294956320 18446744073709551615 9334893 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 112267 110639 416 171 0 111192 0
Current children cumulated CPU time (s) 1666.85
Current children cumulated vsize (KiB) 449068
Child status: 0
Real time (s): 1678.38
CPU time (s): 1666.95
CPU user time (s): 1665.62
CPU system time (s): 1.3238
CPU usage (%): 99.3188
Max. virtual memory (cumulated for all children) (KiB): 465456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1665.62
system time used= 1.3238
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126095
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= 19
involuntary context switches= 50648
runsolver used 1.9407 second user time and 5.69113 second system time
The end
Begin job on node10 at 2009-07-16 06:19:32
IDJOB=2080635
IDBENCH=57120
IDSOLVER=733
FILE ID=node10/2080635-1247717971
PBS_JOBID= 9521355
Free space on /tmp= 66364 MiB
SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/knights/normalized-knights-12-5.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080635-1247717971/watcher-2080635-1247717971 -o /tmp/evaluation-result-2080635-1247717971/solver-2080635-1247717971 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 82081830 HOME/instance-2080635-1247717971.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3e07c67836725db23817dc963b7a8aaa
RANDOM SEED=82081830
node10.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.279
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.279
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: 936672 kB
Buffers: 72996 kB
Cached: 222600 kB
SwapCached: 0 kB
Active: 815844 kB
Inactive: 229452 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 936672 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1712 kB
Writeback: 0 kB
Mapped: 770140 kB
Slab: 57820 kB
Committed_AS: 1353052 kB
PageTables: 3256 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= 66360 MiB
End job on node10 at 2009-07-16 06:47:30