runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240603-1500625929/watcher-4240603-1500625929 -o /tmp/evaluation-result-4240603-1500625929/solver-4240603-1500625929 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500623787-3572 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1674573084 HOME/instance-4240603-1500625929.xml 

pid=6855
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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.95 2.01 1.81 3/186 6858
/proc/meminfo: memFree=30804964/32770624 swapFree=6376/1111556
[pid=6858] ppid=6855 vsize=28800 CPUtime=0 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 955 0 0 0 0 0 0 0 20 0 1 0 15870195 29491200 764 33554432000 4194304 7402444 140729977706208 140729977705400 139808263732197 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 7200 764 593 784 0 214 0

[startup+0.10017 s]
/proc/loadavg: 1.95 2.01 1.81 3/186 6858
/proc/meminfo: memFree=30804964/32770624 swapFree=6376/1111556
[pid=6858] ppid=6855 vsize=41420 CPUtime=0.09 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 4430 0 0 0 9 0 0 0 20 0 1 0 15870195 42414080 4049 33554432000 4194304 7402444 140729977706208 140729977697128 4731632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 10355 4049 711 784 0 3369 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41420

[startup+0.200414 s]
/proc/loadavg: 1.95 2.01 1.81 3/186 6858
/proc/meminfo: memFree=30804964/32770624 swapFree=6376/1111556
[pid=6858] ppid=6855 vsize=46952 CPUtime=0.19 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 5931 0 0 0 19 0 0 0 20 0 1 0 15870195 48078848 5400 33554432000 4194304 7402444 140729977706208 140729977696872 4731639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 11738 5400 711 784 0 4752 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 46952

[startup+0.300358 s]
/proc/loadavg: 1.95 2.01 1.81 3/186 6858
/proc/meminfo: memFree=30804964/32770624 swapFree=6376/1111556
[pid=6858] ppid=6855 vsize=52452 CPUtime=0.29 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 7344 0 0 0 29 0 0 0 20 0 1 0 15870195 53710848 6750 33554432000 4194304 7402444 140729977706208 140729977696872 4731480 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 13113 6750 711 784 0 6127 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52452

[startup+0.70029 s]
/proc/loadavg: 1.95 2.01 1.81 3/186 6858
/proc/meminfo: memFree=30804964/32770624 swapFree=6376/1111556
[pid=6858] ppid=6855 vsize=72100 CPUtime=0.69 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 11970 0 0 0 67 2 0 0 20 0 1 0 15870195 73830400 11673 33554432000 4194304 7402444 140729977706208 140729977696856 4731639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 18025 11673 711 784 0 11039 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 72100

[startup+1.50024 s]
/proc/loadavg: 1.95 2.01 1.81 3/187 6859
/proc/meminfo: memFree=30749828/32770624 swapFree=6376/1111556
[pid=6858] ppid=6855 vsize=90432 CPUtime=1.48 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 16699 0 0 0 146 2 0 0 20 0 1 0 15870195 92602368 16245 33554432000 4194304 7402444 140729977706208 140729977696872 4731639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 22608 16245 711 784 0 15622 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 90432

[startup+3.10022 s]
/proc/loadavg: 1.95 2.01 1.81 3/187 6859
/proc/meminfo: memFree=30729896/32770624 swapFree=6376/1111548
[pid=6858] ppid=6855 vsize=112556 CPUtime=3.09 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 24109 0 0 0 306 3 0 0 20 0 1 0 15870195 115257344 21825 33554432000 4194304 7402444 140729977706208 140729977696872 4731648 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 28139 21825 711 784 0 21153 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 112556

[startup+6.30022 s]
/proc/loadavg: 1.95 2.01 1.81 3/187 6859
/proc/meminfo: memFree=30674512/32770624 swapFree=6376/1111548
[pid=6858] ppid=6855 vsize=163616 CPUtime=6.29 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 48763 0 0 0 623 6 0 0 20 0 1 0 15870195 167542784 34543 33554432000 4194304 7402444 140729977706208 140729977696872 4731639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 40904 34543 713 784 0 33918 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 163616

