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-3372921-1306139670/watcher-3372921-1306139670 -o /tmp/evaluation-result-3372921-1306139670/solver-3372921-1306139670 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372921-1306139670.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: 28.65 28.08 27.49 1/413 32662
/proc/meminfo: memFree=255331800/264257624 swapFree=67111528/67111528
[pid=32662] ppid=32660 vsize=10772 CPUtime=0.02 cores=0-31
/proc/32662/stat : 32662 (plingeling) R 32660 32662 32468 0 -1 4202496 761 1249 0 0 1 0 0 1 25 0 1 0 725453414 11030528 692 268435456000 4194304 4417452 140735608776080 18446744073709551615 4262086 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/32662/statm: 2693 692 144 55 0 579 0
[startup+0.089937 s]
/proc/loadavg: 28.65 28.08 27.49 1/413 32662
/proc/meminfo: memFree=255331800/264257624 swapFree=67111528/67111528
[pid=32662] ppid=32660 vsize=673536 CPUtime=1.66 cores=0-31
/proc/32662/stat : 32662 (plingeling) S 32660 32662 32468 0 -1 4202496 3324 1249 0 0 163 2 0 1 20 0 33 0 725453414 689700864 3205 268435456000 4194304 4417452 140735608776080 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 15 0 0 0
/proc/32662/statm: 168384 3235 175 55 0 166270 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 673536
[startup+0.142669 s]
/proc/loadavg: 28.65 28.08 27.49 1/413 32662
/proc/meminfo: memFree=255331800/264257624 swapFree=67111528/67111528
[pid=32662] ppid=32660 vsize=679488 CPUtime=2.71 cores=0-31
/proc/32662/stat : 32662 (plingeling) S 32660 32662 32468 0 -1 4202496 5125 1249 0 0 266 4 0 1 20 0 33 0 725453414 695795712 5005 268435456000 4194304 4417452 140735608776080 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 15 0 0 0
/proc/32662/statm: 170358 5831 175 55 0 168244 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 679488
[startup+0.34321 s]
/proc/loadavg: 28.65 28.08 27.49 1/413 32662
/proc/meminfo: memFree=255331800/264257624 swapFree=67111528/67111528
[pid=32662] ppid=32660 vsize=687400 CPUtime=9.13 cores=0-31
/proc/32662/stat : 32662 (plingeling) S 32660 32662 32468 0 -1 4202496 8538 1249 0 0 904 8 0 1 20 0 33 0 725453414 703897600 7389 268435456000 4194304 4417452 140735608776080 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 15 0 0 0
/proc/32662/statm: 171850 7389 175 55 0 169736 0
Current children cumulated CPU time (s) 9.13
Current children cumulated vsize (KiB) 687400
[startup+0.700126 s]
/proc/loadavg: 28.65 28.08 27.49 1/413 32662
/proc/meminfo: memFree=255331800/264257624 swapFree=67111528/67111528
[pid=32662] ppid=32660 vsize=705992 CPUtime=20.28 cores=0-31
/proc/32662/stat : 32662 (plingeling) S 32660 32662 32468 0 -1 4202496 20288 1249 0 0 2001 26 0 1 20 0 33 0 725453414 722935808 11923 268435456000 4194304 4417452 140735608776080 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 15 0 0 0
/proc/32662/statm: 176498 11923 175 55 0 174384 0
Current children cumulated CPU time (s) 20.28
Current children cumulated vsize (KiB) 705992
[startup+1.50221 s]
/proc/loadavg: 28.65 28.08 27.49 27/446 32700
/proc/meminfo: memFree=255275816/264257624 swapFree=67111528/67111528
[pid=32662] ppid=32660 vsize=727560 CPUtime=44.67 cores=0-31
/proc/32662/stat : 32662 (plingeling) S 32660 32662 32468 0 -1 4202496 47763 1249 0 0 4396 70 0 1 20 0 33 0 725453414 745021440 16678 268435456000 4194304 4417452 140735608776080 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 15 0 0 0
/proc/32662/statm: 181890 16678 175 55 0 179776 0
[pid=32662/tid=32669] ppid=32660 vsize=727560 CPUtime=1.4 cores=0-31
/proc/32662/task/32669/stat : 32669 (plingeling) S 32660 32662 32468 0 -1 4202560 1274 1249 0 0 138 1 0 1 18 0 33 0 725453419 745021440 16678 268435456000 4194304 4417452 140735608776080 18446744073709551615 258651060958 0 0 4096 17442 18446744071566929224 0 0 -1 10 0 0 0
[pid=32662/tid=32670] ppid=32660 vsize=727560 CPUtime=1.41 cores=0-31
/proc/32662/task/32670/stat : 32670 (plingeling) R 32660 32662 32468 0 -1 4202560 1723 1249 0 0 138 2 0 1 18 0 33 0 725453419 745021440 16678 268435456000 4194304 4417452 140735608776080 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=32662/tid=32671] ppid=32660 vsize=727560 CPUtime=1.38 cores=0-31
/proc/32662/task/32671/stat : 32671 (plingeling) R 32660 32662 32468 0 -1 4202560 1269 1249 0 0 135 2 0 1 18 0 33 0 725453419 745021440 16678 268435456000 4194304 4417452 140735608776080 18446744073709551615 4356796 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32662/tid=32672] ppid=32660 vsize=727560 CPUtime=1.43 cores=0-31
/proc/32662/task/32672/stat : 32672 (plingeling) R 32660 32662 32468 0 -1 4202560 1727 1249 0 0 139 3 0 1 18 0 33 0 725453419 745021440 16678 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32662/tid=32673] ppid=32660 vsize=727560 CPUtime=1.38 cores=0-31
/proc/32662/task/32673/stat : 32673 (plingeling) D 32660 32662 32468 0 -1 4202560 1208 1249 0 0 136 1 0 1 18 0 33 0 725453419 745021440 16678 268435456000 4194304 4417452 140735608776080 18446744073709551615 258650649918 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32662/tid=32674] ppid=32660 vsize=727560 CPUtime=1.38 cores=0-31
/proc/32662/task/32674/stat : 32674 (plingeling) D 32660 32662 32468 0 -1 4202560 1437 1249 0 0 135 2 0 1 18 0 33 0 725453419 745021440 16678 268435456000 4194304 4417452 140735608776080 18446744073709551615 258650649913 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32662/tid=32675] ppid=32660 vsize=727560 CPUtime=1.43 cores=0-31
/proc/32662/task/32675/stat : 32675 (plingeling) S 32660 32662 32468 0 -1 4202560 1415 1249 0 0 140 2 0 1 18 0 33 0 725453419 745021440 16678 268435456000 4194304 4417452 140735608776080 18446744073709551615 258651060958 0 0 4096 17442 18446604504854691296 0 0 -1 25 0 0 0
[pid=32662/tid=32676] ppid=32660 vsize=727928 CPUtime=1.39 cores=0-31
/proc/32662/task/32676/stat : 32676 (plingeling) R 32660 32662 32468 0 -1 4202560 1504 1249 0 0 136 2 0 1 19 0 33 0 725453419 745398272 16678 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32662/tid=32677] ppid=32660 vsize=727928 CPUtime=1.37 cores=0-31
/proc/32662/task/32677/stat : 32677 (plingeling) R 32660 32662 32468 0 -1 4202560 1643 1249 0 0 134 2 0 1 19 0 33 0 725453419 745398272 16680 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=32662/tid=32678] ppid=32660 vsize=728184 CPUtime=1.4 cores=0-31
/proc/32662/task/32678/stat : 32678 (plingeling) R 32660 32662 32468 0 -1 4202560 1672 1249 0 0 137 2 0 1 18 0 33 0 725453419 745660416 16680 268435456000 4194304 4417452 140735608776080 18446744073709551615 4321590 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32662/tid=32679] ppid=32660 vsize=728184 CPUtime=1.38 cores=0-31
/proc/32662/task/32679/stat : 32679 (plingeling) R 32660 32662 32468 0 -1 4202560 1721 1249 0 0 135 2 0 1 18 0 33 0 725453419 745660416 16682 268435456000 4194304 4417452 140735608776080 18446744073709551615 4366074 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32662/tid=32680] ppid=32660 vsize=728184 CPUtime=1.42 cores=0-31
/proc/32662/task/32680/stat : 32680 (plingeling) R 32660 32662 32468 0 -1 4202560 544 1249 0 0 141 0 0 1 19 0 33 0 725453419 745660416 16684 268435456000 4194304 4417452 140735608776080 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32662/tid=32681] ppid=32660 vsize=728184 CPUtime=1.4 cores=0-31
/proc/32662/task/32681/stat : 32681 (plingeling) R 32660 32662 32468 0 -1 4202560 1547 1249 0 0 137 2 0 1 18 0 33 0 725453419 745660416 16685 268435456000 4194304 4417452 140735608776080 18446744073709551615 4310967 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32662/tid=32682] ppid=32660 vsize=728184 CPUtime=1.4 cores=0-31
/proc/32662/task/32682/stat : 32682 (plingeling) R 32660 32662 32468 0 -1 4202560 1643 1249 0 0 137 2 0 1 18 0 33 0 725453419 745660416 16710 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32662/tid=32683] ppid=32660 vsize=728184 CPUtime=1.39 cores=0-31
/proc/32662/task/32683/stat : 32683 (plingeling) D 32660 32662 32468 0 -1 4202560 1847 1249 0 0 136 2 0 1 18 0 33 0 725453419 745660416 16712 268435456000 4194304 4417452 140735608776080 18446744073709551615 258650653120 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32662/tid=32684] ppid=32660 vsize=728264 CPUtime=1.39 cores=0-31
/proc/32662/task/32684/stat : 32684 (plingeling) R 32660 32662 32468 0 -1 4202560 1471 1249 0 0 137 1 0 1 19 0 33 0 725453419 745742336 16713 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364972 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32662/tid=32685] ppid=32660 vsize=728264 CPUtime=1.38 cores=0-31
/proc/32662/task/32685/stat : 32685 (plingeling) S 32660 32662 32468 0 -1 4202560 1644 1249 0 0 135 2 0 1 18 0 33 0 725453419 745742336 16714 268435456000 4194304 4417452 140735608776080 18446744073709551615 258651060958 0 0 4096 17442 18446604698045963744 0 0 -1 13 0 0 0
[pid=32662/tid=32686] ppid=32660 vsize=728264 CPUtime=1.37 cores=0-31
/proc/32662/task/32686/stat : 32686 (plingeling) D 32660 32662 32468 0 -1 4202560 1506 1249 0 0 134 2 0 1 18 0 33 0 725453419 745742336 16715 268435456000 4194304 4417452 140735608776080 18446744073709551615 258650649903 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32662/tid=32687] ppid=32660 vsize=728264 CPUtime=1.37 cores=0-31
/proc/32662/task/32687/stat : 32687 (plingeling) S 32660 32662 32468 0 -1 4202560 1600 1249 0 0 134 2 0 1 19 0 33 0 725453419 745742336 16716 268435456000 4194304 4417452 140735608776080 18446744073709551615 258651060958 0 0 4096 17442 18446604505113206240 0 0 -1 31 0 0 0
[pid=32662/tid=32688] ppid=32660 vsize=728264 CPUtime=1.39 cores=0-31
/proc/32662/task/32688/stat : 32688 (plingeling) R 32660 32662 32468 0 -1 4202560 1155 1249 0 0 136 2 0 1 19 0 33 0 725453419 745742336 16717 268435456000 4194304 4417452 140735608776080 18446744073709551615 4259103 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=32662/tid=32689] ppid=32660 vsize=728264 CPUtime=1.39 cores=0-31
/proc/32662/task/32689/stat : 32689 (plingeling) R 32660 32662 32468 0 -1 4202560 1432 1249 0 0 136 2 0 1 18 0 33 0 725453419 745742336 16720 268435456000 4194304 4417452 140735608776080 18446744073709551615 4365106 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32662/tid=32690] ppid=32660 vsize=728264 CPUtime=1.41 cores=0-31
/proc/32662/task/32690/stat : 32690 (plingeling) D 32660 32662 32468 0 -1 4202560 1169 1249 0 0 139 1 0 1 18 0 33 0 725453420 745742336 16720 268435456000 4194304 4417452 140735608776080 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32662/tid=32691] ppid=32660 vsize=728264 CPUtime=1.4 cores=0-31
/proc/32662/task/32691/stat : 32691 (plingeling) R 32660 32662 32468 0 -1 4202560 2180 1249 0 0 136 3 0 1 18 0 33 0 725453420 745742336 16720 268435456000 4194304 4417452 140735608776080 18446744073709551615 4354159 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32662/tid=32692] ppid=32660 vsize=728264 CPUtime=1.4 cores=0-31
/proc/32662/task/32692/stat : 32692 (plingeling) R 32660 32662 32468 0 -1 4202560 1277 1249 0 0 137 2 0 1 25 0 33 0 725453420 745742336 16720 268435456000 4194304 4417452 140735608776080 18446744073709551615 4310248 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=32662/tid=32693] ppid=32660 vsize=728264 CPUtime=1.38 cores=0-31
/proc/32662/task/32693/stat : 32693 (plingeling) R 32660 32662 32468 0 -1 4202560 1637 1249 0 0 135 2 0 1 18 0 33 0 725453420 745742336 16720 268435456000 4194304 4417452 140735608776080 18446744073709551615 4310328 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32662/tid=32694] ppid=32660 vsize=728264 CPUtime=1.42 cores=0-31
/proc/32662/task/32694/stat : 32694 (plingeling) R 32660 32662 32468 0 -1 4202560 1147 1249 0 0 141 0 0 1 19 0 33 0 725453420 745742336 16720 268435456000 4194304 4417452 140735608776080 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32662/tid=32695] ppid=32660 vsize=728264 CPUtime=1.41 cores=0-31
/proc/32662/task/32695/stat : 32695 (plingeling) R 32660 32662 32468 0 -1 4202560 1638 1249 0 0 138 2 0 1 25 0 33 0 725453420 745742336 16720 268435456000 4194304 4417452 140735608776080 18446744073709551615 4251104 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32662/tid=32696] ppid=32660 vsize=728264 CPUtime=1.36 cores=0-31
/proc/32662/task/32696/stat : 32696 (plingeling) D 32660 32662 32468 0 -1 4202560 1501 1249 0 0 133 2 0 1 18 0 33 0 725453420 745742336 16720 268435456000 4194304 4417452 140735608776080 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32662/tid=32697] ppid=32660 vsize=728264 CPUtime=1.42 cores=0-31
/proc/32662/task/32697/stat : 32697 (plingeling) R 32660 32662 32468 0 -1 4202560 1034 1249 0 0 140 1 0 1 18 0 33 0 725453420 745742336 16720 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32662/tid=32698] ppid=32660 vsize=728264 CPUtime=1.4 cores=0-31
/proc/32662/task/32698/stat : 32698 (plingeling) D 32660 32662 32468 0 -1 4202560 757 1249 0 0 139 0 0 1 19 0 33 0 725453420 745742336 16720 268435456000 4194304 4417452 140735608776080 18446744073709551615 258650649928 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32662/tid=32699] ppid=32660 vsize=728264 CPUtime=1.36 cores=0-31
/proc/32662/task/32699/stat : 32699 (plingeling) D 32660 32662 32468 0 -1 4202560 2116 1249 0 0 133 2 0 1 18 0 33 0 725453420 745742336 16720 268435456000 4194304 4417452 140735608776080 18446744073709551615 258650649923 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32662/tid=32700] ppid=32660 vsize=728264 CPUtime=1.39 cores=0-31
/proc/32662/task/32700/stat : 32700 (plingeling) S 32660 32662 32468 0 -1 4202560 1416 1249 0 0 137 1 0 1 18 0 33 0 725453420 745742336 16720 268435456000 4194304 4417452 140735608776080 18446744073709551615 258651060958 0 0 4096 17442 18446604474209566176 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 44.67
Current children cumulated vsize (KiB) 727560
[startup+3.10222 s]
/proc/loadavg: 28.65 28.08 27.49 33/446 32700
/proc/meminfo: memFree=255236508/264257624 swapFree=67111528/67111528
[pid=32662] ppid=32660 vsize=773852 CPUtime=93.54 cores=0-31
/proc/32662/stat : 32662 (plingeling) S 32660 32662 32468 0 -1 4202496 122880 1249 0 0 9182 171 0 1 20 0 33 0 725453414 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 15 0 0 0
/proc/32662/statm: 193463 28951 175 55 0 191349 0
[pid=32662/tid=32669] ppid=32660 vsize=773852 CPUtime=2.93 cores=0-31
/proc/32662/task/32669/stat : 32669 (plingeling) R 32660 32662 32468 0 -1 4202560 3311 1249 0 0 288 4 0 1 19 0 33 0 725453419 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4306364 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32662/tid=32670] ppid=32660 vsize=773852 CPUtime=2.93 cores=0-31
/proc/32662/task/32670/stat : 32670 (plingeling) R 32660 32662 32468 0 -1 4202560 4303 1249 0 0 287 5 0 1 19 0 33 0 725453419 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4250757 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=32662/tid=32671] ppid=32660 vsize=773852 CPUtime=2.94 cores=0-31
/proc/32662/task/32671/stat : 32671 (plingeling) D 32660 32662 32468 0 -1 4202560 3070 1249 0 0 289 4 0 1 19 0 33 0 725453419 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32662/tid=32672] ppid=32660 vsize=773852 CPUtime=2.96 cores=0-31
/proc/32662/task/32672/stat : 32672 (plingeling) R 32660 32662 32468 0 -1 4202560 3688 1249 0 0 288 7 0 1 19 0 33 0 725453419 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32662/tid=32673] ppid=32660 vsize=773852 CPUtime=2.93 cores=0-31
/proc/32662/task/32673/stat : 32673 (plingeling) R 32660 32662 32468 0 -1 4202560 3116 1249 0 0 288 4 0 1 20 0 33 0 725453419 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4232801 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=32662/tid=32674] ppid=32660 vsize=773852 CPUtime=2.91 cores=0-31
/proc/32662/task/32674/stat : 32674 (plingeling) R 32660 32662 32468 0 -1 4202560 3959 1249 0 0 285 5 0 1 18 0 33 0 725453419 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32662/tid=32675] ppid=32660 vsize=773852 CPUtime=2.93 cores=0-31
/proc/32662/task/32675/stat : 32675 (plingeling) R 32660 32662 32468 0 -1 4202560 4461 1249 0 0 286 6 0 1 18 0 33 0 725453419 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32662/tid=32676] ppid=32660 vsize=773852 CPUtime=2.87 cores=0-31
/proc/32662/task/32676/stat : 32676 (plingeling) R 32660 32662 32468 0 -1 4202560 3420 1249 0 0 281 5 0 1 18 0 33 0 725453419 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4309986 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=32662/tid=32677] ppid=32660 vsize=773852 CPUtime=2.91 cores=0-31
/proc/32662/task/32677/stat : 32677 (plingeling) D 32660 32662 32468 0 -1 4202560 3692 1249 0 0 285 5 0 1 18 0 33 0 725453419 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=32662/tid=32678] ppid=32660 vsize=773852 CPUtime=2.93 cores=0-31
/proc/32662/task/32678/stat : 32678 (plingeling) R 32660 32662 32468 0 -1 4202560 4016 1249 0 0 287 5 0 1 18 0 33 0 725453419 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32662/tid=32679] ppid=32660 vsize=773852 CPUtime=2.92 cores=0-31
/proc/32662/task/32679/stat : 32679 (plingeling) R 32660 32662 32468 0 -1 4202560 4116 1249 0 0 286 5 0 1 19 0 33 0 725453419 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32662/tid=32680] ppid=32660 vsize=773852 CPUtime=2.95 cores=0-31
/proc/32662/task/32680/stat : 32680 (plingeling) R 32660 32662 32468 0 -1 4202560 2647 1249 0 0 290 4 0 1 18 0 33 0 725453419 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32662/tid=32681] ppid=32660 vsize=773852 CPUtime=2.92 cores=0-31
/proc/32662/task/32681/stat : 32681 (plingeling) R 32660 32662 32468 0 -1 4202560 4094 1249 0 0 286 5 0 1 18 0 33 0 725453419 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32662/tid=32682] ppid=32660 vsize=773852 CPUtime=2.94 cores=0-31
/proc/32662/task/32682/stat : 32682 (plingeling) R 32660 32662 32468 0 -1 4202560 4368 1249 0 0 288 5 0 1 18 0 33 0 725453419 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4366385 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32662/tid=32683] ppid=32660 vsize=773852 CPUtime=2.93 cores=0-31
/proc/32662/task/32683/stat : 32683 (plingeling) R 32660 32662 32468 0 -1 4202560 3943 1249 0 0 286 6 0 1 18 0 33 0 725453419 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32662/tid=32684] ppid=32660 vsize=773852 CPUtime=2.95 cores=0-31
/proc/32662/task/32684/stat : 32684 (plingeling) R 32660 32662 32468 0 -1 4202560 3688 1249 0 0 290 4 0 1 19 0 33 0 725453419 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4316272 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32662/tid=32685] ppid=32660 vsize=773852 CPUtime=2.91 cores=0-31
/proc/32662/task/32685/stat : 32685 (plingeling) R 32660 32662 32468 0 -1 4202560 4263 1249 0 0 285 5 0 1 18 0 33 0 725453419 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32662/tid=32686] ppid=32660 vsize=773852 CPUtime=2.91 cores=0-31
/proc/32662/task/32686/stat : 32686 (plingeling) R 32660 32662 32468 0 -1 4202560 3871 1249 0 0 284 6 0 1 18 0 33 0 725453419 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32662/tid=32687] ppid=32660 vsize=773852 CPUtime=2.86 cores=0-31
/proc/32662/task/32687/stat : 32687 (plingeling) R 32660 32662 32468 0 -1 4202560 4011 1249 0 0 280 5 0 1 18 0 33 0 725453419 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32662/tid=32688] ppid=32660 vsize=773852 CPUtime=2.93 cores=0-31
/proc/32662/task/32688/stat : 32688 (plingeling) R 32660 32662 32468 0 -1 4202560 3578 1249 0 0 288 4 0 1 19 0 33 0 725453419 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32662/tid=32689] ppid=32660 vsize=773852 CPUtime=2.91 cores=0-31
/proc/32662/task/32689/stat : 32689 (plingeling) R 32660 32662 32468 0 -1 4202560 3746 1249 0 0 285 5 0 1 18 0 33 0 725453419 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32662/tid=32690] ppid=32660 vsize=773852 CPUtime=2.92 cores=0-31
/proc/32662/task/32690/stat : 32690 (plingeling) R 32660 32662 32468 0 -1 4202560 3650 1249 0 0 287 4 0 1 18 0 33 0 725453420 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32662/tid=32691] ppid=32660 vsize=773852 CPUtime=2.93 cores=0-31
/proc/32662/task/32691/stat : 32691 (plingeling) R 32660 32662 32468 0 -1 4202560 4629 1249 0 0 287 5 0 1 19 0 33 0 725453420 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4366079 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32662/tid=32692] ppid=32660 vsize=773852 CPUtime=2.92 cores=0-31
/proc/32662/task/32692/stat : 32692 (plingeling) R 32660 32662 32468 0 -1 4202560 4070 1249 0 0 286 5 0 1 19 0 33 0 725453420 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32662/tid=32693] ppid=32660 vsize=773852 CPUtime=2.9 cores=0-31
/proc/32662/task/32693/stat : 32693 (plingeling) R 32660 32662 32468 0 -1 4202560 4265 1249 0 0 284 5 0 1 18 0 33 0 725453420 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364958 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32662/tid=32694] ppid=32660 vsize=773852 CPUtime=2.96 cores=0-31
/proc/32662/task/32694/stat : 32694 (plingeling) R 32660 32662 32468 0 -1 4202560 3152 1249 0 0 292 3 0 1 19 0 33 0 725453420 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4264992 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32662/tid=32695] ppid=32660 vsize=773852 CPUtime=2.93 cores=0-31
/proc/32662/task/32695/stat : 32695 (plingeling) R 32660 32662 32468 0 -1 4202560 3681 1249 0 0 286 6 0 1 18 0 33 0 725453420 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32662/tid=32696] ppid=32660 vsize=773852 CPUtime=2.87 cores=0-31
/proc/32662/task/32696/stat : 32696 (plingeling) R 32660 32662 32468 0 -1 4202560 3770 1249 0 0 281 5 0 1 18 0 33 0 725453420 792424448 28951 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32662/tid=32697] ppid=32660 vsize=773852 CPUtime=2.94 cores=0-31
################
# More data... #
################
/proc/32662/task/32673/stat : 32673 (plingeling) R 32660 32662 32468 0 -1 4202560 213682 1249 0 0 36182 181 0 1 25 0 33 0 725453419 2764111872 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32662/tid=32674] ppid=32660 vsize=2699328 CPUtime=360.83 cores=0-31
/proc/32662/task/32674/stat : 32674 (plingeling) R 32660 32662 32468 0 -1 4202560 234624 1249 0 0 35893 189 0 1 25 0 33 0 725453419 2764111872 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32662/tid=32675] ppid=32660 vsize=2691136 CPUtime=362.95 cores=0-31
/proc/32662/task/32675/stat : 32675 (plingeling) R 32660 32662 32468 0 -1 4202560 373704 1249 0 0 36078 216 0 1 25 0 33 0 725453419 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32662/tid=32676] ppid=32660 vsize=2691136 CPUtime=363.24 cores=0-31
/proc/32662/task/32676/stat : 32676 (plingeling) R 32660 32662 32468 0 -1 4202560 139264 1249 0 0 36167 156 0 1 25 0 33 0 725453419 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32662/tid=32677] ppid=32660 vsize=2691136 CPUtime=363.11 cores=0-31
/proc/32662/task/32677/stat : 32677 (plingeling) R 32660 32662 32468 0 -1 4202560 164596 1249 0 0 36134 176 0 1 25 0 33 0 725453419 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32662/tid=32678] ppid=32660 vsize=2691136 CPUtime=363.27 cores=0-31
/proc/32662/task/32678/stat : 32678 (plingeling) R 32660 32662 32468 0 -1 4202560 195027 1249 0 0 36179 147 0 1 25 0 33 0 725453419 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=32662/tid=32679] ppid=32660 vsize=2691136 CPUtime=363.67 cores=0-31
/proc/32662/task/32679/stat : 32679 (plingeling) R 32660 32662 32468 0 -1 4202560 157223 1249 0 0 36192 174 0 1 25 0 33 0 725453419 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32662/tid=32680] ppid=32660 vsize=2691136 CPUtime=363.23 cores=0-31
/proc/32662/task/32680/stat : 32680 (plingeling) R 32660 32662 32468 0 -1 4202560 265411 1249 0 0 36145 177 0 1 25 0 33 0 725453419 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=32662/tid=32681] ppid=32660 vsize=2691136 CPUtime=363.43 cores=0-31
/proc/32662/task/32681/stat : 32681 (plingeling) R 32660 32662 32468 0 -1 4202560 144046 1249 0 0 36205 137 0 1 25 0 33 0 725453419 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32662/tid=32682] ppid=32660 vsize=2691136 CPUtime=362.59 cores=0-31
/proc/32662/task/32682/stat : 32682 (plingeling) R 32660 32662 32468 0 -1 4202560 225456 1249 0 0 36048 210 0 1 25 0 33 0 725453419 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4343986 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=32662/tid=32683] ppid=32660 vsize=2691136 CPUtime=362.58 cores=0-31
/proc/32662/task/32683/stat : 32683 (plingeling) R 32660 32662 32468 0 -1 4202560 312006 1249 0 0 36051 206 0 1 25 0 33 0 725453419 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32662/tid=32684] ppid=32660 vsize=2691136 CPUtime=361.81 cores=0-31
/proc/32662/task/32684/stat : 32684 (plingeling) R 32660 32662 32468 0 -1 4202560 321677 1249 0 0 35968 212 0 1 25 0 33 0 725453419 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32662/tid=32685] ppid=32660 vsize=2691136 CPUtime=363.3 cores=0-31
/proc/32662/task/32685/stat : 32685 (plingeling) R 32660 32662 32468 0 -1 4202560 235591 1249 0 0 36171 158 0 1 25 0 33 0 725453419 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32662/tid=32686] ppid=32660 vsize=2691136 CPUtime=363.73 cores=0-31
/proc/32662/task/32686/stat : 32686 (plingeling) R 32660 32662 32468 0 -1 4202560 116700 1249 0 0 36249 123 0 1 25 0 33 0 725453419 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=32662/tid=32687] ppid=32660 vsize=2691136 CPUtime=362 cores=0-31
/proc/32662/task/32687/stat : 32687 (plingeling) R 32660 32662 32468 0 -1 4202560 249251 1249 0 0 35990 209 0 1 25 0 33 0 725453419 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32662/tid=32688] ppid=32660 vsize=2691136 CPUtime=363.19 cores=0-31
/proc/32662/task/32688/stat : 32688 (plingeling) R 32660 32662 32468 0 -1 4202560 210873 1249 0 0 36156 162 0 1 25 0 33 0 725453419 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4236564 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32662/tid=32689] ppid=32660 vsize=2691136 CPUtime=362.95 cores=0-31
/proc/32662/task/32689/stat : 32689 (plingeling) R 32660 32662 32468 0 -1 4202560 151675 1249 0 0 36161 133 0 1 25 0 33 0 725453419 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32662/tid=32690] ppid=32660 vsize=2691136 CPUtime=363.42 cores=0-31
/proc/32662/task/32690/stat : 32690 (plingeling) R 32660 32662 32468 0 -1 4202560 173687 1249 0 0 36161 180 0 1 25 0 33 0 725453420 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32662/tid=32691] ppid=32660 vsize=2691136 CPUtime=362.75 cores=0-31
/proc/32662/task/32691/stat : 32691 (plingeling) R 32660 32662 32468 0 -1 4202560 388832 1249 0 0 36061 213 0 1 25 0 33 0 725453420 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32662/tid=32692] ppid=32660 vsize=2691136 CPUtime=363.64 cores=0-31
/proc/32662/task/32692/stat : 32692 (plingeling) R 32660 32662 32468 0 -1 4202560 254682 1249 0 0 36214 149 0 1 25 0 33 0 725453420 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32662/tid=32693] ppid=32660 vsize=2691136 CPUtime=363.14 cores=0-31
/proc/32662/task/32693/stat : 32693 (plingeling) R 32660 32662 32468 0 -1 4202560 237270 1249 0 0 36132 181 0 1 25 0 33 0 725453420 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32662/tid=32694] ppid=32660 vsize=2691136 CPUtime=362.24 cores=0-31
/proc/32662/task/32694/stat : 32694 (plingeling) R 32660 32662 32468 0 -1 4202560 278184 1249 0 0 36034 189 0 1 25 0 33 0 725453420 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364749 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32662/tid=32695] ppid=32660 vsize=2691136 CPUtime=363.57 cores=0-31
/proc/32662/task/32695/stat : 32695 (plingeling) R 32660 32662 32468 0 -1 4202560 150841 1249 0 0 36211 145 0 1 25 0 33 0 725453420 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32662/tid=32696] ppid=32660 vsize=2691136 CPUtime=363.39 cores=0-31
/proc/32662/task/32696/stat : 32696 (plingeling) R 32660 32662 32468 0 -1 4202560 186380 1249 0 0 36171 167 0 1 25 0 33 0 725453420 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32662/tid=32697] ppid=32660 vsize=2691136 CPUtime=363.31 cores=0-31
/proc/32662/task/32697/stat : 32697 (plingeling) R 32660 32662 32468 0 -1 4202560 221738 1249 0 0 36155 175 0 1 25 0 33 0 725453420 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32662/tid=32698] ppid=32660 vsize=2691136 CPUtime=362.7 cores=0-31
/proc/32662/task/32698/stat : 32698 (plingeling) R 32660 32662 32468 0 -1 4202560 267402 1249 0 0 36057 212 0 1 25 0 33 0 725453420 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32662/tid=32699] ppid=32660 vsize=2691136 CPUtime=363.17 cores=0-31
/proc/32662/task/32699/stat : 32699 (plingeling) R 32660 32662 32468 0 -1 4202560 200060 1249 0 0 36154 162 0 1 25 0 33 0 725453420 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32662/tid=32700] ppid=32660 vsize=2691136 CPUtime=363.28 cores=0-31
/proc/32662/task/32700/stat : 32700 (plingeling) R 32660 32662 32468 0 -1 4202560 224250 1249 0 0 36085 242 0 1 25 0 33 0 725453420 2755723264 512396 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 11617.4
Current children cumulated vsize (KiB) 2699328
[startup+368.002 s]
/proc/loadavg: 32.19 30.99 29.01 28/441 32710
/proc/meminfo: memFree=253380912/264257624 swapFree=67111528/67111528
[pid=32662] ppid=32660 vsize=2571832 CPUtime=11710.1 cores=0-31
/proc/32662/stat : 32662 (plingeling) S 32660 32662 32468 0 -1 4202496 7215454 1249 0 0 1165278 5728 0 1 18 0 25 0 725453414 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 15 0 0 0
/proc/32662/statm: 642958 482571 176 55 0 640844 0
[pid=32662/tid=32670] ppid=32660 vsize=2571832 CPUtime=366.15 cores=0-31
/proc/32662/task/32670/stat : 32670 (plingeling) R 32660 32662 32468 0 -1 4202560 349627 1249 0 0 36377 237 0 1 25 0 25 0 725453419 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32662/tid=32672] ppid=32660 vsize=2571832 CPUtime=367 cores=0-31
/proc/32662/task/32672/stat : 32672 (plingeling) R 32660 32662 32468 0 -1 4202560 89289 1249 0 0 36550 149 0 1 25 0 25 0 725453419 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32662/tid=32673] ppid=32660 vsize=2571832 CPUtime=366.84 cores=0-31
/proc/32662/task/32673/stat : 32673 (plingeling) R 32660 32662 32468 0 -1 4202560 213682 1249 0 0 36502 181 0 1 25 0 25 0 725453419 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32662/tid=32674] ppid=32660 vsize=2571832 CPUtime=363.98 cores=0-31
/proc/32662/task/32674/stat : 32674 (plingeling) R 32660 32662 32468 0 -1 4202560 236672 1249 0 0 36208 189 0 1 25 0 25 0 725453419 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32662/tid=32675] ppid=32660 vsize=2571832 CPUtime=366.16 cores=0-31
/proc/32662/task/32675/stat : 32675 (plingeling) R 32660 32662 32468 0 -1 4202560 373704 1249 0 0 36398 217 0 1 25 0 25 0 725453419 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32662/tid=32676] ppid=32660 vsize=2571832 CPUtime=366.45 cores=0-31
/proc/32662/task/32676/stat : 32676 (plingeling) R 32660 32662 32468 0 -1 4202560 141312 1249 0 0 36487 157 0 1 25 0 25 0 725453419 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32662/tid=32677] ppid=32660 vsize=2571832 CPUtime=366.3 cores=0-31
/proc/32662/task/32677/stat : 32677 (plingeling) R 32660 32662 32468 0 -1 4202560 172923 1249 0 0 36441 188 0 1 25 0 25 0 725453419 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32662/tid=32679] ppid=32660 vsize=2571832 CPUtime=366.81 cores=0-31
/proc/32662/task/32679/stat : 32679 (plingeling) R 32660 32662 32468 0 -1 4202560 159275 1249 0 0 36505 175 0 1 25 0 25 0 725453419 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32662/tid=32681] ppid=32660 vsize=2571832 CPUtime=366.6 cores=0-31
/proc/32662/task/32681/stat : 32681 (plingeling) R 32660 32662 32468 0 -1 4202560 148339 1249 0 0 36520 139 0 1 25 0 25 0 725453419 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32662/tid=32682] ppid=32660 vsize=2571832 CPUtime=365.79 cores=0-31
/proc/32662/task/32682/stat : 32682 (plingeling) R 32660 32662 32468 0 -1 4202560 225456 1249 0 0 36368 210 0 1 25 0 25 0 725453419 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32662/tid=32683] ppid=32660 vsize=2571832 CPUtime=365.78 cores=0-31
/proc/32662/task/32683/stat : 32683 (plingeling) R 32660 32662 32468 0 -1 4202560 312006 1249 0 0 36371 206 0 1 25 0 25 0 725453419 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32662/tid=32684] ppid=32660 vsize=2571832 CPUtime=365.01 cores=0-31
/proc/32662/task/32684/stat : 32684 (plingeling) R 32660 32662 32468 0 -1 4202560 321677 1249 0 0 36288 212 0 1 25 0 25 0 725453419 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32662/tid=32685] ppid=32660 vsize=2571832 CPUtime=366.5 cores=0-31
/proc/32662/task/32685/stat : 32685 (plingeling) R 32660 32662 32468 0 -1 4202560 242389 1249 0 0 36489 160 0 1 25 0 25 0 725453419 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32662/tid=32686] ppid=32660 vsize=2571832 CPUtime=366.93 cores=0-31
/proc/32662/task/32686/stat : 32686 (plingeling) R 32660 32662 32468 0 -1 4202560 116700 1249 0 0 36569 123 0 1 25 0 25 0 725453419 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32662/tid=32687] ppid=32660 vsize=2571832 CPUtime=365.2 cores=0-31
/proc/32662/task/32687/stat : 32687 (plingeling) R 32660 32662 32468 0 -1 4202560 249251 1249 0 0 36310 209 0 1 25 0 25 0 725453419 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32662/tid=32689] ppid=32660 vsize=2571832 CPUtime=366.15 cores=0-31
/proc/32662/task/32689/stat : 32689 (plingeling) R 32660 32662 32468 0 -1 4202560 151675 1249 0 0 36481 133 0 1 25 0 25 0 725453419 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32662/tid=32692] ppid=32660 vsize=2571832 CPUtime=366.83 cores=0-31
/proc/32662/task/32692/stat : 32692 (plingeling) R 32660 32662 32468 0 -1 4202560 254682 1249 0 0 36533 149 0 1 25 0 25 0 725453420 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32662/tid=32693] ppid=32660 vsize=2571832 CPUtime=366.34 cores=0-31
/proc/32662/task/32693/stat : 32693 (plingeling) R 32660 32662 32468 0 -1 4202560 237270 1249 0 0 36452 181 0 1 25 0 25 0 725453420 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32662/tid=32695] ppid=32660 vsize=2571832 CPUtime=366.77 cores=0-31
/proc/32662/task/32695/stat : 32695 (plingeling) R 32660 32662 32468 0 -1 4202560 150841 1249 0 0 36531 145 0 1 25 0 25 0 725453420 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32662/tid=32696] ppid=32660 vsize=2571832 CPUtime=366.59 cores=0-31
/proc/32662/task/32696/stat : 32696 (plingeling) R 32660 32662 32468 0 -1 4202560 186380 1249 0 0 36491 167 0 1 25 0 25 0 725453420 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32662/tid=32697] ppid=32660 vsize=2571832 CPUtime=366.5 cores=0-31
/proc/32662/task/32697/stat : 32697 (plingeling) R 32660 32662 32468 0 -1 4202560 225834 1249 0 0 36473 176 0 1 25 0 25 0 725453420 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32662/tid=32698] ppid=32660 vsize=2571832 CPUtime=365.9 cores=0-31
/proc/32662/task/32698/stat : 32698 (plingeling) R 32660 32662 32468 0 -1 4202560 267402 1249 0 0 36377 212 0 1 25 0 25 0 725453420 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32662/tid=32699] ppid=32660 vsize=2571832 CPUtime=366.37 cores=0-31
/proc/32662/task/32699/stat : 32699 (plingeling) R 32660 32662 32468 0 -1 4202560 206715 1249 0 0 36472 164 0 1 25 0 25 0 725453420 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32662/tid=32700] ppid=32660 vsize=2571832 CPUtime=366.48 cores=0-31
/proc/32662/task/32700/stat : 32700 (plingeling) R 32660 32662 32468 0 -1 4202560 224250 1249 0 0 36405 242 0 1 25 0 25 0 725453420 2633555968 482571 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 11710.1
Current children cumulated vsize (KiB) 2571832
[startup+371.201 s]
/proc/loadavg: 31.30 30.83 28.97 11/424 32710
/proc/meminfo: memFree=253546816/264257624 swapFree=67111528/67111528
[pid=32662] ppid=32660 vsize=2364772 CPUtime=11763.6 cores=0-31
/proc/32662/stat : 32662 (plingeling) S 32660 32662 32468 0 -1 4202496 7242965 1249 0 0 1170624 5737 0 1 15 0 6 0 725453414 2421526528 438483 268435456000 4194304 4417452 140735608776080 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 15 0 0 0
/proc/32662/statm: 591193 438483 176 55 0 589079 0
[pid=32662/tid=32675] ppid=32660 vsize=2364772 CPUtime=369.35 cores=0-31
/proc/32662/task/32675/stat : 32675 (plingeling) R 32660 32662 32468 0 -1 4202560 375752 1249 0 0 36717 217 0 1 25 0 6 0 725453419 2421526528 438483 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32662/tid=32683] ppid=32660 vsize=2364772 CPUtime=368.98 cores=0-31
/proc/32662/task/32683/stat : 32683 (plingeling) R 32660 32662 32468 0 -1 4202560 312006 1249 0 0 36691 206 0 1 25 0 6 0 725453419 2421526528 438483 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32662/tid=32692] ppid=32660 vsize=2364772 CPUtime=370.03 cores=0-31
/proc/32662/task/32692/stat : 32692 (plingeling) R 32660 32662 32468 0 -1 4202560 257244 1249 0 0 36852 150 0 1 25 0 6 0 725453420 2421526528 438483 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364716 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32662/tid=32695] ppid=32660 vsize=2364772 CPUtime=369.97 cores=0-31
/proc/32662/task/32695/stat : 32695 (plingeling) R 32660 32662 32468 0 -1 4202560 150841 1249 0 0 36851 145 0 1 25 0 6 0 725453420 2421526528 438483 268435456000 4194304 4417452 140735608776080 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32662/tid=32700] ppid=32660 vsize=2364772 CPUtime=369.68 cores=0-31
/proc/32662/task/32700/stat : 32700 (plingeling) R 32660 32662 32468 0 -1 4202560 227561 1249 0 0 36724 243 0 1 25 0 6 0 725453420 2421526528 438483 268435456000 4194304 4417452 140735608776080 18446744073709551615 4366085 0 0 4096 17442 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 11763.6
Current children cumulated vsize (KiB) 2364772
[startup+372.001 s]
/proc/loadavg: 31.30 30.83 28.97 5/418 32710
/proc/meminfo: memFree=253575276/264257624 swapFree=67111528/67111528
[pid=32662] ppid=32660 vsize=2283532 CPUtime=11767.1 cores=0-31
/proc/32662/stat : 32662 (plingeling) S 32660 32662 32468 0 -1 4202496 7243143 1249 0 0 1170976 5737 0 1 15 0 4 0 725453414 2338336768 438645 268435456000 4194304 4417452 140735608776080 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 15 0 0 0
/proc/32662/statm: 570883 438645 176 55 0 568769 0
[pid=32662/tid=32683] ppid=32660 vsize=2283532 CPUtime=369.78 cores=0-31
/proc/32662/task/32683/stat : 32683 (plingeling) R 32660 32662 32468 0 -1 4202560 312006 1249 0 0 36771 206 0 1 25 0 4 0 725453419 2338336768 438645 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32662/tid=32695] ppid=32660 vsize=2283532 CPUtime=370.77 cores=0-31
/proc/32662/task/32695/stat : 32695 (plingeling) R 32660 32662 32468 0 -1 4202560 150841 1249 0 0 36931 145 0 1 25 0 4 0 725453420 2338336768 438645 268435456000 4194304 4417452 140735608776080 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32662/tid=32700] ppid=32660 vsize=2283532 CPUtime=370.48 cores=0-31
/proc/32662/task/32700/stat : 32700 (plingeling) R 32660 32662 32468 0 -1 4202560 227561 1249 0 0 36804 243 0 1 25 0 4 0 725453420 2338336768 438645 268435456000 4194304 4417452 140735608776080 18446744073709551615 18446744073699065927 0 0 4096 17442 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 11767.1
Current children cumulated vsize (KiB) 2283532
[startup+372.401 s]
/proc/loadavg: 31.30 30.83 28.97 5/418 32710
/proc/meminfo: memFree=253575276/264257624 swapFree=67111528/67111528
[pid=32662] ppid=32660 vsize=2124884 CPUtime=11767.9 cores=0-31
/proc/32662/stat : 32662 (plingeling) S 32660 32662 32468 0 -1 4202496 7246226 1249 0 0 1171055 5738 0 1 15 0 3 0 725453414 2175881216 429691 268435456000 4194304 4417452 140735608776080 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 15 0 0 0
/proc/32662/statm: 531221 429691 176 55 0 529107 0
[pid=32662/tid=32695] ppid=32660 vsize=2124884 CPUtime=371.17 cores=0-31
/proc/32662/task/32695/stat : 32695 (plingeling) R 32660 32662 32468 0 -1 4202560 153924 1249 0 0 36970 146 0 1 25 0 3 0 725453420 2175881216 429691 268435456000 4194304 4417452 140735608776080 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32662/tid=32700] ppid=32660 vsize=2124884 CPUtime=370.88 cores=0-31
/proc/32662/task/32700/stat : 32700 (plingeling) R 32660 32662 32468 0 -1 4202560 227561 1249 0 0 36844 243 0 1 25 0 3 0 725453420 2175881216 429691 268435456000 4194304 4417452 140735608776080 18446744073709551615 4366074 0 0 4096 17442 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 11767.9
Current children cumulated vsize (KiB) 2124884
[startup+372.801 s]
/proc/loadavg: 31.30 30.83 28.97 5/418 32710
/proc/meminfo: memFree=253575276/264257624 swapFree=67111528/67111528
[pid=32662] ppid=32660 vsize=701532 CPUtime=11768.4 cores=0-31
/proc/32662/stat : 32662 (plingeling) R 32660 32662 32468 0 -1 4202496 7246226 1249 0 0 1171083 5755 0 1 16 0 1 0 725453414 718368768 88261 268435456000 4194304 4417452 140735608776080 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 15 0 0 0
/proc/32662/statm: 175383 87946 176 55 0 173269 0
Current children cumulated CPU time (s) 11768.4
Current children cumulated vsize (KiB) 701532
Child status: 20
Real time (s): 372.849
CPU time (s): 11768.5
CPU user time (s): 11710.8
CPU system time (s): 57.6182
CPU usage (%): 3156.36
Max. virtual memory (cumulated for all children) (KiB): 2846600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11710.8
system time used= 57.6182
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7247479
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= 18529
involuntary context switches= 28325
runsolver used 1.92271 second user time and 8.64768 second system time
The end
Begin job on node200 at 2011-05-23 10:34:30
IDJOB=3372921
IDBENCH=87935
IDSOLVER=1852
FILE ID=node200/3372921-1306139670
RUNJOBID= node200-1306139614-32482
PBS_JOBID= 13387840
Free space on /tmp= 62048 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT02/industrial/aloul/Homer/homer14.shuffled.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372921-1306139670/watcher-3372921-1306139670 -o /tmp/evaluation-result-3372921-1306139670/solver-3372921-1306139670 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372921-1306139670.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 1d9569aa70fee033c68469753053c259
RANDOM SEED=612352463
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: 255332080 kB
Buffers: 459272 kB
Cached: 8059188 kB
SwapCached: 0 kB
Active: 7609460 kB
Inactive: 978276 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255332080 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 24 kB
Writeback: 0 kB
AnonPages: 71916 kB
Mapped: 15980 kB
Slab: 253604 kB
PageTables: 5680 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 193012 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= 62044 MiB
End job on node200 at 2011-05-23 10:40:43