Trace number 3322764

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095SAT 8720.5 1092.36

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf
MD5SUM1002234f62b5dfa01a75197c65e66327
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.177972
Satisfiable
(Un)Satisfiability was proved
Number of variables1285
Number of clauses166723
Sum of the clauses size334661
Maximum clause length37
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2166688
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 535

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...393958/instance-3322764-1304393958.cnf
0.69/0.73	c Solving...
8719.89/1091.90	c Answer: 1
8719.89/1091.90	v 1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21
8719.89/1091.90	v -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 39
8719.89/1091.90	v -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57
8719.89/1091.90	v -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75
8719.89/1091.90	v -76 77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93
8719.89/1091.90	v -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109
8719.89/1091.90	v -110 -111 -112 -113 -114 115 -116 -117 -118 -119 -120 -121 -122 -123 -124
8719.89/1091.90	v -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139
8719.89/1091.90	v -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 153 -154
8719.89/1091.90	v -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169
8719.89/1091.90	v -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184
8719.89/1091.90	v -185 -186 -187 -188 -189 -190 191 -192 -193 -194 -195 -196 -197 -198 -199
8719.89/1091.90	v -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214
8719.89/1091.90	v -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 229
8719.89/1091.90	v -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244
8719.89/1091.90	v -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259
8719.89/1091.90	v -260 -261 -262 -263 -264 -265 -266 267 -268 -269 -270 -271 -272 -273 -274
8719.89/1091.90	v -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289
8719.89/1091.90	v -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304
8719.89/1091.90	v 305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319
8719.89/1091.90	v -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334
8719.89/1091.90	v -335 -336 -337 -338 -339 -340 341 -342 -343 -344 -345 -346 -347 -348 -349
8719.89/1091.90	v -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364
8719.89/1091.90	v -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 379
8719.89/1091.90	v -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394
8719.89/1091.90	v -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409
8719.89/1091.90	v -410 -411 -412 -413 -414 -415 -416 -417 418 -419 -420 -421 -422 -423 -424
8719.89/1091.90	v -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439
8719.89/1091.90	v -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454
8719.89/1091.90	v -455 456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469
8719.89/1091.90	v -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484
8719.89/1091.90	v -485 -486 -487 -488 -489 -490 -491 -492 -493 494 -495 -496 -497 -498 -499
8719.89/1091.90	v -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514
8719.89/1091.90	v -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529
8719.89/1091.90	v -530 -531 532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544
8719.89/1091.90	v -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559
8719.89/1091.90	v -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 570 -571 -572 -573 -574
8719.89/1091.90	v -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589
8719.89/1091.90	v -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604
8719.89/1091.90	v -605 -606 -607 608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619
8719.89/1091.90	v -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634
8719.89/1091.90	v -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 645 -646 -647 -648 -649
8719.89/1091.90	v -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664
8719.89/1091.90	v -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679
8719.89/1091.90	v -680 -681 -682 683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694
8719.89/1091.90	v -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709
8719.89/1091.90	v -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 721 -722 -723 -724
8719.89/1091.90	v -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739
8719.89/1091.90	v -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754
8719.89/1091.90	v -755 -756 -757 -758 759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769
8719.89/1091.90	v -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784
8719.89/1091.90	v -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 796 -797 -798 -799
8719.89/1091.90	v -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814
8719.89/1091.90	v -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829
8719.89/1091.90	v -830 -831 -832 -833 834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844
8719.89/1091.90	v -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859
8719.89/1091.90	v -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 872 -873 -874
8719.89/1091.90	v -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889
8719.89/1091.90	v -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904
8719.89/1091.90	v -905 -906 -907 -908 -909 910 -911 -912 -913 -914 -915 -916 -917 -918 -919
8719.89/1091.90	v -920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934
8719.89/1091.90	v -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 948 -949
8719.89/1091.90	v -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961 -962 -963 -964
8719.89/1091.90	v -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979
8719.89/1091.90	v -980 -981 -982 -983 -984 -985 986 -987 -988 -989 -990 -991 -992 -993 -994
8719.89/1091.90	v -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007
8719.89/1091.90	v -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019
8719.89/1091.90	v -1020 -1021 -1022 -1023 1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031
8719.89/1091.90	v -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 -1043
8719.89/1091.90	v -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055
8719.89/1091.90	v -1056 -1057 -1058 -1059 -1060 1061 -1062 -1063 -1064 -1065 -1066 -1067
8719.89/1091.90	v -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079
8719.89/1091.90	v -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090 -1091
8719.89/1091.90	v -1092 -1093 -1094 -1095 -1096 -1097 1098 -1099 -1100 -1101 -1102 -1103
8719.89/1091.90	v -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115
8719.89/1091.90	v -1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127
8719.89/1091.90	v -1128 -1129 -1130 -1131 -1132 -1133 -1134 1135 -1136 -1137 -1138 -1139
8719.89/1091.90	v -1140 -1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150 -1151
8719.89/1091.90	v -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 -1162 -1163
8719.89/1091.90	v -1164 -1165 -1166 -1167 -1168 -1169 -1170 -1171 -1172 1173 -1174 -1175
8719.89/1091.90	v -1176 -1177 -1178 -1179 -1180 -1181 -1182 -1183 -1184 -1185 -1186 -1187
8719.89/1091.90	v -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199
8719.89/1091.90	v -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 1211
8719.89/1091.90	v -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223
8719.89/1091.90	v -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235
8719.89/1091.90	v -1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247
8719.89/1091.90	v 1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259
8719.89/1091.90	v -1260 -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271
8719.89/1091.90	v -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 -1283
8719.89/1091.90	v -1284 1285 0
8720.44/1092.35	s SATISFIABLE
8720.44/1092.35	
8720.44/1092.35	c Models        : 1+    
8720.44/1092.35	c Time          : 1091.967s (Solving: 1091.23s 1st Model: 1091.17s Unsat: 0.00s)
8720.44/1092.35	c CPU Time      : 8720.100s

Verifier Data 

OK

Watcher Data 

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-3322764-1304393958/watcher-3322764-1304393958 -o /tmp/evaluation-result-3322764-1304393958/solver-3322764-1304393958 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322764-1304393958.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: 8.07 8.05 8.00 1/265 4036
/proc/meminfo: memFree=15298128/32950904 swapFree=67082284/67111528
[pid=4036] ppid=4034 vsize=22088 CPUtime=0 cores=0-7
/proc/4036/stat : 4036 (claspmt) R 4034 4036 3873 0 -1 4202496 846 0 0 0 0 0 0 0 25 0 1 0 550995606 22618112 729 33554432000 4194304 4964704 140734908161248 18446744073709551615 237278540485 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4036/statm: 5522 730 386 189 0 396 0

