0.00/0.00 This is pico-portfolio, a naive parallel portfolio
0.00/0.00 Copyright (C) 2011 Olivier Roussel
0.00/0.00 Using 32 processing units
0.00/0.00 This portfolio uses the following solvers:
0.00/0.00 [1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.00 [2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.00 [3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.00 [4] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.00 [5] plingeling 276-6264d55-100731 (Armin Biere)
0.00/0.00 Starting cryptominisat 2.7.1 on core(s) 0
0.00/0.00 Starting clasp 1.3.6 on core(s) 1
0.00/0.00 Starting TNM 2009 on core(s) 2
0.00/0.00 Starting march_hi 2009 on core(s) 3
0.00/0.00 Starting plingeling 276-6264d55-100731 on core(s) 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
1827.46/58.72 s SATISFIABLE
1827.46/58.72 v -1 -2 -3 -4 -5 -6 7
1827.46/58.72 v -8 -9 -10 -11 -12 -13 -14 -15
1827.46/58.72 v -16 -17 -18 -19 -20 -21 -22 -23
1827.46/58.72 v -24 -25 -26 -27 -28 -29 -30 -31
1827.46/58.72 v -32 -33 -34 -35 -36 -37 -38 -39
1827.46/58.72 v -40 -41 -42 -43 -44 -45 -46 -47
1827.46/58.72 v -48 -49 50 -51 -52 -53 -54 -55
1827.46/58.72 v -56 -57 -58 -59 -60 -61 -62 -63
1827.46/58.72 v -64 -65 -66 67 -68 -69 -70 -71
1827.46/58.72 v -72 -73 -74 -75 -76 -77 -78 -79
1827.46/58.72 v -80 -81 -82 -83 -84 -85 -86 -87
1827.46/58.72 v -88 -89 -90 -91 -92 -93 -94 -95
1827.46/58.72 v -96 -97 -98 -99 -100 -101 -102 -103
1827.46/58.72 v -104 -105 -106 -107 -108 -109 -110 -111
1827.46/58.72 v -112 -113 -114 -115 -116 -117 -118 -119
1827.46/58.72 v -120 -121 -122 123 -124 -125 -126 -127
1827.46/58.72 v -128 -129 -130 -131 -132 -133 -134 -135
1827.46/58.72 v -136 -137 -138 -139 -140 -141 -142 -143
1827.46/58.72 v -144 -145 -146 -147 -148 -149 -150 -151
1827.46/58.72 v -152 -153 154 -155 -156 -157 -158 -159
1827.46/58.72 v -160 -161 -162 -163 -164 -165 -166 -167
1827.46/58.72 v -168 -169 -170 -171 -172 -173 -174 -175
1827.46/58.72 v -176 -177 -178 -179 180 -181 -182 -183
1827.46/58.72 v -184 -185 -186 -187 -188 -189 -190 -191
1827.46/58.72 v -192 -193 -194 -195 -196 -197 -198 -199
1827.46/58.72 v -200 -201 -202 -203 -204 -205 -206 -207
1827.46/58.72 v -208 209 -210 -211 -212 -213 -214 -215
1827.46/58.72 v -216 -217 -218 -219 -220 -221 -222 -223
1827.46/58.72 v -224 -225 -226 -227 228 -229 -230 -231
1827.46/58.72 v -232 -233 -234 -235 -236 -237 -238 -239
1827.46/58.72 v -240 -241 -242 -243 -244 -245 -246 -247
1827.46/58.72 v -248 -249 -250 -251 -252 -253 -254 -255
1827.46/58.72 v -256 -257 -258 -259 -260 -261 -262 -263
1827.46/58.72 v -264 -265 -266 -267 -268 269 -270 -271
1827.46/58.72 v -272 -273 -274 -275 -276 -277 -278 -279
1827.46/58.72 v -280 -281 -282 -283 -284 -285 -286 -287
1827.46/58.72 v -288 289 -290 -291 -292 -293 -294 -295
1827.46/58.72 v -296 -297 -298 -299 -300 -301 -302 -303
1827.46/58.72 v -304 -305 -306 -307 -308 -309 -310 -311
1827.46/58.72 v -312 -313 -314 -315 -316 -317 -318 -319
1827.46/58.72 v -320 -321 322 -323 -324 -325 -326 -327
1827.46/58.72 v -328 -329 -330 -331 -332 -333 -334 -335
1827.46/58.72 v -336 -337 -338 -339 -340 -341 -342 -343
1827.46/58.72 v -344 -345 -346 -347 -348 -349 -350 -351
1827.46/58.72 v -352 -353 -354 -355 -356 -357 -358 -359
1827.46/58.72 v -360 -361 -362 363 -364 -365 -366 -367
1827.46/58.72 v -368 -369 -370 -371 -372 -373 -374 -375
1827.46/58.72 v -376 -377 -378 -379 -380 -381 -382 -383
1827.46/58.72 v -384 -385 -386 -387 -388 -389 -390 -391
1827.46/58.72 v -392 393 -394 -395 -396 -397 -398 -399
1827.46/58.72 v -400 -401 -402 -403 -404 -405 -406 -407
1827.46/58.72 v -408 -409 -410 -411 -412 -413 -414 -415
1827.46/58.72 v -416 -417 -418 -419 -420 -421 -422 -423
1827.46/58.72 v -424 -425 -426 -427 -428 -429 -430 -431
1827.46/58.72 v -432 -433 -434 -435 -436 -437 -438 -439
1827.46/58.72 v -440 -441 -442 -443 -444 -445 446 -447
1827.46/58.72 v -448 -449 -450 -451 -452 -453 -454 -455
1827.46/58.72 v -456 -457 -458 -459 -460 -461 -462 -463
1827.46/58.72 v -464 -465 -466 -467 -468 -469 470 -471
1827.46/58.72 v -472 -473 -474 -475 -476 -477 -478 -479
1827.46/58.72 v -480 -481 -482 -483 -484 -485 -486 -487
1827.46/58.72 v -488 -489 -490 -491 -492 -493 -494 -495
1827.46/58.72 v -496 -497 -498 -499 -500 -501 -502 -503
1827.46/58.72 v -504 505 -506 -507 -508 -509 -510 -511
1827.46/58.72 v -512 -513 -514 -515 -516 517 -518 -519
1827.46/58.72 v -520 -521 -522 -523 -524 -525 -526 -527
1827.46/58.72 v -528 -529 -530 -531 -532 -533 -534 -535
1827.46/58.72 v -536 -537 -538 -539 -540 -541 -542 -543
1827.46/58.72 v -544 -545 -546 -547 -548 -549 -550 -551
1827.46/58.72 v -552 -553 -554 -555 -556 -557 -558 -559
1827.46/58.72 v -560 -561 -562 -563 -564 -565 -566 567
1827.46/58.72 v -568 -569 -570 -571 -572 -573 -574 -575
1827.46/58.72 v -576 -577 -578 -579 -580 -581 -582 -583
1827.46/58.72 v -584 -585 -586 -587 -588 -589 -590 -591
1827.46/58.72 v -592 -593 -594 -595 -596 -597 -598 -599
1827.46/58.72 v -600 -601 -602 -603 -604 605 -606 -607
1827.46/58.72 v -608 -609 -610 -611 -612 -613 -614 -615
1827.46/58.72 v -616 -617 -618 -619 -620 -621 622 -623
1827.46/58.72 v -624 -625 -626 -627 -628 -629 -630 -631
1827.46/58.72 v -632 -633 -634 -635 -636 -637 -638 -639
1827.46/58.72 v -640 -641 -642 -643 -644 -645 -646 -647
1827.46/58.72 v -648 -649 -650 -651 -652 -653 -654 -655
1827.46/58.72 v -656 -657 -658 659 -660 -661 -662 -663
1827.46/58.72 v -664 -665 -666 -667 -668 -669 -670 -671
1827.46/58.72 v -672 -673 -674 -675 -676 -677 -678 -679
1827.46/58.72 v -680 -681 682 -683 -684 -685 -686 -687
1827.46/58.72 v -688 -689 -690 -691 -692 -693 -694 -695
1827.46/58.72 v -696 -697 -698 -699 -700 -701 -702 -703
1827.46/58.72 v -704 -705 -706 -707 -708 -709 -710 -711
1827.46/58.72 v -712 -713 -714 -715 716 -717 -718 -719
1827.46/58.72 v -720 -721 -722 -723 -724 -725 -726 -727
1827.46/58.72 v -728 -729 -730 -731 -732 -733 -734 -735
1827.46/58.72 v -736 -737 -738 -739 -740 -741 -742 -743
1827.46/58.72 v 744 -745 -746 -747 -748 -749 -750 -751
1827.46/58.72 v -752 -753 -754 -755 -756 -757 -758 -759
1827.46/58.72 v -760 -761 -762 -763 -764 -765 -766 -767
1827.46/58.72 v -768 -769 -770 -771 -772 -773 -774 -775
1827.46/58.72 v -776 -777 -778 -779 -780 -781 -782 783
1827.46/58.72 v -784 -785 -786 -787 -788 -789 -790 -791
1827.46/58.72 v -792 -793 -794 -795 -796 -797 -798 -799
1827.46/58.72 v -800 -801 -802 -803 -804 -805 -806 -807
1827.46/58.72 v -808 -809 -810 -811 -812 -813 -814 -815
1827.46/58.72 v 816 -817 -818 -819 -820 -821 -822 -823
1827.46/58.72 v -824 -825 -826 -827 -828 -829 -830 -831
1827.46/58.72 v -832 -833 -834 -835 -836 -837 -838 -839
1827.46/58.72 v -840 -841 -842 -843 -844 -845 -846 -847
1827.46/58.72 v -848 -849 -850 -851 -852 853 -854 -855
1827.46/58.72 v -856 -857 -858 -859 -860 -861 -862 -863
1827.46/58.72 v -864 -865 -866 -867 -868 -869 -870 -871
1827.46/58.72 v -872 -873 -874 -875 -876 -877 -878 -879
1827.46/58.72 v -880 -881 -882 -883 -884 -885 -886 -887
1827.46/58.72 v 888 -889 -890 -891 -892 -893 -894 -895
1827.46/58.72 v -896 -897 -898 -899 -900 -901 -902 -903
1827.46/58.72 v -904 -905 -906 -907 -908 -909 -910 -911
1827.46/58.72 v -912 -913 -914 -915 -916 -917 -918 -919
1827.46/58.72 v -920 -921 -922 -923 924 -925 -926 -927
1827.46/58.72 v -928 -929 -930 -931 -932 -933 -934 -935
1827.46/58.72 v -936 -937 -938 -939 -940 -941 -942 -943
1827.46/58.72 v -944 -945 -946 -947 -948 -949 -950 -951
1827.46/58.72 v -952 -953 -954 -955 -956 -957 -958 959
1827.46/58.72 v -960 -961 -962 -963 -964 -965 966 -967
1827.46/58.72 v -968 -969 -970 -971 -972 -973 -974 -975
1827.46/58.72 v -976 -977 -978 -979 -980 -981 -982 -983
1827.46/58.72 v -984 -985 -986 -987 -988 -989 -990 -991
1827.46/58.72 v -992 -993 -994 -995 -996 -997 -998 -999
1827.46/58.72 v -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007
1827.46/58.73 v -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015
1827.46/58.73 v -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023
1827.46/58.73 v 1024
1827.46/58.73 v 0
1827.46/58.76 solver [5] plingeling 276-6264d55-100731 answered
1827.46/58.76 Done
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-3347675-1306135588/watcher-3347675-1306135588 -o /tmp/evaluation-result-3347675-1306135588/solver-3347675-1306135588 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347675-1306135588.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 29.53 30.93 30.03 1/413 31323
/proc/meminfo: memFree=255340088/264257624 swapFree=67111528/67111528
[pid=31323] ppid=31321 vsize=18324 CPUtime=0 cores=0-31
/proc/31323/stat : 31323 (ppfolio) S 31321 31323 31031 0 -1 4202496 513 0 0 0 0 0 0 0 23 0 1 0 725045253 18763776 386 268435456000 4194304 4287625 140737108344896 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 24 0 0 0
/proc/31323/statm: 4581 386 337 23 0 91 0
[startup+0.078553 s]
/proc/loadavg: 29.53 30.93 30.03 1/413 31323
/proc/meminfo: memFree=255340088/264257624 swapFree=67111528/67111528
[pid=31323] ppid=31321 vsize=18324 CPUtime=0 cores=0-31
/proc/31323/stat : 31323 (ppfolio) S 31321 31323 31031 0 -1 4202496 513 0 0 0 0 0 0 0 23 0 1 0 725045253 18763776 386 268435456000 4194304 4287625 140737108344896 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 24 0 0 0
/proc/31323/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100534 s]
/proc/loadavg: 29.53 30.93 30.03 1/413 31323
/proc/meminfo: memFree=255340088/264257624 swapFree=67111528/67111528
[pid=31323] ppid=31321 vsize=18324 CPUtime=0 cores=0-31
/proc/31323/stat : 31323 (ppfolio) S 31321 31323 31031 0 -1 4202496 513 0 0 0 0 0 0 0 23 0 1 0 725045253 18763776 386 268435456000 4194304 4287625 140737108344896 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 24 0 0 0
/proc/31323/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.30054 s]
/proc/loadavg: 29.53 30.93 30.03 1/413 31323
/proc/meminfo: memFree=255340088/264257624 swapFree=67111528/67111528
[pid=31323] ppid=31321 vsize=18324 CPUtime=0 cores=0-31
/proc/31323/stat : 31323 (ppfolio) S 31321 31323 31031 0 -1 4202496 513 0 0 0 0 0 0 0 22 0 1 0 725045253 18763776 386 268435456000 4194304 4287625 140737108344896 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 24 0 0 0
/proc/31323/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700553 s]
/proc/loadavg: 29.53 30.93 30.03 1/413 31323
/proc/meminfo: memFree=255340088/264257624 swapFree=67111528/67111528
[pid=31323] ppid=31321 vsize=18324 CPUtime=0 cores=0-31
/proc/31323/stat : 31323 (ppfolio) S 31321 31323 31031 0 -1 4202496 513 0 0 0 0 0 0 0 22 0 1 0 725045253 18763776 386 268435456000 4194304 4287625 140737108344896 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 24 0 0 0
/proc/31323/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50055 s]
/proc/loadavg: 29.53 30.93 30.03 6/419 31334
/proc/meminfo: memFree=255163840/264257624 swapFree=67111528/67111528
[pid=31323] ppid=31321 vsize=18324 CPUtime=0 cores=0-31
/proc/31323/stat : 31323 (ppfolio) S 31321 31323 31031 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 725045253 18763776 386 268435456000 4194304 4287625 140737108344896 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 24 0 0 0
/proc/31323/statm: 4581 386 337 23 0 91 0
[pid=31324] ppid=31323 vsize=51588 CPUtime=1.48 cores=0
/proc/31324/stat : 31324 (cryptominisat) R 31323 31323 31031 0 -1 4202496 7933 0 0 0 146 2 0 0 25 0 1 0 725045254 52826112 7610 268435456000 4194304 4587354 140735578894608 18446744073709551615 4388248 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31324/statm: 12897 7610 315 96 0 9459 0
[pid=31325] ppid=31323 vsize=22948 CPUtime=1.48 cores=1
/proc/31325/stat : 31325 (clasp) R 31323 31323 31031 0 -1 4202496 4206 0 0 0 147 1 0 0 20 0 1 0 725045254 23498752 3030 268435456000 4194304 4785740 140736222966608 18446744073709551615 4553032 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31325/statm: 5737 3030 338 145 0 2782 0
[pid=31326] ppid=31323 vsize=461372 CPUtime=1.48 cores=2
/proc/31326/stat : 31326 (TNM) R 31323 31323 31031 0 -1 4202496 3243 0 0 0 147 1 0 0 20 0 1 0 725045254 472444928 3141 268435456000 134512640 134534564 4289543008 18446744073709551615 134524536 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31326/statm: 115343 3141 91 6 0 114008 0
[pid=31327] ppid=31323 vsize=33120 CPUtime=1.48 cores=3
/proc/31327/stat : 31327 (march_hi) R 31323 31323 31031 0 -1 4202496 12928 0 0 0 144 4 0 0 20 0 1 0 725045254 33914880 5117 268435456000 4194304 4331988 140736678022176 18446744073709551615 4271246 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31327/statm: 8280 5117 149 34 0 6722 0
[pid=31328] ppid=31323 vsize=125000 CPUtime=1.47 cores=4-31
/proc/31328/stat : 31328 (plingeling) R 31323 31323 31031 0 -1 4202496 30459 1238 0 0 140 7 0 0 21 0 1 0 725045254 128000000 29909 268435456000 4194304 4356188 140737113651360 18446744073709551615 4225315 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/31328/statm: 31250 29909 129 40 0 29794 0
Current children cumulated CPU time (s) 7.39
Current children cumulated vsize (KiB) 712352
[startup+3.10156 s]
/proc/loadavg: 29.53 30.93 30.03 33/447 31362
/proc/meminfo: memFree=255130136/264257624 swapFree=67111528/67111528
[pid=31323] ppid=31321 vsize=18324 CPUtime=0 cores=0-31
/proc/31323/stat : 31323 (ppfolio) S 31321 31323 31031 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 725045253 18763776 386 268435456000 4194304 4287625 140737108344896 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 24 0 0 0
/proc/31323/statm: 4581 386 337 23 0 91 0
[pid=31324] ppid=31323 vsize=46372 CPUtime=3.08 cores=0
/proc/31324/stat : 31324 (cryptominisat) R 31323 31323 31031 0 -1 4202496 8126 0 0 0 306 2 0 0 20 0 1 0 725045254 47484928 6604 268435456000 4194304 4587354 140735578894608 18446744073709551615 4238307 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31324/statm: 11593 6604 325 96 0 8155 0
[pid=31325] ppid=31323 vsize=22948 CPUtime=3.08 cores=1
/proc/31325/stat : 31325 (clasp) R 31323 31323 31031 0 -1 4202496 4206 0 0 0 307 1 0 0 25 0 1 0 725045254 23498752 3030 268435456000 4194304 4785740 140736222966608 18446744073709551615 4552993 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31325/statm: 5737 3030 338 145 0 2782 0
[pid=31326] ppid=31323 vsize=466124 CPUtime=3.08 cores=2
/proc/31326/stat : 31326 (TNM) R 31323 31323 31031 0 -1 4202496 4152 0 0 0 307 1 0 0 25 0 1 0 725045254 477310976 4050 268435456000 134512640 134534564 4289543008 18446744073709551615 134530151 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31326/statm: 116531 4050 95 6 0 115196 0
[pid=31327] ppid=31323 vsize=54452 CPUtime=3.09 cores=3
/proc/31327/stat : 31327 (march_hi) R 31323 31323 31031 0 -1 4202496 16996 0 0 0 303 6 0 0 25 0 1 0 725045254 55758848 9185 268435456000 4194304 4331988 140736678022176 18446744073709551615 4271246 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31327/statm: 13613 9185 149 34 0 12055 0
[pid=31328] ppid=31323 vsize=691788 CPUtime=40.07 cores=4-31
/proc/31328/stat : 31328 (plingeling) S 31323 31323 31031 0 -1 4202496 91151 1238 0 0 3917 90 0 0 22 0 29 0 725045254 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/31328/statm: 172947 34790 157 40 0 171491 0
[pid=31328/tid=31335] ppid=31323 vsize=691788 CPUtime=1.39 cores=4-31
/proc/31328/task/31335/stat : 31335 (plingeling) R 31323 31323 31031 0 -1 4202560 2012 1238 0 0 136 3 0 0 25 0 29 0 725045422 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31328/tid=31336] ppid=31323 vsize=691788 CPUtime=1.38 cores=4-31
/proc/31328/task/31336/stat : 31336 (plingeling) R 31323 31323 31031 0 -1 4202560 2473 1238 0 0 137 1 0 0 25 0 29 0 725045422 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4271353 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31328/tid=31337] ppid=31323 vsize=691788 CPUtime=1.39 cores=4-31
/proc/31328/task/31337/stat : 31337 (plingeling) R 31323 31323 31031 0 -1 4202560 1881 1238 0 0 137 2 0 0 23 0 29 0 725045422 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4279749 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31328/tid=31338] ppid=31323 vsize=691788 CPUtime=1.33 cores=4-31
/proc/31328/task/31338/stat : 31338 (plingeling) R 31323 31323 31031 0 -1 4202560 3143 1238 0 0 128 5 0 0 21 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31328/tid=31339] ppid=31323 vsize=691788 CPUtime=1.38 cores=4-31
/proc/31328/task/31339/stat : 31339 (plingeling) R 31323 31323 31031 0 -1 4202560 2236 1238 0 0 136 2 0 0 22 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31328/tid=31340] ppid=31323 vsize=691788 CPUtime=1.39 cores=4-31
/proc/31328/task/31340/stat : 31340 (plingeling) R 31323 31323 31031 0 -1 4202560 2262 1238 0 0 136 3 0 0 19 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31328/tid=31341] ppid=31323 vsize=691788 CPUtime=1.39 cores=4-31
/proc/31328/task/31341/stat : 31341 (plingeling) R 31323 31323 31031 0 -1 4202560 2649 1238 0 0 136 3 0 0 19 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31328/tid=31342] ppid=31323 vsize=691788 CPUtime=1.38 cores=4-31
/proc/31328/task/31342/stat : 31342 (plingeling) R 31323 31323 31031 0 -1 4202560 2271 1238 0 0 135 3 0 0 19 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31328/tid=31343] ppid=31323 vsize=691788 CPUtime=1.38 cores=4-31
/proc/31328/task/31343/stat : 31343 (plingeling) R 31323 31323 31031 0 -1 4202560 2653 1238 0 0 136 2 0 0 19 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4211127 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31328/tid=31344] ppid=31323 vsize=691788 CPUtime=1.38 cores=4-31
/proc/31328/task/31344/stat : 31344 (plingeling) R 31323 31323 31031 0 -1 4202560 1882 1238 0 0 135 3 0 0 19 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331360 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31328/tid=31345] ppid=31323 vsize=691788 CPUtime=1.38 cores=4-31
/proc/31328/task/31345/stat : 31345 (plingeling) R 31323 31323 31031 0 -1 4202560 2215 1238 0 0 136 2 0 0 19 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31328/tid=31346] ppid=31323 vsize=691788 CPUtime=1.26 cores=4-31
/proc/31328/task/31346/stat : 31346 (plingeling) R 31323 31323 31031 0 -1 4202560 2890 1238 0 0 123 3 0 0 19 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31328/tid=31347] ppid=31323 vsize=691788 CPUtime=1.33 cores=4-31
/proc/31328/task/31347/stat : 31347 (plingeling) R 31323 31323 31031 0 -1 4202560 1752 1238 0 0 133 0 0 0 25 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31328/tid=31348] ppid=31323 vsize=691788 CPUtime=1.36 cores=4-31
/proc/31328/task/31348/stat : 31348 (plingeling) R 31323 31323 31031 0 -1 4202560 2008 1238 0 0 134 2 0 0 19 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4330856 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31328/tid=31349] ppid=31323 vsize=691788 CPUtime=1.38 cores=4-31
/proc/31328/task/31349/stat : 31349 (plingeling) R 31323 31323 31031 0 -1 4202560 1880 1238 0 0 135 3 0 0 19 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31328/tid=31350] ppid=31323 vsize=691788 CPUtime=1.38 cores=4-31
/proc/31328/task/31350/stat : 31350 (plingeling) R 31323 31323 31031 0 -1 4202560 2009 1238 0 0 135 3 0 0 19 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31328/tid=31351] ppid=31323 vsize=691788 CPUtime=1.38 cores=4-31
/proc/31328/task/31351/stat : 31351 (plingeling) R 31323 31323 31031 0 -1 4202560 2665 1238 0 0 135 3 0 0 20 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31328/tid=31352] ppid=31323 vsize=691788 CPUtime=1.38 cores=4-31
/proc/31328/task/31352/stat : 31352 (plingeling) R 31323 31323 31031 0 -1 4202560 2008 1238 0 0 135 3 0 0 25 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31328/tid=31353] ppid=31323 vsize=691788 CPUtime=1.35 cores=4-31
/proc/31328/task/31353/stat : 31353 (plingeling) R 31323 31323 31031 0 -1 4202560 1496 1238 0 0 134 1 0 0 19 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31328/tid=31354] ppid=31323 vsize=691788 CPUtime=1.3 cores=4-31
/proc/31328/task/31354/stat : 31354 (plingeling) R 31323 31323 31031 0 -1 4202560 3390 1238 0 0 125 5 0 0 25 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31328/tid=31355] ppid=31323 vsize=691788 CPUtime=1.38 cores=4-31
/proc/31328/task/31355/stat : 31355 (plingeling) R 31323 31323 31031 0 -1 4202560 1816 1238 0 0 135 3 0 0 25 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4330990 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31328/tid=31356] ppid=31323 vsize=691788 CPUtime=1.38 cores=4-31
/proc/31328/task/31356/stat : 31356 (plingeling) R 31323 31323 31031 0 -1 4202560 2013 1238 0 0 135 3 0 0 19 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31328/tid=31357] ppid=31323 vsize=691788 CPUtime=1.37 cores=4-31
/proc/31328/task/31357/stat : 31357 (plingeling) R 31323 31323 31031 0 -1 4202560 1560 1238 0 0 135 2 0 0 19 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31328/tid=31358] ppid=31323 vsize=691788 CPUtime=1.34 cores=4-31
/proc/31328/task/31358/stat : 31358 (plingeling) R 31323 31323 31031 0 -1 4202560 1240 1238 0 0 131 3 0 0 19 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4270728 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31328/tid=31359] ppid=31323 vsize=691788 CPUtime=1.37 cores=4-31
/proc/31328/task/31359/stat : 31359 (plingeling) R 31323 31323 31031 0 -1 4202560 2392 1238 0 0 135 2 0 0 19 0 29 0 725045423 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31328/tid=31360] ppid=31323 vsize=691788 CPUtime=1.36 cores=4-31
/proc/31328/task/31360/stat : 31360 (plingeling) R 31323 31323 31031 0 -1 4202560 1240 1238 0 0 134 2 0 0 19 0 29 0 725045424 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31328/tid=31361] ppid=31323 vsize=691788 CPUtime=1.37 cores=4-31
/proc/31328/task/31361/stat : 31361 (plingeling) R 31323 31323 31031 0 -1 4202560 1752 1238 0 0 135 2 0 0 19 0 29 0 725045424 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31328/tid=31362] ppid=31323 vsize=691788 CPUtime=1.3 cores=4-31
/proc/31328/task/31362/stat : 31362 (plingeling) R 31323 31323 31031 0 -1 4202560 2870 1238 0 0 128 2 0 0 19 0 29 0 725045424 708390912 34790 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 52.4
Current children cumulated vsize (KiB) 1300008
[startup+6.30168 s]
/proc/loadavg: 29.72 30.95 30.04 33/447 31362
/proc/meminfo: memFree=255036296/264257624 swapFree=67111528/67111528
[pid=31323] ppid=31321 vsize=18324 CPUtime=0 cores=0-31
/proc/31323/stat : 31323 (ppfolio) S 31321 31323 31031 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 725045253 18763776 386 268435456000 4194304 4287625 140737108344896 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 24 0 0 0
/proc/31323/statm: 4581 386 337 23 0 91 0
[pid=31324] ppid=31323 vsize=46372 CPUtime=6.28 cores=0
/proc/31324/stat : 31324 (cryptominisat) R 31323 31323 31031 0 -1 4202496 8535 0 0 0 625 3 0 0 25 0 1 0 725045254 47484928 6999 268435456000 4194304 4587354 140735578894608 18446744073709551615 4228756 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31324/statm: 11593 6999 325 96 0 8155 0
[pid=31325] ppid=31323 vsize=23652 CPUtime=6.28 cores=1
/proc/31325/stat : 31325 (clasp) R 31323 31323 31031 0 -1 4202496 4391 0 0 0 626 2 0 0 25 0 1 0 725045254 24219648 3215 268435456000 4194304 4785740 140736222966608 18446744073709551615 4287158 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31325/statm: 5913 3215 338 145 0 2958 0
[pid=31326] ppid=31323 vsize=466124 CPUtime=6.28 cores=2
/proc/31326/stat : 31326 (TNM) R 31323 31323 31031 0 -1 4202496 4152 0 0 0 627 1 0 0 25 0 1 0 725045254 477310976 4050 268435456000 134512640 134534564 4289543008 18446744073709551615 134529833 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31326/statm: 116531 4050 95 6 0 115196 0
[pid=31327] ppid=31323 vsize=93140 CPUtime=6.28 cores=3
/proc/31327/stat : 31327 (march_hi) R 31323 31323 31031 0 -1 4202496 26051 0 0 0 621 7 0 0 25 0 1 0 725045254 95375360 18240 268435456000 4194304 4331988 140736678022176 18446744073709551615 4226625 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31327/statm: 23285 18240 149 34 0 21727 0
[pid=31328] ppid=31323 vsize=740220 CPUtime=129.56 cores=4-31
/proc/31328/stat : 31328 (plingeling) S 31323 31323 31031 0 -1 4202496 104378 1238 0 0 12862 94 0 0 22 0 29 0 725045254 757985280 48017 268435456000 4194304 4356188 140737113651360 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/31328/statm: 185055 48017 157 40 0 183599 0
[pid=31328/tid=31335] ppid=31323 vsize=740220 CPUtime=4.59 cores=4-31
/proc/31328/task/31335/stat : 31335 (plingeling) R 31323 31323 31031 0 -1 4202560 2513 1238 0 0 456 3 0 0 25 0 29 0 725045422 757985280 48017 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331002 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31328/tid=31336] ppid=31323 vsize=740220 CPUtime=4.59 cores=4-31
/proc/31328/task/31336/stat : 31336 (plingeling) R 31323 31323 31031 0 -1 4202560 2935 1238 0 0 457 2 0 0 25 0 29 0 725045422 757985280 48017 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331002 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31328/tid=31337] ppid=31323 vsize=740220 CPUtime=4.59 cores=4-31
/proc/31328/task/31337/stat : 31337 (plingeling) R 31323 31323 31031 0 -1 4202560 2465 1238 0 0 457 2 0 0 25 0 29 0 725045422 757985280 48017 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31328/tid=31338] ppid=31323 vsize=740220 CPUtime=4.53 cores=4-31
/proc/31328/task/31338/stat : 31338 (plingeling) R 31323 31323 31031 0 -1 4202560 3603 1238 0 0 448 5 0 0 25 0 29 0 725045423 757985280 48017 268435456000 4194304 4356188 140737113651360 18446744073709551615 4284008 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31328/tid=31339] ppid=31323 vsize=740220 CPUtime=4.58 cores=4-31
/proc/31328/task/31339/stat : 31339 (plingeling) R 31323 31323 31031 0 -1 4202560 2890 1238 0 0 455 3 0 0 25 0 29 0 725045423 757985280 48017 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31328/tid=31340] ppid=31323 vsize=740220 CPUtime=4.59 cores=4-31
################
# More data... #
################
/proc/31326/stat : 31326 (TNM) R 31323 31323 31031 0 -1 4202496 4152 0 0 0 5746 1 0 0 25 0 1 0 725045254 477310976 4050 268435456000 134512640 134534564 4289543008 18446744073709551615 134530736 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31326/statm: 116531 4050 95 6 0 115196 0
[pid=31327] ppid=31323 vsize=541848 CPUtime=57.47 cores=3
/proc/31327/stat : 31327 (march_hi) R 31323 31323 31031 0 -1 4202496 269189 0 0 0 5686 61 0 0 25 0 1 0 725045254 554852352 120835 268435456000 4194304 4331988 140736678022176 18446744073709551615 4226263 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31327/statm: 135462 120835 170 34 0 133904 0
[pid=31328] ppid=31323 vsize=919104 CPUtime=1561.33 cores=4-31
/proc/31328/stat : 31328 (plingeling) S 31323 31323 31031 0 -1 4202496 207989 1238 0 0 155986 147 0 0 22 0 29 0 725045254 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/31328/statm: 229776 95269 157 40 0 228320 0
[pid=31328/tid=31335] ppid=31323 vsize=919104 CPUtime=55.75 cores=4-31
/proc/31328/task/31335/stat : 31335 (plingeling) R 31323 31323 31031 0 -1 4202560 6106 1238 0 0 5569 6 0 0 25 0 29 0 725045422 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31328/tid=31336] ppid=31323 vsize=919104 CPUtime=54.37 cores=4-31
/proc/31328/task/31336/stat : 31336 (plingeling) R 31323 31323 31031 0 -1 4202560 5687 1238 0 0 5435 2 0 0 25 0 29 0 725045422 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31328/tid=31337] ppid=31323 vsize=919104 CPUtime=55.78 cores=4-31
/proc/31328/task/31337/stat : 31337 (plingeling) R 31323 31323 31031 0 -1 4202560 5259 1238 0 0 5575 3 0 0 25 0 29 0 725045422 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31328/tid=31338] ppid=31323 vsize=919104 CPUtime=55.72 cores=4-31
/proc/31328/task/31338/stat : 31338 (plingeling) R 31323 31323 31031 0 -1 4202560 6856 1238 0 0 5566 6 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4332320 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31328/tid=31339] ppid=31323 vsize=919104 CPUtime=55.77 cores=4-31
/proc/31328/task/31339/stat : 31339 (plingeling) R 31323 31323 31031 0 -1 4202560 7688 1238 0 0 5571 6 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4280568 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31328/tid=31340] ppid=31323 vsize=919104 CPUtime=55.78 cores=4-31
/proc/31328/task/31340/stat : 31340 (plingeling) R 31323 31323 31031 0 -1 4202560 5538 1238 0 0 5574 4 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31328/tid=31341] ppid=31323 vsize=919104 CPUtime=55.77 cores=4-31
/proc/31328/task/31341/stat : 31341 (plingeling) R 31323 31323 31031 0 -1 4202560 6720 1238 0 0 5571 6 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31328/tid=31342] ppid=31323 vsize=919104 CPUtime=55.78 cores=4-31
/proc/31328/task/31342/stat : 31342 (plingeling) R 31323 31323 31031 0 -1 4202560 7038 1238 0 0 5572 6 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31328/tid=31343] ppid=31323 vsize=919104 CPUtime=55.78 cores=4-31
/proc/31328/task/31343/stat : 31343 (plingeling) R 31323 31323 31031 0 -1 4202560 6026 1238 0 0 5573 5 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31328/tid=31344] ppid=31323 vsize=919104 CPUtime=55.74 cores=4-31
/proc/31328/task/31344/stat : 31344 (plingeling) R 31323 31323 31031 0 -1 4202560 5295 1238 0 0 5570 4 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31328/tid=31345] ppid=31323 vsize=919104 CPUtime=55.77 cores=4-31
/proc/31328/task/31345/stat : 31345 (plingeling) R 31323 31323 31031 0 -1 4202560 6014 1238 0 0 5574 3 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331407 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31328/tid=31346] ppid=31323 vsize=919104 CPUtime=55.48 cores=4-31
/proc/31328/task/31346/stat : 31346 (plingeling) R 31323 31323 31031 0 -1 4202560 7971 1238 0 0 5544 4 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331401 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31328/tid=31347] ppid=31323 vsize=919104 CPUtime=55.72 cores=4-31
/proc/31328/task/31347/stat : 31347 (plingeling) R 31323 31323 31031 0 -1 4202560 3762 1238 0 0 5571 1 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31328/tid=31348] ppid=31323 vsize=919104 CPUtime=55.75 cores=4-31
/proc/31328/task/31348/stat : 31348 (plingeling) R 31323 31323 31031 0 -1 4202560 6339 1238 0 0 5572 3 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31328/tid=31349] ppid=31323 vsize=919104 CPUtime=55.77 cores=4-31
/proc/31328/task/31349/stat : 31349 (plingeling) R 31323 31323 31031 0 -1 4202560 6109 1238 0 0 5571 6 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331401 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31328/tid=31350] ppid=31323 vsize=919104 CPUtime=55.77 cores=4-31
/proc/31328/task/31350/stat : 31350 (plingeling) R 31323 31323 31031 0 -1 4202560 7232 1238 0 0 5571 6 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31328/tid=31351] ppid=31323 vsize=919104 CPUtime=55.78 cores=4-31
/proc/31328/task/31351/stat : 31351 (plingeling) R 31323 31323 31031 0 -1 4202560 7083 1238 0 0 5571 7 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31328/tid=31352] ppid=31323 vsize=919104 CPUtime=55.77 cores=4-31
/proc/31328/task/31352/stat : 31352 (plingeling) R 31323 31323 31031 0 -1 4202560 6664 1238 0 0 5573 4 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4234124 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31328/tid=31353] ppid=31323 vsize=919104 CPUtime=55.74 cores=4-31
/proc/31328/task/31353/stat : 31353 (plingeling) R 31323 31323 31031 0 -1 4202560 3931 1238 0 0 5570 4 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31328/tid=31354] ppid=31323 vsize=919104 CPUtime=55.69 cores=4-31
/proc/31328/task/31354/stat : 31354 (plingeling) R 31323 31323 31031 0 -1 4202560 7940 1238 0 0 5563 6 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31328/tid=31355] ppid=31323 vsize=919104 CPUtime=55.76 cores=4-31
/proc/31328/task/31355/stat : 31355 (plingeling) R 31323 31323 31031 0 -1 4202560 7064 1238 0 0 5570 6 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31328/tid=31356] ppid=31323 vsize=919104 CPUtime=55.77 cores=4-31
/proc/31328/task/31356/stat : 31356 (plingeling) R 31323 31323 31031 0 -1 4202560 4536 1238 0 0 5573 4 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31328/tid=31357] ppid=31323 vsize=919104 CPUtime=55.74 cores=4-31
/proc/31328/task/31357/stat : 31357 (plingeling) R 31323 31323 31031 0 -1 4202560 4416 1238 0 0 5569 5 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31328/tid=31358] ppid=31323 vsize=919104 CPUtime=55.73 cores=4-31
/proc/31328/task/31358/stat : 31358 (plingeling) R 31323 31323 31031 0 -1 4202560 9538 1238 0 0 5569 4 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31328/tid=31359] ppid=31323 vsize=919104 CPUtime=55.74 cores=4-31
/proc/31328/task/31359/stat : 31359 (plingeling) R 31323 31323 31031 0 -1 4202560 6630 1238 0 0 5569 5 0 0 25 0 29 0 725045423 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4210596 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31328/tid=31360] ppid=31323 vsize=919104 CPUtime=55.75 cores=4-31
/proc/31328/task/31360/stat : 31360 (plingeling) R 31323 31323 31031 0 -1 4202560 8843 1238 0 0 5569 6 0 0 25 0 29 0 725045424 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4279765 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31328/tid=31361] ppid=31323 vsize=919104 CPUtime=55.76 cores=4-31
/proc/31328/task/31361/stat : 31361 (plingeling) R 31323 31323 31031 0 -1 4202560 4272 1238 0 0 5574 2 0 0 25 0 29 0 725045424 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31328/tid=31362] ppid=31323 vsize=919104 CPUtime=55.7 cores=4-31
/proc/31328/task/31362/stat : 31362 (plingeling) R 31323 31323 31031 0 -1 4202560 6939 1238 0 0 5567 3 0 0 25 0 29 0 725045424 941162496 95269 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 1791.21
Current children cumulated vsize (KiB) 3874288
[startup+58.3225 s]
/proc/loadavg: 31.01 31.11 30.14 33/447 31362
/proc/meminfo: memFree=254378564/264257624 swapFree=67111528/67111528
[pid=31323] ppid=31321 vsize=18324 CPUtime=0 cores=0-31
/proc/31323/stat : 31323 (ppfolio) S 31321 31323 31031 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 725045253 18763776 386 268435456000 4194304 4287625 140737108344896 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 24 0 0 0
/proc/31323/statm: 4581 386 337 23 0 91 0
[pid=31324] ppid=31323 vsize=1888860 CPUtime=58.29 cores=0
/proc/31324/stat : 31324 (cryptominisat) R 31323 31323 31031 0 -1 4202496 27476 0 0 0 5821 8 0 0 25 0 1 0 725045254 1934192640 15435 268435456000 4194304 4587354 140735578894608 18446744073709551615 4238770 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31324/statm: 472215 15435 335 96 0 468777 0
[pid=31325] ppid=31323 vsize=40940 CPUtime=58.29 cores=1
/proc/31325/stat : 31325 (clasp) R 31323 31323 31031 0 -1 4202496 8597 0 0 0 5825 4 0 0 25 0 1 0 725045254 41922560 7421 268435456000 4194304 4785740 140736222966608 18446744073709551615 4552646 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31325/statm: 10235 7421 338 145 0 7280 0
[pid=31326] ppid=31323 vsize=466124 CPUtime=58.29 cores=2
/proc/31326/stat : 31326 (TNM) R 31323 31323 31031 0 -1 4202496 4152 0 0 0 5828 1 0 0 25 0 1 0 725045254 477310976 4050 268435456000 134512640 134534564 4289543008 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31326/statm: 116531 4050 95 6 0 115196 0
[pid=31327] ppid=31323 vsize=541848 CPUtime=58.29 cores=3
/proc/31327/stat : 31327 (march_hi) R 31323 31323 31031 0 -1 4202496 269189 0 0 0 5768 61 0 0 25 0 1 0 725045254 554852352 120835 268435456000 4194304 4331988 140736678022176 18446744073709551615 4210448 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31327/statm: 135462 120835 170 34 0 133904 0
[pid=31328] ppid=31323 vsize=919104 CPUtime=1584.25 cores=4-31
/proc/31328/stat : 31328 (plingeling) S 31323 31323 31031 0 -1 4202496 208213 1238 0 0 158278 147 0 0 22 0 29 0 725045254 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/31328/statm: 229776 95461 157 40 0 228320 0
[pid=31328/tid=31335] ppid=31323 vsize=919104 CPUtime=56.57 cores=4-31
/proc/31328/task/31335/stat : 31335 (plingeling) R 31323 31323 31031 0 -1 4202560 6106 1238 0 0 5651 6 0 0 25 0 29 0 725045422 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31328/tid=31336] ppid=31323 vsize=919104 CPUtime=55.16 cores=4-31
/proc/31328/task/31336/stat : 31336 (plingeling) R 31323 31323 31031 0 -1 4202560 5687 1238 0 0 5514 2 0 0 25 0 29 0 725045422 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331401 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31328/tid=31337] ppid=31323 vsize=919104 CPUtime=56.6 cores=4-31
/proc/31328/task/31337/stat : 31337 (plingeling) R 31323 31323 31031 0 -1 4202560 5259 1238 0 0 5657 3 0 0 25 0 29 0 725045422 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31328/tid=31338] ppid=31323 vsize=919104 CPUtime=56.54 cores=4-31
/proc/31328/task/31338/stat : 31338 (plingeling) R 31323 31323 31031 0 -1 4202560 6856 1238 0 0 5648 6 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31328/tid=31339] ppid=31323 vsize=919104 CPUtime=56.59 cores=4-31
/proc/31328/task/31339/stat : 31339 (plingeling) R 31323 31323 31031 0 -1 4202560 7688 1238 0 0 5653 6 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31328/tid=31340] ppid=31323 vsize=919104 CPUtime=56.6 cores=4-31
/proc/31328/task/31340/stat : 31340 (plingeling) R 31323 31323 31031 0 -1 4202560 5538 1238 0 0 5656 4 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31328/tid=31341] ppid=31323 vsize=919104 CPUtime=56.59 cores=4-31
/proc/31328/task/31341/stat : 31341 (plingeling) R 31323 31323 31031 0 -1 4202560 6720 1238 0 0 5653 6 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4280818 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31328/tid=31342] ppid=31323 vsize=919104 CPUtime=56.6 cores=4-31
/proc/31328/task/31342/stat : 31342 (plingeling) R 31323 31323 31031 0 -1 4202560 7038 1238 0 0 5654 6 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331401 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31328/tid=31343] ppid=31323 vsize=919104 CPUtime=56.6 cores=4-31
/proc/31328/task/31343/stat : 31343 (plingeling) R 31323 31323 31031 0 -1 4202560 6026 1238 0 0 5655 5 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4284212 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31328/tid=31344] ppid=31323 vsize=919104 CPUtime=56.56 cores=4-31
/proc/31328/task/31344/stat : 31344 (plingeling) R 31323 31323 31031 0 -1 4202560 5295 1238 0 0 5652 4 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31328/tid=31345] ppid=31323 vsize=919104 CPUtime=56.59 cores=4-31
/proc/31328/task/31345/stat : 31345 (plingeling) R 31323 31323 31031 0 -1 4202560 6014 1238 0 0 5656 3 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31328/tid=31346] ppid=31323 vsize=919104 CPUtime=56.3 cores=4-31
/proc/31328/task/31346/stat : 31346 (plingeling) R 31323 31323 31031 0 -1 4202560 7971 1238 0 0 5626 4 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31328/tid=31347] ppid=31323 vsize=919104 CPUtime=56.54 cores=4-31
/proc/31328/task/31347/stat : 31347 (plingeling) R 31323 31323 31031 0 -1 4202560 3762 1238 0 0 5653 1 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31328/tid=31348] ppid=31323 vsize=919104 CPUtime=56.57 cores=4-31
/proc/31328/task/31348/stat : 31348 (plingeling) R 31323 31323 31031 0 -1 4202560 6339 1238 0 0 5654 3 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331035 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31328/tid=31349] ppid=31323 vsize=919104 CPUtime=56.59 cores=4-31
/proc/31328/task/31349/stat : 31349 (plingeling) R 31323 31323 31031 0 -1 4202560 6109 1238 0 0 5653 6 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31328/tid=31350] ppid=31323 vsize=919104 CPUtime=56.59 cores=4-31
/proc/31328/task/31350/stat : 31350 (plingeling) R 31323 31323 31031 0 -1 4202560 7232 1238 0 0 5653 6 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31328/tid=31351] ppid=31323 vsize=919104 CPUtime=56.6 cores=4-31
/proc/31328/task/31351/stat : 31351 (plingeling) R 31323 31323 31031 0 -1 4202560 7083 1238 0 0 5653 7 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31328/tid=31352] ppid=31323 vsize=919104 CPUtime=56.59 cores=4-31
/proc/31328/task/31352/stat : 31352 (plingeling) R 31323 31323 31031 0 -1 4202560 6664 1238 0 0 5655 4 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31328/tid=31353] ppid=31323 vsize=919104 CPUtime=56.56 cores=4-31
/proc/31328/task/31353/stat : 31353 (plingeling) R 31323 31323 31031 0 -1 4202560 4059 1238 0 0 5652 4 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31328/tid=31354] ppid=31323 vsize=919104 CPUtime=56.51 cores=4-31
/proc/31328/task/31354/stat : 31354 (plingeling) R 31323 31323 31031 0 -1 4202560 7940 1238 0 0 5645 6 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331039 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31328/tid=31355] ppid=31323 vsize=919104 CPUtime=56.58 cores=4-31
/proc/31328/task/31355/stat : 31355 (plingeling) R 31323 31323 31031 0 -1 4202560 7064 1238 0 0 5652 6 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31328/tid=31356] ppid=31323 vsize=919104 CPUtime=56.59 cores=4-31
/proc/31328/task/31356/stat : 31356 (plingeling) R 31323 31323 31031 0 -1 4202560 4536 1238 0 0 5655 4 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331082 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31328/tid=31357] ppid=31323 vsize=919104 CPUtime=56.56 cores=4-31
/proc/31328/task/31357/stat : 31357 (plingeling) R 31323 31323 31031 0 -1 4202560 4416 1238 0 0 5651 5 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31328/tid=31358] ppid=31323 vsize=919104 CPUtime=56.55 cores=4-31
/proc/31328/task/31358/stat : 31358 (plingeling) R 31323 31323 31031 0 -1 4202560 9538 1238 0 0 5651 4 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4244632 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31328/tid=31359] ppid=31323 vsize=919104 CPUtime=56.56 cores=4-31
/proc/31328/task/31359/stat : 31359 (plingeling) R 31323 31323 31031 0 -1 4202560 6630 1238 0 0 5651 5 0 0 25 0 29 0 725045423 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31328/tid=31360] ppid=31323 vsize=919104 CPUtime=56.57 cores=4-31
/proc/31328/task/31360/stat : 31360 (plingeling) R 31323 31323 31031 0 -1 4202560 8939 1238 0 0 5651 6 0 0 25 0 29 0 725045424 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331407 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31328/tid=31361] ppid=31323 vsize=919104 CPUtime=56.58 cores=4-31
/proc/31328/task/31361/stat : 31361 (plingeling) R 31323 31323 31031 0 -1 4202560 4272 1238 0 0 5656 2 0 0 25 0 29 0 725045424 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31328/tid=31362] ppid=31323 vsize=919104 CPUtime=56.52 cores=4-31
/proc/31328/task/31362/stat : 31362 (plingeling) R 31323 31323 31031 0 -1 4202560 6939 1238 0 0 5649 3 0 0 25 0 29 0 725045424 941162496 95461 268435456000 4194304 4356188 140737113651360 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 1817.41
Current children cumulated vsize (KiB) 3875200
[startup+58.7016 s]
/proc/loadavg: 31.01 31.11 30.14 33/447 31362
/proc/meminfo: memFree=254378564/264257624 swapFree=67111528/67111528
[pid=31323] ppid=31321 vsize=18324 CPUtime=0 cores=0-31
/proc/31323/stat : 31323 (ppfolio) S 31321 31323 31031 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 725045253 18763776 386 268435456000 4194304 4287625 140737108344896 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 24 0 0 0
/proc/31323/statm: 4581 386 337 23 0 91 0
[pid=31324] ppid=31323 vsize=1893912 CPUtime=58.67 cores=0
/proc/31324/stat : 31324 (cryptominisat) R 31323 31323 31031 0 -1 4202496 27477 0 0 0 5859 8 0 0 25 0 1 0 725045254 1939365888 15435 268435456000 4194304 4587354 140735578894608 18446744073709551615 4238323 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31324/statm: 473478 15435 335 96 0 470040 0
[pid=31325] ppid=31323 vsize=41072 CPUtime=58.67 cores=1
/proc/31325/stat : 31325 (clasp) R 31323 31323 31031 0 -1 4202496 8644 0 0 0 5863 4 0 0 25 0 1 0 725045254 42057728 7468 268435456000 4194304 4785740 140736222966608 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31325/statm: 10268 7468 338 145 0 7313 0
[pid=31326] ppid=31323 vsize=466124 CPUtime=58.67 cores=2
/proc/31326/stat : 31326 (TNM) R 31323 31323 31031 0 -1 4202496 4152 0 0 0 5866 1 0 0 25 0 1 0 725045254 477310976 4050 268435456000 134512640 134534564 4289543008 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31326/statm: 116531 4050 95 6 0 115196 0
[pid=31327] ppid=31323 vsize=541848 CPUtime=58.67 cores=3
/proc/31327/stat : 31327 (march_hi) R 31323 31323 31031 0 -1 4202496 269189 0 0 0 5806 61 0 0 25 0 1 0 725045254 554852352 120835 268435456000 4194304 4331988 140736678022176 18446744073709551615 4226242 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31327/statm: 135462 120835 170 34 0 133904 0
[pid=31328] ppid=31323 vsize=581044 CPUtime=1592.78 cores=4-31
/proc/31328/stat : 31328 (plingeling) R 31323 31323 31031 0 -1 4202496 208214 1238 0 0 159130 148 0 0 17 0 1 0 725045254 594989056 72961 268435456000 4194304 4356188 140737113651360 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 18 0 0 0
/proc/31328/statm: 145261 72961 158 40 0 143805 0
Current children cumulated CPU time (s) 1827.46
Current children cumulated vsize (KiB) 3542324
Child status: 0
Real time (s): 58.7682
CPU time (s): 1827.72
CPU user time (s): 1825.37
CPU system time (s): 2.34764
CPU usage (%): 3110.04
Max. virtual memory (cumulated for all children) (KiB): 5190160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1825.37
system time used= 2.34764
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519466
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= 2373
involuntary context switches= 4399
runsolver used 0.369943 second user time and 1.35279 second system time
The end
Begin job on node200 at 2011-05-23 09:26:28
IDJOB=3347675
IDBENCH=85975
IDSOLVER=1808
FILE ID=node200/3347675-1306135588
RUNJOBID= node200-1306135367-31045
PBS_JOBID= 13387834
Free space on /tmp= 62044 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_32.renamed-as.sat05-1919.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347675-1306135588/watcher-3347675-1306135588 -o /tmp/evaluation-result-3347675-1306135588/solver-3347675-1306135588 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347675-1306135588.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 833432e05c2a1599e13dca28680b5df9
RANDOM SEED=578564899
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255340120 kB
Buffers: 458464 kB
Cached: 8041240 kB
SwapCached: 0 kB
Active: 7595496 kB
Inactive: 973040 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255340120 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 12444 kB
Writeback: 0 kB
AnonPages: 67756 kB
Mapped: 14428 kB
Slab: 254060 kB
PageTables: 4356 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 170576 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62036 MiB
End job on node200 at 2011-05-23 09:27:27