Trace number 3394493

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.298 12.8538

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.01084
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.24/12.84	s SATISFIABLE
13.24/12.84	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: 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-3394493-1306079902/watcher-3394493-1306079902 -o /tmp/evaluation-result-3394493-1306079902/solver-3394493-1306079902 -C 5000 -W 5100 -M 15500 mono Main.exe HOME/instance-3394493-1306079902.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.16 2.05 2.06 2/472 28421
/proc/meminfo: memFree=9540464/32950928 swapFree=62427732/67111528
[pid=28421] ppid=28419 vsize=105664 CPUtime=0 cores=1,3,5,7
/proc/28421/stat : 28421 (mono) R 28419 28421 27953 0 -1 4202496 1387 0 0 0 0 0 0 0 25 0 9 0 719590033 108199936 1294 33554432000 4194304 7232020 140733270554992 18446744073709551615 5672143 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/28421/statm: 26416 1294 916 742 0 18987 0
[pid=28421/tid=28423] ppid=28419 vsize=105800 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28423/stat : 28423 (mono) S 28419 28421 27953 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 719590033 108339200 1307 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28424] ppid=28419 vsize=105720 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28424/stat : 28424 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590033 108257280 1307 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28425] ppid=28419 vsize=105720 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28425/stat : 28425 (mono) S 28419 28421 27953 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 719590033 108257280 1307 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28426] ppid=28419 vsize=105720 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28426/stat : 28426 (mono) S 28419 28421 27953 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 719590033 108257280 1307 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28427] ppid=28419 vsize=105720 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28427/stat : 28427 (mono) S 28419 28421 27953 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 719590033 108257280 1307 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28428] ppid=28419 vsize=105720 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28428/stat : 28428 (mono) S 28419 28421 27953 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 719590033 108257280 1307 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28430] ppid=28419 vsize=105720 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28430/stat : 28430 (mono) S 28419 28421 27953 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 719590033 108257280 1308 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28431] ppid=28419 vsize=105720 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28431/stat : 28431 (mono) S 28419 28421 27953 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 719590034 108257280 1308 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101521841 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0

[startup+0.105163 s]
/proc/loadavg: 2.16 2.05 2.06 2/472 28421
/proc/meminfo: memFree=9540464/32950928 swapFree=62427732/67111528
[pid=28421] ppid=28419 vsize=111840 CPUtime=0.09 cores=1,3,5,7
/proc/28421/stat : 28421 (mono) R 28419 28421 27953 0 -1 4202496 2819 0 0 0 9 0 0 0 25 0 9 0 719590033 114524160 2722 33554432000 4194304 7232020 140733270554992 18446744073709551615 1094894653 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/28421/statm: 27960 2722 1024 742 0 20531 0
[pid=28421/tid=28423] ppid=28419 vsize=111840 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28423/stat : 28423 (mono) S 28419 28421 27953 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 719590033 114524160 2722 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28424] ppid=28419 vsize=111840 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28424/stat : 28424 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590033 114524160 2722 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28425] ppid=28419 vsize=111840 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28425/stat : 28425 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590033 114524160 2722 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 1 0 0 0
[pid=28421/tid=28426] ppid=28419 vsize=111840 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28426/stat : 28426 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590033 114524160 2722 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28427] ppid=28419 vsize=111840 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28427/stat : 28427 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590033 114524160 2722 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28428] ppid=28419 vsize=111840 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28428/stat : 28428 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590033 114524160 2722 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28430] ppid=28419 vsize=111840 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28430/stat : 28430 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 719590033 114524160 2722 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28431] ppid=28419 vsize=111840 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28431/stat : 28431 (mono) S 28419 28421 27953 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 719590034 114524160 2722 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101521841 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 111840

