Trace number 3381225

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095-patched (fixed)SAT 151.197 18.9769

General information on the benchmark

NameSAT04/handmade/andrew/composite/
Composite-024BitPrimes-1.used-as.sat04-861.cnf
MD5SUM72d75022e26bed024de6755e7642ab28
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark11.4853
Satisfiable
(Un)Satisfiability was proved
Number of variables1199
Number of clauses11158
Sum of the clauses size49842
Maximum clause length5
Minimum clause length1
Number of clauses of size 174
Number of clauses of size 21148
Number of clauses of size 31104
Number of clauses of size 40
Number of clauses of size 58832
Number of clauses of size over 50

Solver Data 

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

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-3381225-1305509827/watcher-3381225-1305509827 -o /tmp/evaluation-result-3381225-1305509827/solver-3381225-1305509827 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381225-1305509827.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0 s]
/proc/loadavg: 8.08 7.79 7.83 2/358 20771
/proc/meminfo: memFree=21416744/32950928 swapFree=62959384/67111528
[pid=20771] ppid=20769 vsize=22136 CPUtime=0 cores=0-7
/proc/20771/stat : 20771 (claspmt) R 20769 20771 20418 0 -1 4202496 853 0 0 0 0 0 0 0 25 0 1 0 118592078 22667264 763 33554432000 4194304 4964800 140735415365424 18446744073709551615 218880225989 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/20771/statm: 5534 763 403 189 0 408 0

[startup+0.0238011 s]
/proc/loadavg: 8.08 7.79 7.83 2/358 20771
/proc/meminfo: memFree=21416744/32950928 swapFree=62959384/67111528
[pid=20771] ppid=20769 vsize=120016 CPUtime=0.01 cores=0-7
/proc/20771/stat : 20771 (claspmt) R 20769 20771 20418 0 -1 4202496 1039 0 0 0 1 0 0 0 25 0 8 0 118592078 122896384 938 33554432000 4194304 4964800 140735415365424 18446744073709551615 218880608439 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/20771/statm: 30004 954 433 189 0 24353 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 120016

[startup+0.102945 s]
/proc/loadavg: 8.08 7.79 7.83 2/358 20771
/proc/meminfo: memFree=21416744/32950928 swapFree=62959384/67111528
[pid=20771] ppid=20769 vsize=383680 CPUtime=2.97 cores=0-7
/proc/20771/stat : 20771 (claspmt) R 20769 20771 20418 0 -1 4202496 3150 0 0 0 296 1 0 0 18 0 8 0 118592078 392888320 3001 33554432000 4194304 4964800 140735415365424 18446744073709551615 218880670190 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/20771/statm: 95920 3193 464 189 0 90269 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 383680

[startup+0.893532 s]
/proc/loadavg: 8.08 7.79 7.83 2/358 20771
/proc/meminfo: memFree=21416744/32950928 swapFree=62959384/67111528
[pid=20771] ppid=20769 vsize=383944 CPUtime=6.9 cores=0-7
/proc/20771/stat : 20771 (claspmt) R 20769 20771 20418 0 -1 4202496 3630 0 0 0 689 1 0 0 19 0 8 0 118592078 393158656 3481 33554432000 4194304 4964800 140735415365424 18446744073709551615 4669476 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/20771/statm: 95986 3481 464 189 0 90335 0
Current children cumulated CPU time (s) 6.9
Current children cumulated vsize (KiB) 383944

[startup+0.900529 s]
/proc/loadavg: 8.08 7.79 7.83 2/358 20771
/proc/meminfo: memFree=21416744/32950928 swapFree=62959384/67111528
[pid=20771] ppid=20769 vsize=383944 CPUtime=6.95 cores=0-7
/proc/20771/stat : 20771 (claspmt) R 20769 20771 20418 0 -1 4202496 3642 0 0 0 694 1 0 0 19 0 8 0 118592078 393158656 3493 33554432000 4194304 4964800 140735415365424 18446744073709551615 4320883 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/20771/statm: 95986 3493 464 189 0 90335 0
Current children cumulated CPU time (s) 6.95
Current children cumulated vsize (KiB) 383944

