Trace number 3394994

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
Plingeling 587f (fixed)SAT 19844.8 2487.95

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 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3394994-1306110240/watcher-3394994-1306110240 -o /tmp/evaluation-result-3394994-1306110240/solver-3394994-1306110240 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3394994-1306110240.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.06 8.08 8.09 2/451 4742
/proc/meminfo: memFree=29605700/32951124 swapFree=60688720/67111528
[pid=4742] ppid=4740 vsize=10116 CPUtime=0 cores=0-7
/proc/4742/stat : 4742 (plingeling) R 4740 4742 4499 0 -1 4202496 600 1255 0 0 0 0 0 0 25 0 1 0 722622179 10358784 531 33554432000 4194304 4417452 140733473335520 18446744073709551615 232335892224 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/4742/statm: 2529 531 147 55 0 415 0

[startup+0.113619 s]
/proc/loadavg: 8.06 8.08 8.09 2/451 4742
/proc/meminfo: memFree=29605700/32951124 swapFree=60688720/67111528
[pid=4742] ppid=4740 vsize=26532 CPUtime=0.1 cores=0-7
/proc/4742/stat : 4742 (plingeling) R 4740 4742 4499 0 -1 4202496 4853 1255 0 0 10 0 0 0 25 0 1 0 722622179 27168768 4656 33554432000 4194304 4417452 140733473335520 18446744073709551615 4231477 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/4742/statm: 6633 4656 148 55 0 4519 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 26532

[startup+0.2006 s]
/proc/loadavg: 8.06 8.08 8.09 2/451 4742
/proc/meminfo: memFree=29605700/32951124 swapFree=60688720/67111528
[pid=4742] ppid=4740 vsize=104376 CPUtime=0.19 cores=0-7
/proc/4742/stat : 4742 (plingeling) R 4740 4742 4499 0 -1 4202496 8974 1255 0 0 19 0 0 0 25 0 7 0 722622179 106881024 8773 33554432000 4194304 4417452 140733473335520 18446744073709551615 232335948785 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/4742/statm: 26094 8773 162 55 0 23980 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 104376

[startup+0.300549 s]
/proc/loadavg: 8.06 8.08 8.09 2/451 4742
/proc/meminfo: memFree=29605700/32951124 swapFree=60688720/67111528
[pid=4742] ppid=4740 vsize=191928 CPUtime=0.95 cores=0-7
/proc/4742/stat : 4742 (plingeling) S 4740 4742 4499 0 -1 4202496 9692 1255 0 0 94 1 0 0 18 0 9 0 722622179 196534272 9201 33554432000 4194304 4417452 140733473335520 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/4742/statm: 47982 9201 176 55 0 45868 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 191928

[startup+0.700476 s]
/proc/loadavg: 8.06 8.08 8.09 2/451 4742
/proc/meminfo: memFree=29605700/32951124 swapFree=60688720/67111528
[pid=4742] ppid=4740 vsize=209452 CPUtime=4.14 cores=0-7
/proc/4742/stat : 4742 (plingeling) S 4740 4742 4499 0 -1 4202496 20748 1255 0 0 412 2 0 0 18 0 9 0 722622179 214478848 13554 33554432000 4194304 4417452 140733473335520 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/4742/statm: 52363 13554 180 55 0 50249 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 209452

[startup+1.50033 s]
/proc/loadavg: 8.06 8.08 8.09 9/460 4756
/proc/meminfo: memFree=29546600/32951124 swapFree=60688720/67111528
[pid=4742] ppid=4740 vsize=216464 CPUtime=10.52 cores=0-7
/proc/4742/stat : 4742 (plingeling) S 4740 4742 4499 0 -1 4202496 25148 1255 0 0 1049 3 0 0 18 0 9 0 722622179 221659136 15307 33554432000 4194304 4417452 140733473335520 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/4742/statm: 54116 15307 180 55 0 52002 0
[pid=4742/tid=4749] ppid=4740 vsize=216464 CPUtime=1.29 cores=0-7
/proc/4742/task/4749/stat : 4749 (plingeling) R 4740 4742 4499 0 -1 4202560 1492 1255 0 0 129 0 0 0 18 0 9 0 722622198 221659136 15307 33554432000 4194304 4417452 140733473335520 18446744073709551615 4248926 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4742/tid=4750] ppid=4740 vsize=216464 CPUtime=1.29 cores=0-7
/proc/4742/task/4750/stat : 4750 (plingeling) R 4740 4742 4499 0 -1 4202560 1515 1255 0 0 129 0 0 0 25 0 9 0 722622198 221659136 15307 33554432000 4194304 4417452 140733473335520 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4742/tid=4751] ppid=4740 vsize=216464 CPUtime=1.28 cores=0-7
/proc/4742/task/4751/stat : 4751 (plingeling) R 4740 4742 4499 0 -1 4202560 782 1255 0 0 128 0 0 0 25 0 9 0 722622198 221659136 15307 33554432000 4194304 4417452 140733473335520 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4742/tid=4752] ppid=4740 vsize=216464 CPUtime=1.28 cores=0-7
/proc/4742/task/4752/stat : 4752 (plingeling) R 4740 4742 4499 0 -1 4202560 6845 1255 0 0 128 0 0 0 25 0 9 0 722622198 221659136 15307 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364873 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4742/tid=4753] ppid=4740 vsize=216464 CPUtime=1.29 cores=0-7
/proc/4742/task/4753/stat : 4753 (plingeling) R 4740 4742 4499 0 -1 4202560 1892 1255 0 0 129 0 0 0 25 0 9 0 722622198 221659136 15307 33554432000 4194304 4417452 140733473335520 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4742/tid=4754] ppid=4740 vsize=216464 CPUtime=1.29 cores=0-7
/proc/4742/task/4754/stat : 4754 (plingeling) R 4740 4742 4499 0 -1 4202560 1199 1255 0 0 129 0 0 0 25 0 9 0 722622198 221659136 15307 33554432000 4194304 4417452 140733473335520 18446744073709551615 4250072 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4742/tid=4755] ppid=4740 vsize=216464 CPUtime=1.25 cores=0-7
/proc/4742/task/4755/stat : 4755 (plingeling) R 4740 4742 4499 0 -1 4202560 734 1255 0 0 125 0 0 0 25 0 9 0 722622199 221659136 15307 33554432000 4194304 4417452 140733473335520 18446744073709551615 4376636 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4742/tid=4756] ppid=4740 vsize=216464 CPUtime=1.29 cores=0-7
/proc/4742/task/4756/stat : 4756 (plingeling) R 4740 4742 4499 0 -1 4202560 1723 1255 0 0 129 0 0 0 19 0 9 0 722622199 221659136 15307 33554432000 4194304 4417452 140733473335520 18446744073709551615 4236461 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.52
Current children cumulated vsize (KiB) 216464