[startup+0.075117 s]
/proc/loadavg: 8.07 8.05 8.00 1/265 4036
/proc/meminfo: memFree=15298128/32950904 swapFree=67082284/67111528
[pid=4036] ppid=4034 vsize=31688 CPUtime=0.07 cores=0-7
/proc/4036/stat : 4036 (claspmt) R 4034 4036 3873 0 -1 4202496 3861 0 0 0 7 0 0 0 25 0 1 0 550995606 32448512 3024 33554432000 4194304 4964704 140734908161248 18446744073709551615 4607570 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4036/statm: 7922 3024 399 189 0 2796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 31688

[startup+0.101115 s]
/proc/loadavg: 8.07 8.05 8.00 1/265 4036
/proc/meminfo: memFree=15298128/32950904 swapFree=67082284/67111528
[pid=4036] ppid=4034 vsize=31688 CPUtime=0.09 cores=0-7
/proc/4036/stat : 4036 (claspmt) R 4034 4036 3873 0 -1 4202496 3861 0 0 0 9 0 0 0 25 0 1 0 550995606 32448512 3024 33554432000 4194304 4964704 140734908161248 18446744073709551615 4607616 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4036/statm: 7922 3024 399 189 0 2796 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31688

[startup+0.301079 s]
/proc/loadavg: 8.07 8.05 8.00 1/265 4036
/proc/meminfo: memFree=15298128/32950904 swapFree=67082284/67111528
[pid=4036] ppid=4034 vsize=31688 CPUtime=0.29 cores=0-7
/proc/4036/stat : 4036 (claspmt) R 4034 4036 3873 0 -1 4202496 3861 0 0 0 29 0 0 0 25 0 1 0 550995606 32448512 3024 33554432000 4194304 4964704 140734908161248 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4036/statm: 7922 3024 399 189 0 2796 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31688

[startup+0.700933 s]
/proc/loadavg: 8.07 8.05 8.00 1/265 4036
/proc/meminfo: memFree=15298128/32950904 swapFree=67082284/67111528
[pid=4036] ppid=4034 vsize=32612 CPUtime=0.69 cores=0-7
/proc/4036/stat : 4036 (claspmt) R 4034 4036 3873 0 -1 4202496 4119 0 0 0 69 0 0 0 25 0 1 0 550995606 33394688 3282 33554432000 4194304 4964704 140734908161248 18446744073709551615 4608110 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/4036/statm: 8153 3282 400 189 0 3027 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32612

[startup+1.5008 s]
/proc/loadavg: 8.07 8.05 8.00 9/273 4044
/proc/meminfo: memFree=15274504/32950904 swapFree=67082284/67111528
[pid=4036] ppid=4034 vsize=329448 CPUtime=6.25 cores=0-7
/proc/4036/stat : 4036 (claspmt) R 4034 4036 3873 0 -1 4202496 14320 0 0 0 620 5 0 0 25 0 8 0 550995606 337354752 13152 33554432000 4194304 4964704 140734908161248 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4036/statm: 82362 13153 464 189 0 76711 0
[pid=4036/tid=4038] ppid=4034 vsize=329448 CPUtime=0.68 cores=0-7
/proc/4036/task/4038/stat : 4038 (claspmt) R 4034 4036 3873 0 -1 4202560 1293 0 0 0 68 0 0 0 25 0 8 0 550995680 337354752 13153 33554432000 4194304 4964704 140734908161248 18446744073709551615 4652078 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=4036/tid=4039] ppid=4034 vsize=329448 CPUtime=0.68 cores=0-7
/proc/4036/task/4039/stat : 4039 (claspmt) R 4034 4036 3873 0 -1 4202560 1284 0 0 0 68 0 0 0 25 0 8 0 550995680 337354752 13153 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=4036/tid=4040] ppid=4034 vsize=329448 CPUtime=0.65 cores=0-7
/proc/4036/task/4040/stat : 4040 (claspmt) R 4034 4036 3873 0 -1 4202560 1204 0 0 0 65 0 0 0 25 0 8 0 550995680 337354752 13153 33554432000 4194304 4964704 140734908161248 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4036/tid=4041] ppid=4034 vsize=329448 CPUtime=0.67 cores=0-7
/proc/4036/task/4041/stat : 4041 (claspmt) R 4034 4036 3873 0 -1 4202560 1180 0 0 0 67 0 0 0 25 0 8 0 550995680 337354752 13153 33554432000 4194304 4964704 140734908161248 18446744073709551615 4342154 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4036/tid=4042] ppid=4034 vsize=329448 CPUtime=0.75 cores=0-7
/proc/4036/task/4042/stat : 4042 (claspmt) R 4034 4036 3873 0 -1 4202560 576 0 0 0 75 0 0 0 25 0 8 0 550995680 337354752 13153 33554432000 4194304 4964704 140734908161248 18446744073709551615 237278540833 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4036/tid=4043] ppid=4034 vsize=329448 CPUtime=0.65 cores=0-7
/proc/4036/task/4043/stat : 4043 (claspmt) R 4034 4036 3873 0 -1 4202560 1505 0 0 0 65 0 0 0 25 0 8 0 550995680 337354752 13153 33554432000 4194304 4964704 140734908161248 18446744073709551615 4627259 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=4036/tid=4044] ppid=4034 vsize=329448 CPUtime=0.68 cores=0-7
/proc/4036/task/4044/stat : 4044 (claspmt) R 4034 4036 3873 0 -1 4202560 1627 0 0 0 67 1 0 0 25 0 8 0 550995680 337354752 13154 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 329448

