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 (13829 MiB free)
memory of node 1: 16384 MiB (14216 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391542-1568301593/watcher-4391542-1568301593 -o /tmp/evaluation-result-4391542-1568301593/solver-4391542-1568301593 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568301555-23462 --watchdog 2560 nacre_mini_release HOME/instance-4391542-1568301593.xml -ca -l100 -cm
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23487, runsolver pid=23483
[startup+0.100441 s]*
/proc/loadavg: 1.22 1.06 1.32 3/200 23493
/proc/meminfo: memFree=28709236/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=28248 memory=4784 CPUtime=0.06 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 1399 0 1 0 6 0 0 0 20 0 1 0 406427086 28925952 1196 33554432000 4194304 4935366 140723235431376 140723235429064 139780968981244 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 7062 1196 603 181 0 679 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 28248 KiB
Current children cumulated memory: 4784 KiB
[startup+0.20998 s]*
/proc/loadavg: 1.22 1.06 1.32 3/200 23493
/proc/meminfo: memFree=28707408/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=29208 memory=5708 CPUtime=0.16 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 1640 0 1 0 16 0 0 0 20 0 1 0 406427086 29908992 1427 33554432000 4194304 4935366 140723235431376 140723235429064 4450164 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 7302 1427 603 181 0 919 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 29208 KiB
Current children cumulated memory: 5708 KiB
[startup+0.309144 s]*
/proc/loadavg: 1.22 1.06 1.32 3/200 23493
/proc/meminfo: memFree=28705548/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=29868 memory=6500 CPUtime=0.26 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 1820 0 1 0 26 0 0 0 20 0 1 0 406427086 30584832 1625 33554432000 4194304 4935366 140723235431376 140723235429064 4420926 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 7467 1625 603 181 0 1084 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 29868 KiB
Current children cumulated memory: 6500 KiB
[startup+0.700238 s]
/proc/loadavg: 1.22 1.06 1.32 3/200 23493
/proc/meminfo: memFree=28703316/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=33136 memory=9704 CPUtime=0.64 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 2599 0 1 0 64 0 0 0 20 0 1 0 406427086 33931264 2426 33554432000 4194304 4935366 140723235431376 140723235429064 139780968233957 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 8284 2426 603 181 0 1901 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 33136 KiB
Current children cumulated memory: 9704 KiB
[startup+1.50027 s]
/proc/loadavg: 1.22 1.06 1.32 3/200 23493
/proc/meminfo: memFree=28696948/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=39620 memory=16080 CPUtime=1.45 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 4254 0 1 0 144 1 0 0 20 0 1 0 406427086 40570880 4020 33554432000 4194304 4935366 140723235431376 140723235429144 139780968233957 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 9905 4020 603 181 0 3522 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 39620 KiB
Current children cumulated memory: 16080 KiB
[startup+3.10964 s]
/proc/loadavg: 1.29 1.08 1.32 3/200 23493
/proc/meminfo: memFree=28682076/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=46676 memory=23196 CPUtime=3.05 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 10077 0 1 0 304 1 0 0 20 0 1 0 406427086 47796224 5799 33554432000 4194304 4935366 140723235431376 140723235429144 139780974424932 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 11669 5799 603 181 0 5286 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 46676 KiB
Current children cumulated memory: 23196 KiB
[startup+6.30023 s]
/proc/loadavg: 1.29 1.08 1.32 3/200 23493
/proc/meminfo: memFree=28670172/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=56236 memory=32352 CPUtime=6.25 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 18381 0 1 0 623 2 0 0 20 0 1 0 406427086 57585664 8088 33554432000 4194304 4935366 140723235431376 140723235429128 139780968233957 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 14059 8088 603 181 0 7676 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 56236 KiB
Current children cumulated memory: 32352 KiB
[startup+12.7003 s]
/proc/loadavg: 1.40 1.11 1.33 3/201 23495
/proc/meminfo: memFree=28651616/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=72056 memory=48212 CPUtime=12.65 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 30611 0 1 0 1262 3 0 0 20 0 1 0 406427086 73785344 12053 33554432000 4194304 4935366 140723235431376 140723235429064 4450177 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 18014 12053 603 181 0 11631 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 72056 KiB
Current children cumulated memory: 48212 KiB
[startup+25.5003 s]
/proc/loadavg: 1.49 1.14 1.33 3/200 23495
/proc/meminfo: memFree=28625204/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=92932 memory=69356 CPUtime=25.44 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 63099 0 1 0 2538 6 0 0 20 0 1 0 406427086 95162368 17339 33554432000 4194304 4935366 140723235431376 140723235429064 4461048 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 23233 17339 603 181 0 16850 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 92932 KiB
Current children cumulated memory: 69356 KiB
[startup+51.11 s]
/proc/loadavg: 1.66 1.20 1.35 3/203 23506
/proc/meminfo: memFree=28588576/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=122884 memory=98344 CPUtime=51.06 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 91424 0 1 0 5097 9 0 0 20 0 1 0 406427086 125833216 24586 33554432000 4194304 4935366 140723235431376 140723235429080 139780974425268 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 30721 24586 603 181 0 24338 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 122884 KiB
Current children cumulated memory: 98344 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 1.38 1.40 3/204 23511
/proc/meminfo: memFree=28538128/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=164536 memory=140488 CPUtime=102.22 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 127566 0 1 0 10208 14 0 0 20 0 1 0 406427086 168484864 35122 33554432000 4194304 4935366 140723235431376 140723235429080 4461159 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 41134 35122 603 181 0 34751 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 164536 KiB
Current children cumulated memory: 140488 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.50 1.44 3/203 23515
/proc/meminfo: memFree=28494656/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=201984 memory=178228 CPUtime=162.18 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 155635 0 1 0 16200 18 0 0 20 0 1 0 406427086 206831616 44557 33554432000 4194304 4935366 140723235431376 140723235429080 4420836 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 50496 44557 603 181 0 44113 0
Current children cumulated CPU time: 162.18 s
Current children cumulated vsize: 201984 KiB
Current children cumulated memory: 178228 KiB
[startup+222.3 s]
/proc/loadavg: 1.96 1.57 1.47 3/203 23519
/proc/meminfo: memFree=28460008/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=231460 memory=207884 CPUtime=222.16 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 166447 0 1 0 22195 21 0 0 20 0 1 0 406427086 237015040 51971 33554432000 4194304 4935366 140723235431376 140723235429128 4461252 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 57865 51971 603 181 0 51482 0
Current children cumulated CPU time: 222.16 s
Current children cumulated vsize: 231460 KiB
Current children cumulated memory: 207884 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.65 1.50 3/204 23525
/proc/meminfo: memFree=28425968/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=260748 memory=237304 CPUtime=282.16 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 181279 0 1 0 28193 23 0 0 20 0 1 0 406427086 267005952 59326 33554432000 4194304 4935366 140723235431376 140723235429080 4461261 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 65187 59326 603 181 0 58804 0
Current children cumulated CPU time: 282.16 s
Current children cumulated vsize: 260748 KiB
Current children cumulated memory: 237304 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.71 1.53 3/202 23529
/proc/meminfo: memFree=28404228/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=277428 memory=253988 CPUtime=342.16 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 199609 0 1 0 34190 26 0 0 20 0 1 0 406427086 284086272 63497 33554432000 4194304 4935366 140723235431376 140723235429080 4461244 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 69357 63497 603 181 0 62974 0
Current children cumulated CPU time: 342.16 s
Current children cumulated vsize: 277428 KiB
Current children cumulated memory: 253988 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.77 1.56 3/199 23534
/proc/meminfo: memFree=28385264/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=295320 memory=270276 CPUtime=402.16 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 220959 0 1 0 40186 30 0 0 20 0 1 0 406427086 302407680 67569 33554432000 4194304 4935366 140723235431376 140723235429080 4461244 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 73830 67569 603 181 0 67447 0
Current children cumulated CPU time: 402.16 s
Current children cumulated vsize: 295320 KiB
Current children cumulated memory: 270276 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.81 1.59 3/200 23540
/proc/meminfo: memFree=28361664/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=314040 memory=289128 CPUtime=462.13 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 244577 0 1 0 46180 33 0 0 20 0 1 0 406427086 321576960 72282 33554432000 4194304 4935366 140723235431376 140723235429080 4461504 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 78510 72282 603 181 0 72127 0
Current children cumulated CPU time: 462.13 s
Current children cumulated vsize: 314040 KiB
Current children cumulated memory: 289128 KiB
################
# More data... #
################
/proc/23487/statm: 130672 124589 603 181 0 124289 0
Current children cumulated CPU time: 1602.04 s
Current children cumulated vsize: 522688 KiB
Current children cumulated memory: 498356 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/199 23651
/proc/meminfo: memFree=28102960/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=530056 memory=505752 CPUtime=1662.04 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 466204 0 1 0 166124 80 0 0 20 0 1 0 406427086 542777344 126438 33554432000 4194304 4935366 140723235431376 140723235429128 4461250 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 132514 126438 603 181 0 126131 0
Current children cumulated CPU time: 1662.04 s
Current children cumulated vsize: 530056 KiB
Current children cumulated memory: 505752 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/200 23657
/proc/meminfo: memFree=28094224/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=537552 memory=513148 CPUtime=1722.04 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 481811 0 1 0 172121 83 0 0 20 0 1 0 406427086 550453248 128287 33554432000 4194304 4935366 140723235431376 140723235429128 4450358 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 134388 128287 603 181 0 128005 0
Current children cumulated CPU time: 1722.04 s
Current children cumulated vsize: 537552 KiB
Current children cumulated memory: 513148 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/199 23661
/proc/meminfo: memFree=28084756/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=546028 memory=522104 CPUtime=1782.02 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 488155 0 1 0 178117 85 0 0 20 0 1 0 406427086 559132672 130526 33554432000 4194304 4935366 140723235431376 140723235429080 4461218 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 136507 130526 603 181 0 130124 0
Current children cumulated CPU time: 1782.02 s
Current children cumulated vsize: 546028 KiB
Current children cumulated memory: 522104 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/199 23665
/proc/meminfo: memFree=28073340/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=553644 memory=529592 CPUtime=1842.01 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 492673 0 1 0 184115 86 0 0 20 0 1 0 406427086 566931456 132398 33554432000 4194304 4935366 140723235431376 140723235429128 4461519 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 138411 132398 603 181 0 132028 0
Current children cumulated CPU time: 1842.01 s
Current children cumulated vsize: 553644 KiB
Current children cumulated memory: 529592 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/202 23680
/proc/meminfo: memFree=28063900/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=561480 memory=537424 CPUtime=1902.01 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 494996 0 1 0 190114 87 0 0 20 0 1 0 406427086 574955520 134356 33554432000 4194304 4935366 140723235431376 140723235429128 4461261 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 140370 134356 603 181 0 133987 0
Current children cumulated CPU time: 1902.01 s
Current children cumulated vsize: 561480 KiB
Current children cumulated memory: 537424 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/201 23684
/proc/meminfo: memFree=28055384/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=569780 memory=545860 CPUtime=1962.01 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 503320 0 1 0 196111 90 0 0 20 0 1 0 406427086 583454720 136465 33554432000 4194304 4935366 140723235431376 140723235429080 4461231 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 142445 136465 603 181 0 136062 0
Current children cumulated CPU time: 1962.01 s
Current children cumulated vsize: 569780 KiB
Current children cumulated memory: 545860 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/201 23688
/proc/meminfo: memFree=28047320/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=576988 memory=553088 CPUtime=2022.01 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 513233 0 1 0 202109 92 0 0 20 0 1 0 406427086 590835712 138272 33554432000 4194304 4935366 140723235431376 140723235429080 4461125 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 144247 138272 603 181 0 137864 0
Current children cumulated CPU time: 2022.01 s
Current children cumulated vsize: 576988 KiB
Current children cumulated memory: 553088 KiB
[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 1.96 3/202 23694
/proc/meminfo: memFree=28039100/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=583956 memory=559952 CPUtime=2082.01 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 524563 0 1 0 208107 94 0 0 20 0 1 0 406427086 597970944 139988 33554432000 4194304 4935366 140723235431376 140723235429128 4461510 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 145989 139988 603 181 0 139606 0
Current children cumulated CPU time: 2082.01 s
Current children cumulated vsize: 583956 KiB
Current children cumulated memory: 559952 KiB
[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 1.96 3/201 23698
/proc/meminfo: memFree=28030524/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=591544 memory=567696 CPUtime=2142.01 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 537774 0 1 0 214105 96 0 0 20 0 1 0 406427086 605741056 141924 33554432000 4194304 4935366 140723235431376 140723235429080 4461125 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 147886 141924 603 181 0 141503 0
Current children cumulated CPU time: 2142.01 s
Current children cumulated vsize: 591544 KiB
Current children cumulated memory: 567696 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/199 23703
/proc/meminfo: memFree=28021620/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=599416 memory=575316 CPUtime=2202.01 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 551948 0 1 0 220103 98 0 0 20 0 1 0 406427086 613801984 143829 33554432000 4194304 4935366 140723235431376 140723235429080 4461218 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 149854 143829 603 181 0 143471 0
Current children cumulated CPU time: 2202.01 s
Current children cumulated vsize: 599416 KiB
Current children cumulated memory: 575316 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/201 23710
/proc/meminfo: memFree=28012524/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=607544 memory=583300 CPUtime=2262 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 568118 0 1 0 226099 101 0 0 20 0 1 0 406427086 622125056 145825 33554432000 4194304 4935366 140723235431376 140723235429128 4461073 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 151886 145825 603 181 0 145503 0
Current children cumulated CPU time: 2262 s
Current children cumulated vsize: 607544 KiB
Current children cumulated memory: 583300 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/200 23714
/proc/meminfo: memFree=28001596/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=616544 memory=592672 CPUtime=2321.98 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 573922 0 1 0 232096 102 0 0 20 0 1 0 406427086 631341056 148168 33554432000 4194304 4935366 140723235431376 140723235429128 4450336 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 154136 148168 603 181 0 147753 0
Current children cumulated CPU time: 2321.98 s
Current children cumulated vsize: 616544 KiB
Current children cumulated memory: 592672 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/200 23719
/proc/meminfo: memFree=27995736/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=620952 memory=596964 CPUtime=2381.98 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 577665 0 1 0 238095 103 0 0 20 0 1 0 406427086 635854848 149241 33554432000 4194304 4935366 140723235431376 140723235429128 4461073 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 155238 149241 603 181 0 148855 0
Current children cumulated CPU time: 2381.98 s
Current children cumulated vsize: 620952 KiB
Current children cumulated memory: 596964 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 1.96 3/200 23722
/proc/meminfo: memFree=27994628/32770624 swapFree=67004752/67108860
[pid=23487] ppid=23483 vsize=621904 memory=597920 CPUtime=2400.08 cores=1,3,5,7
/proc/23487/stat : 23487 (nacre_mini_rele) R 23483 23487 11220 0 -1 4202496 578075 0 1 0 239905 103 0 0 20 0 1 0 406427086 636829696 149480 33554432000 4194304 4935366 140723235431376 140723235429080 4461073 0 0 4096 24578 0 0 0 17 1 0 0 3 0 0 7034520 7039168 26914816 140723235435521 140723235435621 140723235435621 140723235438530 0
/proc/23487/statm: 155476 149480 603 181 0 149093 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 621904 KiB
Current children cumulated memory: 597920 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.4 s]
# the end of solver process 23487 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.05 s, system=1.03998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.4
CPU time (s): 2400.09
CPU user time (s): 2399.05
CPU system time (s): 1.03998
CPU usage (%): 99.9871
Max. virtual memory (cumulated for all children) (KiB): 621904
Max. memory (cumulated for all children) (KiB): 597920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.05
system time used= 1.03998
maximum resident set size= 598180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 578118
page faults= 1
swaps= 0
block input operations= 7584
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 296
involuntary context switches= 2003
# summary of solver processes directly reported to runsolver:
# pid: 23487
# total CPU time (s): 2400.09
# total CPU user time (s): 2399.05
# total CPU system time (s): 1.03998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.75052 second user time and 18.9494 second system time
The end