[startup+3.10105 s]
/proc/loadavg: 8.06 8.08 8.09 9/460 4756
/proc/meminfo: memFree=29544244/32951124 swapFree=60688720/67111528
[pid=4742] ppid=4740 vsize=220672 CPUtime=23.31 cores=0-7
/proc/4742/stat : 4742 (plingeling) S 4740 4742 4499 0 -1 4202496 32395 1255 0 0 2327 4 0 0 18 0 9 0 722622179 225968128 16359 33554432000 4194304 4417452 140733473335520 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/4742/statm: 55168 16359 180 55 0 53054 0
[pid=4742/tid=4749] ppid=4740 vsize=220672 CPUtime=2.89 cores=0-7
/proc/4742/task/4749/stat : 4749 (plingeling) R 4740 4742 4499 0 -1 4202560 1492 1255 0 0 289 0 0 0 21 0 9 0 722622198 225968128 16359 33554432000 4194304 4417452 140733473335520 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4742/tid=4750] ppid=4740 vsize=220672 CPUtime=2.89 cores=0-7
/proc/4742/task/4750/stat : 4750 (plingeling) R 4740 4742 4499 0 -1 4202560 1515 1255 0 0 289 0 0 0 25 0 9 0 722622198 225968128 16359 33554432000 4194304 4417452 140733473335520 18446744073709551615 4258384 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4742/tid=4751] ppid=4740 vsize=220672 CPUtime=2.88 cores=0-7
/proc/4742/task/4751/stat : 4751 (plingeling) R 4740 4742 4499 0 -1 4202560 1089 1255 0 0 288 0 0 0 25 0 9 0 722622198 225968128 16359 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364474 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4742/tid=4752] ppid=4740 vsize=220672 CPUtime=2.89 cores=0-7
/proc/4742/task/4752/stat : 4752 (plingeling) R 4740 4742 4499 0 -1 4202560 13608 1255 0 0 287 2 0 0 25 0 9 0 722622198 225968128 16359 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4742/tid=4753] ppid=4740 vsize=220672 CPUtime=2.89 cores=0-7
/proc/4742/task/4753/stat : 4753 (plingeling) R 4740 4742 4499 0 -1 4202560 1892 1255 0 0 289 0 0 0 25 0 9 0 722622198 225968128 16359 33554432000 4194304 4417452 140733473335520 18446744073709551615 4336723 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4742/tid=4754] ppid=4740 vsize=220672 CPUtime=2.89 cores=0-7
/proc/4742/task/4754/stat : 4754 (plingeling) R 4740 4742 4499 0 -1 4202560 1199 1255 0 0 289 0 0 0 25 0 9 0 722622198 225968128 16359 33554432000 4194304 4417452 140733473335520 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4742/tid=4755] ppid=4740 vsize=220672 CPUtime=2.84 cores=0-7
/proc/4742/task/4755/stat : 4755 (plingeling) R 4740 4742 4499 0 -1 4202560 911 1255 0 0 284 0 0 0 25 0 9 0 722622199 225968128 16359 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4742/tid=4756] ppid=4740 vsize=220672 CPUtime=2.89 cores=0-7
/proc/4742/task/4756/stat : 4756 (plingeling) R 4740 4742 4499 0 -1 4202560 1723 1255 0 0 289 0 0 0 23 0 9 0 722622199 225968128 16359 33554432000 4194304 4417452 140733473335520 18446744073709551615 4249143 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.31
Current children cumulated vsize (KiB) 220672

