Trace number 3260629

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
Sol 2011-04-04SAT 13.7039 13.3732

General information on the benchmark

Namecrafted/skvortsov/
automata-synchronization/crn_11_100_s.cnf
MD5SUMc6e549f9708971f42573991eb7f6cef3
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.02184
Satisfiable
(Un)Satisfiability was proved
Number of variables1300
Number of clauses2355
Sum of the clauses size6888
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2177
Number of clauses of size 32178
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

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

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-3260629-1303513748/watcher-3260629-1303513748 -o /tmp/evaluation-result-3260629-1303513748/solver-3260629-1303513748 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3260629-1303513748.cnf 

running on 2 cores: 4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.94 1.60 2.13 5/213 23098
/proc/meminfo: memFree=12978796/32951124 swapFree=67102140/67111528
[pid=23098] ppid=23096 vsize=102404 CPUtime=0 cores=4,6
/proc/23098/stat : 23098 (mono) R 23096 23098 20890 0 -1 4202496 729 0 0 0 0 0 0 0 25 0 8 0 541605459 104861696 638 33554432000 4194304 7232020 140735425896688 18446744073709551615 216734839493 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/23098/statm: 25601 641 499 742 0 18172 0
[pid=23098/tid=23099] ppid=23096 vsize=102404 CPUtime=0 cores=4,6
/proc/23098/task/23099/stat : 23099 (mono) S 23096 23098 20890 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 8 0 541605459 104861696 651 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23100] ppid=23096 vsize=102404 CPUtime=0 cores=4,6
/proc/23098/task/23100/stat : 23100 (mono) S 23096 23098 20890 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 541605459 104861696 657 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23101] ppid=23096 vsize=102404 CPUtime=0 cores=4,6
/proc/23098/task/23101/stat : 23101 (mono) S 23096 23098 20890 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 541605459 104861696 662 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23102] ppid=23096 vsize=102404 CPUtime=0 cores=4,6
/proc/23098/task/23102/stat : 23102 (mono) S 23096 23098 20890 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 541605459 104861696 665 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23103] ppid=23096 vsize=102536 CPUtime=0 cores=4,6
/proc/23098/task/23103/stat : 23103 (mono) S 23096 23098 20890 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 541605459 104996864 668 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23104] ppid=23096 vsize=102536 CPUtime=0 cores=4,6
/proc/23098/task/23104/stat : 23104 (mono) S 23096 23098 20890 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 541605459 104996864 670 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23105] ppid=23096 vsize=102536 CPUtime=0 cores=4,6
/proc/23098/task/23105/stat : 23105 (mono) S 23096 23098 20890 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 541605459 104996864 672 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0

[startup+0.049253 s]
/proc/loadavg: 2.94 1.60 2.13 5/213 23098
/proc/meminfo: memFree=12978796/32951124 swapFree=67102140/67111528
[pid=23098] ppid=23096 vsize=109192 CPUtime=0.04 cores=4,6
/proc/23098/stat : 23098 (mono) S 23096 23098 20890 0 -1 4202496 2354 0 0 0 4 0 0 0 18 0 9 0 541605459 111812608 2257 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446744073709551615 0 0 17 6 0 0 0
/proc/23098/statm: 27595 2324 1000 742 0 20166 0
[pid=23098/tid=23099] ppid=23096 vsize=110380 CPUtime=0 cores=4,6
/proc/23098/task/23099/stat : 23099 (mono) S 23096 23098 20890 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 541605459 113029120 2324 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23100] ppid=23096 vsize=110380 CPUtime=0 cores=4,6
/proc/23098/task/23100/stat : 23100 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 541605459 113029120 2324 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23101] ppid=23096 vsize=110380 CPUtime=0 cores=4,6
/proc/23098/task/23101/stat : 23101 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 541605459 113029120 2324 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23102] ppid=23096 vsize=110380 CPUtime=0 cores=4,6
/proc/23098/task/23102/stat : 23102 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 541605459 113029120 2324 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23103] ppid=23096 vsize=110380 CPUtime=0 cores=4,6
/proc/23098/task/23103/stat : 23103 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 541605459 113029120 2324 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23104] ppid=23096 vsize=110380 CPUtime=0 cores=4,6
/proc/23098/task/23104/stat : 23104 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 541605459 113029120 2324 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23105] ppid=23096 vsize=110380 CPUtime=0 cores=4,6
/proc/23098/task/23105/stat : 23105 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 541605459 113029120 2324 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 109192

