Trace number 3380682

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 6929.1 868.102

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g1.cnf
MD5SUMeded74bffb721f48c45af6ff95302642
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.17
Satisfiable
(Un)Satisfiability was proved
Number of variables1150
Number of clauses84314
Sum of the clauses size169678
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 284264
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

Solver Data 

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

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-3380682-1305486856/watcher-3380682-1305486856 -o /tmp/evaluation-result-3380682-1305486856/solver-3380682-1305486856 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380682-1305486856.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.43 8.40 8.21 2/363 17815
/proc/meminfo: memFree=24870276/32951124 swapFree=63083164/67111528
[pid=17815] ppid=17813 vsize=23020 CPUtime=0.01 cores=0-7
/proc/17815/stat : 17815 (claspmt) R 17813 17815 17455 0 -1 4202496 1207 0 0 0 1 0 0 0 21 0 1 0 641101229 23572480 958 33554432000 4194304 4964800 140737434927392 18446744073709551615 264726065861 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/17815/statm: 5755 959 386 189 0 629 0

[startup+0.018575 s]
/proc/loadavg: 8.43 8.40 8.21 2/363 17815
/proc/meminfo: memFree=24870276/32951124 swapFree=63083164/67111528
[pid=17815] ppid=17813 vsize=24052 CPUtime=0.01 cores=0-7
/proc/17815/stat : 17815 (claspmt) R 17813 17815 17455 0 -1 4202496 1583 0 0 0 1 0 0 0 21 0 1 0 641101229 24629248 1213 33554432000 4194304 4964800 140737434927392 18446744073709551615 264726065861 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/17815/statm: 6013 1216 386 189 0 887 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 24052

[startup+0.100575 s]
/proc/loadavg: 8.43 8.40 8.21 2/363 17815
/proc/meminfo: memFree=24870276/32951124 swapFree=63083164/67111528
[pid=17815] ppid=17813 vsize=26344 CPUtime=0.09 cores=0-7
/proc/17815/stat : 17815 (claspmt) R 17813 17815 17455 0 -1 4202496 2166 0 0 0 9 0 0 0 21 0 1 0 641101229 26976256 1786 33554432000 4194304 4964800 140737434927392 18446744073709551615 4607641 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/17815/statm: 6586 1786 399 189 0 1460 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26344

[startup+0.300517 s]
/proc/loadavg: 8.43 8.40 8.21 2/363 17815
/proc/meminfo: memFree=24870276/32951124 swapFree=63083164/67111528
[pid=17815] ppid=17813 vsize=255344 CPUtime=0.3 cores=0-7
/proc/17815/stat : 17815 (claspmt) S 17813 17815 17455 0 -1 4202496 3221 0 0 0 30 0 0 0 22 0 8 0 641101229 261472256 2649 33554432000 4194304 4964800 140737434927392 18446744073709551615 264738220953 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/17815/statm: 63836 2649 437 189 0 58185 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 255344

[startup+1.03534 s]
/proc/loadavg: 8.43 8.40 8.21 2/363 17815
/proc/meminfo: memFree=24870276/32951124 swapFree=63083164/67111528
[pid=17815] ppid=17813 vsize=259224 CPUtime=6.02 cores=0-7
/proc/17815/stat : 17815 (claspmt) R 17813 17815 17455 0 -1 4202496 8978 0 0 0 599 3 0 0 18 0 8 0 641101229 265445376 8406 33554432000 4194304 4964800 140737434927392 18446744073709551615 4669136 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/17815/statm: 64806 8406 464 189 0 59155 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 259224

[startup+1.50026 s]
/proc/loadavg: 7.84 8.27 8.17 9/371 17823
/proc/meminfo: memFree=24830540/32951124 swapFree=63083164/67111528
[pid=17815] ppid=17813 vsize=261984 CPUtime=9.83 cores=0-7
/proc/17815/stat : 17815 (claspmt) R 17813 17815 17455 0 -1 4202496 11357 0 0 0 979 4 0 0 19 0 8 0 641101229 268271616 10785 33554432000 4194304 4964800 140737434927392 18446744073709551615 4362240 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/17815/statm: 65496 10785 464 189 0 59845 0
[pid=17815/tid=17817] ppid=17813 vsize=261984 CPUtime=1.19 cores=0-7
/proc/17815/task/17817/stat : 17817 (claspmt) R 17813 17815 17455 0 -1 4202560 876 0 0 0 119 0 0 0 19 0 8 0 641101255 268271616 10785 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670542 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17815/tid=17818] ppid=17813 vsize=261984 CPUtime=1.19 cores=0-7
/proc/17815/task/17818/stat : 17818 (claspmt) R 17813 17815 17455 0 -1 4202560 1136 0 0 0 119 0 0 0 25 0 8 0 641101255 268271616 10785 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17815/tid=17819] ppid=17813 vsize=261984 CPUtime=1.16 cores=0-7
/proc/17815/task/17819/stat : 17819 (claspmt) R 17813 17815 17455 0 -1 4202560 895 0 0 0 116 0 0 0 19 0 8 0 641101255 268271616 10785 33554432000 4194304 4964800 140737434927392 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17815/tid=17820] ppid=17813 vsize=261984 CPUtime=1.17 cores=0-7
/proc/17815/task/17820/stat : 17820 (claspmt) R 17813 17815 17455 0 -1 4202560 1294 0 0 0 117 0 0 0 25 0 8 0 641101255 268271616 10785 33554432000 4194304 4964800 140737434927392 18446744073709551615 4668984 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17815/tid=17821] ppid=17813 vsize=261984 CPUtime=1.24 cores=0-7
/proc/17815/task/17821/stat : 17821 (claspmt) R 17813 17815 17455 0 -1 4202560 489 0 0 0 124 0 0 0 19 0 8 0 641101255 268271616 10785 33554432000 4194304 4964800 140737434927392 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17815/tid=17822] ppid=17813 vsize=261984 CPUtime=1.17 cores=0-7
/proc/17815/task/17822/stat : 17822 (claspmt) R 17813 17815 17455 0 -1 4202560 1245 0 0 0 117 0 0 0 25 0 8 0 641101255 268271616 10785 33554432000 4194304 4964800 140737434927392 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17815/tid=17823] ppid=17813 vsize=261984 CPUtime=1.18 cores=0-7
/proc/17815/task/17823/stat : 17823 (claspmt) R 17813 17815 17455 0 -1 4202560 2029 0 0 0 118 0 0 0 19 0 8 0 641101255 268271616 10785 33554432000 4194304 4964800 140737434927392 18446744073709551615 4320875 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 9.83
Current children cumulated vsize (KiB) 261984