[startup+6.30048 s]
/proc/loadavg: 8.13 8.10 8.10 9/460 4756
/proc/meminfo: memFree=29523828/32951124 swapFree=60688720/67111528
[pid=4742] ppid=4740 vsize=251456 CPUtime=48.86 cores=0-7
/proc/4742/stat : 4742 (plingeling) S 4740 4742 4499 0 -1 4202496 46695 1255 0 0 4879 7 0 0 18 0 9 0 722622179 257490944 24055 33554432000 4194304 4417452 140733473335520 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/4742/statm: 62864 24055 180 55 0 60750 0
[pid=4742/tid=4749] ppid=4740 vsize=251456 CPUtime=6.09 cores=0-7
/proc/4742/task/4749/stat : 4749 (plingeling) R 4740 4742 4499 0 -1 4202560 1492 1255 0 0 609 0 0 0 25 0 9 0 722622198 257490944 24055 33554432000 4194304 4417452 140733473335520 18446744073709551615 4249143 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4742/tid=4750] ppid=4740 vsize=251456 CPUtime=6.09 cores=0-7
/proc/4742/task/4750/stat : 4750 (plingeling) R 4740 4742 4499 0 -1 4202560 1515 1255 0 0 609 0 0 0 25 0 9 0 722622198 257490944 24055 33554432000 4194304 4417452 140733473335520 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4742/tid=4751] ppid=4740 vsize=251456 CPUtime=6.08 cores=0-7
/proc/4742/task/4751/stat : 4751 (plingeling) R 4740 4742 4499 0 -1 4202560 1518 1255 0 0 608 0 0 0 25 0 9 0 722622198 257490944 24055 33554432000 4194304 4417452 140733473335520 18446744073709551615 4277540 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4742/tid=4752] ppid=4740 vsize=251456 CPUtime=6.09 cores=0-7
/proc/4742/task/4752/stat : 4752 (plingeling) R 4740 4742 4499 0 -1 4202560 25250 1255 0 0 605 4 0 0 25 0 9 0 722622198 257490944 24055 33554432000 4194304 4417452 140733473335520 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4742/tid=4753] ppid=4740 vsize=251456 CPUtime=6.09 cores=0-7
/proc/4742/task/4753/stat : 4753 (plingeling) R 4740 4742 4499 0 -1 4202560 1892 1255 0 0 609 0 0 0 25 0 9 0 722622198 257490944 24055 33554432000 4194304 4417452 140733473335520 18446744073709551615 4235421 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4742/tid=4754] ppid=4740 vsize=251456 CPUtime=6.09 cores=0-7
/proc/4742/task/4754/stat : 4754 (plingeling) R 4740 4742 4499 0 -1 4202560 1199 1255 0 0 609 0 0 0 25 0 9 0 722622198 257490944 24055 33554432000 4194304 4417452 140733473335520 18446744073709551615 4250080 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4742/tid=4755] ppid=4740 vsize=251456 CPUtime=5.98 cores=0-7
/proc/4742/task/4755/stat : 4755 (plingeling) R 4740 4742 4499 0 -1 4202560 3140 1255 0 0 598 0 0 0 25 0 9 0 722622199 257490944 24055 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4742/tid=4756] ppid=4740 vsize=251456 CPUtime=6.09 cores=0-7
/proc/4742/task/4756/stat : 4756 (plingeling) R 4740 4742 4499 0 -1 4202560 1723 1255 0 0 609 0 0 0 25 0 9 0 722622199 257490944 24055 33554432000 4194304 4417452 140733473335520 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 48.86
Current children cumulated vsize (KiB) 251456

[startup+12.7003 s]
/proc/loadavg: 8.12 8.09 8.10 9/460 4757
/proc/meminfo: memFree=29463344/32951124 swapFree=60688720/67111528
[pid=4742] ppid=4740 vsize=298192 CPUtime=99.96 cores=0-7
/proc/4742/stat : 4742 (plingeling) S 4740 4742 4499 0 -1 4202496 68469 1255 0 0 9985 11 0 0 18 0 9 0 722622179 305348608 35739 33554432000 4194304 4417452 140733473335520 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/4742/statm: 74548 35739 180 55 0 72434 0
[pid=4742/tid=4749] ppid=4740 vsize=298192 CPUtime=12.49 cores=0-7
/proc/4742/task/4749/stat : 4749 (plingeling) R 4740 4742 4499 0 -1 4202560 2153 1255 0 0 1249 0 0 0 25 0 9 0 722622198 305348608 35739 33554432000 4194304 4417452 140733473335520 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4742/tid=4750] ppid=4740 vsize=298192 CPUtime=12.49 cores=0-7
/proc/4742/task/4750/stat : 4750 (plingeling) R 4740 4742 4499 0 -1 4202560 2176 1255 0 0 1249 0 0 0 25 0 9 0 722622198 305348608 35739 33554432000 4194304 4417452 140733473335520 18446744073709551615 4235968 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4742/tid=4751] ppid=4740 vsize=298192 CPUtime=12.47 cores=0-7
/proc/4742/task/4751/stat : 4751 (plingeling) R 4740 4742 4499 0 -1 4202560 4413 1255 0 0 1247 0 0 0 25 0 9 0 722622198 305348608 35739 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4742/tid=4752] ppid=4740 vsize=298192 CPUtime=12.48 cores=0-7
/proc/4742/task/4752/stat : 4752 (plingeling) R 4740 4742 4499 0 -1 4202560 38909 1255 0 0 1242 6 0 0 25 0 9 0 722622198 305348608 35739 33554432000 4194304 4417452 140733473335520 18446744073709551615 4357207 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4742/tid=4753] ppid=4740 vsize=298192 CPUtime=12.49 cores=0-7
/proc/4742/task/4753/stat : 4753 (plingeling) R 4740 4742 4499 0 -1 4202560 1892 1255 0 0 1249 0 0 0 25 0 9 0 722622198 305348608 35739 33554432000 4194304 4417452 140733473335520 18446744073709551615 4236311 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4742/tid=4754] ppid=4740 vsize=298192 CPUtime=12.49 cores=0-7
/proc/4742/task/4754/stat : 4754 (plingeling) R 4740 4742 4499 0 -1 4202560 1860 1255 0 0 1249 0 0 0 25 0 9 0 722622198 305348608 35739 33554432000 4194304 4417452 140733473335520 18446744073709551615 4250003 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4742/tid=4755] ppid=4740 vsize=298192 CPUtime=12.29 cores=0-7
/proc/4742/task/4755/stat : 4755 (plingeling) R 4740 4742 4499 0 -1 4202560 5716 1255 0 0 1228 1 0 0 25 0 9 0 722622199 305348608 35739 33554432000 4194304 4417452 140733473335520 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4742/tid=4756] ppid=4740 vsize=298192 CPUtime=12.49 cores=0-7
/proc/4742/task/4756/stat : 4756 (plingeling) R 4740 4742 4499 0 -1 4202560 2384 1255 0 0 1249 0 0 0 25 0 9 0 722622199 305348608 35739 33554432000 4194304 4417452 140733473335520 18446744073709551615 4258224 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 99.96
Current children cumulated vsize (KiB) 298192