[startup+1.50043 s]
/proc/loadavg: 8.08 7.79 7.83 2/358 20771
/proc/meminfo: memFree=21416744/32950928 swapFree=62959384/67111528
[pid=20771] ppid=20769 vsize=384616 CPUtime=11.75 cores=0-7
/proc/20771/stat : 20771 (claspmt) R 20769 20771 20418 0 -1 4202496 4443 0 0 0 1174 1 0 0 20 0 8 0 118592078 393846784 4294 33554432000 4194304 4964800 140735415365424 18446744073709551615 4325296 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/20771/statm: 96154 4294 464 189 0 90503 0
Current children cumulated CPU time (s) 11.75
Current children cumulated vsize (KiB) 384616

[startup+3.10115 s]
/proc/loadavg: 8.08 7.79 7.83 9/366 20779
/proc/meminfo: memFree=21397052/32950928 swapFree=62959384/67111528
[pid=20771] ppid=20769 vsize=385256 CPUtime=24.52 cores=0-7
/proc/20771/stat : 20771 (claspmt) R 20769 20771 20418 0 -1 4202496 5627 0 0 0 2450 2 0 0 25 0 8 0 118592078 394502144 5442 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670273 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/20771/statm: 96314 5442 464 189 0 90663 0
[pid=20771/tid=20773] ppid=20769 vsize=385256 CPUtime=3.05 cores=0-7
/proc/20771/task/20773/stat : 20773 (claspmt) R 20769 20771 20418 0 -1 4202560 585 0 0 0 305 0 0 0 25 0 8 0 118592080 394502144 5442 33554432000 4194304 4964800 140735415365424 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=20771/tid=20774] ppid=20769 vsize=385256 CPUtime=3.06 cores=0-7
/proc/20771/task/20774/stat : 20774 (claspmt) R 20769 20771 20418 0 -1 4202560 959 0 0 0 306 0 0 0 25 0 8 0 118592080 394502144 5442 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20771/tid=20775] ppid=20769 vsize=385256 CPUtime=3.05 cores=0-7
/proc/20771/task/20775/stat : 20775 (claspmt) R 20769 20771 20418 0 -1 4202560 383 0 0 0 305 0 0 0 25 0 8 0 118592080 394502144 5442 33554432000 4194304 4964800 140735415365424 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=20771/tid=20776] ppid=20769 vsize=385256 CPUtime=3.06 cores=0-7
/proc/20771/task/20776/stat : 20776 (claspmt) R 20769 20771 20418 0 -1 4202560 651 0 0 0 306 0 0 0 25 0 8 0 118592080 394502144 5442 33554432000 4194304 4964800 140735415365424 18446744073709551615 4660408 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20771/tid=20777] ppid=20769 vsize=385256 CPUtime=3.07 cores=0-7
/proc/20771/task/20777/stat : 20777 (claspmt) R 20769 20771 20418 0 -1 4202560 522 0 0 0 307 0 0 0 25 0 8 0 118592080 394502144 5442 33554432000 4194304 4964800 140735415365424 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=20771/tid=20778] ppid=20769 vsize=385256 CPUtime=3.06 cores=0-7
/proc/20771/task/20778/stat : 20778 (claspmt) R 20769 20771 20418 0 -1 4202560 522 0 0 0 306 0 0 0 25 0 8 0 118592080 394502144 5442 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=20771/tid=20779] ppid=20769 vsize=385256 CPUtime=3.05 cores=0-7
/proc/20771/task/20779/stat : 20779 (claspmt) R 20769 20771 20418 0 -1 4202560 719 0 0 0 305 0 0 0 25 0 8 0 118592080 394502144 5442 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670378 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.52
Current children cumulated vsize (KiB) 385256