[startup+3.10051 s]
/proc/loadavg: 8.06 8.05 8.00 9/273 4044
/proc/meminfo: memFree=15217960/32950904 swapFree=67082284/67111528
[pid=4036] ppid=4034 vsize=340576 CPUtime=19.03 cores=0-7
/proc/4036/stat : 4036 (claspmt) R 4034 4036 3873 0 -1 4202496 28169 0 0 0 1891 12 0 0 25 0 8 0 550995606 348749824 27001 33554432000 4194304 4964704 140734908161248 18446744073709551615 4320944 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4036/statm: 85144 27002 464 189 0 79493 0
[pid=4036/tid=4038] ppid=4034 vsize=340576 CPUtime=2.28 cores=0-7
/proc/4036/task/4038/stat : 4038 (claspmt) R 4034 4036 3873 0 -1 4202560 2920 0 0 0 227 1 0 0 25 0 8 0 550995680 348749824 27002 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=4036/tid=4039] ppid=4034 vsize=340576 CPUtime=2.29 cores=0-7
/proc/4036/task/4039/stat : 4039 (claspmt) R 4034 4036 3873 0 -1 4202560 2420 0 0 0 228 1 0 0 25 0 8 0 550995680 348749824 27002 33554432000 4194304 4964704 140734908161248 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=4036/tid=4040] ppid=4034 vsize=340576 CPUtime=2.24 cores=0-7
/proc/4036/task/4040/stat : 4040 (claspmt) R 4034 4036 3873 0 -1 4202560 2810 0 0 0 223 1 0 0 25 0 8 0 550995680 348749824 27002 33554432000 4194304 4964704 140734908161248 18446744073709551615 4343784 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4036/tid=4041] ppid=4034 vsize=340576 CPUtime=2.27 cores=0-7
/proc/4036/task/4041/stat : 4041 (claspmt) R 4034 4036 3873 0 -1 4202560 3044 0 0 0 227 0 0 0 25 0 8 0 550995680 348749824 27002 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670263 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4036/tid=4042] ppid=4034 vsize=340576 CPUtime=2.35 cores=0-7
/proc/4036/task/4042/stat : 4042 (claspmt) R 4034 4036 3873 0 -1 4202560 2936 0 0 0 234 1 0 0 25 0 8 0 550995680 348749824 27002 33554432000 4194304 4964704 140734908161248 18446744073709551615 237278540833 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4036/tid=4043] ppid=4034 vsize=340576 CPUtime=2.25 cores=0-7
/proc/4036/task/4043/stat : 4043 (claspmt) R 4034 4036 3873 0 -1 4202560 3011 0 0 0 224 1 0 0 20 0 8 0 550995680 348749824 27002 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=4036/tid=4044] ppid=4034 vsize=340576 CPUtime=2.28 cores=0-7
/proc/4036/task/4044/stat : 4044 (claspmt) R 4034 4036 3873 0 -1 4202560 3552 0 0 0 226 2 0 0 25 0 8 0 550995680 348749824 27004 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 19.03
Current children cumulated vsize (KiB) 340576

[startup+6.30094 s]
/proc/loadavg: 8.06 8.05 8.00 9/273 4044
/proc/meminfo: memFree=15138620/32950904 swapFree=67082284/67111528
[pid=4036] ppid=4034 vsize=418136 CPUtime=44.6 cores=0-7
/proc/4036/stat : 4036 (claspmt) R 4034 4036 3873 0 -1 4202496 45445 0 0 0 4439 21 0 0 25 0 8 0 550995606 428171264 44277 33554432000 4194304 4964704 140734908161248 18446744073709551615 237278540485 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4036/statm: 104534 44277 466 189 0 98883 0
[pid=4036/tid=4038] ppid=4034 vsize=418136 CPUtime=5.48 cores=0-7
/proc/4036/task/4038/stat : 4038 (claspmt) R 4034 4036 3873 0 -1 4202560 4969 0 0 0 545 3 0 0 25 0 8 0 550995680 428171264 44277 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670458 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=4036/tid=4039] ppid=4034 vsize=418136 CPUtime=5.49 cores=0-7
/proc/4036/task/4039/stat : 4039 (claspmt) R 4034 4036 3873 0 -1 4202560 3642 0 0 0 547 2 0 0 25 0 8 0 550995680 428171264 44278 33554432000 4194304 4964704 140734908161248 18446744073709551615 4684027 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=4036/tid=4040] ppid=4034 vsize=418136 CPUtime=5.42 cores=0-7
/proc/4036/task/4040/stat : 4040 (claspmt) R 4034 4036 3873 0 -1 4202560 4871 0 0 0 540 2 0 0 25 0 8 0 550995680 428171264 44278 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4036/tid=4041] ppid=4034 vsize=418136 CPUtime=5.46 cores=0-7
/proc/4036/task/4041/stat : 4041 (claspmt) R 4034 4036 3873 0 -1 4202560 4864 0 0 0 545 1 0 0 25 0 8 0 550995680 428171264 44278 33554432000 4194304 4964704 140734908161248 18446744073709551615 4321076 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4036/tid=4042] ppid=4034 vsize=418136 CPUtime=5.55 cores=0-7
/proc/4036/task/4042/stat : 4042 (claspmt) R 4034 4036 3873 0 -1 4202560 6054 0 0 0 553 2 0 0 25 0 8 0 550995680 428171264 44278 33554432000 4194304 4964704 140734908161248 18446744073709551615 237278540833 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4036/tid=4043] ppid=4034 vsize=418136 CPUtime=5.46 cores=0-7
/proc/4036/task/4043/stat : 4043 (claspmt) R 4034 4036 3873 0 -1 4202560 4522 0 0 0 544 2 0 0 25 0 8 0 550995680 428171264 44278 33554432000 4194304 4964704 140734908161248 18446744073709551615 4321025 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=4036/tid=4044] ppid=4034 vsize=418136 CPUtime=5.48 cores=0-7
/proc/4036/task/4044/stat : 4044 (claspmt) R 4034 4036 3873 0 -1 4202560 6664 0 0 0 545 3 0 0 25 0 8 0 550995680 428171264 44278 33554432000 4194304 4964704 140734908161248 18446744073709551615 4669039 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 44.6
Current children cumulated vsize (KiB) 418136