[startup+25.5011 s]
/proc/loadavg: 8.16 8.11 8.10 9/460 4757
/proc/meminfo: memFree=29381956/32951124 swapFree=60688720/67111528
[pid=4742] ppid=4740 vsize=388164 CPUtime=202.17 cores=0-7
/proc/4742/stat : 4742 (plingeling) S 4740 4742 4499 0 -1 4202496 107622 1255 0 0 20199 18 0 0 18 0 9 0 722622179 397479936 58232 33554432000 4194304 4417452 140733473335520 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/4742/statm: 97041 58232 180 55 0 94927 0
[pid=4742/tid=4749] ppid=4740 vsize=388164 CPUtime=25.29 cores=0-7
/proc/4742/task/4749/stat : 4749 (plingeling) R 4740 4742 4499 0 -1 4202560 5842 1255 0 0 2529 0 0 0 25 0 9 0 722622198 397479936 58232 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4742/tid=4750] ppid=4740 vsize=388164 CPUtime=25.29 cores=0-7
/proc/4742/task/4750/stat : 4750 (plingeling) R 4740 4742 4499 0 -1 4202560 3025 1255 0 0 2529 0 0 0 25 0 9 0 722622198 397479936 58232 33554432000 4194304 4417452 140733473335520 18446744073709551615 4236255 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4742/tid=4751] ppid=4740 vsize=388164 CPUtime=25.27 cores=0-7
/proc/4742/task/4751/stat : 4751 (plingeling) R 4740 4742 4499 0 -1 4202560 5939 1255 0 0 2527 0 0 0 25 0 9 0 722622198 397479936 58232 33554432000 4194304 4417452 140733473335520 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4742/tid=4752] ppid=4740 vsize=388164 CPUtime=25.29 cores=0-7
/proc/4742/task/4752/stat : 4752 (plingeling) R 4740 4742 4499 0 -1 4202560 47222 1255 0 0 2521 8 0 0 25 0 9 0 722622198 397479936 58232 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4742/tid=4753] ppid=4740 vsize=388164 CPUtime=25.29 cores=0-7
/proc/4742/task/4753/stat : 4753 (plingeling) R 4740 4742 4499 0 -1 4202560 7322 1255 0 0 2528 1 0 0 25 0 9 0 722622198 397479936 58232 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364576 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4742/tid=4754] ppid=4740 vsize=388164 CPUtime=25.28 cores=0-7
/proc/4742/task/4754/stat : 4754 (plingeling) R 4740 4742 4499 0 -1 4202560 3947 1255 0 0 2528 0 0 0 25 0 9 0 722622198 397479936 58232 33554432000 4194304 4417452 140733473335520 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4742/tid=4755] ppid=4740 vsize=388164 CPUtime=24.9 cores=0-7
/proc/4742/task/4755/stat : 4755 (plingeling) R 4740 4742 4499 0 -1 4202560 16920 1255 0 0 2487 3 0 0 25 0 9 0 722622199 397479936 58232 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4742/tid=4756] ppid=4740 vsize=388164 CPUtime=25.29 cores=0-7
/proc/4742/task/4756/stat : 4756 (plingeling) R 4740 4742 4499 0 -1 4202560 8439 1255 0 0 2528 1 0 0 25 0 9 0 722622199 397479936 58232 33554432000 4194304 4417452 140733473335520 18446744073709551615 4354497 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.17
Current children cumulated vsize (KiB) 388164

[startup+51.1005 s]
/proc/loadavg: 8.11 8.10 8.09 9/460 4758
/proc/meminfo: memFree=29246672/32951124 swapFree=60688720/67111528
[pid=4742] ppid=4740 vsize=514056 CPUtime=406.59 cores=0-7
/proc/4742/stat : 4742 (plingeling) S 4740 4742 4499 0 -1 4202496 206348 1255 0 0 40623 36 0 0 18 0 9 0 722622179 526393344 89719 33554432000 4194304 4417452 140733473335520 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/4742/statm: 128514 89719 180 55 0 126400 0
[pid=4742/tid=4749] ppid=4740 vsize=514056 CPUtime=50.89 cores=0-7
/proc/4742/task/4749/stat : 4749 (plingeling) R 4740 4742 4499 0 -1 4202560 16587 1255 0 0 5087 2 0 0 25 0 9 0 722622198 526393344 89719 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4742/tid=4750] ppid=4740 vsize=514056 CPUtime=50.89 cores=0-7
/proc/4742/task/4750/stat : 4750 (plingeling) R 4740 4742 4499 0 -1 4202560 8673 1255 0 0 5088 1 0 0 25 0 9 0 722622198 526393344 89719 33554432000 4194304 4417452 140733473335520 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4742/tid=4751] ppid=4740 vsize=514056 CPUtime=50.88 cores=0-7

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