[startup+3.10096 s]
/proc/loadavg: 7.84 8.27 8.17 9/371 17823
/proc/meminfo: memFree=24817396/32951124 swapFree=63083164/67111528
[pid=17815] ppid=17813 vsize=267396 CPUtime=22.52 cores=0-7
/proc/17815/stat : 17815 (claspmt) R 17813 17815 17455 0 -1 4202496 15971 0 0 0 2246 6 0 0 23 0 8 0 641101229 273813504 15399 33554432000 4194304 4964800 140737434927392 18446744073709551615 4660236 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/17815/statm: 66849 15399 464 189 0 61198 0
[pid=17815/tid=17817] ppid=17813 vsize=267396 CPUtime=2.78 cores=0-7
/proc/17815/task/17817/stat : 17817 (claspmt) R 17813 17815 17455 0 -1 4202560 1367 0 0 0 278 0 0 0 22 0 8 0 641101255 273813504 15399 33554432000 4194304 4964800 140737434927392 18446744073709551615 4669136 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17815/tid=17818] ppid=17813 vsize=267396 CPUtime=2.78 cores=0-7
/proc/17815/task/17818/stat : 17818 (claspmt) R 17813 17815 17455 0 -1 4202560 1787 0 0 0 278 0 0 0 25 0 8 0 641101255 273813504 15399 33554432000 4194304 4964800 140737434927392 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17815/tid=17819] ppid=17813 vsize=267396 CPUtime=2.73 cores=0-7
/proc/17815/task/17819/stat : 17819 (claspmt) R 17813 17815 17455 0 -1 4202560 1329 0 0 0 273 0 0 0 23 0 8 0 641101255 273813504 15399 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17815/tid=17820] ppid=17813 vsize=267396 CPUtime=2.76 cores=0-7
/proc/17815/task/17820/stat : 17820 (claspmt) R 17813 17815 17455 0 -1 4202560 1875 0 0 0 276 0 0 0 25 0 8 0 641101255 273813504 15399 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17815/tid=17821] ppid=17813 vsize=267396 CPUtime=2.83 cores=0-7
/proc/17815/task/17821/stat : 17821 (claspmt) R 17813 17815 17455 0 -1 4202560 599 0 0 0 283 0 0 0 23 0 8 0 641101255 273813504 15399 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670434 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17815/tid=17822] ppid=17813 vsize=267396 CPUtime=2.77 cores=0-7
/proc/17815/task/17822/stat : 17822 (claspmt) R 17813 17815 17455 0 -1 4202560 1816 0 0 0 276 1 0 0 25 0 8 0 641101255 273813504 15399 33554432000 4194304 4964800 140737434927392 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17815/tid=17823] ppid=17813 vsize=267396 CPUtime=2.77 cores=0-7
/proc/17815/task/17823/stat : 17823 (claspmt) R 17813 17815 17455 0 -1 4202560 3326 0 0 0 277 0 0 0 22 0 8 0 641101255 273813504 15399 33554432000 4194304 4964800 140737434927392 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 22.52
Current children cumulated vsize (KiB) 267396