[startup+0.106787 s]
/proc/loadavg: 2.94 1.60 2.13 5/213 23098
/proc/meminfo: memFree=12978796/32951124 swapFree=67102140/67111528
[pid=23098] ppid=23096 vsize=111840 CPUtime=0.09 cores=4,6
/proc/23098/stat : 23098 (mono) R 23096 23098 20890 0 -1 4202496 2818 0 0 0 9 0 0 0 18 0 9 0 541605459 114524160 2721 33554432000 4194304 7232020 140735425896688 18446744073709551615 1084989780 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/23098/statm: 27960 2721 1024 742 0 20531 0
[pid=23098/tid=23099] ppid=23096 vsize=111840 CPUtime=0 cores=4,6
/proc/23098/task/23099/stat : 23099 (mono) S 23096 23098 20890 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 541605459 114524160 2721 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23100] ppid=23096 vsize=111840 CPUtime=0 cores=4,6
/proc/23098/task/23100/stat : 23100 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 541605459 114524160 2721 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23101] ppid=23096 vsize=111840 CPUtime=0 cores=4,6
/proc/23098/task/23101/stat : 23101 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 541605459 114524160 2721 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23102] ppid=23096 vsize=111840 CPUtime=0 cores=4,6
/proc/23098/task/23102/stat : 23102 (mono) R 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 541605459 114524160 2721 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 0 0 0 -1 4 0 0 0
[pid=23098/tid=23103] ppid=23096 vsize=111840 CPUtime=0 cores=4,6
/proc/23098/task/23103/stat : 23103 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 541605459 114524160 2721 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23104] ppid=23096 vsize=111840 CPUtime=0 cores=4,6
/proc/23098/task/23104/stat : 23104 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 541605459 114524160 2721 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23105] ppid=23096 vsize=111840 CPUtime=0 cores=4,6
/proc/23098/task/23105/stat : 23105 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 541605459 114524160 2721 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 111840

[startup+0.300705 s]
/proc/loadavg: 2.94 1.60 2.13 5/213 23098
/proc/meminfo: memFree=12978796/32951124 swapFree=67102140/67111528
[pid=23098] ppid=23096 vsize=111904 CPUtime=0.29 cores=4,6
/proc/23098/stat : 23098 (mono) R 23096 23098 20890 0 -1 4202496 3074 0 0 0 29 0 0 0 18 0 9 0 541605459 114589696 2977 33554432000 4194304 7232020 140735425896688 18446744073709551615 1084986656 0 0 4096 545260780 18446744073709551615 0 0 17 6 0 0 0
/proc/23098/statm: 27976 2977 1024 742 0 20547 0
[pid=23098/tid=23099] ppid=23096 vsize=111904 CPUtime=0 cores=4,6
/proc/23098/task/23099/stat : 23099 (mono) S 23096 23098 20890 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 541605459 114589696 2977 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23100] ppid=23096 vsize=111904 CPUtime=0 cores=4,6
/proc/23098/task/23100/stat : 23100 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 541605459 114589696 2977 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23101] ppid=23096 vsize=111904 CPUtime=0 cores=4,6
/proc/23098/task/23101/stat : 23101 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541605459 114589696 2977 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23102] ppid=23096 vsize=111904 CPUtime=0 cores=4,6
/proc/23098/task/23102/stat : 23102 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 541605459 114589696 2977 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23103] ppid=23096 vsize=111904 CPUtime=0 cores=4,6
/proc/23098/task/23103/stat : 23103 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 541605459 114589696 2977 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23104] ppid=23096 vsize=111904 CPUtime=0 cores=4,6
/proc/23098/task/23104/stat : 23104 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 541605459 114589696 2977 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23105] ppid=23096 vsize=111904 CPUtime=0 cores=4,6
/proc/23098/task/23105/stat : 23105 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 541605459 114589696 2977 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 111904