/proc/4742/task/4750/stat : 4750 (plingeling) R 4740 4742 4499 0 -1 4202560 744217 1255 0 0 244000 137 0 0 25 0 9 0 722622198 3779362816 888613 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4742/tid=4751] ppid=4740 vsize=3690784 CPUtime=2442.05 cores=0-7
/proc/4742/task/4751/stat : 4751 (plingeling) R 4740 4742 4499 0 -1 4202560 511371 1255 0 0 244111 94 0 0 25 0 9 0 722622198 3779362816 888613 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4742/tid=4752] ppid=4740 vsize=3690784 CPUtime=2442.14 cores=0-7
/proc/4742/task/4752/stat : 4752 (plingeling) R 4740 4742 4499 0 -1 4202560 480571 1255 0 0 244104 110 0 0 25 0 9 0 722622198 3779362816 888613 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4742/tid=4753] ppid=4740 vsize=3690784 CPUtime=2441.94 cores=0-7
/proc/4742/task/4753/stat : 4753 (plingeling) R 4740 4742 4499 0 -1 4202560 2261353 1255 0 0 243843 351 0 0 25 0 9 0 722622198 3779362816 888613 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4742/tid=4754] ppid=4740 vsize=3690784 CPUtime=2442.14 cores=0-7
/proc/4742/task/4754/stat : 4754 (plingeling) R 4740 4742 4499 0 -1 4202560 414495 1255 0 0 244142 72 0 0 25 0 9 0 722622198 3779362816 888613 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4742/tid=4755] ppid=4740 vsize=3690784 CPUtime=2404.84 cores=0-7
/proc/4742/task/4755/stat : 4755 (plingeling) R 4740 4742 4499 0 -1 4202560 596462 1255 0 0 240371 113 0 0 25 0 9 0 722622199 3779362816 888613 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4742/tid=4756] ppid=4740 vsize=3690784 CPUtime=2442.13 cores=0-7
/proc/4742/task/4756/stat : 4756 (plingeling) R 4740 4742 4499 0 -1 4202560 2134029 1255 0 0 243898 315 0 0 25 0 9 0 722622199 3779362816 888613 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19499
Current children cumulated vsize (KiB) 3690784

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

[startup+2457.6 s]
/proc/loadavg: 8.36 8.19 8.11 9/460 4834
/proc/meminfo: memFree=26306644/32951124 swapFree=60688720/67111528
[pid=4742] ppid=4740 vsize=3424488 CPUtime=19620.7 cores=0-7
/proc/4742/stat : 4742 (plingeling) S 4740 4742 4499 0 -1 4202496 7852684 1255 0 0 1960743 1325 0 0 18 0 9 0 722622179 3506675712 822295 33554432000 4194304 4417452 140733473335520 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/4742/statm: 856122 822295 180 55 0 854008 0
[pid=4742/tid=4749] ppid=4740 vsize=3424488 CPUtime=2457.42 cores=0-7
/proc/4742/task/4749/stat : 4749 (plingeling) R 4740 4742 4499 0 -1 4202560 669954 1255 0 0 245620 122 0 0 25 0 9 0 722622198 3506675712 822295 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4742/tid=4750] ppid=4740 vsize=3424488 CPUtime=2456.67 cores=0-7
/proc/4742/task/4750/stat : 4750 (plingeling) R 4740 4742 4499 0 -1 4202560 744217 1255 0 0 245529 138 0 0 25 0 9 0 722622198 3506675712 822295 33554432000 4194304 4417452 140733473335520 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4742/tid=4751] ppid=4740 vsize=3424488 CPUtime=2457.35 cores=0-7
/proc/4742/task/4751/stat : 4751 (plingeling) R 4740 4742 4499 0 -1 4202560 511371 1255 0 0 245640 95 0 0 25 0 9 0 722622198 3506675712 822295 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364812 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4742/tid=4752] ppid=4740 vsize=3424488 CPUtime=2457.44 cores=0-7
/proc/4742/task/4752/stat : 4752 (plingeling) R 4740 4742 4499 0 -1 4202560 480827 1255 0 0 245634 110 0 0 25 0 9 0 722622198 3506675712 822295 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4742/tid=4753] ppid=4740 vsize=3424488 CPUtime=2456.76 cores=0-7
/proc/4742/task/4753/stat : 4753 (plingeling) R 4740 4742 4499 0 -1 4202560 2269545 1255 0 0 245324 352 0 0 25 0 9 0 722622198 3506675712 822295 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4742/tid=4754] ppid=4740 vsize=3424488 CPUtime=2457.44 cores=0-7
/proc/4742/task/4754/stat : 4754 (plingeling) R 4740 4742 4499 0 -1 4202560 420929 1255 0 0 245671 73 0 0 25 0 9 0 722622198 3506675712 822295 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364597 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4742/tid=4755] ppid=4740 vsize=3424488 CPUtime=2419.9 cores=0-7
/proc/4742/task/4755/stat : 4755 (plingeling) R 4740 4742 4499 0 -1 4202560 596462 1255 0 0 241877 113 0 0 25 0 9 0 722622199 3506675712 822295 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4742/tid=4756] ppid=4740 vsize=3424488 CPUtime=2457.43 cores=0-7
/proc/4742/task/4756/stat : 4756 (plingeling) R 4740 4742 4499 0 -1 4202560 2150413 1255 0 0 245426 317 0 0 25 0 9 0 722622199 3506675712 822295 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19620.7
Current children cumulated vsize (KiB) 3424488