[startup+6.30035 s]
/proc/loadavg: 7.85 8.27 8.17 9/371 17824
/proc/meminfo: memFree=24796092/32951124 swapFree=63083164/67111528
[pid=17815] ppid=17813 vsize=271720 CPUtime=48.07 cores=0-7
/proc/17815/stat : 17815 (claspmt) R 17813 17815 17455 0 -1 4202496 20320 0 0 0 4798 9 0 0 25 0 8 0 641101229 278241280 19748 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/17815/statm: 67930 19748 466 189 0 62279 0
[pid=17815/tid=17817] ppid=17813 vsize=271720 CPUtime=5.98 cores=0-7
/proc/17815/task/17817/stat : 17817 (claspmt) R 17813 17815 17455 0 -1 4202560 1801 0 0 0 598 0 0 0 25 0 8 0 641101255 278241280 19748 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17815/tid=17818] ppid=17813 vsize=271720 CPUtime=5.97 cores=0-7
/proc/17815/task/17818/stat : 17818 (claspmt) R 17813 17815 17455 0 -1 4202560 2426 0 0 0 597 0 0 0 25 0 8 0 641101255 278241280 19748 33554432000 4194304 4964800 140737434927392 18446744073709551615 4627168 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17815/tid=17819] ppid=17813 vsize=271720 CPUtime=5.9 cores=0-7
/proc/17815/task/17819/stat : 17819 (claspmt) R 17813 17815 17455 0 -1 4202560 1704 0 0 0 589 1 0 0 25 0 8 0 641101255 278241280 19748 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17815/tid=17820] ppid=17813 vsize=271720 CPUtime=5.97 cores=0-7
/proc/17815/task/17820/stat : 17820 (claspmt) R 17813 17815 17455 0 -1 4202560 2399 0 0 0 596 1 0 0 25 0 8 0 641101255 278241280 19748 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670381 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17815/tid=17821] ppid=17813 vsize=271720 CPUtime=6.03 cores=0-7
/proc/17815/task/17821/stat : 17821 (claspmt) R 17813 17815 17455 0 -1 4202560 1298 0 0 0 603 0 0 0 25 0 8 0 641101255 278241280 19748 33554432000 4194304 4964800 140737434927392 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17815/tid=17822] ppid=17813 vsize=271720 CPUtime=5.96 cores=0-7
/proc/17815/task/17822/stat : 17822 (claspmt) R 17813 17815 17455 0 -1 4202560 2193 0 0 0 595 1 0 0 25 0 8 0 641101255 278241280 19748 33554432000 4194304 4964800 140737434927392 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17815/tid=17823] ppid=17813 vsize=271720 CPUtime=5.97 cores=0-7
/proc/17815/task/17823/stat : 17823 (claspmt) R 17813 17815 17455 0 -1 4202560 4346 0 0 0 596 1 0 0 23 0 8 0 641101255 278241280 19748 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 48.07
Current children cumulated vsize (KiB) 271720

[startup+12.7011 s]
/proc/loadavg: 7.86 8.26 8.17 9/371 17824
/proc/meminfo: memFree=24780648/32951124 swapFree=63083164/67111528
[pid=17815] ppid=17813 vsize=338604 CPUtime=99.19 cores=0-7
/proc/17815/stat : 17815 (claspmt) R 17813 17815 17455 0 -1 4202496 24479 0 0 0 9907 12 0 0 25 0 8 0 641101229 346730496 23907 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/17815/statm: 84651 23907 466 189 0 79000 0
[pid=17815/tid=17817] ppid=17813 vsize=338604 CPUtime=12.37 cores=0-7
/proc/17815/task/17817/stat : 17817 (claspmt) R 17813 17815 17455 0 -1 4202560 2400 0 0 0 1237 0 0 0 25 0 8 0 641101255 346730496 23907 33554432000 4194304 4964800 140737434927392 18446744073709551615 4627828 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17815/tid=17818] ppid=17813 vsize=338604 CPUtime=12.38 cores=0-7
/proc/17815/task/17818/stat : 17818 (claspmt) R 17813 17815 17455 0 -1 4202560 3004 0 0 0 1237 1 0 0 25 0 8 0 641101255 346730496 23907 33554432000 4194304 4964800 140737434927392 18446744073709551615 4320849 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17815/tid=17819] ppid=17813 vsize=338604 CPUtime=12.22 cores=0-7
/proc/17815/task/17819/stat : 17819 (claspmt) R 17813 17815 17455 0 -1 4202560 2114 0 0 0 1221 1 0 0 25 0 8 0 641101255 346730496 23907 33554432000 4194304 4964800 140737434927392 18446744073709551615 4320958 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17815/tid=17820] ppid=17813 vsize=338604 CPUtime=12.36 cores=0-7
/proc/17815/task/17820/stat : 17820 (claspmt) R 17813 17815 17455 0 -1 4202560 2892 0 0 0 1235 1 0 0 25 0 8 0 641101255 346730496 23907 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17815/tid=17821] ppid=17813 vsize=338604 CPUtime=12.42 cores=0-7
/proc/17815/task/17821/stat : 17821 (claspmt) R 17813 17815 17455 0 -1 4202560 1701 0 0 0 1242 0 0 0 25 0 8 0 641101255 346730496 23907 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17815/tid=17822] ppid=17813 vsize=338604 CPUtime=12.36 cores=0-7
/proc/17815/task/17822/stat : 17822 (claspmt) R 17813 17815 17455 0 -1 4202560 2618 0 0 0 1235 1 0 0 25 0 8 0 641101255 346730496 23907 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670542 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17815/tid=17823] ppid=17813 vsize=338604 CPUtime=12.37 cores=0-7
/proc/17815/task/17823/stat : 17823 (claspmt) R 17813 17815 17455 0 -1 4202560 5288 0 0 0 1235 2 0 0 25 0 8 0 641101255 346730496 23907 33554432000 4194304 4964800 140737434927392 18446744073709551615 4320911 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 99.19
Current children cumulated vsize (KiB) 338604

