runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242993-1500670382/watcher-4242993-1500670382 -o /tmp/evaluation-result-4242993-1500670382/solver-4242993-1500670382 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500648174-2486 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242993-1500670382.xml
pid=5402
running on 8 cores: 4-7,12-15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.02 2.05 2/242 5405
/proc/meminfo: memFree=31937432/32770624 swapFree=5804/167312
[pid=5405] ppid=5402 vsize=27124 CPUtime=0 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 1044 0 0 0 0 0 0 0 20 0 1 0 2303460 27774976 831 33554432000 4194304 5970956 140724067754144 140724067750792 5202144 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 6781 831 710 434 0 145 0
[startup+0.100121 s]
/proc/loadavg: 2.02 2.02 2.05 2/242 5405
/proc/meminfo: memFree=31937432/32770624 swapFree=5804/167312
[pid=5405] ppid=5402 vsize=27492 CPUtime=0.09 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 1140 0 0 0 9 0 0 0 20 0 1 0 2303460 28151808 974 33554432000 4194304 5970956 140724067754144 140724067747976 140170534113498 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 6873 974 775 434 0 237 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27492
[startup+0.200257 s]
/proc/loadavg: 2.02 2.02 2.05 2/242 5405
/proc/meminfo: memFree=31937432/32770624 swapFree=5804/167312
[pid=5405] ppid=5402 vsize=27980 CPUtime=0.19 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 1262 0 0 0 19 0 0 0 20 0 1 0 2303460 28651520 1095 33554432000 4194304 5970956 140724067754144 140724067750744 140170533170149 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 6995 1095 776 434 0 359 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27980
[startup+0.300209 s]
/proc/loadavg: 2.02 2.02 2.05 2/242 5405
/proc/meminfo: memFree=31937432/32770624 swapFree=5804/167312
[pid=5405] ppid=5402 vsize=28616 CPUtime=0.29 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 1417 0 0 0 29 0 0 0 20 0 1 0 2303460 29302784 1224 33554432000 4194304 5970956 140724067754144 140724067747976 140170533170149 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 7154 1224 776 434 0 518 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28616
[startup+0.700183 s]
/proc/loadavg: 2.02 2.02 2.05 2/242 5405
/proc/meminfo: memFree=31937432/32770624 swapFree=5804/167312
[pid=5405] ppid=5402 vsize=30956 CPUtime=0.69 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 2001 0 0 0 69 0 0 0 20 0 1 0 2303460 31698944 1840 33554432000 4194304 5970956 140724067754144 140724067747976 140170533630956 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 7739 1840 776 434 0 1103 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30956
[startup+1.50025 s]
/proc/loadavg: 2.09 2.04 2.05 3/243 5406
/proc/meminfo: memFree=31926724/32770624 swapFree=5804/167296
[pid=5405] ppid=5402 vsize=37980 CPUtime=1.49 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 3817 0 0 0 149 0 0 0 20 0 1 0 2303460 38891520 3595 33554432000 4194304 5970956 140724067754144 140724067751208 5070976 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9495 3595 820 434 0 2859 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37980
[startup+3.10025 s]
/proc/loadavg: 2.09 2.04 2.05 3/243 5406
/proc/meminfo: memFree=31925236/32770624 swapFree=5804/167232
[pid=5405] ppid=5402 vsize=38376 CPUtime=3.08 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 6757 0 0 0 308 0 0 0 20 0 1 0 2303460 39297024 3743 33554432000 4194304 5970956 140724067754144 140724067751480 4964864 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3743 820 434 0 2958 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 38376
[startup+6.30026 s]
/proc/loadavg: 2.09 2.04 2.05 3/243 5406
/proc/meminfo: memFree=31925112/32770624 swapFree=5804/167232
[pid=5405] ppid=5402 vsize=38376 CPUtime=6.29 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 9635 0 0 0 628 1 0 0 20 0 1 0 2303460 39297024 3752 33554432000 4194304 5970956 140724067754144 140724067751480 5070112 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3752 820 434 0 2958 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38376
[startup+12.7002 s]
/proc/loadavg: 2.08 2.04 2.05 3/243 5406
/proc/meminfo: memFree=31924616/32770624 swapFree=5804/167240
[pid=5405] ppid=5402 vsize=38376 CPUtime=12.69 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 12510 0 0 0 1268 1 0 0 20 0 1 0 2303460 39297024 3754 33554432000 4194304 5970956 140724067754144 140724067751480 5070435 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3754 820 434 0 2958 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38376
[startup+25.5003 s]
/proc/loadavg: 2.06 2.04 2.05 3/243 5406
/proc/meminfo: memFree=31924616/32770624 swapFree=5804/167260
[pid=5405] ppid=5402 vsize=38376 CPUtime=25.48 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 18262 0 0 0 2547 1 0 0 20 0 1 0 2303460 39297024 3756 33554432000 4194304 5970956 140724067754144 140724067751480 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3756 820 434 0 2958 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38376
[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 5406
/proc/meminfo: memFree=31923864/32770624 swapFree=5804/167288
[pid=5405] ppid=5402 vsize=38376 CPUtime=51.07 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 21142 0 0 0 5106 1 0 0 20 0 1 0 2303460 39297024 3756 33554432000 4194304 5970956 140724067754144 140724067751480 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3756 820 434 0 2958 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38376
[startup+102.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/243 5407
/proc/meminfo: memFree=31924172/32770624 swapFree=5804/167360
[pid=5405] ppid=5402 vsize=38376 CPUtime=102.28 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 21977 0 0 0 10227 1 0 0 20 0 1 0 2303460 39297024 3757 33554432000 4194304 5970956 140724067754144 140724067751480 4961411 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3757 820 434 0 2958 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 38376
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/243 5409
/proc/meminfo: memFree=31924312/32770624 swapFree=5804/167432
[pid=5405] ppid=5402 vsize=38376 CPUtime=162.26 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 22813 0 0 0 16225 1 0 0 20 0 1 0 2303460 39297024 3757 33554432000 4194304 5970956 140724067754144 140724067751480 5070112 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3757 820 434 0 2958 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 38376
[startup+222.308 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 5410
/proc/meminfo: memFree=31923180/32770624 swapFree=5804/167488
[pid=5405] ppid=5402 vsize=38376 CPUtime=222.26 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 23649 0 0 0 22225 1 0 0 20 0 1 0 2303460 39297024 3759 33554432000 4194304 5970956 140724067754144 140724067751480 4964406 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3759 820 434 0 2958 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 38376
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 5411
/proc/meminfo: memFree=31923512/32770624 swapFree=5804/167536
[pid=5405] ppid=5402 vsize=38376 CPUtime=282.24 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 24485 0 0 0 28223 1 0 0 20 0 1 0 2303460 39297024 3760 33554432000 4194304 5970956 140724067754144 140724067751480 4964705 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3760 820 434 0 2958 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 38376
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 5413
/proc/meminfo: memFree=31924072/32770624 swapFree=5804/167596
[pid=5405] ppid=5402 vsize=38376 CPUtime=342.23 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 25322 0 0 0 34222 1 0 0 20 0 1 0 2303460 39297024 3760 33554432000 4194304 5970956 140724067754144 140724067751480 5052062 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3760 820 434 0 2958 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 38376
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5414
/proc/meminfo: memFree=31923520/32770624 swapFree=5804/167652
[pid=5405] ppid=5402 vsize=38376 CPUtime=402.23 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 26158 0 0 0 40221 2 0 0 20 0 1 0 2303460 39297024 3760 33554432000 4194304 5970956 140724067754144 140724067751480 4908985 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3760 820 434 0 2958 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 38376
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5423
/proc/meminfo: memFree=31922624/32770624 swapFree=5804/167712
[pid=5405] ppid=5402 vsize=38376 CPUtime=462.23 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 26994 0 0 0 46221 2 0 0 20 0 1 0 2303460 39297024 3760 33554432000 4194304 5970956 140724067754144 140724067751480 5070400 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3760 820 434 0 2958 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 38376
[startup+522.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/245 5447
/proc/meminfo: memFree=31921508/32770624 swapFree=5804/167756
[pid=5405] ppid=5402 vsize=38376 CPUtime=522.22 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 27829 0 0 0 52220 2 0 0 20 0 1 0 2303460 39297024 3760 33554432000 4194304 5970956 140724067754144 140724067751480 5070437 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3760 820 434 0 2958 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 38376
[startup+582.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/245 5448
/proc/meminfo: memFree=31921988/32770624 swapFree=5804/167800
[pid=5405] ppid=5402 vsize=38376 CPUtime=582.21 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 28665 0 0 0 58219 2 0 0 20 0 1 0 2303460 39297024 3760 33554432000 4194304 5970956 140724067754144 140724067751480 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3760 820 434 0 2958 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 38376
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5472
/proc/meminfo: memFree=31919944/32770624 swapFree=5804/168392
[pid=5405] ppid=5402 vsize=38376 CPUtime=1482.08 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 40905 0 0 0 148205 3 0 0 20 0 1 0 2303460 39297024 3761 33554432000 4194304 5970956 140724067754144 140724067751480 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3761 820 434 0 2958 0
Current children cumulated CPU time (s) 1482.08
Current children cumulated vsize (KiB) 38376
[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 5473
/proc/meminfo: memFree=31920820/32770624 swapFree=5804/168428
[pid=5405] ppid=5402 vsize=38376 CPUtime=1542.08 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 41628 0 0 0 154205 3 0 0 20 0 1 0 2303460 39297024 3761 33554432000 4194304 5970956 140724067754144 140724067751480 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3761 820 434 0 2958 0
Current children cumulated CPU time (s) 1542.08
Current children cumulated vsize (KiB) 38376
[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/243 5474
/proc/meminfo: memFree=31921324/32770624 swapFree=5804/168464
[pid=5405] ppid=5402 vsize=38376 CPUtime=1602.07 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 42467 0 0 0 160204 3 0 0 20 0 1 0 2303460 39297024 3761 33554432000 4194304 5970956 140724067754144 140724067751480 5070400 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3761 820 434 0 2958 0
Current children cumulated CPU time (s) 1602.07
Current children cumulated vsize (KiB) 38376
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/244 5483
/proc/meminfo: memFree=31920244/32770624 swapFree=5804/168512
[pid=5405] ppid=5402 vsize=38376 CPUtime=1662.06 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 43205 0 0 0 166203 3 0 0 20 0 1 0 2303460 39297024 3761 33554432000 4194304 5970956 140724067754144 140724067751480 5052080 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3761 820 434 0 2958 0
Current children cumulated CPU time (s) 1662.06
Current children cumulated vsize (KiB) 38376
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/244 5484
/proc/meminfo: memFree=31920724/32770624 swapFree=5804/168544
[pid=5405] ppid=5402 vsize=38376 CPUtime=1722.05 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 43947 0 0 0 172202 3 0 0 20 0 1 0 2303460 39297024 3761 33554432000 4194304 5970956 140724067754144 140724067751480 5070459 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3761 820 434 0 2958 0
Current children cumulated CPU time (s) 1722.05
Current children cumulated vsize (KiB) 38376
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 5485
/proc/meminfo: memFree=31921064/32770624 swapFree=5804/168584
[pid=5405] ppid=5402 vsize=38376 CPUtime=1782.04 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 44782 0 0 0 178201 3 0 0 20 0 1 0 2303460 39297024 3761 33554432000 4194304 5970956 140724067754144 140724067751480 5052095 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3761 820 434 0 2958 0
Current children cumulated CPU time (s) 1782.04
Current children cumulated vsize (KiB) 38376
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 5552
/proc/meminfo: memFree=30707312/32770624 swapFree=5804/168676
[pid=5405] ppid=5402 vsize=38376 CPUtime=1842.03 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 45478 0 0 0 184200 3 0 0 20 0 1 0 2303460 39297024 3761 33554432000 4194304 5970956 140724067754144 140724067751480 5070437 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3761 820 434 0 2958 0
Current children cumulated CPU time (s) 1842.03
Current children cumulated vsize (KiB) 38376
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5553
/proc/meminfo: memFree=30707152/32770624 swapFree=5804/168724
[pid=5405] ppid=5402 vsize=38376 CPUtime=1902.02 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 46271 0 0 0 190199 3 0 0 20 0 1 0 2303460 39297024 3761 33554432000 4194304 5970956 140724067754144 140724067751480 5328066 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3761 820 434 0 2958 0
Current children cumulated CPU time (s) 1902.02
Current children cumulated vsize (KiB) 38376
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5555
/proc/meminfo: memFree=30707504/32770624 swapFree=5804/168780
[pid=5405] ppid=5402 vsize=38376 CPUtime=1962.01 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 47106 0 0 0 196198 3 0 0 20 0 1 0 2303460 39297024 3761 33554432000 4194304 5970956 140724067754144 140724067751480 5052062 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3761 820 434 0 2958 0
Current children cumulated CPU time (s) 1962.01
Current children cumulated vsize (KiB) 38376
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5556
/proc/meminfo: memFree=30707192/32770624 swapFree=5804/168816
[pid=5405] ppid=5402 vsize=38376 CPUtime=2022 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 47870 0 0 0 202197 3 0 0 20 0 1 0 2303460 39297024 3761 33554432000 4194304 5970956 140724067754144 140724067751480 5070130 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3761 820 434 0 2958 0
Current children cumulated CPU time (s) 2022
Current children cumulated vsize (KiB) 38376
[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 5557
/proc/meminfo: memFree=30707676/32770624 swapFree=5804/168852
[pid=5405] ppid=5402 vsize=38376 CPUtime=2082 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 48660 0 0 0 208197 3 0 0 20 0 1 0 2303460 39297024 3761 33554432000 4194304 5970956 140724067754144 140724067751480 5070976 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3761 820 434 0 2958 0
Current children cumulated CPU time (s) 2082
Current children cumulated vsize (KiB) 38376
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5559
/proc/meminfo: memFree=30707876/32770624 swapFree=5804/168892
[pid=5405] ppid=5402 vsize=38376 CPUtime=2141.98 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 49497 0 0 0 214195 3 0 0 20 0 1 0 2303460 39297024 3761 33554432000 4194304 5970956 140724067754144 140724067751480 4964327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3761 820 434 0 2958 0
Current children cumulated CPU time (s) 2141.98
Current children cumulated vsize (KiB) 38376
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5560
/proc/meminfo: memFree=30707440/32770624 swapFree=5804/168928
[pid=5405] ppid=5402 vsize=38376 CPUtime=2201.98 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 50260 0 0 0 220195 3 0 0 20 0 1 0 2303460 39297024 3761 33554432000 4194304 5970956 140724067754144 140724067751480 5052080 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3761 820 434 0 2958 0
Current children cumulated CPU time (s) 2201.98
Current children cumulated vsize (KiB) 38376
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5569
/proc/meminfo: memFree=30707180/32770624 swapFree=5804/168980
[pid=5405] ppid=5402 vsize=38376 CPUtime=2261.96 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 51067 0 0 0 226193 3 0 0 20 0 1 0 2303460 39297024 3761 33554432000 4194304 5970956 140724067754144 140724067751480 4967787 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3761 820 434 0 2958 0
Current children cumulated CPU time (s) 2261.96
Current children cumulated vsize (KiB) 38376
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5570
/proc/meminfo: memFree=30707168/32770624 swapFree=5804/169012
[pid=5405] ppid=5402 vsize=38376 CPUtime=2321.95 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 51829 0 0 0 232192 3 0 0 20 0 1 0 2303460 39297024 3761 33554432000 4194304 5970956 140724067754144 140724067751480 5070435 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3761 820 434 0 2958 0
Current children cumulated CPU time (s) 2321.95
Current children cumulated vsize (KiB) 38376
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5571
/proc/meminfo: memFree=30707440/32770624 swapFree=5804/169056
[pid=5405] ppid=5402 vsize=38376 CPUtime=2381.95 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 52666 0 0 0 238192 3 0 0 20 0 1 0 2303460 39297024 3761 33554432000 4194304 5970956 140724067754144 140724067751480 5070400 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3761 820 434 0 2958 0
Current children cumulated CPU time (s) 2381.95
Current children cumulated vsize (KiB) 38376
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5571
/proc/meminfo: memFree=30707284/32770624 swapFree=5804/169064
[pid=5405] ppid=5402 vsize=38376 CPUtime=2400.05 cores=4-7,12-15
/proc/5405/stat : 5405 (cosoco) R 5402 5405 2454 0 -1 4202496 53381 0 0 0 240001 4 0 0 20 0 1 0 2303460 39297024 3761 33554432000 4194304 5970956 140724067754144 140724067751480 5070435 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 12828672 140724067755201 140724067755331 140724067755331 140724067758030 0
/proc/5405/statm: 9594 3761 820 434 0 2958 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 38376
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5405 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.4
CPU time (s): 2400.06
CPU user time (s): 2400.02
CPU system time (s): 0.041994
CPU usage (%): 99.9857
Max. virtual memory (cumulated for all children) (KiB): 38376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.041994
maximum resident set size= 15088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53410
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= 10
involuntary context switches= 120648
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.74617 second user time and 11.8408 second system time
The end
Begin job on node144 at 2017-07-21 22:53:02
IDJOB=4242993
IDBENCH=138520
IDSOLVER=2620
FILE ID=node144/4242993-1500670382
RUNJOBID= node144-1500648174-2486
PBS_JOBID= 20623277
Free space on /tmp= 62016 MiB
SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Sadeh-js/SuperSadeh-js-e0ddr2-1.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242993-1500670382/watcher-4242993-1500670382 -o /tmp/evaluation-result-4242993-1500670382/solver-4242993-1500670382 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500648174-2486 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242993-1500670382.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8
MD5SUM BENCH= f0da45100268329db1731396e5956751
RANDOM SEED=123358782
node144.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2400.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1867.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 4
apicid : 1
initial apicid : 1
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 4
apicid : 3
initial apicid : 3
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 4
apicid : 5
initial apicid : 5
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 4
apicid : 7
initial apicid : 7
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 4
apicid : 17
initial apicid : 17
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1867.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 4
apicid : 19
initial apicid : 19
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 4
apicid : 21
initial apicid : 21
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1867.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 4
apicid : 23
initial apicid : 23
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31937836 kB
MemAvailable: 31878632 kB
Buffers: 32076 kB
Cached: 221608 kB
SwapCached: 0 kB
Active: 284868 kB
Inactive: 176008 kB
Active(anon): 210072 kB
Inactive(anon): 8696 kB
Active(file): 74796 kB
Inactive(file): 167312 kB
Unevictable: 5804 kB
Mlocked: 5804 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 2508 kB
Writeback: 0 kB
AnonPages: 212656 kB
Mapped: 31608 kB
Shmem: 8844 kB
Slab: 60784 kB
SReclaimable: 29048 kB
SUnreclaim: 31736 kB
KernelStack: 4176 kB
PageTables: 5800 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 483284 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 157696 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 130432 kB
DirectMap2M: 33415168 kB
Free space on /tmp at the end= 62012 MiB
End job on node144 at 2017-07-21 23:33:02