[startup+0.201144 s]
/proc/loadavg: 2.16 2.05 2.06 2/472 28421
/proc/meminfo: memFree=9540464/32950928 swapFree=62427732/67111528
[pid=28421] ppid=28419 vsize=111904 CPUtime=0.19 cores=1,3,5,7
/proc/28421/stat : 28421 (mono) R 28419 28421 27953 0 -1 4202496 3002 0 0 0 19 0 0 0 25 0 9 0 719590033 114589696 2905 33554432000 4194304 7232020 140733270554992 18446744073709551615 1094901545 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/28421/statm: 27976 2905 1024 742 0 20547 0
[pid=28421/tid=28423] ppid=28419 vsize=111904 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28423/stat : 28423 (mono) S 28419 28421 27953 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 9 0 719590033 114589696 2905 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28424] ppid=28419 vsize=111904 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28424/stat : 28424 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 719590033 114589696 2905 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28425] ppid=28419 vsize=111904 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28425/stat : 28425 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 719590033 114589696 2905 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 1 0 0 0
[pid=28421/tid=28426] ppid=28419 vsize=111904 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28426/stat : 28426 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 719590033 114589696 2905 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28427] ppid=28419 vsize=111904 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28427/stat : 28427 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 719590033 114589696 2905 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28428] ppid=28419 vsize=111904 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28428/stat : 28428 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 719590033 114589696 2905 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 1 0 0 0
[pid=28421/tid=28430] ppid=28419 vsize=111904 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28430/stat : 28430 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 719590033 114589696 2905 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28431] ppid=28419 vsize=111904 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28431/stat : 28431 (mono) S 28419 28421 27953 0 -1 4202560 3 0 0 0 0 0 0 0 24 0 9 0 719590034 114589696 2905 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101521841 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 111904

[startup+0.301127 s]
/proc/loadavg: 2.16 2.05 2.06 2/472 28421
/proc/meminfo: memFree=9540464/32950928 swapFree=62427732/67111528
[pid=28421] ppid=28419 vsize=111904 CPUtime=0.29 cores=1,3,5,7
/proc/28421/stat : 28421 (mono) R 28419 28421 27953 0 -1 4202496 3075 0 0 0 29 0 0 0 25 0 9 0 719590033 114589696 2978 33554432000 4194304 7232020 140733270554992 18446744073709551615 1094894617 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/28421/statm: 27976 2978 1024 742 0 20547 0
[pid=28421/tid=28423] ppid=28419 vsize=111904 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28423/stat : 28423 (mono) S 28419 28421 27953 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 9 0 719590033 114589696 2978 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28424] ppid=28419 vsize=111904 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28424/stat : 28424 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 719590033 114589696 2978 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28425] ppid=28419 vsize=111904 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28425/stat : 28425 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 719590033 114589696 2978 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 1 0 0 0
[pid=28421/tid=28426] ppid=28419 vsize=111904 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28426/stat : 28426 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 719590033 114589696 2978 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28427] ppid=28419 vsize=111904 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28427/stat : 28427 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 719590033 114589696 2978 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28428] ppid=28419 vsize=111904 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28428/stat : 28428 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 719590033 114589696 2978 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 1 0 0 0
[pid=28421/tid=28430] ppid=28419 vsize=111904 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28430/stat : 28430 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 719590033 114589696 2978 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28431] ppid=28419 vsize=111904 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28431/stat : 28431 (mono) S 28419 28421 27953 0 -1 4202560 3 0 0 0 0 0 0 0 23 0 9 0 719590034 114589696 2978 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101521841 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 111904

[startup+0.701057 s]
/proc/loadavg: 2.16 2.05 2.06 2/472 28421
/proc/meminfo: memFree=9540464/32950928 swapFree=62427732/67111528
[pid=28421] ppid=28419 vsize=113948 CPUtime=0.7 cores=1,3,5,7
/proc/28421/stat : 28421 (mono) R 28419 28421 27953 0 -1 4202496 3378 0 0 0 70 0 0 0 25 0 9 0 719590033 116682752 3281 33554432000 4194304 7232020 140733270554992 18446744073709551615 1094900476 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/28421/statm: 28487 3281 1024 742 0 21058 0
[pid=28421/tid=28423] ppid=28419 vsize=113948 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28423/stat : 28423 (mono) S 28419 28421 27953 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 9 0 719590033 116682752 3281 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 1 0 0 0
[pid=28421/tid=28424] ppid=28419 vsize=113948 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28424/stat : 28424 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 719590033 116682752 3281 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28425] ppid=28419 vsize=113948 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28425/stat : 28425 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 719590033 116682752 3281 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 1 0 0 0
[pid=28421/tid=28426] ppid=28419 vsize=113948 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28426/stat : 28426 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 719590033 116682752 3281 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28427] ppid=28419 vsize=113948 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28427/stat : 28427 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 719590033 116682752 3281 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28428] ppid=28419 vsize=113948 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28428/stat : 28428 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 719590033 116682752 3281 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 1 0 0 0
[pid=28421/tid=28430] ppid=28419 vsize=113948 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28430/stat : 28430 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 719590033 116682752 3281 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 1 0 0 0
[pid=28421/tid=28431] ppid=28419 vsize=113948 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28431/stat : 28431 (mono) S 28419 28421 27953 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 9 0 719590034 116682752 3281 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101521841 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 113948