[startup+25.5007 s]
/proc/loadavg: 7.88 8.25 8.16 9/371 17824
/proc/meminfo: memFree=24748208/32951124 swapFree=63083164/67111528
[pid=17815] ppid=17813 vsize=346384 CPUtime=201.44 cores=0-7
/proc/17815/stat : 17815 (claspmt) R 17813 17815 17455 0 -1 4202496 33280 0 0 0 20125 19 0 0 25 0 8 0 641101229 354697216 32708 33554432000 4194304 4964800 140737434927392 18446744073709551615 4669011 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/17815/statm: 86596 32708 466 189 0 80945 0
[pid=17815/tid=17817] ppid=17813 vsize=346384 CPUtime=25.18 cores=0-7
/proc/17815/task/17817/stat : 17817 (claspmt) R 17813 17815 17455 0 -1 4202560 3414 0 0 0 2517 1 0 0 25 0 8 0 641101255 354697216 32708 33554432000 4194304 4964800 140737434927392 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17815/tid=17818] ppid=17813 vsize=346384 CPUtime=25.18 cores=0-7
/proc/17815/task/17818/stat : 17818 (claspmt) R 17813 17815 17455 0 -1 4202560 3911 0 0 0 2517 1 0 0 25 0 8 0 641101255 354697216 32709 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17815/tid=17819] ppid=17813 vsize=346384 CPUtime=24.88 cores=0-7
/proc/17815/task/17819/stat : 17819 (claspmt) R 17813 17815 17455 0 -1 4202560 2865 0 0 0 2486 2 0 0 25 0 8 0 641101255 354697216 32709 33554432000 4194304 4964800 140737434927392 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17815/tid=17820] ppid=17813 vsize=346384 CPUtime=25.16 cores=0-7
/proc/17815/task/17820/stat : 17820 (claspmt) R 17813 17815 17455 0 -1 4202560 3685 0 0 0 2514 2 0 0 25 0 8 0 641101255 354697216 32711 33554432000 4194304 4964800 140737434927392 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17815/tid=17821] ppid=17813 vsize=346384 CPUtime=25.23 cores=0-7
/proc/17815/task/17821/stat : 17821 (claspmt) R 17813 17815 17455 0 -1 4202560 2668 0 0 0 2521 2 0 0 25 0 8 0 641101255 354697216 32711 33554432000 4194304 4964800 140737434927392 18446744073709551615 4627259 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17815/tid=17822] ppid=17813 vsize=346384 CPUtime=25.16 cores=0-7
/proc/17815/task/17822/stat : 17822 (claspmt) R 17813 17815 17455 0 -1 4202560 3408 0 0 0 2514 2 0 0 25 0 8 0 641101255 354697216 32711 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17815/tid=17823] ppid=17813 vsize=346384 CPUtime=25.17 cores=0-7
/proc/17815/task/17823/stat : 17823 (claspmt) R 17813 17815 17455 0 -1 4202560 8219 0 0 0 2513 4 0 0 25 0 8 0 641101255 354697216 32711 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670338 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 201.44
Current children cumulated vsize (KiB) 346384

[startup+51.1139 s]
/proc/loadavg: 7.98 8.24 8.16 9/371 17825
/proc/meminfo: memFree=24704892/32951124 swapFree=63083164/67111528
[pid=17815] ppid=17813 vsize=353028 CPUtime=405.99 cores=0-7
/proc/17815/stat : 17815 (claspmt) R 17813 17815 17455 0 -1 4202496 43911 0 0 0 40572 27 0 0 25 0 8 0 641101229 361500672 43308 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670645 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/17815/statm: 88257 43308 466 189 0 82606 0
[pid=17815/tid=17817] ppid=17813 vsize=353028 CPUtime=50.78 cores=0-7
/proc/17815/task/17817/stat : 17817 (claspmt) R 17813 17815 17455 0 -1 4202560 4582 0 0 0 5076 2 0 0 25 0 8 0 641101255 361500672 43308 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17815/tid=17818] ppid=17813 vsize=353028 CPUtime=50.79 cores=0-7
/proc/17815/task/17818/stat : 17818 (claspmt) R 17813 17815 17455 0 -1 4202560 5236 0 0 0 5077 2 0 0 25 0 8 0 641101255 361500672 43308 33554432000 4194304 4964800 140737434927392 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17815/tid=17819] ppid=17813 vsize=353028 CPUtime=50.17 cores=0-7
/proc/17815/task/17819/stat : 17819 (claspmt) R 17813 17815 17455 0 -1 4202560 3594 0 0 0 5015 2 0 0 25 0 8 0 641101255 361500672 43308 33554432000 4194304 4964800 140737434927392 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17815/tid=17820] ppid=17813 vsize=353028 CPUtime=50.77 cores=0-7
/proc/17815/task/17820/stat : 17820 (claspmt) R 17813 17815 17455 0 -1 4202560 4872 0 0 0 5074 3 0 0 25 0 8 0 641101255 361500672 43308 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17815/tid=17821] ppid=17813 vsize=353028 CPUtime=50.84 cores=0-7
/proc/17815/task/17821/stat : 17821 (claspmt) R 17813 17815 17455 0 -1 4202560 3950 0 0 0 5081 3 0 0 25 0 8 0 641101255 361500672 43308 33554432000 4194304 4964800 140737434927392 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17815/tid=17822] ppid=17813 vsize=353028 CPUtime=50.77 cores=0-7
/proc/17815/task/17822/stat : 17822 (claspmt) R 17813 17815 17455 0 -1 4202560 4477 0 0 0 5074 3 0 0 25 0 8 0 641101255 361500672 43308 33554432000 4194304 4964800 140737434927392 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17815/tid=17823] ppid=17813 vsize=353028 CPUtime=50.78 cores=0-7
/proc/17815/task/17823/stat : 17823 (claspmt) R 17813 17815 17455 0 -1 4202560 10939 0 0 0 5072 6 0 0 25 0 8 0 641101255 361500672 43308 33554432000 4194304 4964800 140737434927392 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 405.99

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