[startup+12.7002 s]
/proc/loadavg: 1.96 2.01 1.81 3/187 6859
/proc/meminfo: memFree=30621584/32770624 swapFree=6376/1111556
[pid=6858] ppid=6855 vsize=212840 CPUtime=12.68 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 63777 0 0 0 1261 7 0 0 20 0 1 0 15870195 217948160 46842 33554432000 4194304 7402444 140729977706208 140729977696872 4731639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 53210 46842 713 784 0 46224 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 212840

[startup+25.5003 s]
/proc/loadavg: 1.97 2.01 1.81 3/187 6859
/proc/meminfo: memFree=30556184/32770624 swapFree=6376/1111564
[pid=6858] ppid=6855 vsize=276748 CPUtime=25.48 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 84101 0 0 0 2538 10 0 0 20 0 1 0 15870195 283389952 62821 33554432000 4194304 7402444 140729977706208 140729977696872 4731639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 69187 62821 713 784 0 62201 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 276748

[startup+51.1003 s]
/proc/loadavg: 2.05 2.02 1.82 3/187 6859
/proc/meminfo: memFree=30412072/32770624 swapFree=6376/1111588
[pid=6858] ppid=6855 vsize=420564 CPUtime=51.07 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 143596 0 0 0 5091 16 0 0 20 0 1 0 15870195 430657536 98780 33554432000 4194304 7402444 140729977706208 140729977696872 4731632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 105141 98780 713 784 0 98155 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 420564

[startup+102.3 s]
/proc/loadavg: 2.02 2.02 1.83 3/187 6860
/proc/meminfo: memFree=30266572/32770624 swapFree=6376/1111624
[pid=6858] ppid=6855 vsize=565048 CPUtime=102.26 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 176443 0 0 0 10205 21 0 0 20 0 1 0 15870195 578609152 134917 33554432000 4194304 7402444 140729977706208 140729977696872 4731639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 141262 134917 713 784 0 134276 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 565048

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.84 3/187 6861
/proc/meminfo: memFree=30152532/32770624 swapFree=6376/1111640
[pid=6858] ppid=6855 vsize=677836 CPUtime=162.25 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 207190 0 0 0 16200 25 0 0 20 0 1 0 15870195 694104064 163121 33554432000 4194304 7402444 140729977706208 140729977696872 4731639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 169459 163121 713 784 0 162473 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 677836

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 1.85 3/187 6862
/proc/meminfo: memFree=30075896/32770624 swapFree=6376/1111660
[pid=6858] ppid=6855 vsize=754896 CPUtime=222.24 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 230391 0 0 0 22197 27 0 0 20 0 1 0 15870195 773013504 182413 33554432000 4194304 7402444 140729977706208 140729977696872 4340348 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 188724 182413 713 784 0 181738 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 754896

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/187 6863
/proc/meminfo: memFree=29645572/32770624 swapFree=6376/1111684
[pid=6858] ppid=6855 vsize=1183348 CPUtime=282.21 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 328766 0 0 0 28182 39 0 0 20 0 1 0 15870195 1211748352 289524 33554432000 4194304 7402444 140729977706208 140729977697560 4731648 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 295837 289524 713 784 0 288851 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1183348

[startup+342.3 s]
/proc/loadavg: 2.04 2.03 1.88 3/187 6864
/proc/meminfo: memFree=29645640/32770624 swapFree=6376/1111704
[pid=6858] ppid=6855 vsize=1183348 CPUtime=342.2 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 330980 0 0 0 34181 39 0 0 20 0 1 0 15870195 1211748352 289524 33554432000 4194304 7402444 140729977706208 140729977699448 4731648 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 295837 289524 713 784 0 288851 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1183348

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 1.88 3/187 6865
/proc/meminfo: memFree=29645492/32770624 swapFree=6376/1111732
[pid=6858] ppid=6855 vsize=1183348 CPUtime=402.17 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 332106 0 0 0 40178 39 0 0 20 0 1 0 15870195 1211748352 289524 33554432000 4194304 7402444 140729977706208 140729977699448 4731653 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 295837 289524 713 784 0 288851 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1183348

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 1.89 3/187 6866
/proc/meminfo: memFree=29621444/32770624 swapFree=6376/1111752
[pid=6858] ppid=6855 vsize=1208268 CPUtime=462.14 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 343287 0 0 0 46174 40 0 0 20 0 1 0 15870195 1237266432 295715 33554432000 4194304 7402444 140729977706208 140729977696872 4731639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 302067 295715 713 784 0 295081 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 1208268

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/188 6875
/proc/meminfo: memFree=29576044/32770624 swapFree=6376/1111780
[pid=6858] ppid=6855 vsize=1253096 CPUtime=522.12 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 355165 0 0 0 52171 41 0 0 20 0 1 0 15870195 1283170304 306937 33554432000 4194304 7402444 140729977706208 140729977696872 4731648 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 313274 306937 713 784 0 306288 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 1253096

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/188 6876
/proc/meminfo: memFree=29531684/32770624 swapFree=6376/1111800
[pid=6858] ppid=6855 vsize=1297328 CPUtime=582.09 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 367028 0 0 0 58166 43 0 0 20 0 1 0 15870195 1328463872 317999 33554432000 4194304 7402444 140729977706208 140729977696872 4731639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 324332 317999 713 784 0 317346 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 1297328

