runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2077863-1247715678/watcher-2077863-1247715678 -o /tmp/evaluation-result-2077863-1247715678/solver-2077863-1247715678 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 778601724 HOME/instance-2077863-1247715678.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.33 2.34 2.20 4/72 13362
/proc/meminfo: memFree=1506792/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=18576 CPUtime=0
/proc/13362/stat : 13362 (runsolver) R 13360 13362 12466 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 58634646 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/13362/statm: 4644 284 249 26 0 2626 0
[startup+0.014424 s]
/proc/loadavg: 2.33 2.34 2.20 4/72 13362
/proc/meminfo: memFree=1506792/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=5356 CPUtime=0
/proc/13362/stat : 13362 (pcssolve) S 13360 13362 12466 0 -1 4194304 339 464 0 0 0 0 0 0 23 0 1 0 58634646 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13362/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101401 s]
/proc/loadavg: 2.33 2.34 2.20 4/72 13362
/proc/meminfo: memFree=1506792/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=4972 CPUtime=0.07
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 945 646 0 0 7 0 0 0 18 0 1 0 58634646 5091328 576 996147200 134512640 135215973 4294956304 18446744073709551615 135098084 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 1243 576 415 171 0 168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4972
[startup+0.301341 s]
/proc/loadavg: 2.33 2.34 2.20 4/72 13362
/proc/meminfo: memFree=1506792/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=5184 CPUtime=0.27
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 991 646 0 0 27 0 0 0 19 0 1 0 58634646 5308416 622 996147200 134512640 135215973 4294956304 18446744073709551615 134609785 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 1296 622 415 171 0 221 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5184
[startup+0.701225 s]
/proc/loadavg: 2.33 2.34 2.20 4/72 13362
/proc/meminfo: memFree=1506792/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=5312 CPUtime=0.67
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 1015 646 0 0 67 0 0 0 23 0 1 0 58634646 5439488 646 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 1328 646 415 171 0 253 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 5312
[startup+1.502 s]
/proc/loadavg: 2.33 2.34 2.20 3/73 13367
/proc/meminfo: memFree=1505696/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=5700 CPUtime=1.47
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 1101 646 0 0 147 0 0 0 25 0 1 0 58634646 5836800 732 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 1425 732 415 171 0 350 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 5700
[startup+3.10154 s]
/proc/loadavg: 2.31 2.33 2.20 3/73 13367
/proc/meminfo: memFree=1504608/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=7288 CPUtime=3.05
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 1518 646 0 0 305 0 0 0 25 0 1 0 58634646 7462912 1149 996147200 134512640 135215973 4294956304 18446744073709551615 134591970 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 1822 1149 415 171 0 747 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7288
[startup+6.30162 s]
/proc/loadavg: 2.31 2.33 2.20 3/73 13367
/proc/meminfo: memFree=1502368/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=8724 CPUtime=6.24
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 1853 646 0 0 623 1 0 0 25 0 1 0 58634646 8933376 1484 996147200 134512640 135215973 4294956304 18446744073709551615 134533377 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 2181 1484 415 171 0 1106 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 8724
[startup+12.7018 s]
/proc/loadavg: 2.26 2.32 2.20 3/73 13367
/proc/meminfo: memFree=1501536/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=9512 CPUtime=12.58
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 2070 646 0 0 1257 1 0 0 25 0 1 0 58634646 9740288 1701 996147200 134512640 135215973 4294956304 18446744073709551615 134532897 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 2378 1701 415 171 0 1303 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 9512
[startup+25.5011 s]
/proc/loadavg: 2.22 2.31 2.20 3/73 13367
/proc/meminfo: memFree=1499168/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=12084 CPUtime=25.25
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 2727 646 0 0 2524 1 0 0 25 0 1 0 58634646 12374016 2272 996147200 134512640 135215973 4294956304 18446744073709551615 134532667 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 3021 2272 415 171 0 1946 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 12084
[startup+51.1017 s]
/proc/loadavg: 2.14 2.29 2.19 3/73 13367
/proc/meminfo: memFree=1492448/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=18764 CPUtime=50.63
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 4419 646 0 0 5061 2 0 0 25 0 1 0 58634646 19214336 3964 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 4691 3964 415 171 0 3616 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 18764
[startup+102.306 s]
/proc/loadavg: 2.06 2.24 2.18 3/73 13367
/proc/meminfo: memFree=1483424/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=27708 CPUtime=101.39
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 6696 646 0 0 10136 3 0 0 25 0 1 0 58634646 28372992 6176 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 6927 6176 415 171 0 5852 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 27708
[startup+162.302 s]
/proc/loadavg: 2.02 2.19 2.16 3/73 13367
/proc/meminfo: memFree=1480544/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=30460 CPUtime=160.86
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 7399 646 0 0 16082 4 0 0 25 0 1 0 58634646 31191040 6879 996147200 134512640 135215973 4294956304 18446744073709551615 134590104 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 7615 6879 415 171 0 6540 0
Current children cumulated CPU time (s) 160.86
Current children cumulated vsize (KiB) 30460
[startup+222.302 s]
/proc/loadavg: 2.00 2.15 2.15 3/73 13367
/proc/meminfo: memFree=1477280/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=33616 CPUtime=220.31
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 8210 646 0 0 22027 4 0 0 25 0 1 0 58634646 34422784 7690 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 8404 7690 415 171 0 7329 0
Current children cumulated CPU time (s) 220.31
Current children cumulated vsize (KiB) 33616
[startup+282.301 s]
/proc/loadavg: 2.00 2.12 2.14 3/73 13367
/proc/meminfo: memFree=1472480/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=38592 CPUtime=279.78
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 9487 646 0 0 27973 5 0 0 25 0 1 0 58634646 39518208 8934 996147200 134512640 135215973 4294956304 18446744073709551615 134589892 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 9648 8934 415 171 0 8573 0
Current children cumulated CPU time (s) 279.78
Current children cumulated vsize (KiB) 38592
[startup+342.301 s]
/proc/loadavg: 2.00 2.10 2.13 3/73 13367
/proc/meminfo: memFree=1469472/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=41868 CPUtime=339.24
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 10326 646 0 0 33918 6 0 0 25 0 1 0 58634646 42872832 9644 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 10467 9644 415 171 0 9392 0
Current children cumulated CPU time (s) 339.24
Current children cumulated vsize (KiB) 41868
[startup+402.302 s]
/proc/loadavg: 2.00 2.08 2.12 3/73 13367
/proc/meminfo: memFree=1466400/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=44888 CPUtime=398.71
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 11074 646 0 0 39865 6 0 0 25 0 1 0 58634646 45965312 10392 996147200 134512640 135215973 4294956304 18446744073709551615 134590021 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 11222 10392 415 171 0 10147 0
Current children cumulated CPU time (s) 398.71
Current children cumulated vsize (KiB) 44888
[startup+462.302 s]
/proc/loadavg: 2.00 2.06 2.11 3/73 13367
/proc/meminfo: memFree=1463392/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=47784 CPUtime=458.17
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 11838 646 0 0 45810 7 0 0 25 0 1 0 58634646 48930816 11156 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 11946 11156 415 171 0 10871 0
Current children cumulated CPU time (s) 458.17
Current children cumulated vsize (KiB) 47784
[startup+522.301 s]
/proc/loadavg: 2.00 2.05 2.09 3/73 13369
/proc/meminfo: memFree=1460832/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=50144 CPUtime=517.64
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 12440 646 0 0 51757 7 0 0 25 0 1 0 58634646 51347456 11758 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 12536 11758 415 171 0 11461 0
Current children cumulated CPU time (s) 517.64
Current children cumulated vsize (KiB) 50144
[startup+582.301 s]
/proc/loadavg: 2.07 2.05 2.09 3/73 13369
/proc/meminfo: memFree=1455136/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=55792 CPUtime=577.1
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 13867 646 0 0 57702 8 0 0 25 0 1 0 58634646 57131008 13185 996147200 134512640 135215973 4294956304 18446744073709551615 134583690 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 13948 13185 415 171 0 12873 0
Current children cumulated CPU time (s) 577.1
Current children cumulated vsize (KiB) 55792
[startup+642.303 s]
/proc/loadavg: 2.02 2.04 2.08 3/73 13369
/proc/meminfo: memFree=1450464/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=60268 CPUtime=636.58
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 14989 646 0 0 63649 9 0 0 25 0 1 0 58634646 61714432 14307 996147200 134512640 135215973 4294956304 18446744073709551615 134585632 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 15067 14307 415 171 0 13992 0
Current children cumulated CPU time (s) 636.58
Current children cumulated vsize (KiB) 60268
[startup+702.302 s]
################
# More data... #
################
[startup+882.303 s]
/proc/loadavg: 2.03 2.03 2.07 3/73 13369
/proc/meminfo: memFree=1431712/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=78944 CPUtime=874.45
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 19697 646 0 0 87433 12 0 0 25 0 1 0 58634646 80838656 19015 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 19736 19015 415 171 0 18661 0
Current children cumulated CPU time (s) 874.45
Current children cumulated vsize (KiB) 78944
[startup+942.302 s]
/proc/loadavg: 2.01 2.02 2.06 3/73 13369
/proc/meminfo: memFree=1427488/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=83424 CPUtime=933.92
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 20824 646 0 0 93380 12 0 0 25 0 1 0 58634646 85426176 20142 996147200 134512640 135215973 4294956304 18446744073709551615 4158960227 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 20856 20142 415 171 0 19781 0
Current children cumulated CPU time (s) 933.92
Current children cumulated vsize (KiB) 83424
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/73 13369
/proc/meminfo: memFree=1422688/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=87900 CPUtime=993.39
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 21939 646 0 0 99326 13 0 0 25 0 1 0 58634646 90009600 21257 996147200 134512640 135215973 4294956304 18446744073709551615 4158960018 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 21975 21257 415 171 0 20900 0
Current children cumulated CPU time (s) 993.39
Current children cumulated vsize (KiB) 87900
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/73 13369
/proc/meminfo: memFree=1416800/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=93424 CPUtime=1052.87
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 23316 646 0 0 105272 15 0 0 25 0 1 0 58634646 95666176 22634 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 23356 22634 415 171 0 22281 0
Current children cumulated CPU time (s) 1052.87
Current children cumulated vsize (KiB) 93424
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/73 13369
/proc/meminfo: memFree=1411616/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=98432 CPUtime=1112.33
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 24598 646 0 0 111218 15 0 0 25 0 1 0 58634646 100794368 23916 996147200 134512640 135215973 4294956304 18446744073709551615 135095111 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 24608 23916 415 171 0 23533 0
Current children cumulated CPU time (s) 1112.33
Current children cumulated vsize (KiB) 98432
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/82 13411
/proc/meminfo: memFree=1389712/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=105028 CPUtime=1172.23
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 26235 646 0 0 117205 18 0 0 25 0 1 0 58634646 107548672 25553 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 26257 25553 415 171 0 25182 0
Current children cumulated CPU time (s) 1172.23
Current children cumulated vsize (KiB) 105028
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/82 13417
/proc/meminfo: memFree=1382800/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=111716 CPUtime=1232.22
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 27931 646 0 0 123203 19 0 0 25 0 1 0 58634646 114397184 26992 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 27929 26992 415 171 0 26854 0
Current children cumulated CPU time (s) 1232.22
Current children cumulated vsize (KiB) 111716
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.03 3/82 13459
/proc/meminfo: memFree=1376528/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=119888 CPUtime=1292.23
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 29975 646 0 0 129202 21 0 0 25 0 1 0 58634646 122765312 29036 996147200 134512640 135215973 4294956304 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 29972 29036 415 171 0 28897 0
Current children cumulated CPU time (s) 1292.23
Current children cumulated vsize (KiB) 119888
[startup+1362.3 s]
/proc/loadavg: 2.06 2.03 2.03 3/82 13501
/proc/meminfo: memFree=1371736/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=125164 CPUtime=1352.22
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 31296 646 0 0 135200 22 0 0 25 0 1 0 58634646 128167936 30357 996147200 134512640 135215973 4294956304 18446744073709551615 4158960185 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 31291 30357 415 171 0 30216 0
Current children cumulated CPU time (s) 1352.22
Current children cumulated vsize (KiB) 125164
[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.02 4/82 13625
/proc/meminfo: memFree=1380432/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=129512 CPUtime=1412.19
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 32396 646 0 0 141194 25 0 0 25 0 1 0 58634646 132620288 31457 996147200 134512640 135215973 4294956304 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 32378 31457 415 171 0 31303 0
Current children cumulated CPU time (s) 1412.19
Current children cumulated vsize (KiB) 129512
[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.02 3/83 13627
/proc/meminfo: memFree=1213568/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=135572 CPUtime=1472.17
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 33905 646 0 0 147191 26 0 0 25 0 1 0 58634646 138825728 32966 996147200 134512640 135215973 4294956304 18446744073709551615 134987928 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 33893 32966 415 171 0 32818 0
Current children cumulated CPU time (s) 1472.17
Current children cumulated vsize (KiB) 135572
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/83 13627
/proc/meminfo: memFree=1207424/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=140708 CPUtime=1532.18
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 35198 646 0 0 153191 27 0 0 25 0 1 0 58634646 144084992 34259 996147200 134512640 135215973 4294956304 18446744073709551615 134587793 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 35177 34259 415 171 0 34102 0
Current children cumulated CPU time (s) 1532.18
Current children cumulated vsize (KiB) 140708
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/83 13627
/proc/meminfo: memFree=1201280/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=146648 CPUtime=1592.17
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 36701 646 0 0 159189 28 0 0 25 0 1 0 58634646 150167552 35762 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 36662 35762 415 171 0 35587 0
Current children cumulated CPU time (s) 1592.17
Current children cumulated vsize (KiB) 146648
[startup+1662.3 s]
/proc/loadavg: 2.20 2.07 2.03 3/83 13669
/proc/meminfo: memFree=657216/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=152444 CPUtime=1651.98
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 38150 646 0 0 165168 30 0 0 25 0 1 0 58634646 156102656 37211 996147200 134512640 135215973 4294956304 18446744073709551615 134591327 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 38111 37211 415 171 0 37036 0
Current children cumulated CPU time (s) 1651.98
Current children cumulated vsize (KiB) 152444
[startup+1722.3 s]
/proc/loadavg: 2.07 2.05 2.02 3/83 13669
/proc/meminfo: memFree=652160/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=157184 CPUtime=1711.76
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 39347 646 0 0 171145 31 0 0 25 0 1 0 58634646 160956416 38408 996147200 134512640 135215973 4294956304 18446744073709551615 4158960879 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 39296 38408 415 171 0 38221 0
Current children cumulated CPU time (s) 1711.76
Current children cumulated vsize (KiB) 157184
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.02 3/83 13669
/proc/meminfo: memFree=646400/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=162716 CPUtime=1771.54
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 40728 646 0 0 177122 32 0 0 25 0 1 0 58634646 166621184 39789 996147200 134512640 135215973 4294956304 18446744073709551615 134583664 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 40679 39789 415 171 0 39604 0
Current children cumulated CPU time (s) 1771.54
Current children cumulated vsize (KiB) 162716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.9 s]
/proc/loadavg: 2.01 2.04 2.01 3/83 13669
/proc/meminfo: memFree=644032/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=165212 CPUtime=1800.04
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 41350 646 0 0 179971 33 0 0 25 0 1 0 58634646 169177088 40411 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 41303 40411 415 171 0 40228 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 165212
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1810.9 s]
/proc/loadavg: 2.01 2.04 2.01 3/83 13669
/proc/meminfo: memFree=644032/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=165212 CPUtime=1800.04
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 41350 646 0 0 179971 33 0 0 25 0 1 0 58634646 169177088 40411 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 41303 40411 415 171 0 40228 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 165212
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1810.93
CPU time (s): 1800.08
CPU user time (s): 1799.72
CPU system time (s): 0.364944
CPU usage (%): 99.401
Max. virtual memory (cumulated for all children) (KiB): 165212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.364944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41996
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= 32802
runsolver used 2.6316 second user time and 5.33419 second system time
The end
Begin job on node16 at 2009-07-16 05:41:18
IDJOB=2077863
IDBENCH=56682
IDSOLVER=733
FILE ID=node16/2077863-1247715678
PBS_JOBID= 9521390
Free space on /tmp= 66412 MiB
SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/primes-15/normalized-primes-15-20-3-7.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2077863-1247715678/watcher-2077863-1247715678 -o /tmp/evaluation-result-2077863-1247715678/solver-2077863-1247715678 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 778601724 HOME/instance-2077863-1247715678.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5a9755a4ca72128afdbeb99b36b30378
RANDOM SEED=778601724
node16.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.231
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.231
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: 1507272 kB
Buffers: 66824 kB
Cached: 390204 kB
SwapCached: 0 kB
Active: 62284 kB
Inactive: 417348 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1507272 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1748 kB
Writeback: 0 kB
Mapped: 34100 kB
Slab: 54324 kB
Committed_AS: 499008 kB
PageTables: 1804 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= 66412 MiB
End job on node16 at 2009-07-16 06:11:31