0.00/0.00 c Starting MiraXTv3...
3486.38/1748.71 s SATISFIABLE
3486.38/1748.71 v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 217 -218 -219 220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 709 -710 -711 -712 -713 -714 -715 -716 -717 -718 719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961 0
runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-460055-1179050543 -o ROOT/results/node19/solver-460055-1179050543 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/460055-1179050543/MiraXTv3_dyn /tmp/evaluation/460055-1179050543/instance-460055-1179050543.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.69 1.91 1.80 3/77 1786
/proc/meminfo: memFree=1593472/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=3788 CPUtime=0
/proc/1786/stat : 1786 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194304 413 0 0 0 0 0 0 0 18 0 1 0 352971693 3878912 388 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/1786/statm: 947 395 202 20 0 305 0
[startup+0.021509 s]
/proc/loadavg: 1.69 1.91 1.80 3/77 1786
/proc/meminfo: memFree=1593472/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=4824 CPUtime=0.01
/proc/1786/stat : 1786 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194304 794 0 0 0 1 0 0 0 18 0 1 0 352971693 4939776 769 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7919227 0 0 4096 0 0 0 0 17 0 0 0
/proc/1786/statm: 1206 770 206 20 0 564 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4824
[startup+0.102517 s]
/proc/loadavg: 1.69 1.91 1.80 3/77 1786
/proc/meminfo: memFree=1593472/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=10492 CPUtime=0.09
/proc/1786/stat : 1786 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194304 2172 0 0 0 8 1 0 0 18 0 1 0 352971693 10743808 2147 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7919227 0 0 4096 0 0 0 0 17 0 0 0
/proc/1786/statm: 2623 2147 206 20 0 1981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10492
[startup+0.301539 s]
/proc/loadavg: 1.69 1.91 1.80 3/77 1786
/proc/meminfo: memFree=1593472/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=12212 CPUtime=0.29
/proc/1786/stat : 1786 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194304 2510 0 0 0 28 1 0 0 19 0 1 0 352971693 12505088 2485 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583919 0 0 4096 0 0 0 0 17 0 0 0
/proc/1786/statm: 3053 2485 207 20 0 2411 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12212
[startup+0.702582 s]
/proc/loadavg: 1.69 1.91 1.80 3/77 1786
/proc/meminfo: memFree=1593472/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=12212 CPUtime=0.69
/proc/1786/stat : 1786 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194304 2516 0 0 0 68 1 0 0 24 0 1 0 352971693 12505088 2491 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583954 0 0 4096 0 0 0 0 17 0 0 0
/proc/1786/statm: 3053 2491 207 20 0 2411 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12212
[startup+1.50167 s]
/proc/loadavg: 1.69 1.91 1.80 2/78 1787
/proc/meminfo: memFree=1584184/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=12616 CPUtime=1.49
/proc/1786/stat : 1786 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194304 2626 0 0 0 148 1 0 0 25 0 1 0 352971693 12918784 2601 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583916 0 0 4096 0 0 0 0 17 0 0 0
/proc/1786/statm: 3154 2601 207 20 0 2512 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12616
[startup+3.10185 s]
/proc/loadavg: 1.69 1.91 1.80 3/80 1789
/proc/meminfo: memFree=1572776/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=51132 CPUtime=4.12
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 6466 0 0 0 409 3 0 0 25 0 3 0 352971693 52359168 6179 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 12783 6179 218 20 0 12141 0
[pid=1786/tid=1788] ppid=1784 vsize=51132 CPUtime=1.1
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 1786 0 0 0 110 0 0 0 18 0 3 0 352971892 52359168 6179 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520209 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=51132 CPUtime=1.02
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 1647 0 0 0 102 0 0 0 25 0 3 0 352971892 52359168 6179 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 51132
[startup+6.3012 s]
/proc/loadavg: 1.71 1.91 1.80 3/80 1789
/proc/meminfo: memFree=1560296/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=62004 CPUtime=10.51
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 9468 0 0 0 1044 7 0 0 25 0 3 0 352971693 63492096 9180 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 15501 9180 218 20 0 14859 0
[pid=1786/tid=1788] ppid=1784 vsize=62004 CPUtime=4.3
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 3358 0 0 0 429 1 0 0 19 0 3 0 352971892 63492096 9180 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=62004 CPUtime=4.21
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 3077 0 0 0 418 3 0 0 25 0 3 0 352971892 63492096 9180 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520502 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.51
Current children cumulated vsize (KiB) 62004
[startup+12.7019 s]
/proc/loadavg: 1.73 1.91 1.81 3/80 1789
/proc/meminfo: memFree=1551016/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=70028 CPUtime=23.27
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 11516 0 0 0 2317 10 0 0 25 0 3 0 352971693 71708672 11191 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 17507 11191 218 20 0 16865 0
[pid=1786/tid=1788] ppid=1784 vsize=70028 CPUtime=10.69
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 4230 0 0 0 1067 2 0 0 24 0 3 0 352971892 71708672 11191 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520708 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=70028 CPUtime=10.58
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 4253 0 0 0 1053 5 0 0 25 0 3 0 352971892 71708672 11191 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 23.27
Current children cumulated vsize (KiB) 70028
[startup+25.5023 s]
/proc/loadavg: 1.79 1.91 1.81 3/80 1789
/proc/meminfo: memFree=1523432/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=96504 CPUtime=48.8
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 18265 0 0 0 4862 18 0 0 25 0 3 0 352971693 98820096 17774 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 24126 17774 218 20 0 23484 0
[pid=1786/tid=1788] ppid=1784 vsize=96504 CPUtime=23.48
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 7814 0 0 0 2343 5 0 0 25 0 3 0 352971892 98820096 17774 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565740 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=96504 CPUtime=23.33
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 7418 0 0 0 2322 11 0 0 25 0 3 0 352971892 98820096 17774 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 48.8
Current children cumulated vsize (KiB) 96504
[startup+51.1021 s]
/proc/loadavg: 1.86 1.92 1.81 3/80 1789
/proc/meminfo: memFree=1497384/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=120176 CPUtime=99.88
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 24883 0 0 0 9962 26 0 0 25 0 3 0 352971693 123060224 24056 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 30044 24056 218 20 0 29402 0
[pid=1786/tid=1788] ppid=1784 vsize=120176 CPUtime=49.05
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 11242 0 0 0 4898 7 0 0 25 0 3 0 352971892 123060224 24056 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=120176 CPUtime=48.83
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 10608 0 0 0 4867 16 0 0 25 0 3 0 352971892 123060224 24056 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565888 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 99.88
Current children cumulated vsize (KiB) 120176
[startup+102.307 s]
/proc/loadavg: 1.98 1.94 1.82 3/80 1789
/proc/meminfo: memFree=1463656/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=153472 CPUtime=202.03
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 33799 0 0 0 20166 37 0 0 25 0 3 0 352971693 157155328 32499 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 38368 32499 218 20 0 37726 0
[pid=1786/tid=1788] ppid=1784 vsize=153472 CPUtime=100.21
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 15958 0 0 0 10009 12 0 0 25 0 3 0 352971892 157155328 32499 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=153472 CPUtime=99.83
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 14808 0 0 0 9960 23 0 0 25 0 3 0 352971892 157155328 32499 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 202.03
Current children cumulated vsize (KiB) 153472
[startup+162.302 s]
/proc/loadavg: 2.02 1.97 1.83 3/80 1789
/proc/meminfo: memFree=1456360/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=160336 CPUtime=321.74
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 36280 0 0 0 32134 40 0 0 25 0 3 0 352971693 164184064 34308 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 40084 34308 218 20 0 39442 0
[pid=1786/tid=1788] ppid=1784 vsize=160336 CPUtime=160.16
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 18082 0 0 0 16002 14 0 0 25 0 3 0 352971892 164184064 34308 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=160336 CPUtime=159.58
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 15165 0 0 0 15934 24 0 0 25 0 3 0 352971892 164184064 34308 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 321.74
Current children cumulated vsize (KiB) 160336
[startup+222.303 s]
/proc/loadavg: 2.28 2.05 1.87 3/80 1789
/proc/meminfo: memFree=1456040/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=160336 CPUtime=441.46
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 36870 0 0 0 44105 41 0 0 25 0 3 0 352971693 164184064 34347 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 40084 34347 218 20 0 39442 0
[pid=1786/tid=1788] ppid=1784 vsize=160336 CPUtime=220.11
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 18416 0 0 0 21997 14 0 0 25 0 3 0 352971892 164184064 34347 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=160336 CPUtime=219.34
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 15421 0 0 0 21910 24 0 0 25 0 3 0 352971892 164184064 34347 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 441.46
Current children cumulated vsize (KiB) 160336
[startup+282.302 s]
/proc/loadavg: 2.26 2.08 1.89 3/80 1789
/proc/meminfo: memFree=1455976/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=160336 CPUtime=561.17
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 37477 0 0 0 56075 42 0 0 25 0 3 0 352971693 164184064 34383 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 40084 34383 218 20 0 39442 0
[pid=1786/tid=1788] ppid=1784 vsize=160336 CPUtime=280.07
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 18762 0 0 0 27992 15 0 0 25 0 3 0 352971892 164184064 34383 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=160336 CPUtime=279.1
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 15682 0 0 0 27885 25 0 0 25 0 3 0 352971892 164184064 34383 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 561.17
Current children cumulated vsize (KiB) 160336
[startup+342.303 s]
/proc/loadavg: 2.21 2.09 1.91 3/80 1789
/proc/meminfo: memFree=1453544/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=163408 CPUtime=680.87
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 38593 0 0 0 68043 44 0 0 25 0 3 0 352971693 167329792 34998 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 40852 34998 218 20 0 40210 0
[pid=1786/tid=1788] ppid=1784 vsize=163408 CPUtime=340.01
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 19022 0 0 0 33986 15 0 0 25 0 3 0 352971892 167329792 34998 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=163408 CPUtime=338.86
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 16538 0 0 0 33859 27 0 0 25 0 3 0 352971892 167329792 34998 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 680.87
Current children cumulated vsize (KiB) 163408
[startup+402.302 s]
/proc/loadavg: 2.08 2.08 1.91 3/80 1789
/proc/meminfo: memFree=1428072/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=189556 CPUtime=800.59
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 45737 0 0 0 80002 57 0 0 25 0 3 0 352971693 194105344 41630 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 27522 0 0 0 141892 23 0 0 25 0 3 0 352971892 200794112 43367 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=196088 CPUtime=1414.32
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 26194 0 0 0 141384 48 0 0 25 0 3 0 352971892 200794112 43367 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2835.48
Current children cumulated vsize (KiB) 196088
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 1789
/proc/meminfo: memFree=1419944/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=196088 CPUtime=2955.2
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 57331 0 0 0 295445 75 0 0 25 0 3 0 352971693 200794112 43394 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 49022 43394 218 20 0 48380 0
[pid=1786/tid=1788] ppid=1784 vsize=196088 CPUtime=1479.11
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 27867 0 0 0 147888 23 0 0 25 0 3 0 352971892 200794112 43394 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=196088 CPUtime=1474.08
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 26431 0 0 0 147359 49 0 0 25 0 3 0 352971892 200794112 43394 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2955.2
Current children cumulated vsize (KiB) 196088
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/80 1789
/proc/meminfo: memFree=1419880/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=196088 CPUtime=3074.89
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 57909 0 0 0 307413 76 0 0 25 0 3 0 352971693 200794112 43411 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 49022 43411 218 20 0 48380 0
[pid=1786/tid=1788] ppid=1784 vsize=196088 CPUtime=1539.06
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 28213 0 0 0 153882 24 0 0 25 0 3 0 352971892 200794112 43411 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=196088 CPUtime=1533.84
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 26663 0 0 0 153334 50 0 0 25 0 3 0 352971892 200794112 43411 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3074.89
Current children cumulated vsize (KiB) 196088
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 1789
/proc/meminfo: memFree=1419816/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=196088 CPUtime=3194.46
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 58613 0 0 0 319369 77 0 0 25 0 3 0 352971693 200794112 43432 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 49022 43432 218 20 0 48380 0
[pid=1786/tid=1788] ppid=1784 vsize=196088 CPUtime=1599.01
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 28566 0 0 0 159877 24 0 0 25 0 3 0 352971892 200794112 43432 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=196088 CPUtime=1593.45
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 27014 0 0 0 159295 50 0 0 25 0 3 0 352971892 200794112 43432 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3194.46
Current children cumulated vsize (KiB) 196088
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 1789
/proc/meminfo: memFree=1419752/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=196088 CPUtime=3314.18
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 59264 0 0 0 331340 78 0 0 25 0 3 0 352971693 200794112 43440 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 49022 43440 218 20 0 48380 0
[pid=1786/tid=1788] ppid=1784 vsize=196088 CPUtime=1658.97
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 28805 0 0 0 165873 24 0 0 25 0 3 0 352971892 200794112 43440 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=196088 CPUtime=1653.21
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 27426 0 0 0 165270 51 0 0 25 0 3 0 352971892 200794112 43440 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526722 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3314.18
Current children cumulated vsize (KiB) 196088
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 1789
/proc/meminfo: memFree=1419688/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=196088 CPUtime=3433.87
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 59998 0 0 0 343308 79 0 0 25 0 3 0 352971693 200794112 43481 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 49022 43481 218 20 0 48380 0
[pid=1786/tid=1788] ppid=1784 vsize=196088 CPUtime=1718.9
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 29193 0 0 0 171865 25 0 0 25 0 3 0 352971892 200794112 43481 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=196088 CPUtime=1712.98
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 27772 0 0 0 171246 52 0 0 25 0 3 0 352971892 200794112 43481 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3433.87
Current children cumulated vsize (KiB) 196088
Solver just ended. Dumping a history of the last processes samples
[startup+1727.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 1789
/proc/meminfo: memFree=1419688/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=196088 CPUtime=3445.05
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 59998 0 0 0 344426 79 0 0 25 0 3 0 352971693 200794112 43481 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 49022 43481 218 20 0 48380 0
[pid=1786/tid=1788] ppid=1784 vsize=196088 CPUtime=1724.5
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 29193 0 0 0 172425 25 0 0 25 0 3 0 352971892 200794112 43481 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=196088 CPUtime=1718.55
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 27772 0 0 0 171803 52 0 0 25 0 3 0 352971892 200794112 43481 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3445.05
Current children cumulated vsize (KiB) 196088
[startup+1740.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 1789
/proc/meminfo: memFree=1419624/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=196088 CPUtime=3470.59
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 60125 0 0 0 346980 79 0 0 25 0 3 0 352971693 200794112 43491 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 49022 43491 218 20 0 48380 0
[pid=1786/tid=1788] ppid=1784 vsize=196088 CPUtime=1737.3
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 29193 0 0 0 173705 25 0 0 25 0 3 0 352971892 200794112 43491 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=196088 CPUtime=1731.3
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 27899 0 0 0 173078 52 0 0 25 0 3 0 352971892 200794112 43491 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3470.59
Current children cumulated vsize (KiB) 196088
[startup+1743.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 1789
/proc/meminfo: memFree=1419560/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=196088 CPUtime=3476.96
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 60269 0 0 0 347617 79 0 0 25 0 3 0 352971693 200794112 43516 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 49022 43516 218 20 0 48380 0
[pid=1786/tid=1788] ppid=1784 vsize=196088 CPUtime=1740.49
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 29317 0 0 0 174024 25 0 0 25 0 3 0 352971892 200794112 43516 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=196088 CPUtime=1734.48
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 27919 0 0 0 173396 52 0 0 25 0 3 0 352971892 200794112 43516 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3476.96
Current children cumulated vsize (KiB) 196088
[startup+1747.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 1789
/proc/meminfo: memFree=1419560/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=196088 CPUtime=3483.35
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 60269 0 0 0 348256 79 0 0 25 0 3 0 352971693 200794112 43516 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 49022 43516 218 20 0 48380 0
[pid=1786/tid=1788] ppid=1784 vsize=196088 CPUtime=1743.69
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 29317 0 0 0 174344 25 0 0 25 0 3 0 352971892 200794112 43516 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=196088 CPUtime=1737.66
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 27919 0 0 0 173714 52 0 0 25 0 3 0 352971892 200794112 43516 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3483.35
Current children cumulated vsize (KiB) 196088
[startup+1747.91 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 1789
/proc/meminfo: memFree=1419560/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=196088 CPUtime=3484.95
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 60269 0 0 0 348416 79 0 0 25 0 3 0 352971693 200794112 43516 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 49022 43516 218 20 0 48380 0
[pid=1786/tid=1788] ppid=1784 vsize=196088 CPUtime=1744.49
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 29317 0 0 0 174424 25 0 0 25 0 3 0 352971892 200794112 43516 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=196088 CPUtime=1738.46
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 27919 0 0 0 173794 52 0 0 25 0 3 0 352971892 200794112 43516 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565791 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3484.95
Current children cumulated vsize (KiB) 196088
[startup+1748.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 1789
/proc/meminfo: memFree=1419560/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=196088 CPUtime=3485.74
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 60269 0 0 0 348495 79 0 0 25 0 3 0 352971693 200794112 43516 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 49022 43516 218 20 0 48380 0
[pid=1786/tid=1788] ppid=1784 vsize=196088 CPUtime=1744.89
/proc/1786/task/1788/stat : 1788 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 29317 0 0 0 174464 25 0 0 25 0 3 0 352971892 200794112 43516 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1786/tid=1789] ppid=1784 vsize=196088 CPUtime=1738.86
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 27919 0 0 0 173834 52 0 0 25 0 3 0 352971892 200794112 43516 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3485.74
Current children cumulated vsize (KiB) 196088
[startup+1748.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 1789
/proc/meminfo: memFree=1419560/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=168696 CPUtime=3486.38
/proc/1786/stat : 1786 (MiraXTv3_dyn) S 1784 1786 1449 0 -1 4194304 60270 0 0 0 348558 80 0 0 16 0 2 0 352971693 172744704 40805 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1786/statm: 42174 40805 219 20 0 41532 0
[pid=1786/tid=1789] ppid=1784 vsize=168696 CPUtime=1739.26
/proc/1786/task/1789/stat : 1789 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194368 27919 0 0 0 173874 52 0 0 25 0 2 0 352971892 172744704 40805 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134545097 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3486.38
Current children cumulated vsize (KiB) 168696
[startup+1748.8 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 1789
/proc/meminfo: memFree=1419560/2055920 swapFree=4148252/4192956
[pid=1786] ppid=1784 vsize=165272 CPUtime=3486.48
/proc/1786/stat : 1786 (MiraXTv3_dyn) R 1784 1786 1449 0 -1 4194304 60276 0 0 0 348568 80 0 0 16 0 1 0 352971693 169238528 40587 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7915441 0 0 4096 0 0 0 0 17 0 0 0
/proc/1786/statm: 41318 40587 225 20 0 40676 0
Current children cumulated CPU time (s) 3486.48
Current children cumulated vsize (KiB) 165272
Child status: 10
Real time (s): 1748.87
CPU time (s): 3486.55
CPU user time (s): 3485.72
CPU system time (s): 0.827874
CPU usage (%): 199.361
Max. virtual memory (cumulated for all children) (KiB): 196552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3485.72
system time used= 0.827874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60279
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= 274
involuntary context switches= 65265
runsolver used 1.61675 second user time and 4.76228 second system time
The end
Begin job on node19 on Sun May 13 10:02:23 UTC 2007
IDJOB= 460055
IDBENCH= 20490
IDSOLVER= 196
FILE ID= node19/460055-1179050543
PBS_JOBID= 5253311
Free space on /tmp= 66499 MiB
SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/industrial/grieu/vmpc_31.cnf
COMMAND LINE= /tmp/evaluation/460055-1179050543/MiraXTv3_dyn /tmp/evaluation/460055-1179050543/instance-460055-1179050543.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-460055-1179050543 -o ROOT/results/node19/solver-460055-1179050543 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/460055-1179050543/MiraXTv3_dyn /tmp/evaluation/460055-1179050543/instance-460055-1179050543.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= e9d9fc0e7d6d0176942c54e1a7f7ef59
RANDOM SEED= 80429650
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node19.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1593688 kB
Buffers: 51836 kB
Cached: 317684 kB
SwapCached: 14408 kB
Active: 213904 kB
Inactive: 179560 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1593688 kB
SwapTotal: 4192956 kB
SwapFree: 4148252 kB
Dirty: 6056 kB
Writeback: 0 kB
Mapped: 30028 kB
Slab: 54260 kB
Committed_AS: 9274544 kB
PageTables: 1784 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66499 MiB
End job on node19 on Sun May 13 10:31:32 UTC 2007