[pid=17815/tid=17819] ppid=17813 vsize=708832 CPUtime=820.9 cores=0-7
/proc/17815/task/17819/stat : 17819 (claspmt) R 17813 17815 17455 0 -1 4202560 11819 0 0 0 82077 13 0 0 25 0 8 0 641101255 725843968 140521 33554432000 4194304 4964800 140737434927392 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17815/tid=17820] ppid=17813 vsize=708832 CPUtime=821.64 cores=0-7
/proc/17815/task/17820/stat : 17820 (claspmt) R 17813 17815 17455 0 -1 4202560 12288 0 0 0 82155 9 0 0 25 0 8 0 641101255 725843968 140521 33554432000 4194304 4964800 140737434927392 18446744073709551615 4321029 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17815/tid=17821] ppid=17813 vsize=708832 CPUtime=822.01 cores=0-7
/proc/17815/task/17821/stat : 17821 (claspmt) R 17813 17815 17455 0 -1 4202560 11580 0 0 0 82189 12 0 0 25 0 8 0 641101255 725843968 140521 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670392 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17815/tid=17822] ppid=17813 vsize=708832 CPUtime=821.93 cores=0-7
/proc/17815/task/17822/stat : 17822 (claspmt) R 17813 17815 17455 0 -1 4202560 12090 0 0 0 82178 15 0 0 25 0 8 0 641101255 725843968 140521 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670520 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17815/tid=17823] ppid=17813 vsize=708832 CPUtime=813.28 cores=0-7
/proc/17815/task/17823/stat : 17823 (claspmt) R 17813 17815 17455 0 -1 4202560 47573 0 0 0 81277 51 0 0 25 0 8 0 641101255 725843968 140521 33554432000 4194304 4964800 140737434927392 18446744073709551615 4327267 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6565.15
Current children cumulated vsize (KiB) 708832

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

[startup+845.201 s]
/proc/loadavg: 8.10 8.12 8.10 9/371 17849
/proc/meminfo: memFree=24313192/32951124 swapFree=63083164/67111528
[pid=17815] ppid=17813 vsize=709936 CPUtime=6748.15 cores=0-7
/proc/17815/stat : 17815 (claspmt) R 17813 17815 17455 0 -1 4202496 144867 0 0 0 674674 141 0 0 25 0 8 0 641101229 726974464 140901 33554432000 4194304 4964800 140737434927392 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/17815/statm: 177484 140901 466 189 0 171833 0
[pid=17815/tid=17817] ppid=17813 vsize=709936 CPUtime=844.74 cores=0-7
/proc/17815/task/17817/stat : 17817 (claspmt) R 17813 17815 17455 0 -1 4202560 14880 0 0 0 84461 13 0 0 25 0 8 0 641101255 726974464 140901 33554432000 4194304 4964800 140737434927392 18446744073709551615 4321020 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17815/tid=17818] ppid=17813 vsize=709936 CPUtime=844.88 cores=0-7
/proc/17815/task/17818/stat : 17818 (claspmt) R 17813 17815 17455 0 -1 4202560 18564 0 0 0 84480 8 0 0 25 0 8 0 641101255 726974464 140901 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17815/tid=17819] ppid=17813 vsize=709936 CPUtime=843.81 cores=0-7
/proc/17815/task/17819/stat : 17819 (claspmt) R 17813 17815 17455 0 -1 4202560 11819 0 0 0 84368 13 0 0 25 0 8 0 641101255 726974464 140901 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17815/tid=17820] ppid=17813 vsize=709936 CPUtime=844.55 cores=0-7
/proc/17815/task/17820/stat : 17820 (claspmt) R 17813 17815 17455 0 -1 4202560 12361 0 0 0 84446 9 0 0 25 0 8 0 641101255 726974464 140901 33554432000 4194304 4964800 140737434927392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17815/tid=17821] ppid=17813 vsize=709936 CPUtime=844.93 cores=0-7
/proc/17815/task/17821/stat : 17821 (claspmt) R 17813 17815 17455 0 -1 4202560 11580 0 0 0 84481 12 0 0 25 0 8 0 641101255 726974464 140901 33554432000 4194304 4964800 140737434927392 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17815/tid=17822] ppid=17813 vsize=709936 CPUtime=844.84 cores=0-7
/proc/17815/task/17822/stat : 17822 (claspmt) R 17813 17815 17455 0 -1 4202560 12093 0 0 0 84469 15 0 0 25 0 8 0 641101255 726974464 140901 33554432000 4194304 4964800 140737434927392 18446744073709551615 4669008 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17815/tid=17823] ppid=17813 vsize=709936 CPUtime=835.92 cores=0-7
/proc/17815/task/17823/stat : 17823 (claspmt) R 17813 17815 17455 0 -1 4202560 47577 0 0 0 83541 51 0 0 25 0 8 0 641101255 726974464 140901 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6748.15
Current children cumulated vsize (KiB) 709936