[startup+12.7008 s]
/proc/loadavg: 8.05 8.05 8.00 9/273 4045
/proc/meminfo: memFree=15043400/32950904 swapFree=67082284/67111528
[pid=4036] ppid=4034 vsize=436696 CPUtime=95.74 cores=0-7
/proc/4036/stat : 4036 (claspmt) R 4034 4036 3873 0 -1 4202496 65953 0 0 0 9542 32 0 0 25 0 8 0 550995606 447176704 64785 33554432000 4194304 4964704 140734908161248 18446744073709551615 4320966 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4036/statm: 109174 64785 466 189 0 103523 0
[pid=4036/tid=4038] ppid=4034 vsize=436696 CPUtime=11.88 cores=0-7
/proc/4036/task/4038/stat : 4038 (claspmt) R 4034 4036 3873 0 -1 4202560 7793 0 0 0 1184 4 0 0 25 0 8 0 550995680 447176704 64785 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=4036/tid=4039] ppid=4034 vsize=436696 CPUtime=11.89 cores=0-7
/proc/4036/task/4039/stat : 4039 (claspmt) R 4034 4036 3873 0 -1 4202560 5137 0 0 0 1187 2 0 0 25 0 8 0 550995680 447176704 64785 33554432000 4194304 4964704 140734908161248 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=4036/tid=4040] ppid=4034 vsize=436696 CPUtime=11.76 cores=0-7
/proc/4036/task/4040/stat : 4040 (claspmt) R 4034 4036 3873 0 -1 4202560 6973 0 0 0 1173 3 0 0 25 0 8 0 550995680 447176704 64785 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4036/tid=4041] ppid=4034 vsize=436696 CPUtime=11.87 cores=0-7
/proc/4036/task/4041/stat : 4041 (claspmt) R 4034 4036 3873 0 -1 4202560 6960 0 0 0 1184 3 0 0 25 0 8 0 550995680 447176704 64785 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670427 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4036/tid=4042] ppid=4034 vsize=436696 CPUtime=11.94 cores=0-7
/proc/4036/task/4042/stat : 4042 (claspmt) R 4034 4036 3873 0 -1 4202560 8017 0 0 0 1191 3 0 0 20 0 8 0 550995680 447176704 64785 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670241 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4036/tid=4043] ppid=4034 vsize=436696 CPUtime=11.85 cores=0-7
/proc/4036/task/4043/stat : 4043 (claspmt) R 4034 4036 3873 0 -1 4202560 6466 0 0 0 1182 3 0 0 25 0 8 0 550995680 447176704 64785 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=4036/tid=4044] ppid=4034 vsize=436696 CPUtime=11.88 cores=0-7
/proc/4036/task/4044/stat : 4044 (claspmt) R 4034 4036 3873 0 -1 4202560 11086 0 0 0 1183 5 0 0 25 0 8 0 550995680 447176704 64785 33554432000 4194304 4964704 140734908161248 18446744073709551615 4365714 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 95.74
Current children cumulated vsize (KiB) 436696

[startup+25.5005 s]
/proc/loadavg: 8.04 8.04 8.00 9/273 4045
/proc/meminfo: memFree=15006812/32950904 swapFree=67082284/67111528
[pid=4036] ppid=4034 vsize=436696 CPUtime=198.01 cores=0-7
/proc/4036/stat : 4036 (claspmt) R 4034 4036 3873 0 -1 4202496 75421 0 0 0 19760 41 0 0 25 0 8 0 550995606 447176704 74232 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4036/statm: 109174 74232 466 189 0 103523 0
[pid=4036/tid=4038] ppid=4034 vsize=436696 CPUtime=24.68 cores=0-7
/proc/4036/task/4038/stat : 4038 (claspmt) R 4034 4036 3873 0 -1 4202560 9131 0 0 0 2462 6 0 0 25 0 8 0 550995680 447176704 74232 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670440 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=4036/tid=4039] ppid=4034 vsize=436696 CPUtime=24.69 cores=0-7
/proc/4036/task/4039/stat : 4039 (claspmt) R 4034 4036 3873 0 -1 4202560 6516 0 0 0 2466 3 0 0 25 0 8 0 550995680 447176704 74232 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670271 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=4036/tid=4040] ppid=4034 vsize=436696 CPUtime=24.45 cores=0-7
/proc/4036/task/4040/stat : 4040 (claspmt) R 4034 4036 3873 0 -1 4202560 7826 0 0 0 2441 4 0 0 25 0 8 0 550995680 447176704 74232 33554432000 4194304 4964704 140734908161248 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4036/tid=4041] ppid=4034 vsize=436696 CPUtime=24.67 cores=0-7
/proc/4036/task/4041/stat : 4041 (claspmt) R 4034 4036 3873 0 -1 4202560 7835 0 0 0 2463 4 0 0 25 0 8 0 550995680 447176704 74232 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4036/tid=4042] ppid=4034 vsize=436696 CPUtime=24.74 cores=0-7
/proc/4036/task/4042/stat : 4042 (claspmt) R 4034 4036 3873 0 -1 4202560 9662 0 0 0 2470 4 0 0 25 0 8 0 550995680 447176704 74232 33554432000 4194304 4964704 140734908161248 18446744073709551615 4627365 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4036/tid=4043] ppid=4034 vsize=436696 CPUtime=24.64 cores=0-7
/proc/4036/task/4043/stat : 4043 (claspmt) R 4034 4036 3873 0 -1 4202560 6941 0 0 0 2461 3 0 0 25 0 8 0 550995680 447176704 74232 33554432000 4194304 4964704 140734908161248 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=4036/tid=4044] ppid=4034 vsize=436696 CPUtime=24.67 cores=0-7
/proc/4036/task/4044/stat : 4044 (claspmt) R 4034 4036 3873 0 -1 4202560 12492 0 0 0 2461 6 0 0 25 0 8 0 550995680 447176704 74232 33554432000 4194304 4964704 140734908161248 18446744073709551615 4342208 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 198.01
Current children cumulated vsize (KiB) 436696

