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 (9916 MiB free)
memory of node 1: 16384 MiB (9645 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391699-1568310623/watcher-4391699-1568310623 -o /tmp/evaluation-result-4391699-1568310623/solver-4391699-1568310623 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568305966-12715 --watchdog 2560 nacre_mini_release HOME/instance-4391699-1568310623.xml -complete -l100 -cm
running on 4 cores: 0,2,4,6
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
solver pid=13550, runsolver pid=13547
Current StackSize limit: 8192 KiB
[startup+0.1002 s]*
/proc/loadavg: 2.16 2.05 2.05 3/199 13551
/proc/meminfo: memFree=20027224/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=31212 memory=7252 CPUtime=0.1 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 2353 0 0 0 10 0 0 0 20 0 1 0 407002509 31961088 1813 33554432000 4194304 4935366 140725037953216 140725037950216 4529619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 7803 1813 558 181 0 1420 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31212 KiB
Current children cumulated memory: 7252 KiB
[startup+0.209804 s]*
/proc/loadavg: 2.16 2.05 2.05 3/199 13551
/proc/meminfo: memFree=20008068/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=49972 memory=26304 CPUtime=0.21 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 7439 0 0 0 20 1 0 0 20 0 1 0 407002509 51171328 6576 33554432000 4194304 4935366 140725037953216 140725037948504 139779361856485 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 12493 6576 571 181 0 6110 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49972 KiB
Current children cumulated memory: 26304 KiB
[startup+0.309876 s]*
/proc/loadavg: 2.16 2.05 2.05 3/199 13551
/proc/meminfo: memFree=19994168/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=69960 memory=46104 CPUtime=0.31 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 12375 0 0 0 30 1 0 0 20 0 1 0 407002509 71639040 11526 33554432000 4194304 4935366 140725037953216 140725037948504 4398853 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 17490 11526 571 181 0 11107 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 69960 KiB
Current children cumulated memory: 46104 KiB
[startup+0.70033 s]
/proc/loadavg: 2.16 2.05 2.05 3/199 13551
/proc/meminfo: memFree=19963416/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=121052 memory=96528 CPUtime=0.69 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 25035 0 0 0 67 2 0 0 20 0 1 0 407002509 123957248 24132 33554432000 4194304 4935366 140725037953216 140725037947816 4271828 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 30263 24132 571 181 0 23880 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 121052 KiB
Current children cumulated memory: 96528 KiB
[startup+1.50033 s]
/proc/loadavg: 2.16 2.05 2.05 3/199 13551
/proc/meminfo: memFree=19901188/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=229624 memory=204240 CPUtime=1.49 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 51939 0 0 0 143 6 0 0 20 0 1 0 407002509 235134976 51060 33554432000 4194304 4935366 140725037953216 140725037947816 4272585 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 57406 51060 571 181 0 51023 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 229624 KiB
Current children cumulated memory: 204240 KiB
[startup+3.10969 s]
/proc/loadavg: 2.16 2.05 2.05 3/199 13551
/proc/meminfo: memFree=19624916/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=453152 memory=425952 CPUtime=3.1 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 110568 0 0 0 298 12 0 0 20 0 1 0 407002509 464027648 106488 33554432000 4194304 4935366 140725037953216 140725037947816 4271778 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 113288 106488 571 181 0 106905 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 453152 KiB
Current children cumulated memory: 425952 KiB
[startup+6.30034 s]
/proc/loadavg: 2.14 2.04 2.05 3/199 13551
/proc/meminfo: memFree=19216740/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=861464 CPUtime=6.28 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 225422 0 0 0 605 23 0 0 20 0 1 0 407002509 913702912 215366 33554432000 4194304 4935366 140725037953216 140725037947816 139779368028320 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 215366 589 181 0 216689 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 861464 KiB
[startup+12.7004 s]
/proc/loadavg: 2.13 2.04 2.05 3/200 13554
/proc/meminfo: memFree=19172720/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=861468 CPUtime=12.69 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 434687 0 0 0 1238 31 0 0 20 0 1 0 407002509 913702912 215367 33554432000 4194304 4935366 140725037953216 140725037951736 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 215367 590 181 0 216689 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 861468 KiB
[startup+25.5005 s]
/proc/loadavg: 2.10 2.04 2.05 3/200 13562
/proc/meminfo: memFree=19172056/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=861612 CPUtime=25.49 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 643644 0 0 0 2508 41 0 0 20 0 1 0 407002509 913702912 215403 33554432000 4194304 4935366 140725037953216 140725037951464 139779362719763 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 215403 598 181 0 216689 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 861612 KiB
[startup+51.1099 s]
/proc/loadavg: 2.07 2.04 2.05 3/200 13562
/proc/meminfo: memFree=19171532/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=862064 CPUtime=51.09 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 891354 0 0 0 5058 51 0 0 20 0 1 0 407002509 913702912 215516 33554432000 4194304 4935366 140725037953216 140725037951464 139779361854269 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 215516 598 181 0 216689 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 862064 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/201 13568
/proc/meminfo: memFree=19169308/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=862796 CPUtime=102.27 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 1068645 0 0 0 10168 59 0 0 20 0 1 0 407002509 913702912 215699 33554432000 4194304 4935366 140725037953216 140725037951464 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 215699 598 181 0 216689 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 862796 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 13572
/proc/meminfo: memFree=19168132/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=863640 CPUtime=162.27 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 1257777 0 0 0 16159 68 0 0 20 0 1 0 407002509 913702912 215910 33554432000 4194304 4935366 140725037953216 140725037951464 139779362719763 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 215910 598 181 0 216689 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 863640 KiB
[startup+222.3 s]
/proc/loadavg: 1.88 1.99 2.03 3/200 13701
/proc/meminfo: memFree=18308160/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=864540 CPUtime=222.25 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 1389961 0 0 0 22150 75 0 0 20 0 1 0 407002509 913702912 216135 33554432000 4194304 4935366 140725037953216 140725037951464 139779361854031 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 216135 598 181 0 216689 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 864540 KiB
[startup+282.3 s]
/proc/loadavg: 1.96 1.99 2.03 3/201 13707
/proc/meminfo: memFree=18307352/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=865384 CPUtime=282.24 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 1505436 0 0 0 28144 80 0 0 20 0 1 0 407002509 913702912 216346 33554432000 4194304 4935366 140725037953216 140725037951464 139779361865584 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 216346 598 181 0 216689 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 865384 KiB
[startup+342.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/199 13712
/proc/meminfo: memFree=18306668/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=866284 CPUtime=342.24 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 1597916 0 0 0 34138 86 0 0 20 0 1 0 407002509 913702912 216571 33554432000 4194304 4935366 140725037953216 140725037951464 139779362719763 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 216571 598 181 0 216689 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 866284 KiB
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/199 13716
/proc/meminfo: memFree=18305620/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=867128 CPUtime=402.23 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 1665764 0 0 0 40134 89 0 0 20 0 1 0 407002509 913702912 216782 33554432000 4194304 4935366 140725037953216 140725037951464 139779362719763 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 216782 598 181 0 216689 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 867128 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 13722
/proc/meminfo: memFree=18304524/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=867972 CPUtime=462.23 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 1712442 0 0 0 46132 91 0 0 20 0 1 0 407002509 913702912 216993 33554432000 4194304 4935366 140725037953216 140725037951464 139779362719763 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 216993 598 181 0 216689 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 867972 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 13727
/proc/meminfo: memFree=18303656/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=868872 CPUtime=522.23 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 1731708 0 0 0 52131 92 0 0 20 0 1 0 407002509 913702912 217218 33554432000 4194304 4935366 140725037953216 140725037951464 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 217218 598 181 0 216689 0
Current children cumulated CPU time: 522.23 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 868872 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 13731
/proc/meminfo: memFree=18303364/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=868928 CPUtime=582.23 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 1732606 0 0 0 58131 92 0 0 20 0 1 0 407002509 913702912 217232 33554432000 4194304 4935366 140725037953216 140725037951464 139779362721671 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 217232 598 181 0 216689 0
Current children cumulated CPU time: 582.23 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 868928 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 13745
/proc/meminfo: memFree=18302232/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=868928 CPUtime=642.23 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 1733496 0 0 0 64131 92 0 0 20 0 1 0 407002509 913702912 217232 33554432000 4194304 4935366 140725037953216 140725037951464 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 217232 598 181 0 216689 0
Current children cumulated CPU time: 642.23 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 868928 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 13771
/proc/meminfo: memFree=18301140/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=868928 CPUtime=702.23 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 1734402 0 0 0 70131 92 0 0 20 0 1 0 407002509 913702912 217232 33554432000 4194304 4935366 140725037953216 140725037951464 4400757 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 217232 598 181 0 216689 0
Current children cumulated CPU time: 702.23 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 868928 KiB
[startup+756.437 s]
# the end of solver process 13550 was just reported to runsolver
# cumulated CPU time of all completed processes: user=755.45 s, system=0.932003 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+716.8 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 13771
/proc/meminfo: memFree=18300732/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=868928 CPUtime=716.73 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 1734402 0 0 0 71581 92 0 0 20 0 1 0 407002509 913702912 217232 33554432000 4194304 4935366 140725037953216 140725037951464 4400831 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 217232 598 181 0 216689 0
Current children cumulated CPU time: 716.73 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 868928 KiB
[startup+742.4 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 13775
/proc/meminfo: memFree=18300248/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=868928 CPUtime=742.33 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 1735028 0 0 0 74141 92 0 0 20 0 1 0 407002509 913702912 217232 33554432000 4194304 4935366 140725037953216 140725037951464 4400247 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 217232 598 181 0 216689 0
Current children cumulated CPU time: 742.33 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 868928 KiB
[startup+748.8 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 13775
/proc/meminfo: memFree=18300264/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=868928 CPUtime=748.73 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 1735172 0 0 0 74781 92 0 0 20 0 1 0 407002509 913702912 217232 33554432000 4194304 4935366 140725037953216 140725037951464 139779361849015 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 217232 598 181 0 216689 0
Current children cumulated CPU time: 748.73 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 868928 KiB
[startup+752 s]*
/proc/loadavg: 2.00 1.99 2.03 3/200 13775
/proc/meminfo: memFree=18300256/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=868928 CPUtime=751.94 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 1735172 0 0 0 75102 92 0 0 20 0 1 0 407002509 913702912 217232 33554432000 4194304 4935366 140725037953216 140725037951464 4399842 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 217232 598 181 0 216689 0
Current children cumulated CPU time: 751.94 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 868928 KiB
[startup+753.6 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 13775
/proc/meminfo: memFree=18300264/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=868928 CPUtime=753.53 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 1735172 0 0 0 75261 92 0 0 20 0 1 0 407002509 913702912 217232 33554432000 4194304 4935366 140725037953216 140725037951464 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 217232 598 181 0 216689 0
Current children cumulated CPU time: 753.53 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 868928 KiB
[startup+755.2 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 13775
/proc/meminfo: memFree=18300544/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=868928 CPUtime=755.13 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 1735172 0 0 0 75421 92 0 0 20 0 1 0 407002509 913702912 217232 33554432000 4194304 4935366 140725037953216 140725037951464 139779361848973 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 217232 598 181 0 216689 0
Current children cumulated CPU time: 755.13 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 868928 KiB
[startup+756 s]*
/proc/loadavg: 2.00 1.99 2.03 3/200 13775
/proc/meminfo: memFree=18300544/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=868928 CPUtime=755.94 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 1735172 0 0 0 75502 92 0 0 20 0 1 0 407002509 913702912 217232 33554432000 4194304 4935366 140725037953216 140725037951464 139779361848973 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 217232 598 181 0 216689 0
Current children cumulated CPU time: 755.94 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 868928 KiB
[startup+756.4 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 13775
/proc/meminfo: memFree=18300544/32770624 swapFree=66959212/67108860
[pid=13550] ppid=13547 vsize=892288 memory=868928 CPUtime=756.33 cores=0,2,4,6
/proc/13550/stat : 13550 (nacre_mini_rele) R 13547 13550 11693 0 -1 4202496 1735172 0 0 0 75541 92 0 0 20 0 1 0 407002509 913702912 217232 33554432000 4194304 4935366 140725037953216 140725037951464 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 7634944 140725037962235 140725037962341 140725037962341 140725037965250 0
/proc/13550/statm: 223072 217232 598 181 0 216689 0
Current children cumulated CPU time: 756.33 s
Current children cumulated vsize: 892288 KiB
Current children cumulated memory: 868928 KiB
Child status: 20
Real time (s): 756.437
CPU time (s): 756.382
CPU user time (s): 755.45
CPU system time (s): 0.932003
CPU usage (%): 99.9928
Max. virtual memory (cumulated for all children) (KiB): 892288
Max. memory (cumulated for all children) (KiB): 868928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 755.45
system time used= 0.932003
maximum resident set size= 868992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1735559
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= 77
involuntary context switches= 1740
# summary of solver processes directly reported to runsolver:
# pid: 13550
# total CPU time (s): 756.382
# total CPU user time (s): 755.45
# total CPU system time (s): 0.932003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.11353 second user time and 5.62149 second system time
The end