584.26/584.55 c
584.26/584.55 c This is cosoco 2.00 --
584.26/584.55 c
584.26/584.55 c command line: cosoco -model -nbcores=8 HOME/instance-4398503-1568602627.xml
584.26/584.55 c =========================================================================================================
584.26/584.55 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15015 MiB free)
memory of node 1: 16384 MiB (15328 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398503-1568602627/watcher-4398503-1568602627 -o /tmp/evaluation-result-4398503-1568602627/solver-4398503-1568602627 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568597208-1351 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398503-1568602627.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2282, runsolver pid=2279
[startup+0.100153 s]*
/proc/loadavg: 8.03 5.72 3.43 2/191 2283
/proc/meminfo: memFree=31067368/32770624 swapFree=66921492/67108860
[pid=2282] ppid=2279 vsize=33356 memory=9428 CPUtime=0.1 cores=0-7
/proc/2282/stat : 2282 (cosoco) R 2279 2282 1323 0 -1 4202496 2580 0 0 0 10 0 0 0 20 0 1 0 436200538 34156544 2357 33554432000 4194304 6211092 140737132644464 140737132641000 139805099510757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11104256 140737132647441 140737132647533 140737132647533 140737132650446 0
/proc/2282/statm: 8339 2357 824 493 0 1644 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33356 KiB
Current children cumulated memory: 9428 KiB
[startup+0.208798 s]*
/proc/loadavg: 8.03 5.72 3.43 2/191 2283
/proc/meminfo: memFree=31061788/32770624 swapFree=66921492/67108860
[pid=2282] ppid=2279 vsize=39960 memory=14996 CPUtime=0.21 cores=0-7
/proc/2282/stat : 2282 (cosoco) R 2279 2282 1323 0 -1 4202496 3922 0 0 0 21 0 0 0 20 0 1 0 436200538 40919040 3749 33554432000 4194304 6211092 140737132644464 140737132641000 139805099510757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11104256 140737132647441 140737132647533 140737132647533 140737132650446 0
/proc/2282/statm: 9990 3749 824 493 0 3295 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39960 KiB
Current children cumulated memory: 14996 KiB
[startup+0.30851 s]*
/proc/loadavg: 8.03 5.72 3.43 3/191 2283
/proc/meminfo: memFree=31056952/32770624 swapFree=66921492/67108860
[pid=2282] ppid=2279 vsize=45420 memory=19748 CPUtime=0.31 cores=0-7
/proc/2282/stat : 2282 (cosoco) R 2279 2282 1323 0 -1 4202496 5152 0 0 0 31 0 0 0 20 0 1 0 436200538 46510080 4937 33554432000 4194304 6211092 140737132644464 140737132641000 139805099510757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11104256 140737132647441 140737132647533 140737132647533 140737132650446 0
/proc/2282/statm: 11355 4937 824 493 0 4660 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45420 KiB
Current children cumulated memory: 19748 KiB
[startup+0.700344 s]
/proc/loadavg: 8.03 5.72 3.43 2/191 2283
/proc/meminfo: memFree=31045788/32770624 swapFree=66921492/67108860
[pid=2282] ppid=2279 vsize=66204 memory=38704 CPUtime=0.69 cores=0-7
/proc/2282/stat : 2282 (cosoco) R 2279 2282 1323 0 -1 4202496 9376 0 0 0 68 1 0 0 20 0 1 0 436200538 67792896 9676 33554432000 4194304 6211092 140737132644464 140737132638728 139805099510757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11104256 140737132647441 140737132647533 140737132647533 140737132650446 0
/proc/2282/statm: 16551 9676 824 493 0 9856 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 66204 KiB
Current children cumulated memory: 38704 KiB
[startup+1.50033 s]
/proc/loadavg: 8.03 5.72 3.43 2/191 2283
/proc/meminfo: memFree=31022412/32770624 swapFree=66921492/67108860
[pid=2282] ppid=2279 vsize=110836 memory=79268 CPUtime=1.49 cores=0-7
/proc/2282/stat : 2282 (cosoco) R 2279 2282 1323 0 -1 4202496 16918 0 0 0 147 2 0 0 20 0 1 0 436200538 113496064 19817 33554432000 4194304 6211092 140737132644464 140737132638728 139805099510757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11104256 140737132647441 140737132647533 140737132647533 140737132650446 0
/proc/2282/statm: 27709 19817 824 493 0 21014 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 110836 KiB
Current children cumulated memory: 79268 KiB
[startup+3.1085 s]
/proc/loadavg: 7.46 5.64 3.42 2/191 2283
/proc/meminfo: memFree=30923868/32770624 swapFree=66921492/67108860
[pid=2282] ppid=2279 vsize=205032 memory=159036 CPUtime=3.1 cores=0-7
/proc/2282/stat : 2282 (cosoco) R 2279 2282 1323 0 -1 4202496 31290 0 0 0 305 5 0 0 20 0 1 0 436200538 209952768 39759 33554432000 4194304 6211092 140737132644464 140737132638728 139805099510757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11104256 140737132647441 140737132647533 140737132647533 140737132650446 0
/proc/2282/statm: 51258 39759 824 493 0 44563 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 205032 KiB
Current children cumulated memory: 159036 KiB
[startup+6.30032 s]
/proc/loadavg: 7.46 5.64 3.42 2/191 2283
/proc/meminfo: memFree=30774996/32770624 swapFree=66921492/67108860
[pid=2282] ppid=2279 vsize=347464 memory=315812 CPUtime=6.29 cores=0-7
/proc/2282/stat : 2282 (cosoco) R 2279 2282 1323 0 -1 4202496 58218 0 0 0 620 9 0 0 20 0 1 0 436200538 355803136 78953 33554432000 4194304 6211092 140737132644464 140737132638728 139805099510757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11104256 140737132647441 140737132647533 140737132647533 140737132650446 0
/proc/2282/statm: 86866 78953 824 493 0 80171 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 347464 KiB
Current children cumulated memory: 315812 KiB
[startup+12.7003 s]
/proc/loadavg: 6.47 5.49 3.39 2/191 2283
/proc/meminfo: memFree=30475748/32770624 swapFree=66921492/67108860
[pid=2282] ppid=2279 vsize=697620 memory=633416 CPUtime=12.68 cores=0-7
/proc/2282/stat : 2282 (cosoco) R 2279 2282 1323 0 -1 4202496 112605 0 0 0 1251 17 0 0 20 0 1 0 436200538 714362880 158354 33554432000 4194304 6211092 140737132644464 140737132638728 139805099510757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11104256 140737132647441 140737132647533 140737132647533 140737132650446 0
/proc/2282/statm: 174405 158354 824 493 0 167710 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 697620 KiB
Current children cumulated memory: 633416 KiB
[startup+25.5003 s]
/proc/loadavg: 5.63 5.34 3.37 2/191 2285
/proc/meminfo: memFree=29832120/32770624 swapFree=66921492/67108860
[pid=2282] ppid=2279 vsize=1432512 memory=1266764 CPUtime=25.48 cores=0-7
/proc/2282/stat : 2282 (cosoco) R 2279 2282 1323 0 -1 4202496 219388 0 0 0 2515 33 0 0 20 0 1 0 436200538 1466892288 316691 33554432000 4194304 6211092 140737132644464 140737132638728 139805099510757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11104256 140737132647441 140737132647533 140737132647533 140737132650446 0
/proc/2282/statm: 358128 316691 824 493 0 351433 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 1432512 KiB
Current children cumulated memory: 1266764 KiB
[startup+51.1085 s]
/proc/loadavg: 4.05 4.99 3.30 2/191 2286
/proc/meminfo: memFree=28542956/32770624 swapFree=66921492/67108860
[pid=2282] ppid=2279 vsize=2559080 memory=2534344 CPUtime=51.08 cores=0-7
/proc/2282/stat : 2282 (cosoco) R 2279 2282 1323 0 -1 4202496 432051 0 0 0 5043 65 0 0 20 0 1 0 436200538 2620497920 633586 33554432000 4194304 6211092 140737132644464 140737132638728 139805099510757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11104256 140737132647441 140737132647533 140737132647533 140737132650446 0
/proc/2282/statm: 639770 633586 824 493 0 633075 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2559080 KiB
Current children cumulated memory: 2534344 KiB
[startup+102.3 s]
/proc/loadavg: 2.32 4.35 3.18 2/191 2289
/proc/meminfo: memFree=26013940/32770624 swapFree=66921496/67108860
[pid=2282] ppid=2279 vsize=5300120 memory=5068332 CPUtime=102.26 cores=0-7
/proc/2282/stat : 2282 (cosoco) R 2279 2282 1323 0 -1 4202496 856057 0 0 0 10098 128 0 0 20 0 1 0 436200538 5427322880 1267083 33554432000 4194304 6211092 140737132644464 140737132638728 139805099510757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11104256 140737132647441 140737132647533 140737132647533 140737132650446 0
/proc/2282/statm: 1325030 1267083 824 493 0 1318335 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 5300120 KiB
Current children cumulated memory: 5068332 KiB
[startup+162.3 s]
/proc/loadavg: 1.48 3.74 3.05 2/191 2294
/proc/meminfo: memFree=23042564/32770624 swapFree=66921496/67108860
[pid=2282] ppid=2279 vsize=8225984 memory=8034956 CPUtime=162.23 cores=0-7
/proc/2282/stat : 2282 (cosoco) R 2279 2282 1323 0 -1 4202496 1351926 0 0 0 16017 206 0 0 20 0 1 0 436200538 8423407616 2008739 33554432000 4194304 6211092 140737132644464 140737132638728 139805099510757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11104256 140737132647441 140737132647533 140737132647533 140737132650446 0
/proc/2282/statm: 2056496 2008739 824 493 0 2049801 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 8225984 KiB
Current children cumulated memory: 8034956 KiB
[startup+222.3 s]
/proc/loadavg: 1.18 3.24 2.92 2/192 2305
/proc/meminfo: memFree=20067024/32770624 swapFree=66921500/67108860
[pid=2282] ppid=2279 vsize=11627220 memory=11004220 CPUtime=222.21 cores=0-7
/proc/2282/stat : 2282 (cosoco) R 2279 2282 1323 0 -1 4202496 1847921 0 0 0 21941 280 0 0 20 0 1 0 436200538 11906273280 2751055 33554432000 4194304 6211092 140737132644464 140737132638728 139805099510757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11104256 140737132647441 140737132647533 140737132647533 140737132650446 0
/proc/2282/statm: 2906805 2751055 824 493 0 2900110 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 11627220 KiB
Current children cumulated memory: 11004220 KiB
[startup+282.3 s]
/proc/loadavg: 1.06 2.83 2.80 2/193 2332
/proc/meminfo: memFree=17096264/32770624 swapFree=66921504/67108860
[pid=2282] ppid=2279 vsize=15738088 memory=13969416 CPUtime=282.19 cores=0-7
/proc/2282/stat : 2282 (cosoco) R 2279 2282 1323 0 -1 4202496 2343516 0 0 0 27854 365 0 0 20 0 1 0 436200538 16115802112 3492354 33554432000 4194304 6211092 140737132644464 140737132638728 139805099510757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11104256 140737132647441 140737132647533 140737132647533 140737132650446 0
/proc/2282/statm: 3934522 3492354 824 493 0 3927827 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 15738088 KiB
Current children cumulated memory: 13969416 KiB
[startup+342.3 s]
/proc/loadavg: 1.02 2.50 2.68 2/193 2337
/proc/meminfo: memFree=14132280/32770624 swapFree=66921504/67108860
[pid=2282] ppid=2279 vsize=17709772 memory=16929272 CPUtime=342.17 cores=0-7
/proc/2282/stat : 2282 (cosoco) R 2279 2282 1323 0 -1 4202496 2837251 0 0 0 33757 460 0 0 20 0 1 0 436200538 18134806528 4232318 33554432000 4194304 6211092 140737132644464 140737132638728 139805099510757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11104256 140737132647441 140737132647533 140737132647533 140737132650446 0
/proc/2282/statm: 4427443 4232318 824 493 0 4420748 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 17709772 KiB
Current children cumulated memory: 16929272 KiB
[startup+402.3 s]
/proc/loadavg: 1.01 2.23 2.58 2/193 2340
/proc/meminfo: memFree=11174964/32770624 swapFree=66921504/67108860
[pid=2282] ppid=2279 vsize=22870468 memory=19879360 CPUtime=402.14 cores=0-7
/proc/2282/stat : 2282 (cosoco) R 2279 2282 1323 0 -1 4202496 3330596 0 0 0 39648 566 0 0 20 0 1 0 436200538 23419359232 4969840 33554432000 4194304 6211092 140737132644464 140737132638728 5451500 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11104256 140737132647441 140737132647533 140737132647533 140737132650446 0
/proc/2282/statm: 5717617 4969840 824 493 0 5710922 0
Current children cumulated CPU time: 402.14 s
Current children cumulated vsize: 22870468 KiB
Current children cumulated memory: 19879360 KiB
[startup+462.3 s]
/proc/loadavg: 1.00 2.00 2.48 2/193 2343
/proc/meminfo: memFree=8220172/32770624 swapFree=66921504/67108860
[pid=2282] ppid=2279 vsize=24844164 memory=22831264 CPUtime=462.12 cores=0-7
/proc/2282/stat : 2282 (cosoco) R 2279 2282 1323 0 -1 4202496 3822882 0 0 0 45535 677 0 0 20 0 1 0 436200538 25440423936 5707816 33554432000 4194304 6211092 140737132644464 140737132638728 139805099510757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11104256 140737132647441 140737132647533 140737132647533 140737132650446 0
/proc/2282/statm: 6211041 5707816 824 493 0 6204346 0
Current children cumulated CPU time: 462.12 s
Current children cumulated vsize: 24844164 KiB
Current children cumulated memory: 22831264 KiB
[startup+522.3 s]
/proc/loadavg: 1.00 1.82 2.39 2/192 2348
/proc/meminfo: memFree=5265732/32770624 swapFree=66921504/67108860
[pid=2282] ppid=2279 vsize=26809908 memory=25778036 CPUtime=522.08 cores=0-7
/proc/2282/stat : 2282 (cosoco) R 2279 2282 1323 0 -1 4202496 4314883 0 0 0 51418 790 0 0 20 0 1 0 436200538 27453345792 6444509 33554432000 4194304 6211092 140737132644464 140737132638728 139805099510757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11104256 140737132647441 140737132647533 140737132647533 140737132650446 0
/proc/2282/statm: 6702477 6444509 824 493 0 6695782 0
Current children cumulated CPU time: 522.08 s
Current children cumulated vsize: 26809908 KiB
Current children cumulated memory: 25778036 KiB
[startup+582.3 s]
/proc/loadavg: 1.00 1.67 2.30 2/191 2351
/proc/meminfo: memFree=2310360/32770624 swapFree=66921504/67108860
[pid=2282] ppid=2279 vsize=28776180 memory=28729424 CPUtime=582.06 cores=0-7
/proc/2282/stat : 2282 (cosoco) R 2279 2282 1323 0 -1 4202496 4807055 0 0 0 57302 904 0 0 20 0 1 0 436200538 29466808320 7182356 33554432000 4194304 6211092 140737132644464 140737132638728 139805099510757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11104256 140737132647441 140737132647533 140737132647533 140737132650446 0
/proc/2282/statm: 7194045 7182356 824 493 0 7187350 0
Current children cumulated CPU time: 582.06 s
Current children cumulated vsize: 28776180 KiB
Current children cumulated memory: 28729424 KiB
[startup+585.792 s]
# the end of solver process 2282 was just reported to runsolver
# cumulated CPU time of all completed processes: user=574.741 s, system=10.8246 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+582.4 s]
/proc/loadavg: 1.00 1.67 2.30 2/191 2351
/proc/meminfo: memFree=2310360/32770624 swapFree=66921504/67108860
[pid=2282] ppid=2279 vsize=28779480 memory=28732592 CPUtime=582.16 cores=0-7
/proc/2282/stat : 2282 (cosoco) R 2279 2282 1323 0 -1 4202496 4807880 0 0 0 57312 904 0 0 20 0 1 0 436200538 29470187520 7183148 33554432000 4194304 6211092 140737132644464 140737132638728 139805099510757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11104256 140737132647441 140737132647533 140737132647533 140737132650446 0
/proc/2282/statm: 7194870 7183148 824 493 0 7188175 0
Current children cumulated CPU time: 582.16 s
Current children cumulated vsize: 28779480 KiB
Current children cumulated memory: 28732592 KiB
[startup+584 s]*
/proc/loadavg: 1.00 1.67 2.30 2/191 2351
/proc/meminfo: memFree=2224124/32770624 swapFree=66921504/67108860
[pid=2282] ppid=2279 vsize=28889632 memory=28799536 CPUtime=583.77 cores=0-7
/proc/2282/stat : 2282 (cosoco) R 2279 2282 1323 0 -1 4202496 5218807 0 0 0 57456 921 0 0 20 0 1 0 436200538 29582983168 7199884 33554432000 4194304 6211092 140737132644464 140737132638728 139805099520908 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11104256 140737132647441 140737132647533 140737132647533 140737132650446 0
/proc/2282/statm: 7222408 7199884 849 493 0 7215713 0
Current children cumulated CPU time: 583.77 s
Current children cumulated vsize: 28889632 KiB
Current children cumulated memory: 28799536 KiB
[startup+584.8 s]
/proc/loadavg: 1.00 1.67 2.30 2/191 2351
/proc/meminfo: memFree=4053180/32770624 swapFree=66921504/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+585.2 s]
/proc/loadavg: 1.00 1.67 2.30 2/191 2351
/proc/meminfo: memFree=11469856/32770624 swapFree=66921504/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+585.6 s]
/proc/loadavg: 1.00 1.67 2.30 2/191 2351
/proc/meminfo: memFree=11469856/32770624 swapFree=66921504/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+585.7 s]
/proc/loadavg: 1.00 1.67 2.30 2/191 2351
/proc/meminfo: memFree=11469856/32770624 swapFree=66921504/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 585.792
CPU time (s): 585.566
CPU user time (s): 574.741
CPU system time (s): 10.8246
CPU usage (%): 99.9614
Max. virtual memory (cumulated for all children) (KiB): 28889632
Max. memory (cumulated for all children) (KiB): 28799536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 574.741
system time used= 10.8246
maximum resident set size= 28799536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5907007
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= 486
involuntary context switches= 738
# summary of solver processes directly reported to runsolver:
# pid: 2282
# total CPU time (s): 585.566
# total CPU user time (s): 574.741
# total CPU system time (s): 10.8246
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.46769 second user time and 3.37948 second system time
The end
Begin job on node141 at 2019-09-16 04:56:25
IDJOB=4398503
IDBENCH=126231
IDSOLVER=2851
FILE ID=node141/4398503-1568602627
RUNJOBID= node141-1568597208-1351
PBS_JOBID= 21703404
Free space on /tmp= 58544 MiB
SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-11-a4.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398503-1568602627/watcher-4398503-1568602627 -o /tmp/evaluation-result-4398503-1568602627/solver-4398503-1568602627 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568597208-1351 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398503-1568602627.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 76cd483e3b4252a6c3494775e86c7629
RANDOM SEED=847113997
node141.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
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 : 5332.93
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
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 : 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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
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 : 5332.93
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
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 : 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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
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 : 5332.93
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
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 : 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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
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 : 5332.93
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
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:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31072580 kB
MemAvailable: 31829672 kB
Buffers: 206264 kB
Cached: 847828 kB
SwapCached: 78456 kB
Active: 445148 kB
Inactive: 691620 kB
Active(anon): 10056 kB
Inactive(anon): 114908 kB
Active(file): 435092 kB
Inactive(file): 576712 kB
Unevictable: 109172 kB
Mlocked: 109172 kB
SwapTotal: 67108860 kB
SwapFree: 66921492 kB
Dirty: 2772 kB
Writeback: 0 kB
AnonPages: 113128 kB
Mapped: 40832 kB
Shmem: 33672 kB
Slab: 152336 kB
SReclaimable: 122244 kB
SUnreclaim: 30092 kB
KernelStack: 3440 kB
PageTables: 5656 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 506572 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 128384 kB
DirectMap2M: 33417216 kB
Free space on /tmp at the end= 58540 MiB
End job on node141 at 2019-09-16 05:06:11