[startup+51.101 s]
/proc/loadavg: 8.09 8.06 8.00 9/273 4046
/proc/meminfo: memFree=14934088/32950904 swapFree=67082284/67111528
[pid=4036] ppid=4034 vsize=455148 CPUtime=402.57 cores=0-7
/proc/4036/stat : 4036 (claspmt) R 4034 4036 3873 0 -1 4202496 93224 0 0 0 40203 54 0 0 25 0 8 0 550995606 466071552 92026 33554432000 4194304 4964704 140734908161248 18446744073709551615 4320981 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4036/statm: 113787 92026 466 189 0 108136 0
[pid=4036/tid=4038] ppid=4034 vsize=455148 CPUtime=50.27 cores=0-7
/proc/4036/task/4038/stat : 4038 (claspmt) R 4034 4036 3873 0 -1 4202560 12422 0 0 0 5019 8 0 0 25 0 8 0 550995680 466071552 92026 33554432000 4194304 4964704 140734908161248 18446744073709551615 4362293 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=4036/tid=4039] ppid=4034 vsize=455148 CPUtime=50.28 cores=0-7
/proc/4036/task/4039/stat : 4039 (claspmt) R 4034 4036 3873 0 -1 4202560 8094 0 0 0 5025 3 0 0 25 0 8 0 550995680 466071552 92026 33554432000 4194304 4964704 140734908161248 18446744073709551615 4321029 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=4036/tid=4040] ppid=4034 vsize=455148 CPUtime=50.03 cores=0-7
/proc/4036/task/4040/stat : 4040 (claspmt) R 4034 4036 3873 0 -1 4202560 9811 0 0 0 4997 6 0 0 25 0 8 0 550995680 466071552 92026 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=4036/tid=4041] ppid=4034 vsize=455148 CPUtime=50.26 cores=0-7
/proc/4036/task/4041/stat : 4041 (claspmt) R 4034 4036 3873 0 -1 4202560 9193 0 0 0 5021 5 0 0 25 0 8 0 550995680 466071552 92026 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4036/tid=4042] ppid=4034 vsize=455148 CPUtime=50.34 cores=0-7
/proc/4036/task/4042/stat : 4042 (claspmt) R 4034 4036 3873 0 -1 4202560 10651 0 0 0 5029 5 0 0 25 0 8 0 550995680 466071552 92026 33554432000 4194304 4964704 140734908161248 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4036/tid=4043] ppid=4034 vsize=455148 CPUtime=50.05 cores=0-7
/proc/4036/task/4043/stat : 4043 (claspmt) R 4034 4036 3873 0 -1 4202560 8096 0 0 0 5000 5 0 0 25 0 8 0 550995680 466071552 92026 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4036/tid=4044] ppid=4034 vsize=455148 CPUtime=50.28 cores=0-7
/proc/4036/task/4044/stat : 4044 (claspmt) R 4034 4036 3873 0 -1 4202560 16449 0 0 0 5019 9 0 0 25 0 8 0 550995680 466071552 92026 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 402.57

################
# More data... #
################

/proc/loadavg: 8.03 8.05 8.00 9/273 4073
/proc/meminfo: memFree=13896640/32950904 swapFree=67082284/67111528
[pid=4036] ppid=4034 vsize=1601048 CPUtime=8483.37 cores=0-7
/proc/4036/stat : 4036 (claspmt) R 4034 4036 3873 0 -1 4202496 354210 0 0 0 848028 309 0 0 25 0 8 0 550995606 1639473152 351191 33554432000 4194304 4964704 140734908161248 18446744073709551615 4627259 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4036/statm: 400262 351191 466 189 0 394611 0
[pid=4036/tid=4038] ppid=4034 vsize=1601048 CPUtime=1057.06 cores=0-7
/proc/4036/task/4038/stat : 4038 (claspmt) R 4034 4036 3873 0 -1 4202560 33623 0 0 0 105675 31 0 0 25 0 8 0 550995680 1639473152 351191 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4036/tid=4039] ppid=4034 vsize=1601048 CPUtime=1061.49 cores=0-7
/proc/4036/task/4039/stat : 4039 (claspmt) R 4034 4036 3873 0 -1 4202560 37653 0 0 0 106135 14 0 0 25 0 8 0 550995680 1639473152 351191 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=4036/tid=4040] ppid=4034 vsize=1601048 CPUtime=1061.19 cores=0-7
/proc/4036/task/4040/stat : 4040 (claspmt) R 4034 4036 3873 0 -1 4202560 33697 0 0 0 106084 35 0 0 25 0 8 0 550995680 1639473152 351191 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670250 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=4036/tid=4041] ppid=4034 vsize=1601048 CPUtime=1061.41 cores=0-7
/proc/4036/task/4041/stat : 4041 (claspmt) R 4034 4036 3873 0 -1 4202560 26706 0 0 0 106122 19 0 0 25 0 8 0 550995680 1639473152 351191 33554432000 4194304 4964704 140734908161248 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4036/tid=4042] ppid=4034 vsize=1601048 CPUtime=1061.37 cores=0-7
/proc/4036/task/4042/stat : 4042 (claspmt) R 4034 4036 3873 0 -1 4202560 29403 0 0 0 106115 22 0 0 25 0 8 0 550995680 1639473152 351191 33554432000 4194304 4964704 140734908161248 18446744073709551615 4627652 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4036/tid=4043] ppid=4034 vsize=1601048 CPUtime=1057.19 cores=0-7
/proc/4036/task/4043/stat : 4043 (claspmt) R 4034 4036 3873 0 -1 4202560 29464 0 0 0 105688 31 0 0 25 0 8 0 550995680 1639473152 351191 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=4036/tid=4044] ppid=4034 vsize=1601048 CPUtime=1061.44 cores=0-7
/proc/4036/task/4044/stat : 4044 (claspmt) R 4034 4036 3873 0 -1 4202560 75902 0 0 0 106063 81 0 0 25 0 8 0 550995680 1639473152 351191 33554432000 4194304 4964704 140734908161248 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8483.37
Current children cumulated vsize (KiB) 1601048

Solver just ended. Dumping a history of the last processes samples