[startup+6.30059 s]
/proc/loadavg: 8.07 7.80 7.83 9/366 20779
/proc/meminfo: memFree=21389784/32950928 swapFree=62959384/67111528
[pid=20771] ppid=20769 vsize=386708 CPUtime=50.08 cores=0-7
/proc/20771/stat : 20771 (claspmt) R 20769 20771 20418 0 -1 4202496 7504 0 0 0 5005 3 0 0 25 0 8 0 118592078 395988992 7265 33554432000 4194304 4964800 140735415365424 18446744073709551615 4669276 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/20771/statm: 96677 7265 466 189 0 91026 0
[pid=20771/tid=20773] ppid=20769 vsize=386708 CPUtime=6.25 cores=0-7
/proc/20771/task/20773/stat : 20773 (claspmt) R 20769 20771 20418 0 -1 4202560 831 0 0 0 625 0 0 0 25 0 8 0 118592080 395988992 7265 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=20771/tid=20774] ppid=20769 vsize=386708 CPUtime=6.25 cores=0-7
/proc/20771/task/20774/stat : 20774 (claspmt) R 20769 20771 20418 0 -1 4202560 1356 0 0 0 625 0 0 0 25 0 8 0 118592080 395988992 7265 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20771/tid=20775] ppid=20769 vsize=386708 CPUtime=6.25 cores=0-7
/proc/20771/task/20775/stat : 20775 (claspmt) R 20769 20771 20418 0 -1 4202560 541 0 0 0 625 0 0 0 25 0 8 0 118592080 395988992 7265 33554432000 4194304 4964800 140735415365424 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=20771/tid=20776] ppid=20769 vsize=386708 CPUtime=6.26 cores=0-7
/proc/20771/task/20776/stat : 20776 (claspmt) R 20769 20771 20418 0 -1 4202560 921 0 0 0 626 0 0 0 25 0 8 0 118592080 395988992 7265 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670507 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20771/tid=20777] ppid=20769 vsize=386708 CPUtime=6.27 cores=0-7
/proc/20771/task/20777/stat : 20777 (claspmt) R 20769 20771 20418 0 -1 4202560 764 0 0 0 627 0 0 0 25 0 8 0 118592080 395988992 7265 33554432000 4194304 4964800 140735415365424 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=20771/tid=20778] ppid=20769 vsize=386708 CPUtime=6.26 cores=0-7
/proc/20771/task/20778/stat : 20778 (claspmt) R 20769 20771 20418 0 -1 4202560 640 0 0 0 626 0 0 0 25 0 8 0 118592080 395988992 7265 33554432000 4194304 4964800 140735415365424 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=20771/tid=20779] ppid=20769 vsize=386708 CPUtime=6.25 cores=0-7
/proc/20771/task/20779/stat : 20779 (claspmt) R 20769 20771 20418 0 -1 4202560 1051 0 0 0 625 0 0 0 25 0 8 0 118592080 395988992 7265 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.08
Current children cumulated vsize (KiB) 386708