[startup+858.001 s]
/proc/loadavg: 8.08 8.12 8.09 9/371 17849
/proc/meminfo: memFree=24312820/32951124 swapFree=63083164/67111528
[pid=17815] ppid=17813 vsize=709936 CPUtime=6850.29 cores=0-7
/proc/17815/stat : 17815 (claspmt) R 17813 17815 17455 0 -1 4202496 144957 0 0 0 684888 141 0 0 25 0 8 0 641101229 726974464 140991 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/17815/statm: 177484 140991 466 189 0 171833 0
[pid=17815/tid=17817] ppid=17813 vsize=709936 CPUtime=857.53 cores=0-7
/proc/17815/task/17817/stat : 17817 (claspmt) R 17813 17815 17455 0 -1 4202560 14880 0 0 0 85740 13 0 0 25 0 8 0 641101255 726974464 140991 33554432000 4194304 4964800 140737434927392 18446744073709551615 4660402 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17815/tid=17818] ppid=17813 vsize=709936 CPUtime=857.67 cores=0-7
/proc/17815/task/17818/stat : 17818 (claspmt) R 17813 17815 17455 0 -1 4202560 18644 0 0 0 85759 8 0 0 25 0 8 0 641101255 726974464 140991 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17815/tid=17819] ppid=17813 vsize=709936 CPUtime=856.6 cores=0-7
/proc/17815/task/17819/stat : 17819 (claspmt) R 17813 17815 17455 0 -1 4202560 11819 0 0 0 85647 13 0 0 25 0 8 0 641101255 726974464 140991 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17815/tid=17820] ppid=17813 vsize=709936 CPUtime=857.33 cores=0-7
/proc/17815/task/17820/stat : 17820 (claspmt) R 17813 17815 17455 0 -1 4202560 12368 0 0 0 85724 9 0 0 25 0 8 0 641101255 726974464 140991 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17815/tid=17821] ppid=17813 vsize=709936 CPUtime=857.71 cores=0-7
/proc/17815/task/17821/stat : 17821 (claspmt) R 17813 17815 17455 0 -1 4202560 11582 0 0 0 85759 12 0 0 25 0 8 0 641101255 726974464 140991 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17815/tid=17822] ppid=17813 vsize=709936 CPUtime=857.63 cores=0-7
/proc/17815/task/17822/stat : 17822 (claspmt) R 17813 17815 17455 0 -1 4202560 12093 0 0 0 85748 15 0 0 25 0 8 0 641101255 726974464 140991 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17815/tid=17823] ppid=17813 vsize=709936 CPUtime=848.56 cores=0-7
/proc/17815/task/17823/stat : 17823 (claspmt) R 17813 17815 17455 0 -1 4202560 47578 0 0 0 84805 51 0 0 25 0 8 0 641101255 726974464 140991 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6850.29
Current children cumulated vsize (KiB) 709936

[startup+864.4 s]
/proc/loadavg: 8.07 8.11 8.09 9/371 17849
/proc/meminfo: memFree=24312188/32951124 swapFree=63083164/67111528
[pid=17815] ppid=17813 vsize=709936 CPUtime=6901.42 cores=0-7
/proc/17815/stat : 17815 (claspmt) R 17813 17815 17455 0 -1 4202496 145122 0 0 0 690000 142 0 0 25 0 8 0 641101229 726974464 141085 33554432000 4194304 4964800 140737434927392 18446744073709551615 4320951 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/17815/statm: 177484 141085 466 189 0 171833 0
[pid=17815/tid=17817] ppid=17813 vsize=709936 CPUtime=863.93 cores=0-7
/proc/17815/task/17817/stat : 17817 (claspmt) R 17813 17815 17455 0 -1 4202560 14900 0 0 0 86380 13 0 0 25 0 8 0 641101255 726974464 141085 33554432000 4194304 4964800 140737434927392 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17815/tid=17818] ppid=17813 vsize=709936 CPUtime=864.07 cores=0-7
/proc/17815/task/17818/stat : 17818 (claspmt) R 17813 17815 17455 0 -1 4202560 18699 0 0 0 86399 8 0 0 25 0 8 0 641101255 726974464 141085 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17815/tid=17819] ppid=17813 vsize=709936 CPUtime=863 cores=0-7
/proc/17815/task/17819/stat : 17819 (claspmt) R 17813 17815 17455 0 -1 4202560 11819 0 0 0 86287 13 0 0 25 0 8 0 641101255 726974464 141085 33554432000 4194304 4964800 140737434927392 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17815/tid=17820] ppid=17813 vsize=709936 CPUtime=863.73 cores=0-7
/proc/17815/task/17820/stat : 17820 (claspmt) R 17813 17815 17455 0 -1 4202560 12424 0 0 0 86364 9 0 0 25 0 8 0 641101255 726974464 141085 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17815/tid=17821] ppid=17813 vsize=709936 CPUtime=864.11 cores=0-7
/proc/17815/task/17821/stat : 17821 (claspmt) R 17813 17815 17455 0 -1 4202560 11603 0 0 0 86399 12 0 0 25 0 8 0 641101255 726974464 141085 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17815/tid=17822] ppid=17813 vsize=709936 CPUtime=864.03 cores=0-7
/proc/17815/task/17822/stat : 17822 (claspmt) R 17813 17815 17455 0 -1 4202560 12093 0 0 0 86388 15 0 0 25 0 8 0 641101255 726974464 141085 33554432000 4194304 4964800 140737434927392 18446744073709551615 4321029 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17815/tid=17823] ppid=17813 vsize=709936 CPUtime=854.88 cores=0-7
/proc/17815/task/17823/stat : 17823 (claspmt) R 17813 17815 17455 0 -1 4202560 47591 0 0 0 85437 51 0 0 25 0 8 0 641101255 726974464 141085 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6901.42
Current children cumulated vsize (KiB) 709936