[startup+2470.4 s]
/proc/loadavg: 8.38 8.20 8.11 9/460 4834
/proc/meminfo: memFree=26034216/32951124 swapFree=60688720/67111528
[pid=4742] ppid=4740 vsize=3726644 CPUtime=19722.9 cores=0-7
/proc/4742/stat : 4742 (plingeling) S 4740 4742 4499 0 -1 4202496 7937439 1255 0 0 1970947 1341 0 0 18 0 9 0 722622179 3816083456 898858 33554432000 4194304 4417452 140733473335520 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/4742/statm: 931661 898858 180 55 0 929547 0
[pid=4742/tid=4749] ppid=4740 vsize=3726644 CPUtime=2470.22 cores=0-7
/proc/4742/task/4749/stat : 4749 (plingeling) R 4740 4742 4499 0 -1 4202560 669954 1255 0 0 246900 122 0 0 25 0 9 0 722622198 3816083456 898858 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4742/tid=4750] ppid=4740 vsize=3726644 CPUtime=2469.47 cores=0-7
/proc/4742/task/4750/stat : 4750 (plingeling) R 4740 4742 4499 0 -1 4202560 780276 1255 0 0 246802 145 0 0 25 0 9 0 722622198 3816083456 898858 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4742/tid=4751] ppid=4740 vsize=3726644 CPUtime=2470.15 cores=0-7
/proc/4742/task/4751/stat : 4751 (plingeling) R 4740 4742 4499 0 -1 4202560 511371 1255 0 0 246920 95 0 0 25 0 9 0 722622198 3816083456 898858 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4742/tid=4752] ppid=4740 vsize=3726644 CPUtime=2470.23 cores=0-7
/proc/4742/task/4752/stat : 4752 (plingeling) R 4740 4742 4499 0 -1 4202560 492155 1255 0 0 246910 113 0 0 25 0 9 0 722622198 3816083456 898858 33554432000 4194304 4417452 140733473335520 18446744073709551615 4366082 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4742/tid=4753] ppid=4740 vsize=3726644 CPUtime=2469.56 cores=0-7
/proc/4742/task/4753/stat : 4753 (plingeling) R 4740 4742 4499 0 -1 4202560 2277737 1255 0 0 246603 353 0 0 25 0 9 0 722622198 3816083456 898858 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4742/tid=4754] ppid=4740 vsize=3726644 CPUtime=2470.24 cores=0-7
/proc/4742/task/4754/stat : 4754 (plingeling) R 4740 4742 4499 0 -1 4202560 426796 1255 0 0 246949 75 0 0 25 0 9 0 722622198 3816083456 898858 33554432000 4194304 4417452 140733473335520 18446744073709551615 4250517 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4742/tid=4755] ppid=4740 vsize=3726644 CPUtime=2432.52 cores=0-7
/proc/4742/task/4755/stat : 4755 (plingeling) R 4740 4742 4499 0 -1 4202560 596462 1255 0 0 243139 113 0 0 25 0 9 0 722622199 3816083456 898858 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4742/tid=4756] ppid=4740 vsize=3726644 CPUtime=2470.23 cores=0-7
/proc/4742/task/4756/stat : 4756 (plingeling) R 4740 4742 4499 0 -1 4202560 2173722 1255 0 0 246702 321 0 0 25 0 9 0 722622199 3816083456 898858 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19722.9
Current children cumulated vsize (KiB) 3726644

[startup+2476.8 s]
/proc/loadavg: 8.35 8.19 8.11 9/460 4834
/proc/meminfo: memFree=25985940/32951124 swapFree=60688720/67111528
[pid=4742] ppid=4740 vsize=3738288 CPUtime=19774 cores=0-7
/proc/4742/stat : 4742 (plingeling) S 4740 4742 4499 0 -1 4202496 7949567 1255 0 0 1976055 1343 0 0 18 0 9 0 722622179 3828006912 902793 33554432000 4194304 4417452 140733473335520 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/4742/statm: 934572 902793 180 55 0 932458 0
[pid=4742/tid=4749] ppid=4740 vsize=3738288 CPUtime=2476.62 cores=0-7
/proc/4742/task/4749/stat : 4749 (plingeling) R 4740 4742 4499 0 -1 4202560 669954 1255 0 0 247540 122 0 0 25 0 9 0 722622198 3828006912 902793 33554432000 4194304 4417452 140733473335520 18446744073709551615 4366385 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4742/tid=4750] ppid=4740 vsize=3738288 CPUtime=2475.87 cores=0-7
/proc/4742/task/4750/stat : 4750 (plingeling) R 4740 4742 4499 0 -1 4202560 780276 1255 0 0 247442 145 0 0 25 0 9 0 722622198 3828006912 902793 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4742/tid=4751] ppid=4740 vsize=3738288 CPUtime=2476.55 cores=0-7
/proc/4742/task/4751/stat : 4751 (plingeling) R 4740 4742 4499 0 -1 4202560 511371 1255 0 0 247560 95 0 0 25 0 9 0 722622198 3828006912 902793 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4742/tid=4752] ppid=4740 vsize=3738288 CPUtime=2476.63 cores=0-7
/proc/4742/task/4752/stat : 4752 (plingeling) R 4740 4742 4499 0 -1 4202560 493180 1255 0 0 247550 113 0 0 25 0 9 0 722622198 3828006912 902793 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4742/tid=4753] ppid=4740 vsize=3738288 CPUtime=2475.96 cores=0-7
/proc/4742/task/4753/stat : 4753 (plingeling) R 4740 4742 4499 0 -1 4202560 2285929 1255 0 0 247243 353 0 0 25 0 9 0 722622198 3828006912 902793 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4742/tid=4754] ppid=4740 vsize=3738288 CPUtime=2476.64 cores=0-7
/proc/4742/task/4754/stat : 4754 (plingeling) R 4740 4742 4499 0 -1 4202560 429707 1255 0 0 247588 76 0 0 25 0 9 0 722622198 3828006912 902793 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4742/tid=4755] ppid=4740 vsize=3738288 CPUtime=2438.81 cores=0-7
/proc/4742/task/4755/stat : 4755 (plingeling) R 4740 4742 4499 0 -1 4202560 596462 1255 0 0 243768 113 0 0 25 0 9 0 722622199 3828006912 902793 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4742/tid=4756] ppid=4740 vsize=3738288 CPUtime=2476.63 cores=0-7
/proc/4742/task/4756/stat : 4756 (plingeling) R 4740 4742 4499 0 -1 4202560 2173722 1255 0 0 247342 321 0 0 25 0 9 0 722622199 3828006912 902793 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19774
Current children cumulated vsize (KiB) 3738288