[startup+1075.1 s]
/proc/loadavg: 8.02 8.04 8.00 9/273 4073
/proc/meminfo: memFree=13858448/32950904 swapFree=67082284/67111528
[pid=4036] ppid=4034 vsize=1601048 CPUtime=8585.66 cores=0-7
/proc/4036/stat : 4036 (claspmt) R 4034 4036 3873 0 -1 4202496 363424 0 0 0 858247 319 0 0 25 0 8 0 550995606 1639473152 360405 33554432000 4194304 4964704 140734908161248 18446744073709551615 4669056 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4036/statm: 400262 360405 466 189 0 394611 0
[pid=4036/tid=4038] ppid=4034 vsize=1601048 CPUtime=1069.75 cores=0-7
/proc/4036/task/4038/stat : 4038 (claspmt) R 4034 4036 3873 0 -1 4202560 34204 0 0 0 106943 32 0 0 25 0 8 0 550995680 1639473152 360405 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4036/tid=4039] ppid=4034 vsize=1601048 CPUtime=1074.29 cores=0-7
/proc/4036/task/4039/stat : 4039 (claspmt) R 4034 4036 3873 0 -1 4202560 38198 0 0 0 107415 14 0 0 25 0 8 0 550995680 1639473152 360405 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=4036/tid=4040] ppid=4034 vsize=1601048 CPUtime=1073.99 cores=0-7
/proc/4036/task/4040/stat : 4040 (claspmt) R 4034 4036 3873 0 -1 4202560 34348 0 0 0 107363 36 0 0 25 0 8 0 550995680 1639473152 360405 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=4036/tid=4041] ppid=4034 vsize=1601048 CPUtime=1074.21 cores=0-7
/proc/4036/task/4041/stat : 4041 (claspmt) R 4034 4036 3873 0 -1 4202560 27072 0 0 0 107402 19 0 0 25 0 8 0 550995680 1639473152 360405 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4036/tid=4042] ppid=4034 vsize=1601048 CPUtime=1074.17 cores=0-7
/proc/4036/task/4042/stat : 4042 (claspmt) R 4034 4036 3873 0 -1 4202560 30091 0 0 0 107395 22 0 0 25 0 8 0 550995680 1639473152 360405 33554432000 4194304 4964704 140734908161248 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4036/tid=4043] ppid=4034 vsize=1601048 CPUtime=1070 cores=0-7
/proc/4036/task/4043/stat : 4043 (claspmt) R 4034 4036 3873 0 -1 4202560 29985 0 0 0 106968 32 0 0 25 0 8 0 550995680 1639473152 360405 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=4036/tid=4044] ppid=4034 vsize=1601048 CPUtime=1074.23 cores=0-7
/proc/4036/task/4044/stat : 4044 (claspmt) R 4034 4036 3873 0 -1 4202560 78381 0 0 0 107338 85 0 0 25 0 8 0 550995680 1639473152 360405 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8585.66
Current children cumulated vsize (KiB) 1601048

[startup+1081.5 s]
/proc/loadavg: 8.02 8.04 8.00 9/273 4073
/proc/meminfo: memFree=13848404/32950904 swapFree=67082284/67111528
[pid=4036] ppid=4034 vsize=1601048 CPUtime=8636.81 cores=0-7
/proc/4036/stat : 4036 (claspmt) R 4034 4036 3873 0 -1 4202496 365881 0 0 0 863358 323 0 0 25 0 8 0 550995606 1639473152 362862 33554432000 4194304 4964704 140734908161248 18446744073709551615 4321079 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4036/statm: 400262 362862 466 189 0 394611 0
[pid=4036/tid=4038] ppid=4034 vsize=1601048 CPUtime=1076.1 cores=0-7
/proc/4036/task/4038/stat : 4038 (claspmt) R 4034 4036 3873 0 -1 4202560 34269 0 0 0 107578 32 0 0 25 0 8 0 550995680 1639473152 362862 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4036/tid=4039] ppid=4034 vsize=1601048 CPUtime=1080.69 cores=0-7
/proc/4036/task/4039/stat : 4039 (claspmt) R 4034 4036 3873 0 -1 4202560 38653 0 0 0 108055 14 0 0 25 0 8 0 550995680 1639473152 362862 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=4036/tid=4040] ppid=4034 vsize=1601048 CPUtime=1080.39 cores=0-7
/proc/4036/task/4040/stat : 4040 (claspmt) R 4034 4036 3873 0 -1 4202560 34652 0 0 0 108003 36 0 0 25 0 8 0 550995680 1639473152 362862 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=4036/tid=4041] ppid=4034 vsize=1601048 CPUtime=1080.61 cores=0-7
/proc/4036/task/4041/stat : 4041 (claspmt) R 4034 4036 3873 0 -1 4202560 27145 0 0 0 108041 20 0 0 25 0 8 0 550995680 1639473152 362862 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4036/tid=4042] ppid=4034 vsize=1601048 CPUtime=1080.57 cores=0-7
/proc/4036/task/4042/stat : 4042 (claspmt) R 4034 4036 3873 0 -1 4202560 30284 0 0 0 108034 23 0 0 25 0 8 0 550995680 1639473152 362862 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4036/tid=4043] ppid=4034 vsize=1601048 CPUtime=1076.39 cores=0-7
/proc/4036/task/4043/stat : 4043 (claspmt) R 4034 4036 3873 0 -1 4202560 30295 0 0 0 107606 33 0 0 25 0 8 0 550995680 1639473152 362862 33554432000 4194304 4964704 140734908161248 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=4036/tid=4044] ppid=4034 vsize=1601048 CPUtime=1080.64 cores=0-7
/proc/4036/task/4044/stat : 4044 (claspmt) R 4034 4036 3873 0 -1 4202560 79110 0 0 0 107977 87 0 0 25 0 8 0 550995680 1639473152 362862 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8636.81
Current children cumulated vsize (KiB) 1601048

[startup+1087.91 s]
/proc/loadavg: 8.02 8.04 8.00 9/273 4073
/proc/meminfo: memFree=13844684/32950904 swapFree=67082284/67111528
[pid=4036] ppid=4034 vsize=1601048 CPUtime=8688 cores=0-7
/proc/4036/stat : 4036 (claspmt) R 4034 4036 3873 0 -1 4202496 366817 0 0 0 868476 324 0 0 25 0 8 0 550995606 1639473152 363498 33554432000 4194304 4964704 140734908161248 18446744073709551615 4650781 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4036/statm: 400262 363498 466 189 0 394611 0
[pid=4036/tid=4038] ppid=4034 vsize=1601048 CPUtime=1082.43 cores=0-7
/proc/4036/task/4038/stat : 4038 (claspmt) R 4034 4036 3873 0 -1 4202560 34483 0 0 0 108210 33 0 0 25 0 8 0 550995680 1639473152 363498 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4036/tid=4039] ppid=4034 vsize=1601048 CPUtime=1087.1 cores=0-7
/proc/4036/task/4039/stat : 4039 (claspmt) R 4034 4036 3873 0 -1 4202560 38990 0 0 0 108696 14 0 0 25 0 8 0 550995680 1639473152 363498 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=4036/tid=4040] ppid=4034 vsize=1601048 CPUtime=1086.79 cores=0-7
/proc/4036/task/4040/stat : 4040 (claspmt) R 4034 4036 3873 0 -1 4202560 34652 0 0 0 108643 36 0 0 25 0 8 0 550995680 1639473152 363498 33554432000 4194304 4964704 140734908161248 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=4036/tid=4041] ppid=4034 vsize=1601048 CPUtime=1087.02 cores=0-7
/proc/4036/task/4041/stat : 4041 (claspmt) R 4034 4036 3873 0 -1 4202560 27425 0 0 0 108682 20 0 0 25 0 8 0 550995680 1639473152 363498 33554432000 4194304 4964704 140734908161248 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4036/tid=4042] ppid=4034 vsize=1601048 CPUtime=1086.98 cores=0-7
/proc/4036/task/4042/stat : 4042 (claspmt) R 4034 4036 3873 0 -1 4202560 30388 0 0 0 108675 23 0 0 25 0 8 0 550995680 1639473152 363498 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4036/tid=4043] ppid=4034 vsize=1601048 CPUtime=1082.8 cores=0-7
/proc/4036/task/4043/stat : 4043 (claspmt) R 4034 4036 3873 0 -1 4202560 30295 0 0 0 108247 33 0 0 25 0 8 0 550995680 1639473152 363498 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=4036/tid=4044] ppid=4034 vsize=1601048 CPUtime=1087.05 cores=0-7
/proc/4036/task/4044/stat : 4044 (claspmt) R 4034 4036 3873 0 -1 4202560 79111 0 0 0 108618 87 0 0 25 0 8 0 550995680 1639473152 363498 33554432000 4194304 4964704 140734908161248 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8688
Current children cumulated vsize (KiB) 1601048