[startup+12.7135 s]
/proc/loadavg: 8.07 7.80 7.83 9/366 20779
/proc/meminfo: memFree=21381804/32950928 swapFree=62959384/67111528
[pid=20771] ppid=20769 vsize=388448 CPUtime=101.3 cores=0-7
/proc/20771/stat : 20771 (claspmt) R 20769 20771 20418 0 -1 4202496 9392 0 0 0 10126 4 0 0 25 0 8 0 118592078 397770752 9117 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/20771/statm: 97112 9117 466 189 0 91461 0
[pid=20771/tid=20773] ppid=20769 vsize=388448 CPUtime=12.66 cores=0-7
/proc/20771/task/20773/stat : 20773 (claspmt) R 20769 20771 20418 0 -1 4202560 1164 0 0 0 1266 0 0 0 25 0 8 0 118592080 397770752 9117 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670645 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=20771/tid=20774] ppid=20769 vsize=388448 CPUtime=12.67 cores=0-7
/proc/20771/task/20774/stat : 20774 (claspmt) R 20769 20771 20418 0 -1 4202560 1643 0 0 0 1267 0 0 0 25 0 8 0 118592080 397770752 9117 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670256 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20771/tid=20775] ppid=20769 vsize=388448 CPUtime=12.66 cores=0-7
/proc/20771/task/20775/stat : 20775 (claspmt) R 20769 20771 20418 0 -1 4202560 713 0 0 0 1266 0 0 0 25 0 8 0 118592080 397770752 9117 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=20771/tid=20776] ppid=20769 vsize=388448 CPUtime=12.68 cores=0-7
/proc/20771/task/20776/stat : 20776 (claspmt) R 20769 20771 20418 0 -1 4202560 1170 0 0 0 1268 0 0 0 25 0 8 0 118592080 397770752 9117 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20771/tid=20777] ppid=20769 vsize=388448 CPUtime=12.68 cores=0-7
/proc/20771/task/20777/stat : 20777 (claspmt) R 20769 20771 20418 0 -1 4202560 899 0 0 0 1268 0 0 0 25 0 8 0 118592080 397770752 9117 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=20771/tid=20778] ppid=20769 vsize=388448 CPUtime=12.67 cores=0-7
/proc/20771/task/20778/stat : 20778 (claspmt) R 20769 20771 20418 0 -1 4202560 954 0 0 0 1267 0 0 0 25 0 8 0 118592080 397770752 9117 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=20771/tid=20779] ppid=20769 vsize=388448 CPUtime=12.66 cores=0-7
/proc/20771/task/20779/stat : 20779 (claspmt) R 20769 20771 20418 0 -1 4202560 1290 0 0 0 1266 0 0 0 25 0 8 0 118592080 397770752 9117 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.3
Current children cumulated vsize (KiB) 388448

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

[startup+13.3004 s]
/proc/loadavg: 8.07 7.80 7.83 9/366 20779
/proc/meminfo: memFree=21381804/32950928 swapFree=62959384/67111528
[pid=20771] ppid=20769 vsize=388448 CPUtime=106 cores=0-7
/proc/20771/stat : 20771 (claspmt) R 20769 20771 20418 0 -1 4202496 9441 0 0 0 10596 4 0 0 25 0 8 0 118592078 397770752 9166 33554432000 4194304 4964800 140735415365424 18446744073709551615 4653351 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/20771/statm: 97112 9166 466 189 0 91461 0
[pid=20771/tid=20773] ppid=20769 vsize=388448 CPUtime=13.25 cores=0-7
/proc/20771/task/20773/stat : 20773 (claspmt) R 20769 20771 20418 0 -1 4202560 1172 0 0 0 1325 0 0 0 25 0 8 0 118592080 397770752 9166 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=20771/tid=20774] ppid=20769 vsize=388448 CPUtime=13.25 cores=0-7
/proc/20771/task/20774/stat : 20774 (claspmt) R 20769 20771 20418 0 -1 4202560 1643 0 0 0 1325 0 0 0 25 0 8 0 118592080 397770752 9166 33554432000 4194304 4964800 140735415365424 18446744073709551615 4660390 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20771/tid=20775] ppid=20769 vsize=388448 CPUtime=13.25 cores=0-7
/proc/20771/task/20775/stat : 20775 (claspmt) R 20769 20771 20418 0 -1 4202560 724 0 0 0 1325 0 0 0 25 0 8 0 118592080 397770752 9166 33554432000 4194304 4964800 140735415365424 18446744073709551615 4324732 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=20771/tid=20776] ppid=20769 vsize=388448 CPUtime=13.26 cores=0-7
/proc/20771/task/20776/stat : 20776 (claspmt) R 20769 20771 20418 0 -1 4202560 1170 0 0 0 1326 0 0 0 25 0 8 0 118592080 397770752 9166 33554432000 4194304 4964800 140735415365424 18446744073709551615 4683996 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20771/tid=20777] ppid=20769 vsize=388448 CPUtime=13.27 cores=0-7
/proc/20771/task/20777/stat : 20777 (claspmt) R 20769 20771 20418 0 -1 4202560 899 0 0 0 1327 0 0 0 25 0 8 0 118592080 397770752 9166 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=20771/tid=20778] ppid=20769 vsize=388448 CPUtime=13.26 cores=0-7
/proc/20771/task/20778/stat : 20778 (claspmt) R 20769 20771 20418 0 -1 4202560 954 0 0 0 1326 0 0 0 25 0 8 0 118592080 397770752 9166 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=20771/tid=20779] ppid=20769 vsize=388448 CPUtime=13.25 cores=0-7
/proc/20771/task/20779/stat : 20779 (claspmt) R 20769 20771 20418 0 -1 4202560 1303 0 0 0 1325 0 0 0 25 0 8 0 118592080 397770752 9166 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 106
Current children cumulated vsize (KiB) 388448