[startup+0.700625 s]
/proc/loadavg: 2.94 1.60 2.13 5/213 23098
/proc/meminfo: memFree=12978796/32951124 swapFree=67102140/67111528
[pid=23098] ppid=23096 vsize=113948 CPUtime=0.69 cores=4,6
/proc/23098/stat : 23098 (mono) R 23096 23098 20890 0 -1 4202496 3378 0 0 0 69 0 0 0 18 0 9 0 541605459 116682752 3281 33554432000 4194304 7232020 140735425896688 18446744073709551615 1084989489 0 0 4096 545260780 18446744073709551615 0 0 17 6 0 0 0
/proc/23098/statm: 28487 3281 1024 742 0 21058 0
[pid=23098/tid=23099] ppid=23096 vsize=113948 CPUtime=0 cores=4,6
/proc/23098/task/23099/stat : 23099 (mono) S 23096 23098 20890 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 541605459 116682752 3281 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23100] ppid=23096 vsize=113948 CPUtime=0 cores=4,6
/proc/23098/task/23100/stat : 23100 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 541605459 116682752 3281 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23101] ppid=23096 vsize=113948 CPUtime=0 cores=4,6
/proc/23098/task/23101/stat : 23101 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 541605459 116682752 3281 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23102] ppid=23096 vsize=113948 CPUtime=0 cores=4,6
/proc/23098/task/23102/stat : 23102 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541605459 116682752 3281 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23103] ppid=23096 vsize=113948 CPUtime=0 cores=4,6
/proc/23098/task/23103/stat : 23103 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541605459 116682752 3281 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23104] ppid=23096 vsize=113948 CPUtime=0 cores=4,6
/proc/23098/task/23104/stat : 23104 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 541605459 116682752 3281 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23105] ppid=23096 vsize=113948 CPUtime=0 cores=4,6
/proc/23098/task/23105/stat : 23105 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541605459 116682752 3281 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 113948

[startup+1.50055 s]
/proc/loadavg: 2.94 1.60 2.13 6/222 23107
/proc/meminfo: memFree=12963248/32951124 swapFree=67102140/67111528
[pid=23098] ppid=23096 vsize=116756 CPUtime=1.5 cores=4,6
/proc/23098/stat : 23098 (mono) R 23096 23098 20890 0 -1 4202496 4019 0 0 0 150 0 0 0 18 0 9 0 541605459 119558144 3922 33554432000 4194304 7232020 140735425896688 18446744073709551615 1084989777 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/23098/statm: 29189 3922 1024 742 0 21760 0
[pid=23098/tid=23099] ppid=23096 vsize=116756 CPUtime=0 cores=4,6
/proc/23098/task/23099/stat : 23099 (mono) S 23096 23098 20890 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 541605459 119558144 3922 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23100] ppid=23096 vsize=116756 CPUtime=0 cores=4,6
/proc/23098/task/23100/stat : 23100 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 541605459 119558144 3922 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23101] ppid=23096 vsize=116756 CPUtime=0 cores=4,6
/proc/23098/task/23101/stat : 23101 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541605459 119558144 3922 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23102] ppid=23096 vsize=116756 CPUtime=0 cores=4,6
/proc/23098/task/23102/stat : 23102 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541605459 119558144 3922 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23103] ppid=23096 vsize=116756 CPUtime=0 cores=4,6
/proc/23098/task/23103/stat : 23103 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541605459 119558144 3922 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23104] ppid=23096 vsize=116756 CPUtime=0 cores=4,6
/proc/23098/task/23104/stat : 23104 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541605459 119558144 3922 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23105] ppid=23096 vsize=116756 CPUtime=0 cores=4,6
/proc/23098/task/23105/stat : 23105 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541605459 119558144 3922 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23107] ppid=23096 vsize=116756 CPUtime=0 cores=4,6
/proc/23098/task/23107/stat : 23107 (mono) S 23096 23098 20890 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 541605460 119558144 3922 33554432000 4194304 7232020 140735425896688 18446744073709551615 216747002289 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 116756