[startup+866.001 s]
/proc/loadavg: 8.07 8.11 8.09 9/371 17849
/proc/meminfo: memFree=24312188/32951124 swapFree=63083164/67111528
[pid=17815] ppid=17813 vsize=709936 CPUtime=6914.21 cores=0-7
/proc/17815/stat : 17815 (claspmt) R 17813 17815 17455 0 -1 4202496 145128 0 0 0 691279 142 0 0 25 0 8 0 641101229 726974464 141091 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670357 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/17815/statm: 177484 141091 466 189 0 171833 0
[pid=17815/tid=17817] ppid=17813 vsize=709936 CPUtime=865.53 cores=0-7
/proc/17815/task/17817/stat : 17817 (claspmt) R 17813 17815 17455 0 -1 4202560 14901 0 0 0 86540 13 0 0 25 0 8 0 641101255 726974464 141091 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17815/tid=17818] ppid=17813 vsize=709936 CPUtime=865.67 cores=0-7
/proc/17815/task/17818/stat : 17818 (claspmt) R 17813 17815 17455 0 -1 4202560 18703 0 0 0 86559 8 0 0 25 0 8 0 641101255 726974464 141091 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17815/tid=17819] ppid=17813 vsize=709936 CPUtime=864.6 cores=0-7
/proc/17815/task/17819/stat : 17819 (claspmt) R 17813 17815 17455 0 -1 4202560 11819 0 0 0 86447 13 0 0 25 0 8 0 641101255 726974464 141091 33554432000 4194304 4964800 140737434927392 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17815/tid=17820] ppid=17813 vsize=709936 CPUtime=865.33 cores=0-7
/proc/17815/task/17820/stat : 17820 (claspmt) R 17813 17815 17455 0 -1 4202560 12424 0 0 0 86524 9 0 0 25 0 8 0 641101255 726974464 141091 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17815/tid=17821] ppid=17813 vsize=709936 CPUtime=865.71 cores=0-7
/proc/17815/task/17821/stat : 17821 (claspmt) R 17813 17815 17455 0 -1 4202560 11603 0 0 0 86559 12 0 0 25 0 8 0 641101255 726974464 141091 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17815/tid=17822] ppid=17813 vsize=709936 CPUtime=865.63 cores=0-7
/proc/17815/task/17822/stat : 17822 (claspmt) R 17813 17815 17455 0 -1 4202560 12094 0 0 0 86548 15 0 0 25 0 8 0 641101255 726974464 141091 33554432000 4194304 4964800 140737434927392 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17815/tid=17823] ppid=17813 vsize=709936 CPUtime=856.47 cores=0-7
/proc/17815/task/17823/stat : 17823 (claspmt) R 17813 17815 17455 0 -1 4202560 47591 0 0 0 85596 51 0 0 25 0 8 0 641101255 726974464 141091 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6914.21
Current children cumulated vsize (KiB) 709936

[startup+866.801 s]
/proc/loadavg: 8.07 8.11 8.09 9/371 17849
/proc/meminfo: memFree=24312184/32951124 swapFree=63083164/67111528
[pid=17815] ppid=17813 vsize=709936 CPUtime=6920.6 cores=0-7
/proc/17815/stat : 17815 (claspmt) R 17813 17815 17455 0 -1 4202496 145132 0 0 0 691918 142 0 0 25 0 8 0 641101229 726974464 141095 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670340 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/17815/statm: 177484 141095 466 189 0 171833 0
[pid=17815/tid=17817] ppid=17813 vsize=709936 CPUtime=866.33 cores=0-7
/proc/17815/task/17817/stat : 17817 (claspmt) R 17813 17815 17455 0 -1 4202560 14901 0 0 0 86620 13 0 0 25 0 8 0 641101255 726974464 141095 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17815/tid=17818] ppid=17813 vsize=709936 CPUtime=866.47 cores=0-7
/proc/17815/task/17818/stat : 17818 (claspmt) R 17813 17815 17455 0 -1 4202560 18707 0 0 0 86639 8 0 0 25 0 8 0 641101255 726974464 141095 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17815/tid=17819] ppid=17813 vsize=709936 CPUtime=865.4 cores=0-7
/proc/17815/task/17819/stat : 17819 (claspmt) R 17813 17815 17455 0 -1 4202560 11819 0 0 0 86527 13 0 0 25 0 8 0 641101255 726974464 141095 33554432000 4194304 4964800 140737434927392 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17815/tid=17820] ppid=17813 vsize=709936 CPUtime=866.13 cores=0-7
/proc/17815/task/17820/stat : 17820 (claspmt) R 17813 17815 17455 0 -1 4202560 12424 0 0 0 86604 9 0 0 25 0 8 0 641101255 726974464 141095 33554432000 4194304 4964800 140737434927392 18446744073709551615 4332324 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17815/tid=17821] ppid=17813 vsize=709936 CPUtime=866.51 cores=0-7
/proc/17815/task/17821/stat : 17821 (claspmt) R 17813 17815 17455 0 -1 4202560 11603 0 0 0 86639 12 0 0 25 0 8 0 641101255 726974464 141095 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17815/tid=17822] ppid=17813 vsize=709936 CPUtime=866.43 cores=0-7
/proc/17815/task/17822/stat : 17822 (claspmt) R 17813 17815 17455 0 -1 4202560 12094 0 0 0 86628 15 0 0 25 0 8 0 641101255 726974464 141095 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17815/tid=17823] ppid=17813 vsize=709936 CPUtime=857.25 cores=0-7
/proc/17815/task/17823/stat : 17823 (claspmt) R 17813 17815 17455 0 -1 4202560 47591 0 0 0 85674 51 0 0 25 0 8 0 641101255 726974464 141095 33554432000 4194304 4964800 140737434927392 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6920.6
Current children cumulated vsize (KiB) 709936