[startup+16.5008 s]
/proc/loadavg: 8.06 7.80 7.83 9/366 20779
/proc/meminfo: memFree=21379480/32950928 swapFree=62959384/67111528
[pid=20771] ppid=20769 vsize=389040 CPUtime=131.56 cores=0-7
/proc/20771/stat : 20771 (claspmt) R 20769 20771 20418 0 -1 4202496 10101 0 0 0 13152 4 0 0 25 0 8 0 118592078 398376960 9826 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/20771/statm: 97260 9826 466 189 0 91609 0
[pid=20771/tid=20773] ppid=20769 vsize=389040 CPUtime=16.45 cores=0-7
/proc/20771/task/20773/stat : 20773 (claspmt) R 20769 20771 20418 0 -1 4202560 1368 0 0 0 1645 0 0 0 25 0 8 0 118592080 398376960 9826 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670412 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=20771/tid=20774] ppid=20769 vsize=389040 CPUtime=16.45 cores=0-7
/proc/20771/task/20774/stat : 20774 (claspmt) R 20769 20771 20418 0 -1 4202560 1733 0 0 0 1645 0 0 0 25 0 8 0 118592080 398376960 9826 33554432000 4194304 4964800 140735415365424 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20771/tid=20775] ppid=20769 vsize=389040 CPUtime=16.45 cores=0-7
/proc/20771/task/20775/stat : 20775 (claspmt) R 20769 20771 20418 0 -1 4202560 770 0 0 0 1645 0 0 0 25 0 8 0 118592080 398376960 9826 33554432000 4194304 4964800 140735415365424 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=20771/tid=20776] ppid=20769 vsize=389040 CPUtime=16.46 cores=0-7
/proc/20771/task/20776/stat : 20776 (claspmt) R 20769 20771 20418 0 -1 4202560 1295 0 0 0 1646 0 0 0 25 0 8 0 118592080 398376960 9826 33554432000 4194304 4964800 140735415365424 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20771/tid=20777] ppid=20769 vsize=389040 CPUtime=16.47 cores=0-7
/proc/20771/task/20777/stat : 20777 (claspmt) R 20769 20771 20418 0 -1 4202560 957 0 0 0 1647 0 0 0 25 0 8 0 118592080 398376960 9826 33554432000 4194304 4964800 140735415365424 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=20771/tid=20778] ppid=20769 vsize=389040 CPUtime=16.46 cores=0-7
/proc/20771/task/20778/stat : 20778 (claspmt) R 20769 20771 20418 0 -1 4202560 1020 0 0 0 1646 0 0 0 25 0 8 0 118592080 398376960 9826 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=20771/tid=20779] ppid=20769 vsize=389040 CPUtime=16.45 cores=0-7
/proc/20771/task/20779/stat : 20779 (claspmt) R 20769 20771 20418 0 -1 4202560 1363 0 0 0 1645 0 0 0 25 0 8 0 118592080 398376960 9826 33554432000 4194304 4964800 140735415365424 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 131.56
Current children cumulated vsize (KiB) 389040

