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-4261412-1502353083/watcher-4261412-1502353083 -o /tmp/evaluation-result-4261412-1502353083/solver-4261412-1502353083 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502331912-20756 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1613309459 HOME/instance-4261412-1502353083.xml 

pid=24261
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 2.04 2.01 2.05 3/185 24264
/proc/meminfo: memFree=24529348/32770624 swapFree=0/540756
[pid=24264] ppid=24261 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/24264/stat : 24264 (runsolver) D 24261 24264 31388 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 82814543 24240128 107 18446744073709551615 4194304 4338465 140727833261232 140727833258872 139986046948055 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 15761408 140727833264266 140727833264713 140727833264713 140727833268170 0
/proc/24264/statm: 5918 107 54 36 0 2156 0

[startup+0.100139 s]
/proc/loadavg: 2.04 2.01 2.05 3/185 24264
/proc/meminfo: memFree=24529348/32770624 swapFree=0/540756
[pid=24264] ppid=24261 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/24264/stat : 24264 (runsolver) D 24261 24264 31388 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 82814543 24240128 107 18446744073709551615 4194304 4338465 140727833261232 140727833258872 139986046948055 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 15761408 140727833264266 140727833264713 140727833264713 140727833268170 0
/proc/24264/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200534 s]
/proc/loadavg: 2.04 2.01 2.05 3/185 24264
/proc/meminfo: memFree=24529348/32770624 swapFree=0/540756
[pid=24264] ppid=24261 vsize=37616 CPUtime=0.03 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 3366 0 0 0 3 0 0 0 20 0 1 0 82814543 38518784 3069 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4565887 0 0 1 0 0 0 0 17 7 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 9404 3069 710 782 0 2420 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 37616

[startup+0.30054 s]
/proc/loadavg: 2.04 2.01 2.05 3/185 24264
/proc/meminfo: memFree=24529348/32770624 swapFree=0/540756
[pid=24264] ppid=24261 vsize=47076 CPUtime=0.13 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 5944 0 0 0 13 0 0 0 20 0 1 0 82814543 48205824 5399 18446744073709551615 4194304 7396336 140727048051584 140727048042552 4252489 0 0 1 0 0 0 0 17 7 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 11769 5399 710 782 0 4785 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 47076

[startup+0.700291 s]
/proc/loadavg: 2.04 2.01 2.05 3/185 24264
/proc/meminfo: memFree=24529348/32770624 swapFree=0/540756
[pid=24264] ppid=24261 vsize=72092 CPUtime=0.53 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 11445 0 0 0 52 1 0 0 20 0 1 0 82814543 73822208 11672 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4565872 0 0 1 0 0 0 0 17 1 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 18023 11672 710 782 0 11039 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 72092

[startup+1.50023 s]
/proc/loadavg: 1.95 2.00 2.04 3/186 24265
/proc/meminfo: memFree=24477384/32770624 swapFree=0/540776
[pid=24264] ppid=24261 vsize=89048 CPUtime=1.34 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 15830 0 0 0 132 2 0 0 20 0 1 0 82814543 91185152 15914 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4565884 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 22262 15914 710 782 0 15278 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 89048

[startup+3.10023 s]
/proc/loadavg: 1.95 2.00 2.04 3/186 24265
/proc/meminfo: memFree=24456244/32770624 swapFree=0/540960
[pid=24264] ppid=24261 vsize=111548 CPUtime=2.94 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 23394 0 0 0 291 3 0 0 20 0 1 0 82814543 114225152 21568 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4566039 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 27887 21568 710 782 0 20903 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 111548

[startup+6.30023 s]
/proc/loadavg: 1.96 2.00 2.04 3/186 24265
/proc/meminfo: memFree=24384700/32770624 swapFree=0/540744
[pid=24264] ppid=24261 vsize=162932 CPUtime=6.14 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 49872 0 0 0 608 6 0 0 20 0 1 0 82814543 166842368 34411 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4567466 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 40733 34411 712 782 0 33749 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 162932

