627.85/628.22 c
627.85/628.22 c This is cosoco 2.00 --
627.85/628.22 c
627.85/628.22 c command line: cosoco -model -nbcores=8 HOME/instance-4409615-1569824644.xml
627.85/628.22 c =========================================================================================================
627.85/628.22 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 (14860 MiB free)
memory of node 1: 16384 MiB (14619 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409615-1569824644/watcher-4409615-1569824644 -o /tmp/evaluation-result-4409615-1569824644/solver-4409615-1569824644 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1569817669-3093 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409615-1569824644.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=4069, runsolver pid=4066
Current StackSize limit: 8192 KiB
[startup+0.100152 s]*
/proc/loadavg: 8.30 8.69 7.52 2/192 4070
/proc/meminfo: memFree=30182272/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=33696 memory=9368 CPUtime=0.1 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 2528 0 0 0 10 0 0 0 20 0 1 0 558379136 34504704 2342 33554432000 4194304 6211132 140729657640208 140729657636744 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 8424 2342 823 493 0 1729 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33696 KiB
Current children cumulated memory: 9368 KiB
[startup+0.209105 s]*
/proc/loadavg: 7.71 8.57 7.49 2/192 4070
/proc/meminfo: memFree=30177064/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=39396 memory=14436 CPUtime=0.2 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 3772 0 0 0 20 0 0 0 20 0 1 0 558379136 40341504 3609 33554432000 4194304 6211132 140729657640208 140729657636744 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 9849 3609 823 493 0 3154 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39396 KiB
Current children cumulated memory: 14436 KiB
[startup+0.308943 s]*
/proc/loadavg: 7.71 8.57 7.49 2/192 4070
/proc/meminfo: memFree=30172600/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=44592 memory=18924 CPUtime=0.3 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 4916 0 0 0 30 0 0 0 20 0 1 0 558379136 45662208 4731 33554432000 4194304 6211132 140729657640208 140729657636744 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 11148 4731 823 493 0 4453 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44592 KiB
Current children cumulated memory: 18924 KiB
[startup+0.700282 s]
/proc/loadavg: 7.71 8.57 7.49 2/192 4070
/proc/meminfo: memFree=30161748/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=64452 memory=36564 CPUtime=0.69 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 8819 0 0 0 68 1 0 0 20 0 1 0 558379136 65998848 9141 33554432000 4194304 6211132 140729657640208 140729657636744 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 16113 9141 823 493 0 9418 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 64452 KiB
Current children cumulated memory: 36564 KiB
[startup+1.50028 s]
/proc/loadavg: 7.71 8.57 7.49 2/192 4070
/proc/meminfo: memFree=30140852/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=107368 memory=73300 CPUtime=1.49 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 16486 0 0 0 148 1 0 0 20 0 1 0 558379136 109944832 18325 33554432000 4194304 6211132 140729657640208 140729657634472 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 26842 18325 824 493 0 20147 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 107368 KiB
Current children cumulated memory: 73300 KiB
[startup+3.10921 s]
/proc/loadavg: 7.71 8.57 7.49 2/192 4070
/proc/meminfo: memFree=30047108/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=173396 memory=147652 CPUtime=3.1 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 29496 0 0 0 307 3 0 0 20 0 1 0 558379136 177557504 36913 33554432000 4194304 6211132 140729657640208 140729657634472 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 43349 36913 824 493 0 36654 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 173396 KiB
Current children cumulated memory: 147652 KiB
[startup+6.30027 s]
/proc/loadavg: 7.17 8.44 7.45 2/192 4070
/proc/meminfo: memFree=29909056/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=333112 memory=295452 CPUtime=6.29 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 55178 0 0 0 621 8 0 0 20 0 1 0 558379136 341106688 73863 33554432000 4194304 6211132 140729657640208 140729657634472 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 83278 73863 824 493 0 76583 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 333112 KiB
Current children cumulated memory: 295452 KiB
[startup+12.7003 s]
/proc/loadavg: 6.68 8.32 7.42 2/193 4072
/proc/meminfo: memFree=29631232/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=668676 memory=590036 CPUtime=12.69 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 105867 0 0 0 1254 15 0 0 20 0 1 0 558379136 684724224 147509 33554432000 4194304 6211132 140729657640208 140729657634472 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 167169 147509 824 493 0 160474 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 668676 KiB
Current children cumulated memory: 590036 KiB
[startup+25.5003 s]
/proc/loadavg: 5.81 8.08 7.35 2/192 4072
/proc/meminfo: memFree=29028968/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=1374528 memory=1180040 CPUtime=25.49 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 205355 0 0 0 2518 31 0 0 20 0 1 0 558379136 1407516672 295010 33554432000 4194304 6211132 140729657640208 140729657634472 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 343632 295010 824 493 0 336937 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 1374528 KiB
Current children cumulated memory: 1180040 KiB
[startup+51.1092 s]
/proc/loadavg: 3.91 7.40 7.15 2/192 4072
/proc/meminfo: memFree=27830084/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=2442620 memory=2361120 CPUtime=51.08 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 403041 0 0 0 5046 62 0 0 20 0 1 0 558379136 2501242880 590280 33554432000 4194304 6211132 140729657640208 140729657634472 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 610655 590280 824 493 0 603960 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2442620 KiB
Current children cumulated memory: 2361120 KiB
[startup+102.3 s]
/proc/loadavg: 2.26 6.41 6.83 2/192 4078
/proc/meminfo: memFree=25476132/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=5068160 memory=4721672 CPUtime=102.24 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 797981 0 0 0 10099 125 0 0 20 0 1 0 558379136 5189795840 1180418 33554432000 4194304 6211132 140729657640208 140729657634472 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 1267040 1180418 824 493 0 1260345 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 5068160 KiB
Current children cumulated memory: 4721672 KiB
[startup+162.3 s]
/proc/loadavg: 1.46 5.43 6.46 2/191 4081
/proc/meminfo: memFree=22707088/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=7859252 memory=7485528 CPUtime=162.2 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 1260012 0 0 0 16029 191 0 0 20 0 1 0 558379136 8047874048 1871382 33554432000 4194304 6211132 140729657640208 140729657634472 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 1964813 1871382 824 493 0 1958118 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 7859252 KiB
Current children cumulated memory: 7485528 KiB
[startup+222.3 s]
/proc/loadavg: 1.17 4.62 6.12 2/191 4084
/proc/meminfo: memFree=19935844/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=11124660 memory=10251520 CPUtime=222.16 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 1722128 0 0 0 21956 260 0 0 20 0 1 0 558379136 11391651840 2562880 33554432000 4194304 6211132 140729657640208 140729657634472 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 2781165 2562880 824 493 0 2774470 0
Current children cumulated CPU time: 222.16 s
Current children cumulated vsize: 11124660 KiB
Current children cumulated memory: 10251520 KiB
[startup+282.3 s]
/proc/loadavg: 1.06 3.96 5.80 2/192 4090
/proc/meminfo: memFree=17173608/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=15091408 memory=13007280 CPUtime=282.13 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 2182696 0 0 0 27869 344 0 0 20 0 1 0 558379136 15453601792 3251820 33554432000 4194304 6211132 140729657640208 140729657634472 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 3772852 3251820 824 493 0 3766157 0
Current children cumulated CPU time: 282.13 s
Current children cumulated vsize: 15091408 KiB
Current children cumulated memory: 13007280 KiB
[startup+342.3 s]
/proc/loadavg: 1.02 3.42 5.50 2/191 4093
/proc/meminfo: memFree=14410172/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=16933972 memory=15766344 CPUtime=342.1 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 2643118 0 0 0 33778 432 0 0 20 0 1 0 558379136 17340387328 3941586 33554432000 4194304 6211132 140729657640208 140729657634472 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 4233493 3941586 824 493 0 4226798 0
Current children cumulated CPU time: 342.1 s
Current children cumulated vsize: 16933972 KiB
Current children cumulated memory: 15766344 KiB
[startup+402.3 s]
/proc/loadavg: 1.01 2.98 5.22 2/191 4103
/proc/meminfo: memFree=11660608/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=18764416 memory=18510036 CPUtime=402.06 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 3101253 0 0 0 39671 535 0 0 20 0 1 0 558379136 19214761984 4627509 33554432000 4194304 6211132 140729657640208 140729657634472 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 4691104 4627509 824 493 0 4684409 0
Current children cumulated CPU time: 402.06 s
Current children cumulated vsize: 18764416 KiB
Current children cumulated memory: 18510036 KiB
[startup+462.3 s]
/proc/loadavg: 1.00 2.62 4.95 2/192 4108
/proc/meminfo: memFree=8912628/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=23793672 memory=21254788 CPUtime=462.03 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 3560161 0 0 0 45562 641 0 0 20 0 1 0 558379136 24364720128 5313697 33554432000 4194304 6211132 140729657640208 140729657634472 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 5948418 5313697 824 493 0 5941723 0
Current children cumulated CPU time: 462.03 s
Current children cumulated vsize: 23793672 KiB
Current children cumulated memory: 21254788 KiB
[startup+522.3 s]
/proc/loadavg: 1.00 2.33 4.71 2/191 4111
/proc/meminfo: memFree=6163344/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=25622928 memory=23998660 CPUtime=522 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 4018319 0 0 0 51454 746 0 0 20 0 1 0 558379136 26237878272 5999665 33554432000 4194304 6211132 140729657640208 140729657634472 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 6405732 5999665 824 493 0 6399037 0
Current children cumulated CPU time: 522 s
Current children cumulated vsize: 25622928 KiB
Current children cumulated memory: 23998660 KiB
[startup+582.3 s]
/proc/loadavg: 1.00 2.09 4.48 2/191 4114
/proc/meminfo: memFree=3414068/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=27450996 memory=26742500 CPUtime=581.98 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 4475934 0 0 0 57343 855 0 0 20 0 1 0 558379136 28109819904 6685625 33554432000 4194304 6211132 140729657640208 140729657634472 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 6862749 6685625 824 493 0 6856054 0
Current children cumulated CPU time: 581.98 s
Current children cumulated vsize: 27450996 KiB
Current children cumulated memory: 26742500 KiB
[startup+629.509 s]
# the end of solver process 4069 was just reported to runsolver
# cumulated CPU time of all completed processes: user=617.987 s, system=11.1835 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 1.00 2.07 4.46 2/191 4114
/proc/meminfo: memFree=3138884/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=27648732 memory=27038572 CPUtime=588.47 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 4525444 0 0 0 57979 868 0 0 20 0 1 0 558379136 28312301568 6759643 33554432000 4194304 6211132 140729657640208 140729657634472 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 6912183 6759643 824 493 0 6905488 0
Current children cumulated CPU time: 588.47 s
Current children cumulated vsize: 27648732 KiB
Current children cumulated memory: 27038572 KiB
[startup+614.4 s]
/proc/loadavg: 1.00 1.98 4.37 2/191 4117
/proc/meminfo: memFree=1950220/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=28427400 memory=28206348 CPUtime=614.06 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 4720331 0 0 0 60488 918 0 0 20 0 1 0 558379136 29109657600 7051587 33554432000 4194304 6211132 140729657640208 140729657634472 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 7106850 7051587 824 493 0 7100155 0
Current children cumulated CPU time: 614.06 s
Current children cumulated vsize: 28427400 KiB
Current children cumulated memory: 28206348 KiB
[startup+620.8 s]
/proc/loadavg: 1.00 1.97 4.35 2/191 4117
/proc/meminfo: memFree=1677068/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=28622364 memory=28497424 CPUtime=620.45 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 4769152 0 0 0 61116 929 0 0 20 0 1 0 558379136 29309300736 7124356 33554432000 4194304 6211132 140729657640208 140729657634472 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 7155591 7124356 824 493 0 7148896 0
Current children cumulated CPU time: 620.45 s
Current children cumulated vsize: 28622364 KiB
Current children cumulated memory: 28497424 KiB
[startup+624 s]*
/proc/loadavg: 1.00 1.95 4.33 2/191 4117
/proc/meminfo: memFree=1493860/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=28719912 memory=28644160 CPUtime=623.66 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 4793546 0 0 0 61430 936 0 0 20 0 1 0 558379136 29409189888 7161040 33554432000 4194304 6211132 140729657640208 140729657634472 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 7179978 7161040 824 493 0 7173283 0
Current children cumulated CPU time: 623.66 s
Current children cumulated vsize: 28719912 KiB
Current children cumulated memory: 28644160 KiB
[startup+627.2 s]
/proc/loadavg: 1.00 1.93 4.31 2/191 4117
/proc/meminfo: memFree=1357476/32770624 swapFree=66954180/67108860
[pid=4069] ppid=4066 vsize=28816668 memory=28790104 CPUtime=626.86 cores=0-7
/proc/4069/stat : 4069 (cosoco) R 4066 4069 3066 0 -1 4202496 4817772 0 0 0 61742 944 0 0 20 0 1 0 558379136 29508268032 7197526 33554432000 4194304 6211132 140729657640208 140729657634472 140248122944485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 33861632 140729657644049 140729657644141 140729657644141 140729657647054 0
/proc/4069/statm: 7204167 7197526 824 493 0 7197472 0
Current children cumulated CPU time: 626.86 s
Current children cumulated vsize: 28816668 KiB
Current children cumulated memory: 28790104 KiB
[startup+628.8 s]
/proc/loadavg: 1.00 1.93 4.31 2/191 4117
/proc/meminfo: memFree=3526552/32770624 swapFree=66954180/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+629.2 s]
/proc/loadavg: 1.00 1.93 4.31 2/191 4117
/proc/meminfo: memFree=15964112/32770624 swapFree=66954180/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+629.4 s]
/proc/loadavg: 1.00 1.93 4.31 2/191 4117
/proc/meminfo: memFree=15964112/32770624 swapFree=66954180/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+629.5 s]
/proc/loadavg: 1.00 1.93 4.31 2/191 4117
/proc/meminfo: memFree=15964112/32770624 swapFree=66954180/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): 629.509
CPU time (s): 629.171
CPU user time (s): 617.987
CPU system time (s): 11.1835
CPU usage (%): 99.9463
Max. virtual memory (cumulated for all children) (KiB): 28889068
Max. memory (cumulated for all children) (KiB): 28798908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 617.987
system time used= 11.1835
maximum resident set size= 28798908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5920824
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= 515
involuntary context switches= 379
# summary of solver processes directly reported to runsolver:
# pid: 4069
# total CPU time (s): 629.171
# total CPU user time (s): 617.987
# total CPU system time (s): 11.1835
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.22065 second user time and 4.2412 second system time
The end
Begin job on node119 at 2019-09-30 08:23:23
IDJOB=4409615
IDBENCH=126243
IDSOLVER=2877
FILE ID=node119/4409615-1569824644
RUNJOBID= node119-1569817669-3093
PBS_JOBID= 21705918
Free space on /tmp= 62032 MiB
SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-09-a4.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409615-1569824644/watcher-4409615-1569824644 -o /tmp/evaluation-result-4409615-1569824644/solver-4409615-1569824644 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1569817669-3093 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409615-1569824644.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 24dd80e7bb1ef2b7df88c183d3ee4992
RANDOM SEED=163143180
node119.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.47
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.47
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.47
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.47
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: 30186896 kB
MemAvailable: 31826388 kB
Buffers: 223624 kB
Cached: 1753304 kB
SwapCached: 46700 kB
Active: 1075168 kB
Inactive: 952976 kB
Active(anon): 16136 kB
Inactive(anon): 116460 kB
Active(file): 1059032 kB
Inactive(file): 836516 kB
Unevictable: 107468 kB
Mlocked: 107468 kB
SwapTotal: 67108860 kB
SwapFree: 66954180 kB
Dirty: 2776 kB
Writeback: 0 kB
AnonPages: 113656 kB
Mapped: 26740 kB
Shmem: 73180 kB
Slab: 148312 kB
SReclaimable: 119560 kB
SUnreclaim: 28752 kB
KernelStack: 3424 kB
PageTables: 4636 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 538604 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: 126336 kB
DirectMap2M: 33419264 kB
Free space on /tmp at the end= 62028 MiB
End job on node119 at 2019-09-30 08:33:52