15.54/15.60 c COMMAND LINE: portfolio_solver.py -t 1200 -s 1603196764 HOME/instance-3449898-1307056106.cnf
15.54/15.60 c tmpdir WORKING-DIR
15.54/15.60 c timelimit 1200
15.54/15.60 c seed 1603196764
15.54/15.60 c verbosity 0
15.54/15.60 c Parsed command line and set default values...
15.54/15.60 c Starting *WALL CLOCK* TIMER
15.54/15.60 c Found WORKING-DIR/coach-executables-test-SUCCESS.txt
15.54/15.60 c indicating coach-executables-test.sh was run successfully earlier
15.54/15.60 c Making sure all necessary files and folders are present...
15.54/15.60 c Checking for ./features OK
15.54/15.60 c Checking for COACH/coach OK
15.54/15.60 c Checking for preprocessors/SatELite_v1.0_linux OK
15.54/15.60 c Checking for solvers/adaptg2wsat2009 OK
15.54/15.60 c Checking for solvers/adaptg2wsat2009++ OK
15.54/15.60 c Checking for solvers/clasp-1.3.6-x86-linux OK
15.54/15.60 c Checking for solvers/cryptominisat OK
15.54/15.60 c Checking for solvers/glucose_static OK
15.54/15.60 c Checking for solvers/gnovelty+2 OK
15.54/15.60 c Checking for solvers/gnovelty+2-H OK
15.54/15.60 c Checking for solvers/hybridGM3 OK
15.54/15.60 c Checking for solvers/kcnfs04SAT07 OK
15.54/15.60 c Checking for solvers/lingeling OK
15.54/15.60 c Checking for solvers/LySATc OK
15.54/15.60 c Checking for solvers/LySATi OK
15.54/15.60 c Checking for solvers/march_hi OK
15.54/15.60 c Checking for solvers/march_nn OK
15.54/15.60 c Checking for solvers/minisat_static OK
15.54/15.60 c Checking for solvers/mxc-sat09 OK
15.54/15.60 c Checking for solvers/picosat OK
15.54/15.60 c Checking for solvers/precosat OK
15.54/15.60 c Checking for solvers/SATenstein OK
15.54/15.60 c Checking for solvers/TNM OK
15.54/15.60 c Checking for solvers/ubcsatOrig OK
15.54/15.60 c Checking for utilities/timerun OK
15.54/15.60 c Checking for folder COACH/DATA OK
15.54/15.60 c Checking for file unif-k3-r4.2-v18000-c75600-S914323646-060.cnf OK
15.54/15.60 c Check successful
15.54/15.60 c TIMER: 0.0 sec total, 0.0 sec since previous report
15.54/15.60 c Computing instance features...
15.54/15.60 c ./features HOME/instance-3449898-1307056106.cnf
15.54/15.60 c Features found: 1106 129272 0.00855560369 0.00181556429 0.180955801 0.000758091466 0.0025295501 4.97372496 0.00181556429 0.244405123 0.00180831826 0.0334538879 0.00305639746 1 0 1 1 -0 0.991132309 0.00199723362 0.979591837 0.993883792 0.478344901 0 0.999729253 0.999729253 0.00180782867 0.181730104 0.000750355839 0.00252181447 4.97372496 0.999729253 0.00180782867 0.181730104 0.000750355839 0.00252181447 0.0272340426 -1 -0 -1 0 -1 -1 -0 -1 0 -0 -1
15.54/15.60 c TIMER: 15.24 sec total, 15.23 sec since previous report
15.54/15.60 c Computing most promising solver to run...
15.54/15.60 c COACH/coach 1106 129272 0.00855560369 0.00181556429 0.180955801 0.000758091466 0.0025295501 4.97372496 0.00181556429 0.244405123 0.00180831826 0.0334538879 0.00305639746 1 0 1 1 -0 0.991132309 0.00199723362 0.979591837 0.993883792 0.478344901 0 0.999729253 0.999729253 0.00180782867 0.181730104 0.000750355839 0.00252181447 4.97372496 0.999729253 0.00180782867 0.181730104 0.000750355839 0.00252181447 0.0272340426 -1 -0 -1 0 -1 -1 -0 -1 0 -0 -1 COACH/DATA/ 1
15.54/15.61 c PORTFOLIO-SUGGESTION SOLVER cryptominisat 4 0
15.54/15.61 c PORTFOLIO-SUGGESTION SOLVER adaptg2wsat2009 4 0
15.54/15.61 c PORTFOLIO-SUGGESTION SOLVER precosat 4 0
15.54/15.61 c PORTFOLIO-SUGGESTION SOLVER march_hi 4 0
15.54/15.61 c PORTFOLIO-SUGGESTION SOLVER hybridGM3 4 0
15.54/15.61 c PORTFOLIO-SUGGESTION SOLVER lingeling 4 0
15.54/15.61 c PORTFOLIO-SUGGESTION SOLVER gnovelty+2 4 0
15.54/15.61 c PORTFOLIO-SUGGESTION SOLVER TNM 4 0
15.54/15.61 c PORTFOLIO-SUGGESTION SOLVER AshiHgen 4 0
15.54/15.61 c PORTFOLIO-SUGGESTION SOLVER mxc-sat09 4 0
15.54/15.61 c PORTFOLIO-SUGGESTION SOLVER clasp-1.3.6-x86-linux 100000 0
15.54/15.61 c TIMER: 15.56 sec total, 0.32 sec since previous report
15.54/15.61 c Preprocessing OFF
15.54/15.61 c Solvers and corresponding runtimes to be used, and whether on the preprocessed instance:
15.54/15.61 c cryptominisat 4 False
15.54/15.61 c adaptg2wsat2009 4 False
15.54/15.61 c precosat 4 False
1053.63/1053.71 c march_hi 4 False
1053.63/1053.71 c hybridGM3 4 False
1053.63/1053.71 c lingeling 4 False
1053.63/1053.71 c gnovelty+2 4 False
1053.63/1053.71 c TNM 4 False
1053.63/1053.71 c AshiHgen 4 False
1053.63/1053.71 c mxc-sat09 4 False
1053.63/1053.71 c clasp-1.3.6-x86-linux 100000 False
1053.63/1053.71 c Default solver to fall back on, in case everything fails:
1053.63/1053.71 c lingeling no limit False
1053.63/1053.71 c Running cryptominisat for 4 seconds on HOME/instance-3449898-1307056106.cnf
1053.63/1053.71 c utilities/timerun 4 solvers/cryptominisat HOME/instance-3449898-1307056106.cnf
1053.63/1053.71 c TIMER: 19.57 sec total, 4.01 sec since previous report
1053.63/1053.71 c Running adaptg2wsat2009 for 4 seconds on HOME/instance-3449898-1307056106.cnf
1053.63/1053.71 c utilities/timerun 4 solvers/adaptg2wsat2009 HOME/instance-3449898-1307056106.cnf
1053.63/1053.71 c TIMER: 23.57 sec total, 4.0 sec since previous report
1053.63/1053.72 c Running precosat for 4 seconds on HOME/instance-3449898-1307056106.cnf
1053.63/1053.72 c utilities/timerun 4 solvers/precosat HOME/instance-3449898-1307056106.cnf
1053.63/1053.72 c TIMER: 27.58 sec total, 4.01 sec since previous report
1053.63/1053.72 c Running march_hi for 4 seconds on HOME/instance-3449898-1307056106.cnf
1053.63/1053.72 c utilities/timerun 4 solvers/march_hi HOME/instance-3449898-1307056106.cnf
1053.63/1053.72 c TIMER: 31.59 sec total, 4.01 sec since previous report
1053.63/1053.72 c Running hybridGM3 for 4 seconds on HOME/instance-3449898-1307056106.cnf
1053.63/1053.72 c utilities/timerun 4 solvers/hybridGM3 HOME/instance-3449898-1307056106.cnf
1053.63/1053.72 c TIMER: 35.6 sec total, 4.0 sec since previous report
1053.63/1053.72 c Running lingeling for 4 seconds on HOME/instance-3449898-1307056106.cnf
1053.63/1053.72 c utilities/timerun 4 solvers/lingeling HOME/instance-3449898-1307056106.cnf
1053.63/1053.72 c TIMER: 39.6 sec total, 4.01 sec since previous report
1053.63/1053.72 c Running gnovelty+2 for 4 seconds on HOME/instance-3449898-1307056106.cnf
1053.63/1053.72 c utilities/timerun 4 solvers/gnovelty+2 HOME/instance-3449898-1307056106.cnf
1053.63/1053.72 c TIMER: 43.61 sec total, 4.0 sec since previous report
1053.63/1053.72 c Running TNM for 4 seconds on HOME/instance-3449898-1307056106.cnf
1053.63/1053.72 c utilities/timerun 4 solvers/TNM HOME/instance-3449898-1307056106.cnf
1053.63/1053.72 c TIMER: 47.61 sec total, 4.0 sec since previous report
1053.63/1053.72 c Running AshiHgen for 4 seconds on HOME/instance-3449898-1307056106.cnf
1053.63/1053.72 c utilities/timerun 4 solvers/SATenstein -i HOME/instance-3449898-1307056106.cnf -alg satenstein -varinfalse 1 -adaptwalkprob 0 -theta 3 -singleclause 1 -randomwalk 3 -performrandomwalk 1 -selectclause 1 -promisinglist 0 -adaptiveprom 0 -heuristic 7 -adaptive 1 -phi 10 -tabusearch 0 -rdp 0.15 -r satcomp -cutoff max -runs 100 -solve -seed 1603196764
1053.63/1053.72 c TIMER: 51.61 sec total, 4.01 sec since previous report
1053.63/1053.72 c Running mxc-sat09 for 4 seconds on HOME/instance-3449898-1307056106.cnf
1053.63/1053.72 c utilities/timerun 4 solvers/mxc-sat09 -i HOME/instance-3449898-1307056106.cnf
1053.63/1053.72 c TIMER: 55.62 sec total, 4.0 sec since previous report
1053.63/1053.72 c Running clasp-1.3.6-x86-linux for 100000 seconds on HOME/instance-3449898-1307056106.cnf
1053.63/1053.72 c utilities/timerun 100000 solvers/clasp-1.3.6-x86-linux HOME/instance-3449898-1307056106.cnf
1053.63/1053.72 c TIMER: 1053.67 sec total, 998.05 sec since previous report
1053.63/1053.72 c Instance solved!
1053.63/1053.72 s SATISFIABLE
1053.63/1053.72 v 1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20
1053.63/1053.72 v -21 -22 -23 -24 -25 -26 -27 -28 -29 30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40
1053.63/1053.72 v -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60
1053.63/1053.72 v -61 -62 -63 -64 -65 -66 -67 68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80
1053.63/1053.72 v -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100
1053.63/1053.72 v -101 -102 -103 -104 -105 106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120
1053.63/1053.72 v -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 136 -137 -138 -139 -140
1053.63/1053.72 v -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160
1053.63/1053.72 v -161 -162 -163 -164 -165 166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180
1053.63/1053.72 v -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200
1053.63/1053.72 v -201 -202 -203 204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220
1053.63/1053.72 v -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 234 -235 -236 -237 -238 -239 -240
1053.63/1053.72 v -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260
1053.63/1053.72 v -261 -262 -263 -264 265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280
1053.63/1053.72 v -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300
1053.63/1053.72 v -301 -302 303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320
1053.63/1053.72 v -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 340
1053.63/1053.72 v -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360
1053.63/1053.72 v -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 375 -376 -377 -378 -379 -380
1053.63/1053.72 v -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400
1053.63/1053.72 v -401 -402 -403 -404 -405 -406 407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420
1053.63/1053.72 v -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 440
1053.63/1053.72 v -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460
1053.63/1053.72 v -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 474 -475 -476 -477 -478 -479 -480
1053.63/1053.72 v -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500
1053.63/1053.72 v -501 -502 -503 -504 -505 506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520
1053.63/1053.72 v -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540
1053.63/1053.72 v 541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560
1053.63/1053.72 v -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 574 -575 -576 -577 -578 -579 -580
1053.63/1053.72 v -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600
1053.63/1053.72 v -601 -602 -603 604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620
1053.63/1053.72 v -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 637 -638 -639 -640
1053.63/1053.72 v -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660
1053.63/1053.72 v -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 676 -677 -678 -679 -680
1053.63/1053.72 v -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700
1053.63/1053.72 v -701 -702 -703 -704 -705 -706 -707 708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720
1053.63/1053.72 v -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 736 -737 -738 -739 -740
1053.63/1053.72 v -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760
1053.63/1053.72 v -761 -762 -763 -764 -765 -766 767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780
1053.63/1053.72 v -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800
1053.63/1053.72 v -801 -802 803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820
1053.63/1053.72 v -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 833 -834 -835 -836 -837 -838 -839 -840
1053.63/1053.72 v -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860
1053.63/1053.72 v 861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880
1053.63/1053.72 v -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 -891 892 -893 -894 -895 -896 -897 -898 -899 -900
1053.63/1053.72 v -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920
1053.63/1053.72 v -921 -922 923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940
1053.63/1053.72 v -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 954 -955 -956 -957 -958 -959 -960
1053.63/1053.72 v -961 -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980
1053.63/1053.72 v -981 -982 -983 -984 -985 986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000
1053.63/1053.72 v -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 1019 -1020
1053.63/1053.72 v -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040
1053.63/1053.72 v -1041 -1042 -1043 -1044 -1045 -1046 -1047 1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060
1053.63/1053.72 v -1061 -1062 -1063 -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 1077 -1078 -1079 -1080
1053.63/1053.72 v -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100
1053.63/1053.72 v -1101 -1102 -1103 -1104 -1105 1106 0
1053.63/1053.72 c TIMER: 1053.67 sec total, 0.0 sec since previous report
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3449898-1307056106/watcher-3449898-1307056106 -o /tmp/evaluation-result-3449898-1307056106/solver-3449898-1307056106 -C 1200 -W 1300 -M 7680 python portfolio_solver.py -t 1200 -s 1603196764 HOME/instance-3449898-1307056106.cnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.17 3.78 3.84 5/446 9558
/proc/meminfo: memFree=30032904/32950928 swapFree=52246700/67111528
[pid=9558] ppid=9556 vsize=15184 CPUtime=0 cores=1,3
/proc/9558/stat : 9558 (python) S 9556 9558 8652 0 -1 4202496 711 0 0 0 0 0 0 0 20 0 1 0 895841356 15548416 603 33554432000 4194304 5683644 140733654502896 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 1 0 0 0
/proc/9558/statm: 3796 603 319 364 0 283 0
[startup+0.105425 s]
/proc/loadavg: 3.17 3.78 3.84 5/446 9558
/proc/meminfo: memFree=30032904/32950928 swapFree=52246700/67111528
[pid=9558] ppid=9556 vsize=21892 CPUtime=0.02 cores=1,3
/proc/9558/stat : 9558 (python) S 9556 9558 8652 0 -1 4202496 1515 0 0 0 1 1 0 0 17 0 1 0 895841356 22417408 1349 33554432000 4194304 5683644 140733654502896 18446744073709551615 231895490304 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/9558/statm: 5473 1349 443 364 0 928 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21892
[startup+0.200404 s]
/proc/loadavg: 3.17 3.78 3.84 5/446 9558
/proc/meminfo: memFree=30032904/32950928 swapFree=52246700/67111528
[pid=9558] ppid=9556 vsize=21892 CPUtime=0.02 cores=1,3
/proc/9558/stat : 9558 (python) S 9556 9558 8652 0 -1 4202496 1515 0 0 0 1 1 0 0 17 0 1 0 895841356 22417408 1349 33554432000 4194304 5683644 140733654502896 18446744073709551615 231895490304 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/9558/statm: 5473 1349 443 364 0 928 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21892
[startup+0.300373 s]
/proc/loadavg: 3.17 3.78 3.84 5/446 9558
/proc/meminfo: memFree=30032904/32950928 swapFree=52246700/67111528
[pid=9558] ppid=9556 vsize=21892 CPUtime=0.02 cores=1,3
/proc/9558/stat : 9558 (python) S 9556 9558 8652 0 -1 4202496 1515 0 0 0 1 1 0 0 17 0 1 0 895841356 22417408 1349 33554432000 4194304 5683644 140733654502896 18446744073709551615 231895490304 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/9558/statm: 5473 1349 443 364 0 928 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21892
[startup+0.700296 s]
/proc/loadavg: 3.17 3.78 3.84 5/446 9558
/proc/meminfo: memFree=30032904/32950928 swapFree=52246700/67111528
[pid=9558] ppid=9556 vsize=21892 CPUtime=0.02 cores=1,3
/proc/9558/stat : 9558 (python) S 9556 9558 8652 0 -1 4202496 1515 0 0 0 1 1 0 0 17 0 1 0 895841356 22417408 1349 33554432000 4194304 5683644 140733654502896 18446744073709551615 231895490304 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/9558/statm: 5473 1349 443 364 0 928 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21892
[startup+1.50115 s]
/proc/loadavg: 3.17 3.78 3.84 5/454 9575
/proc/meminfo: memFree=29841780/32950928 swapFree=52246700/67111528
[pid=9558] ppid=9556 vsize=21892 CPUtime=0.02 cores=1,3
/proc/9558/stat : 9558 (python) S 9556 9558 8652 0 -1 4202496 1515 0 0 0 1 1 0 0 17 0 1 0 895841356 22417408 1349 33554432000 4194304 5683644 140733654502896 18446744073709551615 231895490304 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/9558/statm: 5473 1349 443 364 0 928 0
[pid=9560] ppid=9558 vsize=8364 CPUtime=1.44 cores=1,3
/proc/9560/stat : 9560 (features) R 9558 9558 8652 0 -1 4202496 2640 0 0 0 141 3 0 0 21 0 1 0 895841361 8564736 1524 33554432000 134512640 135907751 4294940272 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/9560/statm: 2091 1524 111 341 0 1747 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30256
[startup+3.10085 s]
/proc/loadavg: 3.48 3.83 3.86 4/454 9575
/proc/meminfo: memFree=29842956/32950928 swapFree=52246700/67111528
[pid=9558] ppid=9556 vsize=21892 CPUtime=0.02 cores=1,3
/proc/9558/stat : 9558 (python) S 9556 9558 8652 0 -1 4202496 1515 0 0 0 1 1 0 0 17 0 1 0 895841356 22417408 1349 33554432000 4194304 5683644 140733654502896 18446744073709551615 231895490304 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/9558/statm: 5473 1349 443 364 0 928 0
[pid=9560] ppid=9558 vsize=9576 CPUtime=3.04 cores=1,3
/proc/9560/stat : 9560 (features) R 9558 9558 8652 0 -1 4202496 4597 0 0 0 298 6 0 0 25 0 1 0 895841361 9805824 1562 33554432000 134512640 135907751 4294940272 18446744073709551615 134518674 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/9560/statm: 2394 1562 112 341 0 2050 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 31468
[startup+6.30024 s]
/proc/loadavg: 3.48 3.83 3.86 5/460 9581
/proc/meminfo: memFree=29644112/32950928 swapFree=52246700/67111528
[pid=9558] ppid=9556 vsize=21892 CPUtime=0.02 cores=1,3
/proc/9558/stat : 9558 (python) S 9556 9558 8652 0 -1 4202496 1515 0 0 0 1 1 0 0 17 0 1 0 895841356 22417408 1349 33554432000 4194304 5683644 140733654502896 18446744073709551615 231895490304 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/9558/statm: 5473 1349 443 364 0 928 0
[pid=9560] ppid=9558 vsize=9576 CPUtime=6.24 cores=1,3
/proc/9560/stat : 9560 (features) R 9558 9558 8652 0 -1 4202496 4603 0 0 0 618 6 0 0 25 0 1 0 895841361 9805824 1568 33554432000 134512640 135907751 4294940272 18446744073709551615 134518619 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/9560/statm: 2394 1568 112 341 0 2050 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 31468
[startup+12.701 s]
/proc/loadavg: 3.63 3.85 3.87 5/460 9582
/proc/meminfo: memFree=29531544/32950928 swapFree=52246700/67111528
[pid=9558] ppid=9556 vsize=21892 CPUtime=0.02 cores=1,3
/proc/9558/stat : 9558 (python) S 9556 9558 8652 0 -1 4202496 1515 0 0 0 1 1 0 0 17 0 1 0 895841356 22417408 1349 33554432000 4194304 5683644 140733654502896 18446744073709551615 231895490304 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/9558/statm: 5473 1349 443 364 0 928 0
[pid=9560] ppid=9558 vsize=9708 CPUtime=12.64 cores=1,3
/proc/9560/stat : 9560 (features) R 9558 9558 8652 0 -1 4202496 4609 0 0 0 1258 6 0 0 25 0 1 0 895841361 9940992 1574 33554432000 134512640 135907751 4294940272 18446744073709551615 134518600 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/9560/statm: 2427 1574 112 341 0 2083 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 31600
[startup+25.5006 s]
/proc/loadavg: 3.69 3.86 3.87 5/463 9589
/proc/meminfo: memFree=29527328/32950928 swapFree=52246700/67111528
[pid=9558] ppid=9556 vsize=34392 CPUtime=8.02 cores=1,3
/proc/9558/stat : 9558 (python) S 9556 9558 8652 0 -1 4202496 2464 12383 0 0 2 1 797 2 18 0 1 0 895841356 35217408 1407 33554432000 4194304 5683644 140733654502896 18446744073709551615 231895490304 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/9558/statm: 8598 1407 468 364 0 932 0
[pid=9560] ppid=9558 vsize=0 CPUtime=15.22 cores=1,3
/proc/9560/stat : 9560 (features) Z 9558 9558 8652 0 -1 4202524 5126 0 0 0 1516 6 0 0 25 0 1 0 895841361 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9560/statm: 0 0 0 0 0 0 0
[pid=9583] ppid=9558 vsize=0 CPUtime=0.31 cores=1,3
/proc/9583/stat : 9583 (coach) Z 9558 9558 8652 0 -1 4202524 3736 0 0 0 31 0 0 0 20 0 1 0 895842884 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9583/statm: 0 0 0 0 0 0 0
[pid=9588] ppid=9558 vsize=8700 CPUtime=0 cores=1,3
/proc/9588/stat : 9588 (timerun) S 9558 9558 8652 0 -1 4202496 746 0 0 0 0 0 0 0 19 0 1 0 895843718 8908800 248 33554432000 4194304 4922060 140736166786384 18446744073709551615 231895309445 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9588/statm: 2175 248 208 178 0 68 0
[pid=9589] ppid=9588 vsize=12500 CPUtime=1.86 cores=1,3
/proc/9589/stat : 9589 (precosat) R 9588 9558 8652 0 -1 4202496 3043 0 0 0 186 0 0 0 25 0 1 0 895843718 12800000 2954 33554432000 134512640 135142049 4290354224 18446744073709551615 134555523 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/9589/statm: 3125 2954 82 154 0 2969 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 55592
[startup+51.1007 s]
/proc/loadavg: 3.79 3.87 3.87 5/463 9602
/proc/meminfo: memFree=29528868/32950928 swapFree=52246700/67111528
[pid=9558] ppid=9556 vsize=34392 CPUtime=32.04 cores=1,3
/proc/9558/stat : 9558 (python) S 9556 9558 8652 0 -1 4202496 3373 45944 0 0 2 2 3194 6 18 0 1 0 895841356 35217408 1407 33554432000 4194304 5683644 140733654502896 18446744073709551615 231895490304 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/9558/statm: 8598 1407 468 364 0 932 0
[pid=9560] ppid=9558 vsize=0 CPUtime=15.22 cores=1,3
/proc/9560/stat : 9560 (features) Z 9558 9558 8652 0 -1 4202524 5126 0 0 0 1516 6 0 0 25 0 1 0 895841361 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9560/statm: 0 0 0 0 0 0 0
[pid=9583] ppid=9558 vsize=0 CPUtime=0.31 cores=1,3
/proc/9583/stat : 9583 (coach) Z 9558 9558 8652 0 -1 4202524 3736 0 0 0 31 0 0 0 20 0 1 0 895842884 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9583/statm: 0 0 0 0 0 0 0
[pid=9601] ppid=9558 vsize=8700 CPUtime=0 cores=1,3
/proc/9601/stat : 9601 (timerun) S 9558 9558 8652 0 -1 4202496 753 0 0 0 0 0 0 0 18 0 1 0 895846121 8908800 252 33554432000 4194304 4922060 140734927370464 18446744073709551615 231895309445 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9601/statm: 2175 252 208 178 0 68 0
[pid=9602] ppid=9601 vsize=25412 CPUtime=3.43 cores=1,3
/proc/9602/stat : 9602 (SATenstein) R 9601 9558 8652 0 -1 4202496 2843 0 0 0 343 0 0 0 25 0 1 0 895846122 26021888 2786 33554432000 134512640 134864348 4288685792 18446744073709551615 134806927 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/9602/statm: 6353 2786 433 86 0 5877 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 68504
[startup+102.301 s]
/proc/loadavg: 3.95 3.90 3.88 5/473 9650
/proc/meminfo: memFree=29500532/32950928 swapFree=52246700/67111528
[pid=9558] ppid=9556 vsize=34392 CPUtime=40.04 cores=1,3
/proc/9558/stat : 9558 (python) S 9556 9558 8652 0 -1 4202496 3668 55182 0 0 2 2 3992 8 19 0 1 0 895841356 35217408 1407 33554432000 4194304 5683644 140733654502896 18446744073709551615 231895490304 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/9558/statm: 8598 1407 468 364 0 932 0
[pid=9560] ppid=9558 vsize=0 CPUtime=15.22 cores=1,3
/proc/9560/stat : 9560 (features) Z 9558 9558 8652 0 -1 4202524 5126 0 0 0 1516 6 0 0 25 0 1 0 895841361 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9560/statm: 0 0 0 0 0 0 0
[pid=9583] ppid=9558 vsize=0 CPUtime=0.31 cores=1,3
/proc/9583/stat : 9583 (coach) Z 9558 9558 8652 0 -1 4202524 3736 0 0 0 31 0 0 0 20 0 1 0 895842884 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9583/statm: 0 0 0 0 0 0 0
[pid=9608] ppid=9558 vsize=8700 CPUtime=0 cores=1,3
/proc/9608/stat : 9608 (timerun) S 9558 9558 8652 0 -1 4202496 743 0 0 0 0 0 0 0 20 0 1 0 895846922 8908800 248 33554432000 4194304 4922060 140736253548400 18446744073709551615 231895309445 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9608/statm: 2175 248 208 178 0 68 0
[pid=9609] ppid=9608 vsize=50612 CPUtime=46.63 cores=1,3
/proc/9609/stat : 9609 (clasp-1.3.6-x86) R 9608 9558 8652 0 -1 4202496 12453 0 0 0 4661 2 0 0 25 0 1 0 895846923 51826688 11939 33554432000 134512640 135075177 4291049600 18446744073709551615 134610368 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9609/statm: 12653 11939 302 138 0 11879 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 93704
[startup+162.301 s]
/proc/loadavg: 3.33 3.75 3.83 3/452 9710
/proc/meminfo: memFree=29838620/32950928 swapFree=52246700/67111528
[pid=9558] ppid=9556 vsize=34392 CPUtime=40.04 cores=1,3
/proc/9558/stat : 9558 (python) S 9556 9558 8652 0 -1 4202496 3668 55182 0 0 2 2 3992 8 19 0 1 0 895841356 35217408 1407 33554432000 4194304 5683644 140733654502896 18446744073709551615 231895490304 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/9558/statm: 8598 1407 468 364 0 932 0
[pid=9560] ppid=9558 vsize=0 CPUtime=15.22 cores=1,3
/proc/9560/stat : 9560 (features) Z 9558 9558 8652 0 -1 4202524 5126 0 0 0 1516 6 0 0 25 0 1 0 895841361 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9560/statm: 0 0 0 0 0 0 0
[pid=9583] ppid=9558 vsize=0 CPUtime=0.31 cores=1,3
/proc/9583/stat : 9583 (coach) Z 9558 9558 8652 0 -1 4202524 3736 0 0 0 31 0 0 0 20 0 1 0 895842884 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9583/statm: 0 0 0 0 0 0 0
[pid=9608] ppid=9558 vsize=8700 CPUtime=0 cores=1,3
/proc/9608/stat : 9608 (timerun) S 9558 9558 8652 0 -1 4202496 743 0 0 0 0 0 0 0 20 0 1 0 895846922 8908800 248 33554432000 4194304 4922060 140736253548400 18446744073709551615 231895309445 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9608/statm: 2175 248 208 178 0 68 0
[pid=9609] ppid=9608 vsize=61644 CPUtime=106.62 cores=1,3
/proc/9609/stat : 9609 (clasp-1.3.6-x86) R 9608 9558 8652 0 -1 4202496 15126 0 0 0 10659 3 0 0 25 0 1 0 895846923 63123456 14612 33554432000 134512640 135075177 4291049600 18446744073709551615 134610420 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9609/statm: 15411 14612 302 138 0 14637 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 104736
[startup+222.317 s]
/proc/loadavg: 2.49 3.43 3.71 3/452 9711
/proc/meminfo: memFree=29808588/32950928 swapFree=52246700/67111528
[pid=9558] ppid=9556 vsize=34392 CPUtime=40.04 cores=1,3
################
# More data... #
################
/proc/9583/statm: 0 0 0 0 0 0 0
[pid=9608] ppid=9558 vsize=8700 CPUtime=0 cores=1,3
/proc/9608/stat : 9608 (timerun) S 9558 9558 8652 0 -1 4202496 743 0 0 0 0 0 0 0 20 0 1 0 895846922 8908800 248 33554432000 4194304 4922060 140736253548400 18446744073709551615 231895309445 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9608/statm: 2175 248 208 178 0 68 0
[pid=9609] ppid=9608 vsize=101636 CPUtime=981.16 cores=1,3
/proc/9609/stat : 9609 (clasp-1.3.6-x86) R 9608 9558 8652 0 -1 4202496 24728 0 0 0 98111 5 0 0 25 0 1 0 895846923 104075264 24214 33554432000 134512640 135075177 4291049600 18446744073709551615 134610400 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9609/statm: 25409 24214 302 138 0 24635 0
Current children cumulated CPU time (s) 1036.73
Current children cumulated vsize (KiB) 144728
[startup+1043.2 s]
/proc/loadavg: 2.00 2.11 2.71 3/452 9735
/proc/meminfo: memFree=29744556/32950928 swapFree=52246700/67111528
[pid=9558] ppid=9556 vsize=34392 CPUtime=40.04 cores=1,3
/proc/9558/stat : 9558 (python) S 9556 9558 8652 0 -1 4202496 3668 55182 0 0 2 2 3992 8 19 0 1 0 895841356 35217408 1407 33554432000 4194304 5683644 140733654502896 18446744073709551615 231895490304 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/9558/statm: 8598 1407 468 364 0 932 0
[pid=9560] ppid=9558 vsize=0 CPUtime=15.22 cores=1,3
/proc/9560/stat : 9560 (features) Z 9558 9558 8652 0 -1 4202524 5126 0 0 0 1516 6 0 0 25 0 1 0 895841361 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9560/statm: 0 0 0 0 0 0 0
[pid=9583] ppid=9558 vsize=0 CPUtime=0.31 cores=1,3
/proc/9583/stat : 9583 (coach) Z 9558 9558 8652 0 -1 4202524 3736 0 0 0 31 0 0 0 20 0 1 0 895842884 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9583/statm: 0 0 0 0 0 0 0
[pid=9608] ppid=9558 vsize=8700 CPUtime=0 cores=1,3
/proc/9608/stat : 9608 (timerun) S 9558 9558 8652 0 -1 4202496 743 0 0 0 0 0 0 0 20 0 1 0 895846922 8908800 248 33554432000 4194304 4922060 140736253548400 18446744073709551615 231895309445 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9608/statm: 2175 248 208 178 0 68 0
[pid=9609] ppid=9608 vsize=101636 CPUtime=987.56 cores=1,3
/proc/9609/stat : 9609 (clasp-1.3.6-x86) R 9608 9558 8652 0 -1 4202496 24728 0 0 0 98751 5 0 0 25 0 1 0 895846923 104075264 24214 33554432000 134512640 135075177 4291049600 18446744073709551615 134886411 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9609/statm: 25409 24214 302 138 0 24635 0
Current children cumulated CPU time (s) 1043.13
Current children cumulated vsize (KiB) 144728
[startup+1049.6 s]
/proc/loadavg: 2.00 2.11 2.70 3/452 9735
/proc/meminfo: memFree=29744060/32950928 swapFree=52246700/67111528
[pid=9558] ppid=9556 vsize=34392 CPUtime=40.04 cores=1,3
/proc/9558/stat : 9558 (python) S 9556 9558 8652 0 -1 4202496 3668 55182 0 0 2 2 3992 8 19 0 1 0 895841356 35217408 1407 33554432000 4194304 5683644 140733654502896 18446744073709551615 231895490304 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/9558/statm: 8598 1407 468 364 0 932 0
[pid=9560] ppid=9558 vsize=0 CPUtime=15.22 cores=1,3
/proc/9560/stat : 9560 (features) Z 9558 9558 8652 0 -1 4202524 5126 0 0 0 1516 6 0 0 25 0 1 0 895841361 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9560/statm: 0 0 0 0 0 0 0
[pid=9583] ppid=9558 vsize=0 CPUtime=0.31 cores=1,3
/proc/9583/stat : 9583 (coach) Z 9558 9558 8652 0 -1 4202524 3736 0 0 0 31 0 0 0 20 0 1 0 895842884 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9583/statm: 0 0 0 0 0 0 0
[pid=9608] ppid=9558 vsize=8700 CPUtime=0 cores=1,3
/proc/9608/stat : 9608 (timerun) S 9558 9558 8652 0 -1 4202496 743 0 0 0 0 0 0 0 20 0 1 0 895846922 8908800 248 33554432000 4194304 4922060 140736253548400 18446744073709551615 231895309445 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9608/statm: 2175 248 208 178 0 68 0
[pid=9609] ppid=9608 vsize=101636 CPUtime=993.96 cores=1,3
/proc/9609/stat : 9609 (clasp-1.3.6-x86) R 9608 9558 8652 0 -1 4202496 24732 0 0 0 99391 5 0 0 25 0 1 0 895846923 104075264 24218 33554432000 134512640 135075177 4291049600 18446744073709551615 134610240 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9609/statm: 25409 24218 302 138 0 24635 0
Current children cumulated CPU time (s) 1049.53
Current children cumulated vsize (KiB) 144728
[startup+1051.2 s]
/proc/loadavg: 2.00 2.11 2.70 3/452 9735
/proc/meminfo: memFree=29744180/32950928 swapFree=52246700/67111528
[pid=9558] ppid=9556 vsize=34392 CPUtime=40.04 cores=1,3
/proc/9558/stat : 9558 (python) S 9556 9558 8652 0 -1 4202496 3668 55182 0 0 2 2 3992 8 19 0 1 0 895841356 35217408 1407 33554432000 4194304 5683644 140733654502896 18446744073709551615 231895490304 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/9558/statm: 8598 1407 468 364 0 932 0
[pid=9560] ppid=9558 vsize=0 CPUtime=15.22 cores=1,3
/proc/9560/stat : 9560 (features) Z 9558 9558 8652 0 -1 4202524 5126 0 0 0 1516 6 0 0 25 0 1 0 895841361 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9560/statm: 0 0 0 0 0 0 0
[pid=9583] ppid=9558 vsize=0 CPUtime=0.31 cores=1,3
/proc/9583/stat : 9583 (coach) Z 9558 9558 8652 0 -1 4202524 3736 0 0 0 31 0 0 0 20 0 1 0 895842884 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9583/statm: 0 0 0 0 0 0 0
[pid=9608] ppid=9558 vsize=8700 CPUtime=0 cores=1,3
/proc/9608/stat : 9608 (timerun) S 9558 9558 8652 0 -1 4202496 743 0 0 0 0 0 0 0 20 0 1 0 895846922 8908800 248 33554432000 4194304 4922060 140736253548400 18446744073709551615 231895309445 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9608/statm: 2175 248 208 178 0 68 0
[pid=9609] ppid=9608 vsize=101636 CPUtime=995.56 cores=1,3
/proc/9609/stat : 9609 (clasp-1.3.6-x86) R 9608 9558 8652 0 -1 4202496 24732 0 0 0 99551 5 0 0 25 0 1 0 895846923 104075264 24218 33554432000 134512640 135075177 4291049600 18446744073709551615 134886411 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9609/statm: 25409 24218 302 138 0 24635 0
Current children cumulated CPU time (s) 1051.13
Current children cumulated vsize (KiB) 144728
[startup+1052.82 s]
/proc/loadavg: 2.00 2.11 2.70 3/452 9735
/proc/meminfo: memFree=29744056/32950928 swapFree=52246700/67111528
[pid=9558] ppid=9556 vsize=34392 CPUtime=40.04 cores=1,3
/proc/9558/stat : 9558 (python) S 9556 9558 8652 0 -1 4202496 3668 55182 0 0 2 2 3992 8 19 0 1 0 895841356 35217408 1407 33554432000 4194304 5683644 140733654502896 18446744073709551615 231895490304 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/9558/statm: 8598 1407 468 364 0 932 0
[pid=9560] ppid=9558 vsize=0 CPUtime=15.22 cores=1,3
/proc/9560/stat : 9560 (features) Z 9558 9558 8652 0 -1 4202524 5126 0 0 0 1516 6 0 0 25 0 1 0 895841361 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9560/statm: 0 0 0 0 0 0 0
[pid=9583] ppid=9558 vsize=0 CPUtime=0.31 cores=1,3
/proc/9583/stat : 9583 (coach) Z 9558 9558 8652 0 -1 4202524 3736 0 0 0 31 0 0 0 20 0 1 0 895842884 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9583/statm: 0 0 0 0 0 0 0
[pid=9608] ppid=9558 vsize=8700 CPUtime=0 cores=1,3
/proc/9608/stat : 9608 (timerun) S 9558 9558 8652 0 -1 4202496 743 0 0 0 0 0 0 0 20 0 1 0 895846922 8908800 248 33554432000 4194304 4922060 140736253548400 18446744073709551615 231895309445 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9608/statm: 2175 248 208 178 0 68 0
[pid=9609] ppid=9608 vsize=101636 CPUtime=997.17 cores=1,3
/proc/9609/stat : 9609 (clasp-1.3.6-x86) R 9608 9558 8652 0 -1 4202496 24732 0 0 0 99712 5 0 0 25 0 1 0 895846923 104075264 24218 33554432000 134512640 135075177 4291049600 18446744073709551615 134610368 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9609/statm: 25409 24218 302 138 0 24635 0
Current children cumulated CPU time (s) 1052.74
Current children cumulated vsize (KiB) 144728
[startup+1053.2 s]
/proc/loadavg: 2.00 2.11 2.70 3/452 9735
/proc/meminfo: memFree=29744056/32950928 swapFree=52246700/67111528
[pid=9558] ppid=9556 vsize=34392 CPUtime=40.04 cores=1,3
/proc/9558/stat : 9558 (python) S 9556 9558 8652 0 -1 4202496 3668 55182 0 0 2 2 3992 8 19 0 1 0 895841356 35217408 1407 33554432000 4194304 5683644 140733654502896 18446744073709551615 231895490304 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/9558/statm: 8598 1407 468 364 0 932 0
[pid=9560] ppid=9558 vsize=0 CPUtime=15.22 cores=1,3
/proc/9560/stat : 9560 (features) Z 9558 9558 8652 0 -1 4202524 5126 0 0 0 1516 6 0 0 25 0 1 0 895841361 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9560/statm: 0 0 0 0 0 0 0
[pid=9583] ppid=9558 vsize=0 CPUtime=0.31 cores=1,3
/proc/9583/stat : 9583 (coach) Z 9558 9558 8652 0 -1 4202524 3736 0 0 0 31 0 0 0 20 0 1 0 895842884 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9583/statm: 0 0 0 0 0 0 0
[pid=9608] ppid=9558 vsize=8700 CPUtime=0 cores=1,3
/proc/9608/stat : 9608 (timerun) S 9558 9558 8652 0 -1 4202496 743 0 0 0 0 0 0 0 20 0 1 0 895846922 8908800 248 33554432000 4194304 4922060 140736253548400 18446744073709551615 231895309445 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9608/statm: 2175 248 208 178 0 68 0
[pid=9609] ppid=9608 vsize=101636 CPUtime=997.56 cores=1,3
/proc/9609/stat : 9609 (clasp-1.3.6-x86) R 9608 9558 8652 0 -1 4202496 24732 0 0 0 99751 5 0 0 25 0 1 0 895846923 104075264 24218 33554432000 134512640 135075177 4291049600 18446744073709551615 134886411 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9609/statm: 25409 24218 302 138 0 24635 0
Current children cumulated CPU time (s) 1053.13
Current children cumulated vsize (KiB) 144728
[startup+1053.6 s]
/proc/loadavg: 2.00 2.11 2.70 3/452 9735
/proc/meminfo: memFree=29744056/32950928 swapFree=52246700/67111528
[pid=9558] ppid=9556 vsize=34392 CPUtime=40.04 cores=1,3
/proc/9558/stat : 9558 (python) S 9556 9558 8652 0 -1 4202496 3668 55182 0 0 2 2 3992 8 19 0 1 0 895841356 35217408 1407 33554432000 4194304 5683644 140733654502896 18446744073709551615 231895490304 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/9558/statm: 8598 1407 468 364 0 932 0
[pid=9560] ppid=9558 vsize=0 CPUtime=15.22 cores=1,3
/proc/9560/stat : 9560 (features) Z 9558 9558 8652 0 -1 4202524 5126 0 0 0 1516 6 0 0 25 0 1 0 895841361 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9560/statm: 0 0 0 0 0 0 0
[pid=9583] ppid=9558 vsize=0 CPUtime=0.31 cores=1,3
/proc/9583/stat : 9583 (coach) Z 9558 9558 8652 0 -1 4202524 3736 0 0 0 31 0 0 0 20 0 1 0 895842884 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9583/statm: 0 0 0 0 0 0 0
[pid=9608] ppid=9558 vsize=8700 CPUtime=0 cores=1,3
/proc/9608/stat : 9608 (timerun) S 9558 9558 8652 0 -1 4202496 743 0 0 0 0 0 0 0 20 0 1 0 895846922 8908800 248 33554432000 4194304 4922060 140736253548400 18446744073709551615 231895309445 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9608/statm: 2175 248 208 178 0 68 0
[pid=9609] ppid=9608 vsize=101636 CPUtime=997.96 cores=1,3
/proc/9609/stat : 9609 (clasp-1.3.6-x86) R 9608 9558 8652 0 -1 4202496 24732 0 0 0 99791 5 0 0 25 0 1 0 895846923 104075264 24218 33554432000 134512640 135075177 4291049600 18446744073709551615 134610232 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9609/statm: 25409 24218 302 138 0 24635 0
Current children cumulated CPU time (s) 1053.53
Current children cumulated vsize (KiB) 144728
[startup+1053.7 s]
/proc/loadavg: 2.00 2.11 2.70 3/452 9735
/proc/meminfo: memFree=29744056/32950928 swapFree=52246700/67111528
[pid=9558] ppid=9556 vsize=34392 CPUtime=40.04 cores=1,3
/proc/9558/stat : 9558 (python) S 9556 9558 8652 0 -1 4202496 3668 55182 0 0 2 2 3992 8 19 0 1 0 895841356 35217408 1407 33554432000 4194304 5683644 140733654502896 18446744073709551615 231895490304 0 0 16781312 2 18446744071562362840 0 0 17 1 0 0 0
/proc/9558/statm: 8598 1407 468 364 0 932 0
[pid=9560] ppid=9558 vsize=0 CPUtime=15.22 cores=1,3
/proc/9560/stat : 9560 (features) Z 9558 9558 8652 0 -1 4202524 5126 0 0 0 1516 6 0 0 25 0 1 0 895841361 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9560/statm: 0 0 0 0 0 0 0
[pid=9583] ppid=9558 vsize=0 CPUtime=0.31 cores=1,3
/proc/9583/stat : 9583 (coach) Z 9558 9558 8652 0 -1 4202524 3736 0 0 0 31 0 0 0 20 0 1 0 895842884 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9583/statm: 0 0 0 0 0 0 0
[pid=9608] ppid=9558 vsize=8700 CPUtime=0 cores=1,3
/proc/9608/stat : 9608 (timerun) S 9558 9558 8652 0 -1 4202496 743 0 0 0 0 0 0 0 20 0 1 0 895846922 8908800 248 33554432000 4194304 4922060 140736253548400 18446744073709551615 231895309445 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9608/statm: 2175 248 208 178 0 68 0
[pid=9609] ppid=9608 vsize=101636 CPUtime=998.06 cores=1,3
/proc/9609/stat : 9609 (clasp-1.3.6-x86) R 9608 9558 8652 0 -1 4202496 24732 0 0 0 99801 5 0 0 25 0 1 0 895846923 104075264 24218 33554432000 134512640 135075177 4291049600 18446744073709551615 134886411 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/9609/statm: 25409 24218 302 138 0 24635 0
Current children cumulated CPU time (s) 1053.63
Current children cumulated vsize (KiB) 144728
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9558 and gives
# childrusage.ru_utime.tv_sec=55
# childrusage.ru_utime.tv_usec=447570
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=182972
# CPU time returned by wait4() is 55.6305
# while last known CPU time is 1053.63
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1053.72
CPU time (s): 1053.63
CPU user time (s): 1053.42
CPU system time (s): 0.21
CPU usage (%): 99.9911
Max. virtual memory (cumulated for all children) (KiB): 1069584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.4476
system time used= 0.182972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68330
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= 341
involuntary context switches= 248
runsolver used 4.29935 second user time and 11.4743 second system time
The end