[startup+18.1005 s]
/proc/loadavg: 8.06 7.80 7.83 9/366 20779
/proc/meminfo: memFree=21378364/32950928 swapFree=62959384/67111528
[pid=20771] ppid=20769 vsize=389040 CPUtime=144.42 cores=0-7
/proc/20771/stat : 20771 (claspmt) R 20769 20771 20418 0 -1 4202496 10327 0 0 0 14438 4 0 0 25 0 8 0 118592078 398376960 10052 33554432000 4194304 4964800 140735415365424 18446744073709551615 4669476 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/20771/statm: 97260 10052 466 189 0 91609 0
[pid=20771/tid=20773] ppid=20769 vsize=389040 CPUtime=18.06 cores=0-7
/proc/20771/task/20773/stat : 20773 (claspmt) R 20769 20771 20418 0 -1 4202560 1411 0 0 0 1806 0 0 0 25 0 8 0 118592080 398376960 10052 33554432000 4194304 4964800 140735415365424 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=20771/tid=20774] ppid=20769 vsize=389040 CPUtime=18.07 cores=0-7
/proc/20771/task/20774/stat : 20774 (claspmt) R 20769 20771 20418 0 -1 4202560 1755 0 0 0 1806 1 0 0 25 0 8 0 118592080 398376960 10052 33554432000 4194304 4964800 140735415365424 18446744073709551615 4321076 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20771/tid=20775] ppid=20769 vsize=389040 CPUtime=18.06 cores=0-7
/proc/20771/task/20775/stat : 20775 (claspmt) R 20769 20771 20418 0 -1 4202560 792 0 0 0 1806 0 0 0 25 0 8 0 118592080 398376960 10052 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=20771/tid=20776] ppid=20769 vsize=389040 CPUtime=18.07 cores=0-7
/proc/20771/task/20776/stat : 20776 (claspmt) R 20769 20771 20418 0 -1 4202560 1348 0 0 0 1807 0 0 0 25 0 8 0 118592080 398376960 10052 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670351 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20771/tid=20777] ppid=20769 vsize=389040 CPUtime=18.08 cores=0-7
/proc/20771/task/20777/stat : 20777 (claspmt) R 20769 20771 20418 0 -1 4202560 965 0 0 0 1808 0 0 0 25 0 8 0 118592080 398376960 10052 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=20771/tid=20778] ppid=20769 vsize=389040 CPUtime=18.07 cores=0-7
/proc/20771/task/20778/stat : 20778 (claspmt) R 20769 20771 20418 0 -1 4202560 1042 0 0 0 1807 0 0 0 25 0 8 0 118592080 398376960 10052 33554432000 4194304 4964800 140735415365424 18446744073709551615 4669538 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=20771/tid=20779] ppid=20769 vsize=389040 CPUtime=18.06 cores=0-7
/proc/20771/task/20779/stat : 20779 (claspmt) R 20769 20771 20418 0 -1 4202560 1384 0 0 0 1806 0 0 0 25 0 8 0 118592080 398376960 10052 33554432000 4194304 4964800 140735415365424 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 144.42
Current children cumulated vsize (KiB) 389040