[startup+3.10124 s]
/proc/loadavg: 2.94 1.60 2.13 6/222 23107
/proc/meminfo: memFree=12950104/32951124 swapFree=67102140/67111528
[pid=23098] ppid=23096 vsize=120372 CPUtime=3.13 cores=4,6
/proc/23098/stat : 23098 (mono) R 23096 23098 20890 0 -1 4202496 5413 0 0 0 313 0 0 0 18 0 9 0 541605459 123260928 4676 33554432000 4194304 7232020 140735425896688 18446744073709551615 1084986429 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/23098/statm: 30093 4676 1024 742 0 22664 0
[pid=23098/tid=23099] ppid=23096 vsize=120372 CPUtime=0.01 cores=4,6
/proc/23098/task/23099/stat : 23099 (mono) S 23096 23098 20890 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 9 0 541605459 123260928 4676 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23100] ppid=23096 vsize=120372 CPUtime=0.01 cores=4,6
/proc/23098/task/23100/stat : 23100 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 541605459 123260928 4676 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23101] ppid=23096 vsize=120372 CPUtime=0.01 cores=4,6
/proc/23098/task/23101/stat : 23101 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 541605459 123260928 4676 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23102] ppid=23096 vsize=120372 CPUtime=0.01 cores=4,6
/proc/23098/task/23102/stat : 23102 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 541605459 123260928 4676 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23103] ppid=23096 vsize=120372 CPUtime=0.01 cores=4,6
/proc/23098/task/23103/stat : 23103 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 541605459 123260928 4676 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23104] ppid=23096 vsize=120372 CPUtime=0 cores=4,6
/proc/23098/task/23104/stat : 23104 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541605459 123260928 4676 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23105] ppid=23096 vsize=120372 CPUtime=0.01 cores=4,6
/proc/23098/task/23105/stat : 23105 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 541605459 123260928 4676 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23107] ppid=23096 vsize=120372 CPUtime=0 cores=4,6
/proc/23098/task/23107/stat : 23107 (mono) S 23096 23098 20890 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 541605460 123260928 4676 33554432000 4194304 7232020 140735425896688 18446744073709551615 216747002289 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 120372

[startup+6.30064 s]
/proc/loadavg: 3.02 1.64 2.14 6/222 23107
/proc/meminfo: memFree=12939440/32951124 swapFree=67102140/67111528
[pid=23098] ppid=23096 vsize=125152 CPUtime=6.42 cores=4,6
/proc/23098/stat : 23098 (mono) R 23096 23098 20890 0 -1 4202496 7328 0 0 0 641 1 0 0 18 0 9 0 541605459 128155648 5364 33554432000 4194304 7232020 140735425896688 18446744073709551615 1084988760 0 0 4096 545260780 18446744073709551615 0 0 17 6 0 0 0
/proc/23098/statm: 31288 5364 1025 742 0 23859 0
[pid=23098/tid=23099] ppid=23096 vsize=125152 CPUtime=0.04 cores=4,6
/proc/23098/task/23099/stat : 23099 (mono) S 23096 23098 20890 0 -1 4202560 4 0 0 0 4 0 0 0 16 0 9 0 541605459 128155648 5364 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23100] ppid=23096 vsize=125152 CPUtime=0.03 cores=4,6
/proc/23098/task/23100/stat : 23100 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 541605459 128155648 5364 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23101] ppid=23096 vsize=125152 CPUtime=0.03 cores=4,6
/proc/23098/task/23101/stat : 23101 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 541605459 128155648 5364 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23102] ppid=23096 vsize=125152 CPUtime=0.03 cores=4,6
/proc/23098/task/23102/stat : 23102 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 541605459 128155648 5364 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23103] ppid=23096 vsize=125152 CPUtime=0.04 cores=4,6
/proc/23098/task/23103/stat : 23103 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 541605459 128155648 5364 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23104] ppid=23096 vsize=125152 CPUtime=0.03 cores=4,6
/proc/23098/task/23104/stat : 23104 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 541605459 128155648 5364 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23105] ppid=23096 vsize=125152 CPUtime=0.02 cores=4,6
/proc/23098/task/23105/stat : 23105 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 541605459 128155648 5364 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23107] ppid=23096 vsize=125152 CPUtime=0 cores=4,6
/proc/23098/task/23107/stat : 23107 (mono) S 23096 23098 20890 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 541605460 128155648 5364 33554432000 4194304 7232020 140735425896688 18446744073709551615 216747002289 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 125152