[startup+1.50092 s]
/proc/loadavg: 2.16 2.05 2.06 3/481 28432
/proc/meminfo: memFree=9528492/32950928 swapFree=62427732/67111528
[pid=28421] ppid=28419 vsize=116756 CPUtime=1.51 cores=1,3,5,7
/proc/28421/stat : 28421 (mono) R 28419 28421 27953 0 -1 4202496 4019 0 0 0 150 1 0 0 25 0 9 0 719590033 119558144 3904 33554432000 4194304 7232020 140733270554992 18446744073709551615 1094894820 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/28421/statm: 29189 3904 1024 742 0 21760 0
[pid=28421/tid=28423] ppid=28419 vsize=116756 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28423/stat : 28423 (mono) S 28419 28421 27953 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 719590033 119558144 3904 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28424] ppid=28419 vsize=116756 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28424/stat : 28424 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719590033 119558144 3904 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28425] ppid=28419 vsize=116756 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28425/stat : 28425 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719590033 119558144 3904 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28426] ppid=28419 vsize=116756 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28426/stat : 28426 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719590033 119558144 3904 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 1 0 0 0
[pid=28421/tid=28427] ppid=28419 vsize=116756 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28427/stat : 28427 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719590033 119558144 3904 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28428] ppid=28419 vsize=116756 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28428/stat : 28428 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719590033 119558144 3904 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28430] ppid=28419 vsize=116756 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28430/stat : 28430 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719590033 119558144 3904 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28431] ppid=28419 vsize=116756 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28431/stat : 28431 (mono) S 28419 28421 27953 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719590034 119558144 3904 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101521841 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 116756

[startup+3.10063 s]
/proc/loadavg: 2.16 2.05 2.06 3/481 28432
/proc/meminfo: memFree=9523160/32950928 swapFree=62427732/67111528
[pid=28421] ppid=28419 vsize=120372 CPUtime=3.15 cores=1,3,5,7
/proc/28421/stat : 28421 (mono) R 28419 28421 27953 0 -1 4202496 5413 0 0 0 314 1 0 0 20 0 9 0 719590033 123260928 4676 33554432000 4194304 7232020 140733270554992 18446744073709551615 6148931 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28421/statm: 30093 4676 1024 742 0 22664 0
[pid=28421/tid=28423] ppid=28419 vsize=120372 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28423/stat : 28423 (mono) S 28419 28421 27953 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 719590033 123260928 4676 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28424] ppid=28419 vsize=120372 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28424/stat : 28424 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 719590033 123260928 4676 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28425] ppid=28419 vsize=120372 CPUtime=0.01 cores=1,3,5,7
/proc/28421/task/28425/stat : 28425 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 719590033 123260928 4676 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28426] ppid=28419 vsize=120372 CPUtime=0.01 cores=1,3,5,7
/proc/28421/task/28426/stat : 28426 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 719590033 123260928 4676 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28427] ppid=28419 vsize=120372 CPUtime=0.01 cores=1,3,5,7
/proc/28421/task/28427/stat : 28427 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 719590033 123260928 4676 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28428] ppid=28419 vsize=120372 CPUtime=0.01 cores=1,3,5,7
/proc/28421/task/28428/stat : 28428 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 719590033 123260928 4676 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 1 0 0 0
[pid=28421/tid=28430] ppid=28419 vsize=120372 CPUtime=0.01 cores=1,3,5,7
/proc/28421/task/28430/stat : 28430 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 719590033 123260928 4676 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28431] ppid=28419 vsize=120372 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28431/stat : 28431 (mono) S 28419 28421 27953 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719590034 123260928 4676 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101521841 0 0 4096 545260780 18446604458080093248 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 120372