[startup+12.7002 s]
/proc/loadavg: 1.96 2.00 2.04 3/186 24265
/proc/meminfo: memFree=24332104/32770624 swapFree=0/540740
[pid=24264] ppid=24261 vsize=211860 CPUtime=12.53 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 65214 0 0 0 1246 7 0 0 20 0 1 0 82814543 216944640 46653 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4566048 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 52965 46653 712 782 0 45981 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 211860

[startup+25.5003 s]
/proc/loadavg: 1.97 2.00 2.04 3/186 24265
/proc/meminfo: memFree=24249068/32770624 swapFree=0/540740
[pid=24264] ppid=24261 vsize=274732 CPUtime=25.34 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 86334 0 0 0 2524 10 0 0 20 0 1 0 82814543 281325568 62372 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4566039 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 68683 62372 712 782 0 61699 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 274732

[startup+51.1003 s]
/proc/loadavg: 1.98 2.00 2.04 3/186 24266
/proc/meminfo: memFree=24072336/32770624 swapFree=0/540736
[pid=24264] ppid=24261 vsize=419392 CPUtime=50.94 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 156609 0 0 0 5078 16 0 0 20 0 1 0 82814543 429457408 98524 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4566039 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 104848 98524 712 782 0 97864 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 419392

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/186 24268
/proc/meminfo: memFree=23885388/32770624 swapFree=0/540756
[pid=24264] ppid=24261 vsize=561076 CPUtime=102.14 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 191541 0 0 0 10192 22 0 0 20 0 1 0 82814543 574541824 133896 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4566039 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 140269 133896 712 782 0 133285 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 561076

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 24270
/proc/meminfo: memFree=23713988/32770624 swapFree=0/540748
[pid=24264] ppid=24261 vsize=672852 CPUtime=162.14 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 223614 0 0 0 16189 25 0 0 20 0 1 0 82814543 689000448 161848 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4566032 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 168213 161848 712 782 0 161229 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 672852

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 24272
/proc/meminfo: memFree=23540928/32770624 swapFree=0/540756
[pid=24264] ppid=24261 vsize=748536 CPUtime=222.14 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 247252 0 0 0 22186 28 0 0 20 0 1 0 82814543 766500864 180816 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4566039 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 187134 180816 712 782 0 180150 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 748536

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 24274
/proc/meminfo: memFree=23076964/32770624 swapFree=0/540760
[pid=24264] ppid=24261 vsize=1183340 CPUtime=282.13 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 413885 0 0 0 28169 44 0 0 20 0 1 0 82814543 1211740160 289523 18446744073709551615 4194304 7396336 140727048051584 140727048042936 5647818 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 295835 289523 712 782 0 288851 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 1183340

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 24276
/proc/meminfo: memFree=23067320/32770624 swapFree=0/540768
[pid=24264] ppid=24261 vsize=1183340 CPUtime=342.13 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 419316 0 0 0 34169 44 0 0 20 0 1 0 82814543 1211740160 289523 18446744073709551615 4194304 7396336 140727048051584 140727048044824 4566032 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 295835 289523 712 782 0 288851 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 1183340

[startup+402.3 s]
/proc/loadavg: 2.06 2.01 2.05 3/188 24293
/proc/meminfo: memFree=22989360/32770624 swapFree=0/540792
[pid=24264] ppid=24261 vsize=1183340 CPUtime=402.14 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 444202 0 0 0 40166 48 0 0 20 0 1 0 82814543 1211740160 289523 18446744073709551615 4194304 7396336 140727048051584 140727048044824 4565884 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 295835 289523 712 782 0 288851 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 1183340

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/187 24297
/proc/meminfo: memFree=22925668/32770624 swapFree=0/540788
[pid=24264] ppid=24261 vsize=1192104 CPUtime=462.14 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 467620 0 0 0 46164 50 0 0 20 0 1 0 82814543 1220714496 291685 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4566032 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 298026 291685 712 782 0 291042 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 1192104