[startup+12.7006 s]
/proc/loadavg: 3.10 1.68 2.15 6/222 23107
/proc/meminfo: memFree=12934592/32951124 swapFree=67102140/67111528
[pid=23098] ppid=23096 vsize=140252 CPUtime=13 cores=4,6
/proc/23098/stat : 23098 (mono) R 23096 23098 20890 0 -1 4202496 10636 0 0 0 1298 2 0 0 18 0 9 0 541605459 143618048 6624 33554432000 4194304 7232020 140735425896688 18446744073709551615 1084997994 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/23098/statm: 35063 6624 1025 742 0 27634 0
[pid=23098/tid=23099] ppid=23096 vsize=140252 CPUtime=0.09 cores=4,6
/proc/23098/task/23099/stat : 23099 (mono) S 23096 23098 20890 0 -1 4202560 4 0 0 0 9 0 0 0 15 0 9 0 541605459 143618048 6624 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23100] ppid=23096 vsize=140252 CPUtime=0.09 cores=4,6
/proc/23098/task/23100/stat : 23100 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 541605459 143618048 6624 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23101] ppid=23096 vsize=140252 CPUtime=0.08 cores=4,6
/proc/23098/task/23101/stat : 23101 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 541605459 143618048 6624 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23102] ppid=23096 vsize=140252 CPUtime=0.07 cores=4,6
/proc/23098/task/23102/stat : 23102 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 7 0 0 0 15 0 9 0 541605459 143618048 6624 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23103] ppid=23096 vsize=140252 CPUtime=0.09 cores=4,6
/proc/23098/task/23103/stat : 23103 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 9 0 0 0 16 0 9 0 541605459 143618048 6624 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23104] ppid=23096 vsize=140252 CPUtime=0.07 cores=4,6
/proc/23098/task/23104/stat : 23104 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 7 0 0 0 15 0 9 0 541605459 143618048 6624 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23105] ppid=23096 vsize=140252 CPUtime=0.09 cores=4,6
/proc/23098/task/23105/stat : 23105 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 541605459 143618048 6624 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23107] ppid=23096 vsize=140252 CPUtime=0 cores=4,6
/proc/23098/task/23107/stat : 23107 (mono) S 23096 23098 20890 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 541605460 143618048 6624 33554432000 4194304 7232020 140735425896688 18446744073709551615 216747002289 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13
Current children cumulated vsize (KiB) 140252

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

[startup+13.1005 s]
/proc/loadavg: 3.10 1.68 2.15 6/222 23107
/proc/meminfo: memFree=12935956/32951124 swapFree=67102140/67111528
[pid=23098] ppid=23096 vsize=140252 CPUtime=13.42 cores=4,6
/proc/23098/stat : 23098 (mono) R 23096 23098 20890 0 -1 4202496 10764 0 0 0 1340 2 0 0 18 0 9 0 541605459 143618048 6716 33554432000 4194304 7232020 140735425896688 18446744073709551615 1084989557 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/23098/statm: 35063 6716 1025 742 0 27634 0
[pid=23098/tid=23099] ppid=23096 vsize=140252 CPUtime=0.09 cores=4,6
/proc/23098/task/23099/stat : 23099 (mono) S 23096 23098 20890 0 -1 4202560 4 0 0 0 9 0 0 0 15 0 9 0 541605459 143618048 6716 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23100] ppid=23096 vsize=140252 CPUtime=0.09 cores=4,6
/proc/23098/task/23100/stat : 23100 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 9 0 0 0 16 0 9 0 541605459 143618048 6716 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23101] ppid=23096 vsize=140252 CPUtime=0.08 cores=4,6
/proc/23098/task/23101/stat : 23101 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 541605459 143618048 6716 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23102] ppid=23096 vsize=140252 CPUtime=0.08 cores=4,6
/proc/23098/task/23102/stat : 23102 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 541605459 143618048 6716 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23103] ppid=23096 vsize=140252 CPUtime=0.09 cores=4,6
/proc/23098/task/23103/stat : 23103 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 541605459 143618048 6716 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23104] ppid=23096 vsize=140252 CPUtime=0.08 cores=4,6
/proc/23098/task/23104/stat : 23104 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 541605459 143618048 6716 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23105] ppid=23096 vsize=140252 CPUtime=0.1 cores=4,6
/proc/23098/task/23105/stat : 23105 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 541605459 143618048 6716 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23107] ppid=23096 vsize=140252 CPUtime=0 cores=4,6
/proc/23098/task/23107/stat : 23107 (mono) S 23096 23098 20890 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 541605460 143618048 6716 33554432000 4194304 7232020 140735425896688 18446744073709551615 216747002289 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13.42
Current children cumulated vsize (KiB) 140252

