runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2080371-1247717597/watcher-2080371-1247717597 -o /tmp/evaluation-result-2080371-1247717597/solver-2080371-1247717597 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 779059191 HOME/instance-2080371-1247717597.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.22 2.20 2.11 4/81 15937
/proc/meminfo: memFree=680160/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=5356 CPUtime=0
/proc/15937/stat : 15937 (pcssolve) R 15935 15937 15206 0 -1 4194304 266 0 0 0 0 0 0 0 20 0 1 0 58822424 5484544 234 996147200 4194304 4889804 548682068800 18446744073709551615 237947486591 0 0 4100 65536 0 0 0 17 1 0 0
/proc/15937/statm: 1339 234 195 169 0 50 0
[startup+0.0166361 s]
/proc/loadavg: 2.22 2.20 2.11 4/81 15937
/proc/meminfo: memFree=680160/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=5356 CPUtime=0
/proc/15937/stat : 15937 (pcssolve) S 15935 15937 15206 0 -1 4194304 339 474 0 0 0 0 0 0 23 0 1 0 58822424 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15937/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101622 s]
/proc/loadavg: 2.22 2.20 2.11 4/81 15937
/proc/meminfo: memFree=680160/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=6528 CPUtime=0.08
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 1315 661 0 0 8 0 0 0 18 0 1 0 58822424 6684672 836 996147200 134512640 135215973 4294956304 18446744073709551615 134837542 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 1632 836 388 171 0 557 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6528
[startup+0.301641 s]
/proc/loadavg: 2.22 2.20 2.11 4/81 15937
/proc/meminfo: memFree=680160/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=11584 CPUtime=0.28
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 2999 661 0 0 27 1 0 0 19 0 1 0 58822424 11862016 2047 996147200 134512640 135215973 4294956304 18446744073709551615 134902586 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 2896 2047 404 171 0 1821 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11584
[startup+0.701676 s]
/proc/loadavg: 2.22 2.20 2.11 4/81 15937
/proc/meminfo: memFree=680160/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=15524 CPUtime=0.68
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 4402 661 0 0 66 2 0 0 23 0 1 0 58822424 15896576 2824 996147200 134512640 135215973 4294956304 18446744073709551615 134609894 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 3881 2824 408 171 0 2806 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15524
[startup+1.50174 s]
/proc/loadavg: 2.22 2.20 2.11 3/82 15942
/proc/meminfo: memFree=670296/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=15668 CPUtime=1.47
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 4424 661 0 0 145 2 0 0 25 0 1 0 58822424 16044032 2846 996147200 134512640 135215973 4294956304 18446744073709551615 135094460 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 3917 2846 408 171 0 2842 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 15668
[startup+3.10187 s]
/proc/loadavg: 2.22 2.20 2.11 3/82 15942
/proc/meminfo: memFree=669848/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=15804 CPUtime=3.06
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 4525 661 0 0 304 2 0 0 25 0 1 0 58822424 16183296 2947 996147200 134512640 135215973 4294956304 18446744073709551615 134581782 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 3951 2947 408 171 0 2876 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15804
[startup+6.30213 s]
/proc/loadavg: 2.20 2.20 2.11 3/82 15942
/proc/meminfo: memFree=665240/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=21636 CPUtime=6.22
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 6480 661 0 0 619 3 0 0 25 0 1 0 58822424 22155264 4069 996147200 134512640 135215973 4294956304 18446744073709551615 134609781 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 5409 4069 408 171 0 4334 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 21636
[startup+12.7016 s]
/proc/loadavg: 2.18 2.19 2.10 3/82 15942
/proc/meminfo: memFree=664152/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=22504 CPUtime=12.56
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 6732 661 0 0 1252 4 0 0 25 0 1 0 58822424 23044096 4288 996147200 134512640 135215973 4294956304 18446744073709551615 134983629 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 5626 4288 408 171 0 4551 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 22504
[startup+25.5017 s]
/proc/loadavg: 2.22 2.20 2.11 3/82 15942
/proc/meminfo: memFree=660824/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=25936 CPUtime=25.24
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 7767 661 0 0 2520 4 0 0 25 0 1 0 58822424 26558464 5129 996147200 134512640 135215973 4294956304 18446744073709551615 134583658 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 6484 5129 408 171 0 5409 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 25936
[startup+51.1017 s]
/proc/loadavg: 2.14 2.18 2.10 3/82 15942
/proc/meminfo: memFree=656088/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=31420 CPUtime=50.6
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 9267 661 0 0 5055 5 0 0 25 0 1 0 58822424 32174080 6372 996147200 134512640 135215973 4294956304 18446744073709551615 134957837 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 7855 6372 408 171 0 6780 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 31420
[startup+102.307 s]
/proc/loadavg: 2.11 2.17 2.10 3/82 15942
/proc/meminfo: memFree=643224/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=45512 CPUtime=101.32
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 13056 661 0 0 10124 8 0 0 25 0 1 0 58822424 46604288 9519 996147200 134512640 135215973 4294956304 18446744073709551615 134532656 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 11378 9519 408 171 0 10303 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 45512
[startup+162.302 s]
/proc/loadavg: 2.27 2.20 2.11 3/82 15942
/proc/meminfo: memFree=629336/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=57828 CPUtime=160.75
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 16500 661 0 0 16065 10 0 0 25 0 1 0 58822424 59215872 12963 996147200 134512640 135215973 4294956304 18446744073709551615 4158960067 0 0 4096 0 0 0 0 17 1 0 0
/proc/15937/statm: 14457 12963 408 171 0 13382 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 57828
[startup+222.302 s]
/proc/loadavg: 2.10 2.16 2.10 3/73 16059
/proc/meminfo: memFree=1352816/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=74420 CPUtime=220.21
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 20983 661 0 0 22006 15 0 0 25 0 1 0 58822424 76206080 16421 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 18605 16421 408 171 0 17530 0
Current children cumulated CPU time (s) 220.21
Current children cumulated vsize (KiB) 74420
[startup+282.301 s]
/proc/loadavg: 2.03 2.13 2.09 3/73 16059
/proc/meminfo: memFree=1331184/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=89436 CPUtime=280.2
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 25087 661 0 0 28002 18 0 0 25 0 1 0 58822424 91582464 20525 996147200 134512640 135215973 4294956304 18446744073709551615 134957935 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 22359 20525 408 171 0 21284 0
Current children cumulated CPU time (s) 280.2
Current children cumulated vsize (KiB) 89436
[startup+342.301 s]
/proc/loadavg: 2.01 2.10 2.08 3/73 16059
/proc/meminfo: memFree=1316528/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=101816 CPUtime=340.18
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 28585 661 0 0 33997 21 0 0 25 0 1 0 58822424 104259584 24023 996147200 134512640 135215973 4294956304 18446744073709551615 134590354 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 25454 24023 408 171 0 24379 0
Current children cumulated CPU time (s) 340.18
Current children cumulated vsize (KiB) 101816
[startup+402.301 s]
/proc/loadavg: 2.00 2.08 2.08 3/73 16059
/proc/meminfo: memFree=1277744/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=127180 CPUtime=400.16
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 35402 661 0 0 39990 26 0 0 25 0 1 0 58822424 130232320 28501 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 31795 28501 408 171 0 30720 0
Current children cumulated CPU time (s) 400.16
Current children cumulated vsize (KiB) 127180
[startup+462.302 s]
/proc/loadavg: 2.00 2.06 2.07 3/73 16059
/proc/meminfo: memFree=1261424/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=141344 CPUtime=460.14
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 39351 661 0 0 45985 29 0 0 25 0 1 0 58822424 144736256 32450 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 35336 32450 408 171 0 34261 0
Current children cumulated CPU time (s) 460.14
Current children cumulated vsize (KiB) 141344
[startup+522.302 s]
/proc/loadavg: 2.00 2.05 2.06 3/73 16059
/proc/meminfo: memFree=1241648/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=156656 CPUtime=520.12
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 43611 661 0 0 51980 32 0 0 25 0 1 0 58822424 160415744 36710 996147200 134512640 135215973 4294956304 18446744073709551615 134907400 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 39164 36710 408 171 0 38089 0
Current children cumulated CPU time (s) 520.12
Current children cumulated vsize (KiB) 156656
[startup+582.302 s]
/proc/loadavg: 2.00 2.04 2.06 3/73 16059
/proc/meminfo: memFree=1224112/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=169916 CPUtime=580.1
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 47270 661 0 0 57975 35 0 0 25 0 1 0 58822424 173993984 40369 996147200 134512640 135215973 4294956304 18446744073709551615 134590485 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 42479 40369 408 171 0 41404 0
Current children cumulated CPU time (s) 580.1
Current children cumulated vsize (KiB) 169916
[startup+642.301 s]
/proc/loadavg: 2.00 2.03 2.05 3/73 16059
/proc/meminfo: memFree=1207856/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=182916 CPUtime=640.08
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 50896 661 0 0 63970 38 0 0 25 0 1 0 58822424 187305984 43995 996147200 134512640 135215973 4294956304 18446744073709551615 134592176 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 45729 43995 408 171 0 44654 0
Current children cumulated CPU time (s) 640.08
Current children cumulated vsize (KiB) 182916
[startup+702.301 s]
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.03 3/73 16059
/proc/meminfo: memFree=1129968/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=248840 CPUtime=879.99
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 69121 661 0 0 87947 52 0 0 25 0 1 0 58822424 254812160 58123 996147200 134512640 135215973 4294956304 18446744073709551615 135094975 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 62210 58123 408 171 0 61135 0
Current children cumulated CPU time (s) 879.99
Current children cumulated vsize (KiB) 248840
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.02 3/73 16059
/proc/meminfo: memFree=1108592/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=261756 CPUtime=939.97
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 72667 661 0 0 93940 57 0 0 25 0 1 0 58822424 268038144 61669 996147200 134512640 135215973 4294956304 18446744073709551615 134600073 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 65439 61669 408 171 0 64364 0
Current children cumulated CPU time (s) 939.97
Current children cumulated vsize (KiB) 261756
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/73 16059
/proc/meminfo: memFree=1091376/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=279496 CPUtime=999.95
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 77421 661 0 0 99935 60 0 0 25 0 1 0 58822424 286203904 65910 996147200 134512640 135215973 4294956304 18446744073709551615 134592202 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 69874 65910 408 171 0 68799 0
Current children cumulated CPU time (s) 999.95
Current children cumulated vsize (KiB) 279496
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 16059
/proc/meminfo: memFree=1077936/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=291836 CPUtime=1059.93
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 80835 661 0 0 105930 63 0 0 25 0 1 0 58822424 298840064 69324 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 72959 69324 408 171 0 71884 0
Current children cumulated CPU time (s) 1059.93
Current children cumulated vsize (KiB) 291836
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 16059
/proc/meminfo: memFree=1064688/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=303340 CPUtime=1119.91
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 84038 661 0 0 111925 66 0 0 25 0 1 0 58822424 310620160 72527 996147200 134512640 135215973 4294956304 18446744073709551615 134982814 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 75835 72527 408 171 0 74760 0
Current children cumulated CPU time (s) 1119.91
Current children cumulated vsize (KiB) 303340
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16059
/proc/meminfo: memFree=1053232/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=313516 CPUtime=1179.89
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 86887 661 0 0 117921 68 0 0 25 0 1 0 58822424 321040384 75376 996147200 134512640 135215973 4294956304 18446744073709551615 134600351 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 78379 75376 408 171 0 77304 0
Current children cumulated CPU time (s) 1179.89
Current children cumulated vsize (KiB) 313516
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16059
/proc/meminfo: memFree=1039984/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=325204 CPUtime=1239.87
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 90128 661 0 0 123917 70 0 0 25 0 1 0 58822424 333008896 78617 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 81301 78617 408 171 0 80226 0
Current children cumulated CPU time (s) 1239.87
Current children cumulated vsize (KiB) 325204
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16059
/proc/meminfo: memFree=1028976/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=334872 CPUtime=1299.85
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 92857 661 0 0 129912 73 0 0 25 0 1 0 58822424 342908928 81346 996147200 134512640 135215973 4294956304 18446744073709551615 134583653 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 83718 81346 408 171 0 82643 0
Current children cumulated CPU time (s) 1299.85
Current children cumulated vsize (KiB) 334872
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16059
/proc/meminfo: memFree=1015216/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=347208 CPUtime=1359.82
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 96290 661 0 0 135906 76 0 0 25 0 1 0 58822424 355540992 84779 996147200 134512640 135215973 4294956304 18446744073709551615 134590435 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 86802 84779 408 171 0 85727 0
Current children cumulated CPU time (s) 1359.82
Current children cumulated vsize (KiB) 347208
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16059
/proc/meminfo: memFree=1000688/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=360112 CPUtime=1419.81
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 99855 661 0 0 141903 78 0 0 25 0 1 0 58822424 368754688 88344 996147200 134512640 135215973 4294956304 18446744073709551615 134587268 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 90028 88344 408 171 0 88953 0
Current children cumulated CPU time (s) 1419.81
Current children cumulated vsize (KiB) 360112
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16059
/proc/meminfo: memFree=911792/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=373564 CPUtime=1479.78
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 103539 661 0 0 147898 80 0 0 25 0 1 0 58822424 382529536 92028 996147200 134512640 135215973 4294956304 18446744073709551615 134592223 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 93391 92028 408 171 0 92316 0
Current children cumulated CPU time (s) 1479.78
Current children cumulated vsize (KiB) 373564
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16059
/proc/meminfo: memFree=862384/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=421584 CPUtime=1539.77
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 115903 661 0 0 153890 87 0 0 25 0 1 0 58822424 431702016 96199 996147200 134512640 135215973 4294956304 18446744073709551615 134957922 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 105396 96199 408 171 0 104321 0
Current children cumulated CPU time (s) 1539.77
Current children cumulated vsize (KiB) 421584
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16059
/proc/meminfo: memFree=789168/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=435740 CPUtime=1599.75
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 119803 661 0 0 159885 90 0 0 25 0 1 0 58822424 446197760 100099 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 108935 100099 408 171 0 107860 0
Current children cumulated CPU time (s) 1599.75
Current children cumulated vsize (KiB) 435740
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/73 16059
/proc/meminfo: memFree=653360/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=448564 CPUtime=1659.72
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 123331 661 0 0 165880 92 0 0 25 0 1 0 58822424 459329536 103627 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 112141 103627 408 171 0 111066 0
Current children cumulated CPU time (s) 1659.72
Current children cumulated vsize (KiB) 448564
[startup+1722.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/73 16059
/proc/meminfo: memFree=565616/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=464184 CPUtime=1719.7
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 127587 661 0 0 171875 95 0 0 25 0 1 0 58822424 475324416 107883 996147200 134512640 135215973 4294956304 18446744073709551615 134957761 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 116046 107883 408 171 0 114971 0
Current children cumulated CPU time (s) 1719.7
Current children cumulated vsize (KiB) 464184
[startup+1782.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/73 16059
/proc/meminfo: memFree=516272/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=475888 CPUtime=1779.68
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 130815 661 0 0 177869 99 0 0 25 0 1 0 58822424 487309312 111111 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 118972 111111 408 171 0 117897 0
Current children cumulated CPU time (s) 1779.68
Current children cumulated vsize (KiB) 475888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.7 s]
/proc/loadavg: 2.06 2.04 2.00 3/73 16059
/proc/meminfo: memFree=509808/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=481748 CPUtime=1800.08
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 132396 661 0 0 179908 100 0 0 25 0 1 0 58822424 493309952 112692 996147200 134512640 135215973 4294956304 18446744073709551615 4158960486 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 120437 112692 408 171 0 119362 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 481748
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1802.7 s]
/proc/loadavg: 2.06 2.04 2.00 3/73 16059
/proc/meminfo: memFree=509808/2055920 swapFree=4192812/4192956
[pid=15937] ppid=15935 vsize=481748 CPUtime=1800.08
/proc/15937/stat : 15937 (pcs.big) R 15935 15937 15206 0 -1 4194304 132396 661 0 0 179908 100 0 0 25 0 1 0 58822424 493309952 112692 996147200 134512640 135215973 4294956304 18446744073709551615 4158960486 0 0 4096 0 0 0 0 17 0 0 0
/proc/15937/statm: 120437 112692 408 171 0 119362 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 481748
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1802.78
CPU time (s): 1800.16
CPU user time (s): 1799.09
CPU system time (s): 1.07684
CPU usage (%): 99.8552
Max. virtual memory (cumulated for all children) (KiB): 481748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.07684
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133057
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= 23
involuntary context switches= 13605
runsolver used 2.31165 second user time and 5.76312 second system time
The end
Begin job on node69 at 2009-07-16 06:13:17
IDJOB=2080371
IDBENCH=57076
IDSOLVER=733
FILE ID=node69/2080371-1247717597
PBS_JOBID= 9521475
Free space on /tmp= 66408 MiB
SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/js-taillard-15/normalized-js-taillard-15-95-8.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080371-1247717597/watcher-2080371-1247717597 -o /tmp/evaluation-result-2080371-1247717597/solver-2080371-1247717597 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 779059191 HOME/instance-2080371-1247717597.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 31f84ce3b363624035dc20528456a27e
RANDOM SEED=779059191
node69.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.211
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.211
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: 680640 kB
Buffers: 82500 kB
Cached: 445588 kB
SwapCached: 0 kB
Active: 887008 kB
Inactive: 406428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 680640 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1972 kB
Writeback: 0 kB
Mapped: 785784 kB
Slab: 65496 kB
Committed_AS: 1334988 kB
PageTables: 3416 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= 66416 MiB
End job on node69 at 2009-07-16 06:43:22