[startup+522.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 24299
/proc/meminfo: memFree=22841736/32770624 swapFree=0/540788
[pid=24264] ppid=24261 vsize=1240584 CPUtime=522.14 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 480710 0 0 0 52162 52 0 0 20 0 1 0 82814543 1270358016 303827 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4566048 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 310146 303827 712 782 0 303162 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1240584

[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 24301
/proc/meminfo: memFree=22762508/32770624 swapFree=0/540820
[pid=24264] ppid=24261 vsize=1283568 CPUtime=582.14 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 494172 0 0 0 58160 54 0 0 20 0 1 0 82814543 1314373632 314572 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4566048 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 320892 314572 712 782 0 313908 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1283568

[startup+642.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 24303
/proc/meminfo: memFree=22673244/32770624 swapFree=0/540852
[pid=24264] ppid=24261 vsize=1321472 CPUtime=642.14 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 506643 0 0 0 64158 56 0 0 20 0 1 0 82814543 1353187328 324048 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4566032 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 330368 324048 712 782 0 323384 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 1321472

[startup+702.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/186 24305
/proc/meminfo: memFree=22530372/32770624 swapFree=0/540860
[pid=24264] ppid=24261 vsize=1426608 CPUtime=702.14 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 520811 0 0 0 70155 59 0 0 20 0 1 0 82814543 1460846592 350340 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4565872 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 356652 350340 712 782 0 349668 0
Current children cumulated CPU time (s) 702.14
Current children cumulated vsize (KiB) 1426608

[startup+762.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/184 24307
/proc/meminfo: memFree=22487924/32770624 swapFree=0/540868
[pid=24264] ppid=24261 vsize=1455608 CPUtime=762.14 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 526418 0 0 0 76154 60 0 0 20 0 1 0 82814543 1490542592 357593 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4565876 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 363902 357593 712 782 0 356918 0
Current children cumulated CPU time (s) 762.14
Current children cumulated vsize (KiB) 1455608

[startup+822.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/184 24309
/proc/meminfo: memFree=22444724/32770624 swapFree=0/540876
[pid=24264] ppid=24261 vsize=1490072 CPUtime=822.14 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 534920 0 0 0 82152 62 0 0 20 0 1 0 82814543 1525833728 366224 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4566048 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 372518 366224 712 782 0 365534 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 1490072

[startup+882.306 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 24311
/proc/meminfo: memFree=22407112/32770624 swapFree=0/540888
[pid=24264] ppid=24261 vsize=1528076 CPUtime=882.14 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 544053 0 0 0 88151 63 0 0 20 0 1 0 82814543 1564749824 375700 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4566048 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 382019 375700 712 782 0 375035 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 1528076

[startup+942.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/185 24314
/proc/meminfo: memFree=22342756/32770624 swapFree=0/540892
[pid=24264] ppid=24261 vsize=1562016 CPUtime=942.13 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 553378 0 0 0 94149 64 0 0 20 0 1 0 82814543 1599504384 384211 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4565884 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 390504 384211 712 782 0 383520 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 1562016

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

[startup+947.206 s]
/proc/loadavg: 2.13 2.06 2.05 3/185 24314
/proc/meminfo: memFree=22342756/32770624 swapFree=0/540892
[pid=24264] ppid=24261 vsize=1562016 CPUtime=947.04 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 555017 0 0 0 94640 64 0 0 20 0 1 0 82814543 1599504384 384211 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4566039 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 390504 384211 712 782 0 383520 0
Current children cumulated CPU time (s) 947.04
Current children cumulated vsize (KiB) 1562016

[startup+960 s]
/proc/loadavg: 2.11 2.05 2.05 3/188 24328
/proc/meminfo: memFree=22322724/32770624 swapFree=0/540900
[pid=24264] ppid=24261 vsize=1570292 CPUtime=959.83 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 557972 0 0 0 95919 64 0 0 20 0 1 0 82814543 1607979008 386262 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4566039 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 392573 386262 712 782 0 385589 0
Current children cumulated CPU time (s) 959.83
Current children cumulated vsize (KiB) 1570292

[startup+972.8 s]
/proc/loadavg: 2.09 2.05 2.05 3/189 24330
/proc/meminfo: memFree=22265740/32770624 swapFree=0/540916
[pid=24264] ppid=24261 vsize=1620940 CPUtime=972.64 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 562972 0 0 0 97198 66 0 0 20 0 1 0 82814543 1659842560 398925 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4566036 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 405235 398925 712 782 0 398251 0
Current children cumulated CPU time (s) 972.64
Current children cumulated vsize (KiB) 1620940

[startup+976 s]
/proc/loadavg: 2.08 2.05 2.05 3/189 24330
/proc/meminfo: memFree=22265864/32770624 swapFree=0/540908
[pid=24264] ppid=24261 vsize=1620940 CPUtime=975.84 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 562995 0 0 0 97518 66 0 0 20 0 1 0 82814543 1659842560 398925 18446744073709551615 4194304 7396336 140727048051584 140727048042248 4566039 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 405235 398925 712 782 0 398251 0
Current children cumulated CPU time (s) 975.84
Current children cumulated vsize (KiB) 1620940

[startup+977.6 s]
/proc/loadavg: 2.08 2.05 2.05 3/189 24330
/proc/meminfo: memFree=22147964/32770624 swapFree=0/540908
[pid=24264] ppid=24261 vsize=1772056 CPUtime=977.43 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 819894 0 0 0 97665 78 0 0 20 0 1 0 82814543 1814585344 436736 18446744073709551615 4194304 7396336 140727048051584 140727048046936 4581734 0 0 1 16386 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 443014 436736 746 782 0 436030 0
Current children cumulated CPU time (s) 977.43
Current children cumulated vsize (KiB) 1772056

[startup+978.4 s]
/proc/loadavg: 2.08 2.05 2.05 3/189 24330
/proc/meminfo: memFree=22109800/32770624 swapFree=0/540908
[pid=24264] ppid=24261 vsize=1788644 CPUtime=978.24 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 840164 0 0 0 97744 80 0 0 20 0 1 0 82814543 1831571456 440892 18446744073709551615 4194304 7396336 140727048051584 140727048046152 4249476 0 0 1 16386 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 447161 440892 755 782 0 440177 0
Current children cumulated CPU time (s) 978.24
Current children cumulated vsize (KiB) 1788644

[startup+979.2 s]
/proc/loadavg: 2.08 2.05 2.05 3/189 24330
/proc/meminfo: memFree=22145584/32770624 swapFree=0/540908
[pid=24264] ppid=24261 vsize=1740244 CPUtime=979.04 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 847987 0 0 0 97824 80 0 0 20 0 1 0 82814543 1782009856 428803 18446744073709551615 4194304 7396336 140727048051584 140727048046152 140139122307980 0 0 1 16386 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 435061 428803 766 782 0 428077 0
Current children cumulated CPU time (s) 979.04
Current children cumulated vsize (KiB) 1740244

[startup+979.6 s]
/proc/loadavg: 2.08 2.05 2.05 3/189 24330
/proc/meminfo: memFree=22145584/32770624 swapFree=0/540908
[pid=24264] ppid=24261 vsize=1579324 CPUtime=979.43 cores=1,3,5,7
/proc/24264/stat : 24264 (MistralXCSP) R 24261 24264 31388 0 -1 4202496 852905 0 0 0 97863 80 0 0 20 0 1 0 82814543 1617227776 388574 18446744073709551615 4194304 7396336 140727048051584 140727048046952 4916161 0 0 1 16386 0 0 0 17 3 0 0 15 0 0 9496464 9501696 38514688 140727048053170 140727048053320 140727048053320 140727048056777 0
/proc/24264/statm: 394831 388574 767 782 0 387847 0
Current children cumulated CPU time (s) 979.43
Current children cumulated vsize (KiB) 1579324

Child status: 0
Real time (s): 979.678
CPU time (s): 979.524
CPU user time (s): 978.65
CPU system time (s): 0.873999
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 1788644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 978.65
system time used= 0.873999
maximum resident set size= 1763576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 853966
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= 6
involuntary context switches= 913

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.45413 second user time and 4.01595 second system time

The end