[startup+18.5005 s]
/proc/loadavg: 8.06 7.80 7.83 9/366 20779
/proc/meminfo: memFree=21378364/32950928 swapFree=62959384/67111528
[pid=20771] ppid=20769 vsize=389364 CPUtime=147.52 cores=0-7
/proc/20771/stat : 20771 (claspmt) R 20769 20771 20418 0 -1 4202496 10497 0 0 0 14748 4 0 0 25 0 8 0 118592078 398708736 10222 33554432000 4194304 4964800 140735415365424 18446744073709551615 4668987 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/20771/statm: 97341 10222 466 189 0 91690 0
[pid=20771/tid=20773] ppid=20769 vsize=389364 CPUtime=18.44 cores=0-7
/proc/20771/task/20773/stat : 20773 (claspmt) R 20769 20771 20418 0 -1 4202560 1422 0 0 0 1844 0 0 0 25 0 8 0 118592080 398708736 10222 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=20771/tid=20774] ppid=20769 vsize=389364 CPUtime=18.46 cores=0-7
/proc/20771/task/20774/stat : 20774 (claspmt) R 20769 20771 20418 0 -1 4202560 1766 0 0 0 1845 1 0 0 25 0 8 0 118592080 398708736 10222 33554432000 4194304 4964800 140735415365424 18446744073709551615 4321002 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20771/tid=20775] ppid=20769 vsize=389364 CPUtime=18.45 cores=0-7
/proc/20771/task/20775/stat : 20775 (claspmt) R 20769 20771 20418 0 -1 4202560 797 0 0 0 1845 0 0 0 25 0 8 0 118592080 398708736 10222 33554432000 4194304 4964800 140735415365424 18446744073709551615 4668924 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=20771/tid=20776] ppid=20769 vsize=389364 CPUtime=18.46 cores=0-7
/proc/20771/task/20776/stat : 20776 (claspmt) R 20769 20771 20418 0 -1 4202560 1436 0 0 0 1846 0 0 0 25 0 8 0 118592080 398708736 10222 33554432000 4194304 4964800 140735415365424 18446744073709551615 4342208 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20771/tid=20777] ppid=20769 vsize=389364 CPUtime=18.46 cores=0-7
/proc/20771/task/20777/stat : 20777 (claspmt) R 20769 20771 20418 0 -1 4202560 973 0 0 0 1846 0 0 0 25 0 8 0 118592080 398708736 10222 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=20771/tid=20778] ppid=20769 vsize=389364 CPUtime=18.46 cores=0-7
/proc/20771/task/20778/stat : 20778 (claspmt) R 20769 20771 20418 0 -1 4202560 1042 0 0 0 1846 0 0 0 25 0 8 0 118592080 398708736 10222 33554432000 4194304 4964800 140735415365424 18446744073709551615 4332351 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=20771/tid=20779] ppid=20769 vsize=389364 CPUtime=18.45 cores=0-7
/proc/20771/task/20779/stat : 20779 (claspmt) R 20769 20771 20418 0 -1 4202560 1409 0 0 0 1845 0 0 0 25 0 8 0 118592080 398708736 10222 33554432000 4194304 4964800 140735415365424 18446744073709551615 4669998 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 147.52
Current children cumulated vsize (KiB) 389364