[startup+13.3004 s]
/proc/loadavg: 3.10 1.68 2.15 6/222 23107
/proc/meminfo: memFree=12935956/32951124 swapFree=67102140/67111528
[pid=23098] ppid=23096 vsize=140252 CPUtime=13.61 cores=4,6
/proc/23098/stat : 23098 (mono) R 23096 23098 20890 0 -1 4202496 10856 0 0 0 1359 2 0 0 18 0 9 0 541605459 143618048 6808 33554432000 4194304 7232020 140735425896688 18446744073709551615 1084989799 0 0 4096 545260780 18446744073709551615 0 0 17 6 0 0 0
/proc/23098/statm: 35063 6808 1025 742 0 27634 0
[pid=23098/tid=23099] ppid=23096 vsize=140252 CPUtime=0.09 cores=4,6
/proc/23098/task/23099/stat : 23099 (mono) S 23096 23098 20890 0 -1 4202560 4 0 0 0 9 0 0 0 15 0 9 0 541605459 143618048 6808 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23100] ppid=23096 vsize=140252 CPUtime=0.09 cores=4,6
/proc/23098/task/23100/stat : 23100 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 9 0 0 0 16 0 9 0 541605459 143618048 6808 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23101] ppid=23096 vsize=140252 CPUtime=0.08 cores=4,6
/proc/23098/task/23101/stat : 23101 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 541605459 143618048 6808 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23102] ppid=23096 vsize=140252 CPUtime=0.08 cores=4,6
/proc/23098/task/23102/stat : 23102 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 541605459 143618048 6808 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
[pid=23098/tid=23103] ppid=23096 vsize=140252 CPUtime=0.1 cores=4,6
/proc/23098/task/23103/stat : 23103 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 541605459 143618048 6808 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23104] ppid=23096 vsize=140252 CPUtime=0.08 cores=4,6
/proc/23098/task/23104/stat : 23104 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 541605459 143618048 6808 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23105] ppid=23096 vsize=140252 CPUtime=0.1 cores=4,6
/proc/23098/task/23105/stat : 23105 (mono) S 23096 23098 20890 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 541605459 143618048 6808 33554432000 4194304 7232020 140735425896688 18446744073709551615 216746994585 0 0 4096 545260780 18446604453886712512 0 0 -1 6 0 0 0
[pid=23098/tid=23107] ppid=23096 vsize=140252 CPUtime=0 cores=4,6
/proc/23098/task/23107/stat : 23107 (mono) S 23096 23098 20890 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 541605460 143618048 6808 33554432000 4194304 7232020 140735425896688 18446744073709551615 216747002289 0 0 4096 545260780 18446604453886712512 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13.61
Current children cumulated vsize (KiB) 140252

Child status: 0
Real time (s): 13.3732
CPU time (s): 13.7039
CPU user time (s): 13.6699
CPU system time (s): 0.033994
CPU usage (%): 102.473
Max. virtual memory (cumulated for all children) (KiB): 140252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.6699
system time used= 0.033994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11135
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= 11531
involuntary context switches= 2491

runsolver used 0.027995 second user time and 0.050992 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-23 01:09:08
IDJOB=3260629
IDBENCH=83190
IDSOLVER=1608
FILE ID=node119/3260629-1303513748
RUNJOBID= node119-1303513695-22891
PBS_JOBID= 13134218
Free space on /tmp= 71644 MiB

SOLVER NAME= Sol 2011-04-04
BENCH NAME= SAT11/crafted/skvortsov/automata-synchronization/crn_11_100_s.cnf
COMMAND LINE= mono Main.exe BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3260629-1303513748/watcher-3260629-1303513748 -o /tmp/evaluation-result-3260629-1303513748/solver-3260629-1303513748 -C 2400 -W 1300 -M 7680  mono Main.exe HOME/instance-3260629-1303513748.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= c6e549f9708971f42573991eb7f6cef3
RANDOM SEED=1958543816

node119.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.815
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.815
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.83
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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
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.83
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.815
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.67
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.815
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.83
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.815
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.74
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.815
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12979076 kB
Buffers:       1981724 kB
Cached:       16597224 kB
SwapCached:       5504 kB
Active:        8107484 kB
Inactive:     11288620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12979076 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:              32 kB
Writeback:           0 kB
AnonPages:      814620 kB
Mapped:          17996 kB
Slab:           511000 kB
PageTables:       6892 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1239300 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= 71644 MiB
End job on node119 at 2011-04-23 01:09:21