[startup+1089.5 s]
/proc/loadavg: 8.02 8.04 8.00 9/273 4073
/proc/meminfo: memFree=13844684/32950904 swapFree=67082284/67111528
[pid=4036] ppid=4034 vsize=1601048 CPUtime=8700.72 cores=0-7
/proc/4036/stat : 4036 (claspmt) R 4034 4036 3873 0 -1 4202496 366832 0 0 0 869748 324 0 0 25 0 8 0 550995606 1639473152 363513 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4036/statm: 400262 363513 466 189 0 394611 0
[pid=4036/tid=4038] ppid=4034 vsize=1601048 CPUtime=1084.02 cores=0-7
/proc/4036/task/4038/stat : 4038 (claspmt) R 4034 4036 3873 0 -1 4202560 34483 0 0 0 108369 33 0 0 25 0 8 0 550995680 1639473152 363513 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4036/tid=4039] ppid=4034 vsize=1601048 CPUtime=1088.69 cores=0-7
/proc/4036/task/4039/stat : 4039 (claspmt) R 4034 4036 3873 0 -1 4202560 39000 0 0 0 108855 14 0 0 25 0 8 0 550995680 1639473152 363513 33554432000 4194304 4964704 140734908161248 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=4036/tid=4040] ppid=4034 vsize=1601048 CPUtime=1088.39 cores=0-7
/proc/4036/task/4040/stat : 4040 (claspmt) R 4034 4036 3873 0 -1 4202560 34652 0 0 0 108803 36 0 0 25 0 8 0 550995680 1639473152 363513 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=4036/tid=4041] ppid=4034 vsize=1601048 CPUtime=1088.62 cores=0-7
/proc/4036/task/4041/stat : 4041 (claspmt) R 4034 4036 3873 0 -1 4202560 27429 0 0 0 108842 20 0 0 25 0 8 0 550995680 1639473152 363513 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4036/tid=4042] ppid=4034 vsize=1601048 CPUtime=1088.57 cores=0-7
/proc/4036/task/4042/stat : 4042 (claspmt) R 4034 4036 3873 0 -1 4202560 30388 0 0 0 108834 23 0 0 25 0 8 0 550995680 1639473152 363513 33554432000 4194304 4964704 140734908161248 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4036/tid=4043] ppid=4034 vsize=1601048 CPUtime=1084.39 cores=0-7
/proc/4036/task/4043/stat : 4043 (claspmt) R 4034 4036 3873 0 -1 4202560 30295 0 0 0 108406 33 0 0 25 0 8 0 550995680 1639473152 363513 33554432000 4194304 4964704 140734908161248 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=4036/tid=4044] ppid=4034 vsize=1601048 CPUtime=1088.64 cores=0-7
/proc/4036/task/4044/stat : 4044 (claspmt) R 4034 4036 3873 0 -1 4202560 79111 0 0 0 108777 87 0 0 25 0 8 0 550995680 1639473152 363513 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8700.72
Current children cumulated vsize (KiB) 1601048

[startup+1091.1 s]
/proc/loadavg: 8.02 8.04 8.00 9/273 4073
/proc/meminfo: memFree=13843320/32950904 swapFree=67082284/67111528
[pid=4036] ppid=4034 vsize=1602264 CPUtime=8713.56 cores=0-7
/proc/4036/stat : 4036 (claspmt) R 4034 4036 3873 0 -1 4202496 367652 0 0 0 871032 324 0 0 25 0 8 0 550995606 1640718336 363725 33554432000 4194304 4964704 140734908161248 18446744073709551615 4321082 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4036/statm: 400566 363725 466 189 0 394915 0
[pid=4036/tid=4038] ppid=4034 vsize=1602264 CPUtime=1085.61 cores=0-7
/proc/4036/task/4038/stat : 4038 (claspmt) R 4034 4036 3873 0 -1 4202560 34483 0 0 0 108528 33 0 0 25 0 8 0 550995680 1640718336 363725 33554432000 4194304 4964704 140734908161248 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4036/tid=4039] ppid=4034 vsize=1602264 CPUtime=1090.3 cores=0-7
/proc/4036/task/4039/stat : 4039 (claspmt) R 4034 4036 3873 0 -1 4202560 39209 0 0 0 109016 14 0 0 25 0 8 0 550995680 1640718336 363725 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=4036/tid=4040] ppid=4034 vsize=1602264 CPUtime=1089.99 cores=0-7
/proc/4036/task/4040/stat : 4040 (claspmt) R 4034 4036 3873 0 -1 4202560 34652 0 0 0 108963 36 0 0 25 0 8 0 550995680 1640718336 363725 33554432000 4194304 4964704 140734908161248 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=4036/tid=4041] ppid=4034 vsize=1602264 CPUtime=1090.22 cores=0-7
/proc/4036/task/4041/stat : 4041 (claspmt) R 4034 4036 3873 0 -1 4202560 28040 0 0 0 109002 20 0 0 25 0 8 0 550995680 1640718336 363725 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670263 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4036/tid=4042] ppid=4034 vsize=1602264 CPUtime=1090.18 cores=0-7
/proc/4036/task/4042/stat : 4042 (claspmt) R 4034 4036 3873 0 -1 4202560 30388 0 0 0 108995 23 0 0 25 0 8 0 550995680 1640718336 363725 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4036/tid=4043] ppid=4034 vsize=1602264 CPUtime=1086 cores=0-7
/proc/4036/task/4043/stat : 4043 (claspmt) R 4034 4036 3873 0 -1 4202560 30295 0 0 0 108567 33 0 0 25 0 8 0 550995680 1640718336 363725 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=4036/tid=4044] ppid=4034 vsize=1602264 CPUtime=1090.25 cores=0-7
/proc/4036/task/4044/stat : 4044 (claspmt) R 4034 4036 3873 0 -1 4202560 79111 0 0 0 108938 87 0 0 25 0 8 0 550995680 1640718336 363725 33554432000 4194304 4964704 140734908161248 18446744073709551615 4644840 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8713.56
Current children cumulated vsize (KiB) 1602264

