580.62/580.92 c
580.62/580.92 c This is cosoco 2.00 --
580.62/580.92 c
580.62/580.92 c command line: cosoco -model -nbcores=8 HOME/instance-4409763-1569824521.xml
580.62/580.92 c =========================================================================================================
580.62/580.92 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 (13035 MiB free)
memory of node 1: 16384 MiB (15703 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409763-1569824521/watcher-4409763-1569824521 -o /tmp/evaluation-result-4409763-1569824521/solver-4409763-1569824521 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569816318-31364 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409763-1569824521.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
solver pid=32645, runsolver pid=32642
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 7.22 6.77 4.43 2/193 32646
/proc/meminfo: memFree=29422600/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=33488 memory=9692 CPUtime=0.1 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 2611 0 0 0 10 0 0 0 20 0 1 0 558613571 34291712 2423 33554432000 4194304 6211132 140736077416544 140736077413080 5443035 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 8372 2423 824 493 0 1677 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33488 KiB
Current children cumulated memory: 9692 KiB
[startup+0.208937 s]*
/proc/loadavg: 7.22 6.77 4.43 2/193 32646
/proc/meminfo: memFree=29417392/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=40092 memory=14996 CPUtime=0.21 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 3958 0 0 0 21 0 0 0 20 0 1 0 558613571 41054208 3749 33554432000 4194304 6211132 140736077416544 140736077413080 139786622016485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 10023 3749 824 493 0 3328 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 14996 KiB
[startup+0.308735 s]*
/proc/loadavg: 7.22 6.77 4.43 2/193 32646
/proc/meminfo: memFree=29412184/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=45552 memory=20012 CPUtime=0.3 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 5200 0 0 0 30 0 0 0 20 0 1 0 558613571 46645248 5003 33554432000 4194304 6211132 140736077416544 140736077413080 5012856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 11388 5003 824 493 0 4693 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45552 KiB
Current children cumulated memory: 20012 KiB
[startup+0.700325 s]
/proc/loadavg: 7.22 6.77 4.43 2/193 32646
/proc/meminfo: memFree=29401408/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=66336 memory=40748 CPUtime=0.69 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 9369 0 0 0 68 1 0 0 20 0 1 0 558613571 67928064 10187 33554432000 4194304 6211132 140736077416544 140736077410808 139786622016485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 16584 10187 824 493 0 9889 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 66336 KiB
Current children cumulated memory: 40748 KiB
[startup+1.50033 s]
/proc/loadavg: 7.22 6.77 4.43 2/193 32646
/proc/meminfo: memFree=29377784/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=111232 memory=79072 CPUtime=1.49 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 17407 0 0 0 146 3 0 0 20 0 1 0 558613571 113901568 19768 33554432000 4194304 6211132 140736077416544 140736077410808 139786622016485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 27808 19768 824 493 0 21113 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 111232 KiB
Current children cumulated memory: 79072 KiB
[startup+3.10872 s]
/proc/loadavg: 6.72 6.68 4.41 2/193 32646
/proc/meminfo: memFree=29278088/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=205692 memory=158800 CPUtime=3.09 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 31745 0 0 0 305 4 0 0 20 0 1 0 558613571 210628608 39700 33554432000 4194304 6211132 140736077416544 140736077410808 139786622016485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 51423 39700 824 493 0 44728 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 205692 KiB
Current children cumulated memory: 158800 KiB
[startup+6.30033 s]
/proc/loadavg: 6.72 6.68 4.41 2/193 32646
/proc/meminfo: memFree=29126484/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=348916 memory=318676 CPUtime=6.28 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 58970 0 0 0 619 9 0 0 20 0 1 0 558613571 357289984 79669 33554432000 4194304 6211132 140736077416544 140736077410808 139786622016485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 87229 79669 824 493 0 80534 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 348916 KiB
Current children cumulated memory: 318676 KiB
[startup+12.7003 s]
/proc/loadavg: 5.84 6.49 4.37 2/193 32646
/proc/meminfo: memFree=28829628/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=700128 memory=637308 CPUtime=12.68 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 113101 0 0 0 1249 19 0 0 20 0 1 0 558613571 716931072 159327 33554432000 4194304 6211132 140736077416544 140736077410808 139786622016485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 175032 159327 824 493 0 168337 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 700128 KiB
Current children cumulated memory: 637308 KiB
[startup+25.5003 s]
/proc/loadavg: 5.10 6.31 4.34 2/193 32646
/proc/meminfo: memFree=28179248/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=1437924 memory=1275672 CPUtime=25.48 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 221111 0 0 0 2511 37 0 0 20 0 1 0 558613571 1472434176 318918 33554432000 4194304 6211132 140736077416544 140736077410808 139786622016485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 359481 318918 824 493 0 352786 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 1437924 KiB
Current children cumulated memory: 1275672 KiB
[startup+51.1087 s]
/proc/loadavg: 3.70 5.88 4.25 2/193 32648
/proc/meminfo: memFree=26881548/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=2990592 memory=2551696 CPUtime=51.08 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 435304 0 0 0 5034 74 0 0 20 0 1 0 558613571 3062366208 637924 33554432000 4194304 6211132 140736077416544 140736077410808 139786622016485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 747648 637924 824 493 0 740953 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2990592 KiB
Current children cumulated memory: 2551696 KiB
[startup+102.3 s]
/proc/loadavg: 2.08 5.06 4.06 2/193 32651
/proc/meminfo: memFree=24332856/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=5324804 memory=5104872 CPUtime=102.24 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 862089 0 0 0 10085 139 0 0 20 0 1 0 558613571 5452599296 1276218 33554432000 4194304 6211132 140736077416544 140736077410808 139786622016485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 1331201 1276218 824 493 0 1324506 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 5324804 KiB
Current children cumulated memory: 5104872 KiB
[startup+162.3 s]
/proc/loadavg: 1.40 4.32 3.87 2/194 32656
/proc/meminfo: memFree=21336148/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=8267696 memory=8096844 CPUtime=162.21 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 1362227 0 0 0 16004 217 0 0 20 0 1 0 558613571 8466120704 2024211 33554432000 4194304 6211132 140736077416544 140736077410808 139786622016485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 2066924 2024211 824 493 0 2060229 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 8267696 KiB
Current children cumulated memory: 8096844 KiB
[startup+222.3 s]
/proc/loadavg: 1.15 3.72 3.69 2/191 32660
/proc/meminfo: memFree=18338236/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=11685168 memory=11091936 CPUtime=222.18 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 1862164 0 0 0 21931 287 0 0 20 0 1 0 558613571 11965612032 2772984 33554432000 4194304 6211132 140736077416544 140736077410808 139786622016485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 2921292 2772984 824 493 0 2914597 0
Current children cumulated CPU time: 222.18 s
Current children cumulated vsize: 11685168 KiB
Current children cumulated memory: 11091936 KiB
[startup+282.3 s]
/proc/loadavg: 1.05 3.22 3.52 2/191 32663
/proc/meminfo: memFree=15349148/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=15806200 memory=14072004 CPUtime=282.16 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 2360455 0 0 0 27838 378 0 0 20 0 1 0 558613571 16185548800 3518001 33554432000 4194304 6211132 140736077416544 140736077410808 139786622016485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 3951550 3518001 824 493 0 3944855 0
Current children cumulated CPU time: 282.16 s
Current children cumulated vsize: 15806200 KiB
Current children cumulated memory: 14072004 KiB
[startup+342.3 s]
/proc/loadavg: 1.02 2.82 3.36 2/192 32668
/proc/meminfo: memFree=12374220/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=17786332 memory=17043644 CPUtime=342.13 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 2856116 0 0 0 33723 490 0 0 20 0 1 0 558613571 18213203968 4260911 33554432000 4194304 6211132 140736077416544 140736077410808 139786622016485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 4446583 4260911 824 493 0 4439888 0
Current children cumulated CPU time: 342.13 s
Current children cumulated vsize: 17786332 KiB
Current children cumulated memory: 17043644 KiB
[startup+402.3 s]
/proc/loadavg: 1.01 2.49 3.22 2/191 32672
/proc/meminfo: memFree=9397960/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=22958644 memory=20012232 CPUtime=402.1 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 3352529 0 0 0 39608 602 0 0 20 0 1 0 558613571 23509651456 5003058 33554432000 4194304 6211132 140736077416544 140736077410808 139786622016485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 5739661 5003058 824 493 0 5732966 0
Current children cumulated CPU time: 402.1 s
Current children cumulated vsize: 22958644 KiB
Current children cumulated memory: 20012232 KiB
[startup+462.3 s]
/proc/loadavg: 1.00 2.22 3.08 2/191 32675
/proc/meminfo: memFree=6425116/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=24944088 memory=22978820 CPUtime=462.07 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 3848027 0 0 0 45493 714 0 0 20 0 1 0 558613571 25542746112 5744705 33554432000 4194304 6211132 140736077416544 140736077410808 139786622016485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 6236022 5744705 824 493 0 6229327 0
Current children cumulated CPU time: 462.07 s
Current children cumulated vsize: 24944088 KiB
Current children cumulated memory: 22978820 KiB
[startup+522.3 s]
/proc/loadavg: 1.00 2.00 2.95 2/192 32687
/proc/meminfo: memFree=3453280/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=26921052 memory=25947504 CPUtime=522.04 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 4342939 0 0 0 51371 833 0 0 20 0 1 0 558613571 27567157248 6486876 33554432000 4194304 6211132 140736077416544 140736077410808 139786622016485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 6730263 6486876 824 493 0 6723568 0
Current children cumulated CPU time: 522.04 s
Current children cumulated vsize: 26921052 KiB
Current children cumulated memory: 25947504 KiB
[startup+582.205 s]
# the end of solver process 32645 was just reported to runsolver
# cumulated CPU time of all completed processes: user=570.602 s, system=11.3343 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+537.6 s]
/proc/loadavg: 1.00 1.95 2.92 2/191 32687
/proc/meminfo: memFree=2709456/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=27425688 memory=26702040 CPUtime=537.34 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 4469238 0 0 0 52870 864 0 0 20 0 1 0 558613571 28083904512 6675510 33554432000 4194304 6211132 140736077416544 140736077410808 139786622016485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 6856422 6675510 824 493 0 6849727 0
Current children cumulated CPU time: 537.34 s
Current children cumulated vsize: 27425688 KiB
Current children cumulated memory: 26702040 KiB
[startup+563.2 s]
/proc/loadavg: 1.00 1.87 2.87 2/191 32688
/proc/meminfo: memFree=1424260/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=28268376 memory=27966640 CPUtime=562.93 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 4680169 0 0 0 55379 914 0 0 20 0 1 0 558613571 28946817024 6991660 33554432000 4194304 6211132 140736077416544 140736077410808 139786622016485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 7067094 6991660 824 493 0 7060399 0
Current children cumulated CPU time: 562.93 s
Current children cumulated vsize: 28268376 KiB
Current children cumulated memory: 27966640 KiB
[startup+576 s]*
/proc/loadavg: 1.00 1.84 2.85 2/191 32690
/proc/meminfo: memFree=780404/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=28689984 memory=28599224 CPUtime=575.73 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 4785717 0 0 0 56634 939 0 0 20 0 1 0 558613571 29378543616 7149806 33554432000 4194304 6211132 140736077416544 140736077410808 139786622016485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 7172496 7149806 824 493 0 7165801 0
Current children cumulated CPU time: 575.73 s
Current children cumulated vsize: 28689984 KiB
Current children cumulated memory: 28599224 KiB
[startup+579.2 s]
/proc/loadavg: 1.00 1.83 2.84 2/191 32690
/proc/meminfo: memFree=632680/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=28794660 memory=28754868 CPUtime=578.92 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 4811888 0 0 0 56945 947 0 0 20 0 1 0 558613571 29485731840 7188717 33554432000 4194304 6211132 140736077416544 140736077410808 139786622016485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 7198665 7188717 824 493 0 7191970 0
Current children cumulated CPU time: 578.92 s
Current children cumulated vsize: 28794660 KiB
Current children cumulated memory: 28754868 KiB
[startup+580.8 s]
/proc/loadavg: 1.00 1.83 2.84 2/191 32690
/proc/meminfo: memFree=584864/32770624 swapFree=67002708/67108860
[pid=32645] ppid=32642 vsize=28889632 memory=28799036 CPUtime=580.52 cores=0-7
/proc/32645/stat : 32645 (cosoco) R 32642 32645 31337 0 -1 4202496 5760633 0 0 0 57056 996 0 0 20 0 1 0 558613571 29582983168 7199759 33554432000 4194304 6211132 140736077416544 140736077410712 139786622026636 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 30220288 140736077423633 140736077423725 140736077423725 140736077426638 0
/proc/32645/statm: 7222408 7199759 849 493 0 7215713 0
Current children cumulated CPU time: 580.52 s
Current children cumulated vsize: 28889632 KiB
Current children cumulated memory: 28799036 KiB
[startup+581.6 s]
/proc/loadavg: 1.00 1.83 2.84 2/191 32690
/proc/meminfo: memFree=2765488/32770624 swapFree=67002708/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+582 s]*
/proc/loadavg: 1.00 1.81 2.83 2/191 32690
/proc/meminfo: memFree=20702964/32770624 swapFree=67002708/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+582.2 s]
/proc/loadavg: 1.00 1.81 2.83 2/191 32690
/proc/meminfo: memFree=20702964/32770624 swapFree=67002708/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): 582.205
CPU time (s): 581.936
CPU user time (s): 570.602
CPU system time (s): 11.3343
CPU usage (%): 99.9538
Max. virtual memory (cumulated for all children) (KiB): 28889632
Max. memory (cumulated for all children) (KiB): 28799036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 570.602
system time used= 11.3343
maximum resident set size= 28799036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5902864
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= 481
involuntary context switches= 730
# summary of solver processes directly reported to runsolver:
# pid: 32645
# total CPU time (s): 581.936
# total CPU user time (s): 570.602
# total CPU system time (s): 11.3343
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.05565 second user time and 3.83418 second system time
The end
Begin job on node148 at 2019-09-30 08:21:23
IDJOB=4409763
IDBENCH=126231
IDSOLVER=2877
FILE ID=node148/4409763-1569824521
RUNJOBID= node148-1569816318-31364
PBS_JOBID= 21705905
Free space on /tmp= 62032 MiB
SOLVER NAME= cosoco 2.0 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-4409763-1569824521/watcher-4409763-1569824521 -o /tmp/evaluation-result-4409763-1569824521/solver-4409763-1569824521 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569816318-31364 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409763-1569824521.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 76cd483e3b4252a6c3494775e86c7629
RANDOM SEED=743192934
node148.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 : 5333.13
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 : 5333.13
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 : 5333.13
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 : 5333.13
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: 29426904 kB
MemAvailable: 31872132 kB
Buffers: 135368 kB
Cached: 2648220 kB
SwapCached: 3492 kB
Active: 1790200 kB
Inactive: 998380 kB
Active(anon): 2720 kB
Inactive(anon): 82664 kB
Active(file): 1787480 kB
Inactive(file): 915716 kB
Unevictable: 110988 kB
Mlocked: 110988 kB
SwapTotal: 67108860 kB
SwapFree: 67002708 kB
Dirty: 2932 kB
Writeback: 0 kB
AnonPages: 113912 kB
Mapped: 26884 kB
Shmem: 71772 kB
Slab: 144700 kB
SReclaimable: 115732 kB
SUnreclaim: 28968 kB
KernelStack: 3472 kB
PageTables: 6188 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 538564 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: 124288 kB
DirectMap2M: 33421312 kB
Free space on /tmp at the end= 62028 MiB
End job on node148 at 2019-09-30 08:31:05