[startup+2483.2 s]
/proc/loadavg: 8.29 8.19 8.11 9/460 4835
/proc/meminfo: memFree=25969684/32951124 swapFree=60688720/67111528
[pid=4742] ppid=4740 vsize=3754672 CPUtime=19825.1 cores=0-7
/proc/4742/stat : 4742 (plingeling) S 4740 4742 4499 0 -1 4202496 7970047 1255 0 0 1981164 1345 0 0 18 0 9 0 722622179 3844784128 906889 33554432000 4194304 4417452 140733473335520 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/4742/statm: 938668 906889 180 55 0 936554 0
[pid=4742/tid=4749] ppid=4740 vsize=3754672 CPUtime=2483.02 cores=0-7
/proc/4742/task/4749/stat : 4749 (plingeling) R 4740 4742 4499 0 -1 4202560 669954 1255 0 0 248180 122 0 0 25 0 9 0 722622198 3844784128 906889 33554432000 4194304 4417452 140733473335520 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4742/tid=4750] ppid=4740 vsize=3754672 CPUtime=2482.27 cores=0-7
/proc/4742/task/4750/stat : 4750 (plingeling) R 4740 4742 4499 0 -1 4202560 780276 1255 0 0 248082 145 0 0 25 0 9 0 722622198 3844784128 906889 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4742/tid=4751] ppid=4740 vsize=3754672 CPUtime=2482.95 cores=0-7
/proc/4742/task/4751/stat : 4751 (plingeling) R 4740 4742 4499 0 -1 4202560 511371 1255 0 0 248200 95 0 0 25 0 9 0 722622198 3844784128 906889 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4742/tid=4752] ppid=4740 vsize=3754672 CPUtime=2483.03 cores=0-7
/proc/4742/task/4752/stat : 4752 (plingeling) R 4740 4742 4499 0 -1 4202560 493180 1255 0 0 248190 113 0 0 25 0 9 0 722622198 3844784128 906889 33554432000 4194304 4417452 140733473335520 18446744073709551615 4366659 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4742/tid=4753] ppid=4740 vsize=3754672 CPUtime=2482.36 cores=0-7
/proc/4742/task/4753/stat : 4753 (plingeling) R 4740 4742 4499 0 -1 4202560 2294121 1255 0 0 247882 354 0 0 25 0 9 0 722622198 3844784128 906889 33554432000 4194304 4417452 140733473335520 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4742/tid=4754] ppid=4740 vsize=3754672 CPUtime=2483.05 cores=0-7
/proc/4742/task/4754/stat : 4754 (plingeling) R 4740 4742 4499 0 -1 4202560 433803 1255 0 0 248228 77 0 0 25 0 9 0 722622198 3844784128 906889 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4742/tid=4755] ppid=4740 vsize=3754672 CPUtime=2445.11 cores=0-7
/proc/4742/task/4755/stat : 4755 (plingeling) R 4740 4742 4499 0 -1 4202560 596462 1255 0 0 244398 113 0 0 25 0 9 0 722622199 3844784128 906889 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364885 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4742/tid=4756] ppid=4740 vsize=3754672 CPUtime=2483.04 cores=0-7
/proc/4742/task/4756/stat : 4756 (plingeling) R 4740 4742 4499 0 -1 4202560 2181914 1255 0 0 247982 322 0 0 25 0 9 0 722622199 3844784128 906889 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19825.1
Current children cumulated vsize (KiB) 3754672

[startup+2486.4 s]
/proc/loadavg: 8.29 8.19 8.11 4/455 4835
/proc/meminfo: memFree=26001716/32951124 swapFree=60688720/67111528
[pid=4742] ppid=4740 vsize=3691172 CPUtime=19843.1 cores=0-7
/proc/4742/stat : 4742 (plingeling) S 4740 4742 4499 0 -1 4202496 7970048 1255 0 0 1982963 1345 0 0 18 0 3 0 722622179 3779760128 898692 33554432000 4194304 4417452 140733473335520 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/4742/statm: 922793 898692 181 55 0 920679 0
[pid=4742/tid=4755] ppid=4740 vsize=3691172 CPUtime=2448.29 cores=0-7
/proc/4742/task/4755/stat : 4755 (plingeling) R 4740 4742 4499 0 -1 4202560 596462 1255 0 0 244716 113 0 0 25 0 3 0 722622199 3779760128 898692 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4742/tid=4756] ppid=4740 vsize=3691172 CPUtime=2486.23 cores=0-7
/proc/4742/task/4756/stat : 4756 (plingeling) R 4740 4742 4499 0 -1 4202560 2181914 1255 0 0 248301 322 0 0 25 0 3 0 722622199 3779760128 898692 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364877 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 19843.1
Current children cumulated vsize (KiB) 3691172