[startup+1091.9 s]
/proc/loadavg: 8.02 8.04 8.00 9/273 4073
/proc/meminfo: memFree=13843320/32950904 swapFree=67082284/67111528
[pid=4036] ppid=4034 vsize=1602264 CPUtime=8719.89 cores=0-7
/proc/4036/stat : 4036 (claspmt) R 4034 4036 3873 0 -1 4202496 367664 0 0 0 871665 324 0 0 25 0 8 0 550995606 1640718336 363737 33554432000 4194304 4964704 140734908161248 18446744073709551615 4320944 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/4036/statm: 400566 363737 466 189 0 394915 0
[pid=4036/tid=4038] ppid=4034 vsize=1602264 CPUtime=1086.4 cores=0-7
/proc/4036/task/4038/stat : 4038 (claspmt) R 4034 4036 3873 0 -1 4202560 34483 0 0 0 108607 33 0 0 25 0 8 0 550995680 1640718336 363737 33554432000 4194304 4964704 140734908161248 18446744073709551615 4320919 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4036/tid=4039] ppid=4034 vsize=1602264 CPUtime=1091.09 cores=0-7
/proc/4036/task/4039/stat : 4039 (claspmt) R 4034 4036 3873 0 -1 4202560 39219 0 0 0 109095 14 0 0 25 0 8 0 550995680 1640718336 363737 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=4036/tid=4040] ppid=4034 vsize=1602264 CPUtime=1090.79 cores=0-7
/proc/4036/task/4040/stat : 4040 (claspmt) R 4034 4036 3873 0 -1 4202560 34652 0 0 0 109043 36 0 0 25 0 8 0 550995680 1640718336 363737 33554432000 4194304 4964704 140734908161248 18446744073709551615 4321093 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=4036/tid=4041] ppid=4034 vsize=1602264 CPUtime=1091.01 cores=0-7
/proc/4036/task/4041/stat : 4041 (claspmt) R 4034 4036 3873 0 -1 4202560 28042 0 0 0 109081 20 0 0 25 0 8 0 550995680 1640718336 363737 33554432000 4194304 4964704 140734908161248 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4036/tid=4042] ppid=4034 vsize=1602264 CPUtime=1090.97 cores=0-7
/proc/4036/task/4042/stat : 4042 (claspmt) R 4034 4036 3873 0 -1 4202560 30388 0 0 0 109074 23 0 0 25 0 8 0 550995680 1640718336 363737 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4036/tid=4043] ppid=4034 vsize=1602264 CPUtime=1086.79 cores=0-7
/proc/4036/task/4043/stat : 4043 (claspmt) R 4034 4036 3873 0 -1 4202560 30295 0 0 0 108646 33 0 0 25 0 8 0 550995680 1640718336 363737 33554432000 4194304 4964704 140734908161248 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=4036/tid=4044] ppid=4034 vsize=1602264 CPUtime=1091.04 cores=0-7
/proc/4036/task/4044/stat : 4044 (claspmt) R 4034 4036 3873 0 -1 4202560 79111 0 0 0 109017 87 0 0 25 0 8 0 550995680 1640718336 363737 33554432000 4194304 4964704 140734908161248 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8719.89
Current children cumulated vsize (KiB) 1602264

[startup+1092.31 s]
/proc/loadavg: 8.01 8.04 8.00 2/266 4073
/proc/meminfo: memFree=13848460/32950904 swapFree=67082284/67111528
[pid=4036] ppid=4034 vsize=1395764 CPUtime=8720.44 cores=0-7
/proc/4036/stat : 4036 (claspmt) R 4034 4036 3873 0 -1 4202496 367675 0 0 0 871719 325 0 0 25 0 1 0 550995606 1429262336 310988 33554432000 4194304 4964704 140734908161248 18446744073709551615 237278923111 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/4036/statm: 348941 310988 476 189 0 343290 0
Current children cumulated CPU time (s) 8720.44
Current children cumulated vsize (KiB) 1395764

Child status: 10
Real time (s): 1092.36
CPU time (s): 8720.5
CPU user time (s): 8717.19
CPU system time (s): 3.3105
CPU usage (%): 798.315
Max. virtual memory (cumulated for all children) (KiB): 1602264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8717.19
system time used= 3.3105
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367676
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= 45075
involuntary context switches= 39484

runsolver used 2.49262 second user time and 6.46702 second system time

The end

Launcher Data 

Begin job on node121 at 2011-05-03 05:39:19
IDJOB=3322764
IDBENCH=88205
IDSOLVER=1711
FILE ID=node121/3322764-1304393958
RUNJOBID= node121-1304390537-3887
PBS_JOBID= 13181833
Free space on /tmp= 73628 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m37-q446.25-n35-p30-s33692332.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-3322764-1304393958/watcher-3322764-1304393958 -o /tmp/evaluation-result-3322764-1304393958/solver-3322764-1304393958 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322764-1304393958.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 1002234f62b5dfa01a75197c65e66327
RANDOM SEED=300160792

node121.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.817
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.63
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.817
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	: 5226.07
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.817
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.84
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.817
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.77
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.817
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.817
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.74
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.817
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.75
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.817
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      15298276 kB
Buffers:       2200848 kB
Cached:        9522128 kB
SwapCached:       2776 kB
Active:       14106296 kB
Inactive:      3006092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      15298276 kB
SwapTotal:    67111528 kB
SwapFree:     67082284 kB
Dirty:            2752 kB
Writeback:           0 kB
AnonPages:     5387256 kB
Mapped:          22624 kB
Slab:           452244 kB
PageTables:      23724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 30643812 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= 73624 MiB
End job on node121 at 2011-05-03 05:57:31