0.00/0.00 c clasp version 2.0.0-RC2
0.00/0.00 c Reading from ...392876/instance-3322676-1304392876.cnf
0.59/0.67 c Solving...
11592.80/1653.06 c Answer: 1
11592.80/1653.06 v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20
11592.80/1653.06 v -21 -22 -23 -24 -25 -26 27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38
11592.80/1653.06 v -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 50 -51 -52 -53 -54 -55 -56
11592.80/1653.06 v -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74
11592.80/1653.06 v -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 89 -90 -91 -92
11592.80/1653.06 v -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 105 -106 -107 -108
11592.80/1653.06 v -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123
11592.80/1653.06 v -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138
11592.80/1653.06 v -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153
11592.80/1653.06 v -154 155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168
11592.80/1653.06 v -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183
11592.80/1653.06 v -184 185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198
11592.80/1653.06 v -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213
11592.80/1653.06 v -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228
11592.80/1653.06 v -229 -230 -231 -232 233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243
11592.80/1653.06 v 244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258
11592.80/1653.06 v -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273
11592.80/1653.06 v -274 -275 -276 -277 -278 279 -280 -281 -282 -283 -284 -285 -286 -287 -288
11592.80/1653.06 v -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303
11592.80/1653.06 v -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318
11592.80/1653.06 v -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333
11592.80/1653.06 v 334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348
11592.80/1653.06 v -349 -350 -351 -352 -353 354 -355 -356 -357 -358 -359 -360 -361 -362 -363
11592.80/1653.06 v -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 378
11592.80/1653.06 v -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393
11592.80/1653.06 v -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408
11592.80/1653.06 v -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423
11592.80/1653.06 v -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438
11592.80/1653.06 v -439 440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453
11592.80/1653.06 v -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468
11592.80/1653.06 v -469 -470 -471 -472 473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483
11592.80/1653.06 v -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498
11592.80/1653.06 v -499 -500 -501 502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513
11592.80/1653.06 v -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528
11592.80/1653.06 v -529 -530 -531 -532 -533 534 -535 -536 -537 -538 -539 -540 -541 -542 -543
11592.80/1653.06 v -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558
11592.80/1653.06 v -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573
11592.80/1653.06 v -574 -575 -576 577 -578 -579 -580 -581 -582 583 -584 -585 -586 -587 -588
11592.80/1653.06 v -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603
11592.80/1653.06 v -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618
11592.80/1653.06 v -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 632 -633
11592.80/1653.06 v -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648
11592.80/1653.06 v -649 -650 -651 -652 -653 -654 655 -656 -657 -658 -659 -660 -661 -662 -663
11592.80/1653.06 v -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678
11592.80/1653.06 v -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693
11592.80/1653.06 v -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708
11592.80/1653.06 v -709 -710 -711 -712 -713 714 -715 -716 -717 -718 -719 -720 -721 -722 -723
11592.80/1653.06 v 724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738
11592.80/1653.06 v -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753
11592.80/1653.06 v -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768
11592.80/1653.06 v -769 -770 771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783
11592.80/1653.06 v -784 -785 -786 -787 -788 -789 -790 -791 -792 793 -794 -795 -796 -797 -798
11592.80/1653.06 v -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813
11592.80/1653.06 v -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 824 -825 -826 -827 -828
11592.80/1653.06 v -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843
11592.80/1653.06 v -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858
11592.80/1653.06 v -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873
11592.80/1653.06 v -874 -875 -876 -877 -878 -879 880 -881 -882 -883 -884 -885 -886 -887 -888
11592.80/1653.06 v -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903
11592.80/1653.06 v -904 -905 906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918
11592.80/1653.06 v -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933
11592.80/1653.06 v -934 935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948
11592.80/1653.06 v -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961 -962 -963
11592.80/1653.06 v -964 -965 -966 -967 -968 -969 970 -971 -972 -973 -974 -975 -976 -977 -978
11592.80/1653.06 v -979 -980 -981 -982 -983 -984 -985 -986 987 -988 -989 -990 -991 -992 -993
11592.80/1653.06 v -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006
11592.80/1653.06 v -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018
11592.80/1653.06 v -1019 -1020 -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030
11592.80/1653.06 v -1031 1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042
11592.80/1653.06 v -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054
11592.80/1653.06 v -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063 -1064 -1065 -1066
11592.80/1653.06 v -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078
11592.80/1653.06 v 1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 1090 -1091
11592.80/1653.06 v -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103
11592.80/1653.06 v -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115
11592.80/1653.06 v -1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127
11592.80/1653.06 v -1128 -1129 -1130 -1131 -1132 -1133 -1134 1135 -1136 -1137 -1138 -1139
11592.80/1653.06 v -1140 -1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150 -1151
11592.80/1653.06 v -1152 -1153 -1154 -1155 -1156 0
11595.38/1655.28 s SATISFIABLE
11595.38/1655.28
11595.38/1655.28 c Models : 1+
11595.38/1655.28 c Time : 1654.931s (Solving: 1654.26s 1st Model: 1652.39s Unsat: 0.00s)
11595.38/1655.28 c CPU Time : 11595.110s
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3322676-1304392876/watcher-3322676-1304392876 -o /tmp/evaluation-result-3322676-1304392876/solver-3322676-1304392876 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322676-1304392876.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 9.03 9.06 9.02 2/348 31688
/proc/meminfo: memFree=19824920/32951124 swapFree=67111356/67111528
[pid=31688] ppid=31686 vsize=22776 CPUtime=0 cores=0-7
/proc/31688/stat : 31688 (claspmt) R 31686 31688 31525 0 -1 4202496 1076 0 0 0 0 0 0 0 25 0 1 0 550885341 23322624 907 33554432000 4194304 4964704 140733227535600 18446744073709551615 218905391813 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31688/statm: 5694 908 386 189 0 568 0
[startup+0.0193719 s]
/proc/loadavg: 9.03 9.06 9.02 2/348 31688
/proc/meminfo: memFree=19824920/32951124 swapFree=67111356/67111528
[pid=31688] ppid=31686 vsize=23992 CPUtime=0.01 cores=0-7
/proc/31688/stat : 31688 (claspmt) R 31686 31688 31525 0 -1 4202496 1462 0 0 0 1 0 0 0 25 0 1 0 550885341 24567808 1212 33554432000 4194304 4964704 140733227535600 18446744073709551615 4309940 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31688/statm: 5998 1213 386 189 0 872 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 23992
[startup+0.100347 s]
/proc/loadavg: 9.03 9.06 9.02 2/348 31688
/proc/meminfo: memFree=19824920/32951124 swapFree=67111356/67111528
[pid=31688] ppid=31686 vsize=34920 CPUtime=0.09 cores=0-7
/proc/31688/stat : 31688 (claspmt) R 31686 31688 31525 0 -1 4202496 4761 0 0 0 9 0 0 0 25 0 1 0 550885341 35758080 3928 33554432000 4194304 4964704 140733227535600 18446744073709551615 4607616 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31688/statm: 8730 3928 399 189 0 3604 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34920
[startup+0.300324 s]
/proc/loadavg: 9.03 9.06 9.02 2/348 31688
/proc/meminfo: memFree=19824920/32951124 swapFree=67111356/67111528
[pid=31688] ppid=31686 vsize=34920 CPUtime=0.29 cores=0-7
/proc/31688/stat : 31688 (claspmt) R 31686 31688 31525 0 -1 4202496 4762 0 0 0 29 0 0 0 25 0 1 0 550885341 35758080 3929 33554432000 4194304 4964704 140733227535600 18446744073709551615 4607575 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31688/statm: 8730 3929 399 189 0 3604 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34920
[startup+0.700239 s]
/proc/loadavg: 9.03 9.06 9.02 2/348 31688
/proc/meminfo: memFree=19824920/32951124 swapFree=67111356/67111528
[pid=31688] ppid=31686 vsize=130836 CPUtime=0.69 cores=0-7
/proc/31688/stat : 31688 (claspmt) S 31686 31688 31525 0 -1 4202496 4901 0 0 0 69 0 0 0 25 0 8 0 550885341 133976064 3687 33554432000 4194304 4964704 140733227535600 18446744073709551615 218917546905 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31688/statm: 32709 3687 436 189 0 27058 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 130836
[startup+1.50106 s]
/proc/loadavg: 9.03 9.06 9.02 10/356 31696
/proc/meminfo: memFree=19810108/32951124 swapFree=67111356/67111528
[pid=31688] ppid=31686 vsize=196372 CPUtime=5.97 cores=0-7
/proc/31688/stat : 31688 (claspmt) R 31686 31688 31525 0 -1 4202496 6660 0 0 0 596 1 0 0 25 0 8 0 550885341 201084928 5446 33554432000 4194304 4964704 140733227535600 18446744073709551615 4359908 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/31688/statm: 49093 5446 464 189 0 43442 0
[pid=31688/tid=31690] ppid=31686 vsize=196372 CPUtime=0.35 cores=0-7
/proc/31688/task/31690/stat : 31690 (claspmt) R 31686 31688 31525 0 -1 4202560 91 0 0 0 35 0 0 0 25 0 8 0 550885408 201084928 5446 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668618 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31688/tid=31691] ppid=31686 vsize=196372 CPUtime=0.75 cores=0-7
/proc/31688/task/31691/stat : 31691 (claspmt) R 31686 31688 31525 0 -1 4202560 385 0 0 0 75 0 0 0 25 0 8 0 550885408 201084928 5446 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31688/tid=31692] ppid=31686 vsize=196372 CPUtime=0.4 cores=0-7
/proc/31688/task/31692/stat : 31692 (claspmt) R 31686 31688 31525 0 -1 4202560 83 0 0 0 40 0 0 0 25 0 8 0 550885408 201084928 5446 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668609 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31688/tid=31693] ppid=31686 vsize=196372 CPUtime=0.71 cores=0-7
/proc/31688/task/31693/stat : 31693 (claspmt) R 31686 31688 31525 0 -1 4202560 232 0 0 0 71 0 0 0 25 0 8 0 550885408 201084928 5446 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668998 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31688/tid=31694] ppid=31686 vsize=196372 CPUtime=0.82 cores=0-7
/proc/31688/task/31694/stat : 31694 (claspmt) R 31686 31688 31525 0 -1 4202560 21 0 0 0 82 0 0 0 25 0 8 0 550885408 201084928 5446 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668657 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31688/tid=31695] ppid=31686 vsize=196372 CPUtime=0.74 cores=0-7
/proc/31688/task/31695/stat : 31695 (claspmt) R 31686 31688 31525 0 -1 4202560 298 0 0 0 74 0 0 0 25 0 8 0 550885408 201084928 5446 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670440 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31688/tid=31696] ppid=31686 vsize=196372 CPUtime=0.74 cores=0-7
/proc/31688/task/31696/stat : 31696 (claspmt) R 31686 31688 31525 0 -1 4202560 503 0 0 0 74 0 0 0 25 0 8 0 550885408 201084928 5446 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668690 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 196372
[startup+3.10077 s]
/proc/loadavg: 9.03 9.06 9.02 10/356 31696
/proc/meminfo: memFree=19802548/32951124 swapFree=67111356/67111528
[pid=31688] ppid=31686 vsize=262568 CPUtime=17.14 cores=0-7
/proc/31688/stat : 31688 (claspmt) R 31686 31688 31525 0 -1 4202496 8870 0 0 0 1712 2 0 0 25 0 8 0 550885341 268869632 7656 33554432000 4194304 4964704 140733227535600 18446744073709551615 4653319 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/31688/statm: 65642 7656 464 189 0 59991 0
[pid=31688/tid=31690] ppid=31686 vsize=262568 CPUtime=1.15 cores=0-7
/proc/31688/task/31690/stat : 31690 (claspmt) R 31686 31688 31525 0 -1 4202560 294 0 0 0 115 0 0 0 25 0 8 0 550885408 268869632 7656 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668629 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31688/tid=31691] ppid=31686 vsize=262568 CPUtime=2.34 cores=0-7
/proc/31688/task/31691/stat : 31691 (claspmt) R 31686 31688 31525 0 -1 4202560 951 0 0 0 234 0 0 0 25 0 8 0 550885408 268869632 7656 33554432000 4194304 4964704 140733227535600 18446744073709551615 4669277 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31688/tid=31692] ppid=31686 vsize=262568 CPUtime=1.25 cores=0-7
/proc/31688/task/31692/stat : 31692 (claspmt) R 31686 31688 31525 0 -1 4202560 208 0 0 0 125 0 0 0 25 0 8 0 550885408 268869632 7656 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31688/tid=31693] ppid=31686 vsize=262568 CPUtime=2.29 cores=0-7
/proc/31688/task/31693/stat : 31693 (claspmt) R 31686 31688 31525 0 -1 4202560 564 0 0 0 229 0 0 0 25 0 8 0 550885408 268869632 7656 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31688/tid=31694] ppid=31686 vsize=262568 CPUtime=2.42 cores=0-7
/proc/31688/task/31694/stat : 31694 (claspmt) R 31686 31688 31525 0 -1 4202560 59 0 0 0 242 0 0 0 25 0 8 0 550885408 268869632 7656 33554432000 4194304 4964704 140733227535600 18446744073709551615 4627540 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31688/tid=31695] ppid=31686 vsize=262568 CPUtime=2.34 cores=0-7
/proc/31688/task/31695/stat : 31695 (claspmt) R 31686 31688 31525 0 -1 4202560 532 0 0 0 234 0 0 0 25 0 8 0 550885408 268869632 7656 33554432000 4194304 4964704 140733227535600 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31688/tid=31696] ppid=31686 vsize=262568 CPUtime=2.27 cores=0-7
/proc/31688/task/31696/stat : 31696 (claspmt) R 31686 31688 31525 0 -1 4202560 959 0 0 0 227 0 0 0 25 0 8 0 550885408 268869632 7657 33554432000 4194304 4964704 140733227535600 18446744073709551615 218905836014 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 17.14
Current children cumulated vsize (KiB) 262568
[startup+6.30119 s]
/proc/loadavg: 9.03 9.05 9.02 10/356 31696
/proc/meminfo: memFree=19780688/32951124 swapFree=67111356/67111528
[pid=31688] ppid=31686 vsize=267824 CPUtime=39.49 cores=0-7
/proc/31688/stat : 31688 (claspmt) R 31686 31688 31525 0 -1 4202496 14558 0 0 0 3944 5 0 0 25 0 8 0 550885341 274251776 13344 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/31688/statm: 66956 13344 464 189 0 61305 0
[pid=31688/tid=31690] ppid=31686 vsize=267824 CPUtime=3.66 cores=0-7
/proc/31688/task/31690/stat : 31690 (claspmt) R 31686 31688 31525 0 -1 4202560 813 0 0 0 366 0 0 0 25 0 8 0 550885408 274251776 13344 33554432000 4194304 4964704 140733227535600 18446744073709551615 218905836014 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31688/tid=31691] ppid=31686 vsize=267824 CPUtime=5.55 cores=0-7
/proc/31688/task/31691/stat : 31691 (claspmt) R 31686 31688 31525 0 -1 4202560 2251 0 0 0 554 1 0 0 18 0 8 0 550885408 274251776 13344 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668676 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31688/tid=31692] ppid=31686 vsize=267824 CPUtime=4.12 cores=0-7
/proc/31688/task/31692/stat : 31692 (claspmt) R 31686 31688 31525 0 -1 4202560 724 0 0 0 412 0 0 0 25 0 8 0 550885408 274251776 13344 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31688/tid=31693] ppid=31686 vsize=267824 CPUtime=5.45 cores=0-7
/proc/31688/task/31693/stat : 31693 (claspmt) R 31686 31688 31525 0 -1 4202560 1483 0 0 0 545 0 0 0 25 0 8 0 550885408 274251776 13344 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668645 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31688/tid=31694] ppid=31686 vsize=267824 CPUtime=5.4 cores=0-7
/proc/31688/task/31694/stat : 31694 (claspmt) R 31686 31688 31525 0 -1 4202560 336 0 0 0 540 0 0 0 25 0 8 0 550885408 274251776 13344 33554432000 4194304 4964704 140733227535600 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31688/tid=31695] ppid=31686 vsize=267824 CPUtime=5.53 cores=0-7
/proc/31688/task/31695/stat : 31695 (claspmt) R 31686 31688 31525 0 -1 4202560 1256 0 0 0 553 0 0 0 25 0 8 0 550885408 274251776 13344 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668714 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31688/tid=31696] ppid=31686 vsize=267824 CPUtime=4.16 cores=0-7
/proc/31688/task/31696/stat : 31696 (claspmt) R 31686 31688 31525 0 -1 4202560 1869 0 0 0 416 0 0 0 25 0 8 0 550885408 274251776 13344 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668673 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 39.49
Current children cumulated vsize (KiB) 267824
[startup+12.701 s]
/proc/loadavg: 9.11 9.07 9.02 10/356 31696
/proc/meminfo: memFree=19741800/32951124 swapFree=67111356/67111528
[pid=31688] ppid=31686 vsize=339112 CPUtime=84.19 cores=0-7
/proc/31688/stat : 31688 (claspmt) R 31686 31688 31525 0 -1 4202496 23049 0 0 0 8407 12 0 0 25 0 8 0 550885341 347250688 21835 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668654 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/31688/statm: 84778 21835 464 189 0 79127 0
[pid=31688/tid=31690] ppid=31686 vsize=339112 CPUtime=6.65 cores=0-7
/proc/31688/task/31690/stat : 31690 (claspmt) R 31686 31688 31525 0 -1 4202560 1355 0 0 0 664 1 0 0 23 0 8 0 550885408 347250688 21835 33554432000 4194304 4964704 140733227535600 18446744073709551615 218905836014 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31688/tid=31691] ppid=31686 vsize=339112 CPUtime=11.52 cores=0-7
/proc/31688/task/31691/stat : 31691 (claspmt) R 31686 31688 31525 0 -1 4202560 3998 0 0 0 1151 1 0 0 25 0 8 0 550885408 347250688 21835 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31688/tid=31692] ppid=31686 vsize=339112 CPUtime=10.52 cores=0-7
/proc/31688/task/31692/stat : 31692 (claspmt) R 31686 31688 31525 0 -1 4202560 1533 0 0 0 1051 1 0 0 25 0 8 0 550885408 347250688 21835 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668693 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31688/tid=31693] ppid=31686 vsize=339112 CPUtime=11.82 cores=0-7
/proc/31688/task/31693/stat : 31693 (claspmt) R 31686 31688 31525 0 -1 4202560 2366 0 0 0 1181 1 0 0 25 0 8 0 550885408 347250688 21835 33554432000 4194304 4964704 140733227535600 18446744073709551615 4669296 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31688/tid=31694] ppid=31686 vsize=339112 CPUtime=11.47 cores=0-7
/proc/31688/task/31694/stat : 31694 (claspmt) R 31686 31688 31525 0 -1 4202560 1474 0 0 0 1146 1 0 0 25 0 8 0 550885408 347250688 21835 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668673 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31688/tid=31695] ppid=31686 vsize=339112 CPUtime=11.8 cores=0-7
/proc/31688/task/31695/stat : 31695 (claspmt) R 31686 31688 31525 0 -1 4202560 2011 0 0 0 1179 1 0 0 20 0 8 0 550885408 347250688 21835 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668645 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31688/tid=31696] ppid=31686 vsize=339112 CPUtime=9.36 cores=0-7
/proc/31688/task/31696/stat : 31696 (claspmt) R 31686 31688 31525 0 -1 4202560 3808 0 0 0 935 1 0 0 25 0 8 0 550885408 347250688 21835 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 84.19
Current children cumulated vsize (KiB) 339112
[startup+25.5007 s]
/proc/loadavg: 9.08 9.07 9.02 10/356 31697
/proc/meminfo: memFree=19706628/32951124 swapFree=67111356/67111528
[pid=31688] ppid=31686 vsize=408236 CPUtime=173.59 cores=0-7
/proc/31688/stat : 31688 (claspmt) R 31686 31688 31525 0 -1 4202496 31866 0 0 0 17341 18 0 0 25 0 8 0 550885341 418033664 30652 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668654 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/31688/statm: 102059 30652 466 189 0 96408 0
[pid=31688/tid=31690] ppid=31686 vsize=408236 CPUtime=16.31 cores=0-7
/proc/31688/task/31690/stat : 31690 (claspmt) R 31686 31688 31525 0 -1 4202560 1872 0 0 0 1630 1 0 0 25 0 8 0 550885408 418033664 30652 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668657 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31688/tid=31691] ppid=31686 vsize=408236 CPUtime=24.31 cores=0-7
/proc/31688/task/31691/stat : 31691 (claspmt) R 31686 31688 31525 0 -1 4202560 5950 0 0 0 2429 2 0 0 25 0 8 0 550885408 418033664 30652 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31688/tid=31692] ppid=31686 vsize=408236 CPUtime=20.97 cores=0-7
/proc/31688/task/31692/stat : 31692 (claspmt) R 31686 31688 31525 0 -1 4202560 2284 0 0 0 2096 1 0 0 25 0 8 0 550885408 418033664 30652 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668673 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31688/tid=31693] ppid=31686 vsize=408236 CPUtime=24.52 cores=0-7
/proc/31688/task/31693/stat : 31693 (claspmt) R 31686 31688 31525 0 -1 4202560 3365 0 0 0 2450 2 0 0 25 0 8 0 550885408 418033664 30652 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31688/tid=31694] ppid=31686 vsize=408236 CPUtime=24.26 cores=0-7
/proc/31688/task/31694/stat : 31694 (claspmt) R 31686 31688 31525 0 -1 4202560 2677 0 0 0 2424 2 0 0 25 0 8 0 550885408 418033664 30652 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668676 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31688/tid=31695] ppid=31686 vsize=408236 CPUtime=21.79 cores=0-7
/proc/31688/task/31695/stat : 31695 (claspmt) R 31686 31688 31525 0 -1 4202560 2466 0 0 0 2177 2 0 0 25 0 8 0 550885408 418033664 30652 33554432000 4194304 4964704 140733227535600 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31688/tid=31696] ppid=31686 vsize=408236 CPUtime=20.4 cores=0-7
/proc/31688/task/31696/stat : 31696 (claspmt) R 31686 31688 31525 0 -1 4202560 5835 0 0 0 2037 3 0 0 25 0 8 0 550885408 418033664 30652 33554432000 4194304 4964704 140733227535600 18446744073709551615 4627536 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 173.59
Current children cumulated vsize (KiB) 408236
[startup+51.1011 s]
/proc/loadavg: 9.05 9.06 9.02 10/356 31697
/proc/meminfo: memFree=19655752/32951124 swapFree=67111356/67111528
[pid=31688] ppid=31686 vsize=414876 CPUtime=352.42 cores=0-7
/proc/31688/stat : 31688 (claspmt) R 31686 31688 31525 0 -1 4202496 44345 0 0 0 35215 27 0 0 25 0 8 0 550885341 424833024 43131 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668609 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/31688/statm: 103719 43131 466 189 0 98068 0
[pid=31688/tid=31690] ppid=31686 vsize=414876 CPUtime=35.75 cores=0-7
/proc/31688/task/31690/stat : 31690 (claspmt) R 31686 31688 31525 0 -1 4202560 2503 0 0 0 3574 1 0 0 25 0 8 0 550885408 424833024 43131 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668690 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31688/tid=31691] ppid=31686 vsize=414876 CPUtime=47.13 cores=0-7
/proc/31688/task/31691/stat : 31691 (claspmt) R 31686 31688 31525 0 -1 4202560 8318 0 0 0 4708 5 0 0 25 0 8 0 550885408 424833024 43131 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670598 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31688/tid=31692] ppid=31686 vsize=414876 CPUtime=46.55 cores=0-7
/proc/31688/task/31692/stat : 31692 (claspmt) R 31686 31688 31525 0 -1 4202560 3551 0 0 0 4652 3 0 0 25 0 8 0 550885408 424833024 43131 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668629 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31688/tid=31693] ppid=31686 vsize=414876 CPUtime=48.58 cores=0-7
/proc/31688/task/31693/stat : 31693 (claspmt) R 31686 31688 31525 0 -1 4202560 4695 0 0 0 4856 2 0 0 25 0 8 0 550885408 424833024 43131 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668673 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31688/tid=31694] ppid=31686 vsize=414876 CPUtime=49.34 cores=0-7
/proc/31688/task/31694/stat : 31694 (claspmt) R 31686 31688 31525 0 -1 4202560 4685 0 0 0 4931 3 0 0 25 0 8 0 550885408 424833024 43131 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31688/tid=31695] ppid=31686 vsize=414876 CPUtime=39.36 cores=0-7
/proc/31688/task/31695/stat : 31695 (claspmt) R 31686 31688 31525 0 -1 4202560 3208 0 0 0 3934 2 0 0 25 0 8 0 550885408 424833024 43131 33554432000 4194304 4964704 140733227535600 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31688/tid=31696] ppid=31686 vsize=414876 CPUtime=39.39 cores=0-7
/proc/31688/task/31696/stat : 31696 (claspmt) R 31686 31688 31525 0 -1 4202560 8766 0 0 0 3934 5 0 0 25 0 8 0 550885408 424833024 43131 33554432000 4194304 4964704 140733227535600 18446744073709551615 4367090 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 352.42
################
# More data... #
################
/proc/31688/task/31691/stat : 31691 (claspmt) R 31686 31688 31525 0 -1 4202560 32769 0 0 0 154358 26 0 0 25 0 8 0 550885408 1160708096 205503 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31688/tid=31692] ppid=31686 vsize=1133504 CPUtime=1263.36 cores=0-7
/proc/31688/task/31692/stat : 31692 (claspmt) R 31686 31688 31525 0 -1 4202560 12978 0 0 0 126321 15 0 0 25 0 8 0 550885408 1160708096 205503 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31688/tid=31693] ppid=31686 vsize=1133504 CPUtime=1452.31 cores=0-7
/proc/31688/task/31693/stat : 31693 (claspmt) R 31686 31688 31525 0 -1 4202560 20716 0 0 0 145215 16 0 0 25 0 8 0 550885408 1160708096 205503 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31688/tid=31694] ppid=31686 vsize=1133504 CPUtime=1365.21 cores=0-7
/proc/31688/task/31694/stat : 31694 (claspmt) R 31686 31688 31525 0 -1 4202560 20614 0 0 0 136503 18 0 0 25 0 8 0 550885408 1160708096 205503 33554432000 4194304 4964704 140733227535600 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31688/tid=31695] ppid=31686 vsize=1133504 CPUtime=1401.32 cores=0-7
/proc/31688/task/31695/stat : 31695 (claspmt) R 31686 31688 31525 0 -1 4202560 16154 0 0 0 140115 17 0 0 25 0 8 0 550885408 1160708096 205503 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31688/tid=31696] ppid=31686 vsize=1133504 CPUtime=1493.23 cores=0-7
/proc/31688/task/31696/stat : 31696 (claspmt) R 31686 31688 31525 0 -1 4202560 65974 0 0 0 149239 84 0 0 25 0 8 0 550885408 1160708096 205503 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670450 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11238.5
Current children cumulated vsize (KiB) 1133504
Solver just ended. Dumping a history of the last processes samples
[startup+1612.7 s]
/proc/loadavg: 9.05 9.04 9.00 10/356 31739
/proc/meminfo: memFree=19003440/32951124 swapFree=67111356/67111528
[pid=31688] ppid=31686 vsize=1133936 CPUtime=11311.2 cores=0-7
/proc/31688/stat : 31688 (claspmt) R 31686 31688 31525 0 -1 4202496 210646 0 0 0 1130901 216 0 0 25 0 8 0 550885341 1161150464 205859 33554432000 4194304 4964704 140733227535600 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/31688/statm: 283484 205859 466 189 0 277833 0
[pid=31688/tid=31690] ppid=31686 vsize=1133936 CPUtime=1328.71 cores=0-7
/proc/31688/task/31690/stat : 31690 (claspmt) R 31686 31688 31525 0 -1 4202560 17748 0 0 0 132858 13 0 0 25 0 8 0 550885408 1161150464 205859 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31688/tid=31691] ppid=31686 vsize=1133936 CPUtime=1554.23 cores=0-7
/proc/31688/task/31691/stat : 31691 (claspmt) R 31686 31688 31525 0 -1 4202560 33005 0 0 0 155397 26 0 0 25 0 8 0 550885408 1161150464 205859 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31688/tid=31692] ppid=31686 vsize=1133936 CPUtime=1273.76 cores=0-7
/proc/31688/task/31692/stat : 31692 (claspmt) R 31686 31688 31525 0 -1 4202560 12978 0 0 0 127361 15 0 0 25 0 8 0 550885408 1161150464 205859 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670233 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31688/tid=31693] ppid=31686 vsize=1133936 CPUtime=1462.71 cores=0-7
/proc/31688/task/31693/stat : 31693 (claspmt) R 31686 31688 31525 0 -1 4202560 20824 0 0 0 146255 16 0 0 25 0 8 0 550885408 1161150464 205859 33554432000 4194304 4964704 140733227535600 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31688/tid=31694] ppid=31686 vsize=1133936 CPUtime=1375.6 cores=0-7
/proc/31688/task/31694/stat : 31694 (claspmt) R 31686 31688 31525 0 -1 4202560 20616 0 0 0 137542 18 0 0 25 0 8 0 550885408 1161150464 205859 33554432000 4194304 4964704 140733227535600 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31688/tid=31695] ppid=31686 vsize=1133936 CPUtime=1411.59 cores=0-7
/proc/31688/task/31695/stat : 31695 (claspmt) R 31686 31688 31525 0 -1 4202560 16154 0 0 0 141142 17 0 0 25 0 8 0 550885408 1161150464 205859 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31688/tid=31696] ppid=31686 vsize=1133936 CPUtime=1503.63 cores=0-7
/proc/31688/task/31696/stat : 31696 (claspmt) R 31686 31688 31525 0 -1 4202560 65974 0 0 0 150279 84 0 0 25 0 8 0 550885408 1161150464 205859 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668629 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11311.2
Current children cumulated vsize (KiB) 1133936
[startup+1638.3 s]
/proc/loadavg: 9.03 9.04 9.00 10/356 31740
/proc/meminfo: memFree=18992408/32951124 swapFree=67111356/67111528
[pid=31688] ppid=31686 vsize=1133936 CPUtime=11490.1 cores=0-7
/proc/31688/stat : 31688 (claspmt) R 31686 31688 31525 0 -1 4202496 213453 0 0 0 1148786 221 0 0 25 0 8 0 550885341 1161150464 208613 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668654 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/31688/statm: 283484 208613 466 189 0 277833 0
[pid=31688/tid=31690] ppid=31686 vsize=1133936 CPUtime=1341.7 cores=0-7
/proc/31688/task/31690/stat : 31690 (claspmt) R 31686 31688 31525 0 -1 4202560 17871 0 0 0 134157 13 0 0 25 0 8 0 550885408 1161150464 208613 33554432000 4194304 4964704 140733227535600 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31688/tid=31691] ppid=31686 vsize=1133936 CPUtime=1579.83 cores=0-7
/proc/31688/task/31691/stat : 31691 (claspmt) R 31686 31688 31525 0 -1 4202560 33415 0 0 0 157957 26 0 0 25 0 8 0 550885408 1161150464 208613 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31688/tid=31692] ppid=31686 vsize=1133936 CPUtime=1299.36 cores=0-7
/proc/31688/task/31692/stat : 31692 (claspmt) R 31686 31688 31525 0 -1 4202560 12987 0 0 0 129921 15 0 0 25 0 8 0 550885408 1161150464 208613 33554432000 4194304 4964704 140733227535600 18446744073709551615 4669472 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31688/tid=31693] ppid=31686 vsize=1133936 CPUtime=1488.31 cores=0-7
/proc/31688/task/31693/stat : 31693 (claspmt) R 31686 31688 31525 0 -1 4202560 21653 0 0 0 148813 18 0 0 25 0 8 0 550885408 1161150464 208613 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31688/tid=31694] ppid=31686 vsize=1133936 CPUtime=1401.21 cores=0-7
/proc/31688/task/31694/stat : 31694 (claspmt) R 31686 31688 31525 0 -1 4202560 20810 0 0 0 140102 19 0 0 25 0 8 0 550885408 1161150464 208613 33554432000 4194304 4964704 140733227535600 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31688/tid=31695] ppid=31686 vsize=1133936 CPUtime=1436.89 cores=0-7
/proc/31688/task/31695/stat : 31695 (claspmt) R 31686 31688 31525 0 -1 4202560 16208 0 0 0 143672 17 0 0 25 0 8 0 550885408 1161150464 208613 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668652 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31688/tid=31696] ppid=31686 vsize=1133936 CPUtime=1529.22 cores=0-7
/proc/31688/task/31696/stat : 31696 (claspmt) R 31686 31688 31525 0 -1 4202560 67135 0 0 0 152836 86 0 0 25 0 8 0 550885408 1161150464 208613 33554432000 4194304 4964704 140733227535600 18446744073709551615 4365104 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11490.1
Current children cumulated vsize (KiB) 1133936
[startup+1644.7 s]
/proc/loadavg: 9.03 9.04 9.00 10/356 31740
/proc/meminfo: memFree=18991520/32951124 swapFree=67111356/67111528
[pid=31688] ppid=31686 vsize=1133936 CPUtime=11534.8 cores=0-7
/proc/31688/stat : 31688 (claspmt) R 31686 31688 31525 0 -1 4202496 213667 0 0 0 1153259 221 0 0 25 0 8 0 550885341 1161150464 208827 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668654 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/31688/statm: 283484 208827 466 189 0 277833 0
[pid=31688/tid=31690] ppid=31686 vsize=1133936 CPUtime=1344.9 cores=0-7
/proc/31688/task/31690/stat : 31690 (claspmt) R 31686 31688 31525 0 -1 4202560 17876 0 0 0 134477 13 0 0 25 0 8 0 550885408 1161150464 208827 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670269 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31688/tid=31691] ppid=31686 vsize=1133936 CPUtime=1586.23 cores=0-7
/proc/31688/task/31691/stat : 31691 (claspmt) R 31686 31688 31525 0 -1 4202560 33492 0 0 0 158597 26 0 0 25 0 8 0 550885408 1161150464 208827 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31688/tid=31692] ppid=31686 vsize=1133936 CPUtime=1305.76 cores=0-7
/proc/31688/task/31692/stat : 31692 (claspmt) R 31686 31688 31525 0 -1 4202560 12987 0 0 0 130561 15 0 0 25 0 8 0 550885408 1161150464 208827 33554432000 4194304 4964704 140733227535600 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31688/tid=31693] ppid=31686 vsize=1133936 CPUtime=1494.71 cores=0-7
/proc/31688/task/31693/stat : 31693 (claspmt) R 31686 31688 31525 0 -1 4202560 21653 0 0 0 149453 18 0 0 25 0 8 0 550885408 1161150464 208827 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31688/tid=31694] ppid=31686 vsize=1133936 CPUtime=1407.61 cores=0-7
/proc/31688/task/31694/stat : 31694 (claspmt) R 31686 31688 31525 0 -1 4202560 20942 0 0 0 140742 19 0 0 25 0 8 0 550885408 1161150464 208827 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31688/tid=31695] ppid=31686 vsize=1133936 CPUtime=1443.21 cores=0-7
/proc/31688/task/31695/stat : 31695 (claspmt) R 31686 31688 31525 0 -1 4202560 16208 0 0 0 144304 17 0 0 25 0 8 0 550885408 1161150464 208827 33554432000 4194304 4964704 140733227535600 18446744073709551615 4361365 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31688/tid=31696] ppid=31686 vsize=1133936 CPUtime=1535.62 cores=0-7
/proc/31688/task/31696/stat : 31696 (claspmt) R 31686 31688 31525 0 -1 4202560 67135 0 0 0 153476 86 0 0 25 0 8 0 550885408 1161150464 208827 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668632 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11534.8
Current children cumulated vsize (KiB) 1133936
[startup+1651.11 s]
/proc/loadavg: 9.03 9.04 9.00 10/356 31740
/proc/meminfo: memFree=18987048/32951124 swapFree=67111356/67111528
[pid=31688] ppid=31686 vsize=1133936 CPUtime=11579.6 cores=0-7
/proc/31688/stat : 31688 (claspmt) R 31686 31688 31525 0 -1 4202496 214865 0 0 0 1157738 223 0 0 25 0 8 0 550885341 1161150464 210025 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668609 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/31688/statm: 283484 210025 466 189 0 277833 0
[pid=31688/tid=31690] ppid=31686 vsize=1133936 CPUtime=1348.1 cores=0-7
/proc/31688/task/31690/stat : 31690 (claspmt) R 31686 31688 31525 0 -1 4202560 18129 0 0 0 134797 13 0 0 25 0 8 0 550885408 1161150464 210025 33554432000 4194304 4964704 140733227535600 18446744073709551615 4665470 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31688/tid=31691] ppid=31686 vsize=1133936 CPUtime=1592.65 cores=0-7
/proc/31688/task/31691/stat : 31691 (claspmt) R 31686 31688 31525 0 -1 4202560 33555 0 0 0 159238 27 0 0 25 0 8 0 550885408 1161150464 210025 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31688/tid=31692] ppid=31686 vsize=1133936 CPUtime=1312.17 cores=0-7
/proc/31688/task/31692/stat : 31692 (claspmt) R 31686 31688 31525 0 -1 4202560 13045 0 0 0 131202 15 0 0 25 0 8 0 550885408 1161150464 210025 33554432000 4194304 4964704 140733227535600 18446744073709551615 4321020 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31688/tid=31693] ppid=31686 vsize=1133936 CPUtime=1501.13 cores=0-7
/proc/31688/task/31693/stat : 31693 (claspmt) R 31686 31688 31525 0 -1 4202560 21654 0 0 0 150095 18 0 0 25 0 8 0 550885408 1161150464 210025 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31688/tid=31694] ppid=31686 vsize=1133936 CPUtime=1414.02 cores=0-7
/proc/31688/task/31694/stat : 31694 (claspmt) R 31686 31688 31525 0 -1 4202560 21024 0 0 0 141383 19 0 0 25 0 8 0 550885408 1161150464 210025 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31688/tid=31695] ppid=31686 vsize=1133936 CPUtime=1449.55 cores=0-7
/proc/31688/task/31695/stat : 31695 (claspmt) R 31686 31688 31525 0 -1 4202560 16245 0 0 0 144938 17 0 0 25 0 8 0 550885408 1161150464 210025 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31688/tid=31696] ppid=31686 vsize=1133936 CPUtime=1542.04 cores=0-7
/proc/31688/task/31696/stat : 31696 (claspmt) R 31686 31688 31525 0 -1 4202560 67545 0 0 0 154117 87 0 0 25 0 8 0 550885408 1161150464 210025 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668683 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11579.6
Current children cumulated vsize (KiB) 1133936
[startup+1652.7 s]
/proc/loadavg: 9.03 9.04 9.00 10/356 31740
/proc/meminfo: memFree=18984940/32951124 swapFree=67111356/67111528
[pid=31688] ppid=31686 vsize=1133936 CPUtime=11590.7 cores=0-7
/proc/31688/stat : 31688 (claspmt) R 31686 31688 31525 0 -1 4202496 215414 0 0 0 1158848 223 0 0 25 0 8 0 550885341 1161150464 210574 33554432000 4194304 4964704 140733227535600 18446744073709551615 4668592 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/31688/statm: 283484 210574 466 189 0 277833 0
[pid=31688/tid=31690] ppid=31686 vsize=1133936 CPUtime=1348.42 cores=0-7
/proc/31688/task/31690/stat : 31690 (claspmt) R 31686 31688 31525 0 -1 4202560 18298 0 0 0 134829 13 0 0 25 0 8 0 550885408 1161150464 210574 33554432000 4194304 4964704 140733227535600 18446744073709551615 218905836014 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31688/tid=31691] ppid=31686 vsize=1133936 CPUtime=1594.24 cores=0-7
/proc/31688/task/31691/stat : 31691 (claspmt) R 31686 31688 31525 0 -1 4202560 33555 0 0 0 159397 27 0 0 25 0 8 0 550885408 1161150464 210574 33554432000 4194304 4964704 140733227535600 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31688/tid=31692] ppid=31686 vsize=1133936 CPUtime=1313.76 cores=0-7
/proc/31688/task/31692/stat : 31692 (claspmt) R 31686 31688 31525 0 -1 4202560 13045 0 0 0 131361 15 0 0 25 0 8 0 550885408 1161150464 210574 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31688/tid=31693] ppid=31686 vsize=1133936 CPUtime=1502.72 cores=0-7
/proc/31688/task/31693/stat : 31693 (claspmt) R 31686 31688 31525 0 -1 4202560 21654 0 0 0 150254 18 0 0 25 0 8 0 550885408 1161150464 210574 33554432000 4194304 4964704 140733227535600 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31688/tid=31694] ppid=31686 vsize=1133936 CPUtime=1415.61 cores=0-7
/proc/31688/task/31694/stat : 31694 (claspmt) R 31686 31688 31525 0 -1 4202560 21025 0 0 0 141542 19 0 0 25 0 8 0 550885408 1161150464 210574 33554432000 4194304 4964704 140733227535600 18446744073709551615 4669399 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31688/tid=31695] ppid=31686 vsize=1133936 CPUtime=1451.12 cores=0-7
/proc/31688/task/31695/stat : 31695 (claspmt) R 31686 31688 31525 0 -1 4202560 16245 0 0 0 145095 17 0 0 25 0 8 0 550885408 1161150464 210574 33554432000 4194304 4964704 140733227535600 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31688/tid=31696] ppid=31686 vsize=1133936 CPUtime=1543.62 cores=0-7
/proc/31688/task/31696/stat : 31696 (claspmt) R 31686 31688 31525 0 -1 4202560 67863 0 0 0 154275 87 0 0 25 0 8 0 550885408 1161150464 210574 33554432000 4194304 4964704 140733227535600 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11590.7
Current children cumulated vsize (KiB) 1133936
[startup+1654.3 s]
/proc/loadavg: 9.02 9.04 9.00 3/350 31740
/proc/meminfo: memFree=18984244/32951124 swapFree=67111356/67111528
[pid=31688] ppid=31686 vsize=1133936 CPUtime=11594.5 cores=0-7
/proc/31688/stat : 31688 (claspmt) S 31686 31688 31525 0 -1 4202496 215492 0 0 0 1159226 223 0 0 25 0 2 0 550885341 1161150464 210652 33554432000 4194304 4964704 140733227535600 18446744073709551615 218917533669 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/31688/statm: 283484 210652 468 189 0 277833 0
[pid=31688/tid=31690] ppid=31686 vsize=1133936 CPUtime=1349.75 cores=0-7
/proc/31688/task/31690/stat : 31690 (claspmt) R 31686 31688 31525 0 -1 4202560 18298 0 0 0 134962 13 0 0 25 0 2 0 550885408 1161150464 210652 33554432000 4194304 4964704 140733227535600 18446744073709551615 218905428574 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11594.5
Current children cumulated vsize (KiB) 1133936
[startup+1654.7 s]
/proc/loadavg: 9.02 9.04 9.00 3/350 31740
/proc/meminfo: memFree=18984244/32951124 swapFree=67111356/67111528
[pid=31688] ppid=31686 vsize=1133936 CPUtime=11594.9 cores=0-7
/proc/31688/stat : 31688 (claspmt) S 31686 31688 31525 0 -1 4202496 215492 0 0 0 1159265 223 0 0 25 0 2 0 550885341 1161150464 210652 33554432000 4194304 4964704 140733227535600 18446744073709551615 218917533669 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/31688/statm: 283484 210652 468 189 0 277833 0
[pid=31688/tid=31690] ppid=31686 vsize=1133936 CPUtime=1350.14 cores=0-7
/proc/31688/task/31690/stat : 31690 (claspmt) R 31686 31688 31525 0 -1 4202560 18298 0 0 0 135001 13 0 0 25 0 2 0 550885408 1161150464 210652 33554432000 4194304 4964704 140733227535600 18446744073709551615 218905428618 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11594.9
Current children cumulated vsize (KiB) 1133936
[startup+1655.1 s]
/proc/loadavg: 9.02 9.04 9.00 3/350 31740
/proc/meminfo: memFree=18984244/32951124 swapFree=67111356/67111528
[pid=31688] ppid=31686 vsize=1133788 CPUtime=11595.3 cores=0-7
/proc/31688/stat : 31688 (claspmt) R 31686 31688 31525 0 -1 4202496 215500 0 0 0 1159305 223 0 0 18 0 1 0 550885341 1160998912 209844 33554432000 4194304 4964704 140733227535600 18446744073709551615 218905387579 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31688/statm: 283447 209844 476 189 0 277796 0
Current children cumulated CPU time (s) 11595.3
Current children cumulated vsize (KiB) 1133788
[startup+1655.2 s]
/proc/loadavg: 9.02 9.04 9.00 3/350 31740
/proc/meminfo: memFree=18984244/32951124 swapFree=67111356/67111528
[pid=31688] ppid=31686 vsize=1133788 CPUtime=11595.4 cores=0-7
/proc/31688/stat : 31688 (claspmt) R 31686 31688 31525 0 -1 4202496 215500 0 0 0 1159315 223 0 0 18 0 1 0 550885341 1160998912 209433 33554432000 4194304 4964704 140733227535600 18446744073709551615 218905386337 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31688/statm: 283447 209433 476 189 0 277796 0
Current children cumulated CPU time (s) 11595.4
Current children cumulated vsize (KiB) 1133788
Child status: 10
Real time (s): 1655.29
CPU time (s): 11595.5
CPU user time (s): 11593.2
CPU system time (s): 2.27665
CPU usage (%): 700.51
Max. virtual memory (cumulated for all children) (KiB): 1133936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11593.2
system time used= 2.27665
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215501
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= 13830
involuntary context switches= 73846
runsolver used 5.54616 second user time and 13.5579 second system time
The end
Begin job on node137 at 2011-05-03 05:21:16
IDJOB=3322676
IDBENCH=85965
IDSOLVER=1711
FILE ID=node137/3322676-1304392876
RUNJOBID= node137-1304389471-31539
PBS_JOBID= 13181826
Free space on /tmp= 73604 MiB
SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_34.renamed-as.sat05-1926.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3322676-1304392876/watcher-3322676-1304392876 -o /tmp/evaluation-result-3322676-1304392876/solver-3322676-1304392876 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322676-1304392876.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 349e2f9eff952d4e42f8e1caefaa382b
RANDOM SEED=1712282016
node137.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.844
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.68
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.844
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.844
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.844
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.844
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.844
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.844
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.844
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 19825200 kB
Buffers: 969484 kB
Cached: 2697276 kB
SwapCached: 48 kB
Active: 9519144 kB
Inactive: 3101032 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 19825200 kB
SwapTotal: 67111528 kB
SwapFree: 67111356 kB
Dirty: 3528 kB
Writeback: 0 kB
AnonPages: 8953512 kB
Mapped: 28904 kB
Slab: 400048 kB
PageTables: 38668 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 76162828 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73600 MiB
End job on node137 at 2011-05-03 05:48:52