[startup+6.30107 s]
/proc/loadavg: 2.15 2.05 2.06 3/481 28432
/proc/meminfo: memFree=9520820/32950928 swapFree=62427732/67111528
[pid=28421] ppid=28419 vsize=125152 CPUtime=6.46 cores=1,3,5,7
/proc/28421/stat : 28421 (mono) R 28419 28421 27953 0 -1 4202496 7436 0 0 0 644 2 0 0 20 0 9 0 719590033 128155648 5459 33554432000 4194304 7232020 140733270554992 18446744073709551615 5703113 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/28421/statm: 31288 5459 1025 742 0 23859 0
[pid=28421/tid=28423] ppid=28419 vsize=125152 CPUtime=0.02 cores=1,3,5,7
/proc/28421/task/28423/stat : 28423 (mono) S 28419 28421 27953 0 -1 4202560 4 0 0 0 2 0 0 0 15 0 9 0 719590033 128155648 5459 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28424] ppid=28419 vsize=125152 CPUtime=0.03 cores=1,3,5,7
/proc/28421/task/28424/stat : 28424 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 719590033 128155648 5459 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28425] ppid=28419 vsize=125152 CPUtime=0.02 cores=1,3,5,7
/proc/28421/task/28425/stat : 28425 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 719590033 128155648 5459 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28426] ppid=28419 vsize=125152 CPUtime=0.04 cores=1,3,5,7
/proc/28421/task/28426/stat : 28426 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 719590033 128155648 5459 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 1 0 0 0
[pid=28421/tid=28427] ppid=28419 vsize=125152 CPUtime=0.04 cores=1,3,5,7
/proc/28421/task/28427/stat : 28427 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 719590033 128155648 5459 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28428] ppid=28419 vsize=125152 CPUtime=0.02 cores=1,3,5,7
/proc/28421/task/28428/stat : 28428 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 719590033 128155648 5459 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28430] ppid=28419 vsize=125152 CPUtime=0.03 cores=1,3,5,7
/proc/28421/task/28430/stat : 28430 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 719590033 128155648 5459 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28431] ppid=28419 vsize=125152 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28431/stat : 28431 (mono) S 28419 28421 27953 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719590034 128155648 5459 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101521841 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.46
Current children cumulated vsize (KiB) 125152

[startup+12.701 s]
/proc/loadavg: 2.05 2.03 2.05 3/481 28474
/proc/meminfo: memFree=10117904/32950928 swapFree=62427732/67111528
[pid=28421] ppid=28419 vsize=140252 CPUtime=13.13 cores=1,3,5,7
/proc/28421/stat : 28421 (mono) R 28419 28421 27953 0 -1 4202496 10826 0 0 0 1308 5 0 0 18 0 9 0 719590033 143618048 6778 33554432000 4194304 7232020 140733270554992 18446744073709551615 1094898359 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/28421/statm: 35063 6778 1025 742 0 27634 0
[pid=28421/tid=28423] ppid=28419 vsize=140252 CPUtime=0.09 cores=1,3,5,7
/proc/28421/task/28423/stat : 28423 (mono) S 28419 28421 27953 0 -1 4202560 4 0 0 0 9 0 0 0 15 0 9 0 719590033 143618048 6778 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 1 0 0 0
[pid=28421/tid=28424] ppid=28419 vsize=140252 CPUtime=0.08 cores=1,3,5,7
/proc/28421/task/28424/stat : 28424 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 719590033 143618048 6778 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 1 0 0 0
[pid=28421/tid=28425] ppid=28419 vsize=140252 CPUtime=0.08 cores=1,3,5,7
/proc/28421/task/28425/stat : 28425 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 719590033 143618048 6778 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 1 0 0 0
[pid=28421/tid=28426] ppid=28419 vsize=140252 CPUtime=0.1 cores=1,3,5,7
/proc/28421/task/28426/stat : 28426 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 719590033 143618048 6778 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 1 0 0 0
[pid=28421/tid=28427] ppid=28419 vsize=140252 CPUtime=0.11 cores=1,3,5,7
/proc/28421/task/28427/stat : 28427 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 11 0 0 0 16 0 9 0 719590033 143618048 6778 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28428] ppid=28419 vsize=140252 CPUtime=0.07 cores=1,3,5,7
/proc/28421/task/28428/stat : 28428 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 7 0 0 0 15 0 9 0 719590033 143618048 6778 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28430] ppid=28419 vsize=140252 CPUtime=0.08 cores=1,3,5,7
/proc/28421/task/28430/stat : 28430 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 719590033 143618048 6778 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28431] ppid=28419 vsize=140252 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28431/stat : 28431 (mono) S 28419 28421 27953 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719590034 143618048 6778 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101521841 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 13.13
Current children cumulated vsize (KiB) 140252

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