[startup+2487.22 s]
/proc/loadavg: 7.71 8.07 8.07 2/453 4835
/proc/meminfo: memFree=26001852/32951124 swapFree=60688720/67111528
[pid=4742] ppid=4740 vsize=3713696 CPUtime=19844.1 cores=0-7
/proc/4742/stat : 4742 (plingeling) S 4740 4742 4499 0 -1 4202496 7978240 1255 0 0 1983060 1346 0 0 15 0 2 0 722622179 3802824704 906882 33554432000 4194304 4417452 140733473335520 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/4742/statm: 928424 906882 181 55 0 926310 0
[pid=4742/tid=4756] ppid=4740 vsize=3713696 CPUtime=2487.05 cores=0-7
/proc/4742/task/4756/stat : 4756 (plingeling) R 4740 4742 4499 0 -1 4202560 2190106 1255 0 0 248382 323 0 0 25 0 2 0 722622199 3802824704 906882 33554432000 4194304 4417452 140733473335520 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 19844.1
Current children cumulated vsize (KiB) 3713696

[startup+2487.6 s]
/proc/loadavg: 7.71 8.07 8.07 2/453 4835
/proc/meminfo: memFree=26001852/32951124 swapFree=60688720/67111528
[pid=4742] ppid=4740 vsize=3713696 CPUtime=19844.4 cores=0-7
/proc/4742/stat : 4742 (plingeling) S 4740 4742 4499 0 -1 4202496 7978240 1255 0 0 1983099 1346 0 0 15 0 2 0 722622179 3802824704 906882 33554432000 4194304 4417452 140733473335520 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/4742/statm: 928424 906882 181 55 0 926310 0
[pid=4742/tid=4756] ppid=4740 vsize=3713696 CPUtime=2487.44 cores=0-7
/proc/4742/task/4756/stat : 4756 (plingeling) R 4740 4742 4499 0 -1 4202560 2190106 1255 0 0 248421 323 0 0 25 0 2 0 722622199 3802824704 906882 33554432000 4194304 4417452 140733473335520 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 19844.5
Current children cumulated vsize (KiB) 3713696

[startup+2487.8 s]
/proc/loadavg: 7.71 8.07 8.07 2/453 4835
/proc/meminfo: memFree=26001852/32951124 swapFree=60688720/67111528
[pid=4742] ppid=4740 vsize=3002056 CPUtime=19844.7 cores=0-7
/proc/4742/stat : 4742 (plingeling) R 4740 4742 4499 0 -1 4202496 7978240 1255 0 0 1983115 1350 0 0 15 0 1 0 722622179 3074105344 729851 33554432000 4194304 4417452 140733473335520 18446744073709551615 232335935623 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4742/statm: 750514 729339 181 55 0 748400 0
Current children cumulated CPU time (s) 19844.7
Current children cumulated vsize (KiB) 3002056

[startup+2487.9 s]
/proc/loadavg: 7.71 8.07 8.07 2/453 4835
/proc/meminfo: memFree=26001852/32951124 swapFree=60688720/67111528
[pid=4742] ppid=4740 vsize=1080160 CPUtime=19844.7 cores=0-7
/proc/4742/stat : 4742 (plingeling) R 4740 4742 4499 0 -1 4202496 7978240 1255 0 0 1983115 1359 0 0 16 0 1 0 722622179 1106083840 219544 33554432000 4194304 4417452 140733473335520 18446744073709551615 232335918186 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4742/statm: 270040 219544 181 55 0 267926 0
Current children cumulated CPU time (s) 19844.7
Current children cumulated vsize (KiB) 1080160

Child status: 10
Real time (s): 2487.95
CPU time (s): 19844.8
CPU user time (s): 19831.2
CPU system time (s): 13.6489
CPU usage (%): 797.638
Max. virtual memory (cumulated for all children) (KiB): 3754672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19831.2
system time used= 13.6489
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7979510
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= 219
involuntary context switches= 172914

runsolver used 10.6704 second user time and 27.3208 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-23 02:24:00
IDJOB=3394994
IDBENCH=88205
IDSOLVER=1851
FILE ID=node132/3394994-1306110240
RUNJOBID= node132-1306109724-4513
PBS_JOBID= 13388041
Free space on /tmp= 73264 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394994-1306110240/watcher-3394994-1306110240 -o /tmp/evaluation-result-3394994-1306110240/solver-3394994-1306110240 -C 40000 -W 5100 -M 31000  plingeling -t 8 HOME/instance-3394994-1306110240.cnf

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

MD5SUM BENCH= 1002234f62b5dfa01a75197c65e66327
RANDOM SEED=218475862

node132.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.833
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.66
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.833
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.74
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.833
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.76
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.833
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.75
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.833
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.77
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.833
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.67
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.833
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.82
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.833
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:     32951124 kB
MemFree:      29606104 kB
Buffers:         16916 kB
Cached:          96512 kB
SwapCached:      14568 kB
Active:          66520 kB
Inactive:      3103200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29606104 kB
SwapTotal:    67111528 kB
SwapFree:     60688720 kB
Dirty:            2364 kB
Writeback:           0 kB
AnonPages:     3050284 kB
Mapped:          18496 kB
Slab:            55992 kB
PageTables:      49776 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 109199924 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73264 MiB
End job on node132 at 2011-05-23 03:05:28