[startup+18.9004 s]
/proc/loadavg: 8.06 7.80 7.83 9/366 20779
/proc/meminfo: memFree=21378364/32950928 swapFree=62959384/67111528
[pid=20771] ppid=20769 vsize=389364 CPUtime=150.72 cores=0-7
/proc/20771/stat : 20771 (claspmt) R 20769 20771 20418 0 -1 4202496 10599 0 0 0 15068 4 0 0 25 0 8 0 118592078 398708736 10324 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670321 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/20771/statm: 97341 10324 466 189 0 91690 0
[pid=20771/tid=20773] ppid=20769 vsize=389364 CPUtime=18.84 cores=0-7
/proc/20771/task/20773/stat : 20773 (claspmt) R 20769 20771 20418 0 -1 4202560 1427 0 0 0 1884 0 0 0 25 0 8 0 118592080 398708736 10324 33554432000 4194304 4964800 140735415365424 18446744073709551615 4669343 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=20771/tid=20774] ppid=20769 vsize=389364 CPUtime=18.86 cores=0-7
/proc/20771/task/20774/stat : 20774 (claspmt) R 20769 20771 20418 0 -1 4202560 1795 0 0 0 1885 1 0 0 25 0 8 0 118592080 398708736 10324 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20771/tid=20775] ppid=20769 vsize=389364 CPUtime=18.85 cores=0-7
/proc/20771/task/20775/stat : 20775 (claspmt) R 20769 20771 20418 0 -1 4202560 802 0 0 0 1885 0 0 0 25 0 8 0 118592080 398708736 10325 33554432000 4194304 4964800 140735415365424 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=20771/tid=20776] ppid=20769 vsize=389364 CPUtime=18.86 cores=0-7
/proc/20771/task/20776/stat : 20776 (claspmt) R 20769 20771 20418 0 -1 4202560 1436 0 0 0 1886 0 0 0 25 0 8 0 118592080 398708736 10325 33554432000 4194304 4964800 140735415365424 18446744073709551615 4660447 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20771/tid=20777] ppid=20769 vsize=389364 CPUtime=18.86 cores=0-7
/proc/20771/task/20777/stat : 20777 (claspmt) R 20769 20771 20418 0 -1 4202560 979 0 0 0 1886 0 0 0 25 0 8 0 118592080 398708736 10325 33554432000 4194304 4964800 140735415365424 18446744073709551615 4670412 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=20771/tid=20778] ppid=20769 vsize=389364 CPUtime=18.86 cores=0-7
/proc/20771/task/20778/stat : 20778 (claspmt) R 20769 20771 20418 0 -1 4202560 1079 0 0 0 1886 0 0 0 25 0 8 0 118592080 398708736 10325 33554432000 4194304 4964800 140735415365424 18446744073709551615 4321099 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=20771/tid=20779] ppid=20769 vsize=389364 CPUtime=18.85 cores=0-7
/proc/20771/task/20779/stat : 20779 (claspmt) R 20769 20771 20418 0 -1 4202560 1430 0 0 0 1885 0 0 0 25 0 8 0 118592080 398708736 10325 33554432000 4194304 4964800 140735415365424 18446744073709551615 4668797 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 150.72
Current children cumulated vsize (KiB) 389364

Child status: 10
Real time (s): 18.9769
CPU time (s): 151.197
CPU user time (s): 151.146
CPU system time (s): 0.050992
CPU usage (%): 796.743
Max. virtual memory (cumulated for all children) (KiB): 389364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 151.146
system time used= 0.050992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10612
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= 2473
involuntary context switches= 646

runsolver used 0.068989 second user time and 0.151976 second system time

The end

Launcher Data 

Begin job on node112 at 2011-05-16 03:37:07
IDJOB=3381225
IDBENCH=84755
IDSOLVER=1865
FILE ID=node112/3381225-1305509827
RUNJOBID= node112-1305504264-20432
PBS_JOBID= 13325480
Free space on /tmp= 73528 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT04/handmade/andrew/composite/Composite-024BitPrimes-1.used-as.sat04-861.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3381225-1305509827/watcher-3381225-1305509827 -o /tmp/evaluation-result-3381225-1305509827/solver-3381225-1305509827 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381225-1305509827.cnf

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

MD5SUM BENCH= 72d75022e26bed024de6755e7642ab28
RANDOM SEED=1203469445

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
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.847
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.61
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.847
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.847
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.847
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:      21417148 kB
Buffers:         16668 kB
Cached:         159100 kB
SwapCached:      73312 kB
Active:         120940 kB
Inactive:     11229644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21417148 kB
SwapTotal:    67111528 kB
SwapFree:     62959384 kB
Dirty:            1196 kB
Writeback:           0 kB
AnonPages:    11110280 kB
Mapped:          20532 kB
Slab:            65032 kB
PageTables:      52104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 74553408 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= 73524 MiB
End job on node112 at 2011-05-16 03:37:26