[startup+867.601 s]
/proc/loadavg: 8.07 8.11 8.09 9/371 17849
/proc/meminfo: memFree=24312184/32951124 swapFree=63083164/67111528
[pid=17815] ppid=17813 vsize=709936 CPUtime=6926.98 cores=0-7
/proc/17815/stat : 17815 (claspmt) R 17813 17815 17455 0 -1 4202496 145132 0 0 0 692556 142 0 0 25 0 8 0 641101229 726974464 141095 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670538 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/17815/statm: 177484 141095 466 189 0 171833 0
[pid=17815/tid=17817] ppid=17813 vsize=709936 CPUtime=867.13 cores=0-7
/proc/17815/task/17817/stat : 17817 (claspmt) R 17813 17815 17455 0 -1 4202560 14901 0 0 0 86700 13 0 0 25 0 8 0 641101255 726974464 141095 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17815/tid=17818] ppid=17813 vsize=709936 CPUtime=867.27 cores=0-7
/proc/17815/task/17818/stat : 17818 (claspmt) R 17813 17815 17455 0 -1 4202560 18707 0 0 0 86719 8 0 0 25 0 8 0 641101255 726974464 141095 33554432000 4194304 4964800 140737434927392 18446744073709551615 4653652 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17815/tid=17819] ppid=17813 vsize=709936 CPUtime=866.2 cores=0-7
/proc/17815/task/17819/stat : 17819 (claspmt) R 17813 17815 17455 0 -1 4202560 11819 0 0 0 86607 13 0 0 25 0 8 0 641101255 726974464 141095 33554432000 4194304 4964800 140737434927392 18446744073709551615 4653296 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17815/tid=17820] ppid=17813 vsize=709936 CPUtime=866.93 cores=0-7
/proc/17815/task/17820/stat : 17820 (claspmt) R 17813 17815 17455 0 -1 4202560 12424 0 0 0 86684 9 0 0 25 0 8 0 641101255 726974464 141095 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17815/tid=17821] ppid=17813 vsize=709936 CPUtime=867.31 cores=0-7
/proc/17815/task/17821/stat : 17821 (claspmt) R 17813 17815 17455 0 -1 4202560 11603 0 0 0 86719 12 0 0 25 0 8 0 641101255 726974464 141095 33554432000 4194304 4964800 140737434927392 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17815/tid=17822] ppid=17813 vsize=709936 CPUtime=867.22 cores=0-7
/proc/17815/task/17822/stat : 17822 (claspmt) R 17813 17815 17455 0 -1 4202560 12094 0 0 0 86707 15 0 0 25 0 8 0 641101255 726974464 141095 33554432000 4194304 4964800 140737434927392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17815/tid=17823] ppid=17813 vsize=709936 CPUtime=858.04 cores=0-7
/proc/17815/task/17823/stat : 17823 (claspmt) R 17813 17815 17455 0 -1 4202560 47591 0 0 0 85753 51 0 0 25 0 8 0 641101255 726974464 141095 33554432000 4194304 4964800 140737434927392 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6926.98
Current children cumulated vsize (KiB) 709936

[startup+868.001 s]
/proc/loadavg: 8.07 8.11 8.09 9/371 17849
/proc/meminfo: memFree=24312184/32951124 swapFree=63083164/67111528
[pid=17815] ppid=17813 vsize=704928 CPUtime=6928.99 cores=0-7
/proc/17815/stat : 17815 (claspmt) R 17813 17815 17455 0 -1 4202496 145142 0 0 0 692757 142 0 0 25 0 1 0 641101229 721846272 139980 33554432000 4194304 4964800 140737434927392 18446744073709551615 264726060385 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17815/statm: 176232 139980 476 189 0 170581 0
Current children cumulated CPU time (s) 6928.99
Current children cumulated vsize (KiB) 704928

[startup+868.101 s]
/proc/loadavg: 8.07 8.11 8.09 9/371 17849
/proc/meminfo: memFree=24312184/32951124 swapFree=63083164/67111528
[pid=17815] ppid=17813 vsize=320652 CPUtime=6929.09 cores=0-7
/proc/17815/stat : 17815 (claspmt) R 17813 17815 17455 0 -1 4202496 145142 0 0 0 692764 145 0 0 25 0 1 0 641101229 328347648 3419 33554432000 4194304 4964800 140737434927392 18446744073709551615 264726448487 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17815/statm: 80163 2907 476 189 0 74512 0
Current children cumulated CPU time (s) 6929.09
Current children cumulated vsize (KiB) 320652

Child status: 10
Real time (s): 868.102
CPU time (s): 6929.1
CPU user time (s): 6927.65
CPU system time (s): 1.45478
CPU usage (%): 798.19
Max. virtual memory (cumulated for all children) (KiB): 709936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6927.65
system time used= 1.45478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145143
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= 27928
involuntary context switches= 23333

runsolver used 2.80157 second user time and 7.45587 second system time

The end

Launcher Data 

Begin job on node141 at 2011-05-15 21:14:16
IDJOB=3380682
IDBENCH=71273
IDSOLVER=1865
FILE ID=node141/3380682-1305486856
RUNJOBID= node141-1305481201-17469
PBS_JOBID= 13325339
Free space on /tmp= 73360 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v1150c84314g1.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-3380682-1305486856/watcher-3380682-1305486856 -o /tmp/evaluation-result-3380682-1305486856/solver-3380682-1305486856 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380682-1305486856.cnf

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

MD5SUM BENCH= eded74bffb721f48c45af6ff95302642
RANDOM SEED=1263536279

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.84
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.806
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.75
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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24870308 kB
Buffers:        276352 kB
Cached:        5377116 kB
SwapCached:      15736 kB
Active:        2413968 kB
Inactive:      5411048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24870308 kB
SwapTotal:    67111528 kB
SwapFree:     63083164 kB
Dirty:            1980 kB
Writeback:           0 kB
AnonPages:     2162644 kB
Mapped:          12872 kB
Slab:           146408 kB
PageTables:      38148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 86432668 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= 73360 MiB
End job on node141 at 2011-05-15 21:28:44