[startup+642.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/188 6877
/proc/meminfo: memFree=29491756/32770624 swapFree=6376/1111828
[pid=6858] ppid=6855 vsize=1339836 CPUtime=642.05 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 375001 0 0 0 64161 44 0 0 20 0 1 0 15870195 1371992064 328638 33554432000 4194304 7402444 140729977706208 140729977696872 4731639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 334959 328638 713 784 0 327973 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 1339836

[startup+702.3 s]
/proc/loadavg: 2.05 2.03 1.92 3/183 6990
/proc/meminfo: memFree=29416948/32770624 swapFree=6376/1115812
[pid=6858] ppid=6855 vsize=1436820 CPUtime=702.02 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 384023 0 0 0 70156 46 0 0 20 0 1 0 15870195 1471303680 352907 33554432000 4194304 7402444 140729977706208 140729977696872 4731639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 359205 352907 713 784 0 352219 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 1436820

[startup+762.3 s]
/proc/loadavg: 2.02 2.02 1.92 3/188 7122
/proc/meminfo: memFree=29310208/32770624 swapFree=6376/1112060
[pid=6858] ppid=6855 vsize=1475088 CPUtime=761.99 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 390222 0 0 0 76152 47 0 0 20 0 1 0 15870195 1510490112 362410 33554432000 4194304 7402444 140729977706208 140729977696872 4731639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 368772 362410 713 784 0 361786 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 1475088

[startup+822.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/187 7123
/proc/meminfo: memFree=29159428/32770624 swapFree=6376/1112096
[pid=6858] ppid=6855 vsize=1512076 CPUtime=821.94 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 400055 0 0 0 82147 47 0 0 20 0 1 0 15870195 1548365824 371659 33554432000 4194304 7402444 140729977706208 140729977696872 4731639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 378019 371659 713 784 0 371033 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 1512076

[startup+882.306 s]
/proc/loadavg: 2.00 2.01 1.93 3/187 7124
/proc/meminfo: memFree=29129172/32770624 swapFree=6376/1112124
[pid=6858] ppid=6855 vsize=1541364 CPUtime=881.92 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 408865 0 0 0 88144 48 0 0 20 0 1 0 15870195 1578356736 379019 33554432000 4194304 7402444 140729977706208 140729977696872 4731639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 385341 379019 713 784 0 378355 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 1541364

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/187 7125
/proc/meminfo: memFree=29057968/32770624 swapFree=6376/1112152
[pid=6858] ppid=6855 vsize=1613144 CPUtime=941.9 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 419120 0 0 0 94139 51 0 0 20 0 1 0 15870195 1651859456 396919 33554432000 4194304 7402444 140729977706208 140729977696872 4731648 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 403286 396919 713 784 0 396300 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 1613144

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6858 sig 9
??? kill -6858 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+947.206 s]
/proc/loadavg: 2.00 2.01 1.94 3/187 7125
/proc/meminfo: memFree=29050400/32770624 swapFree=6376/1112156
[pid=6858] ppid=6855 vsize=1620948 CPUtime=946.8 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 422401 0 0 0 94629 51 0 0 20 0 1 0 15870195 1659850752 398927 33554432000 4194304 7402444 140729977706208 140729977696872 4731648 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 405237 398927 713 784 0 398251 0
Current children cumulated CPU time (s) 946.8
Current children cumulated vsize (KiB) 1620948

[startup+950.4 s]
/proc/loadavg: 2.00 2.01 1.94 3/187 7125
/proc/meminfo: memFree=29050400/32770624 swapFree=6376/1112164
[pid=6858] ppid=6855 vsize=1620948 CPUtime=949.99 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 422544 0 0 0 94948 51 0 0 20 0 1 0 15870195 1659850752 398927 33554432000 4194304 7402444 140729977706208 140729977696872 4731639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 405237 398927 713 784 0 398251 0
Current children cumulated CPU time (s) 949.99
Current children cumulated vsize (KiB) 1620948

[startup+952 s]
/proc/loadavg: 2.00 2.01 1.94 3/187 7125
/proc/meminfo: memFree=28898744/32770624 swapFree=6376/1112164
[pid=6858] ppid=6855 vsize=1772064 CPUtime=951.59 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 467699 0 0 0 95103 56 0 0 20 0 1 0 15870195 1814593536 436736 33554432000 4194304 7402444 140729977706208 140729977701560 4709390 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 443016 436736 746 784 0 436030 0
Current children cumulated CPU time (s) 951.59
Current children cumulated vsize (KiB) 1772064

[startup+952.8 s]
/proc/loadavg: 2.00 2.01 1.94 3/187 7125
/proc/meminfo: memFree=28882052/32770624 swapFree=6376/1112164
[pid=6858] ppid=6855 vsize=1788652 CPUtime=952.39 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 468656 0 0 0 95183 56 0 0 20 0 1 0 15870195 1831579648 440921 33554432000 4194304 7402444 140729977706208 140729977700680 5753471 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 447163 440921 753 784 0 440177 0
Current children cumulated CPU time (s) 952.39
Current children cumulated vsize (KiB) 1788652

[startup+953.2 s]
/proc/loadavg: 2.00 2.01 1.94 3/187 7125
/proc/meminfo: memFree=28882052/32770624 swapFree=6376/1112164
[pid=6858] ppid=6855 vsize=1740252 CPUtime=952.79 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 468732 0 0 0 95223 56 0 0 20 0 1 0 15870195 1782018048 428833 33554432000 4194304 7402444 140729977706208 140729977701576 4338260 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 435063 428833 765 784 0 428077 0
Current children cumulated CPU time (s) 952.79
Current children cumulated vsize (KiB) 1740252

[startup+953.6 s]
/proc/loadavg: 2.00 2.01 1.94 3/187 7125
/proc/meminfo: memFree=28882052/32770624 swapFree=6376/1112164
[pid=6858] ppid=6855 vsize=1703892 CPUtime=953.19 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 469364 0 0 0 95263 56 0 0 20 0 1 0 15870195 1744785408 419749 33554432000 4194304 7402444 140729977706208 140729977701608 139808263724576 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 425973 419749 771 784 0 418987 0
Current children cumulated CPU time (s) 953.19
Current children cumulated vsize (KiB) 1703892

[startup+953.7 s]
/proc/loadavg: 2.00 2.01 1.94 3/187 7125
/proc/meminfo: memFree=28966196/32770624 swapFree=6376/1112164
[pid=6858] ppid=6855 vsize=1703892 CPUtime=953.29 cores=1,3,5,7
/proc/6858/stat : 6858 (MistralXCSP) R 6855 6858 3540 0 -1 4202496 469364 0 0 0 95273 56 0 0 20 0 1 0 15870195 1744785408 419749 33554432000 4194304 7402444 140729977706208 140729977701608 139808263722887 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 26230784 140729977709736 140729977709886 140729977709886 140729977712585 0
/proc/6858/statm: 425973 419749 771 784 0 418987 0
Current children cumulated CPU time (s) 953.29
Current children cumulated vsize (KiB) 1703892

Child status: 0
Real time (s): 953.759
CPU time (s): 953.355
CPU user time (s): 952.774
CPU system time (s): 0.580772
CPU usage (%): 99.9576
Max. virtual memory (cumulated for all children) (KiB): 1788652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 952.774
system time used= 0.580772
maximum resident set size= 1763712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469850
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= 46
involuntary context switches= 48063

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.36289 second user time and 4.09046 second system time

The end