[startup+12.8009 s]
/proc/loadavg: 2.05 2.03 2.05 3/481 28474
/proc/meminfo: memFree=10117904/32950928 swapFree=62427732/67111528
[pid=28421] ppid=28419 vsize=140252 CPUtime=13.24 cores=1,3,5,7
/proc/28421/stat : 28421 (mono) R 28419 28421 27953 0 -1 4202496 11003 0 0 0 1319 5 0 0 19 0 9 0 719590033 143618048 6955 33554432000 4194304 7232020 140733270554992 18446744073709551615 6169031 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/28421/statm: 35063 6955 1025 742 0 27634 0
[pid=28421/tid=28423] ppid=28419 vsize=140252 CPUtime=0.09 cores=1,3,5,7
/proc/28421/task/28423/stat : 28423 (mono) S 28419 28421 27953 0 -1 4202560 4 0 0 0 9 0 0 0 15 0 9 0 719590033 143618048 6955 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 1 0 0 0
[pid=28421/tid=28424] ppid=28419 vsize=140252 CPUtime=0.08 cores=1,3,5,7
/proc/28421/task/28424/stat : 28424 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 719590033 143618048 6955 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28425] ppid=28419 vsize=140252 CPUtime=0.08 cores=1,3,5,7
/proc/28421/task/28425/stat : 28425 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 719590033 143618048 6955 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 1 0 0 0
[pid=28421/tid=28426] ppid=28419 vsize=140252 CPUtime=0.1 cores=1,3,5,7
/proc/28421/task/28426/stat : 28426 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 719590033 143618048 6955 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 1 0 0 0
[pid=28421/tid=28427] ppid=28419 vsize=140252 CPUtime=0.11 cores=1,3,5,7
/proc/28421/task/28427/stat : 28427 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 719590033 143618048 6955 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
[pid=28421/tid=28428] ppid=28419 vsize=140252 CPUtime=0.08 cores=1,3,5,7
/proc/28421/task/28428/stat : 28428 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 719590033 143618048 6955 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28430] ppid=28419 vsize=140252 CPUtime=0.08 cores=1,3,5,7
/proc/28421/task/28430/stat : 28430 (mono) S 28419 28421 27953 0 -1 4202560 2 0 0 0 8 0 0 0 15 0 9 0 719590033 143618048 6955 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101514137 0 0 4096 545260780 18446604458080093248 0 0 -1 7 0 0 0
[pid=28421/tid=28431] ppid=28419 vsize=140252 CPUtime=0 cores=1,3,5,7
/proc/28421/task/28431/stat : 28431 (mono) S 28419 28421 27953 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 719590034 143618048 6955 33554432000 4194304 7232020 140733270554992 18446744073709551615 248101521841 0 0 4096 545260780 18446604458080093248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 13.24
Current children cumulated vsize (KiB) 140252

Child status: 0
Real time (s): 12.8538
CPU time (s): 13.298
CPU user time (s): 13.244
CPU system time (s): 0.053991
CPU usage (%): 103.455
Max. virtual memory (cumulated for all children) (KiB): 140252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.244
system time used= 0.053991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11133
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13353
involuntary context switches= 2542

runsolver used 0.06099 second user time and 0.141978 second system time

The end

Launcher Data 

Begin job on node123 at 2011-05-22 17:58:22
IDJOB=3394493
IDBENCH=83190
IDSOLVER=1880
FILE ID=node123/3394493-1306079902
RUNJOBID= node123-1306069996-27972
PBS_JOBID= 13387880
Free space on /tmp= 73124 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-3394493-1306079902/watcher-3394493-1306079902 -o /tmp/evaluation-result-3394493-1306079902/solver-3394493-1306079902 -C 5000 -W 5100 -M 15500  mono Main.exe HOME/instance-3394493-1306079902.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= c6e549f9708971f42573991eb7f6cef3
RANDOM SEED=1251252464

node123.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.838
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.67
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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
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.838
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.75
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.838
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.82
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.838
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.74
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.838
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.80
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.838
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.838
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:     32950928 kB
MemFree:       9540744 kB
Buffers:        174460 kB
Cached:        3538548 kB
SwapCached:      76084 kB
Active:        8779828 kB
Inactive:     14366040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       9540744 kB
SwapTotal:    67111528 kB
SwapFree:     62427732 kB
Dirty:              20 kB
Writeback:           0 kB
AnonPages:    19365048 kB
Mapped:          34416 kB
Slab:           115380 kB
PageTables:      79724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 134059260 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= 73124 MiB
End job on node123 at 2011-05-22 17:58:35